由于Petri网具有形式化的语义定义、直观的图形表达、严格的数学基础以及基于状态的描述等优点,被越来越广泛应用于工作流过程建模和流程优化。
互联网摘选
将层次分析法、语义差别隶属度法等集成,形成了质量竞争力评价工具集。
互联网摘选
模型的结构语义由类型范畴图表来指代,行为语义则由范畴附带的进程行为迹来表示,模型间的映射关系用范畴理论中的态射和函子来形式化描述。
互联网摘选
生产实践表明,三步法工艺效果好, 且生产成本可控.
互联网摘选
目的探讨三 步法 护理程序在内科护理学教学中应用的可行性.
互联网摘选
本文围绕三地经济状况,社会生活状况及人民生活水平进行比较、分析,阐述三地相互协调发展进程及潜力,提出协调发展的对策措施。
互联网摘选
The Analytic Hierarchy Process Based on the Unascertained Three-Valued Judgments
基于未确知三值判断的层次分析法
互联网摘选
资源聚类是指按照资源所包含的语义内容,将内容相似度较高、属于同一主题的资源划分为一个类别,并为每一个类别指定一个语义标签的过程。
互联网摘选
An integrated algorithm based on semantic information to process distributed queries
基于语义信息的集成的分布式查询处理算法
互联网摘选
Furthermore, software entities have explicit process relevant semantic description.
同时在各层次的软件实体具有显式的流程相关性语义描述。
互联网摘选
最后举例说明了如何应用它分析过程模型的语义正确性。
互联网摘选
The Explanative and Procedural Semantics of FLL Analysing Prolog from advantage of process
FLL语言的说明性语义与过程性语义依据过程性优势分析Prolog程序语言
互联网摘选
整个解析过程分为四个阶段,分别对应于编译技术中的词法分析、语法分析、语义分析和代码生成。
互联网摘选
特征的语义与属性在建模过程中保持不变,利用特征名对特征的拓扑面进行命名,然后根据拓扑边和拓扑点的邻接面对边和点进行命名。
互联网摘选
该元模型既支持CMM软件过程的抽象语法和规则语义,也支持利用UML CASE工具操作CMM软件过程模型。
互联网摘选
Graphical Workflow Process Modeling and its Automata-Based Dynamic Semantics
工作流过程图形建模及基于自动机的动态语义
互联网摘选
本文通过一个具体的工商管理信息系统的开发实例,描述了开发基于网络的大型数据库应用系统的开发过程。
互联网摘选
本文从基于模糊逻辑的量化命题演算出发,探究一个新的数据库查询机制,用以处理更一般的量化命题意义的模糊数据库查询。
互联网摘选
