CPN

摘要： 目前,列控系统测试序列大多由人工编写而成,在测试项的有效性和测试案例覆盖的全面性等方面存在较多问题.针对传统蚁群算法收敛速度慢和易发生停滞现象等缺点,提出一种基于改进蚁群算法(Modified-Ant Colony Optimization,M-ACO)的测试序列优化生成方法,以RBC单电台切换场景为例,根据CTCS-3级列控系统技术规范构建RBC切换有色Petri网(Colored Petri Net,CPN)模型,由该模型生成状态空间可达图和可扩展标记语言(Extensible Markup Language,XML)文件,采用路径搜索算法生成满足全节点覆盖的测试案例集,根据各测试案例的开始条件和结束条件将测试案例串联后生成测试序列,再应用M-ACO算法生成优化测试序列.最后与序列优选算法及传统蚁群算法进行对比,结果表明:该方法降低了测试的复杂程度,测试利用率较未改进的蚁群算法提高了38.53%,适合复杂系统的测试.

摘要： 针对小批量多品种产品装配中出现的装配冲突问题,提出一种面向服务的协同装配方法,通过机器人提供公共装配服务和专有装配服务,来分别完成装配任务中的公共装配任务和专有装配任务,并应用服务标签来实现机器人和任务间的交互协同,避免因多机器人多产品装配而引起的装配冲突.为了验证所提方法的有效性,提高装配效率,应用CPN装配模型对协同方法进行分析,并应用改进的量子遗传算法(MQGA)对服务标签的发放进行了优化,提高装配效率.最后,应用所提出的装配方法对两种产品进行装配实验分析.结果表明:所提出的装配方法能够有效解决小批量多品种产品装配中,因多机器人多产品装配所引起的装配冲突问题,并通过MQGA的优化,缩短了装配时间.可见,面向服务的协同装配方法能够有效用于小批量多品种产品的装配中.

摘要： EtherCAT协议由于具有较高的实时性和较强的性能而被广泛应用,但是随着工业以太网协议的快速发展和开放化,使得工业控制系统承受着巨大的网络攻击风险.目前有许多对工业以太网协议安全和改进的研究,但是这些研究缺乏对协议的形式化建模与安全评估,只注重协议本身安全功能的实现,有一定的局限性.为了解决工业以太网受到攻击的现状,将当前应用较多的EtherCAT协议作为研究对象,提出了一种基于有色Petri网理论和Dolev-Yao攻击方法的模型检测方法,对协议进行了安全性评估与改进.首先基于Petri网理论和CPN Tools模型工具对协议的安全机制FSoE进行了一致性验证;然后引入了Dolev-Yao攻击模型对协议的原始模型进行安全性评估,发现协议存在着篡改、重放和欺骗3类中间人攻击漏洞;最后针对协议存在的漏洞提出了一种新方案,对原协议加入了秘钥分发中心和Hash函数,再次利用CPN模型检测工具对新方案进行了安全性验证.通过验证可以发现新方案能够有效防止3类中间人攻击,提高协议的安全性.

摘要： 区块链智能合约是运行在区块链网络中的代码,它能够根据外部环境条件自动执行相应的规则,完成对应的交易和数字资产的转移.Auction合约是一个公开拍卖的智能合约,广泛应用到竞拍、游戏和博彩等行业,吸引了众多用户参与.近年来,该合约暴露出了拒绝服务攻击漏洞,导致很多参与者无法竞拍成功.为此,本文基于CPN模型对Auction合约进行形式化验证,检测漏洞并确定漏洞位置.首先使用CPN中的建模工具分别对Auction合约整体、无攻击操作和有攻击操作进行建模,然后使用CPN中的仿真工具对合约的执行过程进行仿真.结果表明,通过该方法,不仅可以发现和定位Auction合约的逻辑漏洞,而且也可以发现Auction合约语言的局限性.

