对信息流控制机制的一点注记——关于可变级机制语义的探讨

本文讨论对可变安全性级的基于执行的信息流控制机制的语义修改     

Lorentz序列空间的一致非方

当p>1时,d(w,p)一致非方的充分必要条件是,从而得到了一致非方与一致凸等价。     

光波束在介质波导中传播分析的方法探讨

本文着重对介质波导中光波束传播模数常用分析法——BPM法进行了研究.指出了该方法在分析和计算光波束传播模数应用上具有的局限性和复杂性:同时提出并探讨了一种建立在有限差法理论基础上的新方法,从而使介质波导中光波束传播模数的数值计算更为简便实用.     

非战争行动中野战炮兵与师炮兵完成任务所需的准备工作

非战争行动对野战炮兵提出了新的要求,因此其原则性任务和师炮兵完成任务所需的准备工作要与之相适应。本文还讨论了非传统野战炮兵对非战争行动的作用。     

化学非平衡尾迹流场的数值计算

高超音速化学非平衡尾迹流场的分析及计算是再入空气动力学的一个重要课题。本文采用轴线极限方程,成功地消除了控制方程在轴线上的奇性;采用二阶精度的中心差隐格式,求解了抛物化的Ｎ－Ｓ方程,得到了２０ｋｍ及６０ｋｍ再入时尾迹流场的数值解。计算结果表明,在远尾迹场,对电子数密度的主要影响是Ｏ_２的吸附反应。     

航天产品测试性设计准则

测试性是影响现代武器系统战备完好性的关键因素之一。为了使武器装备具有良好的测试性,应制定测试性设计准则,以实现测试性的规范化设计。本文阐述了航天产品系统测试性设计的一般原则和具体设计准则,内容包括结构设计、划分、测试控制、测试通路、元器件和部件选择、模拟电路设计、数字电路设计、射频设计、光电设计和机内测试等。     

复句分类新探

复句是从句子走向篇章的桥梁.复句关系是篇章结构关系的雏形.复句分类应着眼于篇章结构的基本关系,从本质上揭示复句内分句与分句之间内在的语义关系.     

论区域经济的非平衡发展

区域经济的非平衡发展,是实现共同富裕的正确道路。邓小平同志的这一构想丰富和发展了科学社会主义的理论。中国的国情决定了搞地区经济平衡发展,是不可能实现共同富裕的。“江海先行”方案是实现共同富裕的理想实施方案。率先发达的沿海地区和长江流域应当通过多种途径,给生产落后的老、少、边、穷地区以扶持和帮助,逐步实现共同富裕。     

专家系统中引入非单调推理的算法描述

专家系统中常用不精确推理,它们是单调的,单调的推理是有局限性的,而非单调推理则具有普遍的意义。在对不精确推理中的模糊推理、非单调推理分析和研究的基础上,提出了模糊推理和非单调推理有效结合的方法。首先研究了模糊推理与非单调推理的结合,引入模糊数学中贴近度的概念,解决了模糊命题的不相容性。其次提出了一个新的概念——假设正确度,解决了面向从属关系回溯中选择错误效率低的问题。最后给出了模糊非单调推理系统与专家系统一起工作的算法描述。