对空间方向关系的分类等基本问题的研究可望逐步解决其形式化描述模型的建立问题。
The study of the classification about spatial direction relationships may progressively solve the problem of establishing the formal direction relation model.
RDF是一个具有WebXML序列化的元数据系统，即用于描述Web资源形式化陈述集合的模型。
RDF is a metadata system with an XML serialization for the Web, a model for describing collections of formalized statements about a Web resource.
给出了ERBAC的动态授权管理框架，最后用形式化语言描述了ERBAC模型满足的规则。
This paper first describes the ERBAC mainframe of the management of authorization, and then gives the formal rules that ERBAC model must meet.
目前，国际上对于作为时空数据模型概念和形式化基础的时空拓扑关系定义和描述还没有一个明确的阐述。
At present, there isn't a clear definition and description of spatiotemporal topological relationships which is a conceptual and formal basis of spatiotemporal data model.
研究表明，基于多色集合理论建立的机械产品概念设计模型易于形式化描述和推理，方便计算机编程。
Results show that the conceptual design model of mechanical product based on polychromatic sets can be described and reasoned with formal method, and programmed easily.
文中分别对案例知识和经验知识进行了形式化描述，并建立了相应的诊断模型。
Case and experience knowledge are formally describing, and diagnosing model is built in this article.
语言是一种描述转换系统相关数据特征的形式化语言，然而不适合建立动态行为的模型。
The Z language is a formal language for specifying data-related characteristics of transformational systems. however, it is not designed to model behaviour.
对EXPRESS建模语言的核心功能作了概述，并给出了EXPRESS数据模型的一个形式化语义描述。
The primary contents are summarized as follows:An overview of the key functions of the EXPRESS modelling language as well as a formal semantic description of the EXPRESS data model is introduced.
本文通过对网络协议形式化描述和验证问题的研究，针对网络协议的特性，给出了一种基于时态逻辑的模型系统。
After the study on the problems of formal specification and verification for network protocols, this paper gives out a general model system based on the temporal logic.
为了解决以上问题，本文提出在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 paper aims to establish a domain independent representation formalism for feature based design in three aspects: formal representation, design process model and design algorithm.
同时详细描述了信任模型的行为信任和身份信任，形式化表达了信任关系网络。
This trust model describes behavior trust and identity trust in detail and formalizes representation of trust relationship network.
通过功能符号形式化描述建立分层次的机构概念运动模型，实现对计算机辅助概念运动设计的支持。
By setting up a hierarchical mechanism motion model for conceptual design through the formal description of function symbol we provide a solid support to the computer aided conceptual motion design.
给出了扩展的RBAC模型—ERBAC模型，并给出了其形式化描述。
And, the expanded RBAC model-ERBAC model and the formal description are given.
提出一种MIS领域的柔性构件，对其构件模型进行了形式化的描述，并给出了该构件的实现流程。
A flexible software component in the MIS domain is proposed. The component model is formalizing de-scribed and the implement flow is given.
该模型采用有向图对企业应用系统间的协调关系进行形式化描述。
In this model, the coordination relationships among application systems were described formally through directed graphs.
针对知识发现在实际应用中的问题，提出了一种以领域知识为中心的知识发现过程模型，并将其形式化，描述了其动态语义。
Considering the problems in actual application, this paper proposed a kind of domain knowledge centered know-ledge discovery process model, then formalized it and described its dynamic semantics.
本文将角色的概念加入进来，讨论了基于角色的工作流状态的动态访问控制，并对其模型进行了形式化描述和分析。
This paper proposes the role concept, discusses the dynamic access control of role-based workflow status, and describes and analyses the formal model.
引入了完备自动机作为定义命令分析器的一种抽象数学模型，并用该模型给出了命令分析器的形式化描述。
It also introduces perfect automata as an abstract mathematics model of defining the command analyzer. Besides, this paper gives formal description of the command analyzer of the model.
给出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.
基于队列网络模型，由化学抽象机中形式化描述的软件体系结构规约，导出了一种性能评价模型。
Then the paper derives a performance evaluation model, based on a Queueing Network Model, from a software architecture specification formally described in Chemical Abstract Machine.
随后，运用面向对象的表示方法对信息活动链模型进行了“半形式化”的描述；
Then, we give a 'semiformalization' description of the model based on object oriented methodology.
在BGC模型框架下，文章对角色进行形式化描述，并分析了基于角色的任务分派。
In frame of BGC model, the formalization of role, and an approach of role-based mission assignment are pictured.
文章建立了基于DFA的攻击模型，并在此基础上利用Z语言对之进行了有效的形式化描述。
In this paper an attack model based on DFA is constructed and Z is employed to formally depict network attack.
介绍了形式化描述语言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.
通过形式化描述和分析CSCM机制的系统模型和运行模型，证明了CSCM具有一阶线性的消息复杂度和收敛时间。
By formalizing description of system model and running model of CSCM mechanism, the usability and extensibility of the system is given, and the message complexity and convergence time is proved.
通过形式化描述和分析CSCM机制的系统模型和运行模型，证明了CSCM具有一阶线性的消息复杂度和收敛时间。
By formalizing description of system model and running model of CSCM mechanism, the usability and extensibility of the system is given, and the message complexity and convergence time is proved.
应用推荐