工学 >>> 力学 农业工程 林业工程 工程与技术科学基础学科 测绘科学技术 材料科学 矿山工程技术 石油与天然气工程 冶金工程技术 机械工程 光学工程 仪器科学与技术 动力与电气工程 能源科学技术 核科学技术 电子科学与技术 信息与通信工程 控制科学与技术 计算机科学技术 化学工程 纺织科学技术 印刷工业 服装工业、制鞋工业 轻工技术与工程 食品科学技术 土木建筑工程 水利工程 交通运输工程 船舶与海洋工程 航空、航天科学技术 兵器科学与技术 环境科学技术 安全科学技术 工业设计
搜索结果: 1-6 共查到工学 Saturn相关记录6条 . 查询时间(0.062 秒)
Saturn is a system for the static analysis of programs. Saturn aims to be both highly scalable and precise, with the goal of eventually being able to verify the absence of certain kinds of bugs in rea...
Saturn is a boolean satisfiability (SAT) based framework for static bug detection. It targets software written in C and is designed to support a wide range of property checkers.
We present an overview of the Saturn program analysis system,including a rationale for three major design decisions: the use of function-at-a-time, or summary-based, analysis, the use of constraints,a...
This article presents Saturn, a general framework for building precise and scalable static error detection systems. Saturn exploits recent advances in boolean satisfiability (SAT) solvers and is path ...
带状三足——Saturn     Saturn凳  带状三足       2009/9/10
  Saturn凳是由英国设计组合BarberOsgerby于今年为德国ClassiCon公司设计,并在本届的米兰家具展上进行了展出。该设计是由Saturn衣架演变而来,带状凳腿呈现出了从任何角度看去都十分优美的几何线条。该凳的结实程度让其拥有了除坐具以外的其它用途,那就是充当小桌使用。Saturn凳采用山毛榉实木制成,表面分别喷有黑、白、棕、橘红四色涂料。其基本尺寸为:W40×D40.5×H44...
土星1B号为土星1号的升级版,附设一个更强力的第二级推进阶段 — S-IVB。和土星1号不同,土星1B号有足够载重量来发射阿波罗指挥/服务舱或登月舱至地球轨道,这令土星1B号成为测试阿波罗太空船的重要工具(当时能运载太空船至月球的较大型火箭土星5号仍在研制阶段)。土星1B号其后比用作载人太空实验室飞行及阿波罗-联盟测试计划。最后一批发射的土星1B号(例如运载太空实验室)的第一级推进阶段并没有交替的...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...