最大公共子图的约束符号求解方法

【目的】探索求解两个图最大公共子图的方法。【方法】建立最大公共导出子图的软约束满足问题(Soft CSP)模型,提出代数决策图(ADD)的符号求解算法。首先,分别对两个图中的变量和值域进行编码,完成两个图的ADD表示;其次,基于深度优先分支定界算法的思想,利用符号ADD的相关操作,实现对最大公共导出子图的求解。【结果】算例结果表明,该方法准确可行。【结论】该方法能有效缩减搜索空间,从而提高问题的求解效率。     

图分割在Singleton弧相容算法中的应用

基于原有SAC-MP算法,提出一种将图分割技术应用到SAC-MP算法中的一种新算法,该算法在执行时能充分利用图分割技术确定适当的k值,避免了由于k值的不确定带来的冗余操作和盲目性.实验结果表明,该算法在求解约束满足问题时效率较高.     

约束满足问题求解及ILOG SOLVER系统简介

首先综述求解约束满足问题的基本算法和搜索策略, 然后介绍ILOG SOLVER求解系统提供的类和函数的基本组成, 并给出用该系统求解的两个地图着色示例.     

约束可满足问题求解策略的改进和实验结果

通过对那些属于NP－Complete的约束可满足问题（如图着色、规划、SAT问题等）的求解实验，指出了局部搜索算法的局限性，由此给出改进的搜索策略．实验结果表明，应用改进的搜索策略使算法效率明显提高．     

基于AC与LmaxRPC的自适应约束传播求解算法

在现有自适应约束求解方法基础上,提出一种新的自适应约束传播求解算法ADAPTAC-LmaxRPC.该算法能根据约束的不同特性,在传播能力强但开销高的LmaxRPC与传播能力弱却开销低的AC之间自适应地切换进行约束传播.多个Benchmark实例类上的测试实验数据表明,ADAPTAC-LmaxRPC算法有效地平衡了求解效率和算法开销之间的矛盾,大幅度提高了约束求解的效率.     

受时间、空间约束VRP问题蚁群优化模型及算法的研究

蚁群算法求解组合优化问题是当今智能优化算法的发展方向之一.通过对M.Dorigo提出的传统蚁群优化元启发模型改进,提出了多参数约束蚁群优化元启发式模型.该模型将所有优化约束条件映射为影响人工蚂蚁搜索行为的诱导素;模型中的人工蚂蚁智能行为简单,只根据信息素和诱导素在求解空间中进行搜索,而不进行复杂的运算;该模型减少了人工蚂蚁的求解搜索空间.并通过受时间、空间约束问题VRP(Vehicle Routing Problem)验证了本文提出模型算法较传统蚁群算法简单、收敛性快.     

Knapsacks约束的弧相容改进算法

通过修改背包约束弧相容算法的数据结构,将点阵图改为有向图,解决了原背包约束弧相容算法中存在冗余计算和无效操作的问题,加快了算法对问题的求解效率.对比实验结果表明:在面对同一类问题时,因为数据结构更复杂,改进算法的初始化时间虽增加,但求解时间提高了20%~50%;在面对求解难度较高的问题时,改进算法能更好地缩减求解问题的时间.     

实时系统时间约束验证

为保证实时系统满足特定的时间约束,该文提出了一种时间约束的建模和验证方法。定义了基本的时间概念,提出了基于改进的STP(simple temporal problem)时间约束建模方法,提出了约束图的一致性检测的约束求解算法,给出了将复杂时间约束转化为基本时间约束的机制,并以典型的数据处理单元(data process unit,DPU)系统的实际时间需求为例,进行了实例分析和实验。该文系统地分析了时间故障模式,与已有的方法相比更加准确地描述时间点、时间区间之间的约束关系,从而可以更有针对性地检验系统的时间缺陷。     

弧相容算法性能比较

为了化简约束满足问题的规模、有效地处理大规模难解问题,从求解算法的角度研究弧相容技术。分析讨论了8种弧相容算法各自的优势和特点。在“明月”约束求解平台上针对随机约束满足问题,对该系列弧相容算法的性能进行了测试。实验结果表明,无论是在搜索之前还是搜索过程中,AC-2001(AC-3.1)都比其他算法表现出更优异的性能。     

图规划基于距离的目标排序启发式

讨论图规划回溯搜索过程中变量和值排序的缺点,并且提出一个基于实现某一子目标的难度的简单策略即获得子目标的困难度,该标准可以通过规划图本身的结构加以量化,特殊的使用子目标在规划图中最早出现用层的下标来表示．结果表明该方法在许多标准的规划问题求解过程中的惊人效果。     

用微机编制机车运用与检修计划的研究

