图的最大完全子图的一个算法

利用递归算法和引入点的向后度等概念，从而加快了图的极大完全子图的计算。     

格值时态命题逻辑LTP(X)的语义问题

在格值命题逻辑系统LP(X)中引入时态算子E(曾经)和F(将会)以及它们的对偶算子H(曾经总是)和G(将会总是)，建立了一个以时轴为语境的格值时态命题逻辑系统LTP(X)，讨论了LTP(X)与时间相关的一系列性质及时态词的重叠问题，证明了MP语义规则和HS语义规则在该系统中成立。     

适用于电气化铁道供电系统的新型振荡闭锁装置原理的研究

本文针对电气化铁道牵引负荷的特点,总结了牵引负荷影响电力系统距离保护振荡闭锁装置产生误动的几个主要因素。分析了牵引负荷中谐波对振荡闭锁装置的影响,提出了一种新型闭锁原理及其实现的模拟系统方法和数字系统方法,同时在TRS—80微机上对后者进行了仿真试验。结果表明:新型闭锁装置具有较好的滤波特性和抑制涌流能力,能够满足电力系统对距离保护振荡闭锁装置的要求。     

融合边缘检测与区域生长的交通图像分割方法

在交通监控中,如何从复杂的背景中分割运动物体是至关重要的一步,针对车辆的运动阴影对图像分割产生的不利影响,提出了一种新的融合边缘检测与区域生长的彩色图像分割算法,算法同时考虑了图像的彩色信息和空间信息.该算法首先对彩色图像边缘检测,并根据检测结果设置种子像素;再基于颜色相似性生长准则,结合边缘检测结果,对每个种子点进行区域生长;最后,利用区域合并算法对剩余的像素进行合并.实验结果表明该算法很大程度上克服了阴影给图像分割带来的不利影响.     

高速客车垂向悬挂稳定控制双振子模型机理研究

以Adams与Matlab作为协同仿真平台，基于双振子模型LQG控制器设计，建立了稳定控制方案和技术路线．仿真结果表明：垂向悬挂具有与双振子类似的隔振效果．尽管有横向和纵向相关运动模态的非线性影响，转向架仍可以实行有源／无源控制．仿真研究可以证实，无源控制转向架的系统机制是通过阻尼控制强制(垂向)主导运动模态处于稳定状态．     

基于ABAQUS子模型算法的花键连接抗侧滚扭杆有限元分析

采用ABAQUS软件模拟计算了花键连接抗侧滚扭杆的受力情况.计算结果与试验结果对比表明此方法正确可靠.采用子模型的方法进一步得到花键的局部应力分布,结果表明简化整体模型的接触关系可以降低仿真分析的计算花费,提高分析效率,且子模型方法解决了网格数量太大、计算时间长以及收敛性差的问题.计算结果可为疲劳分析提供有力支持,并为...     

大连甘井子热电厂铁路专用线方案研究

大连甘井子热电厂铁路专用线建设方案主要有东端方案、利用既有线方案及西端方案.在对方案进行技术经济比较后及吸收市政、电厂和铁路使用部门意见的情况下,推荐了东端方案.该方案在车站东端扩建接发列车的到发线,调整共用走行线的坡度为6‰,使4000t煤列从始发站直达电厂站内.该方案作业流畅,车辆使用效率高,运用周期短,同时优化了车站作业,提高了车站的作业能力.     

格蕴涵代数的拓扑结构

给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质和结构进行了研究，证明了格蕴涵代数中全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应拓扑结构之间的拓扑映射。     

女子误把油门当刹车撞死3岁儿

2月28日晚,罗田县城东绿化广场附近某酒店门口发生了一起惨剧:一名带着两个儿子参加朋友聚餐的女子,在用餐后驾车准备回家时,因操作不当致使车辆失控,不慎撞向了一名朋友和自己3岁的小儿子,造成小儿子当场死亡,朋友受伤。据当晚跟该女子一起聚餐的李先生介绍,当事人吴女士(化姓)今年37岁,她和丈夫都是罗田本地人,婚后育有二子,大儿子今年10岁,小儿子3岁。吴