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

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

你知道吗

苏军的军种和军区苏军的首脑机关为国防部和总参谋部。下设五大军种司令部,即:战略火箭军、陆军、海军、空军和国土防空军。共有十六个     

Transputer 处理机在连续系统并行仿真中的应用

Transputer是最近几年由lnmos公司研制推出的一种新型VLSI单片计算机,它具有价格低廉,处理能力强,方便灵活等特点,其应用广泛。作者将连续系统仿真应用中的一个典型实例——某型号飞机六自由度飞行的仿真——在Transputer,YH—F1,YH—1等各种类型计算机上求解。结果表明,Transputer多机系统具有很高的性能价格比,比大型机约高一个数量级。     

谈战争财力消耗的科学预测

战争财力消耗的科学预测,可为战争财力准备、编制作战经费预算以及作战经费支出总结等提供依据。预测战争财力消耗,应充分考虑预测范围的全局性、预测因素的重要性,以及预测方法的简便性。在具体方法上,应合理设计预测模型,建立系统数据库,并开发系统功能模块。     

脊状结构减阻优化设计方法

探索了利用iSIGHT软件对回转体脊状表面的脊状结构高度进行优化的方法,并对优化得出的高度与其他高度下各回转体脊状表面进行了数值模拟仿真,发现了高度对回转体脊状表面减阻效果的影响规律。针对回转体脊状表面的流场特性,在进行数值仿真时合理选择了计算流域、计算网格及边界条件。仿真结果表明：脊状结构高度h=0.017 mm时,...     

开展"五色牌"业绩考核建立供应商管理长效机制

针对当前产品交付用户后存在的主要问题,西飞集团公司以供应链管理为切入点,着手建立了一个涵盖质量、交付、服务、价格及纠正有效性判定等指标的多维供应商业绩评价体系,并逐步完善供应商管理的长效机制,在实施中取得了较好的效果。     

防空兵群(团)火力配系优化

首先阐明了防空兵群(团)火力配系优化的基本概念,然后,运用作战模拟的有关理论,分别建立了火力单位距目标的最佳配置距离(D)、防空兵群(团)对来袭目标的抗击率(Pk)和被保护目标的安全率(Pa)的优化模型。在此基础上,提出了防空兵群(团)火力配系优化的一般方法。最后通过一个实例,说明了防空兵群(团)火力配系的具体步骤。     

主编的精品意识与精品策略

本文在编辑实践的基础上,讨论了多出精品期刊的重要意义,提出为了多出精品,少出次品,不出劣品,期刊主编必须树立强烈的精品意识,并采取相应的精品策略。