基于着色Petri网的下一代列控系统虚拟闭塞技术仿真分析研究

采用虚拟化的逻辑区段代替实际的轨道占用检测设备划分轨道区段，这对自然环境恶劣、维修维护工作困难的高寒铁路具有重要意义。针对下一代列控系统的特点，对其虚拟闭塞技术展开研究。分析了虚拟闭塞条件下，列车占用检查功能以及车地通信故障情况下，区间安全防护功能的逻辑实现。根据对虚拟闭塞技术的研究，以车地通信故障情况下，区间虚拟区段的封锁设置为例，采用着色Petri网的基本概念，利用CPN Tools建模仿真工具，对封锁功能进行建模仿真分析。根据验证结果，对所建模型进行分析修正，确保模型逻辑功能的正确性。     

有限群Cayley图的因子分解

从理论上证明了"有限可分群Cayley有向图为Hamilton图"的判定定理,同时证明了二面体群上二度Cayley有向图或为二个Hamilton圈的并或为一个有向Hamilton圈和一个二因子的并.并对著名的Holt图的Cayley图的因子分解进行了进一步探讨.     

基于着色Petri网分布式系统的行为建模方法

：面向对象着色Petri网具有强大的建模能力和成熟的理论，广泛应用于各种系统的模型建立．介绍如何把CORBA IDL和UML与着色Petri网相结合，以便获得CORBA标准表示的分布式系统行为模型，这对于复杂系统分析设计、模拟和性能评价有很高的理论和实用价值．     

基于遗传算法的区段站到发线运用优化安排

从模拟铁路区段站调度员思维角度出发,分析区段站车列占用到发线时区集合的特点,应用划分时间片算法建立合适的到发线安排的图论模型,将到发线安排问题转化为顶点具有加权的图的k 着色问题。依据设计混合遗传算法基本原则,将基于顺序的贪婪着色算法和遗传算法混合起来运用于该问题,设计有序的字符串编码方法,构造基于罚函数的适应度函数,采用交叉和变异等技术,给出混合遗传算法的基本求解步骤。     

汽车防眩薄膜的研究

通过分析当前汽车防眩装置的工作性能和状况，采用互补型变色材料，对汽车防眩薄膜变色部分的结构和工作性能进行了创新设计，运用光电控制器，实现了对变色部分的自动控制。防眩实验结果表明：变色部分能够自动完成着色、消色和光致变色过程，工作稳定可靠；控制部分动作准确、运行良好。     

棒棒糖图的IC-着色和IC-指数

棒棒糖图Bm,n是由圈Cm上的任一个顶点和路Pn的一个1度顶点重合而得到n＋m-1阶连通图。研究了棒棒糖图Bm,n的IC-着色和IC-指数,推出了它的IC-指数的一个上界,并借助计算机编程,证明了m分别为3,4,5时的几种棒棒糖图Bm,n的IC-着色和IC-指数。当m=3,n=1,2,…,6时,有M（B3,n）=5n＋2;当m=4,n=1,2,…,5时,有M（B4,1）=13,M（B4,2）=21,M（B4,3）=26,M（B4,4）=34,M（B4,5）=40;当m=5,n=1,2,3,4时,有M（B5,1）=21,M（B5,2）=31,M（B5,3）=39,M（B5,4）=48。     

关于圈 Cn 的 IC -着色和 IC -指数

设正整数 xi = f (vi)是图 G 的顶点 vi 的着色,H 是 G 的子图,f ()H 是 H 的顶点着色的和,若对任意正整数j(1 j  f ()G )都存在 G 的连通子图 H 使得 j = f ()H ,则称 f 是 G 的 IC -着色.若 f ()G 最大,则称 f ()G 为 G 的 IC -指数.考虑了圈 Cn 的 IC -着色和 IC -指数 I ;得到了:当 n =10111214时 Cn 的 IC -指数     

基于赋时着色Petri网的木材柔性加工系统的建模与重构

以Petri网为建模工具,针对木材柔性加工系统（Wood Flexible Manufacturing System,WFMS）中的离散事件建立赋时着色Petfi网（Timed Colored Petfi—net,TCPN）模型．该模型不仅可以反映木材柔性加工系统中待加工产品的工艺加工路线,对系统的特性进行描述,还能够根据生产任务的变化进行快速重构．应用软件对该模型进行仿真,结果表明该模型是有效的．根据仿真结果,对系统进行简单的优化调度,提高了机床的利用率．     

图着色问题的表面DNA算法

色数是图论中一个重要的参数，近年来受到人们的广泛关注。图着色问题是名的NP－完全问题。章给出了一个用分子生物学技术解决图着色问题的算法。该算法具有高度的并行性和可靠性。