由于Petri网具有形式化的语义定义、直观的图形表达、严格的数学基础以及基于状态的描述等优点,被越来越广泛应用于工作流过程建模和流程优化。
来源:互联网摘选具体如下:首先,本文结合构件的静态结构特征和动态行为特征,基于谓词逻辑、集合论以及进程代数π演算,提出了一种构件的形式语义模型。
来源:互联网摘选论文在深入分析MC环境客户需求特点的基础上,提出了客户需求获取分解及处理的方法并建立了一套完整的形式化需求语义模型。
来源:互联网摘选基于Bayes原理的语音识别模型涉及声学层和语言层知识的适当表示和运用。
来源:互联网摘选The manpower model for software projects based on analysis of Bayes risk
基于贝叶斯风险分析的软件项目人力资源模型
来源:互联网摘选A semantic description model of lung cancer chromatic images based on Bayesian learning
一种基于Bayesian学习的彩色肺癌图像语义描述模型
来源:互联网摘选在提出基于特征的业务构件模型之后,研究构件之间存在的结构和语义依赖关系,并分析了构件组织方式与建模效率之间关系。
来源:互联网摘选A statistical and scientific database definition language based on semantic data model
一个基于语义数据模型的统计与科学数据库定义语言
来源:互联网摘选Studying the Relationship Between GAMMA and UNITY Model Based on Axiomatic Semantics
从公理语义看UNITY模型和GAMMA模型的关系
来源:互联网摘选语义域语言模型的核心思想是为报道建立凝聚于不同语义的结构体,借以从语义层面判定报道的相关性。
来源:互联网摘选在此基础上, 提出了一种基于诱骗机制的入侵容忍数据库安全模型.
来源:互联网摘选最后,本文将该模式应用到合肥工业大学国防生基地化训练,将抽象的模型具体化,更清晰明了的说明项目管理在基地化训练方面的应用。
来源:互联网摘选
简答网 · 英语词汇

简答网 · 高考英语

简答网 · 高考英语

简答网 · 双语娱乐资讯

简答网 · 初中英语作文

简答网 · 中考英语