Young不等式、Holder不等式与Minkowski不等式的新证法

本文给出著名的Young不等式,H(?)lder不等式与Minkowski不等式的新证法。在通常的书上都利用Young不等式来证H(?)lder不等式,再用H(?)lder不等式来证Minkowski不等式。而在本文中用凸函数的特性证明上述三个不等式。     

基于BP网络的机组工作量评估方法研究

为研究机组工作量的评估问题,搭建了模拟飞行实验平台,设定了7种不同负荷的飞行任务。模拟飞行中,对被试的生理指标进行测量,并采集其主观评价值。采用BP网络进行数学建模,将生理指标测量值作为输入、NASA-TLX表法的评价值作为输出,利用输入、输出模式对对网络进行训练,并对该方法进行验证。结果表明,基于BP网络的机组工作量评估方法,较传统方法更为稳定、精确,且大大降低了被试数量。提高训练模式对的数量、简化生理指标的测量过程,并保证测量精度是该方法成功的关键。     

用于评定火炮火力支援效果的马尔科夫模型

根据炮兵作战理论和实际作战流程，建立了用于评定间瞄武器进行火力支援的作战效能模型。该模型不仅可以比较不同火炮系统的作战效能，还可通过修改模型参数使其能反映不同的作战强度，对炮兵的战术决策有一定的参考意义。     

三余度数字伺服控制系统建模与动静态特性研究

对研究的三余度伺服控制系统的机理进行分析，建立了被控对象的线性化数学模型。在此基础上，对数字动压反馈环节的参数进行了仿真寻优，并对无故障和两种单点故障情况下系统的动、静态特性进行了仿真和分析。带惯性负载试验结果证实了理论建模分析的正确性，并表明数字动压反馈也能起到对负载谐振的阻尼作用，与机械式、模拟式实现形式相比，它更灵活、方便。     

变长竿式制导问题数学模型

制导问题数学模型对研究交会及拦截问题都具有重要意义，本文提出一种变长竿式制导问题数学模型，此模型视线被当作一条变和旋转竿，通过研究其旋转，长度变化来研究制导系统性能，比常用模型含有更多关于制导问题性能的信息。用它释放了比例导引律下小视线距视线角速率失稳原因，提出了制导系统视线全值域角速率稳定以提高制导精度的设计方法，讨论了比例导引能否实现预测栏截问题等。     

GPWS方式2数学模型的建立

在研究了机载语音近地警告系统(GPWS)的基础上,建立了方式2的数学模型,弥补了在研究GPWS系统时没有数学模型的不足。方式2的警戒与警告具有特殊性,警戒区是实边界,具有确定的函数关系;警告区是虚边界,函数不确定,是由程序根据时间数据和高度数据自动判断的。该数学模型对加深语音警告系统的理解、培训、开发以及维护提供了一个新的视角。     

准分子激光矫正屈光不正的原理及其实现

研究了准分子激光治疗屈光不正的原理及其实现方法，介绍了准分子激光治疗屈光不正的原理及其种类。在初始角膜模型假设的基础上，提出了能够用于近视、远视和散光等屈光手术的数学模型，计算出切削量和切削的层数，并给出了相应的算法框图。就准分子激光角膜切削机理和“飞点扫描”等关键技术进行了研究。研究成果直接用于准分子激光眼科治疗机，并给出了准分子激光眼科治疗机的原理框图。实验和临床数据表明。取得了满意的手术效果。     

费尔马猜想的古往今来

介绍费尔马猜想，梗概地论述了３００多年来数学家和数学爱好者为证明费尔马所产生的可歌可泣的事迹，评介了怀尔斯对费尔马猜想的证明。     

达布定理的推广与柯西中值定理的一个新证明

本文推广了达布定理,並用它给出了柯西中值定理的一个新证明。     

数据库开放对象的数学模型

本文根据系统论提出了开放对象的概念,认为客观世界是由开放对象构成的。它本身是一个递归定义的层次结构,同时具有目的性和适应环境、改造环境的能力即具有自我进化的能力。每个开放对象与其外界的通讯只能通过信息来完成,而且允许它们对同一个消息具有完全不同的理解。开放对象实质是面向对象+人工智能+数据库的一个模型。同时本文还给出它的形式定义。