摘要： 随着云计算、大数据以及物联网的兴起,网络流量以爆炸性的速度增长,与此同时网络带宽的增长速度却无法与之相应匹配.在可预见的将来,日益增长的网络流量与缓慢增长的网络带宽之间的矛盾将长期存在.如何改变当前粗放式的网络管理手段,实现精细化的网络管理,解决上述矛盾是需要面对的问题.提出基于状态的视图模型,描述了全局状态视图的形式化概念,同时详细介绍了全局状态视图的构建算法,并拓展其外延,提出状态视图栈的概念,扩充定义网络各层状态视图.利用层次Petri网对传输层协议建模并分析其特征,构建其状态管理表.分析了端口碰撞应用,并构建该应用的状态视图,说明了状态视图栈的一般性扩充方法.同时以负载均衡功能结合全局状态视图应用为例,说明基于状态的网络管理可以提高资源的利用率.

摘要： 为高效生成满足测试案例全覆盖的最优测试序列集,首先,根据《CTCS-3级列控系统系统需求规范》和有色Petri网(CPN)建模规则构建列控系统模型,通过ASK-CTL公式和非标准状态空间查询法对模型进行验证;其次,采用基于改进深度优先搜索算法(IDFS)的测试案例集生成算法自动生成满足路径全覆盖和节点全覆盖的测试案例集;最后,以测试序列重要度、测试序列路径长度和平均测试案例覆盖率为共同优化目标,通过基于改进最大最小蚁群算法(IMMAC)的多目标测试序列集生成算法自动生成最优测试序列集.以列控系统的部分运营场景为研究对象,实现测试序列集的生成过程.结果表明:该方法可自动生成测试序列集,并且本实例中测试序列的重复度降低86％,提高测试生成效率.

摘要： 基于CPN(有色Petri网)对舰艇编队护航反潜战法进行建模仿真.以在敌潜艇威胁下的驱护舰编队为商船伴随护航作战为情况想定,分析了舰艇编队护航中对潜防御行动的作战过程及建模需求,运用CPN Tools建模软件建立了舰艇编队护航反潜作战CPN模型,包括决策交互模型、驱护舰模型、商船模型和敌潜艇模型,并进行了仿真验证.仿真结果表明了使用该方法对舰艇编队护航反潜战法进行仿真验证的可行性.

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

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

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

摘要： UML(Unified Modeling Language)作为一种面向对象分析和设计的建模语言已被用在很多大型软件系统中,但UML缺乏精确的语义描述,难以直接用数学工具对UML模型进行分析,验证。而CPN(Coloured Petri Nets)作为一种建模工具,有着严格的形式化语义和分析方法。主要针对UML的类图,给出类图到CPN的转换方法,并以实例说明。

摘要： UML(Unified Modeling Language)作为一种面向对象分析和设计的建模语言已被用在很多大型软件系统中,但UML缺乏精确的语义描述,难以直接用数学工具对UML模型进行分析,验证。而CPN(Coloured Petri Nets)作为一种建模工具,有着严格的形式化语义和分析方法。主要针对UML的类图,给出类图到CPN的转换方法,并以实例说明。

摘要： UML(Unified Modeling Language)作为一种面向对象分析和设计的建模语言已被用在很多大型软件系统中,但UML缺乏精确的语义描述,难以直接用数学工具对UML模型进行分析,验证。而CPN(Coloured Petri Nets)作为一种建模工具,有着严格的形式化语义和分析方法。主要针对UML的类图,给出类图到CPN的转换方法,并以实例说明。

摘要： UML(Unified Modeling Language)作为一种面向对象分析和设计的建模语言已被用在很多大型软件系统中,但UML缺乏精确的语义描述,难以直接用数学工具对UML模型进行分析,验证。而CPN(Coloured Petri Nets)作为一种建模工具,有着严格的形式化语义和分析方法。主要针对UML的类图,给出类图到CPN的转换方法,并以实例说明。

摘要： UML(Unified Modeling Language)作为一种面向对象分析和设计的建模语言已被用在很多大型软件系统中,但UML缺乏精确的语义描述,难以直接用数学工具对UML模型进行分析,验证。而CPN(Coloured Petri Nets)作为一种建模工具,有着严格的形式化语义和分析方法。主要针对UML的类图,给出类图到CPN的转换方法,并以实例说明。

