摘要：基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性验证方法,具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型,以及安全性建模与分析语言AltaRica的语义模型GTS的元模型;然后建立了从SysML/MARTE状态机模型分别到时间自动机模型以及AltaRica模型的语义映射模型转换规则,并基于AMMA平台和时间自动机验证工具UPPAAL设计实现了对SysML/MARTE状态机的模型转换与系统安全性形式化验证的框架。最后给出了一个飞机着陆控制系统设计模型的安全性验证实例分析。

摘要：根据车削过程中工件直径误差的特点,提出了用自适应模糊系统预测由弹性变形等因素引起的工件直径误差的思路,通过梯度下降算法训练M amdan i型模糊系统,以确定合理的系统参数。根据工件直径误差与切削深度、进给量等的关系,进行车削实验,得到训练数据和测试数据,用训练数据训练模糊系统,进而用测试数据进行测试,得到结果合理,从而验证了利用自适应模糊系统进行工件直径误差预测的可行性。和回归分析的预测值进行比较,比较结果显示了自适应模糊系统在车削工件直径误差预测方面的应用具有优势。

摘要：针对杂波背景多输入多输出(MIMO)雷达与目标博弈问题,从最小均方误差(MMSE)估计角度提出两种可行的雷达波形设计优化策略,结合两步注水算法得到不同策略下的博弈方案。基于Stackelberg均衡模型,博弈方案用注水法分配目标干扰功率,用通用注水法分配雷达信号功率。仿真比较了杂波背景两种优化策略下雷达先行的博弈方案,结果表明优化策略2得到的MMSE值更小,证明了优化策略2的有效性;但雷达信号和目标干扰总功率均较小时,优化策略2反而不如优化策略1,对雷达正确选择优化策略以赢得与目标的博弈有一定借鉴意义。

摘要：为了对SAR图像进行实时压缩和本地存储,基于FPGA和ADV212芯片,利用空域增强Lee滤波算法,设计实现了SAR图像实时降斑压缩系统。测试结果表明,在降斑处理基础上,系统能对大数据量SAR图像进行压缩,产生JPEG2000格式码流,满足实时性、压缩模式和压缩比可选的要求,可支撑目标探测、区域监控等任务应用。

摘要：本文在介绍飞行控制系统仿真实验平台研制基础上,重点讨论其核心部分实时仿真系统的分析与设计。考虑到实时仿真系统要求高可靠性、高稳定性、高实时性,本文选用MATLAB为工具,完成对实时仿真系统各个模块的分析与设计。最后通过实时仿真系统独立试验以及整个仿真实验平台的联合试验,证明此实时仿真系统满足飞行控制系统半实物仿真实验平台的要求,效果良好。

摘要：通过一组阵列式压电薄膜,设计未知边界条件下振动梁的模态传感器。在梁表面均匀布置一组具有相同形状的矩形聚偏氟乙烯(PVDF)薄膜,通过测量PVDF输出与激励力之间的频率响应函数,利用伪逆方法设计这组PVDF的加权系数,从而实现对结构模态坐标的测量。实验研究表明:该方法设计的模态传感器具有良好的滤波效果,非目标阶模态坐标峰值与目标阶相比,下降了12 dB以上,并且不需要预先知道结构的边界条件或者模态信息。进一步讨论了当振动梁的边界条件发生微小扰动时所设计模态传感器的鲁棒性。

摘要：传统的描述语言和工具不能充分、准确的对产品设计知识进行分类和描述。本体是对一个特定领域中重要概念的共享的形式化的描述。本文基于本体论的思想,从本体论的角度对企业产品设计知识进行分类和概念的抽取,利用OWL本体描述语言对产品设计知识本体进行形式化描述,通过OWL约束公理来定义本体模型,在此基础上构建出基于OWL的产品设计知识本体模型。以汽车造型设计为例,介绍了汽车产品造型设计知识本体模型的构建。

摘要：枢纽航线网络的设计参数如果发生变化,最优的航线网络可能也发生变化,此时航线网络缺乏鲁棒性.为增强枢纽航线网络的鲁棒性,引进区间型设计参数情形集,建立了区间型枢纽航线网络相对鲁棒优化模型,修正了最短路算法,并与模拟退火法相结合,设计了模型的混合求解算法.最后,采用航线网络设计的经典数据集进行了算例仿真,结果表明相对于确定性优化设计和离散型鲁棒优化设计的方法,该方法获得的枢纽航线网络具有更强的鲁棒性.

摘要：数字孪生车间作为实现制造物理世界和信息世界智能互联与交互融合的一种潜在的有效途径,近期被国内外相关领域学术界和企业界高度关注。基于前期对数字孪生车间的概念、系统组成、运行机制、特点和关键技术等研究,设计了数字孪生车间的参考系统架构,并从数字孪生车间4个主要系统组成(物理车间、虚拟车间、车间孪生数据、车间服务系统)的角度出发,分别对物理车间异构要素融合、虚拟车间多维模型融合、车间物理—信息数据融合、车间服务/应用融合等关键问题进行了研究分析。从物理融合、模型融合、数据融合和服务融合4个维度,系统地探讨了实现数字孪生车间信息物理融合的基础理论与关键技术,为企业实践数字孪生车间提供了参考。

摘要：针对电动轮汽车驱动系统响应时间过长,响应不稳定,鲁棒性差等问题,建立简化了的电动轮汽车整车动力学模型和永磁无刷直流轮毂电动机驱动模型.以滑模变结构理论和PID控制理论为基础,根据电动轮汽车驱动系统运行的动态特性品质及滑模运行的动、静态特性要求,分别设计系统外环滑模-PID决策控制器及内环PID跟踪控制器,通过内、外环控制的有效结合,使系统具有了兼顾滑模变结构控制稳定性好、鲁棒性高和PID控制简单易行、响应迅速的特点,提高了系统的控制品质.仿真结果表明:基于滑模-PID控制的驱动系统能够迅速控制整车驱动系统和轮毂电动机的运行,明显改善了汽车动力学特性和轮毂电动机特性.