单小批量武器装备保障的质量屋模型研究

摘要：针对单小批量武器装备保障的特殊需求,对传统的质量屋模型进行了改进,建立了基于装备保障需求与保障规则的质量屋模型,利用整数规划技术进行求解,使得单小批量武器的装备保障规则按照实际保障需求重新排列优先次序,并通过对某型火炮保障方案的筛选验证了模型的正确性．新的质量屋模型发展完善了质量屋的理论与方法,有助于提高单小批量武器的装备保障能力．     

瑞利和莱斯信道下放大转发DMT性能

当前协同通信中分集复用折中(DMT)的研究主要限于瑞利衰落信道,且为高信噪比(SNR)区域分析,但实际通信环境不是单一的,且系统信噪比是有限的。文中综合考虑实际通信系统信道环境变化和信噪比的限制,分别分析了变增益放大转发(AF)策略在瑞利和莱斯衰落环境下的中断概率和DMT性能。通过分析发现,当信噪比有限时,在莱斯衰落信道下变增益AF的DMT性能优于其在瑞利衰落环境下的性能,且随着莱斯因子K增大而变好。同时,推导证明了AF协议在瑞利和莱斯衰落环境下具有相同的传统高信噪比DMT性能。相比传统高信噪比DMT分析,有限信噪比DMT分析能够更准确的刻画系统的性能,更具有一般性。最后,对比分析AF协议采用变增益和固定增益在瑞利衰落环境下的DMT性能。     

偏振态演化对量子密钥分发影响分析

为了解决量子密钥分发(QKD)系统中的偏振态演化问题,文中分析了偏振态演化所引起的量子误码率问题,提出了通过电动偏振控制器的搜索跟踪算法来训练光纤链路的方法,达到抵消系统中存在的各种双折射的效果,将因双折射所引起的误码率从7%降至0.8%,大大提高了密钥分发的有效性。实验结果证明该方法能够有效解决QKD中的偏振态演化问题。     

数字化计量系统移动现场检测平台设计

针对数字化电能计量设备现场安装分散、现场检测困难的问题,提出了构基于无线通讯的模拟量输入合并单元、数字化电能表现场检测原理以及基于复合辛普森算法的电能计量算法;构建了数字化计量回路现场测试系统,设计了车载移动检测平台整体结构.采用一套传统计量装置现场检测系统与该平台进行比对,检测结果满足0.05级准确度要求.该平台实现...     

Steady-state analysis of load balancing with Coxian-2 distributed service times

This paper studies load balancing for many-server (N servers) systems. Each server has a buffer of size b ? 1, and can have at most one job in service and b ? 1 jobs in the buffer. The service time of a job follows the Coxian-2 distribution. We focus on steady-state performance of load balancing policies in the heavy traffic regime such that the normalized load of system is λ = 1 ? N^?α for 0 < α < 0.5. We identify a set of policies that achieve asymptotic zero waiting. The set of policies include several classical policies such as join-the-shortest-queue (JSQ), join-the-idle-queue (JIQ), idle-one-first (I1F) and power-of-d-choices (Po d) with d = O(N^α log N). The proof of the main result is based on Stein's method and state space collapse. A key technical contribution of this paper is the iterative state space collapse approach that leads to a simple generator approximation when applying Stein's method.     

大班幼儿建构游戏中同伴互动行为分析

采用非参与式观察法对36名大班幼儿建构游戏中的同伴互动行为进行观察,将收集到的344起同伴互动事件进行分析,从互动性别、互动主题、互动方式和互动情绪四个方面探讨大班幼儿在建构游戏中同伴互动行为的特征。并提出如下建议:教师应摒弃性别角色的刻板印象,鼓励女孩大胆体验建构游戏;教师应承认两性差异,给予男孩更多的耐心;幼儿园应定期评估材料的充分性与适宜性,投放充足且丰富的建构材料;教师应鼓励幼儿多进行分享、赞扬的友好互动。     

VLMC控制流软件可靠性度量方法

针对现有软件可靠性模型普遍不适用于实际软件的问题,分析了软件内部模块间控制转移机理,通过分离入口模块,提取一阶控制转移概率矩阵;弱化内部模块与出口模块间差异,重构二阶以上转移概率矩阵,在改进Cheung模型的基础上建立一个更符合软件实际的可靠性度量模型。针对变阶依赖（ VLMC）控制转移导致的可靠性度量难问题,通过对导致复杂依赖的多入多出模块进行节点扩展,将VLMC控制流转化为Markov链,利用所建立的软件可靠性模型对VLMC控制流软件进行可靠性度量。研究利用演绎推理对所建立模型进行了正确性形式化证明。最后给出了方法的实例验证。     

广义模型的音频分析方法

目前网络数据中包含有大量的多媒体数据,音频作为多媒体信息的重要载体之一,蕴涵了丰富的语义,有效地丰富和补充了人们对信息的感知和获取。而目前的多媒体检索主要利用的是常规的信息检索技术诸如视觉信息,往往忽略了音频信息,这已不能满足需要。音频信息检索就逐渐成为多媒体信息检索的研究重点之一。基于此,针对音频信息检索问题展开讨论,提出一种利用广义模型进行音频分析的新方法。该方法可应用到音频检索中,实验证明了该方法的有效性。     

软件静态分析融合技术研究

当代军备竞技以武器技术为核心,提升武器装备质量一直以来都是研制重点.装备软件作为武器装备调度的"大脑",关键程度不言而喻.随着武器研制技术的提升,代码规模激增,对装备软件的质量检测技术手段以及效率提出更严格的要求.为弥补单一测试工具检测造成的误检、漏检,提出了基于跨语言文本聚类的静态代码测试结果融合技术,实现多类型测试...     

信息对抗效能评估通用仿真框架研究

本文提出了一种信息对抗效能评估通用仿真框架的体系结构,在此基础上,对基于该体系结构的建模方法进行了研究。