基于AutoCAD的冷冲模CAD系统的开发与研究

在AutoCAD平台上，结合了Autolisp,Viusal Foxpro和C语言等各程序语言的优势，研制开发了一套冷冲模自动设计系统。     

基于符号执行的格式化字符串漏洞自动验证方法研究

格式化字符串漏洞是一种常见的危害较大的软件漏洞.现有格式化字符串漏洞自动验证系统未充分考虑参数存储位置位于栈以外空间的情况,造成对该部分漏洞可利用性的误判.针对该问题,论文设计实现了一种基于符号执行的格式化字符串漏洞自动验证方法,首先根据参数符号信息检测当前格式化字符串函数漏洞,然后分别构建参数存储于不同内存空间情况下的漏洞验证符号约束,最后利用约束求解自动得到漏洞验证代码,实现了格式化字符串漏洞的自动验证.在Linux系统下对不同类型测试程序进行了实验,验证了方法的有效性.     

分析“桁梁”最不利内力的解析方法

本文在桁梁内力分析的解析方法所提供的计算公式的基础上，运用函数求极值的方法，建立桁梁在移动载荷作用下确定最不利内力的计算公式。     

液相色谱智能化——多段梯度洗脱满意分离条件之启发式自动搜索

本文为高性能液相色谱作定量分析,提供一种新颍方法,自动求得峰形分离良好的色谱图,并由此对于仪表之智能化前景作一展望。利用多段梯度洗脱法来改进分离,会引起搜索该条件之复杂化。为此,启发微机来搜索满意的分离条件,而不去搜索最优分离条件,较为合理而且方便。用本法分析人体血液中21种主要氨基酸组分,获得成功。     

履带式起重机行走机构自动润滑系统

目前履带式起重机行走机构主要有两种润滑方式一种是采用液体润滑(即免维护方式),一种是固体润滑(一般采用加注润滑脂方式),早期的固体润滑方式主要是靠人工加注润滑脂,经常出现润滑不及时或者润滑不到位,导致部件严重磨损.本课题以本公司MANNITOWOC2250起重机(美国)为例研究为行走机构加装自动润滑系统,以达到较好的润滑效果,减轻操作者劳动强度.     

常用内部排序效率的探讨

文章就C语言学习中的几种常用的内部排序从基本思想、算法、时间和空间效率以及稳定性等方面进行分析讨论,得出对于具体的问题,用哪一种排序算法效率更高.     

基于AutoCAD的电脑玻璃刻画软件的开发

在分析DXF文件格式和数控加工代码的基础上,提出了基于AUTOCAD的数控玻璃刻画自动编程系统的总体结构,并重点讨论了自动编程过程中的刀具运动轨迹的顺序、加工最小转弯半径判断处理等关键技术,并最终开发出了基于AutoCAD的电脑玻璃刻画软件。     

条码识别自动上料机械手

本文阐述了条码识别自动上料机械手,如何代替人工操作来完成筛选不合格条码铭牌的工作,将铭牌通过自动上料机械手自动上料,经传送带传送和条码扫描识别,去掉不合格条码的铭牌,将条码输入电脑.     

变频恒压自动供水技术在民用水改造中的应用

本文结合水钢民用水改造的实际情况，研究了变频恒压自动供水技术在水钢民用水改造中的应用。对该技术系统的组成特点，节能原理和实施效果都进行了分析。