The Equivalent Proof of Equilibrium Condition of Rigid Body Coplanar Force System
刚体共面力系平衡条件的等效证明
互联网摘选
形式化证明把程序完全正确性问题归结为部分正确性和终止性的证明。
互联网摘选
本文把Brookes验证平行程序的思想应用于Hoare的通信顺序进程(CSP),提出了一组证明规则,以验证CSP程序的部分正确性。
互联网摘选
A Developing Method of Programs Based on the Proof Theory of Program Correctness
一种基于程序正确性证明理论的程序开发方法
互联网摘选
压力容器耐压试验中几个有争议的问题述评耐压及气密性试验系统的研制
互联网摘选
通过多项研究,蔡尔德证明,Gaga和麦当娜两人同为17世纪从法国移民至加拿大魁北克的一户农家的后代。
互联网摘选
没有持身分证明文件而拟出/入境,或在出入境管制站被发现或被遣返香港的人出入境的管制程序;
互联网摘选
该漆具有高装饰性、高防护性、耐候性等优点。
互联网摘选
Filter the lemon balm infusion into a heat-proof beaker, then discard the herbs.
将蜜蜂花浸泡液过滤到隔热烧杯中,然后丢弃香草。
互联网摘选
本文建立了商向量空间的维数公式,在此基础上,应用同态基本定理和第一同构定理获得了对维数公式及Sylvester定理的简单、明了的证明。
互联网摘选
前言:目的:了解扫雷艇雷达微波辐射场强分布状况,为实施微波辐射防护措施提供依据。
互联网摘选
In fuggy summer, the wind from the worn proof brings a bit of cool here.
闷热的夏日,来自房顶的自然风为这里带来清凉。
互联网摘选
