基于修正CPN模型的模糊预测控制

本文通过修正 CPN模型 ,提出了一种模糊多步预测控制算法。该修正模型采取竞争输出方式 ,具有局部表示特性。在线学习 ,只需调整少量参数 ,所以学习速率快 ,可在线自组织建模。基于修正模型推导出的控制算法 ,简单 ,具有在线自适应性 ,适于解决非线性时滞问题。仿真结果证明了算法的有效性。

基于CPN模型的REST服务架构标准特征验证方法研究

当前REST服务架构广泛应用于大规模、可扩展的分布式Web系统中,若应用REST服务架构时不遵循其标准特征,则可能导致基于REST服务架构的Web系统出现性能下降、可扩展性低等问题。因此,实现基于REST服务架构的Web系统前,需要对该系统设计是否满足REST服务架构标准特征进行验证,以提升基于REST服务架构的Web系统的研发质量。提出一种基于CPN模型的REST服务架构标准特征验证方法,即对REST服务架构的五个标准特征约束进行CPN建模,并使用模型状态空间执行路径同步匹配的验证方法,以应用系统的CPN模型和标准特征约束的CPN模型为基础,对模型状态空间中的各自执行路径进行同步匹配,若路径可同步执行完毕,则说明该应用系统满足该REST标准特征约束。以基于REST服务架构的课程管理Web系统为例,验证上述方法的可用性和有效性。实验结果表明,本文所提验证方法可以有效确认基于REST服务架构的Web应用系统设计是否符合REST服务架构的标准特征约束,并在不符合标准特征约束时提供直观、可行的执行数据,便于后续完成应用系统设计缺陷定位及修正。

基于修正 CPN 模型的多变量模糊预测控制(英文)

通过修正ＣＰＮ模型，提出了一种多变量模糊模型，并基于该模型推导出相应的模糊多步预测控制算法．修正模型采取竞争输出方式，具有局部表示特性．在线学习，只需调整少量参数，所以学习速率快，可在线自组织建模．基于修正模型推导出的控制算法，简单，具有在线自适应性，适于解决多变量时滞问题．将此控制算法用于造纸过程，仿真结果证明了其良好的控制效果．

有色Petri网模型中死标志合理性分析与验证

针对使用CPN Tools对系统进行建模仿真得到的状态空间报告中出现的死标志是否会影响系统的安全性和模型的正确性进行了研究,提出了一种基于ASK-CTL及模型检验理论的死标志合理性验证算法。该算法采用模型检验技术通过ML语言编辑相关功能函数使用非标准状态空间查询法,进一步分析与研究CPN Tools仿真状态空间报告中出现的死标志,通过验证死标志存在的合理性来确保所建立CPN模型的准确性与系统的安全性。最后,以电梯门系统为例,使用CPN Tools建立电梯门系统的CPN模型,证明了算法的有效性。

舰载指挥控制系统与作战任务匹配分析模型及仿真

对舰载指挥控制系统与作战任务进行匹配分析,是舰载指控系统正确合理使用的前提和依据。本文利用有色Petri网(CPN)建模工具,得到舰载指控系统和作战任务模型,在此基础上,建立了舰载指控系统与作战任务匹配分析模型,最后利用CPN Tools进行仿真计算,得到舰载指控系统与作战任务匹配分析结果。

型砂质量在线检测与控制模型的研究

型砂质量的在线控制基于两大基本前提:1.实现型砂性能的自动检测;2.寻找并建立型砂成分与性能之间的相互关系.为此,常规试验中既能反映型砂成分变化又适于在线快速检测的紧实率、水分、砂温、透气性与壁裂强度五性能被选作为在线检测项目.文中详细讨论了型砂性能在线检测仪的研制过程、诸项目的检测原理以及仪器所能达到的检测精度.由于采用了80C552微处理器的控制,本仪器可在1min内完成全部五项目的检测与结果的打印.以此为基础,本文进一步探讨了利用人工神经网络(ANN)原理建立型砂制备这一非线性系统中成分与性能相互关系的原理与具体实现过程.研究表明,采用由非线性变换单元组成的前馈网络(B一P网络)方法建立的型砂成分与性能关系的网络模型(CPN),可用于型砂的预测,且预测精度高于由传统的回归方法建立的模型,从而为实现型砂质量的在线控制打下了基础.

一种计算机网络对抗战术情报的生成模型

