稀土之争

美国总统奥巴马3月13日宣布,已联合欧盟和日本向世界贸易组织提起一项针对中国限制稀土出口的贸易诉讼。外媒分析,中国资源类产品正陷入国际社会的深度博弈。请看本刊综合新华社、《人民日报》等汇集的——     

基于深度优先搜索与增量式求解的极小一阶不可满足子式提取算法

随着寄存器传输级甚至行为级的硬件描述语言应用越来越广泛,基于一阶逻辑的可满足性模理论(Satisfiability Modulo Theories,SMT)逐渐替代布尔可满足性(Boolean Satisfiability,SAT),在VLSI形式化验证领域具有更加重要的应用价值。而极小不可满足子式能够帮助EDA工具迅速定位硬件中的逻辑错误。针对极小SMT不可满足子式的求解问题,采用深度优先搜索与增量式求解策略,提出了深度优先搜索的极小SMT不可满足子式求解算法。与目前最优的宽度优先搜索算法对比实验表明:该算法能够有效地求解极小不可满足子式,随着公式的规模逐渐增大时,深度优先搜索算法优于宽度优先搜索算法。     

第4讲 FTN传输技术研究现状和发展

在FTN系统中,码元以超Nyquist速率进行传输,可以保持误码性能不变。该理论推广至频域后,性能得到进一步提升,但FTN的实现仍存在诸多问题需要解决。文章首先从FTN系统的发送、接收和硬件实现几个方面,对超Nyquist现有的技术进行了总结和归纳。在此基础上,又探索了发送端信号设计和预编码的优化思路,指出了有关低复杂度接收和硬件实现的一些发展方向。之后将该理论推广至衰落信道,介绍了一些初步的研究成果,并提出了可进一步改进的方向,以推进其工程实现。这些方面的研究对于FTN的应用和发展有着重要的意义。     

关于平行军事体系的哲学思考

平行军事体系的建立与运作不仅仅是一个技术上的问题,也是一个哲学上的问题.文章从后一方面着手,探讨平行军事体系的哲学内涵,指出了人工军事组织及系统与实际军事组织及系统“等价”的困难,以及平行军事体系的应用限制.     

高速互连网络中基于网卡的归约计算硬件卸载机制

聚合通信广泛应用于高性能计算的研究和工程领域。在大规模的科学和工程计算中,聚合通信开销占据很大比例,有时甚至可达到全部消息传递开销的80%,是高性能计算系统的性能瓶颈。因此提出了一种基于网卡的归约计算硬件卸载机制,通过在网卡上嵌入归约操作逻辑部件,实现了数据在传输过程中的计算,减轻了CPU的负担,降低了通信延迟。通过FPGA平台实现了16节点的归约操作实验,并基于xNetSimPlus模拟器模拟了不同节点规模的归约操作。实验证明,卸载机制能有效减少聚合通信中归约操作的时间,所提支持归约计算的网卡卸载机制最高可以加速归约操作2.71倍。     

浅探物联网在智慧军工的应用及智慧军工产业链

<正>智慧军工的产业链非常完整,从元器件到设备、软件产品到信息服务、解决方案提供到平台运维,智慧军工基于物联网三个功能层都包含了硬件产品、硬件设备到软件产品、系统方案,和公共管理系统、行业应用系统、以及第三方物联网平台的运维服务。0.引言在工业4.0和两化融合的大背景下,制造业正经历一场工业的全面转型升级,虚拟全球将与现实全球相融合。通过计算、自主控制和联网,人、     

某高炮连集成指挥平台的设计与实现

介绍了一种基于USB技术的便携式高炮连集成指挥平台,叙述了设计构想及工作原理.详细描述其硬件电路设计,包括:主控机、通信控制电路及各接口电路的设计;然后给出了相应的软件设计,包括单片机通信控制软件及主控机各主要工作模块的软件设计.实验证明该集成指挥平台具有良好的性能,且充分考虑系统工作环境电磁环境复杂、无间断工作的特点...     

漫画

一艘正欲破冰上浮的俄罗斯潜艇说:"且慢,这里有个加拿大人正宣示他们对北极的主权呢"。演讲VS潜艇,在硬件方面,加拿大人显然还没做好争夺北极主权的准备。无论是宣誓主权还是捍卫主权,没有口头功夫显然不行,可是     

洗澡

洗澡在我们的生活常态中是一个普通得不能再普通的类别,但在部队却不普通。这里固然事事都按章程来,一日生活坐立行都有条条框框管着你,但你细细的咂摸吧,每一个细长悠远的日子,都能品出不同的味道,而每一个看似平凡的生活常态,却有着它特殊的讲究。洗澡本是件惬意的事,但对于新兵而言,它就绝不仅仅是为了洗澡而洗澡那么简单了。百炼成钢,好铁来到了熔炉,任何一个生活细节都是锤炼。洗澡能培养新兵们的时间观念。新兵连里洗澡是有时间限制的,如果你够快,在规定的时间里完成了脱衣、润湿、洗头、打香皂、冲洗几个必     

加强海岛部队经常性思想教育

一、海岛部队条件艰苦,官兵面临困难多,必须在端正价值追求上下功夫。海岛部队条件艰苦、环境恶劣、交通不便,基础设施相对薄弱,官兵面临家属就业难、子女入托入学难、看病就医难等诸多实际困难。为此,必须在不断改善硬件设施的同时,注重抓好思想教育,引导广大官兵正确看待现实困难,端正人生价值追求。坚持用先进典型激励,引导官兵树立正确的人生观。要积极发扬荣誉的激励作用,大力宣扬＂扎根在海岛、奉献在基层、成才在岗位、建功在军营＂的先进典型,浓厚爱岗敬业、爱岛如家的良好氛围。组织开展＂守岛卫士＂评比活动,广泛开展＂学典型、当