CPN热性能与贮存寿命评估研究

为考核AP1000核电爆破阀中使用的推进剂(CPN)的热性能与贮存寿命,探讨了利用药剂活化能、某一温度点加速试验快速评估贮存寿命的简便方法,利用Kissinger模型与DSC等测试手段,研究了CPN的活化能及热性能,选择75℃、84d,完成了CPN的温度应力加速寿命试验及样品的功能验证。结果表明:CPN具有良好的热稳定性,在常规温度条件下能够安全可靠地应用于AP1000爆破阀,寿命均大于2a。

CPN—TOOLS在装备维修规划中的应用研究

有色petri网(CPN)理论是对离散事件动态系统(DEDS)进行建模的有利工具,针对装备维修保障系统的特点,将CPN理论引入装备维修保障系统的建模与仿真,应用CPN对该系统进行建模,并利用CPN—TOOLS对模型进行仿真,针对一个假定条件提出了维修人员方案的合理配置。

一种基于Q学习的LDoS攻击实时防御机制及其CPN实现

针对低速率拒绝服务攻击具有隐蔽性高、难以检测和及时响应的特点,提出了一种基于Q学习的LDoS攻击实时防御机制.该机制以终端自适应控制系统为保护对象,周期性地提取网络攻击特征参数,将其作为Q学习模块的输入参数,由Q学习模块进行最优防御的选择,优选出来的防御措施交与系统端执行.防御措施基于动态服务资源分配,根据系统当前运行状态对服务资源进行动态调整,从而保障正常服务请求的响应率.最后使用着色Petri网结合BP神经网络对攻击和防御过程进行了建模和仿真,结果表明:该方法具有较好的实时性和较高的灵敏性,能够对LDoS攻击行为进行实时响应,显著提高了系统防御的自动化程度.

肺炎衣原体(Cpn)诱发肺癌大鼠模型

目的初步探索肺炎衣原体(Chlamydia pneumoniae,Cpn)诱发大鼠肺癌模型的建立。方法应用多次气管内注入Cpn菌液(TW-183)的方法试制肺癌大鼠模型,微量免疫荧光(microimmunofluorescence,MIF)法检测大鼠血清中Cpn特异性抗体,PCR检测肺癌组织中Cpn-DNA,酶联免疫法检测肺癌组织中Cpn特异性抗原。结果单独Cpn感染组Wistar鼠的Cpn感染率为72.9%(35/48),Cpn感染联合苯并芘(benzopyrene,Bp)组的Cpn感染率为76.7%(33/43),两组的肺癌发生率分别为25.0%(12/48)和44.2%(19/43),与正常对照组相比,P值分别为0.001和0.000。结论 Cpn感染诱发大鼠肺癌模型的建立是成功的,有助于肺癌的防治及其发病机制研究。

基于CPN的通信装备战场抢修系统效能优化

介绍了有色Petri网的基本理论及其仿真工具--CPN Tools,描述了通信装备战场抢修的一般流程和相关参量,建立了战场抢修系统的有色Petri网模型,并对实例进行了仿真实现。通过对原方案的结论分析提出了战场抢修系统的改进方案,并最终实现了系统的效能优化,从而证明了该通信装备战场抢修系统模型具有科学性和实用性。

优先级Petri网的CPN Tools仿真模型研究

优先级概念的引入,增强了有色Petri网的描述能力,但同时也导致了重复开发相似的仿真工具,造成了极大的浪费。通用的有色Petri网仿真工具CPN Tools支持功能强大的元语言(ML),扩展性比较强。在CPN Tools中利用反库所(anti place)、列表(list)和元语言(ML)等方法建立了变迁、库所和托肯三种类型优先级Petri网的仿真模型,并通过示例表明了方法的有效性,这对于优先级Petri网的仿真具有重要意义。

基于CPN的城市智能交通信号控制系统建模

提出了一种城市交通控制系统的分布式结构及控制策略，介绍了CPN(Colored Petri Nets)的基本概念及建模特性，着重探讨了借助CPN建模技术对城市智能交通信号控制系统进行的建模分析。

