制造自动化系统的TCPN规格及其可调度性分析研究

时间约束Petri网(TCPN)是Petri网的一种扩展形式,是迄今为止对时间约束描述能力较强的网之一.文中给出了建立制造自动化系统时间约束Petri网模型的一般性步骤,以及基于时间约束Petri网的可调度分析算法,并以制造自动化系统的应用实例,具体说明了可调度分析算法的应用.     

基于Petri网的项目管理模型研究

项目管理是一类典型的离散并发不确定系统,经典Petri网及其扩展可以很好的对项目工序逻辑关系、时间约束、资源约束、项目执行过程监控等进行可视化建模的同时,提供形式化理论支撑.在综合研究现有Petri网项目管理模型基础上,提出了基于着色时间约束Petri网的项目动态管理模型,并对该模型的变迁激发规则、状态空间、可达性及可调度性进行分析.该模型能够对项目管理中时间约束及资源约束进行建模,为项目动态管理提供可视化、形式化建模工具.     

Petri网在语义Web服务组合中的应用研究

通过Petri网对语义层次上的web服务组合进行描述与建模,并将Petri网形式化元素加入到web服务中,然后对Petri网模型用XML进行描述,使之能在实际中应用。最后,给出了基于Petri网的Web服务组合应用实例。     

基于分层Petri网的面向服务需求求精

为了使结构化面向对象形式语言（SOFL）适应面向服务的软件架构，提出了一种用于面向服务架构软件需求求精的新方法.使用分层Petri网进行建模，利用顺序图对消息传递进行分析，采用SOFL对非形式化和半形式化的系统描述逐步求精.讨论了基于分层Petri网的Web服务，定义了分层服务网、分层Web服务相关概念，描述了用于Web服务软件需求的分析、设计和建模完整过程，并给出了旅游服务中该过程的具体实例.实例分析表明，该方法适宜Web服务分析建模，可帮助用户实现不同粒度Web服务.该方法有助于对面向服务环境下软件需求求精和验证的探索.     

基于Petri网的情境感知服务建模及干扰发现

为发现情境感知服务之间存在的显性和隐性干扰,提出采用赋时着色Petri网(timed colored Petri net,TCPN)对情境感知系统建模,通过对模型进行仿真分析发现服务之间潜在的干扰。对TCPN及其相关规则进行了形式化的定义,然后讨论了用TCPN对情境感知系统建模的方法,使构建的模型反映情境感知系统真实运行中的情况,主要讨论了对服务行为的建模和对情境变化的建模。利用提出的建模方法结合建模仿真工具CPN Tools对阿尔茨海默病患者智能辅助系统进行了建模和仿真,通过仿真结果分析发现了服务之间显性和隐性的干扰,验证了该方法的有效性。     

系统级描述语言SystemC到时间Petri网的转换技术

SystemC作为一种系统级描述语言能够同时描述硬件和软件,但缺乏形式化分析的手段.针对其存在的问题,提出引入Petri网的设想,通过分析了SystemC程序本身的结构特点,指出其主要由顺序、分支、循环以及并发等结构组成,并分别给出与Petri网的对应关系.同时提出了由SystemC程序到时间Petri网的转换方法.使用Petri网的工具对并发程序进行分析,将SystemC程序转换成时间Petri网,为基于SystemC的系统设计提供形式化的分析方法.并应用Petri网的可达图检测出原SystemC程序中的死锁,该转换方法的有效性达到了引入形式化方法的目的.     

OWL:一种用于语义网的描述逻辑

本体是语义网中的重要内容,它通过提供一个共享的、精确定义的术语源将语法扩展到语义.OWL是专门为Web设计的本体语言,它利用现有的Web标准(XML和RDF),添加了面向对象和基于框架的系统中常见的本体原语,具有强表达性的描述逻辑的严格形式化.OWL的逻辑基础是可以提供推理服务,既支持本体设计,又使得其在描述网络资源方面更接近于自动处理过程.     

CORBA工作流时间Petri网建模与分析

基于时间Petri网和工作流分析技术,引入时间工作流网概念,建立CORBA系统中由一组受时间约束的子工作流协作组成的工作流的时间工作流网模型,并基于该模型分析时间工作流网模型的有效性,验证了模型与系统需求规范的一致性.     

计时扩展双变迁Petri网及其分析技术

扩展双变迁Petri网是一种适合嵌入式系统的建模工具。但是，不能描述时间特性的不足限制了它在嵌入式系统软硬件协同设计中的应用。通过对扩展双变迁Petri网的变迁引入时间因子，以及该模型结构特征的分析研究，给出了计时扩展双变迁Petri网，及其状态方程和时间分析算法，从而使双变迁Petri网的描述能力增强；利用时间分析算法，可初步实现嵌入式系统的时间分析，为双变迁Petri网技术有效地运用于协同设计打下了基础。并基于时间分析算法设计开发了模型的时间分析工具，以便于开发人员自动地分析系统的时间性能。     

跨组织应急业务过程挖掘

对跨组织应急业务过程案例进行分析,给出了跨组织应急业务过程任务的形式化定义及其协作关系的定义,根据跨组织应急业务过程任务间的协作关系定义不同组织间的协同模式;然后,基于扩展消息库所的Petri网模型来描述跨组织应急业务过程模型;给出挖掘组织内业务过程模型和组织间协同过程模型的挖掘算法,最后通过模型集成算法将不同组织的内部业务过程模型和组织间协同过程模型进行合并,得到跨组织全局应急业务过程模型,使用PIPE对模型进行正确性验证。     

