论文研究基于Petri网的概念模型验证方法研究.pdf

由于目前常用的概念建模方法对于虚拟环境中物体方位、行为和交互模型等信息缺乏足够的描述方法，在吸取现有概念模型建模概念和技术的基础上，提出了虚拟环境概念模型建模框架，给出了虚拟场景静态结构和动态行为的概

在仿真系统的概念模型开发过程中存在着模型重用性不高和缺乏管理等问题，这些问题将影响模型开发效率和仿真系统的可靠性。为解决以上问题，提出了元概念模型（MCM）的概念，以实现在更高层次对概念模型进行抽象。

考虑到服务的特性和特殊性,例如不可分离性,易腐性和可变性,这些特性使它们成为短暂且几乎无形,不可存储和不可专利的,我们可以清楚地了解规划,操作和解决问题时存在的复杂性在服务公司。 这种情况要求使用不同

在严峻的APT（advancedpersistentthreat）攻击防御背景下，针对现有网络攻击建模方法无法反映APT攻击的攻击特点的问题，建立了基于Petri网的APT攻击模型。借助Petri网，

多表达空间实体的概念模型，刘笑芳，，空间实体的概念模型是空间领域建模的研究热点，然而目前尚缺乏对多表达空间实体的概念模型描述。本文建立了一个多表达空间实体的

基于SPI的邮件加密系统及其Petri网模型研究，姚佶超，吕玉琴，为实现与协议无关的电子邮件安全传输,提出基于SPI的安全邮件实现方案.。针对邮件传输的非点对点方式、邮件协议与格式多样化、邮件

增强消费者在线购物意愿可以从以下几方面入手：根据人口统计特征、技术准备程度、特 定领域创新性等变量，细分消费群，开展针对性营销：从信患性、交互性等方面提升网站感知利益：从产品因素、网 站安全性、网络体

延迟时间Petri网（DelayTimePetriNets，DTPN）是一类重要的时间扩展Petri网系统，解决了其他时间扩展Petri网（如时间Petri网）在保存时间约束时所面临的困难。可调度验证

数据挖掘：概念、模型、方法,作为一本教科书，本书全面讲述了数据挖掘的概念、模型、方法和算法。本书共包括13章和2个附录，全面、详细地讲述了从数据挖掘的基本概念到数据挖掘的整个过程，以及数据挖掘工具及其

基于领域模型重用机制，以提高模型重用性为目标，分析了领域概念模型体系结构的设计方法，将概念模型体系分为军事概念模型、逻辑概念模型和领域专业术语字典三个部分。介绍了构建领域概念模型的设计流程和关键技术，