一种基于CPN的协议测试序列生成方法

针对状态空间规模较大的协议,提出了一种基于着色Petri网CPN(colored petri net)、面向属性的协议一致性测试序列生成方法。首先,构建被测协议规范的CPN模型,即协议模型,并将被测协议的若干功能属性采用CPN进行形式描述,形成属性模型。提出了属性模型到协议模型的状态投影算法、模型状态空间的路径匹配算法和搜索算法,基于这些算法给出了一种完整的基于属性的测试序列生成方法。该方法不但可以有效避免协议规模庞大所导致的状态爆炸问题,而且还对测试中的PCO库所进行了特殊标识,完成测试序列中可观察元素的自动提取处理,使得处理后的测试序列可直接用于协议实际测试过程。为有效验证所提测试序列生成方法的可行性,开发了一套实现该方法的软件,并应用于HMIPv6协议的实际测试过程中。实践表明,这套软件可以对较为复杂的协议一致性测试过程提供强有力的支持。

基于CPN的联邦概念模型形式化建模与验证(英文)

提出了基于着色Petri网(CPN)的联邦概念模型(FCM)形式化建模与验证一体化方法。这种方法的提出主要基于下面两点:一是形式化的FCM与用自然语言描述的模型相比具有更完整、更准确和更规范的特点;二是形式化模型的验证需要专门的工具辅助完成。以一个简单的制造系统为例,采用CPN语言建立了该系统的形式化概念模型,利用辅助软件工具CPN Tools完成了该联邦概念模型的仿真和验证。应用研究表明,着色Petri网有助于描述联邦中各实体的行为和关系,CPN Tools辅助工具实现了形式化模型建模、仿真和验证的一体化过程。

基于CPN的复杂装备系统维修任务建模仿真研究

在分析了复杂装备系统维修任务的概念、研究了维修任务与维修资源之间的相互关系后,构建了复杂装备系统维修过程的着色Petri网(CPN)仿真模型。建立了维修任务之间逻辑关系与CPN模型初始托肯的转换规则,提高了模型结构的稳定性。最后,通过案例验证了模型的正确性和有效性。

基于Agent和CPN的Web信息传播系统建模研究

Web信息传播问题的复杂性是系统宏观结构和微观个体行为两方面因素共同作用的结果。在分析Web信息传播建模难点及解决思路的基础上,研究了将基于Agent的仿真方法和Petri网的描述机制相结合,利用Petri网擅长描述系统的整体逻辑结构和动态特性的优长,将Agent对系统个体特性和交互规则的仿真溶入到着色Petri网(CPN)描述的系统动态行为之中,使仿真分析和逻辑结构分析结合起来,对解决类似的复杂社会系统仿真提供一种新的思路。

CPN原理及其在人工智能中的应用

1 引言 Petri网理论是由联邦德国的Carl Adam Petri于1962年在其博士论文中提出的一种建模方法.最初的网理论称为条件/事件网(CE-nets).在随后的几年中,人们对新的网模型、网的基本概念及分析方法等进行了大量的研究.其中最有影响的是位置/变迁网(PT-nets),PT-nets后来命名为Petri网(Petri Net).这些早期的网模型在理论上都归结为基本网(EN-nets).研究者通过对PT-nets进行了扩展,在网中增加了变迁的优先级、时间延迟、全程变量等一些概念以满足解决实际应用建模的具体要求.

基于CPNs场景模型的测试用例生成技术研究

将用例场景引入面向对象的软件测试中,有利于测试设计者设计测试用例。将着色Petri网(ColoredPetriNets,CPNs)模型直观可靠的特点和较好的耦合性运用到UML用例场景的描述中,进一步给出了CPNs场景模型的集成算法,并运用变色标记捕获UML规约中的场景及更多新增的场景。同时探讨了基于CPNs场景模型的测试用例生成方法。

CPN在导航装备维修保障效能中的应用

