本书以弹箭设计及飞行仿真所需的外弹道理论和方法为主线，在系统阐述外弹道学基本知识、弹箭飞行稳定性理论的基础上，着重介绍现代外弹道设计方法、外弹道相似性理论、外弹道减阻与增程技术、弹道参数辨识方法与弹道预报技术、炮弹弹道修正理论与技术、制导炮弹滑翔弹道规划与组合制导控制方法等内容。本书以作者研究团队近40年从事外弹道理论

本书系统介绍了发光的概念，以及发光材料的发光机理、规律、性能及应用，是一本内容全面、材料新颖、理论性较强、技术先进且兼顾实用性的图书。本书共12章，内容包括：绪论、固体发光基础知识、光谱分析、上转换发光、半导体理论、稀土材料发光、色度学、分立发光中心发光、能量传递与输运、光致发光、电致发光、激光器发光原理。本书提供配套

本书在分析智能导学系统、题意理解等国内外研究现状的基础上，面向代数应用题，提出表征辅导系统。本书首先分析了应用题的结构特征，提出基于情境模型的知识表示方法；然后基于自然语言处理技术，根据框架语义和句模理论，构建面向代数应用题的框架语义知识库，提出基于层次结构的句模，在此基础上，对题型进行识别，并抽取应用题题目文本中的情

本书内容包括：引言、命题逻辑的语言和语义、真值树、自然演绎推理系统、命题逻辑的完全性。

关于齐次Moran集维数的若干问题研究

方程组解的可信计算指的是，根据方程组解的存在定理，运用区间数学理论，构造算法严格计算方程组解的包含区间，对工程领域中的风险控制和稳定性非常重要。本书研究方程组解的可信计算理论和算法，就一般的非线性方程组，一是使用区间的中点半径表示法，对当前主要的可信计算方法进行改进，二是根据Kantorovich存在定理，提出新的可信

本书共分为8章，主要包括基础知识、极限与连续、一元函数微分学、导数的应用、一元函数的积分学及其应用、多元函数的微积分初步、微分方程、无穷级数。

本书探究了大学数学教学策略与实践方面的问题，介绍了数学教学的基础知识，揭示了大学数学教学模式的理论基础，明确了数学教学体系构建是实现高校数学教学高质量发展的重要途径这一事实；主要运用文献调查的方法揭示了大学数学教学的研究面貌，指出了教学目标对高校数学教学的具体影响；围绕探究式教学、趣味化教学、反例教学等重点论述了新时代

本书内容包含：铝：飞机为什么要用铝来造？硅：制作芯片就是在硅上面刻图案；磷：燃烧吧，ATP！；硫：传说中来自地狱的元素；氯：金门大桥为什么每天都要粉刷？；钾：泥巴掺了钾，变成金坷垃！钙：仙丹没炼成，豆腐来捣乱等内容。

全书分为三个部分。第一部分包括第一章和第二章，主要介绍了概率论和随机过程的基本知识。第二部分介绍了离散状态的随机过程，包括第三章离散时间、离散状态的马尔可夫链和第四章连续时间离散状态的Poisson过程及第五章Poisson过程的推广更新过程，通过介绍离散状态的随机过程使学生对随机过程随时间变化的特点有初步的认识。第三