搜索结果: 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...
Saturn: A Scalable Framework for Error Detection using Boolean Satisfiability
Program analysis error detection boolean satisfiability
2016/5/24
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号（例如运载太空实验室）的第一级推进阶段并没有交替的...