而且,相比已有的出具证明编译器,该编译器可以处理更加复杂的程序性质,例如值相关的部分正确性。
互联网摘选
形式化证明把程序完全正确性问题归结为部分正确性和终止性的证明。
互联网摘选
在对复杂数据的处理过程中,“部分重复性”理论通过建立“中心函数”、“浮动域”和“正确度”指标,提供了一种分类优劣的评价标准。
互联网摘选
此次,在蒸、疏冷的管系设计中,与以往相比有较大变化,使结构更为合理,传热效果更佳。带疏水冷却器的回热加热器变工况特性研究
互联网摘选
Aircraft Recognition via Extraction of Closed Contour and Partial Feature Matching
基于闭合轮廓提取和部分特征匹配的飞机识别
互联网摘选
切尔诺贝利核电站的反应堆缺少防范设施,而福岛核电站有美国通用制造的防范设施,而且福岛核反应堆已经经历了一场地震和一场海啸,迄今为止,也只是部分核心熔毁而已。
互联网摘选
Partial Connective Stability of Large-Scale Systems With Functionally Dependent Factory
具有函数型关联因子的大系统的部分联结稳定性
互联网摘选
偏相干系数分析能降低信号串扰,同时,有研究者证明相干系数的虚部不受容积传导的影响。
互联网摘选
基于低电压气体导电机理的湿敏传感器的水汽分压强灵敏度优于1Pa/nA,反应时间优于一秒。
互联网摘选
The method involves the application of a partial reflection boundary condition which is discussed.
这种方法能够考虑到绕射和部分反射的影响。
互联网摘选
Objective : To explore the value of semiconductor laser in partial inferior turbinectomy.
目的: 探讨鼻内窥镜引导下行半导体激光下鼻甲部分切除术的应用价值.
互联网摘选
准静态下纤维增强复合材料在偏轴拉伸和剪切时有明显的非线性.
互联网摘选
Lacking moral rationality is the main partial failure of medical system reform in China.
我国医疗体制改革“基本不成功”就在于制度建设缺乏道德合理性考量.
期刊摘选
Lacking moral rationality is the main partial failure of medical system reform in China.
我国医疗体制改革“基本不成功”就在于制度建设缺乏道德合理性考量.
期刊摘选
目的: 比较动力系统与半导体激光下鼻甲部分切除术的优缺点.
互联网摘选
目的:对部分牙缺失种植即刻功能负荷进行临床探讨。
互联网摘选
