本文给出了函数一致连续性的几个证明方法,以及在函数一致连续性的条件下得到的几个重要结论。
互联网摘选
本文根据残数理论,给出两类收敛级数求和的一种简单方法,并给出了该方法的理论证明。
互联网摘选
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.
将蜜蜂花浸泡液过滤到隔热烧杯中,然后丢弃香草。
互联网摘选