有色Petri网(CPN)作为目前离散动态系统建模中最活跃的建模工具之一,不仅有充分的模拟能力和丰富的分析方法,还便于使用和理解。首先介绍了有色Petri网的一些基本知识,然后运用有色Petri网的建模理论对导航装备维修保障系统进行了描述和建模,并运用Design/CPN对具体实例进行了仿真实现,其维修保障效能结论证明了建模思想的可行性。

基于CPN的嵌入式RTOS任务调度建模

针对有色Petri网(CPN)在并行、并发、资源共享描述上的适用性,将其引入到嵌入式实时操作系统(RTOS)建模中,解决了RTOS任务调度模型中的CPU独占表述、优先级排序、抢占时间处理和周期任务实现问题。对一个优先级抢占式任务调度实例建立CPN模型,结果表明该模型能有效反映RTOS系统的动态特性,准确定量模拟出RTOS系统的效率、切换频率指标。

复杂装备维修项目风险评估与控制CPN模型

复杂装备维修工程范围广、周期长,易产生安全、质量、进度及费用风险。为解决维修工程整体风险评估问题,通过定义维修单元任务,明确了维修工程整体风险评估建模需求和模型框架;建立了单元任务风险仿真以及单元任务逻辑关联的CPN模型;构建了以单元任务风险评估值为输入的工程整体风险仿真CPN模型。应用该模型,进行了柴油机中修风险仿真评估及控制分析,操作过程及仿真结果说明了模型的正确性。

树状放电的CPN识别方法

电力变压器发生击穿之前会在固体绝缘材料上产生树状放电通道 .若能检测到树状放电信号 ,则可以断定变压器绝缘状况已经恶化 ,因此在线监测中对树状放电的检测具有十分积极的意义 .在实验条件下对在线监测中树状放电的识别进行了研究 .建立了变压器绕组模型和树状放电产生电路 ,模拟了在绕组不同部位发生树状放电的情况 .通过CPN型神经网络的引入 ,成功地实现了在一定噪声水平下树状放电的识别 .同时 。

基于HTCPN的胃癌诊疗路径建模与应用

为建立随病情发展而变化、满足患者体质和需求的诊疗路径,采用分层赋时着色Petri网(HTCPN)进行胃癌诊疗建模分析。利用Petri网时间分析算法和成本分析算法,对并行方案评估对比,获得最终临床路径。通过模拟不同身体状况、不同需求的患者,自动生成了各阶段诊疗方案,并与真实病历基本吻合,可以为胃癌诊疗提供有效的决策支持。

肺炎嗜衣原体Cpn0147重组蛋白的免疫学活性研究

目的研究Cpn0147重组蛋白的免疫学活性及其应用于肺炎嗜衣原体(Cpn)感染临床诊断中的价值。方法采用GST琼脂糖凝胶纯化目的蛋白,将Cpn0147重组蛋白免疫新西兰兔,分别应用Westernblot、ELISA法检测其免疫反应性及免疫原性,同时通过检测临床标本以评估其诊断价值。结果成功表达并纯化了相对分子质量约41×103的重组蛋白GST-Cpn0147;Westernblot和ELISA结果显示,该重组蛋白具有良好的免疫反应性,动物实验结果表明该重组蛋白具有较好的免疫原性,ELISA结果显示该重组蛋白免疫新西兰兔血清抗体效价为1:12800。结论 Cpn0147重组蛋白具有较好免疫学活性和特异性,可为Cpn感染的确诊、预防研究奠定基础。

基于自适应CPN的规则自学习模糊控制器设计

基于扩展Ｋｏｈｏｎｅｎ的自组织映射和Ｇｒｏｓｓｂｅｒｇ的竞争算法，得到了一种高度自适应的双向对传网络（ＣＰＮ），并给出了一类基于此类网络的模糊控制器．根据经验知识对网络离线学习，确定基本的控制规则，利用在线学习算法，实现了规则的自学习．在此算法中，控制器能够自动确定满足控制要求所需规则的个数，并且根据控制目标能够自动获取和校正控制规则．