将数学建模思想融入高等数学教学的探索与实践

论文阐述了将数学建模思想渗透到高等数学教学中去的必要性，探讨了在高等数学教学中融入数学建模思想的方式、方法,以及在高等数学中如何进行数学模型案例教学的问题.     

基于物理知识约束的数据驱动式湍流模型修正及槽道湍流计算验证

对湍流摩擦阻力的精准预测是学术界和工业界普遍关心的重要问题，而数据驱动式的湍流模型修正方法对此显示出较大的潜力和前景。提出了一种基于物理知识约束的数据驱动式湍流模型修正方法，根据湍流摩擦阻力分解获得先验物理知识，在S-A湍流模型的生成项中引入非均匀分布的修正因子，以修正因子为设计变量，设定包含物理知识约束的目标函数，利用离散伴随方法求解目标函数与设计变量之间的梯度关系，通过高效率的迭代求解获得修正因子的分布。以槽道湍流为例，验证了包含物理知识约束的数据驱动式建模方法的优势，并分析了物理知识约束对湍流摩擦阻力预测精度的影响，结果表明引入物理知识约束可进一步提高湍流摩擦阻力的预测精度。     

多星监测调度问题的建模与仿真研究

多星监测调度问题属于典型的资源受限项目调度问题,对其模型研究一直是求解该问题的难点和关键。本文首先对多星监测调度问题进行问题描述,并分析了该问题特有的约束条件及实际应用中的调度需求;其次,在综合考虑监测卫星数目尽可能多、优先级高的卫星优先监测、监测任务平均分配等3类优化目标的基础上,为该问题建立了一个组合优化模型;最后,将该模型应用于2站10星调度的仿真实例中,结论表明该模型能够为多星监测调度问题的求解提供有效的支持。     

基于LS-SVM的飞机飞行事故率的预测建模

针对飞行事故率预测建模难的问题,基于统计学习理论,采用LS-SVM方法,建立了飞行事故率的预测模型.仿真试验结果表明,LS-SVM具有很高的建模精度和较强的泛化能力,从而验证了该方法的有效性和先进性.     

基于时间自动机的操作系统中断管理建模与验证

时序正确性问题一直以来都是航天嵌入式软件的热点、难点问题.运用时间自动机理论,对某星载操作系统的中断管理进行了建模,同时对与操作系统行为存在交互的环境进行了建模,以描述完整的中断管理过程.利用模型检测工具箱Uppaal验证了中断管理模块的状态可达性、安全性、活性等方面的性质,证明了其服务行为的正确性.     

连续变速颤振试验的自适应粒子滤波算法

连续变速颤振试验的采集信号通常为非平稳信号,其频率和幅值随时间变化,尤其在亚临界状态下, 变化程度十分剧烈。常用的非平稳信号时变参数建模分析方法,在信号非平稳程度较高的情况下难以对信号 的模态进行准确地分析和跟踪。为了解决这一问题,结合信号非平稳度量计算方法,提出一种改进的自适应粒 子滤波算法,并通过仿真实验数据对所提算法在高非平稳度情况下的跟踪性能进行验证。结果表明:与一般粒 子滤波算法相比,本文方法在高非平稳度情况下具有更高的跟踪精度。     

某型无人机运动学建模与分析CSCD

采用运动学建模方式对无人机进行总体设计,并通过数字风洞仿真实验对其进行验证,结果表明设计指标正确、合理。     

基于特征的消失模参数化设计系统

针对实际工程项目需求，分析了消失模铸造的特点，运用ＩＤＥＦ０方法建立了消失模设计活动模型，在此基础上，遵循面向对象方法，利用ＥＸＰＲＥＳＳ信息建模语言建立了基于特征的消失模参数化设计系统的信息模型，并阐述了其系统框架及关键技术。     

完善计量检测体系程序文件促进规范化管理

分析了完善计量检测体系程序文件的目的、意义及公司计量文件体系体系结构，通过对计量检测体系程序文件的实施和进一步完善，提高了企业计量管理水平。     

一种爬壁机器人的动力学建模

City-Climber是1台爬壁机器人,为研究该机器人的3D路径规划问题,建立了City-Climber在方形房间内运动的运动学模型和动力学模型,该动力学模型包括3个子模型,机器人在地面、墙壁和天花板的运动分别用1个子模型描述.引入无量纲变量分别对3个子模型进行简化,再用Matlab软件对模型进行仿真,验证了动力学模型的正确性.该模型可用于解决City-Climber在3D环境下的路径规划和避障问题.