Formal verification of the completely correctness is formulated as partial correctness and termination by formal proof method.

  • 形式化证明把程序完全正确性问题归结为部分正确性和终止性的证明。
  • 来源:互联网摘选更新时间:2025-01-20 11:41:13

  • 重点词汇
  • partial correctness部分正确性;
  • asadv. 同样地,一样地;例如;
  • terminationn.终止妊娠;结束;终止处;结局;
  • ofprep. 关于;属于…的;由…制成;
  • methodn.方法;有条不紊;
  • byprep. 在…旁边;表示方式;由于;经过;到…之前;
  • verificationn.证明;证实;<哲>(指通过经验)证明(某命题正确);核实;
  • completelyadv.彻底地;完整地;
  • isvt.& vi. 是(be的三单形式);
  • theart.这个;指已提到或易领会到的人或事物;指独一无二的、正常的或不言而喻的人或事物;用以泛指;与形容词连用,指事物或统称的人;用于姓氏的复数形式前,指家庭或夫妇;(指特定用途的事物)足够,恰好;每,一;当前的,本,此;(重读,表示所指的为知名或重要的人或事物)
  • formaladj.正式的;正规的;方式上的;整齐的;
  • andconj. 和,与;而且;于是,然后;因此;
  • 相关例句
1、

By Way of inlaying conducting plates in the port plate the authors succeed in measuring the oil film thickness in the distributor pair and verify the correctness of the balance factor method. Meanwhile, a new e new experimental approach is for-mulated for the design of distributor pair.

通过在配油盘上埋设电容极板,作者成功地测出了配油付的油膜厚度,并验证了压紧系数法的正确性,为配油付的设计提供了一种新的实验方法。

互联网摘选

2、

This is of practical significance to the improvement of brightness distribution of the sky hemisphere now available, and to the promotion of realness and correctness of measuring lighting factor by model, and to the simulation of scattering light environment in different regions and climates.

这对于改进现有人工天空半球的亮度分布,提高模型测量采光系数的真实性和准确性,以及模拟不同地区气候散射光环境都有实际意义。

互联网摘选

3、

Evaluation of Inspection or Calibration Correctness and Reliability Factor

检测或校准的正确性和可靠性的因素评定&谈谈如何实施ISO/IEC170255.1总则要素

互联网摘选

4、

In processing the software data, the theory of partial repeatability offers a criteria for evaluating different classifier by building" center function", "fluctuation zone" and "correctness factor".

在对复杂数据的处理过程中,“部分重复性”理论通过建立“中心函数”、“浮动域”和“正确度”指标,提供了一种分类优劣的评价标准。

互联网摘选

5、

The Correctness Factor of Square Standard Particle Plate Used for Laser Particle Sizer

激光粒度仪方孔标准粒子板的修正系数

互联网摘选

6、

Messi and his father had already paid 5 million euros to the tax authorities as a "corrective" measure after formal investigations were opened.

此前,梅西父子已在正式调查启动后向税务机关缴纳了500万欧元作为“改正”措施。

互联网摘选

7、

Forward reasoning and backward reasoning were integrated in inference engine to realize the 3 core functions: failure mode identification, failure cause analysis and corrective measure proposal.

推理机采用正反向推理相结合的工作方式,实现气门失效诊断的三个核心功能:确定失效模式、分析失效原因以及推荐改进措施。

互联网摘选

8、

OBJECTIVE Through to the clinical medical care personnel hand health monitoring result analysis, understood that the medical care personnel hand hygiene condition, and proposes the corrective measure.

提要目的通过对临床医护人员手卫生监测结果分析,了解医护人员手卫生状况,并提出改进措施。

互联网摘选

9、

Corrective measure: the three sides reach the aim of practice with the common effort; reinforcing cooperation between school and enterprise, serving the higher vocational education.

改进措施:三方共同努力落实实习的目的;加强校企合作,协力服务高职教育。

互联网摘选

10、

In the end, in chapter 5, the paper summarizes all of the ideas and proposes the further corrective measure based on the finished designing.

最后,第5章进行了总结,并在目前己完成的研究之上,提出了进一步改进措施。

互联网摘选

11、

The drawback and corrective measure of bulb turbine in Baisha Hydropower Station

白沙水电站灯泡贯流式机组缺陷及改进措施

互联网摘选

12、

"W" Flame Boiler Combustion Corrective Measure and Effect

W型火焰锅炉燃烧改进措施及效果

互联网摘选

13、

Improve the practices of preventive and corrective actions and change control.

改进预防性和校正性行动及变量管理。

互联网摘选

14、

We know which glass was ours by the lipstick mark.

可以从唇膏印分辨出自己的杯子.

互联网摘选

15、

Accentuate: Use lip liner after putting on your lipstick . Kiss-able !

突出: 涂完 唇膏 以后画唇线,轮廓更突出,更诱人.

互联网摘选

16、

CITUS makes the lipstick fluid-package automatic and all kinds heating fluid-package machine.

主要生产全自动唇膏灌装设备和各种热灌装机械.

互联网摘选

17、

You can try this balm. It works for me.

你可以试试这种护唇膏. 我觉得它很有效.

互联网摘选

18、

Oh my, do you have to wear that bright red lipstick?

哦, 你必须涂那种鲜花红色的唇膏 吗 ?

互联网摘选

19、

She was wearing red lipstick.

她涂着红色唇膏。

词典精选例句

20、

When wearing red lipstick, keep everything else simple-use lighter tones on the eyes and cheeks.

当你的红色唇彩成为最亮眼的焦点时, 其它部位的色彩一定要保持低调,选用淡一些的眼影和腮红.

互联网摘选

  • 今日热词
  • 热门搜索

简答网英语词典(dict.jiandongshicai.cn)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:(如需回复请填写联系方式)
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