[01666165]基于Petri网的语义网格应用仿真平台关键技术的研究

系统仿真技术为一些复杂系统创造了一种计算机实验环境，使系统的未来性能测度和长期动态特性，能在相对极短的时间内在计算机上得到实现。在实施控制系统仿真过程中，通过对电路的认识和了解，抽取其中的基本要素的关键参数，建立与现实系统相对应的仿真模型，经过模型的确认和仿真程序的验证，在仿真试验设计的基础上，对该模型进行仿真试验，以模拟系统的运行过程，观察系统状态变化的动态规律性，并通过数据采集和统计分析，得到被仿真系统统计特性，据此使用相应的开发环境和语言工具实现系统平台的仿真。该项目完成部件级的电路仿真和综合电路的仿真。语义网格方面的研究，通过采用新的计算模式和新的资源组织和管理的模型，重点解决二个科学问题：资源的规范组织和语义互联。语义网格使用元数据来描述网格中的信息，将信息转化为一些更有意义的东西，而不只是一个数据集合，这意味着要正确理解数据的内容、格式和重要性。在智能电路中，提供一些元数据来帮助描述在控制系统中的基本信息，这样应用程序和用户就能够更好地决定如何处理数据。元数据是关于数据的数据，用于描述要素、数据集或数据集系列的内容、覆盖范围、质量、管理方式、数据的所有者、数据的提供方式等有关的信息。它是一种广泛存在的现象，在许多领域有其具体的定义和应用。元数据提取的目的是把各子系统的元数据提取出来，为元数据的装入提供数据准备。通过描述公共模型中的元数据，实验中的所有部分都能够相互关联，因此都可以在上进行推理。元数据流可以由人、服务或者设备产生，例如注释、设备配置以及实时处理的数据等。Petri网与计算机程序系统的差异阻碍了Petri网在计算机科学中的应用，针对这一差异引入的变量类状态元素和相应的变迁规则，使扩充后的Petri网成为系统规范和程序系统语义描述的工具。智能控制电路是由一定数量的节点和连接节点的传输链路有机地结合在一起，实现两个或多个规定点间信息传输的系统。通过该项目的研究，通过对语义网格的理解，结合元数据的概念，解释适用于智能控制系统的命令，并应用于Petri网技术仿真中；提出基于语义网格概念的控制系统的Petri网仿真，为Petri网应用于网络系统的建模和仿真提供了一条有效的途径。实现协同计算的Petri网格应用就是虚拟组织。Petri网格应用即虚拟组织的构造比较简单，分为设计和实例化两个阶段。先有应用领域专家设计组织的Petri网模型，一个Petri网模型表达一个组织形式。再有投资者觉得这个虚拟组织可能有利可图，具体实例化这个Petri网模型，即在特定机构注册，称为模型实例化。模型是社会规范，模型实例才是社会组织。只有模型实例即活动的组织才可以访问元素，而作为社会组织规范的模型是不可以访问元素的。现有计算机包括硬件体系结构和软件算法程序两个层面的理论与技术，Petri网格试图增加更高的第三层－物理逻辑描述层的Petri网原理和网格应用构造技术，使得软件工程中的软件与应用相分离。软件将专注于算法分析与程序设计，以Petri网模型表达的应用逻辑将由虚拟社会中的自然语言来描述。