摘要：信息时代使得信息安全变得日益重要。攻击方为了获取想要的信息,除了使用软件方面的手段,如病毒、蠕虫、软件木马等,也使用硬件手段来威胁设备、系统和数据的安全,如在芯片中植入硬件木马等。如果将硬件木马植入信息处理的核心--处理器,那将风险更高、危害更大。然而,硬件木马位于信息系统底层核心的层面,难以被检测和发现出来。硬件木马是国内外学术界研究的热点课题,尤其是在设计阶段结合源代码的硬件木马检测问题,是新问题,也是有实际需要的问题。在上述背景下,围绕源代码中硬件木马的检测和验证展开了研究。基于硬件木马危害结果属性,在学术上提出基于安全风险的模型和验证规则,给出相应的描述形式,从理论上说明安全验证规则在减少验证盲目性、缩小可疑代码范围、提高评估效率的作用,实验表明,基于安全风险规则的验证,可以避免验证的盲目性和测试空间向量膨胀的问题,有效验证疑似硬件木马的存在和危害,对源代码安全评估是有一定效果的。

摘要：根据缸盖水腔内可能存在的传热状态及特点定义了强制对流区、部分发展泡核沸腾区、充分发展泡核沸腾区、临界裕量区和过渡及膜态沸腾区五种区域。基于对传热模型带来的误差和水腔设计安全裕度两方面的考虑,提出了缸盖水腔设计的临界极限判定方法。开发了缸盖水腔传热设计判据的软件模块,应用于两款发动机缸盖水腔的设计计算分析,重型商用车柴油机缸盖火力面温度计算值与测试值的最大误差为3.19%,平均误差为1.42%,表明新方法能够较准确地评价缸盖内的传热实际情况。紧凑型柴油机缸盖水腔设计中的应用说明新方法便于用来评判和指导缸盖水腔设计方案的改进。

摘要：焦炉配煤炼焦过程是存在诸多不确定性、无法用数学模型描述的复杂工业过程 ,传统控制方法难以实施控制 .根据焦化理论和生产所获工业数据构造数学模型 ,以群体专家经验得到的定性知识构成规则模型 ,将解析的数学模型与基于知识的规则模型相结合 ,采用定性定量综合集成方法 ,建立焦炭质量预测模型 ,提出了配煤比计算的实用算法 ,并实时控制配煤流量 .系统于 1994年正式投入工厂运行 ,焦炭质量预测精度达到 95% ,配煤准确率达到97% .

摘要：在对传统重型车离合器驱动机构改造的基础上,设计了一种新型的液控气助力离合器自动控制系统;分析了系统的结构和工作原理,建立了系统仿真模型和控制算法,并对离合器接合过程的控制性能进行了分析和仿真检验;在开发的AMT重型载重汽车上进行了实车离合器系统控制性能试验。结果表明:所设计的液控气助力离合器自动控制系统能有效地实现离合器接合位置和速度的控制,具有超调量小、响应速度快等优点,能够满足AMT系统离合器控制的需要。

摘要：为解决目前缺乏能够结合我国制造业现状的具体实施与应用的可重组制造系统计算机辅助系统平台问题,提出了基于面向对象开放式架构、模块化技术方法的可重组制造系统集成设计框架.分析了集成框架的规划问题,给出了体系结构.建立了集成框架的系统功能模块,并就实现每个模块所采用的关键技术进行详细阐述.依据该设计思想,结合某汽车零部件制造企业开发了集工艺分析描述、布局规划、生产调度、仿真优化、成线监控和资源管理为一体的集成系统.

摘要：如何高效互连大规模服务器是数据中心网络面临的一个重要挑战.目前提出的新型数据中心网络结构主要是通过增加服务器的网络端口数来扩展数据中心的规模,导致扩展的局限性和管理的复杂性.为此,如何设计由固定网络端口数的服务器互连而成的、具有常量度数的数据中心网络结构意义重大.提出了一种新型的面向大规模数据中心的常量度数互连网络结构CH(conjugate hypercube),该结构以固定网络端口数的服务器为中心,采用多层次互连实现了可扩展性和性能之间的平衡.理论分析和实验结果表明,该互连网络在不增加服务器网络端口数的前提下,可有效支持大规模数据中心高带宽、高容错的多模式数据通信;同时,具有良好的可部署性和可维护性.

摘要：首先介绍了试验挖掘机机器人的电液比例系统及其控制系统的硬件结构,结合所采用的负载独立分配(LUDV)系统的特点给出了电液比例系统的数学模型,在此基础上,根据试验结果对电液比例模型进一步进行简化,得到了设计控制器所需的参考模型.然后以局部参数最优法为基础设计了自适应控制器,给出了自适应控制律.最后对铲斗轨迹跟踪控制进行了试验研究,通过试验结果对所设计的控制器与常规比例-积分-微分(PID)控制器跟踪设定直线的效果的比较分析,可知使用PID控制器所得到的跟踪误差大于110 mm,而使用所设计的控制器其跟踪误差可以控制在100 mm之内,精度有了一定的提高,并且铲斗运动速度从107 mm.s-1提高到135 mm.s-1,非直线度从4.8%降为3.8%,从而验证了所设计控制器的正确性和有效性.

摘要：针对电动轮自卸车前、后桥运动不协调,侧倾性能差的现象,提出了一种新型长度可变、刚度可调节的非线性横向稳定杆。采用多体动力学方法建立了自卸车整车动力学模型,并进行了运动学性能和侧倾性能分析。结果表明:使用新型横向稳定杆的自卸车前、后桥运动不协调现象得到了解决,直线行驶性能提高了61.71%,侧倾性能提高了26.32%,驾驶人座椅侧向振动减小了7.1%;采用遗传算法对自卸车侧倾性能进行了优化,使侧倾性能提高了25%。

摘要：测试传输在很大程度上影响测试系统实现和测试集设计.良好的传输方法能够对测试集设计者屏蔽被测协议实现的相关信息,同时简化测试配置.根据测试集设计和测试传输分离的思想,采用通信实体和网络接口相结合的机制实现测试传输,网络接口用于定义逻辑测试接口的类型和相应的参数,相当于一台逻辑测试器;通信实体用于向逻辑测试器屏蔽下层服务提供者的类型,完成测试数据的发送／接收工作.该传输机制在IPv6协议一致性测试系统中获得了成功.

摘要：针对港口、码头、物流园区等场所节能环保用车的实际需求,首先提出一种以超级电容作为动力源的纯电动重型牵引车设计方案,实现动力总成选型与匹配理论计算;然后制定整车驱动控制策略,进而开发出超级电容纯电动重型牵引车原型样车;最后开展实车路测试验,检验原型样车的动力性、经济性指标。结果表明:空载最高车速达40km.h-1,0～30km.h-1加速时间仅需15s,连续行驶里程达20km;满载最高车速约为25km.h-1,连续行驶里程约5km,满足目标用户需要。