摘要： UML(Unified Modeling Language)作为一种面向对象分析和设计的建模语言已被用在很多大型软件系统中,但UML缺乏精确的语义描述,难以直接用数学工具对UML模型进行分析,验证。而CPN(Coloured Petri Nets)作为一种建模工具,有着严格的形式化语义和分析方法。主要针对UML的类图,给出类图到CPN的转换方法,并以实例说明。

摘要： 针对工作流兼有静态性和动态性的特点,本文结合RBAC和TBAC提出了新的基于任务和角色的访问控制方式,使得用户对数据的存取权限受到数据本身状态的限制,从而实现了权限在时间上的约束性制.

摘要： 本发明涉及一种基于CPN网络模型的图书馆用户满意度综合评估方法，适于在计算机设备中执行，包括如下步骤：设定用户满意度指标变量，根据用户对图书馆满意度评价的评价标准，设定多个用户满意度指标变量；设定用户满意度等级，用户满意度等级包含从低到高的多个等级；构建CPN网络模型，以用户满意度指标变量的数量作为输入层神经元数，以用户满意度等级的数量作为输出层神经元数，根据输入层神经元素和输出层神经元数选择竞争层神经元数，构建CPN网络模型；获取由用户满意度指标变量观测值和用户满意度值构成的样本集，并利用样本集对CPN网络模型进行训练，使用训练完的CPN网络模型对图书馆用户满意度进行评估。

摘要： 本发明涉及WLAN指纹室内定位技术，为通过对对传神经网络进行改进，提出一种给予改进的CPN的WLAN指纹定位数据库构建算法，降低WLAN指纹定位的离线阶段的工作量，本发明，基于改进的CPN‑WLAN指纹定位数据库的定位方法，步骤如下：步骤1：在需要进行定位的区域中选取实测参考点并进行数据的测量；步骤2：使用自编码器对参考点指纹信息进行降维；步骤3：构造合适的神经网络结构；步骤4：使用实测点测得的数据训练神经网络；步骤5：使用训练好的神经网络构建指纹定位数据库。本发明主要应用于WLAN指纹室内定位场合。

摘要： 本发明公开了一种基于CPN的面向服务软件性能建模与仿真分析方法，面向服务软件性能模型包括软件模型和负载模型；软件模型包括服务模型和交互模型；负载模型包括工作负载模型和外部负载模型；每个服务模型都具有一个服务内部结构模型；工作负载模型包括工作负载开始模型、工作负载结束模型；外部负载模型包括外部负载开始模型、外部负载结束模型。仿真分析方法首先对面向服务软件负载模型中的参数进行配置，设置仿真执行的步数或时间；创建监视器，对面向服务软件以及其中单个服务的性能进行仿真。本发明实用性强、建模软件性能的效率高、仿真分析准确，适用于各种面向服务软件的性能建模与仿真分析。

摘要： 本发明涉及发布用于在CPNS环境中验证用户的验证密钥的系统和方法，所述系统包括：用户终端，其具有近场通信功能，用于请求网关注册包括ID和密码的终端信息，当输入了用于使用CPNS服务的ID和密码时，利用所述密码对包括所述ID和密码的终端信息进行加密，将包括加密的终端信息的验证请求信号发送给网关，并且接收由CPNS装置生成的验证密钥；所述网关，其具有移动通信功能或近场通信功能，用于响应于来自用户终端的终端信息注册请求，经由移动通信网络将终端信息发送给CPNS装置，并且当从用户终端接收到验证请求信号时，将加密的终端信息发送给CPNS装置，以请求验证；以及CPNS装置，其从网关接收终端信息，以存储终端信息，响应于来自网关的验证请求对加密的终端信息进行解密，以执行用户验证，当用户被验证时，生成用于CPNS服务的验证密钥，并且利用所述密码对所生成的验证密钥进行加密，以经由网关将验证密钥提供给用户终端。因此，根据本发明，当一个用户在CPNS环境中使用多个终端时，能够容易地验证这些终端，并且能够方便地管理用于终端的安全性的密钥。

