线性方程组迭代解法的另类矩阵形式

改进了线性方程组迭代解法的矩阵形式．以最简单的Jacobi迭代法的迭代矩阵为基础,只需经过简单的加减和数乘运算就可得到Seidel和SOR的迭代过程,使得算法新形式的求解过程数学意义非常明确,表达形式也非常简洁,这样不仅便于理解记忆,还非常有利于编程实现。改进后的矩阵迭代形式求解计算量为:Seidel需要大约n2次乘除法．SOR约为2n2次乘除法,且改进后的Seidel迭代法和SOR方法存储空间也较传统形式为少。     

论国防工业所有制实现形式的多样化

国防工业所有制实现形式多样化具有客观必然性。独资国有制、股份制、股份合作制将是国防工业所有制实现形式的主要选择。随着军事采办体制的改革,还会出现其它所有制形式。因此,要积极从多方面推进国防工业所有制实现形式的改革,以解放和发展国防工业生产力。     

浅析军事租赁

军事租赁,在和平时期是保障军队正常生活训练的一种经济措施,在战争条件下是保障战争胜利的重要手段。军事租赁具有一定的适用条件和与民用租赁基本相似的行为特征,在形式上主要采取融资性租赁和服务性租赁。军事租赁有其优点也有其局限和不利因素,在具体开展军事租赁业务时应审时度势,选择合适的租赁形式。     

推进全民国防教育创新发展

近几年来,我们认真贯彻《国防法》、《国防教育法》和党中央、国务院、中央军委关于加强国防教育的一系列指示,自觉把开展国防教育作为加强国防建设、增强民族凝聚力的大事来抓,不断探索开展全民国防教育的新路子,有效地增强了全民国防观念,促进了“三个文明”建设与国防建设的协调发展。     

组建民兵船运团保障部队渡海登陆作战

渡海登陆作战是我军面临的重要作战形式,搞好民船参战支前动员建设,对做好现实军事斗争准备意义重大。而组建民兵船运团保障部队渡海登陆作战,则是深化民船动员准备的有效形式。因此,本文就这个问题谈几点粗浅的认识。一、组建民兵船运团是现实军事斗争准备的重要内容渡海登陆作战必须首先解决部队“过得去”的问题。目前,我军制式输送工具数量不足,战时应急生产能力也很有限,难以满足部队跨海输送需要,必须从地方大量征用民船保障部队海上输送。新时期,随着我国远洋运输和海洋渔业的快速发展,适合二类海区航行的远洋运输船舶和各类机渔船数…     

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

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

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

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

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

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

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

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