独立函数的表达式及完备性

给出独立函数的逻辑表达式和递推关系式。证明了独立函数系的线性完备性。讨论逻辑函数关于独立函数系的展开式、不同极性独立函数系展式之间的关系,以及与Reed-Muller展式之间的关系。这些问题的结论为建立新型的通用逻辑模块奠定了理论基础。     

新世纪战机F—35横空出世

当前美国军队第一线战机大都是二十年前的作品，虽然这些飞机性能依旧卓越，但随着俄罗斯、欧洲以及亚洲的一些主要国家相继研制了多种先进型号的战机，美国人也感觉到了压力。为此，美国空军（ＵＳＡＦ），美国海军（ＵＳＮ），美国海军陆战队（ＵＳＭＣ）和英国皇家海军（ＲＮ）联合招标，希望研制一种先进攻击战斗机。洛克希德．马丁公司以其优异的设计最终排除众多竞争对手，脱颖而出，夺得了这项价值３，０００多亿美元的有史以来最大的军队采购合同。２００１年１０月 ２６ 日，美国国防部已经正式宣布与该公司签订研制、生产新世纪战…     

飞机动态机动指标测量

表征飞机在空中格斗时动态机动性能的新参数，是完成任务所需时间和机动的空间方位的函数，虽然这些参数是针对指向即发射空战和滚转反应机动提出的，但是，这种方法适用于大部分空战机动。该参数可用于预测空战效果和一架飞机相对另一架飞机时间优势。     

Riemann积分及其性质的非标准刻画

在非标准扩大模型下，利用内序列族定义了Riemann积分，并在此基础上讨论了可积的条件及积分的一些性质。