离线式带钢双面翻转检查站方案设计及实践

针对某酸轧机组检查站穿带困难、检查效率低、产生废品多、故障率高的问题,开发了一种离线式带钢双面检查站.该检查站新增了带钢翻转装置,将在入口分切剪处完成定尺剪切的带钢试样由两侧压板夹紧,中间可升降皮带机落下,翻转装置将带钢试样张紧,并翻转90°或者180°,实现带钢的双面检查.皮带机两侧布置有可升降、可横移的活动操作平台...     

Characterization of closed-loop measurement accuracy in precision CNC milling

This study investigates the closed-loop measurement error in computer numerical controlled (CNC) milling as they relate to the different inspection techniques. The on-line inspection of machining accuracy using a spindle probe has an inherent shortcoming because the same machine-produced parts are used for inspection. In order to use the spindle probe measurement as a means of correcting deviations in machining, the magnitude of measurement errors needs to be quantified. The empirical verification was made by conducting three sets of cutting experiments, followed by a design of experiment with three levels and three factors on a state-of-the-art CNC machining center. Three different material types and parameter settings were selected to simulate a diverse cutting condition. During the cutting, the cutting force and spindle vibration sensor signals were collected and a tool wear was recorded using a computer vision system. The bore tolerance was gauged by a spindle probe as well as a coordinate-measuring machine. The difference between the two measurements was defined as a closed-loop measurement error and the subsequent analysis was performed to determine the significant factors affecting the errors. The analysis results showed the potential of improving production efficiency and improved part quality.     

专家系统工具OEST及其应用

根据专家系统知识表示的特点，结合面向对象的程序设计方法，研究了用Ｃ＋＋实现的面向对象的知识表示方法，并采用该知识表示方法研制了面向对象的专家系统通用开发工具ＯＥＳＴ。利用ＯＥＳＴ建立了一个液压传动系统设计的实验原型专家系统，结果表明ＯＥＳＴ可以完成专家系统的设计。     

一个大型机器人仿真系统—ROBCAD

在论述国内外机器人CAD、仿真以及离线编程技术发展的基础上,介绍了机器人仿真系统-ROBCAD.阐述了ROBCAD 在国际机器人仿真领域的地位及先进性,开发了ROBCAD 的主要功能,分析研究了其关键技术,指出了国内这方面研究中的不足以及今后的发展方向。     

动态规划算法在巡飞弹航路离线规划中的应用

文中针对巡飞弹航路规划特点,分析了动态规划算法,建立了动态规划模型,阐述了基于动态规划算法的巡飞弹航路离线规划方案和航路修正方法。     

一种新的基于身份的公平离线电子现金方案

为了设计安全、高效的电子现金方案,基于受限部分盲签名提出了一种新的基于身份的公平离线电子现金方案。该方案使用知识证明签名有效地构造了重复花费检测协议,并实现了货币追踪协议和货币所有者追踪协议,给出了不可伪造性、匿名性、公平性和有效性证明。与已有方案相比,该方案能够有效地防止账户所有者进行重复消费,并且使用了较少的高耗时运算,提款协议和支付协议具有较高的计算效率。     

空空导弹导引头小波降噪参数优选仿真研究

在对空空导弹导引头含噪信号实施小波阈值降噪时,以提高信噪比为规则,优选了降噪参数,并进行了离线降噪处理和实时降噪处理两种模式的仿真实验。在离线降噪模式下,通过对降噪参数的选择优化,从强噪声背景中得到了与实际的视线角速度高度一致的有用信号。在实时降噪模式下,考虑到算法的复杂性要求对降噪参数的限制,有针对性地选取了计算比较简单的降噪参数,降噪后提高信噪比仍能达到5 dB以上。研究表明,利用小波降噪技术能够克服传统导引头降噪技术的固有缺陷,可以为导引头滤波器的设计与实现提供支持。     

一种改进的可控制匿名性的离线电子现金系统

利用RSA盲签名算法和Schnorr一次数字签名算法,对Juels的电子现金方案[1]做了改进,提出一个新的可控制匿名性的电子现金系统。在用户向商家支付电子现金时,用户利用自己的秘密密钥对其将要支付的信息进行数字签名,解决了原方案中TTP(可信第三方)能冒充用户去花费用户的电子现金、他人获得合法用户的电子现金可盗用的问题,而且TTP使用公钥数字签名算法对可信标记签名,进一步增强了系统的安全性。最后对系统的安全性进行了分析。     

一类分式规划的对偶定理

本文在预不变凸性条件下,利用有效解概念,结出一类分式线性规划的一些对偶定理,这些定理为求解这类分式线性规划提供了简捷方法。