一种Petri网结合遗传算法的优化方法及应用

根据实际优化问题，在时间Petri网和着色Petri网的基础上，提出了一种新的扩展Petri网（EPN）模型，并在EPN中定义了条件矩阵Q，给出了Petri网与遗传算法相结合的优化方法和具体算法，使用本优化方法，对一个车间作业（Job-shop）调度问题进行了求解，建立了该Job-shop调度的EPN模型，并采用单个体遗传算法对Petri网模型进行优化，结果证明了该建模和优化方法的有效性和正确性。     

PDM系统中工作流与过程管理模型的建立

介绍了PDM系统中工作流和过程管理的功能和组件层次,探讨了工作流管理系统的体系结构和工作流过程管理的模型,给出了工作流实现的类模型,研究了工作流和过程管理的关键技术并给出具体的实现方法.将着色时间Petri网引入到PDM的工作流管理系统中,将基于Petri网的并行式工作流模型应用于PDM系统中,用可达图来分析Petri网工作流模型的静态和动态的结构性能,给出了审批流程的着色时间Petri网模型和流程的变迁过程,在最后的实例中说明了工作流管理的具体实现和工作流的执行过程.     

一种Petri网结合遗传算法的优化方法及应用

根据实际优化问题,在时间Petri网和着色Petri网的基础上,提出了一种新的扩展Petri网(EPN)模型,并在EPN中定义了条件矩阵Q,给出了Petri网与遗传算法相结合的优化方法和具体算法.使用本优化方法,对一个车间作业(Job-shop)调度问题进行了求解,建立了该Job-shop调度的EPN模型,并采用单个体遗传算法对Petri网模型进行优化,结果证明了该建模和优化方法的有效性和正确性.     

SoC及其IP核的设计与其在通信中的应用研究

提出现代集成电路技术中的SoC及其IP核的设计方法，在分析SoC的特点及其IP核的基本特征的基础上，给出了系统级设计软件、IP核开发流程和关键技术，并将其应用于NGN中综合业务接入系统的具有自主知识产权的集成电路设计中．     

信息物理融合系统的面向对象Petri网建模

从多Agent系统的角度,以面向对象Petri网为语义基础,建立了一种信息物理融合系统体系结构模型,将系统抽象为传感器节点Agent、执行器节点Agent和控制器节点Agent．该体系结构模型利用面向对象Petri网形象、无歧义地刻画系统的整体和个体特性,描述系统的静态和动态语义,同时可利用Petri网的数学分析方法和支持工具对系统进行模拟、分析和验证,检测系统开发早期存在的错误,提高系统的正确性和可靠性．利用信息物理融合系统体系结构模型对目标跟踪系统的建模、分析与实现表明,信息物理融合系统体系结构模型可以有效地辅助系统的设计与开发．     

着色Petri网在信任协商中的应用研究

自动信任协商是一种在陌生者之间通过双方不断迭代披露数字信任证书,从而建立信任的一种方法.提出了一个基于着色Petri网的自动信任协商模型,给出了着色协商Petri网的定义及关系范式映射到着色Petri网的方法,在此基础上阐述了模型的构建方法,给出一个建模实例并进行分析.     

基于嵌入式开发平台的蓝牙基带数据处理IP核的设计

基于SoC技术的嵌入式系统开发平台ESP的IP核接口,设计了蓝牙基带IP核;给出了支持功能裁减的蓝牙基带模块划分;作为ESP的无线通信功能,实现了蓝牙基带的数据处理IP核。最后,通过Modelsim功能仿真,对IP核进行了验证。ESP基于IP核无线通信功能的实现,表明借助于开发平台的SoC接口,利用IP核进行系统功能拓展,能够有效地降低嵌入式系统研制的复杂性。     

智能网业务中的Petri网建模及验证方法

在分析设计智能网业务的基础上提出了一种智能网业务逻辑的规范描述，将其中涉及并发、同步等的描述转化为Petri网模型，探讨了在该模型上的验证方法，并给出了一个应用该规范和模型的例子．     

