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

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

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

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

摘要：在以边界元方法(BEM)和计算流体力学方法(CFD)构建的软件平台基础上,实现了有关深水浮式海洋平台设计中诸多水动力性能计算,包括波浪中的运动响应与荷载计算、砰击荷载预报、气隙校验、立管动力响应分析、系泊与动力定位系统评价,以及出入水问题的解与工程应用等.所有算例计算表明,计算或预报结果具有工程应用精度,可以为工程设计提供参考.

摘要：如何更好地满足3C融合的需求,是超便携个人计算机(UMPC)普及的关键.北大众志-SK系统芯片,将传统个人计算机中分布在主板上的中央处理器、北桥与南桥芯片组、显示控制器和其它输入输出控制设备等众多芯片的功能集成到单一芯片中.该系统芯片采用2D/3D扩展指令、软硬协同视频解码加速部件、硬件视频编解码等方式,在高效完成多媒体处理的前提下,有效降低了对中央处理器性能的需求.通过在单芯片内部实现多层次的存储架构,简化了数据的传输路径,提高了数据传输的效率,从而提高系统性能.此外,在该系统芯片中还实现了众多主流的输入输出接口控制部件,以满足个人计算机的日常应用需求.该设计达到了高集成度、高性能、低功耗的设计目标,提供了面向教育、电子政务和个人信息处理等领域的低成本、低功耗、易使用、便于维护的UMPC解决方案.

摘要：以"火星探路者"登陆系统的全向式气囊缓冲装置为例,首先对折叠后无褶皱的气囊和带褶皱的气囊分别进行了折叠建模研究,并对气囊中的加强筋和收缩绳进行了等效描述。然后采用具有较高计算效率的均压模型对气囊充气展开过程进行了模拟仿真。为全向式缓冲气囊的参数化设计打下良好的基础。

摘要：信息-物理融合系统(Cyber-Physical System,CPS)特有的计算、通信、控制的联合动态性,计算与物理的多尺度融合性,系统环境及状态的时空交互性以及系统动态行为的非确定性,不但使面向CPS的模型驱动设计与验证方法在CPS系统设计中更为重要,而且也向其提出了新的技术挑战.论文在结合典型实例分析CPS系统特征及其模型构建具体挑战的基础上,研究并总结了CPS动态行为建模的主要方法:一体化建模方法从CPS系统层面描述计算过程与物理过程的交互与融合;时空交互建模方法关注CPS系统行为与时间及空间关系的语义表示;功能和实现兼容建模方法侧重刻画CPS系统的逻辑设计和物理实现的映射与支撑;而集成建模方法则重点解决多异构模型的交互方式与语义的一致表达.论文基于多异构实体的CPS系统建模框架,提出了一种CPS系统结构与动态行为的协同建模方法,并用CPS-ADL对其进行了实现和验证.

摘要：通过比较分析中国现行的《地铁设计规范》与美国消防协会最新的《轨道交通客运系统标准》在火灾情况下地铁车站的紧急疏散计算方法、各类疏散设施的指标取值,指出中国规范中自动扶梯的疏散通行能力取值偏高,没有明确给出各类疏散设施的疏散步行速度等指标,同时提出中国规范在疏散设计规定方面的不足,为日后规范的修订与完善提供参考.

摘要：分别建立某装载机驾驶室及室内声腔有限元模型,通过单点输入多点输出(single input and multiple output,简称SIMO)法模态试验验证了声振耦合模型的准确性,测取悬置点激励进行频率响应分析及室内噪声预测。对驾驶室进行声学灵敏度分析,采用声传递向量法对驾驶室进行声学板件贡献度分析并对关键板件进行形貌优化,同时添加橡胶阻尼材料抑制壁板振动,进行二次声压虚拟预测。结果表明,声学灵敏度分析可得到多阶关键声振耦合频率,声传递向量法板件贡献度分析能准确定位产生噪声峰值的关键板件,形貌优化及添加阻尼材料的方案降噪效果显著,室内总声压级降低了4.43dB。此方案系统地为低噪声车身设计提供了技术路线,减少了传统方案的主观性和重复性,缩短了研发周期,降低了研发成本。