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

最小、最大广义最优停止规则的特征

设(X_n,F_n)_1~∞是适应的报酬序列,(γ_n)是相应的snell 包,(A_n)是(γ_n)的Doob-Meyer 分解中零初值的可料增过程。本文继J.Klass 的研究证明了σ_1=inf{K≥1:X_k≥γ_k}是最小半最优的且是最大严格正则的广义规则,而K_0=sup{n≥0:A_n=0}<∞是最大正则的广义规则,从而得出了广义最优规则唯一性的另一表述。     

科学工作流技术研究综述

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

基于随机时间影响网络的联合火力打击方案评估

联合火力打击方案评估是作战筹划和指挥决策的核心问题之一,对于打击手段的选择、战法的运用等具有重要的影响,其难点是在不确定条件下有效地建立作战方案到使命目标达成效果之间的映射关系.作战仿真方法往往存在突出的低效率问题,而解析模型的方法难以充分反映目标体系的内部联系和整体效果.目前概率推理模型广泛应用于军事领域的作战方案评...     

改进的随机Hough变换抛物线运动目标航迹起始算法

提出了一种基于改进的随机Hough变换快速航迹起始算法,用于解决低可观测目标作匀加速抛物线运动时的航迹起始问题.该算法利用随机选取的2点的速度方向与搜索的第3个点的位置信息来提取抛物线轨迹,并利用坐标变换降低投票参数空间维数来快速起始匀加速抛物线运动目标的航迹,有效地解决了无效采样和累积问题.与传统的基于五点随机Hough变换的航迹起始算法相比,仿真结果表明:该算法具有虚警率低、运算速度快优点.     

BOC调制信号相关检测算法

针对BOC调制信号的相关特性,提出一种针对BOC调制信号载波频率、扩频伪码速率和方波副载波速率的相关检测算法.为验证算法的有效性,在仿真环境下对算法进行仿真,并在不同信噪比下对算法性能进行分析.仿真结果表明,BOC调制信号相关检测算法能有效的实现对BOC调制信号的载频、扩频伪码速率和方波副载波速率的检测.     

随机截尾场合下Weibull分布恒加寿命试验的统计分析

在随机截尾场合下,研究Weibull分布恒定应力加速寿命试验的统计分析问题。运用最大似然估计法和最小二乘法,推导出加速系数的估计,利用加速寿命模型给出正常应力水平下各种可靠性特征量的估计。     

航空兵对地突防概率模型

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