查询词典 formalization

It is important for the application of formal approach and formal specification in all stages of software development to study and design automatic refinement from Z to high-levellanguage: Insure complete formalization in all stages of software development; Avoid antilogy in refinement due to mistaken operation or computative mistake and insure consistency and integrity of system; Due to avoiding manual operation in refinement process, it is feasible to bulid a compile environment that Z specification automatic refine and form high-level programme, this will accelerate the promotion and application of Z in industry.

Z到高级语言自动求精的研究与设计对于形式化方法及形式规格说明应用于软件开发的各个阶段具有非常重要的意义：确保了从需求分析阶段开始的软件开发周期的完全形式化；避免了人工的误操作或演算错误导致的求精前后不一致，保证了系统的一致性和完整性；由于求精过程避免了手工操作，因而Z规格说明自动精化为程序代码的编译环境可以建立，这将会加速Z规格说明在工业界的推广应用。

Index ; assessment ; axiomatic method ; formalization

指数；测验；公理方法；形式化

Keywords : variational theory, variable-independence, consistency , formalization, Axiomatic System of Variation, Formal System of Variation

进一步，我们发现，在鹫井久一郎、钱伟长和罗恩的工作中明示的或隐含的有关变量独立的"传统"的理解隐含着矛盾 [6， 9-11， 14]。

It is undoubtedly result of scientific theory systematization. When axiomatic system reaches a fairly perfect stage, theorists hope axiomatic system more abundant by formalization method.

当公理体系达到相当完善的阶段后，理论家们往往希望用形式化的方法使公理体系更精致，推理能力更强，更能发挥科学理论的认识功能。

Taking the symbol as the product information carriers and basic elements, the symbol modeling realizes the information description with formalization, abstraction and integration, expresses the product design process with symbol model evolution, and offers the new theory and method for product development.

符号建模以设计对象符号作为产品信息的载体和建模基本元素，实现了信息的形式化、抽象化和集成化描述，通过符号模型的演变表达了产品的设计过程，为产品开发提供了一种新的理论和方法。

The study of formalized definition of HNC concept expression aims at building a system of word semantic knowledge for automatic semantic annotation so that the formalization of semantic annotation symbols and calculability of the meaning of words can be realized.

研究HNC概念表达式的形式化定义，旨在为语料库的自动语义标注建立语义知识表示体系，实现语义标注附码的形式化，实现语义的可计算性。

Formalization verification of service composition based on Process Algebra and Discrete Time Ambient-Calculus, as well as combinatorial optimization and the partition method based on QoS mathematic model are deeply studied. The service composition architecture supporting formalization verification and QoS-aware composition has been also implemented. Furthermore, the architecture is applied to digital cartoon cooperation manufacturing in the Internet.

为实现动态的跨企业业务协作与集成，本文围绕服务组合行为的正确性检验以及服务质量保证这二个正交的性质，深入研究了基于进程代数Pi演算及离散时间Ambient演算的服务组合形式化检验，以及基于QoS数学模型进行精确计算的服务组合优化与划分方法。

Chapter 3,"Formalization knowledge rule",it links the development ofmodern nature science and formalization science to introduce the formation of theformalization knowledge rule,and its contents,characteristics and development.

第三章"形式化知识规则"，联系现代自然科学和形式化科学的发展，介绍了形式化知识规则的形成，其内容、特点及其哲学史考察。

To prepare studying hierarchical intelligent control system of material flows in mineral processing plant further, picturing, transition rulers, analytic methods, relevance matrix and dynamic equation, defect in applying of Petri network, fall short of orient object models applying are discussed after technology of formalization model built, non-formalization built and compound model. And Petri network system with time attribute is expanded opening network system with interface of input and output. The network system expanded with all attributes of basic Petri network model has hierarchy and recursiveness, can be analyzed with mathematical tools of network system and can deal with concurrent and asynchronously also.

为了对选矿厂生产物流递阶智能控制系统的进一步研究奠定基础，本文在讨论了形式化建模技术、非形式化建模技术和复合模型的基础上，研究和分析了Petri网的图形表示、变迁规则、分析方法、关联矩阵与动态方程、Petri网模型应用中的缺陷、面向对象模型应用中的不足，并把采用赋时的Petri网系统扩展成为对外界有输入和输出接口的开放网系统，扩展后的Petri网具有递阶性和递归性，同时保持基本Petri网的所有性质，使模型仍可采用网系统数学工具进行分析，并可处理生产物流系统中的并发性和异步性。

In the historical evolution of mathematic thought, content and method, m athematic truth has assumed some postmodern characteristics.The targets of the pursuit of mathematic truth have changed from the objectives and valu es of metaphysics to the relative and varied theoretical constructions.Mat hematic truth is an open system with different levels and frameworks. It h as transcended the scope of natural truth and has generated a new dimensio n,i.e.,selectivity.Both formalization and non-formalization are effec

在数学思想、内容与方法的历史性变革过程中，数学真理的观代性开始发生转向，逐步表现出一些后现代特征：数学真理从追求形而上学的目标与价值转向追求相对的、多样化的理论构建；数学真理是一个具有不同层次性和等级结构的开放体系；数学真理超越了自然真理的范畴，开始生长出一种新维度——可选择性；形式化与非形式化都是获得数学真理的有效手段。

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.

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