查询词典 formalizes
- 与 formalizes 相关的网络例句 [注：此内容来源于网络，仅供参考]
-
Though Taiwan's ties with China have warmed considerably since Taiwanese President Ma Ying-jeou took office 20 months ago, Beijing has threatened to invade if the island ever formalizes its de facto independence.
虽然台湾与中国的关系大大升温，因为台湾总统马英九上任20个月前，北京的入侵威胁如果台湾有史以来正式确定其事实上的独立。
-
The remainder of this paper is organized as follows. Section 2 compares and formalizes several approaches to establishing trust in the results of compilation. Section 3 describes the structure of the CompCert compiler, its performance, and how the Coq proof assistant was used not only to prove its correctness but also to program most of it.
本文后续部分组织如下：第二节比较几种&建立可信编译结果&的方法并给出形式化定义；第三节介绍CompCert编译器的结构、性能、以及在使用Coq工具编写编译器代码的同时进行正确性证明的方法。
-
The other benefit of this change is that it formalizes the interface between the kernel, OAL and KITL. These components exchange tables of function pointers andvariable values to communicate with each other, and cannot invoke functions other than those in the tables.
这样做的另外一个好处是它规范了内核，OAL，KITL之间通信的接口，这些组件现在通过交换函数指针表和变量值来互相通信，而不能调用表外的函数。
- 推荐网络例句
-
Listen,point and check your answers.
听，指出并且检查你的答案。
-
Warming needle is one of effective treatment methods for knee arthralgia aggravated by cold,and it is simple,safety,so it should be developed in clinical acupuncture and moxibustion extensively.
但以本院科针灸门诊在2005年1月—2006年6月期间共收治膝痛患者100余例，经过临床的诊断后，其中施以温针治疗的48例，疗效显著，报道如下。1临床资料本组病例48
-
Some known methods of remnant pump detection and automatic laser shut-down use communications, such as an OSC.
一些已知的残余泵浦检测和自动激光关断的方法利用诸如OSC的通信。