基于EATI的多分辨率联邦可组合性判定研究

联邦可组合性判定是在组建联邦之前,在语义层面分析邦员之间是否存在一种或多种交互方式能够满足联邦的仿真需求和目的。多分辨率联邦执行的有效性是判定联邦可组合性的主要标准。基于EATI方法,提出了多分辨率组合性的形式化理论,给出多分辨率联邦概念模型与多分辨率联邦组合模型的形式化描述。通过比较这两个模型得出联邦有效性的形式化定义,并在此基础上得到联邦可组合性判定方法。该判定方法从实践中总结并在实践中验证,对于构建军用仿真联邦的可行性分析具有一定的借鉴价值。     

百分之百的标准是这样达到的——本溪市落实专武干部待遇情况调查

新闻事实： 3月30日,辽宁省本溪市在媒体上发布一条消息：全市31个乡镇党委换届,涉及15个乡镇的撤乡并镇工作圆满完成,13名新调整的乡镇武装部长走马上任：与此同时,各县（区）组织部门正式下文,31名乡镇武装部长100％进党委班子,享受副乡镇级待遇,达到了上级文件规定的“基层人武部、基层专武干部做到机构保留、编制单列、人员专职、进同级党委”的要求。     

可拓理论在装备采办风险评价中的应用

随着我国社会经济的不断发展,我国已经全面进入新的经济发展时期,社会主义市场价经济环境建设较为完善,市场整体环境出现了很大的变化。装备采办是获取装备的最基础途径,在装备的全寿命周期中发挥着决定性的作用,覆盖了装备从开发到具体使用的全过程。装备在采办过程中,存在着多种风险因素,因此需要可靠的、科学的理论对风险进行分析,从而完成风险规避。本文对可拓理论在装备采办风险评价中的应用进行了深入的研究与分析,并提出了一些合理的意见和措施,旨在进一步提高装备采办过程中风险分析和评价工作质量。     

时下流行“隐身”潮

"低可探测技术",这个专业味儿十足的名词,其实就是我们通常所说的"隐身技术".     

边界扫描测试信息压缩算法

为了解决 IEEE 1 1 49.1边界扫描测试优化生成问题 ,提出了一种新型的测试矩阵压缩算法。该算法首先应用被测试电路板的结构信息构造有限制的短路故障模型 ,然后以有限制的短路故障模型为基础对测试矩阵进行压缩处理 ,尽可能剔除测试矩阵中的无效测试信息 ,从而达到测试优化生成的目的。理论分析及实验验证表明 ,该算法能够获得紧凑性指标相当优化的测试矩阵 ,实现较高的测试信息压缩率     

可测试性技术中的图论问题及其求解

近 2 0年来 ,为了解决结构日益复杂的电路测试问题 ,可测试性技术得到了迅速发展。在可测试性技术中 ,针对不同的测试对象 ,如何对可测试性设计方案以及测试策略进行优化 ,降低总体代价 ,是亟待解决的问题。为了解决这两类典型的优化问题 ,首先应用图论方法建立问题的拓扑描述模型 ,然后通过构造相应的逻辑求解函数 ,给出问题最优解的求解算法 ,并通过简单实例演     

边界扫描测试的数学描述模型

IEEE1149.1边界扫描机制是一种新型的VLSI电路测试及可测试性设计的有效方法,为了高效地应用边界扫描机制对电路系统进行测试,必须对其所涉及的理论方法进行深入探讨。本文应用布尔矩阵理论建立起边界扫描测试的数学描述模型,并基于所建立的模型导出了边界扫描测试中的故障检测条件和故障隔离条件。为边界扫描测试生成算法的深入研究奠定了理论基础。     

一种可堆叠存储介质的设计

参考服务器/客户端的可堆叠通信模式,以最常见的SATA硬盘作为存储介质,Marvell 88SM9705为核心控制芯片,设计了一种可堆叠的存储介质。经测试,88SM9705通过解析主机端发送来的SATA 3.0协议定义的帧信息结构(Frame Information Structure,FIS)中PM Port地址字段,能依次对其所连接的多个SATA硬盘进行正确的读、写等操作,实现了存储设备的可堆叠,稳定性能良好。是一种实现扩容同步提速的可堆叠存储阵列解决方案,在嵌入式存储系统领域具有很好的应用前景。     

基于GA-ML-PMHT的多基站无源协同定位方法

针对无源协同定位系统中低可观测目标的航迹初始及维持问题,提出一种基于遗传算法的极大似然概率多假设的多基站无源协同定位方法。首先,建立多基站无源协同定位系统数学模型。其次,提出基于极大似然概率多假设的无源协同定位航迹初始算法,并首次利用遗传算法解决极大似然概率多假设中的优化求解问题,以提高目标检测跟踪性能。最后,通过滑窗法实现航迹维持。仿真结果表明,所提方法能够有效解决多基站无源协同定位系统中低可观测目标的航迹初始及维持问题。     

大型电子装备层次诊断应用研究

根据电子装备诊断的特点,探讨了利用层次性理论对电子装备进行故障诊断的必要性和可行性,给出了层次性诊断中层间诊断和层内诊断的概念、原理及实现方法。首次将可列集的概念引用到层次诊断中,并给出了层次诊断中故障模式空间的选取原则,为层次诊断的工程实现和未来进行多信息诊断提供了基本框架。