formal的例句大全

The paper describes an automated formal proving platform based on the dynamic term rewriting calculus and its application to the automated proving for the weak termination of term rewriting systems.

文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用。

In the1970s, when territorial rights were being threatened by logging and migrant settlers, the tribe sought to obtain a legal title and formal recognition of their land ownership.

在1970年代，采矿业威胁部族人民的土地权益，他们提出诉求，希望自己的土地拥有权能获得法律上正式认可。

Methods Two formal trained psychological test technicians do assembly test. The result adopts SPSS 10.0 to do statistical analysis.

方法由受过正规培训的2名心理测验技师进行集体实施测查，结果采用SPSS10.0进行统计学分析。

UML Sequence Diagram emphasizes particularly the process of message interaction of objects. But it lacks formal description of dynamic semantics, therefore goes against comprehension of the diagram and test case generation based on the diagram.

UML顺序图侧重于展示对象之间的消息交互过程，但其动态语义缺乏形式化的描述，不利于对顺序图模型的准确理解和基于该模型的测试用例生成。

This paper introduces design and implementation of test driver in test automaton, presents test case and test results of drivers interface formal definition, puts forward a kind of in general "client/ service" test driver model and implementation.

介绍了测试自动机的测试驱动器设计与实现技术，给出了测试驱动器接口的测试用例、测试输出的形式化定义，提出了一种通用的客户/服务测试驱动模型及其实现技术。

Approach on Formal Methods of Test Generation for Communication Protocol

关于通信协议测试生成形式方法的探讨

In addition to the bedroom, all-weather furnishings for the formal dining room, home theater, wet bar and even the shower are now on the market.

除了卧室外，美国人还将餐厅、家庭影院、吧台甚至浴室都搭建在后院，里面摆放的是适应各种天气的户外家具。

A formal pronouncement or command.

命令正式的宣布或命令

The Formal Semantics of English Transitive Verbs and Its Realization Techniques

英语中及物动词的形式语义及其实现

Maybe OK for some formal business correspondence, like from the lawyer handling your dead mother's estate. Sincerely Yours

也许对于某些正式的商业通信是OK的，例如来自处理你去世母亲遗产的律师信函。

The factor analysis of the preliminary questionnaire formed the formal questionnaire.

通过预试问卷的因素分析，并考察了信度和效度之后，本研究经修订最后编制出大学生健康价值观的正式问卷；

The food-as-medicine movement has been around for decades, but it's making progress as physicians and medical institutions make food a formal part of treatment, rather than relying solely on medications.

食物即药物运动已经存在了几十年，但随着医生和医疗机构不再仅仅依靠药物，而是将食物作为治疗的正式部分，这顼运动正在取得进展。

He's made a formal identification of the body.

他正式确认了死者身份。

A crown-like jewelled headdress worn by women on formal occasions.

妇女在正式场合戴的一种嵌有珠宝的冠状头饰。

In 1946, Churchill openly used the term in his "iron curtain" speech, marking the formal establishment of the UK-US special relationship.

1946年丘吉尔在其铁幕演说中十分明确地提出了这一关系，标志着英美特殊关系正式建立。

He left school with no formal qualifications.

他离开学校没有获得正式学历。

People have been reluctant to make formal complaints to the police

人们不愿向警方作出正式投诉。

They decided to put their relationship on a more formal footing

他们决定正式交往。

One evening the film company arranged a formal dinner after the play.

一天晚上，电影公司在演出结束后安排了一个正式的晚宴。

Bad teaching is not penalized in a formal way.

教学质量低下没有受到正式处罚。