测量误差平稳性检验的数据预处理研究

在航天飞行器测量中,测量噪声是不可观测的。这就需要对含有误差的测量数据进行预处理以获得测量噪声的信息。本文从理论上对广泛应用的两种模型进行了系统性的研究,为处理方法的合理性提供了理论依据,并用仿真结果进行了验证。     

正态总体参数的Bayes评估及其应用

论述了正态总体参数的Ｂａｙｅｓ评估问题及其在命中精度估计中的应用。叙述了正态总体参数的验前、验后分布和多阶段试验之下的估计,推导出了正态总体参数的Ｂａｙｅｓ估计置信区间以及Ｂａｙｅｓ假设检验,提出了相容性检验的必要性及其方法,并对反舰导弹的命中概率和舰空导弹的落入概率作出Ｂａｙｅｓ估计。     

对1~∞型极限的一种简易求法

该文对1~∞型极限建立了一种简易的求法,对求不少1~∞型极限带来了方便.     

介词和动词的根本区别及其辨别方法

现代汉语中介词和动词的兼类词,在具体句子里的归属和辫识,是语法界长期以来争论不已而在教学中又极易弄混的问题.本文认为,在一个句子中,介词是失去了指示时间信息功能的次要动词,动词就是具有指示时间信息功能的主要动词.因而,在含有此种兼类词的句子中,可根据动词(包括兼类词)的数量和能否带助词“过”来判定这个兼类词的归属:a.仅此兼类饲一个,则必为动词;有其他动词,则必为介词;b.不能带助词“过”的是介词,能带上的是动词.     

五参数寿命分布S(α,β,λ,μ,δ)

在四参数寿命分布的基础上增加了一个非中心参数,进而提出五参数寿命分布S(α,β,λ,μ,δ),并给出了定义、基本性质及其证明。     

短路故障的测试产生方法

在PCB上,两个不相邻的芯片管脚或引线发生短路是实际应用当中最常见的故障。通过分析固定型故障和桥接故障之间的关系,给出桥接故障测试序列产生的系统计算方法。该方法已应用在一个PCB故障测试系统中。     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

带限信号的最大熵正则外推算法

基于最大熵正则化构造了一种新的稳定的带限信号正则外推算法。当噪声δ（t）∈L~2[—T.T],其误差能量为δ,而且当δ→0时,所求得的正则化解将在（- ∞,∞）内一致收敛于问题的精确解。     

加强正规化科学管理加速我军质量建设

认真学习贯彻江泽民主席新时期我军正规化科学管理思想,对于促进实现“两个根本性转变”,具有重要的现实指导意义。要依法加强正规化管理,把部队纳入科学管理轨道;加强正规化科学管理的关键在干部,要全面提高干部的管理素质;正规化管理的核心是强化纪律观念,纪律是军队的命脉;要重视研究新情况,运用和创新科学的管理方法。