在没有建立统一的形式化描述方法之前，很难判定哪种理解是正确的。
It is hard to judge which one is correct before establishment of uniform formal descriptive method.
文章从形式化定义和设计过程描述这两个方面研究了特征设计的形式化描述方法。
This paper makes attempt to establish a domain-independent description formalism for feature-based design from two aspects: formalized definition and design process description.
从三个方面研究了基于特征设计的形式化描述方法：基于特征设计的基本定义、设计过程模型及设计算法。
This paper aims to establish a domain independent representation formalism for feature based design in three aspects: formal representation, design process model and design algorithm.
构造类别代数的形式化描述方法能够将协议的数据流和控制流在统一的公理语义和操作语义前提下进行描述。
The formal methods based on Construct Category Algebra can use the same axiom semantics and operation semantics to specify the data-flow and control flow of a protocol;
使用这些转换规则及形式化描述方法可以清晰地描述角色间的约束关系，有助于设计者实现角色的分配及组合。
It can well describe the role constraints using these transformation rules and formalization description methods, and helps to implement role assignment and composition.
通过对任务分配问题分析，建立了一套基于市场机制的多机器人任务分配问题形式化描述方法，讨论了多机器人任务分配的分类及评价指标。
This paper gives a market based formal description on the multi-robot task allocation problem, and discusses the task allocation taxonomy and performance indexes.
作为描述与服务交互相关的重要特征的方法，形式化的服务规范在服务治理中起关键作用。
As a way of describing the important characteristics related to a service interaction, the formal service specification plays a key role.
USBD方法至关重要的方面是所确定的业务过程如何支持业务目标的描述和形式化。
A crucial aspect of the USBD methodology is then the description and formalization of how the identified business processes support the business goals.
一种详细描述测试套件和测试脚本的形式化方法。
A formalized approach to elaborate the test suites and test scripts.
针对虚拟企业提出了一种基于产品开发制造全过程分解和活动描述的形式化过程建模方法。
This paper presents a formal approach of product development and manufacturing process modeling based on process decomposition and activity description for a virtual enterprise.
信息处理系统的大规模化和复杂化，需要有效设计高可靠性系统的形式化的规格描述方法。
Information processing systems becoming large and complex, Formal description methods are needed for specification of systems and their efficient and reliable designs.
智能网业务的形式化描述技术和业务验证的理论与方法是目前智能网（IN）业务实现过程中的关键技术。
The formal description techniques for intelligent network (IN) service and the theory and methods in IN's service verification are the key technologies in IN's realization.
这种方法以协议的形式化描述为输入，易于自动化实现，同时生成的测试序列较短，提高了测试效率。
This method takes formal description of protocols as input, and is easy to be automated, also generates a shorter test sequence, promotes the test efficiency.
通过实验分析，提出了基于ARP代理的身份认证方法，并对其运行方式进行了形式化描述。
Then one submits method of ID authentication based on proxy ARP after doing some experiments and describes formally it.
本文依据国际电信联合委员会(itu - T)的智能网能力集建议，对智能网业务的形式化描述技术(FDT)、智能网业务逻辑验证的理论与方法等进行了研究。
Based on the ITU-T Intelligent Network CS Recommendation, the paper studies the formal description techniques (FDT) for in service and the theory and methods in in's service verification.
为了解决以上问题，本文提出在MDA框架中使用形式化方法B描述软件需求从而建立软件需求模型。
To solve these problems, this thesis put forward a method use the formal B method to describe software requirement and construct software requirement model in MDA framework.
本文给出表示方法的形式化描述和在此表示上的线性装配规划的生成算法。
This representation are formally described, and the generation algorithm of assembly plans of linear structure has been given in the paper.
提出了一种多数据库系统的模式映射方法，并对水平映射、垂直映射、混合映射、相关映射和局部映射给出了一种统一的形式化描述。
A method of schema mapping in multidatabase systems was introduced and an uniform formalized definition for horizontal, vertical, mixed, correlative and local mappings was given.
给出DD -RCM模型的图形化和形式化描述实例，并分析DD - R CM建模方法的技术特点。
It gives the graphical and formal describing example of DD-RCM model and the characteristic of DD-RCM technology also.
为了研究通信协议的时间性质，需要一种能够描述时间的形式化方法。
The mobile ambients is extended with time, then a new formalism—real-time mobile ambients with types is presented.
第二章在复合形容词和名词的语义分类基础上，以形式化的方法描述了其搭配规律。
The second chapter, based on the semantic classification of compound adjective and noun, describes the collocation rules between compound adjective and noun.
协议工程用形式化的方法描述在协议严格的设计和维护中的各个活动。
Protocol engineering uses a formal method to describe all the activities during strict protocol design and maintenance.
该方法融合CPN和面向对象技术的优点，从形式化、可视化的角度描述基本通信系统的运行过程。
This method reflects the advantages of CPN and object-oriented technology, and describes the operation process of basic communication system from the formal and visual aspects.
其中对中间实体进行了形式化定义与描述，并对中间实体生成方法及概念生成方法进行研究与讨论。
The middle entity is defined in the paper. Then the generation methods of the middle entities and concepts is studied and discussed.
文章用一阶谓词对该模型的访问控制约束规则进行了形式化描述，并讨论了该模型在业务流程管理系统中的实现方法。
The access control rule of the ACBAC model is formalized by the first order predicate logic. The realization method of the model in business process management systems is also discussed.
随后，运用面向对象的表示方法对信息活动链模型进行了“半形式化”的描述；
Then, we give a 'semiformalization' description of the model based on object oriented methodology.
我们使用约束规划的方法来形式化描述和解决这个优化问题。
We resort to a constraint programming approach to formulate and solve the optimization problem.
介绍了形式化描述语言LOTOS的特性，结合面向对象技术和状态图的理论知识，给出了基于LOTOS的动态模型的形式化方法，并给出了实例说明。
Combined with theory of object oriented technology and state chart, formalization method of dynamic model based on LOTOS is presented. Furthermore, a case is presented to demonstrate this method.
用形式化的方法描述了XML文档模型，并提供了一系列规则来保证模型描述的XML文档的良构性。
XML document model is described by formal method. Some rules are provided to guarantee that the described documents are well-formed.
用形式化的方法描述了XML文档模型，并提供了一系列规则来保证模型描述的XML文档的良构性。
XML document model is described by formal method. Some rules are provided to guarantee that the described documents are well-formed.
应用推荐