用解微分方程的方法求中值定理类问题中的辅助函数

用解微分方程的方法求中值定理类问题中的辅助函数龚漫奇（北方交通大学数学系１０００４４）对于微分中值定理类问题：１设ｆ（ｘ）在上可导且，求证：存在使２设ｆ（ｘ），ｇ（ｘ）在［ａ，ｂ］上可导且ｆ（ａ）＝ｆ（ｂ）＝０；求证：存在ξ∈（ａ，ｂ）使ｆ＇（ξ）＋...     

战场侦察武器装备效能评估分析技术研究

详细阐述了武器装备效能评估分析技术在国内外研究的现状和发展方向,并针对战场侦察武器装备效能评估分析技术研究的内容和关键技术进行了分析和论述。     

红外警戒系统作战环境的计算机仿真

文中论述了红外警戒系统视景仿真研究的主要内容，给出了仿真软件流程。探讨了满足红外警戒系统全方位、多目标视景生成的实时性方法。     

由信息时代作战特点探讨我军信息化建设途径

信息技术的发展及其在军事领域的应用,改变了未来战争的作战方式,使其在作战理念、作战手段、作战空间以及作战实施方面呈现出不同于传统作战方式的特点。本文对信息时代的作战特点进行了分析总结,并在此基础上对加强我军信息化建设途径进行了探讨。     

亿维讯推出最新CAI工具

全球计算机辅助创新技术（CAI）的领导者亿维讯集团日前分别在成都和北京召开新产品发布会，向广大中国用户隆重推出其最新产品——Pro／Innovator 2005。本发发布会的主题是“基于知识的创新”。Pro／Innovator2005除进一步加强了2004版已有的功能，     

加热炉热过程动态操作数学模型

根据加热炉生产特点,建立了钢坯加热过程的动态操作数学模型,分析了待轧时间变化时炉内钢坯温度分布情况。并针对加热炉待轧的灰色性,采用多目标灰色局势决策方法,得出了相应合理的待轧优化控制策略。模拟结果表明:该方法具有良好的动态性能,适合于在线控制。     

利用计算机辅助装调检测矩形大口径离轴非球面的方法研究

通过非球面的零位补偿法,完成了对矩形大口径离轴非球面镜的检测。先用光学设计软件Zemax从理论上分析了在检测中会出现的现象,并结合计算机辅助装调技术,确定在检测过程中相对敏感的自由度,然后控制这些量,使补偿器和非球面的相对关系与理论设计相吻合,在Zygo相位干涉仪上测得最终结果。在λ=632.8nm时,中心圆口径与两个边缘圆口径面形误差RMS分别为0.022λ,0.037λ,0.032λ。检测结果,达到预期目的。