流编程模型下的存储一致性模型

在流编程模型下建立了一个新的存储一致性模型--流一致性模型,它比传统的释放一致性模型更加松弛.讨论了流一致性模型对程序设计和系统设计的要求,给出了一个正确的系统实现,并且指出流一致性模型的编程和实现并不比现有的一致性模型复杂.     

技术保障信息化分布式数据库系统研究

针对我军装甲装备技术保障信息化建设的特点和要求,应用分布式数据库理论,提出了建立装甲装备技术保障分布式数据库系统的方法,阐述了实现该系统的设计要求和关键技术。     

梯度学习的参数控制帮助线程预取模型

对于非规则访存的应用程序,当某个应用程序的访存开销大于计算开销时,传统帮助线程的访存开销会高于主线程的计算开销,从而导致帮助线程落后于主线程。于是提出一种改进的基于参数控制的帮助线程预取模型,该模型采用梯度下降算法对控制参数求解最优值,从而有效地控制帮助线程与主线程的访存任务量,使帮助线程领先于主线程。实验结果表明,基于参数选择的线程预取模型能获得1.1~1.5倍的系统性能加速比。     

一种面向分布式寄存器文件的VLIW调度新策略

新一代面向密集计算的高性能处理器普遍采用分布式寄存器文件来支撑ALU阵列,并通过VLIW开发指令级并行.面向分布式寄存器文件的编译成为新兴的研究热点,在斯坦福大学的kernelC编译器ISCD中最早提出了面向分布式寄存器的VLIW调度问题,在该领域处于领先水平,但是没有解决重负载下的分布式寄存器分配问题,使应用编程受到极大限制.在其基础上提出了一种新的VLIW调度策略,实验结果表明能够很好地解决重负载下的分布式寄存器分配问题.     

分布式放大前传中继辅助多用户对等通信中的鲁棒波束成形

针对分布式放大前传中继辅助多用户对等通信系统研究了存在非理想信道状态信息(CSI)时的分布式中继网络(DRN)鲁棒波束成形设计问题。采用统计CSI误差模型,考虑了两种鲁棒优化问题:一是从公平性的角度出发在DRN总发送功率约束下实现多个目的节点间的信干噪比(SINR)平衡;另一是从有效性的角度出发在保证各个目的节点服务质量需求(SINR大于预设门限)约束下最小化DRN总发送功率。对问题的分析和建模表明,在多用户情况下,这两个问题都是难以求解的优化问题。通过引入半定松弛(SDR)思想,将上述两种优化问题转化为可利用内点法有效求解的半定规划(SDP)问题。最后通过仿真验证了所提设计的鲁棒性能。     

Controlled warfare: how directed-energy weapons will enable the US Military to fight effectively in an urban environment while minimizing collateral damage

US military operations are increasingly conducted within urban environments and with these operations come the risk of increasing the number of civilian casualties and infrastructure damage. The use of non-lethal weaponry, such as directed-energy weapons, is one method for minimizing collateral damage. This method enables US military forces to effectively fight within urban environments through force escalation capabilities. Using a series of historical examples and future scenarios for urban warfare, this article highlights deficiencies affecting military capabilities in military urban operations, addresses the consequences of collateral damage, assesses the effectiveness of directed-energy weapons in military urban operations and encourages further funding, research and integration of non-lethal weaponry, such as directed-energy weapons, within the US military.     

嵌入式装备测试系统设计研究

针对现代装备测试性需求,利用ARM微处理器构建了基于CAN总线网络的多路嵌入式数据采集系统,介绍了嵌入式数据采集系统硬件组成、硬件模块实现以及软件设计;检测数据经过CAN总线存入SD卡存储器,并进行后期数据的存取和处理．实验结果表明,该系统能够可靠、准确地对多路信号进行采集,实现对火炮装备的检测．     

面向实体的作战行动数据采集系统研究与设计

为满足基地对作战行动数据的实际需求,针对作战行动数据的特点,提出了以作战实体为中心的数据组织方式和作战行动的模板描述方法;运用软件工程技术对系统进行了需求分析和方案设计,并结合主流的web技术构建了系统解决方案。系统能够对训练、演习中的作战行动进行标准化数据描述并记录形成作战行动数据库,为演习评估、裁决等实际应用提供数据支撑。经过长期的数据积累和数据挖掘,能够对部队的作战行动进行合理的评价与预测,为建立长效的数据采集、使用机制提供保障。     

分布式灾难恢复系统

分布式灾难恢复系统采用客户层、服务层和管理层3部分组织形式,完成数据的网络备份和恢复,并提供管理功能。系统通过构建分布式远程备份体系结构,采用ACE(自适配通信环境)面向对象构架,线程池和反应器编程模式,实现了网络互连、事件驱动程序设计,完成了备份计划制订、数据备份、数据恢复3个阶段各个模块的功能。     

分段轴压阶梯梁自由振动及稳定性分析的传递函数方法

采用分布传递函数方法,分析任意多段分段常轴压阶梯梁的自由振动和稳定问题,得到形式统一的封闭解析解。根据梁横截面几何尺寸、梁材料和轴压沿梁轴线的变化,将梁分成多段子梁,对每一子梁采用传递函数方法得到其解析解,通过各子梁间的位移连续和力平衡条件,得到分段常轴压阶梯梁的各阶自由振动频率和失稳载荷及其相应的模态形状。通过三阶梯梁的算例验证本文方法的正确性,并以四阶梯梁为例,计算分段轴压多阶梯梁自由振动的固有频率。