集值广义(S)_+型映射之一致极限的广义度理论及其应用

本文构造了集值(S)+型映射之一致极限的广义度,所得结果统一并加强了文献〔1～4〕的相应结果。运用拓扑度方法获得了一些新的满值性定理与某些新的不动点定理。     

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催化苯乙炔聚合时可能按易位催化机理反应。     

科学工作流技术研究综述

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

基于信息栅格的雷达协同探测技术

给出了信息栅格技术应用于雷达协同探测领域的一种实现方式.针对目前我军雷达传感器在信息共享、协同探测、生存能力和机动接入等方面存在的问题,提供了基于雷达信息栅格技术的解决方法,该方法采用分层的技术标准体系,运用分布计算服务技术,依托高速宽带网络,将陆海空天的雷达站、情报站和指挥所,以信息栅格节点的方式互联,形成资源共享和...     

分布式多传感器融合跟踪

针对传感器观测的非线性问题,引入了无迹卡尔曼滤波算法,它在稳定性和精确性等方面均高于卡尔曼滤波,进一步,针对其弱可观测性,采用多个传感器分布式融合跟踪策略.而协方差交集算法,它不需要考虑每个传感器之间的相关度,根据实际要求选择好合适的权值后,可以直接进行融合,并且达到很好的精度,于是,提出了基于协方差交集算法的分布式多...     

基于仿真实验的协同决策规则

协同规则如何与决策主体的执行能力相匹配,缺乏有效的支撑理论和方法.在对现有协同决策设计研究方法总结基础上,试着运用仿真实验解决此问题.以舰艇编队目标判断为背景设计仿真实验,通过对仿真结果分析,得到最优协同决策规则.     

分布式多传感器联合Viterbi数据互联算法

为了提高分布式多传感器对密集杂波环境下多目标的跟踪效果,基于Viterbi算法的思想,研究了分布式多传感器联合Viterbi数据互联算法,并与顺序处理结构的集中式多传感器联合概率数据互联算法和分布式多传感器联合概率数据互联算法进行了仿真性能比较.经仿真验证,该算法能够在密集杂波环境下对目标进行有效跟踪,综合性能优于顺序处理结构的集中式多传感器联合概率数据互联算法和分布式多传感器联合概率数据互联算法.