查询词典 formal

Among Lewis structures having similar distributions of formal charges, the most plausible structure is the one in which negative formal charges are placed on the more electronegative atoms.

Among刘易斯结构有形式电荷的相似的发行，最振振有词的结构是消极形式电荷在更加电阴性的原子安置的那个。

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克服了以往检测语言以"情景描述"为主的缺陷，转而采用形式化的方法来刻画入侵模式的入侵特征。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。