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

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

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

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

纯粹的张益唐

2013年5月21日，纯粹数学领域最著名的刊物《数学年刊》（Annals of Mathematics）宣布接受一篇于4月17日投稿的论文，创造了该杂志从收到论文到确定发表的最快时间纪录——一般情况下，这个时间是两年。     

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

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

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

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

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

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

发现学习法在数学教学中的应用

本文结合大学生的思维特点及数学学科的特点，论述了恰当地采用发现学习法将使“教师教的活动与学生学的活动”达到事半功倍的效果。     

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

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

基于VR技术的导弹培训系统的研究与开发

根据操作训练的实际情况，基于VR技术，运用MultiGen-Paradigm公司提供的建模软件MultiGen-Greator和实时视景模拟驱动软件Vega在Visual C 环境里对导弹培训系统进行了研究与开发，为导弹部队的模拟训练开辟了一条崭新的途径。该系统功能较全、简洁方便，具有较强的真实感、沉浸感、交互性，其设计具有较强的针对性和实用性。     

关于高职数学课程设置和教学改革的探讨

基于数学教育的价值和高职教育的特点,讨论了高职数学课程的设置原则,提出了高职数学教学改革的两点初步设想。