情报提供及时、完整、准确的对抗态势,使得作战的指挥决策者能顺利完成决策任务。情报生成是保证情报质量的关键,现有计算机网络对抗缺少独立的情报生成系统。基于着色Petri网,为计算机网络对抗的战术情报提出一种生成模型。明确计算机网络对抗的作用对象及情报外延,形式地定义情报生成活动及过程,在此基础上建立战术情报生成的CPN模型。该模型通过CPN Tool 2.2进行仿真和分析,验证了该模型提供的情报生成过程的计算可行性和有效性,为相应的软件系统设计提供依据。

CPN建模与on-the-fly方法相结合的测试用例生成

在对复杂的软件系统进行测试时,生成的系统状态空间可能会非常庞大.为了避免对整个状态空间进行遍历,提出将on-the-fly方法与CPN形式化建模方法结合起来,用于生成测试例.在这种方法中,无需对整个状态空间进行遍历,只是仅对测试人员感兴趣的部分状态空间进行针对性的测试.首先,给出CPN和扩展可达图的定义,介绍了on-the-fly测试方法中涉及的相关概念,包括系统规约、测试目的、同步乘积和测试例等.然后,实现了同步乘积算法,并设计相关测试例对其进行了测试.最后,选定一个被测系统示例CPN建模与on-the-fly结合的方法,并通过适配器实现与被测系统的交互,生成和执行测试例,由此验证了方法的可行性和有效性.

动态使命环境下指控资源动态规划组织的仿真研究

指挥控制资源动态规划组织(TAC2O)是一个面向特定作战使命环境灵活构建的指挥控制组织。提出了TAC2O的概念和性能评价仿真框架。针对作战环境下TAC2O组织性能分析对时间要求的紧迫性,在CPN模型中引入了控制变量的概念,将TAC2O组织的各种参数以及使命任务之间的逻辑关系采用初始标识进行描述,建立了在动态使命环境下能够保持模型结构不变的TAC2O组织仿真模型。研究了一套使命任务之间逻辑关系到CPN模型中控制变量初始标识的转换规则,最后用实例验证了模型的可行性和正确性。

COPS协议的形式建模与安全性分析

在基于政策的网络管理体系中,COPS协议是政策决策点和政策执行点之间信息交换的协议。在对该协议进行分析的基础上,针对协议的安全机制,构造其着色Petri网模型并进行仿真,验证了该协议的安全性。最后通过模拟网络传输中出现的入侵行为,并分析由此导致的结果,发现了COPS协议存在的安全缺陷,为进一步完善该协议提供了根据。

云环境下的程序运行性能自适应模拟方法研究

针对Julia程序运行的时限约束,提出一种基于有色Petri网的程序运行性能自适应模拟方法。面向特定领域构建适应底层计算资源特点的工具库,抽取针对Julia语言的计算原语;程序员通过Julia语言实现原语,动态选取领域工具,适应运行时限约束。结合图像对象识别案例,构建Colored Petri Net模型,借助CPN Tools工具模拟运行,自动优化备选方案。模拟实验表明,基于工具库的性能标定,CPN模拟得到的工具库映射方案接近最优。

策略驱动的自配置系统形式化建模及分析验证

使计算机系统具有自主配置的能力,可以解决复杂系统面临配置管理难度高和强度大的问题。本文针对策略驱动的自配置系统的配置问题,提出采用CPN建模技术对该类系统进行建模、分析与验证,保证系统自配置过程的正确性;分析了策略驱动自配置系统的基本结构,构造出该类系统的CPN模型,引入CTL的扩展——ASK-CTL描述系统配置过程中具备的性质;最后用CPNTools2.2.0进行仿真与验证。

空间信息获取系统建模与分析

分析了空间信息获取系统概念和运作过程,建立了空间信息获取系统的SysML模型以及赋时CPN模型;通过CPN Tools状态空间分析工具,验证了空间信息获取系统的逻辑性;运用CPN Tools对模型进行仿真,依据仿真数据分析了空间信息获取系统的性能,并给出了空间信息获取系统的改进建议。

混合推理的海上作战任务与资源匹配分析

为提高海上作战筹划和指挥能力,以训练数据为基础,基于CPN建模和K2算法,形成了案例推理和贝叶斯推理相结合的混合推理策略,并提出了基于混合推理的海上作战任务与作战资源匹配分析方法和实施步骤,最后给出应用实例。提出的方法操作简单,通用性强,为海上作战中资源使用分析提供了一种新的思路和方法。

过程角度的CPN工作流模型

工作流管理联盟定义过程角度的CPN工作流模型是由顺序、并行、选择和循环路由组成。利用CPN-Tools创建这四种基本路由图,然后以经典的哲学家就餐为例建立模型,对模型中用到的颜色集及变量进行声明,并分析模型中使用到的路由。最后得出从过程角度中的CPN工作流模型具有加快建模速度的优点。