基于着色Petri网的Web服务组合建模

用经典Petri网对Web服务组合建模,其令牌类型的单一性不利于对模型的理解.针对这种不足,提出了一种基于着色Petri网的建模方法,给出了Web服务网系统结构的静态和动态特性,而且还给出了一个用着色Petri网建模的实例.应用结果表明,利用着色Petri网建立的模型具有较强的解释性和扩展性.     

Petri网在时序建模中的应用

本文提出了一种对离散事件系统进行时序建模的TL／PN（时序／Petri)方法。文中描述了点－区间时序逻辑的形式定义体系,以及基于图模型（把系统的时序特性转化为图结构）的时序推理机（TIE）的原理和应用。本方法不仅可避免传统设计中的时序歧义和错误,同时推导出的新的时序关联还能识别用户自定义的有用区间。     

一种针对SoC的嵌入式系统软/硬件协同综合算法

嵌入式系统是软件和硬件共存的系统,多数功能部件可以由软件来完成,也可以由硬件来完成,为了综合考虑系统功能和多项性能指标（如成本、硬件面积、功耗和时间性等）来合理划分系统,提出了一种针对SoC的嵌入式软/硬件协同综合方法,建立了对应的数学模型,将嵌入式系统软/硬件协同综合问题转换成为有向图中求最优路径问题,并用条件遍历法得出整个解空间上的可行解。本方法能够同时评价多项性能指标,融入了SoC设计IP核与软件构件重用的思想,是一种自动方法,克服了传统方法的缺陷。通过一个PDA手机平台音频和视频发方系统的实际例子证明了本方法的实用性和有效性。     

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

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

基于IP-XACT标准的SoC集成方法

为了提高SoC集成设计效率,构建基于IP-XACT标准的CKSoC（C-SKY SoC）设计集成平台.采用自底向上的集成策略,通过IP/子系统两层复用和软硬件资源复用,依次从IP级、SoC核心系统级和SoC芯片级3个层次逐步细化完善系统平台,生成3个不同的平台：RTL仿真平台、FPGA原型仿真平台和门级网表逻辑综合环境,可以显著地提高SoC设计集成效率.双核SoC芯片设计实例展示了CKSoC设计集成平台使用与分析方法,证明了CKSoC设计集成平台的高效性与可行性.     

一种基于描述逻辑的构件检索匹配算法

在基于刻面的描述方法基础上引入描述逻辑作为知识表示的形式化方法,来描述用户复用需求和构件,从而使二者能够在语义层面上进行匹配。提出了一种基于描述逻辑的构件检索匹配算法,用该算法计算出一个实数值来表示用户复用需求与某一构件的匹配度,以便帮助复用者在构件库中选择合适的构件。     

嵌入式系统开发平台IP核接口层的设计

针对基于SoC技术的嵌入式开发平台应用层中IP核的复用问题,提出了支持IP核开发/复用的总线接口设计思路,并将IP核的SoC总线接口作为嵌入式系统开发平台ESP的一个层次予以实现。通过IP核之间点对点的连接方式,阐述了IP核总线接口的设计原理,并将IP核总线接口内部结构划分为协议转换、数据处理和优先级仲裁3个模块,使其能方便地移植到不同规范的SoC接口。最后以USB设备控制器IP核和AMBA总线为实例,验证了基于该设计思路实现的IP核接口层功能的适用性。     

基于Petri网的企业科技项目管理工作流建模

科技项目管理是企业信息系统的重要组成部分，利用Petri网，对复杂的科技项目管理工作流程建模，解决企业信息化中较为复杂的科技项目管理工作流问题。同时，以企业科技项目申请流程为例，给出了相关定义，分析和解决设计流程中遇到的几个问题。     

基于Petri网的安全工作流管理系统模型

访问控制是信息系统的一个重要安全保护机制,主体只有在被授权时才能对客体进行访问。应用有色时间Petri网对安全工作流模型进行了描述,并结合读/写安全策略对动态授权机制进行了应用分析。应用基于有色时间Petri网的工作流模型可以降低数据误用的危险性。