创新驱动：企业最高发展战略——长安汽车快速发展的秘笈

长安汽车起源于1862年的上海洋炮局．1983年进入汽车行业．是中国最大的“军转民“企业。经过多年自我积累、滚动发展．成为中国汽车第一阵营企业．形成了以重庆汽车工程研究总院为总体规划、系统集成．意大利（都灵）造型设计．日本（横滨）内外饰和精致工艺．英国（诺丁汉）动力总成制造．美国（底特律）底盘技术支持,上海市人才优势和车身工程．     

针对滑动窗口算法的椭圆曲线密码Cache计时攻击

基于访问驱动攻击模型,提出一种针对椭圆曲线滑动窗口算法的踪迹驱动Cache计时攻击方法,引入了方差思想判断每次窗口滑动是否查找了预计算表,提高了攻击成功率．仿真实验结果表踞：由于滑动窗口算法引入了预计算表,易遭受Cache计时攻击．精确采集NITT-192一次加密过程中窗口105次滑动的Cache时间信息即可获取完整密钥．本文的攻击方法对其他使用预计算表的公钥密码具有借鉴意义．     

舰载作战系统网络冗余切换时间高精度测量研究及实现

舰载作战系统网络采用高抗毁性的双冗余网络,网络冗余切换时间直接关系到舰艇的作战能力,是衡量舰载作战系统网络的核心指标。为了更准确地测量冗余切换时间,提高测量精度,本文针对典型的舰载双冗余网络结构,利用WindowsXP操作系统,提出一种基于RTX构建的高精度的舰载作战系统网络冗余切换时间测量系统实现,与专业测量仪器的测量结果相比,该测量系统同样能精确测量网络冗余切换时间,并具备部署方便、应用灵活的特点,对于检测、评估舰载网络性能具有重要意义。     

基于MDA的MARTE模型形式化转换

非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。     

Study on Modeling and Control Strategy for Electric Drive Motor of Tracked Vehicles

Aimed at the requirements for electric transmission system of a military tracked vehicle, the motor's design indexes were analysed and calculated. A model based on saturate inductance parameter of interior permanent magnet (IPM) synchronous motor was brought forward by using finite element analysis. And its control strategy based on the largest running capability was studied also. The experiment results for a scale model show that the modelling method improves the model's accuracy, and the motor's control strategy is effective.     

多阶段任务系统可靠性并联冗余优化模型

多阶段任务系统是一类普遍存在的复杂系统,研究其可靠性冗余优化对于该类系统设计具有重要的参考价值。针对多阶段任务系统的可靠性并联冗余优化问题,提出了采用冗余故障树和冗余BDD来描述系统冗余结构的方法。给出了冗余模块在多阶段任务系统中的可靠度计算方法,建立了整个冗余多阶段任务系统可靠度计算模型。在此基础上以费用最小为目标,构建多阶段任务系统可靠性冗余优化模型,并应用微粒群算法对模型进行求解。算例验证了模型的合理性及算法的有效性。     

水下传感器网络冗余设计

冗余设计可以有效地延长水下传感器网络寿命和提高网络可靠性,基于可靠性理论,考虑水下传感器网络环境及节点垂直移动等约束,在对冗余非共享方案研究的基础上,结合水下传感器网络特点,提出了适合于水下传感器网络特点的冗余共享设计方案,并给出了冗余共享方案的可靠性模型,通过数值计算,研究了网络可靠性变化曲线及冗余节点数与网络寿命的关系。经过MATLAB软件仿真,表明在同一网络寿命情况下,相对于冗余非共享方案,冗余共享方案所需冗余节点数更少,降低了网络部署成本,达到了冗余优化的目的。     

自主船非线性路径跟踪控制

针对非线性欠驱动自主船(Autonomous Surface Vehicle,ASV),提出了一种非线性路径跟踪控制方法.采用以自由参考点为原点的Serret-Frenet坐标系摧述路径跟踪误差及其动态模型,并选用非时间量为参考变量,摆脱了时间因素的影响;综合应用Lyapunov理论与Back stepping方法设计...     

通信时延下欠驱动自主水下航行器编队控制

研究了通讯时延情况下的欠驱动自主水下航行器(Autonomous Underwater Vehicle)编队控制问题。考虑到水下通讯所面临困难,将编队问题分为两个部分：一部分为单个AUV的路径跟踪控制问题,保证每个AUV沿各自的期望路径航行;另一部分为路径参数的协同控制问题,保证每个AUV期望的路径参数能够实现同步,进而达到编队控制的目的。提出的控制方案仅需要AUV之间交互路径参数信息,通讯需求量小,满足实际工程需求且能够允许一定的通讯时间延迟。数值仿真结果验证了控制算法的有效性。     

创新驱动“数字化”江麓

近日,江麓机电科技有限公司成功研制出井下的“生命绿舟”——“CTJ10／96—6”自驱式矿山救援系统。该系统主体结构包括应急救援密封舱、矿用自行动力系统、舱内环境控制生命保护系统、实时环境监控和通信保障系统四大部分,能为井下10位被困人员赢得至少96小时的生存时间,此产品是江麓公司充分应用“数字化”技术的又一科技创新成果。