基于方位角和多普勒的机动目标无源定位跟踪可观测条件

可观测性分析是无源定位与跟踪系统的前提和基础,只有满足可观测条件才能对系统进行正确求解。应用线性系统理论,以目标方位角和多普勒频率为观测量,对匀加速和匀转弯这两类最常见的机动目标进行了可观测分析,为进一步研究机动目标的无源定位与跟踪提供了理论前提。最后给出了仿真实例,验证了理论分析的正确性。     

考虑随机共因失效的可修表决系统任务成功性模型

针对装备突发性故障的随机性对装备任务成功性的影响,引入随机共因失效对其进行描述,考虑以往建模采用指数分布等典型分布造成模型适用性较窄、通用性不强的问题,利用Phase-type分布对模型参数进行假设,建立了任务成功稳态概率模型和系统失效故障间隔时间模型,并结合算例演示了部件数量k对系统任务成功性指标的影响。算例结果表明：该模型构建合理,适用性较强,具有一定的实践价值。     

语义树方法及其可靠性和完备性

Ａｎｄｒｅｗｓ在《ＡｎＩｎｔｒｏｄｕｃｔｉｏｎｔｏＭａｔｈｅｍａｔｉｃａｌＬｏｇｉｃａｎｄＴｙｐｅＴｈｅｏｒｙ：ＴｏＴｒｕｔｈＴｈｒｏｕｇｈＰｒｏｏｆ》一书中给出的语义树方法是一种能直接适用于句子集的反驳方法,但其中关于语义树方法的可靠性和完备性定理（３２０１）及其证明是错误的。本文通过例子指出并纠正了这一错误,同时对修正后的可靠性和完备性定理给出了详细的证明。     

内闭环火控系统技术研究

内闭环火控系统技术研究,是鉴于我国目前对脱靶量检测仪器尚不能很好地解决的情况下,提出的一种折衷的技术途径。它对引起脱靶量的几种主要误差因素的可校正性进行了分析,利用火控、校正、数字图像合成、误差预测和炮控计算机系统,完成内闭环控制、仿真模拟火控系统的脱靶量,将热线控制原理应用于该系统,并提出了工程实现的方案。     

一类生态捕食模型的局部稳定性

文献3讨论了系统(1)在两个平衡点时平衡点的豫定性,分界线环的存在性等性质,本文则讨论系统(1)在两个平衡点时的局部稳定性。     

软件重用综述

本文综述了软件重用的发展历程、基本概念、形式、技术和方法,然后就软件重用的技术领域和管理范畴分析了目前存在的主要问题后,提出了相关的解决方法,展望了软件重用的未来。     

市场与认识

当代社会中市场机制成了经济体制的主导与主流,因此我们有必要从认识论的角度考察市场机制。在市场经济中价格具有重要的认识功能,价格是数量化的,它使复杂的市场交易权衡过程有了精确的刻度、标尺,同时通过了解某种商品的价格,在宏观上判断这种商品的市场行情与趋势;市场决策是在有限的认识资源条件下的认识活动,是一种处理不完全信息的理性活动;市场认识的重要特征是预见性,市场认识的重要问题是市场预测的准确性和科学性;市场具有博弈性,掌握市场认识的博弈性质及规律可以丰富认识论的研究;市场经济需要政府干预,但政府在认识和决策时也要受到约束和限制,所以市场与政府的认识是互补的。     

一个快速的临界跟踪策略 VLSI故障模拟新方法

运用九故障信息标记（X,D,M,R,E,Q,T,P,U）,提出了加速扇出重汇聚引线临界性计算的一种故障模拟新方法,理论分析表明该方法是有效的。     

椭圆型方程 Chebyshev 拟谱区域分解格式的等价形式

本文对一维、二维椭圆型方程建立了Ｃｈｅｂｙｓｈｅｖ拟谱区域分解格式,对这种拟谱区域分解格式给出了一种等价的广义变分形式。