高速旋转状态下压配合联接的设计计算

阐述了高速状态下压配合联接设计中需要研究的过盈量、松脱转速、承载能力和联接件应力的计算等问题,并附有计算实例.     

活塞环槽定位销自动装配技术的研究：（Ⅱ）控制系统软件

研究二冲程活塞环槽的定位销自动装配装置，着重介绍本装置的单片机控制系统软件及其定位精度。     

无用代码的检测

程序中的无用代码意味着算法设计、代码实现中存在着问题。无用代码的存在增加了软件开发、测试、使用中的开销，对正确进行程序测试评估产生影响。在对无用代码的表现形式进行分析的基础上，对影响无用代码检测所要进行的数据流分析的各种因素进行了讨论。文中关于到达定值数据流分析过程中的常数传播、谓词表达式的变换、程序插装等的关于谓词表达式的求解方法为无效分支的检测提供了依据。     

隧道超前地质预报方法及其在过江底隧道施工中的应用

近年来,随着隧道工程的发展,隧道在施工中面临的地质灾害问题日益突出。这些问题的发生严重影响工程的进展和造价,超前地质预报由此应运而生。而过江底隧道由于其施工环境的特殊性,地质灾害问题对其影响更是不言而喻,超前地质预报在施工中的作用尤其重要,它关系着过江底隧道能否成功贯通及施工安全等各方面因素。本文首先介绍了现代隧道工程中常用的超前地质预报方法,包括TSP超前预报法及水平钻机超前探测法等14种方法。然后结合已顺利完工的广西六景郁江过江底隧道,重点介绍了TSP超前预报法及水平钻机超前探测法在喀斯特地质地貌进行过江底隧道施工中的应用。     

基于静态插装和约束求解的整数漏洞检测

以C源码为研究对象,提出了一种基于静态插装和约束求解的整数漏洞检测方法.首先在C源码中可能的整数漏洞点前面插装检测代码,同时定位可能导致整数漏洞的输入源,并将其标记为符号变量.之后将静态插装后的源码编译成可执行代码,并进行(符号和具体执行的)混合执行.在动态执行的过程中,通过对插装代码对应的符号约束进行求解,可以检测整数漏洞是否存在,以及获得当整数漏洞存在时符号变量相应的具体取值.进一步地,通过对从程序入口点到整数漏洞点所经过路径上的所有条件跳转约束进行求解,获得引导程序到达整数漏洞点时符号变量相应的具体取值.结合两者可以辅助生成触发漏洞的输入用例.基于CVE(通用漏洞披露)通告的实验表明本系统能够成功检测到相应漏洞.     

基于飞轮储能技术的柴油机钻机机械调峰系统研究

采用了一种新型的储能技术—飞轮储能,它可以在柴油机处于低负载运行状态时,将多余的能量通过飞轮储能装置存储起来,此时飞轮处于加速储能的过程;当检测到系统中有较大的冲击负载时,将存储的能量释放出来,通过调峰电机与柴油机并机驱动负载,达到平抑发动机的加载率,保证发动机在负载变化时能够平稳运行的目的,该状态飞轮处于减速放电的工作模式.本文对飞轮储能的原理以及基于飞轮储能的柴油机钻机的机械调峰技术进行深入研究,给出了调峰电机处于电动和发电状态的条件,设计了一种柴油机钻机的机械调峰系统.     

基于天煌THMDZT-1型设备的一体化教学探索与实践

一体化教学是技工院校进行专业建设和课程改革的重要抓手,是培养高技能人才的重要途径.该文以天煌THMDZT-1型设备为硬件技撑,拓展其辐射功能,打破单一的教学模式,以改革培养目标、教学内容与方法、教学环节为切入点,并结合师资队伍的建设、一体化教室的建设、一体化教材的开发进行机械装调一体化课程的建设与探索,切实推进课程改革,从而在我校高技能人才培养的过程中发挥积极的作用.     

数字式微机继电保护测控装置研究

数字式微机继电保护测控装置是应用电子技术、计算机技术、电力自动化技术、通讯技术为一体的变电站自动化测控装置。采用了系统化设计思想,保护、测量、控制、监测、通讯显示等功能整体设计,在变电站、发电厂构成综合自动化系统,且广泛应用于电力、国防、化工等领域。采用先进的DSP数字信号处理技术、分层分布式结构、开放的CAN总线和RS485网络接口技术实现保护数据在数据总线上交换,配合监控软件组成变电站自动化系统。     

煤矿钻机自动防卡钻电液控制系统研究

由于松软煤层地质条件复杂多变,钻机在钻孔施工时,经常发生卡钻事故,这极大降低了工作效率,并严重威胁到工人人身安全。为解决以上问题,分析了引起卡钻的各影响因素,采用钻机回转压力表示卡钻状态,并设置回转压力卡钻阈值。根据钻机工作原理与卡钻机理,建立基于负载流量独立分配系统(LUDV)的防卡钻液压回路;采用PID与信号选择器建立自动防卡钻控制器,并采用人群搜索算法(SOA)整定PID参数。采用AMESim进行系统仿真试验,结果表明：回转压力达到20 MPa时,钻机自动回退;达到22 MPa时,钻机回转压力维持稳定,保持较大的回转动力克服外负载阻力,避免发生卡钻事故,验证了自动防卡钻电液控制系统的有效性。     

基于多色集合的PCB组装优化建模方法研究

提出了一种基于多色集合理论的印制电路板(PCB)组装优化建模方法.基于多色集合(PS)的递阶结构,构建了包括PS集合层、逻辑层和数量层3个层次的集成模型框架.分别在集合层描述PCB、元件和设备的参数及其相互间的联系;在逻辑层描述各PCB组装任务的工序和设备组成;在数量层描述各PCB组装工序所组装的元件类型、数量和所需的组装时间.基于各层次模型及其相互间的映射关系,建立了多任务、多设备环境下PCB组装优化可计算模型,不仅描述了PCB组装优化问题中各种计算参数、工艺约束、资源约束等复杂的约束关系,还描述了组装过程中,元件短缺、设备故障、订单变化等不确定性影响因素,有利于实现复杂大规模PCB组装优化问题的高效求解.