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

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

一种BPSK相参脉冲信号多普勒频率变化率测量方法

BPSK信号广泛应用于新体制雷达中,测量BPSK信号中包含的多普勒频率变化率信息是单站无源定位与跟踪的关键技术.通过对BPSK信号平方消除了相位调制对参数估计的影响,并利用离散傅立叶变换进行脉冲间相参积累,算法具有计算量小、多普勒频率变化率估计精度高的优点.计算机仿真结果表明参数估计的精度能达到单站无源定位与跟踪系统的精度要求.     

核工业的改革与发展

核工业的改革与发展潘启龙关键词核工业,改革与发展１９９２年,党的十四大提出了在我国建立社会主义市场经济体制的改革目标。我国改革开放的伟大事业进入了一个新的发展时期。十四大以来,在党中央、国务院的正确领导下,在邓小平建设有中国特色社会主义理论和党的基本...     

柴油机DPF系统失效故障特征分析

为了快速有效地进行柴油机颗粒过滤器(DPF)故障辨识与预警,基于AVL-Boost软件对后处理系统关键部件进行了建模与故障仿真,研究了 DPF单一故障和氧化催化器(DOC)与DPF复合故障的排气特性,并根据DPF故障时特征参数的变化,提出了基于数据融合的故障诊断策略.结果表明:单一故障下,DPF载体堵塞、破损均使得末端...     

用HelpScribble设计与实现软件的帮助系统

本文介绍了利用ＨｅｌｐＳｃｒｉｂｂｌｅ工具设计Ｗｉｎｄｏｗｓ的帮助系统,以及与应用程序相连接的方法。     

应用软件生成环境ASP的设计与实现

本文重点介绍了一个已实现的应用软件开发环境ASP,其特点是将一组应用软件工具集成到一个统一的框架中,从而支持DPS和MIS的原型开发。有关程序的描述是通过ASP描述语言完成,ASP提供对该语言的语法制导编辑、编译、链接生成和解释运行等操作,从而构成一个完整的第四代语言系统。     

国防后备力量建设审计工作面临的问题及对策

领导体制与管理体制的双重性、法规不健全以及现行审计人员编帆不符要求是目前国防后备力量建设审计工作所面临的问题。而理顺体制关系,健全法规、加强审计力量,则是相应的对策。此外,国防后备力量建设审计中还应突出重点,明确政策界限,坚持监督与服务并重的原则。     

开展军事理论课程教学的思考

军事理论课程教学,在武警部队“合训”院校课程设置中所处的位置越来越重要。如何在由培养工程技术类干部向指挥类干部“学历教育合训”为主的转变过程中,提高军事理论课程讲授的效益和质量,关键在于军事理论课程教学方法的选择与应用。     

海南省军区组织民兵机场油料保障分队专业训练

2011年2月26日至3月8日,海南省军区协调驻地空军某部联合组织乐东、临高、陵水3支民兵机场油料保障分队干部骨干72人进行了为期10天的抽组专业训练     

发挥企业技术标准体系作用提高企业竞争力

本文讨论了企业建立以"三大规范"为核心的技术标准体系,建立以"三大规范"为主要表现形式的技术标准体系,对提高和保持企业市场竞争能力方面具有核心作用,在实现"设计上台阶、工艺上水平、试验上规模"要求上,具有极其重要的意义,同时也是提高标准化水平的一项基础性研究工作。