摘要： 本发明涉及分离的Cpn10多肽，与AlaCpn10多肽相比该多肽具有对一种PRR配体增加的亲和性。在一个进一步的实施方案中，本发明还涉及修饰的伴侣蛋白10多肽，并且涉及编码该多肽的核酸，并且涉及包括此类多肽的组合物，以及它们的用途。

摘要： 本发明公开了一种MP、Cpn和HRV核酸检测的试剂盒及使用方法，属于生物技术领域。检测试剂盒中的引物和探针组合包括分别用于肺炎支原体ATPase基因(DNA)、肺炎衣原体OmpA基因(DNA)和人鼻病毒5’UTR核酸(RNA)检测的引物探针组合，还包括以人Actin基因(DNA)为内标的引物探针组合。本发明的引物探针序列高度保守，针对各自基因的高度特异区进行设计，各组引物探针之间无明显干扰；包含了上述引物和探针组合的检测试剂盒可用于肺炎支原体DNA、肺炎衣原体DNA和人鼻病毒RNA的同时检测，检测灵敏度高、特异性强，提高了呼吸道感染性疾病的病原学检测效率。

摘要： 本发明涉及WLAN指纹室内定位技术，为通过对对传神经网络进行改进，提出一种给予改进的CPN的WLAN指纹定位数据库构建算法，降低WLAN指纹定位的离线阶段的工作量，本发明，基于改进的CPN‑WLAN指纹定位数据库的定位方法，步骤如下：步骤1：在需要进行定位的区域中选取实测参考点并进行数据的测量；步骤2：使用自编码器对参考点指纹信息进行降维；步骤3：构造合适的神经网络结构；步骤4：使用实测点测得的数据训练神经网络；步骤5：使用训练好的神经网络构建指纹定位数据库。本发明主要应用于WLAN指纹室内定位场合。

摘要： 本发明涉及一种基于CPN网络模型的图书馆用户满意度综合评估方法，适于在计算机设备中执行，包括如下步骤：设定用户满意度指标变量，根据用户对图书馆满意度评价的评价标准，设定多个用户满意度指标变量；设定用户满意度等级，用户满意度等级包含从低到高的多个等级；构建CPN网络模型，以用户满意度指标变量的数量作为输入层神经元数，以用户满意度等级的数量作为输出层神经元数，根据输入层神经元素和输出层神经元数选择竞争层神经元数，构建CPN网络模型；获取由用户满意度指标变量观测值和用户满意度值构成的样本集，并利用样本集对CPN网络模型进行训练，使用训练完的CPN网络模型对图书馆用户满意度进行评估。

摘要： 本发明涉及制造业技术领域，且公开了一种基于CPN神经网络的企业生产排程优化系统，其特征在于：所述系统包括排程优化系统ERP接口模块、生产任务参量输入模块、CPN神经网络计算单元、排程输出接口，所述排程优化系统ERP接口模块与生产任务参量输入模块通讯连接，所述生产任务参量输入模块与CPN神经网络计算单元通讯连接。通过CPN神经网络对输入的生产任务参量按照竞争网络，不断地调整输入层连接竞争层的神经元的权值；通过竞争网络层的不断迭代，实现竞争淘汰；通过处于竞争获胜的神经元与其所连接的输出层的权值，实现对生产任务输出层的权向量调整，并进行迭代，以达到优化排程的目的。

摘要： 本发明公开了一种基于CPN的面向服务软件性能建模与仿真分析方法，面向服务软件性能模型包括软件模型和负载模型；软件模型包括服务模型和交互模型；负载模型包括工作负载模型和外部负载模型；每个服务模型都具有一个服务内部结构模型；工作负载模型包括工作负载开始模型、工作负载结束模型；外部负载模型包括外部负载开始模型、外部负载结束模型。仿真分析方法首先对面向服务软件负载模型中的参数进行配置，设置仿真执行的步数或时间；创建监视器，对面向服务软件以及其中单个服务的性能进行仿真。本发明实用性强、建模软件性能的效率高、仿真分析准确，适用于各种面向服务软件的性能建模与仿真分析。