在详细分析联锁系统选岔电路的前提下,抽象出选岔网络的联锁逻辑条件,并采用有色Petri网(Colored Petri Net,CPN)为其建立形式化验证模型,同时采用CPN TOOLS对所建立的模型进行仿真及状态空间分析,结果表明所建立的模型能够很好的描述...在详细分析联锁系统选岔电路的前提下,抽象出选岔网络的联锁逻辑条件,并采用有色Petri网(Colored Petri Net,CPN)为其建立形式化验证模型,同时采用CPN TOOLS对所建立的模型进行仿真及状态空间分析,结果表明所建立的模型能够很好的描述选岔网络的工作状态。展开更多
CPN(Computing Process Node,计算处理节点)网络是群智能建筑平台系统的基础网络。CPN网络中,每个CPN节点只能和它邻接的CPN节点交换数据,而CPN节点之间连接与否依赖于其代表的空间区域是否相邻或代表的建筑设备单元是否物理连接。以CP...CPN(Computing Process Node,计算处理节点)网络是群智能建筑平台系统的基础网络。CPN网络中,每个CPN节点只能和它邻接的CPN节点交换数据,而CPN节点之间连接与否依赖于其代表的空间区域是否相邻或代表的建筑设备单元是否物理连接。以CPN网络数据交换方式为约束,本文提出了基于CPN网络的粒子群优化算法分布式实现的数据交换策略和粒子位置更新策略,设计并实现了运行于CPN节点中、全部CPN网络上的分布式粒子群优化算法。实验表明,基于所提出数据交换策略和粒子位置更新策略实现的分布式粒子群优化算法可以快速、有效地收敛。展开更多
文摘CPN(Computing Process Node,计算处理节点)网络是群智能建筑平台系统的基础网络。CPN网络中,每个CPN节点只能和它邻接的CPN节点交换数据,而CPN节点之间连接与否依赖于其代表的空间区域是否相邻或代表的建筑设备单元是否物理连接。以CPN网络数据交换方式为约束,本文提出了基于CPN网络的粒子群优化算法分布式实现的数据交换策略和粒子位置更新策略,设计并实现了运行于CPN节点中、全部CPN网络上的分布式粒子群优化算法。实验表明,基于所提出数据交换策略和粒子位置更新策略实现的分布式粒子群优化算法可以快速、有效地收敛。