基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.     

边疆处处赛江南——中央电视台“心连心”艺术团赴兵团慰问演出主持词

我们代表中央电视台“心连心”艺术团赴新疆生产建设兵团慰问演出的全体演职人员,对新疆生产建设兵团成立50周年,表示热烈的祝贺、亲切的问候,并致以崇高的敬意。     

一种基于范围表示B树的大容量IPv6路由查表算法

IPv6具有巨大的地址空间,未来要面对的将会是海量IPv6路由表,而且128位的IPv6地址比IPv4需要更多的访存数。算法针对IPv6路由查找问题中的这两个难点,提出利用B树高度较低的优良性质,将前缀转化为范围表保存在B树中,并在结点内部利用分段范围比较树算法来减少访存次数和空间耗费。理论分析和实验表明,该算法能够以很好的性能支持IPv6海量路由表的查找。     

一种新的雷达辐射源识别专家系统

基于专家知识的雷达辐射源识别系统是解决雷达辐射源识别的重要方式。针对特定的应用背景,提出了一种由知识库确定雷达辐射源相似工作模式比较序列后依据专家知识识别雷达工作模式的新的雷达辐射源识别专家系统,介绍了该雷达辐射源专家系统的组成和各部分的功能,给出了推理过程和确定置信度的知识的表示方法。     

预备役部队与现役部队挂钩训练应解决的几个重点问题

积极开展预备役部队与现役部队挂钩训练,是解决预备役部队因装备、场地、人才等因素限制而造成的训练落实难、层次低等问题的有效形式,是缩小预备役部队与现役部队训练差距、提高信息化条件下联合作战能力的有效途径,对于充分做好军事斗争准备,确保实现“打赢”目标,具有十分重要的意义。当前,提高预备役部队与现役部队挂钩训练的质量和效益,应注意把握好以下几个方面的问题。一、提高思想认识,解决好“能够挂”的问题预备役部队是我军的重要组成部分,是打赢未来高技术局部战争的一支重要力量。随着我军预备役部队体制编制的合理调整、武器…     

对信息化时代人民战争若干特点的认识

进入20世纪90年代以后,随着以信息技术为核心,以生物技术、新材料技术、新能源技术和海洋技术等为代表的一大批现代技术群的迅速发展及其在军事领域的广泛运用,人类战争面貌正发生着自工业革命以来最为重大而深刻的变化,使现代战争呈现出信息化战争的特点。信息化战争条件下,人民战争也将面临许多新的矛盾和挑战,呈现出诸多不同的特点。武器装备和作战力量更加讲求质量效能。传统的人民战争,基本上都是以全民动员为基础的全面战争,军队作战主要靠农业时代和工业时代的武器装备,技术手段相对比较落后。那时的对手虽然拥有技术装备上的优势,但…     

建设节约型军营重在常抓不懈

军队要走在资源节约的最前列,就必须树立节约理念,强化节约责任,创新节约措施,规范节约行为,着力建设节约型军营。为此,应该把握好以下三个方面:(一)改进教育手段,切实把建设节约型军营体现在认识到位上。建设节约型军营应该首先从教育入手,把节约的理念渗入到广大官兵思想中。一是领导教育大家与领导先受教育相结合,切实突出领导干部先受教育。领导干部的节约是最大的节约,欲教育大家必使自身先受教育,靠自己的模范作用影响和带动部属。二是集中教育与随机教育相结合,切实突出抓好随机教育,充分利用随机教育的有效形式,把节约体现在工作、…     

这里阳光灿烂——五十四所见闻启示录

2005年9月16日,中国电子科技集团公司第五十四研究所组织全所近百名业余通讯员举办新闻培训班,本刊记者应邀参加并就有关新闻写作知识进行了专题讲座。河北省国防科工办主办的《河北军工》杂志和中国电子科技集团公司第十三研究所有关同志也应邀参加。透过此事,给记者的第一感觉是,五十四所党委领导非常重视宣传工作,并把此作为单位文化建设的一个重要内容。其间,五十四所新闻中心的负责同志给我讲了一个党委书记涂天杰讲党课的故事。由此,产生了采访该所党委书记的欲望,便诞生了此短文。2005年8月16日晚,雷声阵阵,天降大雨。五十四所的900…     

一体化联合作战指挥控制

信息化武器装备的发展与运用推动着战争向信息化战争方向转变,催生出新的作战形式——一体化联合作战。指挥控制必然随之进行调整改变,呈现出自身应有的特点。一、一体化联合作战是信息化条件下的新型作战形式,指挥控制必须适时调整以适应一体化联合作战的新要求1、一体化联合作战是依托无缝链接的信息系统的信息化作战,指挥控制必须立足信息驱动一体化联合作战的发展成熟是武器装备信息化和战争信息化的必然结果,它以信息系统无缝链接为基础,以高度共享的信息为纽带,以信息优势的争夺为焦点。实质上,一体化联合作战是以信息为原动力的信息…     

创新遂行多样化军事任务思想政治工作的思考

遂行多样化军事任务对部队官兵的政治素质、军事技能、战斗精神、心理素质的要求是全方位、前所未有的.思想政治工作必须牢固确立与形势要求同步、与使命任务同步的思想观念,充分认清遂行多样化军事任务给思想政治工作带来的难得机遇和严峻挑战,积极探索遂行多样化军事任务中思想政治工作新的实现形式.