山鹰:大山里飞出的雄鹰

作为我国自主研制的新型高级教练机,山鹰(教练9)从云贵高原的大山里呼啸而出,及时地填补了我国第三代战斗机飞行训练需求的空白,从而有效地满足了上接第三代战斗机、下接教8飞机的训练需求。在经过几年的全面试飞和改进完善后,山鹰高级教练机的飞行品质及综合性能日趋成熟,已经顺利投入小批量生产并陆续装备部队,开始在我国空军的飞行员训练体系中扮演重要角色。     

福禄克推出新型压力校准产品满足仪器仪表技术人员的准确度和量程需求

正2014年01月21日,中国北京消息——福禄克公司进一步丰富其精密压力校准产品线,推出新款700G系列精密压力计和两款新型压力校准器:FLUKE719PRO和721双量程压力校准器。量程从0.36至10,000 PSI,具有18种不同的工程单位可选,允许用户对仪表进行定制,以满足客户各种特殊的压力校准需求。从此,仪器仪表、过程及工厂维护技术人员能够拥有完备的校准设备,坚固耐用、值得信赖。     

先进的机场场面导向和控制系统浅析

放眼全球化的当今社会,航空交通密度日益增大,机场运营繁忙,部分枢纽型机场的吞吐量逐渐趋近饱和。这种现状对先进的机场场面导向和控制系统提出了更高的要求。与传统的机场导向和控制系统SMGCS(Surface Movement Guidance and Control System)相比,先进的机场场面导向和控制系统A-SMGCS(Advanced-Surface Movement Guidance and Control System)功能分为四部分:监视、路由、导向及控制。将对A-SMGCS的应用背景和发展状况给出较为全面的调研总结[1],并结合ICAOA-SMGCS Manual[3]论述对A-SMGCS提出详细功能需求,最后在此基础上提出A-SMGCS的系统功能架构。     

有关偏好及效用函数的几个问题

文章给出消费、需求理论中有关偏好、效用函数的几个结论并给出数学证明。继而向人们初步介绍把数学工具引入到经济学研究中去。     

通货紧缩与货币供求分析

通货紧缩是指一般物价指数的持续下降,它是一种货币现象,表现为货币供不应求。当前人民币供给的增长速度大于ＧＤＰ的增长速度,人民币供不应求的原因在于其流通速度下降幅度超过了供给增长速度。人民币流通速度下降是因为社会公众以货币形态持有收入倾向的增强。所以,货币需求过快上升引发了通货紧缩。     

不断超越极限——美国PNT体系结构的目标

美国PNT体系结构开发团队通过评估未来国际环境和长期用户需求与目前体系结构存在的能力差距,提出了更能完全满足未来需求,且能填补能力差距的目标PNT体系结构,以及实现这一目标的指导原则及其策略和建议。未来环境趋势评估     

脱胎换骨的升级——瑞典研制JAS-39E“鹰狮”战斗机

以全球视野来应对战斗机市场的激烈竞争,是瑞典JAS-39战斗机全面升级过程的显著特征。这种升级方法不仅以较高的成本效益缩小了与竞争对手的差距,还加强了与供应商的联系,进一步贴近了用户需求。     

基于有限状态机的操作系统需求层形式化验证

操作系统是航天器必备的基本软件,操作系统的可靠性和安全性直接关系航天型号任务的成败.虽然目前已采用多种手段对操作系统进行可靠性和安全性保障,但仍存在不能完全排除缺陷的情况,因此对空间操作系统开展形式化验证研究势在必行.需求层验证是操作系统形式化验证的一部分,本文在分析操作系统需求的基础上,采用有限状态机在操作系统需求层进行形式化描述,并针对应用在某航天器上的SpaceOS2在需求层进行了建模,相应地在定理证明工具Coq中进行了描述建模;然后定义了六条操作系统应满足的全局性质并进行了形式化描述,给出了系统模型满足这些性质的机器可检查的证明.证明结果表明采用有限状态机方法对操作系统需求层进行形式化验证是可行的,为进一步全面形式化验证奠定了基础.