∑Δ型D/A转换器的原理

Σ△D/A转换器已广泛地应用于许多音频和电信产品中,并有望获得大于20bits的精度。本文分析了其工怍原理,并解释了获得高分辨率的机理。     

三点后方交会法的检验方法的改进

本文对现行的三点后方交会法的检验方法提出质疑,并通过测试数据计算分析,证实此法存在问题,在此基础上,对三点后方交会法提出了新的检验方法,并在考核场地进行检验,证实此法正确可靠。     

带有先验分布的Bayes统计抽样方案费用评价模型

以往在评价和比较几个统计抽样方案时,多从比较分析两种风险率入手,由于这种方法的局限性,往往不能得出满意的结论。本文利用Bayes方法,在给出先验分布及有关损失函数的条件下,从各种抽样方案的平均总损失入手比较几个可选方案的优良性。本文提供的与二项分布相对应的算法具有一般意义。示例所得结果也是令人满意的。     

计数抽样检查标准ISO2859、JISZ9015、GB2828放宽检查抽样方案优良性分析

文对ISO2859、JISZ9015和GB2828三个标准的放宽检查抽样方案的OC和ASN曲线进行了全面的计算和分析,重点讨论了上述标准的二次和多次抽样方案的等效性和有效性,并对各标准优良性进行了分析和评价。     

三种实时误差配准算法性能分析与比较

对雷达组网中现有的三种实时误差配准算法即扩维扩展卡尔曼滤波算法(Augmented State Extended Kalman Filter)、解耦卡尔曼滤波算法(decoupled Kalman Filter)和准确算法(Exact method)进行了介绍与分析,并通过蒙特卡罗仿真试验从算法估计的均方根误差、估计的...     

向时间自动机转换的军事电子信息系统性质验证

日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需.给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对系统性质进行验证;系统的性质要求用时序逻辑语言CTL或TCTL公式表示.雷达干扰机系统说明了该方法的实际应用效果.     

产品抽样及生产定型时机探讨

本文从确定可接收质量水平和过程平均值入手,通过对相应国内外军用标准的分析和总结,给出了两种确定产品抽样及生产定型时机的方法。并最终选定了第二种方法,用于目前我国装备建设中军工产品抽样和生产定型时机的确定。     

建筑内装修防火材料见证取样检验工作存在问题及对策

阐述了建筑内部装修防火材料见证取样检验的意义,分析了目前此项工作的现状和存在问题,提出了下一步的对策。     

考虑可信度时导弹最大射程的Bayes评估

首先讨论了一种验前数据和现场试验数据相容性检验的新方法, 考虑验前信息可信度, 研究了导弹最大射程的 Ｂａｙｅｓ 评定和 Ｂａｙｅｓ 估计。最后给出了数据分析的例子。     

必须把好原材料的进厂检验关

产品质量的优劣,很大程度上取决于原材料的好坏,原材料是影响产品质量的重要因素之一。各生产企业必须严把原材料的进厂检验关,确保入厂原材料符合要求。