用定位计数器实现机床的点位控制

本文应用控制原理，利用PC定位计数器（F－20M）实现了机床的点位控制，同时给出了编程方法。     

差动原理在长轴孔系的镗孔应用

本文叙述了差动原理在长轴孔镗孔中的应用，所设计的镗杆结构作为镗孔机中的进给部分，实现了镗杆体与进给丝杆同心配置，并应用在非标镗孔机上，成功地镗制出长距离同心孔．     

激光二极管与单模光纤的自动耦合技术

阐述了高频振动爬山法对激光二极管与单模光纤进行耦合的原理，给出了两维校正的实验结果。高频振动法与微机结合使用可对光源与光纤的耦合进行自动寻优，该方法使系统的校正效果好，性能稳定。     

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

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

真丝织物在Mezzera连续精炼机精炼工艺的探讨

主要论述了真丝织物在连续精炼机精炼的加工方法，并着重讨论影响精炼效果的诸多因素，以及正确的处理方法。     

离子注入机高压舱参数光纤隔离遥控方法的研究

２８０ｋＶ全离子注入机由处于高压舱内的离子源、磁分析器及其与高压电极相连的加速管、四极透镜、扫描装置和靶室等部件组成，如图１所示．从离子源引出的离子束先经磁分析器分选，经高压加速系统使带电粒子加速到一定能量后，再经四极透镜传输到扫描系统，最后轰击到靶...     

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

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

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

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

超临界600MW机组捞渣机改造

本文介绍了张家港沙洲电力有限公司捞渣机系统由二级输送方式改为一级输送方式改造经验,并对改造前后捞渣机运行和维修状况进行了对比,分析了设备改造的合理性和科学性,旨在为同类设备改造提供参考。