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

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

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

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

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

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

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

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

算子权移位的强不可约性

讨论以可逆算子作为权序列的无穷重的算子权移位的强不可约性.这里给出了三个充分条件:设S是以{Wk}∞k=1(其中Wk∈L(H),k∈Z)为权序列的算子权移位.(1){Wn-1Wn--11…W1-1AW1W2…Wn}n∞=1有界蕴含A=λI.(或A=λI Q,Q是严格上三角算子,λ∈C);(2){Wn-1Wn--11…W1-1AW1W2…Wn}n∞=1有界蕴含σ(A)是单点集;(3){Wn-1Wn--11…W1-1AW1W2…Wn}∞n=1有界蕴含A是强不可约的.最后给出了利用上述条件判定S强不约性的例子.     

γ-条件下求解带不可微项方程的一种迭代格式

给出了求解带不可微项方程的一种迭代格式,利用优序列技巧,在γ-条件下,给出了该迭代格式的存在性与收敛性定理,并给出了误差估计.得到的结果为:当判据a≤3-L-2 2-L时,该迭代格式所产生的向量序列{zn}与{wn}均收敛于方程f(z) g(z)=0的唯一解z*,且有误差估计为:|z*-zn|≤t*-tn,|z*-wn|≤t*-sn.     

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

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

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

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

一种匿名代理签名方案的标记

Fu-Kou-Xiao提出了一种匿名代理签名方案,其特点在于：用户的真实身份隐藏在原始签名人颁发的一个假名中;匿名性撤销时不需要可信第3方的参与.对该方案进行分析发现,原始签名人可以滥用代理授权,代理签名人也能够对自己所生成的有效代理签名进行事后否认,即不满足代理签名权力的不可滥用性和不可否认性.     

基于HTCPN的飞机维修保障资源配置方法

针对飞机基层级维修保障资源配置问题,提出了一种基于分层赋时着色Petri网(hierarchical timed colored Petri net, HTCPN)的维修保障资源配置方法。首先,根据飞机基层级维修保障工作内容及流程,运用CPN Tools软件,构建飞机维修保障全过程的HTCPN仿真模型,设计仿真时钟折算方法。其次,提出维修保障资源配置规则,建立基于飞机出动架次率的维修保障资源配置模型。最后,算例分析结果表明所提方法能够迅速、准确地完成飞机基层级维修保障资源配置。所提方法为科学制定飞机基层级维修保障配置方案提供了技术支撑,具有一定的工程应用价值。