查询词典 formal

At the same time , we discuss the determinism and nondeterminism of formula-clock automata and the closure propertied under Boolean operation of the language which is accepted by formula-clock automata. We also prove the expressive equivalence between the deterministic formula-clock automata and the nondeterministic formula-clock automata. This means that every nondeterministic formula-clock automata can be transformed to a deterministic formula-clock automata which exactly accept the timed language identified by the fomer.We also extend timed words to infiniteness and define the formula-clock Buchi automata and the formula-clock Muller automata. At last, we show its application in formal verification and modeling of real-time system.

然后讨论了公式时钟自动机的确定性和非确定性，公式时钟自动机识别的语言类在并、交、补运算下的封闭性；并证明了确定的公式时钟自动机和非确定的公式时钟自动机表达能力的等价性，这意味这每一个非确定的公式时钟自动机都能转换为一个与之识别相同时间语言的确定的公式时钟自动机；我们将时间字扩展为无穷的，从而定义了公式时钟Buchi自动机与公式时钟Muller自动机；最后给出了用它进行实时系统的形式化验证方面及对实时系统建模的应用。

The process of constructing the discourse of professionalism is constituted by three micro-mechanisms, the mutual influences of the formal and informal fields of gaining professional fame, the exercises of power via both coercion and co-optation, and the dynamics of interactions at three levels: organization, profession, and media system.

专业主义的话语建构的过程包括正式与非正式成名场域的区分和相互渗透，以强制和"收编"两个相辅相成的方式形成的权力行使，以及组织、行业和体制内外的互动。

I need something for a formal cocktail party.

我需要一些参加正式鸡尾酒会的衣服。

According to substantive law and procedural law , the article divided codefendants into substantive codefendant and formal codefendant .

从证据法上讲，可将共同被告分为实质的共同被告和形式的共同被告。

The formal codification of China's purchasing policy comes also as it faces several delicate trade issues abroad.

中国的采购政策形成正式的文件也正值它在海外面临几个微妙的贸易问题之际。

In more formal language, the set of all left-hand Riemann sums and the set of all right-hand Riemann sums is cofinal in the set of all tagged partitions.

积分是线性定义的，即如果，则。特别地，由于复数是实数向量空间，故值为复数的函数也可定义积分。

Cohabitant said: Love is a matter between the two, others not identified recognized, the government does not recognize recognized not important, it is important to consensual, the two heart相悦no need for formal commitment and marriage do违心thing; marriage: As in love, why do not dare to use the form to express commitment?

同居者说：爱是两人之间的事，他人认不认可，政府认不认可都不重要，重要的是两厢情愿，两心相悦，不必为了形式上的婚姻承诺而做违心的事；结婚者说：既然相爱，为什么不敢用形式来表达承诺？

Her young life was spent in concert halls across Europe and North America, but Autumn grew bored of formal education before her teenage years set in. She attended the well-respected Colburn School of Performing Arts by her 10th birthday and there, she befriended famed violinist Nigel Kennedy.

她的童年是在欧洲和北美的音乐厅的演出中度过的，频繁的演出和辗转使她对正规教育产生了逆反心理，于是在她10岁时决定放弃学业进入著名的Colburn School of Performing Arts学习自己喜爱的音乐，在那里，她结识了著名小提琴家Nigel Kennedy并和他成了好友。

In order to meet the requirement of the Collector ring dipole superconducting magnet of FAIR in the process of operation, meanwhile, and to ensure the heat loads coming from the support structures to be lower than the design demands, the 3D models of support structures have been constructed with CATIA, then the calculation of low-temperature heat-load and the structure analysis have been done with ANSYS, the support structure material, 316LN+G10, is decided according to the heat-load calculation and the structure optimization, these results are necessary for manufacturing the formal magnet.

为保证FAIR收集环(Collector ring-CR)超导二极磁体工作过程中的磁场位形符合设计要求，同时保证由磁体支撑带来的热负荷小于设计要求，用CATIA软件建立了不同结构的磁体支撑3D模型，并用ANSYS有限元分析软件对建立的模型进行了低温热负荷分析和结构分析。通过比较分析的结果和对磁体支撑结构进行的进一步优化，确定了316LN+G10材料的支撑结构，为收集环超导二极磁体工程制造提供了参考。

Recently, changed a new teacher, say not to write Zhou Ji, write essay, essay is more optional, formal content is coltish, the word grows, without the word short.

最近，换了个新老师，说不写周记了，写随笔吧，随笔较随意，形式内容都不受拘束，有话则长，无话则短。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