查询词典 formal charges

Don't forget to bring outfits for different occasions, for example, the President's Dinner Dance is a formal dinner and the Golden Gavel Luncheon is business formal.

为因应不同场合，不要忘记带不同服装应变，例如，总会长之夜是正式场合，而金槌奖午餐会则是商业性质的场合。

This process is called formal equivalence checking and is a problem that is studied under the broader area of formal verification.

这一过程被称为正式等价性检验，是一个问题，是研究在更广泛领域的正式确认。

The group can be large, small, inclusive, exclusive, formal or in formal

这个参照体可大可小，可以是容他性的也可以是排他性的；可以是正式的、或非正式的。

The main body revolves around the fictionalization of the text, humanization and liveliness in portraying characters, the formless narrative, the formal of spiritual subject and the meaning of Dong Xi"s works to the contemporary fiction creating, exploring the characteristic of complete fiction in the artistic ontology, concentrating his attention on life content in portraying characters, the narrative pattern of the formless, the formal pursuit in spiritual subject, and its distinctiveness comparing to other "Late Generation""s works, what artistic elements he uses and how his texts that the whole human share are organized by using these artistic elements.

正文主要围绕小说文本的虚构化，人物塑造的人本化、生命化，形而下的叙事，形而上的精神主题和东西的小说艺术对当代小说创作的意义五个问题，探讨了东西小说在小说艺术本体论上的全虚构特性；在人物形象塑造上的生命含量的倾注；在叙事层面上的形而下形态；在作品精神主题上的形而上诉求以及东西的小说文本在晚生代作家中的独特性、它采用了哪些艺术元素以及如何把这些艺术元素组织成一种全人类所"共享"的文本等问题。

To establish a formal inferential system of intention consequences is an important issue in the formal study of intention.

建立意图后承的形式化推理系统是意图形式化研究中的一个重要课题。

This paper describes an approach to reverse engineering based on the formal semantics of the strongest postcondition predicate transformer,and the partial correctness model of program semantics introduced by Hoare. The main point of our investigation is how to use informal and formal methods for reverse engineering. The approach provided by this thesis is mainly to process the C program system for reverse engineering.

本文描述的逆向工程中的形式化方法采用最强后置条件谓词转换技术和Hoare理论中有关程序语义的部分正确性模型，研究的重点是利用形式化技术和非形式化技术对程序代码进行逆向工程，以支持软件理解和维护。

Gdel's second incompleteness theorem can be stated as follows: For any formal effectively generated theory T including basic arithmetical truths and also certain truths about formal provability, T includes a statement of its own consistency if and only if T is inconsistent .

第二，他证明了，对于任意的数学系统，如果其中包含了算术系统的话，那么我们不能在这个系统内部证明它的一致性。这就是希尔伯特第二问题答案的一部分。

In order to introduce the formal techniques such as stepwise refinement, automatic transformation and testing based on formal specification to the multimedia field, we first present a powerful subset of Allen's interval algebra as the temporal specification language to multimedia program.

为了在多媒体领域中应用逐步求精、程序自动生成和面向形式规范的并发系统测试等形式化技术，本文首先研究一个表达能力足够的Allen区间代数的子集合，以它作为多媒体对象时序关系的描述语言。

Formal concept analysis; concept lattice; formal context; isomorphism

形式概念分析；概念格；形式背景；同构

Therefore, some these fields are thoroughly investigated in this dissertation, which are respectively mentioned as the following: 1. The Formal Description Language ISITL for Intrusion Signatures ISITL is a high-abstractive formal description language for representing intrusion signatures based on the interval temporal logic and first-order predicate calculus.

本论文对此展开了全面深入的研究，其内容主要包括： 1、基于时段时态逻辑和一阶谓词逻辑的入侵特征形式化描述语言ISITL ISITL克服了以往检测语言以"情景描述"为主的缺陷，转而采用形式化的方法来刻画入侵模式的入侵特征。

According to our present broadcasting situation,the thesis proposes using new technology to update and reform the present HFC. It also suggests broadcasting using self-advantage and arranging EPON in order to win the supermarket.

论文从我国广电的现状出发，结合实际，积极倡导采用新技术更新、改造我国现有的HFC网络；倡导广电现阶段利用自身优势，部署EPON网络来赢取市场。

A new general kinetic equation was derived in which the effect of the removal of condensation water was taken into account completely, and was applied to the polyesterification kinetic study of AA/HPHP and AA/NPG. It was found that the reaction order of self-catalyzed polyesterification was not constant. For these polyesterifications, the reaction order was 2.5 at a low temperature, while 3.0 at a high temperature.

考虑缩合水的排除对反应体系的影响，用体积浓度单位推导出一个新的聚酯反应总包动力学方程，并应用到AA/HPHP和AA/NPG两个聚酯化反应的动力学研究中，研究发现，自催化聚酯反应的反应级数并不是固定值，对于AA/HPHP和AA/NPG两个聚酯化反应而言，低温时反应级数为2.5，高温时反应级数为3.0。