11 组元化学反应气体粘性激波层钝体绕流数值计算

本文采用１１组元化学模型对双曲体粘性激波层化学非平衡绕流流场进行了数值计算,给出了压力、温度,Ｎ＋２、Ｏ＋２、Ｎ＋、Ｏ＋和ＮＯ＋摩尔浓度及ｅ－数密度在驻点的分布,并与７组元、５组元的计算结果作了比较。     

知识库推理和维护系统 (KBIMS)

赋予知识库自动推理和维护功能,从而使知识库有效和实用,是知识库面临的关键问题。本文提出了一程基于缺言推理的知识库自动推理和维护方法,并介绍了根据此方法,在VAX—Ⅰ/780上使用GKD—Prolog 作为工具实现的一个知识库推理和维护系统。     

消防投入非效率现象的经济学分析

首次提出消防投入非效率的观点,通过典型火灾案例的分析,归纳总结消防投入非效率现象的主要表现形式,运用经济学原理分析消防投入非效率现象存在的原因,对当前消防安全领域投入非效率现象进行理论探讨,并提出消除消防投入非效率现象的对策建议,以期破解消防工作中普遍存在的消防投入的经济“瓶颈”问题,指导政府、企业、个人和其他组织作出更加理性的消防投入决策,加快构建和谐社会消防工作新格局的建设进程。     

关于n阶方阵特征值绕动性定理的推广应用

ｎ阶非奇异方阵的性态在很多文献中都有详细论述,但这些结论是否能推广,却尚未有人问津。本文首先介绍ｎ阶非奇异方阵的几种性态,然后在推证ｎ阶方阵特征值绕动性定理的基础上,重点把这些性态推广到一般ｎ阶方阵。     

非政治理论课教学过程中的德育

本文从简要分析非政治理论课德育的历史与现状入手,论述了非政治理论课的德育功能,研究了非政治理论课的德育目标,探讨了非政治理论课的德育方法,提出了非政治理论课教师做好德育工作应具备的素质。     

FKMS 不精确知识库推理维护系统的设计与实现

简述在ＳＵＮ工作站上用ＰＲＯＬＯＧ语言所实现的ＦＫＭＳ不精确知识库推理维护系统的理论基础和有关的实现技术,并对ＦＫＭＳ系统给出评价。     

植物非试管内高效快繁新技术

植物非试管内高效快繁新技术李长潇,王永萍植物非试管内高效快繁技术,是宁夏科隆生物工程开发研究所在国内外首次结合中国国情,开拓出的一个系统配套对植物组织培养和常规育苗技术双重突破的,用于多种经济植物无性快繁的一种新手段．它的快繁综合效率已达到或超过组织...     

非线性规划方法在弹道优化设计的应用

弹道优化问题是两点边值问题。这类问题的数值方法主要有间接方法和直接方法两种。间接方法主要应用庞特里亚金的极大值原理和古典变分法,此方法用于弹道优化问题显得特别复杂,难以实际应用。直接方法将弹道优化问题转化为非线性规划问题来求解,省去了使用协态方程,避免了繁杂的梯度函数的计算,更适合于计算机的特点,是今后弹道优化设计的发展方向。该文只叙述直接方法中的一种非线性规划方法在弹道优化中的应用。