一种改进的本体映射方法

为提高本体映射的准确率,提出了一种改进的基于多策略的本体映射方法.综合考虑了本体结构特征和实例映射对本体相似度的影响.通过设计一种＂编码＂的方法,实现对概念节点结构的表述与测量,并在影响范围内利用祖先节点的相似性来判断节点相似性.在初始候选对的选取中,提出一种基于图论的1∶1映射方法.实验结果表明所提出方法提高了检索的查全率和查准率.     

基于能力规划CBP的能力本体的构建

基于能力规划的分析方法，从能力的内涵与外延出发，构建了能力本体，从而为用户方与开发方规范了共同的需求理解，为更好地给技术开发人员建立能力模型，进行语义分析与验证提供良好的基础。     

复杂产品工艺知识的语义本体表达方法

针对知识技术在产品工艺知识资源管理的可用性现状,在分析面向企业协同设计的复杂产品工艺知识多元化特点的基础上,提出一种面向语义的复杂机械产品工艺知识领域本体的表示和构建方法,通过利用本体建模工具建立工艺知识本体的结构模型,并采用描述逻辑语言对工艺知识进行形式化描述。针对不同知识本体间在语义层面上的关联,引入产品工艺知识本体概念间相似度和相关度的语义评价方法,设计了一种面向语义的本体概念集关系度量,进一步对语义本体工艺知识进行检索和聚类,保证了复杂产品工艺知识的集成与共享的实现。     

多源电子目录本体集成技术研究

针对电子商务网站中的商品目录内容各异,没有统一的电子目录标准而带来的异构电子目录的语义互操作问题,对电子目录本体集成研究现状进行了分析,提出了多源电子目录本体集成的流程框架,主要包括本体预处理、本体映射和本体合并3个模块,并给出了电子目录本体映射算法和电子目录本体合并算法。     

一种基于本体服务索引的Web服务扩展方法

传统的获取Web服务的方法是通过关键字匹配,由于此方式在发现潜在语义相符的Web服务时较为困难,越来越多的学者研究如何基于语义检索Web服务。本文设计了一种新的语义匹配模式：基于本体服务索引的服务匹配。通过建立从服务到本体库的索引,将本体库和Web服务库关联成一个逻辑整体。通过UDDI,用户请求会直接发送给推理规则库,在得到服务请求后,通过相应推理规则得到领域本体中与服务请求在一定相似度范围内的类及实例,而后将这个结果集输入到本体服务索引,经过匹配可输出较符合的Web服务结果集。     

改进型MO_CRM模型的研究

针对目前互联网用户习惯使用较为简单的关键字来进行信息检索的现状,文章对用户的检索关键字进行语义扩展,力求检索结果尽可能地满足用户的初衷。利用互信息与本体互补性,建立基于互信息和本体的协同检索模型（MO_CRM）。在MO_CRM模型的基础上,对相关的领域本体的修正与补充进行了更进一步的研究与讨论,得到改进型MO_CRM模型,从而提高了信息检索的查全率与查准率。     

语义Web作为背景知识的本体匹配

提出了一个基于语义网为背景知识的本体匹配模式,即自动寻找和检索各种网络的知识资源得出映射,根据一些关键问题获得可行的模式、提供一个良好性能的匹配方法.采取了一个大规模的匹配为实验背景,检验了以语义网为背景知识的本体匹配模式的可行性、局限性、与其他技术的结合性.实验结果表明以语义Web为背景知识的方法本体匹配的精确度为70%.说明以语义Web为背景知识的本体匹配是对现有技术的补充,并可兼容于其他方法,其匹配的精确度也有了进一步的提高.     

教育语义网中的知识领域本体建模

针对多学科领域知识本体构建难度大和难以普及的问题,提出了适用于教育领域的基于知识工程的本体建模方法,通过确定领域知识的范围,对领域知识进行概念和术语的提取,然后基于分类后的概念集定义层次结构和构建关系模型,构建出完整的本体结构模型.该方法不仅简化了本体建模的过程,还可以使学科领域专家能够独立地开发出学科课程相关的本体.以“统一建模语言（UML）”课程为实例,示范了课程本体开发的过程,验证了上述学科领域知识本体开发方法的可行性．     

基于多Agent的开放本体服务

为了对开放本体进行有效管理,协调不同领域的本体,甚至是同领域的本体的语义差异,给出了一个基于多Agent的本体管理体系MOMA(Multi-based Ontology Management Architecture),MOMA具有以下特点:①Agent通讯实体中包含的概念采用本体方法进行描述,对本体做分层松散的社会性管理。②建立一个动态跨平台的开放本体环境,使得Agent能够获取、共享和管理各种本体资源,也可以对Agent提供按需的本体服务,支持Agent间的协同工作、Agent间的协商、Agent的相互通讯等问题。     

用矩阵实现模糊本体映射

当前的本体映射技术主要是针对明确概念集合的本体,这些技术无法处理语义网上的不确定信息。文中提出了扩展现有本体映射方法来支持不确定信息的本体映射。这种扩展称为模糊本体映射（FOM）,它主要是基于模糊理论和图理论。FOM主要是计算本体的概念之间的相似度所形成的矩阵,并定义了一系列算法来推理模糊本体概念之间的模糊关系。