摘要：传统的双模冗余容错计算系统具有故障定位不准的致命缺点。本文在传统双模冗余系统的基础上设计了一个高可用的仲裁子系统进行故障定位。该子系统采用高可靠的三模表决的系统结构 ,采用非相似余度三总线进行子系统内部同步通信 ,并且应用SOC芯片和CPLD技术 ,采用热插拔的设计方案 。

摘要：研究了网络化制造系统实时协作的需求 ,提出一种适用于网络化制造系统的协同工具设计方案 ,并给出了实例。该工具能够支持多小组协作信息的统一管理并提供协作小组对系统资源的访问控制方案 ,并且能对网络化制造系统提供有力的支持。

摘要：根据电解加工的基本原理,探讨了基于间隙内简化电场和基于间隙内实际电场分布数学模型的叶片电解加工阴极设计方法,对比分析了这两种阴极设计方法对间隙内电场强度分布的影响,通过一组工艺试验验证了阴极设计的精度.结果表明,基于间隙内实际电场分布的有限元阴极设计方法更符合电解加工的实际物理过程,阴极设计更加精确合理.

摘要：分析了入侵诱骗的实现方式 ,形式化地定义了入侵诱骗系统 ,提出了入侵诱骗的体系结构 ,引入了入侵行为重定向的概念 ,将入侵检测和入侵诱骗有机地结合起来 ,弥补了“HoneyPot”的守株待兔的不足 ,对入侵诱骗系统做出了总体设计 。

摘要：在分析了层次树状模型与关系网络模型这两种装配模型结构的基础上,根据装配序列规划的要求,应用面向对象的方法建立了满足装配序列规划的产品装配信息模型,提出了相应的数据结构,为虚拟装配序列规划提供了合理的产品信息框架。

摘要：介绍了CPV350型逆变电焊机与弧焊机器人控制系统的连接方法。通过分析CPV350电焊机的接口特点,设计了系统连接的硬件方案;并开发了相应的软件模块,成功的实现了该电焊机与弧焊机器人系统的集成。

摘要：光电跟踪系统的非线性滤波问题是影响跟踪精度的重要因素,传统的解决方法一般基于混合坐标系或笛卡尔坐标系完成,算法复杂,实时性不高。本文针对一类基于图像的光电跟踪系统,讨论了直接利用目标测角信息在球坐标下建立简化目标运动模型,并实现稳定跟踪的方法。文章用最小二乘法在球坐标系下建立了目标运动的简化模型,基于蒙特卡洛方法进行了仿真,给出了仿真结果,并与传统的EKF算法进行了对比。仿真结果证明了方法的可行性。