地震钻机调速系统

介绍自行设计的针对WT－50W型液压式地震钻机的调速系统，较为全面地提供该系统的控制电路原理和执行机构、解脱装置、操纵机构的方案。     

横管初冷器液体喷洒系统的改进

介绍了横管初冷器液体喷洒系统存在的问题，改进方法及效果。     

河口海岸水文信息处理系统

应用Visual Basic6.0应用程序、Microsoft Access数据库和FORTRAN语言开发的河口海岸水文信息处理系统，具有水文现场资料整编功能、利用分潮优化技术的潮汐调和分析及预报功能，且计算工作量相对较小，预报精度高。     

Model checker aided design of a controller for a wafer scanner

For a case-study of a wafer scanner from the semiconductor industry it is shown how model checking techniques can be used to compute (1) a simple yet optimal deadlock avoidance policy, and (2) an infinite schedule that optimizes throughput. in the absence of errors. Deadlock avoidance is studied based on a simple finite state model using Smv, and for throughput analysis a more detailed timed automaton model has been constructed and analyzed using the Uppaal tool. The Smv and Uppaal models are formally related through the notion of a stuttering bisimulation. The results were obtained within 2 weeks, which confirms once more that model checking techniques may help to improve the design process of realistic, industrial systems. Methodologically, the case study is interesting since two models were used to obtain results that could not have been obtained using only a single model. Supported by the European Community Project IST-2001-35304 (Ametist), http://ametist.cs.utwente.nl/.     

高精度视觉贴片机拾放程序设计编程

探讨了SMT高精度视觉贴片机难点之一拾放程序设计编程 ,重点介绍示教编程和CAD输入编程设计方法。     

排气系统在注射模中的应用

介绍了排气系统在注射模中的重要性,排气系统位置的选择,排气系统的种类以及应用等     

基于Agent的分布式查询优化研究

Internet上异构的软硬件环境以及多种并行机制对分布式查询优化技术提出了新的挑战，文章将分布式人工智能与数据库管理系统两个研究领域相结合，给出了基于Agent的分布式查询优化系统模型，在该系统中，Agent采用了典型的慎思型体系结构，即BDI模.Agent具有信念库，目标库并在此基础上进行学习和推理，多个Agent之间通过协调，协作以及协商以支持分布式数据库系统的动态查询优化和规划的执行，提高系统的查询效率。     

某实时控制系统在QNX上的具体实现

简述了QNX实时操作系统的特点，详细介绍了一实时控制系统在QNX4．25上的具体实现。     

基于Intel 87c196kc的某机载设备随动系统数字控制器的实现

介绍了某机载光电设备随动系统控制器的设计与实现。该控制器是基于Intel公司87c196kc的数字控制器，设计中充分利用了87c196kc较强的运算能力及其它片内功能，使得控制器设计简捷、调整灵活、体积小，提高了系统的可靠性。