基于CPN的供应链合约的形式化验证

智能合约的安全性对于区块链在供应链领域的应用尤为重要。目前,大多数对智能合约的形式化验证工作集中于漏洞检测,对于如何在部署上链前生成安全的智能合约的关注仍然比较少,如何有效规范地将特定领域的属性安全地映射为智能合约代码存在难点。因此,提出在编写合约前基于CPN(Coloured Petri Net)对供应链业务逻辑进行形式化规范并构建双层仿真模型,以图形化界面描述交易状态变化,进行形式化验证和状态分析,从而在建模阶段就减少逻辑漏洞。最后,提供了一种从CPN建模语言到Solidity编写的合约的转换方法,以提高智能合约的安全性和可靠性。

基于i-BPMN业务架构的CPN可执行建模方法

BPMN (Business Process Model and Notation)已成为企业业务架构的主流框架标准。但由于其本身存在的局限性,对业务架构描述存在不足,且无法对业务架构的动态特性进行分析,因此,对于现有的基于TOGAF中ACF元模型提出一种完整覆盖业务架构的i-BPMN建模方法进行研究,建立i-BPMN中的四种模型场景过程模型、活动模型、规则模型以及数据实体模型与CPN (Colored Petri nets)的建模语言间映射关系,实现了架构模型组到可执行模型的转化,提出一种基于i-BPMN业务架构的CPN可执行模型五阶段建模方法,方法过程中采用CPN Tools工具对业务架构进行动态仿真分析。最后,以智慧课堂中“课堂小测”的i-BPMN业务架构为例,验证该方法的可行性和有效性。由于映射过程是一一映射的,为模型组到可执行模型的自动转换提供了技术支持｡.

与白蛋白结合的PSMA靶向分子[^(177)Lu]Lu-DOTA-CPN-PSMA的制备及初步显像

本研究开发了一种可与白蛋白结合并在前列腺癌中具有高摄取和滞留的新型^(177)Lu标记放射性药物分子[^(177)Lu]Lu-DOTA-CPN-PSMA,以1,4,7,10-四氮杂环十二烷-1,4,7,10-四羧酸(DOTA)为双功能螯合剂,谷氨酸-脲-赖氨酸(Glu-Urea-Lys)为靶向基团,在小分子抑制剂的连接部位引入白蛋白结合基团4-(对-甲苯基)丁酸(CP)和喹啉环。利用固相合成法合成前体小分子化合物DOTA-CPN-PSMA;采用无载体的^(177)Lu核素进行标记,分别考察反应pH、反应时间、反应温度、投料比等因素对放射化学纯度的影响,确定最佳标记条件;测定标记物的脂水分配系数和体外稳定性;采用22RV1荷瘤小鼠为模型动物进行初步的SPECT/CT显像,并以[^(177)Lu]Lu-PSMA-I&T为对照进行了相关结果的对比。结果表明,在加入稳定剂龙胆酸的情况下,^(177)Lu/PSMA(mCi/μg,1 Ci=3.7×10^(10)Bq)投料比为1∶1~2∶1、反应pH值为3.5~5.5、反应温度为60~94℃、反应时间为5~15 min时,标记物放射化学纯度≥95%,最高可达99%,标记物无需进行进一步纯化;标记物在生理盐水和小牛血清中于37℃放置24 h后放射化学纯度≥95%,体外稳定性良好;脂水分配系数为-2.02,与[^(177)Lu]Lu-PSMA-I&T相比更为亲脂。初步的SPECT/CT研究表明,引入白蛋白结合基团后的[^(177)Lu]Lu-DOTA-CPN-PSMA在前列腺癌中的摄取高于[^(177)Lu]Lu-PSMA-I&T且滞留时间长,72 h后在肿瘤中仍有较高摄取,与此同时,在肾脏中的摄取低于[^(177)Lu]Lu-PSMA-I&T。初步研究结果表明,该标记物值得作为治疗前列腺癌的候选放射性药物开展进一步研究。

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

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

基于CPN的在轨服务概念建模

概念建模是建立仿真系统的第一步。首先介绍了着色Petri网(Colored Petri Net,CPN)的建模基础,其次分析了在轨服务概念及其流程,然后运用CPN-Tools建立了在轨服务的CPN模型,并生成了模型的状态空间报告,分析了模型的回归性、有界性、活性以及公平性。在轨服务概念模型,可以为在轨服务系统及其仿真系统的建立提供参考。

基于赋时CPN的应急空间系统体系结构建模与分析

在分析应急空间系统体系结构概念与运作过程的基础上,建立了应急空间系统体系结构的赋时CPN模型,并描述了模型的组成要素;运用CPNTools的状态空间分析工具分析了应急空间系统体系结构模型的逻辑性,验证了模型的合理性;运用CPNTools对模型进行了多次仿真,依据多次仿真数据并结合gnuplot软件分析了应急空间系统体系结构的性能。

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

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

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

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

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

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

CPN在海上防空建模中的应用

着色 Petri网 (CP-网或 CPN )是一种面向图形的语言 ,用来设计、说明、模拟和验证系统。尤其适用于通信系统等同步和资源共享占有重要地位的系统。在通信协议、分步式系统、嵌入系统、自动生产系统、工作流分析、VL SI芯片等方面都有典型的应用。本文简单介绍了 CPN的发展过程和基本原理 ,重点就

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

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

基于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进行了扩展,在网中增加了变迁的优先级、时间延迟、全程变量等一些概念以满足解决实际应用建模的具体要求.

树状放电的CPN识别方法

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

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

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

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

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

实时自适应交通信号控制CPN建模分析

以单路口交通控制为研究时象,指出了传统单路口控制策略中存在的一些缺陷,提出一种优化的交通信号控制策略:实时自适应控制。按照该策略,采用非固定相序控制方案,并提出了相应相位持续时间的具体算法。然后,建立了实时自适应策略的着色Petri网(CPN)模型,对CPN模型进行静态结构分析和动态仿真分析,检验并确认所提出的策略和算法的可行性;最后,通过建立交通信号控制的评价指标来对该策略进行评价。仿真结果表明,与固定相序、固定相位持续时间的策略相比,该实时自适应控制策略对单一十字路口实现了更为有效和优化的控制。

肺炎衣原体(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的多项目并行调度模型。通过建模实例阐述了模型的仿真分析方法,证明了基于着色Petri网构建多项目并行调度模型的可行性和有效性。