Formal description system of checking information and its parse system.
实现了阅卷信息的形式化描述以及对应的语言解释系统。
And, the expanded RBAC model-ERBAC model and the formal description are given.
给出了扩展的RBAC模型—ERBAC模型，并给出了其形式化描述。
A transport protocol and its formal description techniques for local networks are discussed.
本文研讨局部网络的传输协议及其形式描述技术。
This paper presents a new hybrid model called FCA for communication protocol formal description.
本文提出了适用于通信协议形式描述的一种新的混合模型，文中称之为FCA混合模型。
Alternatively, the model could be processed into a WSDL file — again a formal description of a Web service.
或者模型被处理成wsdl文件，同样是Web服务的正式描述。
Now the main methods of software architecture description are formal description and visual description.
目前主流的软件体系结构描述方法有两类，分别是形式化描述和可视化描述。
With the formal description of the adaptor generating process, we can automatically generate the adaptor.
通过适配器生成过程的形式化描述可以自动生成该适配器。
A formal description of a system, or a detailed plan of the system at component level to guide its implementation.
系统的正式描述，或用于指导其实现的组件级别的系统详细计划。
A formal description is designed for process chains, determined by the processing of complex 3d geometry models.
描述了过程链的模型设计，复杂的3D几何数据模型的制作说明了这些过程链。
A formal description of hypercube is given, from which a recursive method of constructing a hypercube is derived.
本文给出了超立方体计算机结构的集合描述，并由此导出了该结构的递归构造法。
A formal description of process patterns is established in this paper by extending the semantics of the XPDL language.
通过扩充XPDL语言的语义，建立了一种过程模式的描述技术。
Formal description and automatic implementation play an important part in main developing work of protocol engineering.
在通信协议工程的主要开发作业中，形式描述和自动实现扮演着重要的角色。
A classic perception of liars is that they are more anxious, and the 'Anxiety Hypothesis' is a formal description of the idea.
一种典型的观点认为，撒谎者更为焦虑，而“焦虑假说”是该观点的正式描述。
The precise formal description is the basement of the research, and all the analysis and verification behind are based on it.
精确的形式化描述是整个研究的基石，后面的分析和验证都基于该形式化描述。
Formal description of emergency plans is the precondition and basis to establish the theoretical framework for emergency plans.
应急预案形式化描述是建立应急预案理论框架的前提和基础。
LOTOS is a specification language that aims at describing the dynamic behavior of complex systems (formal description language).
LOTOS主要是用来描述复杂系统动态性的说明语言(形式描述语言)，是可操作的。
Quantum description, which is based on superstring description, is doomed to have some hard-dealt problems, as a formal description.
量子描述建立在量的基础之上，这种形式化描述本身会遇到难以处理的问题。
The idea and formal description of channel routing are introduced, and a mean field annealing neural network approach is adopted in the problem.
介绍通道布线的思想，给出相应的形式化描述，提出一种神经网络求解算法。
After analysing the activity flow drawing of the users, the modeling tool generates a XML formal description file which is parsed by flow engine.
流程建模工具对用户绘制的作业流程图进行分析，生成一个可以被流程引擎解析的基于XML的形式化描述文档。
This paper gives the formal description of the two-party protocol, and discusses the security, authenticability and verifiability for two-praty protocols.
论文首先给出协议的形式化描述，然后讨论了协议的安全性、可鉴别性和可验证性。
Firstly a formal description of the problem is proposed, and then the problem is transformed into one kind of equivalent form about polygon motion planning.
给出了此问题的形式化描述，并将问题归约为一种关于多边形运动规划的等价形式。
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.
这种方法以协议的形式化描述为输入，易于自动化实现，同时生成的测试序列较短，提高了测试效率。
This paper gives a market based formal description on the multi-robot task allocation problem, and discusses the task allocation taxonomy and performance indexes.
通过对任务分配问题分析，建立了一套基于市场机制的多机器人任务分配问题形式化描述方法，讨论了多机器人任务分配的分类及评价指标。
Information processing systems becoming large and complex, Formal description methods are needed for specification of systems and their efficient and reliable designs.
信息处理系统的大规模化和复杂化，需要有效设计高可靠性系统的形式化的规格描述方法。
An ontology is the entity which composes of the concept of knowledge, the relationship between the concepts and formal description language can be identified by computers.
本体是由知识中的概念、概念间的关系以及计算机可以识别的形式化描述语言组成的实体。
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.
智能网业务的形式化描述技术和业务验证的理论与方法是目前智能网（IN）业务实现过程中的关键技术。
Based on analyzing and studying dependency injection, a formal description for its execution with a kind of mathematical tool named complete lattice is given in this paper.
本文在分析研究依赖注入技术的基础上，用完全格工具形式化地描述依赖注入的执行过程。
It is a formal description of the normal usage and management of the network system and it is a rule that the operators and managing staffs of the network system must obey.
是正常使用和管理网络系统的正式描述，是网络系统使用和管理人员必须遵守的规则。
Much research has been done recently in the area of formal description techniques (FDT) and their use for protocol design validation, implementation development and testing.
最近在形式描述技术(FDT)领域及其用于协议设计验证、实现开发和测试方面已做了大量的研究工作。
Complete and formal description method of spatial relation semantics is emphasized in GIS research field. Dynamic and fuzzy spatial relations make the method very complicated.
完备和形式化的空间关系语义描述方法一直是GIS理论研究的重点，空间关系的动态性和模糊性决定了描述方法的复杂性。
应用推荐