加强约束的布尔可满足硬件求解器

利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题。相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一变元被反复连续翻转,降低了搜索陷入局部最优的可能。评估结果表明,求解器最多能处理32 000个变元/128 000个子句的实例。相比当前同类型的求解器,其求解效率明显提高。     

一类完全非线性函数的证明与计数

Helleseth等最近给出了一类二项式形式的完全非线性函数,这是至今为止所发现的第一类由两个互不等价的单项式组成的二项式形式的完全非线性函数。本文利用Frobinus自同构将其变形为一个新的二项式,给出了其完全非线性的简洁证明,指出了这类函数与x2是等价的,最后讨论了该类完全非线性函数的计数性质。     

两种相位鉴别器下的导航接收机跟踪环路性能分析及比较

Costas环路是导航接收机中常用的载波跟踪环路,目前关于环路性能的分析很多,传统的分析方法以及结论均是基于信号功率归一化的乘法鉴别器,且一般认为环路带宽在输入信号信噪比变化过程中是不变的。本文通过对目前数字跟踪环路实现中常用的两种鉴别器(基于总功率归一化的乘法鉴别器和反正切鉴别器)进行精确建模和分析,据此得到了两种鉴别器精确的热噪声跟踪误差表达式,并进行了仿真验证。通过比较可知,在输入信噪比小于4dB时,反正切鉴别器和归一化的乘法鉴别器的性能基本相同,两种鉴别器所能达到的跟踪门限信噪比基本相同。本文的结论可用于精确指导导航接收机的设计。     

二维弹道修正弹修正方法

为提高弹箭密集度,采用阻力修正原理进行纵向距离修正;增设阻尼片,调节炮弹的极阻尼力矩来改变炮弹旋转速度,进而调节偏流大小来实现侧向弹道修正,是一种低成本的二维弹道修正技术。基于牛顿流理论、经验公式和风洞实验数据提出了组合式二维修正机构弹道修正弹的扩增阻力系数和扩增极阻尼力矩系数计算方法,对不同阻力环、阻尼片结构的气动力进行了数值计算分析。分析了组合式二维弹道修正弹的侧向弹道修正原理,建立了其飞行弹道数学模型,对阻力环、阻尼片机构在飞行弹道上不同位置处作用对应的射程修正量、侧向弹道修正能力和动态飞行稳定性进行了数值计算。结果表明:该二维弹道修正技术可以满足对弹道纵向和侧向偏差修正的需求,且不影响炮弹的飞行稳定性。     

未来世界海上作战平台的发展趋势——评点近期中国周边军演海上典型作战平台

进入6月以来,中国周边环境不太安宁,以美国为首的14国举行了环太平洋2010军演,俄罗斯也举行了俄军在远东历史上规模最大的＂东方—2010＂军演,因＂华盛顿＂号航母是否进入黄海而备受关注的韩美联合军演也于近日落下了帷幕。三大军演各有特色,其中典型的海上作战平台更成为这些军演的一些亮点,我们在这三大军演中选取亮点,逐一评点,以探寻未来世界海上作战平台的发展趋势。     

美航母驶进黄海不足骇异

在美国、日本等14个国家举行的“环太平洋”军事演习中,共调遣了34艘战舰、5艘潜艇和百余架军机投入使用,参加演习的各国军人达两万多人。美国、韩国原定6月底在38。线黄海海域举行联合反潜演习。据传华盛顿考虑到来自北京的强烈反应,再次以技术层面的理由,将反潜演习推迟到7月初,届时也可能再次推迟甚至缩小规模。     

农事指南

6月中旬至7月中旬,随着气温的升高,红枣、葡萄等作物进入生长成熟的关键时期。这一时期,应做好果树的修剪、花果管理和病虫害防治工作,以确保果树高产。本期农事指南将针对这一阶段的田管任务为广大农业职工给予指导。     

“猛禽”演练海空联合作战

F-22“猛禽”（F-22Raptor）,是由美国洛克希德·马丁公司、波音和通用动力公司联合设计的新一代重型隐身战斗机,也是目前专家们所指的“第五代战斗机”。它将成为21世纪的主战机种,主要任务为取得和保持战区制空权。今年以来,F-22分别参加了美军的“环太平洋”多国联合军演和美韩联合军演。     

氮化硼先驱体的合成及其热分解特性

以硼氢化锂和硫酸铵为原料合成了氮化硼陶瓷先驱体环硼氮烷,以GC MS、FT IR和1H NMR等方法对其组成和结构进行了表征和确认.环硼氮烷在80℃左右保温72h后可以得到固化的聚硼氮烷,而后经热分解得到氮化硼陶瓷,以TG、FT IR、XRD等对聚硼氮烷的热分解行为进行了分析和表征.结果表明聚硼氮烷中仍然存在一定数量的B H和N H键,在后续的热分解过程中,会进一步发生脱氢反应,1400℃时陶瓷产率约为89.5%.B H键的断裂主要发生在800℃以前,N H键的消失则需要较高的温度.聚硼氮烷800℃热分解后无机化程度已经较高,其产物基本上为无定形的BN,在1600℃则形成h BN.     

集总电阻加载的超薄吸波材料设计

通过在周期结构中加载集总电阻,能够有效吸收入射电磁波,减小目标RCS.给出了两种超薄吸波结构,都具有厚度薄、重量轻的特点.分析了两种吸波材料的吸波机理,给出了表面反射系数的计算公式.实际加工了两种吸波材料,并对其吸波性能进行了分析.