巨型机求解大型稀疏问题的Krylov子空间法

求解大型稀疏问题最流行的方法是建立在子空间投影技术之上的。这类方法的主要吸引力是仅需要使用矩阵向量乘法。我们给出PCG、GMRES、Lanczos和Davidson算法及在YH-I上的实现,然后比较每一方法的优缺点,并尽可能讨论其并行执行。     

Smalltalk-80 的形式语义研究

Smalltalk-80是原型的面向对象程序设计语言和环境。本文简要地介绍了Smalltalk-80的基本概念和抽象文法,给出了其形式模型,并基于该模型描述了Smalltalk-80的静态指称语义和动态指称语义。     

社会系统运行理论与我国现阶段政策的制定

本文阐述了社会系统运行理论的初步框架,并以其分析社会系统的组织化状态与政策在其自组织中的功能;在剖析不同类型经济系统利弊的基础上,提出了我国现阶段政策制定的基本思路。     

在轴内压作用下网格结构的优化设计

承受高轴压、内压作用的网格圆柱壳箱体,是构成导弹和运载火箭的主要组成部分。本文对于这种结构可能产生的破坏形式做了分析并提出了一个优化设计的方法。用此方法计算的实例表明,采用机械铣网格结构与化铣网格结构相比,在相同载荷作用下,可以降低结构重量17.3%。     

成像制导半实物仿真系统设计研究

红外成像制导系统是一个技术要求高的复杂大系统。介绍了导弹红外制导控制仿真系统的组成、功能及仿真过程,同时阐明了成像制导半实物仿真系统设计中涉及到的图像目标模拟、图像导引头的介入方式以及制导部件仿真测试和图像生成等问题的解决和设计方法。     

C4ISR体系结构框架研究进展

C4ISR体系结构框架是一种用于C4ISR系统体系结构开发、描述和集成的统一方法,提供了开发和表述C4ISR系统体系结构的规则、指南和产品描述.详细论述了美国C4ISR体系结构框架的发展历程、最新研究进展,简要介绍了其它国家C4ISR体系结构框架的研究情况以及框架的实践应用.     

火控雷达的仿真目标建模及实现

中外军队的实践证明 :模拟训练是一种最简便、成本低、效果好的训练方式。对于需要空情保障和训练成本高的雷达训练来说更是如此。探讨了火控雷达回波信号的模型建立及实施方案。     

红外制导武器抗激光致盲技术纵横谈

国外战术高能激光武器已处于演示验证阶段,研究成果将使红外制导武器的作战效能和生存能力面临严重威胁,因而,欧美各国在发展战术高能激光武器的同时,十分重视红外导引头抗激光致盲技术研究,并已取得突破性进展.     

“九五”期间兵团中学教师继续教育研究

研究“九五”期间兵团中学教师继续教育培训的过程 ,探寻培训中存在的问题 ,梳理今后培训的基本思路 ,以切实提高培训的质量     

开展民主评议党员活动对新时期坚持党员先进性要求的启示

在基层广泛开展“个人自评、群众测评、领导讲评”的民主评议党员活动 ,必须以“三个代表”重要思想为指导 ,始终把保持共产党员先进性作为根本问题抓住不放 ;必须将党内教育与群众参与有机结合起来 ,坚持群众的监督 ;必须评出党员的内在动力 ,调动广大党员的积极性 ;必须坚持经常 ,把定期评与经常性的教育管理结合起来