基于随机着色Petri网的RUDP协议建模与分析

鉴于运输层传输协议TCP的低效率和UDP的不可靠性,文章提出了一种新型的多帧无线传输RUDP协议,同时引入了广义随机着色Petri网(GSCPN),并利用GSCPN对本RUDP进行了建模和分析,为以后更好地研究RUDP协议提供了模型参考.     

扩展着色Petri网为多Agent会话建模

在多agent系统（Multi-Agent Systems,MAS）中,会话是agent间进行交流与合作的最有效也是最直接的信息交流方式。为实现一个特定的目标或完成一系列任务而启动的一次会话中可能会用到多个协议与多个agent进行交互。已有不少方法对agent的单个交互协议进行建模,但单个交互协议的模型不足以表达出一个会话的主题框架。而扩展着色Petri网以其多维立体的形式完整地表示了一个会话,使得会话主题鲜明,结构清晰,可扩展性强。     

基于时间着色Petri网的OpenFlow协议建模研究

介绍了Hierarchy CPN的相关定义,然后对OpenFlow协议进行了基于时间着色CPN建模.在建模过程中,详细考虑了Token Colour的选取与相关变量的定义,并考虑了时间属性,针对建模的性能进行了分析.执行上述模型并进行验证分析,得出变迁发生次数与所需时间基本符合稳态分布这一事实,满足预期的要求.对所构建模型进行自定义查询分析,依据模型活性、死锁、可达性等特性构建相应的抽象路径,用于指导抽象测试例的生成.     

基于着色Petri网的QoS驱动服务合成建模及应用

本文的主要工作是提出了QoS驱动的理念，并且利用经过改造的着色Petri网模型对这个系统进行建模和分析，最后利用着色Petfi网的软件工具（CPN Tools）绘制系统模型。     

基于赋时着色Petri网的协同工作建模和性能研究

提出了利用赋时着色Petri网(Timed Colored Petri Net)对协同工作进行建模和性能分析的方法;从性能角度提出一种新的协调策略,即从任务动态分配的角度对协同性能进行分析,并比较了各种资源优化分配的不足之处;提出利用模糊策略的方式,按照协同成员(组)的不同能力,在满足完成时间的要求下进行任务分配,从而达到了整体协作性能提升的效果．同时,用Deisgn／CPN对该策略进行了仿真分析,其结果证明了该方法的有效性和可行性．所提的调度策略已在CooPDesigner系统中得以实现．     

基于着色Petri网的协调策略建模研究

提出了一种基于着色Petri网（CPN）的协调策略描述方法,在介绍CPN基本构成的基础上,对计算机支持的多层次协同工作系统（CSMMCW）中的协调策略进行了建模。利用CPN,对组间和组内协同工作,通过建立任务执行工作流和CPN之间的映射关系来准确地描述各种协调策略。文章举例具体说明了如何建立组内协调策略的CPN模型,并对该模型进行了仿真。仿真结果表明,该模型能够有效地描述在协作过程中的动态行为,利于分析和验证,并且易于实现。     

基于着色Petri网的工作流模型研究与应用

建模是工作流技术中的核心工作,也是工作流技术中的一个重要研究内容。文章介绍了着色Petri网和着色工作流网(CWF-nets)的相关概念,给出了一种分析CWF-nets的正确性的极大变迁序列方法,并通过对一个项目金额申报业务流程的建模和分析,验证了基于CWF-nets模型的正确性。     

基于CPN的小灵通业务建模及在业务冲突的应用

运用着色Petri网建模分析工具CPN Tools对小灵通彩铃和双振业务建模,提出分层网络结构,将电信网络以网元为基础建模。通过对模型结构和网元参数的调整将多个业务集成,为电信业务的建模和检测业务冲突提供了一种方便和快捷方法。     

基于着色Petri网测试用例的自动生成

针对基于UML的面向对象程序设计方法及着色Petri网的特点,提出了一种基于着色Petri网的测试用例生成方法,该方法将UML的时序图描述转化为着色Petri网的形式化描述,通过深度优先遍历着色Petri网找出系统的测试路径,对给出的测试数据采用爬山法进行测试用例的选择,最后,根据路径覆盖的原则产生完整的测试用例．     

基于着色Petri网的电子商务工作流建模

用基本Petri网对电子商务工作流建模,往往会因为细节过多而使其图形复杂.提出了一种基于着色Petri网的模型,给出了针对电子商务中网上购物系统的建模过程并进行了结构合理性的论证.应用结果表明,通过着色Petri网建模可以使得库所和变迁的数量都大为减少,使图形更加简约.     

基于案例推理的小麦叶面积指数估算研究

