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

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

无用代码的检测

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

面向实时动态调度的代码插装方法

利用代码插装完成实时任务对自身剩余最长执行时间的运行时自我预估，以满足实时动态调度领域的相关需要．该方法以全面的、规范的相关性分析为基础，构建形式化模型，简洁一致地刻画程序的控制流和相关性；提出了一种高效的预估点代码生成算法；并给出了权衡预估精度和运行时开销的若干优化实现技术．     

球磨机钢球填充率的计算

本文认为,磨内研磨体作填充率有动态和静态之分,提出了静态填充率和动态填充率的计算方法,补偿了以往的文献中关于动态填充率计算方法的缺陷。     

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

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

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

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

斜装成形车刀刃形精确解析

本文对斜装成形车刀刃形的精确设计进行了理论解析 ,为斜装成形车刀的CAD设计提供精确设计方法和准确数学模型     

凸装转子钕铁硼永磁同步电机主极漏磁有限元分析

提出了永磁磁极凸装在转子上的新结构永磁同步电机,用ＶｉｕａｌＣ语言编制面向对象的有限元分析程序,分析了电机的空载磁场并计算了主极漏磁系数,为实现永磁同步电机设计过程自动化奠定了基础。     

基于PC/104冲床装模高度监测控制器的研制

针对冲床装模过程中由于人工操作而引起的误差大、效率低等问题,设计了一种基于嵌入式计算机系统的装模高度监测控制器.该控制器选用PC/104总线单板电脑作为主控制器,配合于外部的SSI接口数据采集、人机交互和电机控制模块,实现对模具信息管理,装模高度监测及控制等功能.该控制器精度高、功耗小、成本低、结构坚固,特别适于小型冲床设备的加工过程及操作现场,有较好的市场应用前景.     

耙吸挖泥船疏浚过程装舱优化研究

本文对耙吸挖泥船疏浚中装舱过程进行建模仿真,将某大型耙吸挖泥船作为研究对象,以装舱过程中单位时间内干土吨产量为优化目标。基于模型预测控制理论,提出了一种新型的优化策略,并对实船数据进行离线分析,得到具体的优化结果。