一种开发逻辑程序中AND并行性的静态编译方法

逻辑程序AND并行性的开发是逻辑程序并行执行研究中的一个重要课题。文中提出了一种开发逻辑程序中AND并行性的静态编译方法。该方法分成三个阶段:第一阶段,进入模式(entry mode) 的分析;第二阶段,退出模式(exit mode) 的生成;第三阶段,执行图表达式(execution graphexpression) 的确定。通过运行一些基准程序可知,与其它方法相比,该方法能在“生产者一消费者”原则(producer-consumer scheme) 下最大限度地开发AND并行性,且只需很小的动态开销。     

DFT 的新算法

本文通过对离散富里叶变换(Discrete Fourier Transform,简记作DFT)矩阵的分解与FFT 算法相结合,提出了一个计算DFT 的新算法。由对矩阵的分解把求N=2~t 点的DFT 问题化为求16个N/16阶方阵与相应列向量相乘的问题(N≥16)。从而减少了乘法运算次数,且还具有良好的并行运算性质。     

强度理论的主应力形式及几何解释

本文从一般强度理论出发导出各向异性材料应力形式张量多项式强度理论,根据强度准则的外凸性得到应力二次形式强度准则的强度参数限制条件。该限制条件既可验证强度准则的可用性又有助于实验确定基本强度参数。主应力形式强度准则在应力空间给出一个椭圆型二次曲面如:椭球面、椭圆抛物面、回转抛物面、椭圆柱面或圆柱面等。     

椭圆型方程 Galerkin方法的研究

本文考察一类二阶椭圆型方程的Galerkin方法,首先,借助于(-Δ)~(-1),将方法置于算子框架中,然后,应用算子方程的近似理论,研究了方法的收敛性,如同往常那样,有限元近似的误差估计是同时,得到了Aubin-Nitsche技巧的一种易于应用的形式(定理2)。文献[1]及[2]中的方法和文献[3]及[5]中的一些结果得到了推广。     

机载通信模拟训练系统的设计与实现

针对机载通信系统的特点,建立了仿真系统模型,并设计了相应的仿真算法.结合1553B总线协议和数据库技术,实现了一套操作方便、易于维护、易于扩展、功能强大的模拟训练系统,为系统操作提供了逼真的虚拟训练环境.同时,也为机载总线系统的研究工作提供了可靠的实验平台.     

基于激光靶的火炮炮口速度测速技术与试验

首先介绍了国内炮弹速度测量常用的线圈靶,分析了其存在的问题.然后根据炮弹测试的特点,提出了一种采用激光测试技术,配合使用原向反射屏来形成大面积有效测试光幕的炮用激光速度测试技术.并分析了该测试方法的光学结构,最后对激光测速系统和线圈靶进行了对比实验,不仅证明了激光测试技术的可靠性,而且通过对实验结果进行对比、分析,进一...     

电视侦察弹侦察效力的演化仿真优化研究

为了保证电视侦察弹能到达目标区域的上空并发挥最优的侦察效力,采用了基于遗传算法的启发式仿真优化方法来解决炮射电视侦察弹的优化使用问题.分析了电视侦察弹的主要影响因素,建立了用于计算目标侦察效力的仿真模型,引入了演化策略,实现了基于进化计算的启发式仿真优化系统,并求取了电视侦察弹的最大侦察效力及其主要影响因素的最优搭配....     

OFDM系统峰均功率比抑制技术研究

正交频分复用(OFDM)以其无法比拟的优越性受到广泛的关注,是未来4G的核心技术之一,但是OFDM系统的高峰均功率比PAPR问题已成为影响该技术实际应用的重大障碍。针对目前国内外几种主要的降低峰均功率比的技术所存在的问题进行了研究,重点对部分传输序列(PTS)法进行了分析,并针对PTS算法在计算复杂度上的不足,提出改进...     

隐身突防时战场环境建模与威胁分析

为了实现隐身突防过程的航路规划,分析了战场典型威胁的构成,建立起简单、实用的威胁模型,重点分析了RCS值变化时单、双基地雷达的威胁变化规律,对所建立模型与其他描述方法的区别和联系进行了分析,讨论了建立雷达威胁模型的一般方法.仿真结果证明了该方法的有效性.     

新型涂层固相微萃取-气相色谱分析检测芥子气

以溶胶凝胶和交联固化相结合的方法制备了甲基丙烯酸丁酯／二乙烯基苯（BMA／DVB）复合涂层固相微萃取探头,采用固相微萃取与气相色谱联用的方法测定空气、水、土壤、粮食中的芥子气。并对自制探头的萃取效率、热稳定性、抗溶剂冲洗能力、使用寿命、保质期以及探头制备重现性等性能进行了系统研究。