小麦叶面积指数是评价其长势和预测产量的重要农学参数,为了提高小麦叶面积指数的估算精度,本文提出了一种基于案例推理的小麦叶面积指数估算方法。利用小麦的10种植被指数,首先建立小麦叶面积指数的统计回归估算模型;然后使用基于案例推理的方法对小麦叶面积指数进行估算。实验结果表明,基于案例推理的方法相对于统计回归模型,提高了小麦叶面积指数的估算精度。说明基于案例推理的小麦叶面积指数估算方法是一种有效可行的方法。     

基于案例推理的金融操作风险预警系统

针对案例推理方法和金融操作风险的特点,研究了基于案例推理的金融操作风险预警系统的组成功能、框架结构和工作原理,提出用二元组或三元组来描述案例和关系数据库存储案例,用聚类方法优化案例库索引和最近相邻法检索,最后分析了案例的调整方法和学习策略．     

基于事例推理短期负荷预测方法的改进

针对基于事例推理（CBR）短期负荷预测中的事例库组织，提出第一级按不同的时刻和星期类型粗分类、第二级按照模糊聚类方法细分类的二级分类方法，可以很好地实现不同预测环境之间的相似性和相异性；针对事例的检索，提出模糊优先比的定量属性检索方法，按此方法进行检索不但可以提高检索效率，还可以对检索过程进行控制．实际算例表明，以此方法进行负荷预测的周平均相对误差为2．620%，低于一般的CBR方法和单一预测方法．     

滚动轴承故障诊断的案例推理方法

针对滚动轴承的故障诊断问题,提出了一种采用案例推理(CBR)的诊断方法.为了解决检索相似案例时案例属性多、人工确定关键属性及其权重困难的问题,提出了一种Filter/Wrapper复合型特征选择算法,用邻域粗糙集算法粗选属性,用遗传算法进一步精选属性和优化权重,并有效地解决了邻域粗糙集算法中需要人工确定邻域大小的问题.以滚动轴承运行时的振动信号为基本信息,建立了滚动轴承案例库,从案例库中检索与问题案例相似的历史案例,并根据这些历史案例来判定问题案例的故障类别.试验结果表明,故障诊断的正确率达到100%,故障位置诊断的正确率达到93.3%,且算法具有较好的稳定性.     

基于案例的推理技术在故障诊断中的应用

将航天器故障诊断系统中的预案设计与基于案例推理的故障诊断技术相结合,提出了基于预案设计的故障诊断思想,给出了预案的规范化定义,并以某卫星能源系统故障模拟试验台为对象,对诊断模型进行了验证,为解决航天器故障诊断系统知识不足的问题作了新的尝试.     

案例推理在冷轧建模中的应用

对冷轧生产中负荷分配方法的现状进行了分析,利用人工智能技术,结合冷轧的实际生产过程和工艺特点,从系统结构和软件实现两方面对冷轧负荷分配模型进行了研究,建立了基于案例推理的冷轧负荷分配模型,经现场实际数据证明所建模型更符合实际轧制情况,提高了冷轧负荷分配建模体系的求解效率和求解质量,为人工智能技术在实际生产中的应用提供了新思路。     

基于案例推理的湿法冶金全流程优化设定

湿法冶金全流程具有工况多变、强耦合、非线性等特点,基于机理模型的过程优化控制通常求解困难且难以适应工况变化.为此,提出一种基于案例推理的全流程优化设定方法.由于湿法冶金各生产工序之间存在紧密耦合,运行参数彼此关联,这些关联关系表现为各工况运行参数和各调整变量的优化设定值之间的关系.因此,通过对历史数据进行关联规则挖掘,寻找各运行参数和操作变量的优化设定值之间的规则,将挖掘的规则用于案例修正环节,以解决案例修正中规则难以获取的问题.仿真实验表明,该方法可以提高湿法冶金全流程的经济效益.     

基于神经网络的案例推理医疗诊断

在医疗诊断中,案例推理是一种有效的思维方式,但在实际应用中,存在许多难点,如大型案例 案例的表示和相似案例高效检索问题,结合前向神经网络的特点,来实现案例检索,为减少多层前向网络进行局部极小的机会,改进网络的性能,提出了神经元和前向神经网络集成,构成一种增强型神经网络结构,数学和仿真证明这种网格能减少进入局部极小的机会。此外,借助于数据库技术和多级索引方法,设计了一个医疗诊断专家系统,结果表明上述     

有色Petri网在软件开发中的应用

为了提高软件开发的质量,尽量在编写代码和执行软件系统之前找出错误,减少软件开发的费用,在软件开发的过程中引入了既有形式化的描述方法又有图形表达能力的工具有色Petri网.在介绍了有色Petri网的形式化定义及其图形表示后,提出了引入有色Petri网后的软件开发框架,最后介绍了一个应用实例.