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

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

离散 Hartley 变换的 MIMD 并行算法

本文把长为N=N_1N_2(N_1为奇数)的离散Hartley变换(DHT)分解成N_1个长N_2的DHT及一些附加运算,附加运算也可以变成N_2个长N_1的DHT。由此得到计算它的一种MIMD并行算法,若用N_1台处理机并行计算,只需(?)个乘法步和(?)个加法步,这里M(N_2)和A(N_2)分别表示计算一个长N_2的DHT所需的乘法数及加法数。并行机的有效利用率接近于1。     

聚苯乙炔的合成及其表征——用无水AlCl3和(Ph3P)2PdCl2二种催化剂

本文用无水AlCl_3和(Ph_3P)_2PdCl_2二种催化剂催化苯乙炔聚合,得到共轭聚合物聚苯乙炔(PPA)。对PPA 的微结构分析表明:用无水AlCl_3催化苯乙炔,得到顺-反式PPA;用(Ph_3P)_2PdCl_2催化苯乙炔得到反-顺式PPA.因此,作者认为用无水AlCl_3催化苯乙炔聚合时可能按络合催化机理反应;用(Ph_3P)_2PdCl_2催化苯乙炔聚合时可能按易位催化机理反应。     

科学工作流技术研究综述

科学工作流管理系统(Scientific Workflow Management Systems,SWfMS)为科学家提供一个管理大规模复杂科学计算的有效平台,通过管理复杂应用程序对海量科学数据进行管理、分析、仿真和可视化以帮助科学家进行科学发现.本文首先对科学工作流(Scientific Workflow,SWF)...     

基于OBDD的防空导弹系统效能评估研究

首先对OBDD的概念和操作运算进行了简要介绍;接着对ADC系统效能模型进行了分析,首次提出了应用shannon展开和ite操作进行效能模型可用性和可信性向量计算的方法;最后应用OBDD操作运算对典型防空导弹系统进行了分析,并以可用性向量计算为例说明了应用OBDD的具体方法.该方法适用于各种故障分布情况下防空导弹系统效能的评估,具有一定的军事应用价值.     

基于修正球坐标的红外目标跟踪

仅有角度信息的红外单站对机动目标跟踪不容易实现.修正球坐标系(MSC)所选择的状态变量包含有丰富的目标角度、速度和距离信息.然而,采用这种方式较为复杂且计算量大.为解决非线性和离散化的问题,采取n步逐渐逼近的方式进行状态更新,并且加入在修正球坐标系中因坐标系旋转产生的加速度.通过减小线性化误差和简化状态更新过程使得跟踪效果有较大改进.但是仅依靠角度信息,在MSC中单站仍然只适合匀速或缓变速的场合.仿真结果证明了此结论.     

基于DEA模型的部队编制方案评价

建立了评价优选部队编制方案的数据包络分析(DEA)模型,该模型测算了各备选编制方案的总体效率、技术效率、规模效率等状况,对非DEA有效的编制方案提出了使其达到DEA有效的途径,给出了各备选编制方案的初排序.在此基础上,通过比较各有效备选编制方案平均横切效率的大小,得到所有备选编制方案的终排序.并就部队编制方案制定.提出了若干建议供决策部门参考.     

虚拟现实与仿真技术在火控系统中的应用

简述了虚拟现实(VR)的概念、基本特征及其系统体系结构,探讨了虚拟现实(VR)与系统仿真的关系,介绍了其在火控系统中的应用.     

反渗透预处理及膜清洗方法

基于预处理和膜清洗对于反渗透RO(reverse osmosis)长期稳定运行的重要性,介绍了常规预处理方法及其改进、膜法预处理等预处理方法,以及各种新型的物理、化学膜清洗方法.     

旅(团)后勤一体化训练初探

旅(团)后勤一体化训练是后勤一体化训练的重要组成部分,要抓好旅(团)后勤一体化训练,必须在指导思想上把握理论研究与实践检验相结合、基础训练与集成训练相结合、学习外军与创建特色相结合;必须在落实措施上突出加强组织领导、科学统筹规划、注重培养人才、加大改革力度;必须在训练观念上实现向信息化转变、向网络化转变、向体系化转变、向联训化转变、向集成化转变。