弯制挂钩用的小工具

在电镀生产过程中,各工厂根据镀层的技术要求及零件形状来决定挂具,因此挂具随着各生产单位具体情况而变化,形式繁多。在制造挂钩方面,尚缺乏专用工具,一直用钢丝钳来弯曲各种形状,效率低,且形状不一致。     

基于SLAM的水下导航算法及仿真分析

起源于移动机器人定位的同步构网定位(simultaneous localization and mapping,SLAM)算法可以克服基于先验图的水下导航算法的不足,实现水下载体的自主导航.本文给出了基于SLAM算法的水下导航算法的系统构建和执行过程,建立了状态方程和观测方程,讨论了新特征加入的问题.并利用模拟数据进行了仿真.仿真结果表明,无论是采用航渡还是区域探索航行方式,该导航算法的定位精度均高于单纯推位方法,具有广阔的应用前景.     

应用于车载雷达系统的CAN总线智能节点设计

介绍了某车载雷达系统CAN总线智能节点的复杂功能和软、硬件设计.设计以Silicon公司的C8051F040单片机为核心,通过对外的CAN总线和对内的两路RS232总线串口、两路ADC以及I2C总线等功能实现数据对外输出和控制指令对雷达系统作用.该设计通用性好,可靠性高,已经成功地应用于车载雷达系统武器站.     

一种基于AADL错误模型的软件安全性分析技术研究

针对软件安全性问题,提出一种新的软件安全性分析方法。首先探索将软件组件AADL错误模型转化为马尔科夫链模型,计算组件处于不同危害级别状态概率,分析组件安全性。并且进一步,根据AADL错误模型组合实现定义,由其内部组件安全状态概率计算分析软件系统的安全性,避免状态爆炸问题。最后,以飞控系统软件为例,对算法进行实例验证。     

基于FSM的测试用例生成算法

研究了基于FSM模型的测试用例自动生成算法来验证实现的FSM与规格FSM的一致性。基于状态机分解的思想提出了新的用例生成方法,DC-方法。相对其他通用方法而言,它不必依据测试树中所有的子路径集合,从而使得用例集减少,同时减少每次重置到初始态的次数,测试序列的长度也有所减少,节省了测试时间,提高了效率,并且具有良好的扩展性,可以方便应用于包含数据流的测试,只需在搜索到所有的DU-Path后直接经过运算就能得出测试用例。并给出了生成用例方法的正确性证明。     

基于GSPN的Web服务组合建模与评价

如何利用广义随机Petri网对WS-BPEL描述语言进行建模、验证以及评价,进而实现对Web服务组合过程可靠性和性能的分析,一直都是领域研究中的难点和热点。首先,给出WS-BPEL业务流程到GSPN的映射规则和转换方法;并通过对GSPN模型进行可达性和不变量分析,实现对WS-BPEL业务流程正确性的验证;然后,借助构造与GSPN模型同构的马尔可夫链,完成对系统性能的分析;最后,以某实例为分析对象,对模型的正确性和有效性进行了验证。     

基于跳数场的无线传感器网络路由协议研究

研究了无线传感器网络路由机制;在分析了基于跳数场的多径路由协议的基础上,针对其存在节点负载不均衡的缺陷,提出了新的局部动态改变节点功率的路由算法,该算法在建立跳数场时选取出一跳扩展节点来分担一跳节点的负担,在数据传输过程中使用基于节点剩余能量和连通度的加权函数值作为转发节点的选择依据,均衡了中间节点的能耗;仿真实验表明,新的算法能够有效均衡负载,延长网络生存期.     

空分系统用分子筛材料分离性能评价方法的标准化研究

分子筛材料是变压吸附法空分制氧的核心材料,其氮氧分离性能直接影响着气体分离的效果.本文介绍了空分系统用分子筛材料氮氧分离性能的评价方法及标准化过程,并对《分子筛氮氧分离静态测定方法》行业标准进行了解读,为今后各领域标准应用者提供参考.     

服务发现机制研究进展*

以现有服务发现机制发展过程为主线,重点分析了独立服务发现平台和集成式服务发现平台的主要工作机制和优缺点,在归纳和总结现有服务发现机制普遍采用烟囱式、一视同仁以及叠加式策略等问题的同时,提出了未来服务发现机制的研究方向。     

基于组合权重的嵌入式计算机综合性能灰色关联评价算法

文章针对嵌入式计算机的自身特点,建立了嵌入式计算机性能评估指标体系。同时,将组合赋权法和灰色关联度相结合,提出了组合权重的灰色关联评价模型。该模型将组合赋权法确定指标的权重系数代替灰色关联分析中的均值权重系数,用来修正各评价指标的差异,并对嵌入式计算机性能进行综合评估。实验结果表明,该方法有效地解决了部分指标信息不完全和部分指标信息模糊的问题,提高了计算机性能评估的可靠性,为今后嵌入式计算机综合性能的评价提供了有价值的参考。