P—(S)_+型映射的特征刻划及其满值性定理

本文首先给出了一个映射是P—(S)_+型的充要条件。继而以中所建立的拓扑度理论为工具获得了一个关于P—(S)_+型映射的满值性定理。     

一种开发逻辑程序中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催化苯乙炔聚合时可能按易位催化机理反应。     

亚波长割线对结构的太赫兹共振特性

利用有限元方法模拟了以亚波长周期排列的金属割线对(cut-wire pair)结构在太赫兹频域的透射谱.以单色平面波正入射该结构,透射谱出现很强的共振峰,其线宽随着金属几何线宽增加而增加,且在频域上出现红移.通过理论建模和数值仿真相结合分析,证明了这种随金属线宽增加而增强变宽的共振峰是法布里-珀罗(Fabry-Péro...     

科学工作流技术研究综述

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

一种对地观测卫星应用任务描述模型

对地观测卫星(EOS)的应用任务建模是任务规划与调度的重要组成部分.从对地观测卫星系统的组成、应用任务特点以及建模基本要素等3个方面,对应用任务进行了详细的分析,其中特点包括任务周期性、严格的时间限制性、实体属性的复杂性以及任务的突发性等,建模基本要素主要包括约束条件和活动.在此基础上,使用规划领域定义语言(PDDL)...     

编队对地攻击作战效能评估指标体系

首先分析了作战效能的概念,给出了编队对地攻击作战效能的定义.然后针对编队对地攻击作战的特点,指出了编队作战效能评估指标选取应遵循的原则.并对当前编队作战效能评估指标体系进行了深入分析,指出其存在的不足,提出了编队对地攻击时间效能指标的概念.最后,建立了编队对地攻击总体作战效能的层次指标体系模型并对时效性指标进行了深入分...     

航空兵对地突防概率模型

航空兵对地突击作战中,某一道防线看成由多层梯次的子防线构成,作战飞机依次通过这些子防线完成对一道防线的突防.突防过程中,航空兵和地空导弹拦截区相邻两层构成不同子防线,高炮拦截区相邻两层构成同一子防线,基于此,建立了多道防线梯次防御的航空兵对地突击突防概率模型.通过案例计算分析,验证所建突防概率模型的可行性和正确性,针对...     

装备保障能力的动态评估

进行装备保障能力的评估研究,对于武器装备战斗力的形成和保持有着重要意义.针对评估过程中存在的不确定性因素和动态变化的特征,提出基于集对理论和马尔科夫链的装备保障能力动态评估方法,为装备管理决策者制定装备保障方案提供了科学依据.