众核处理器访存链路接口的FPGA验证

面向众核处理器提出一种访存链路接口的现场可编程门阵列(Field-Programmable Gate Array,FPGA)验证平台,用于对处理器访存链路关键部件进行功能及可靠性测试。提出片上读写激励自动产生与检查机制、以太网接口硬件用户数据报协议(User Datagram Protocol,UDP)协议栈和FPGA芯片间多通道并行链路三项关键技术并进行设计实现。实验结果表明提出的各项关键技术功能正确,不仅丰富了功能验证中随机激励产生及结果验证的手段,而且实现了对链路数据检错和多lane间延迟偏斜纠正逻辑的可靠性测试与评估。经过该平台验证的访存链路接口在实际芯片中通过了功能正确性测试,证明了验证的有效性。     

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

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

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

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

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

对于非规则访存的应用程序,当某个应用程序的访存开销大于计算开销时,传统帮助线程的访存开销会高于主线程的计算开销,从而导致帮助线程落后于主线程。于是提出一种改进的基于参数控制的帮助线程预取模型,该模型采用梯度下降算法对控制参数求解最优值,从而有效地控制帮助线程与主线程的访存任务量,使帮助线程领先于主线程。实验结果表明,基于参数选择的线程预取模型能获得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技术构建了系统解决方案。系统能够对训练、演习中的作战行动进行标准化数据描述并记录形成作战行动数据库,为演习评估、裁决等实际应用提供数据支撑。经过长期的数据积累和数据挖掘,能够对部队的作战行动进行合理的评价与预测,为建立长效的数据采集、使用机制提供保障。