Prolog动态代码的两种语义及其实现方法

Prolog数据库操作内部谓词是Prolog非逻辑成份的一个重要组成部分。为了实现Prolog程序的可移植性,这些内部谓词应有一致的操作语义。本文首先讨论了两种比较合理的语义,然后论述了这两种语义在WAM框架下的实现方法。     

一种确定性时变系统离散时间自适应控制算法

研究实时控制的自校正控制算法问题的运用是近年来人们很感兴趣的问题,在自适应控制中,特别在飞行器控制系统中,经常会遇到快速时变参数的辩识问题,然而现有的方法大都适用于参数缓慢时变的系统,本文提出一种新的方法,它能成功地控制快速时变参数的未知系统,同时给出了一些仿真计算,得到了令人满意的结果。     

FY-2型发动机燃烧室计算模型

本文提出了一个液体火箭发动机双组元自燃推进剂高压燃烧过程的计算模型。模型考虑了偏二甲肼的分解反应、四氧化二氮的离解反应、高压蒸发、液滴二次雾化以及燃烧室横截面上混合比和流强分布的不均匀性。应用该模型对FY-2型发动机的三种喷注器结构的燃烧效率及能量释放分布进行了理论计算,计算结果与试车数据和现象相当吻合。     

改革开放以来党的领导集体关于武警部队建设的指导理论与实践

党的历代领导集体对武警部队的建设和发展作出过许多重要指示与论述,确立了武警部队在各个历史时期的职能使命和建设发展目标,形成了具有时代特征和中国特色的党的武警部队建设指导理论,指引武警部队建设不断健康发展.文章以时间为序,分别详细论述了邓小平、江泽民、胡锦涛关于武警部队建设的指导理论,并对武警部队的发展历程作了概述.     

伟大的旗帜深刻的意蕴

党的十七大鲜明确立了中国特色社会主义旗帜的指导地位。中国特色社会主义旗帜,是马克思主义真理观和价值观相统一的旗帜;其精神实质,是坚持科学社会主义基本原则与根据我国实际和时代特征赋予其鲜明中国特色的有机统一;其实践形态,是中国特色社会主义道路;其理论形态,是中国特色社会主义理论体系。高举中国特色社会主义伟大旗帜,就需要倍加珍惜、长期坚持和不断发展这条道路和理论体系。     

大爱之心礼赞——四川汶川大地震半月祭

2008年5月12日14时28分,注定要给中华民族留下刻骨铭心的记忆。那一刻,四川汶川大地震爆发了!一时间,山崩地裂、江河断流、生灵涂炭、万民呜咽……从那一刻至今,15天过去了。     

分布式数据库操作的形式化描述

这篇论文提出了一种分布式数据库的形式化描述表示,如何将分布式数据库的全局操作变为局部操作。这种形式化描述可以作为描述全局层与局部层操作转换的工具,也可以作为分布式程序语言的起点。从实用化角度来说,也可以作为一般的D—DBMS操作部分实现的设计工具。     

巨型机通用数学库软件与并行算法

本文介绍了巨型机通用数学库软件的概念和意义,指出了巨型机数学软件开发的技术途径与发展趋势,讨论了并行算法在其中的关键性作用,结合实例分析了巨型机通用数学库软件研制中的并行算法设计与实现。     

核安全保护装置温漂性能改进的实验研究

核动力系统中,安全保护装置的温度漂移是一直存在的,它不仅影响整个控制系统的安全,而且影响该装置中各插件板的互换性。本文针对这一实际问题,在实验室用实际单元插件模拟现场温度变化的过程中,进行了参数测试。通过对电路及测试数据的分析,找出了问题所在,提出了改进措施。通过对改进前后测试数据的对比,证明改进之后性能有非常明显的提高。     

数字系统演绎故障仿真方法

本文介绍了一种数字系统故障仿真的新方法——演绎故障仿真法。文章提出了加速故障表传输的方法,以及一种时序电路故障表计算的新方法。文章给出了演绎故障仿真的一般步骤。