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

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

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

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

轮图与扇图的对策着色

讨论了图的二人对策着色和放松对策着色,给出了轮图与扇图的对策色数与放松对策色数.     

双目标进化算法求解图着色问题

根据图着色问题的特征,提出了求解图着色问题的双目标模型;设计的有效、简洁的杂交算子和变异算子,均直接产生可行的后代个体;理论分析表明算法以概率1收敛到问题的最优解集.对标准算例进行了仿真实验,结果表明,双目标进化算法可以获得问题高质量的解,即对图进行着色所使用的颜色接近图的色数.     

镁合金着色技术研究进展

镁是最轻的金属结构材料之一,长期以来只少量应用于航空航天等军事工业,被称为＂贵族金属＂,对镁合金进行研究和开发一直是科学家探讨的课题。本文主要讲述了传统的镁合金表面着色技术和微弧氧化着色技术原理,发展和存在的问题。     

铜艺术铸件着色的研究概述

将着色技术应用到艺术铸造工艺品的防护装饰可获得良好的效果。本文概述了铜艺术铸件的几种色调的着色配方及工艺特点,以及影响着色质量的常见工艺参数。     

10项专利让20家单位“喜结良缘”

近日，在太原市召开的专利成果发布暨项目展示交易会上，10项专利让20家单位“喜结良缘”，此外，还推荐、展示了150项优秀专利。专利成果发布暨项目展示交易会是中国专利周太原周的一项主要活动．经交易会“牵线搭桥”．以“不锈钢化学着色液及其化学着色方法”“一种具有抗癌活性的Ru（Ⅱ）配合物及其制备方法”“多用途断续切削装置”等10项专利项目为媒介，     

几种图类的邻点可区别关联着色

近年来,关于图着色问题的研究得到了许多有价值的结果,同时拓展出若干新的着色.图的邻点可区别关联着色是在图的关联着色概念的基础上提出的一种新的着色概念.本文研究了路、星、扇、轮、完全图的邻点可区别关联着色并确定了它们的邻点可区别关联色数.     

图的仅需着色种数与其区分等式和其他问题——兼对地图四色区分的证明

本文续接《图的着色证明与图的着色定理》一文,着重于对＂地图以4色区分会不会发生‘爆炸’的问题＂和＂图的‘仅需着色种数’与其区分等式＂进行了证明,证明四色猜想成立。同时,应用＂两点连线＂的证明方法对事物中的连接现象进行了论证,强调＂组合与区分＂两者之间关系才是四色猜想命题研究的归结点。此外,指出物体表面的全相邻力是验证物体同胚体的依据,可构造出需用百、万、亿种颜色区分的整体。     

ZS05型光纤高速着色复绕机结构与原理简述

当前我所的着色机结构及工艺控制水平已经相当稳定,为了进一步提高性能占领市场,我所在原有着色机的基础上进行了优化设计,进一步提高生产速度。本文着重介绍ZS05型着色机的结构组成及工作原理。