形式化

That is that information processing of neural networks is viewed as the composition of the two steps: field organization and field action, in which, field organization transformation converts input pattern into relevant structure representation, extracting the underlying architecture features and forms a architecture representation in action transformation space; The field action transformation converts the features representation into expected output. In strategies, we use the dual affine coordinates in dual flat manifold as way of representation of field organization system and field action system, which established a theoretical framework of analysis the coupling mechanism of information processing from the view of point of structure representation and model generation.

在具体人工神经网络结构描述的策略上，利用对偶流形空间上的对偶仿射坐标概念分别表示场组织变换系统和场反应变换系统，建立起从问题的结构表示和模型生成两种观点来分析信息处理的理论框架；分析了有监督和非监督学习人工神经网络模型在神经场变换机理下的形式化描述。

The information applied using styled markup, which defines the paragraphs in the source rich text file that are used by Aleppo for which parts of the output help database.

这信息在用来风格化标记是应用，对于输出帮助数据库，在源富文本文件中，定义段落应用形式化标记

The violent political and amorous conflicts of the tragedy have been so powerfully interpreted that there was hardly any dead moment on the stage. In short, on directing Racine's plays, Vitez started with a deconstructionist's point of view, then foregrounded the absolute rhythm of Alexandrine lines, even searched for a more formalist performance, and finally returned to the plot.

在摸索搬演拉辛的过程裹，维德志从解构的观点出发，至强调亚历山大诗体的绝对诗律，进而追求一种形式化的演出，最后回归剧情故事，这四出戏无一不是针对拉辛悲剧之写作与表演规制问题试著提出可能的解决方案。

In addition, access control policies of aggregated resources can be formulated as expressions of the algebra. Several algebraic properties of policy expressions are discussed. It shows that the algebraic properties of policy expressions can be used to verify whether policy composition results meet the protection needs of each party.

用代数表达式形式化地描述聚合资源的访问控制策略，讨论了策略表达式的若干代数性质，说明可借助策略表达式的代数性质去验证策略合成结果是否符合各方对聚合资源的保护性需求。

The essential problem of KBOOA are acquirement and organization of knowledge about the application domain. First of all, we recognize objects according to their outside characteristics and build stable concepts structures. In this way, the attributes and behaviors of any objects are treated as objects as well. The concepts are organized in hierarchies, the concepts' semantics are demostrated in the form of conceptual graphs. As hierarchy structure has inheritance, the system has ability to recognize and reuse concepts, analyze and reason the acquired information according to the existing knowledge, understand the problem space and present the system's functions and characteristics to the analysts and users in the form of scenarios. The main means of transforming informal requirements to formal ones is to recognize objects according to their outside characteristics, recognize attributes according to their functional dependence and describe the semantics of objects, behavior and attribute's relationship's because there is a automatic map from the descriptions of attributes and behaviors to class structures. It is difficult to transfer from OOA to OOD, We disscussed the modularity of Object-Oriented programs according to the principles of software engineering and presented the methods to decrease couplings and increase cohesions, i.

KBOOA以知识的获取、组织为中心问题，首先依据对象的外特性识别对象，并将属性和行为也作为对象处理，从而建立起较稳定的概念结构；KBOOA以层次的方法组织概念，以概念图的形式描述概念的语义，利用层次结构的继承特性，使系统具有识别、重用概念的能力，根据已有知识对系统所获信息进行分析、推理，产生对问题空间的理解，并以想定的形式向分析师、用户展示系统功能、性能，从而构成了一个交互式的，具有一定智能的需求分析环境；依据外特性识别对象，依据函数依赖关系识别属性，用概念图描述对象、行为及属性关联，是将需求由非形式化形式向形式化形式转换的主要手段，使属性及行为描述可向类型结构自动映射，为提高需求分析的自动化程度提供了依据。

Formal Theory of context can be used in many areas of AI: Using the formal notion of context in representation and reasoning not only embodies context-dependency of knowledge, but also make representations simpler. Since the reasoning process can be localized, the efficiency and openness of systems are both improved. In Natural Language Understanding systems, formal theories of context provide a framework for representing ambiguity and make the process of disambiguating easier.

形式化的context概念可以用于AI的许多领域：在知识表示和推理中使用形式化的context概念，不仅能体现知识对context的依赖性；而且表示结果简洁，可以局部化推理过程，提高系统效率，建立开放的AI系统；context形式理论为语言歧义性的表示提供了一个形式框架并使消歧过程更方便；context决定了中肯性标准，从而有望改善智能信息检索系统的性能。

This is done by formalising the NSL (Needham-Schroeder-Lowe) protocol and its correctness in Agda, an interactive proof editor, using both the inductive method and strand spaces in Agda.

使用归纳方法和串空间分别将NSL(Needham-Schroeder-Lowe)协议及其正确性在辅助证明系统Agda中形式化，并比较了这两种安全协议验证法，证明两种方法形式化的正确性和攻击者能力是相同的。

Secondly,it is due to the lack ofmethod which can guide the development and instantiation of framework.

导致该状况的原因首先是缺少成熟的应用程序框架的形式化或者半形式化的模型。

The modularised structure is applied to the framework, in which the formalized parts are separated from non-formalized parts, so to a large extent the framework can suit to the upgrade of standards.

框架采用模块化结构，将其中的形式化部分和非形式化部分进行了分离，能够在很大程度上适应标准的升级。

In short, the relation between nodes can be formally decided by DDF, the firing order is restricted to guarantee the correctness of program, so the introduction of DDF in embedded software design greatly benefits effective modeling, formal analysis, correct improvement, software optimization and implementation.

这样，DDF可以形式化地确定各种节点间的关系，并限定节点的执行次序以保证程序的正确性，将DDF用于嵌入式软件设计将极大地有助于有效的软件建模、形式化的分析、正确的设计改进、软件优化以及实现。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了