可交换的s代数与格蕴涵代数

研究了一类模糊逻辑代数系统——交换s代数.给出了交换s代数一系列基本性质,证明了交换s代数关于其上的偏序关系≤构成格.最后,证明了在交换s代数中定义xy=x′→y,则X是一个格蕴涵代数,在格蕴涵代数L中,定义y=x′→y,则L是一个交换s代数.     

逻辑系统L*中公式的Γ-演绎真度理论

在命题逻辑系统L*中引入了公式的Γ-演绎真度概念,研究了Γ-演绎真度的若干特征性质,并给出了真度推理规则。     

美空军敏捷作战概念研究及其影响分析

剖析了美空军敏捷作战概念的提出背景,研究了敏捷作战概念的内涵及其与相关作战概念的关系,并在此基础上分析了敏捷作战概念下美空军航天领域作战任务及作战能力的发展变化,通过研究可深入了解美空军敏捷作战概念及对其未来作战能力的影响,具有一定的参考价值和启示。     

浅谈星载天线技术

<正> 1.概述 装载在人造地球卫星上的天线称为星载天线,是卫星信号的输入和输出器,卫星通信正是通过星载天线与地球站天线之间互相传输电磁波来实现的。随着卫星通信技术的发展,对星载天线的需求量与日俱增,对星载天线的技术性能要求也越来     

£ukasiewicz三值命题逻辑系统中公式的概率真度理论

利用势为3的非均匀概率空间的无穷乘积,在£ukasiewicz三值命题逻辑中引入了公式的概率真度概念,证明了全体公式的概率真度值之集在[0,1]中没有孤立点;利用概率真度定义了概率相似度和伪距离,进而建立了概率逻辑度量空间,证明了该空间中没有孤立点,为三值命题的近似推理理论提供了一种可能的框架。     

俯仰减速器末级密封的改进设计

俯仰减速器的末级密封问题是影响减速器正常工作的一个重要因素。本文从工程实践的角度分析了几种末级密封的设计方法与特点，并提出了一种新的改进方法。     

项目经济评价的一种新效率指标——投资收益率

本文定义了投资收益率指标,在对其特性进行深入分析的基础上,证明了该指标在投资项目经济评价中比现行效率指标适用范围更广,可操作性更强,描述项目的经济性水平更准确,从而得出了应当用投资收益率作为项目经济评价主要效率指标的结论.     

沥青路面冷再生利用技术概述

阐述了路面再生利用技术的意义及应用前景,在介绍沥青路面现场冷再生技术概念的基础上,控制了其适用条件及优点,并对冷再生技术进行了分类,论述了再生混合料的配合比设计及施工要点,最后对其发展方向作了展望。     

过盈联接在齿轮减速箱中的应用技术

从工程实践的角度，介绍了齿轮减速箱中齿轮与轴过盈联接的应用技术，重点介绍了过盈量的确定和配合种类的选取。