星的全着色和计数

超图H的全着色是指同时给图中的顶点和超边进行着色,使相关联或相邻的元素间着不同的颜色,满足这一条件的最少色数就称为全色数,记为χT(H).超图的全着色又可以分成弱全着色和强全着色两种情况.本篇文章主要讨论超图中星形图S(v)的弱全着色和强全着色,并给出相应的弱全色数和强全色数,χWT(S(v))=Δ 1,χST(S(v))=M 1,以及有关全色数计数的相关结论.     

3-正则Halin图的边可区别数

根据3-正则Halin图的Hamilton性,结合其边的相邻关系,通过适当地选取边进行着色后证明了4和6阶以上3-正则Halin图G的边可区别数分别为3和2.     

机场登机口分配问题的顶点着色模型与算法

对航班-登机口分配问题进行研究,将其看成顶点着色问题进行求解,设计了简单有效的可以应用于具有卫星厅的登机口分配的贪婪算法策略.将按照"先到先服务"的原则,依次运用启发式规则为当前航班选择登机口,即优先使用可供航班类型种类数量少的登机口,并选择已空闲时间最长的登机口.这样有助于减少使用可供多种类型航班使用的登机口的数量,...     

地图着色问题的粘贴DNA算法

提出多级分离的概念,给出一个多级分离装置的模型,并介绍粘贴模型中的多级分离操作、将地图着色问题转化为可满足性问题、基于粘贴模型的巨大并行性及多级分离的优势,提出解决该问题的粘贴DNA算法。通过一个实例给出实验操作步骤,并对生化反应过程进行模拟,得出具体的着色方案,从而证明了该多级分离装置的有效性以及该算法的可行性。     

毛虫树的性质与均匀着色数的计算

称图G是可均匀k-着色的,如果可以用k种颜色给G的顶点着色,使得相邻的顶点不同色且各色类的基数至多差1.可得到毛虫树的一个性质和计算毛虫树的均匀色数的一个精确计算公式.     

基于遗传算法的制造网络服务质量优化

服务质量的合成是面向服务架构系统面临的重要挑战,评价面向服务架构制造网络最优化的典型标准是加工时间成本和系统响应时间.文中提出了一种应用遗传算法解决制造网络服务质量优化问题的新方法.首先用着色Petri网和排队论分别对制造网络的物流和信息流进行建模,然后应用遗传算法对该模型进行调度并获取服务质量的近似最优解.在该算法中,染色体采用分段基因编码,它们分别是制造网络物流和信息流调度方案的规则与加权系数的组合;遗传操作包括选择、交叉、变异3种类型.在每一代种群中,通过仿真得到与每个染色体相对应的各项性能指标值,以模糊综合评判方法求取制造网络服务质量适应度的函数值.实验结果表明,该方法能有效优化制造网络的服务质量.     

CPN及在军事指挥控制系统建模中的应用

简单介绍了着色 Petri网 (CP-网或 CPN)的发展过程和基本原理 ,重点就 CPN在军事 $C^3I$系统建模仿真中的应用进行了探讨 .     

基于CPN的智能合约交易顺序依赖漏洞的验证

智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自顶向下地对合约本身及其执行环境建立着色Petri网模型,并引入攻击者模型来考虑合约遭受攻击的情况。通过运行模型以验证合约存在交易顺序依赖漏洞,最后基于Remix平台在以太坊网络中证实结论的正确性。     

基于着色petri网的安全协议验证方法

设计安全协议时,协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤,验证安全协议的模型和工具有很多．提出了一种基于着色petri网的安全协议验证方法．通过采用该方法对一个STS协议进行了分析,证明了这种方法的有效性,并根据分析结果给出了改进后的STS协议．     

超立方体三次幂的可区别数研究

根据d维超立方体p次幂结构特性,研究了其顶点间距离与海明距离的关系,给出了确定顶点坐标的充分必要条件,并对d维超立方体三次幂H3d的可区别数进行了研究.得到H3d可区别数的一个上界:D(H3d)≤5(d≥6).