本文在确定机车最优折返方案的研究中,建立了相应的优化数学模型,并对编制机车周转图时同时选定机车检修运行线的条件和方法进行了探讨.指出,检修机车入出段运行线的选取应与机车周转图的结构(一元式及成组式)相结合.文中给出的最大限度地固定检修机车入出段运行线的方法可保证机车周转图所用机车台数为最小和机务车检修工作的均衡.     

交-直-交变频技术在机车轮箍加热炉上的应用

电力机车轮箍更换工作量大，耗电量大，加工时间长，直接影响电力机车检修任务的顺利完成。采用交－直－交变频技术的中频加热炉，不仅可极大提高工作效率，节约电力,资源资源，而且可改善工作环境。     

内燃机车水冷却系统诊断参数的选择

技术诊断已进入内燃机车日常保养和维修工作领域。选择诊断参数是技术诊断工作中的重要环节。用逻辑分析法选择内燃机车水冷却系统的诊断参数:建立逻辑模型图;区别工作原理图与逻辑模型图;确立功能组件、外部输入参数、内部输入参数、输出参数之间的函数关系;列出输出参数的逻辑方程式;编制故障函数表;提取诊断参数。     

机车司机视作业行为测试

对机车司机视作业行为进行考察是评估机车司机室人-机界面双方质量的一种方法。对我国铁路干线运行机车司机视作业行为进行了测试,从视线分配、仪表布置等几方面分析了我国机车司机视作业的基本规律。     

对于改进国产内燃机车冷却系统的几项建议

文中从节约能源、降低机车成本、减少有色金属消耗出发,通过分析计算得出内燃机车宜采用强化型或GD86型散热器的结论,并提出按机车类型优选散热器类型的具体建议。另外提出按地区适应性原则,将我国划分为三类不同“温度区”,取温度区内最高温度的统计值作为内燃机车冷却系统设计外温的建议。并提出对于采用高、低温两台风扇的V型散热器装置内部加设隔板,以形成独立的高、低温通风腔道的建议。     

船用汽轮机变工况的遗传粒子群优化智能控制方法研究

为提升船用汽轮发电机组大幅变工况时的控制精度和鲁棒性,以船用汽轮机调节系统各部件的模块化数学模型为基础,建立汽轮机组数字电液(digital electric hydraulic,DEH)闭环模糊比例、积分、微分(proportion integration derivative,PID)控制模型;融合遗传算法的选择、交叉、变异和自适应递减权重法,提出遗传粒子群智能优化算法,并结合标准测试函数验证提出算法具有较高的收敛速度和精度;基于遗传粒子群智能优化算法建立汽轮机变工况自适应智能模糊PID控制模型,实现模糊PID的量化因子与比例因子最优化设计,进而开展船用汽轮发电机组大幅变工况动态特性及扰动因素影响分析,结果表明本文建立的自适应智能模糊PID控制模型具有更好的控制稳态性能与鲁棒性,为船用汽轮机组大幅度变工况智能控制优化设计提供了有力的技术支撑。     

煤矿井下高效换装技术

为了提高煤矿井下辅助运输系统机车换装效率，解决机车换装问题，结合龙固煤矿的实际条件，设计了煤矿井下运输专用集装箱，能够自动装卸专用集装箱的WC5．0型无轨胶轮车和WC35E型无轨胶轮车，大幅减少了机车之间的换装时间．     

机车股道调度命令系统的研究

针对目前存在的机车调度安全问题,特别是对库内作业中的同一时间进库、出库、库调的复杂性进行分析后,研究人员提出设计改造方案,开发出＂机车股道调度命令系统＂。本系统采用先进可靠的无触式传感器和集成模块实现信息共享,采用最优控制网络系统盯控关键部位。该系统对于机车股道能进行实时监测和显示,使调度室、扳道房的道岔信息同步,实现调度室、现场、机车的协调一致,确保了行车安全,提高了经济效益。     

基于应力损伤的电力机车传动系统损伤度模型

参照现有机械结构应力损伤基本原理,分析电力机车传动系统设备故障的本质原因,提出一种基于应力分析的电力机车传动系统损伤度模型.该模型采用迈因纳准则和可靠性原理,对电力机车传动系统设备进行大修期限估算,计算出各个关键设备的损伤度,从而估算出电力机车传动系统的大修期限.     

基于Web Services的机车故障诊断决策支持系统

本文针对机车质量控制系统设备故障征兆和故障原因对应关系的复杂性和多样性,开发了基于规则和基于实例相结合的基于Web Services的机车质量控制决策支持系统,研究了模糊产生式规则和模糊推理技术在故障诊断决策系统中的应用。通过引入面向对象技术和XML,使知识的复用、表达更加方便快捷,能较好的解决机车车辆的智能诊断和检测,提高了故障诊断的可靠性和速度,降低了设备的维修成本。