Context 的非单调推理

基于文［１］定义的ｃｏｎｔｅｘｔ逻辑ＣＬ,本文分别引入限制理论和缺省理论到ｃｏｎ－ｔｅｘｔ推理中,给出有关的定义和定理。     

舰船利用柴油机冷却水余热作吸收式制冷空调装置热源的研究

对某型舰利用６—１５０Ｃ柴油发电机冷却水余热作为低品位热源进行溴化锂吸收式制冷进行了热力计算和节能分析。计算及分析结果表明：利用６—１５０Ｃ柴油发电机组冷却水余热作为某型舰吸收式空调机组的热源是可行的,它不仅满足该型舰制冷量的要求,还具有明显的节能效果。     

用有限元法优化高射机枪结构设计

以某高射机枪为研究对象,采用有限元法对该枪进行建模,并用实验研究的结果检验和修改了理论模型。计算了该枪的结构动态特性和枪口动力响应,从改善射击精度的角度出发,通过对若干结构修改方案的模拟计算,提出了该枪结构修改的参考意见。     

光学仪器最佳调整方案的确定

光学仪器调整是否合理对保证光学仪器的质量起着重要的作用,当前的调整理论视光学系统为无象差的理想系统,即在制定调整方案时没有考虑调整对象差的影响,将光学零件调整对系统象差的影响引入到光学仪器的调整理论中,可使光学仪器的调整方案更加合理,完善。     

UIMS中的虚拟窗口及实现

为了解决屏幕上安排功能的面积不能满足应用要求的问题,本文提出了虚拟窗口的概念,并简单地介绍了在UIMS中实现虚拟窗口的原理,最后以一个自行开发的用户界面管理系统┅Fastool为例,较为详细地说明了如何在UIMS中增加虚拟窗口的功能。将Fastool应用到实际开发中的结果表明,虚拟窗口能提高系统用户的工作效率,同时也使系统的界面产生了较好的视觉效果。     

布尔函数不交化的立方体算法

布尔函数的不交化是进行系统可靠度计算中的重要步骤。本文提出了一种进行布尔函数不交化的立方体算法。基于布尔函数的立方体表示法及不交代数,文中定义了立方体的有关运算法则,建立了立方体矩阵不交化算法,并用算例进行了说明。本算法的实现效率高,操作简便。     

主战坦克机动性评估的灰色关联模型

灰色关联分析法是一种定性分析与定量研究相结合的方法,通过运用该方法建立了主战坦克机动性评估模型。实例表明,这种方法科学合理,为主战坦克机动性的评估提供了新思路。该模型具有普遍意义,可推广应用于其它主战坦克性能的评估。     

舰船研制的技术风险问题分析

分析了舰船研制的技术风险的组成以及与其他风险成分的相互关系,给出了技术风险的指标体系、各指标的量化分析手段及其评价,并提出了相对研制风险的概念和这种分析方法的实施途径.     

Measuring the Impact of Military Spending: How Far Does a DSGE Model Deviate from Reality?

Dunne, Smith, and Willenbockel (2005) argue that the mainstream growth literature has not found military spending to be a significant determinant of economic growth, yet much of the defense economics literature has noted significant effects. This paper revisits this issue by using a DSGE-VAR approach, combining both theoretical and empirical methods. We present that the DSGE approach (estimated with the Bayesian technique) and the Bayesian VAR with the Minnesota Prior both lead to worse in-sample fit than our proposed DSGE-VAR framework. The DSGE-VAR approach reveals that a positive military spending shock boosts the U.S. economy, increasing per capita real GDP growth, consumption, inflation and interest rate. Our results are robust to alternative model specifications. Future investigations such as exploring an optimal military spending policy could adopt the approach in this paper to determine the best model – empirical, theoretical, or a combination of the two.     

Comparison of rank aggregation methods based on inherent ability

Ranking is a common task for selecting and evaluating alternatives. In the past few decades, combining rankings results from various sources into a consensus ranking has become an increasingly active research topic. In this study, we focus on the evaluation of rank aggregation methods. We first develop an experimental data generation method, which can provide ground truth ranking for alternatives based on their “inherent ability.” This experimental data generation method can generate the required individual synthetic rankings with adjustable accuracy and length. We propose characterizing the effectiveness of rank aggregation methods by calculating the Kendall tau distance between the aggregated ranking and the ground truth ranking. We then compare four classical rank aggregation methods and present some useful findings on the relative performances of the four methods. The results reveal that both the accuracy and length of individual rankings have a remarkable effect on the comparison results between rank aggregation methods. Our methods and results may be helpful to both researchers and decision‐makers.