马汉海权论的形成及其影响

19世纪末,美国海军上校马汉提出了系统的海权论观点,主要内容是:海洋对濒海国家的生存与发展有决定性的意义,而要拥有海权就必须发展强大的海军并在海外取得补给基地.这一理论不仅准确地反映了当时欧关列强争夺海外殖民地的趋势,更为这种争夺提供了理论依据,故一旦出现立即风靡全球,对世界各国产生了广泛而深远的影响.     

浅论工程装备试生产过程中的工艺评审及工艺鉴定

本文通过分析现行相关标准中工艺评审和工艺鉴定的内涵,说明了工程装备首批产品试生产过程中实施工艺评审做法的不合理之处,探讨了实施工艺鉴定的可行性以及要求、内容和方法,对完善工程装备首批产品质量评审工作,保证后续批量生产质量具有借鉴意义,以期共同探讨。     

精密磨床主轴新型轴承系统工作机理的研究

圆锥多油楔动压滑动轴承系统是精密磨床主轴的一种新型支承结构,本文通过建立圆锥极坐标系,导出圆锥极坐标雷诺方程和对不可导边界的有效处理,提出了适用于锥轴承分析的方法并给出了相应计算程序。分析和计算的结果表明:工作间隙的自动调节是轴承最重要的特征,油楔深度和弹簧预紧力是影响轴承性能的主要参数,合理选择此二参数,可使轴承获得普通圆柱轴承难以达到的优良性能。     

Optimizing natural gas pipeline transmission with nonuniform elevation: A new initialization approach

In this paper, we develop an iterative piecewise linear approximation approach with a novel initialization method to solve natural gas pipeline transmission problems with the nonuniform network elevation. Previous approaches, such as energy minimization methods, cannot be applied to solve problems with the nonuniform network elevation because they exclude pressure range constraints, and thus provide solutions far from optimum. We propose a new initialization model that considers pressure range constraints and improves the optimality of the solutions and the computational efficiency. Furthermore, we extend the energy minimization methods and provide the necessary conditions under which the extended methods operate in networks with the nonuniform elevation. We test the performances of the methods with previously reported pipeline networks from the literature, with the open data set GasLib, and with our industrial collaborator. The initialization approach is shown to be more efficient than the method with fixed initial breakpoints. The newly proposed initialization approach generates solutions with a higher accuracy than the extended energy minimization methods, especially in large‐size networks. The proposed method has been applied to natural gas transmission planning by the China National Petroleum Corporation and has brought a direct profit increase of 330 million U.S. dollars in 2015‐2017.     

中国人民空军胜利发展的科学指南

本文根据中国共产党领导人民空军胜利发展的光辉历程和基本经验,着重阐述了毛泽东、邓小平、江泽民、胡锦涛关于人民空军观和空军建设与运用的一系列重要论述,归纳概括了党的空军科学指导理论的基本构成、内容体系和主要观点,充分肯定了其重要的历史地位、科学价值及重大现实指导意义。     

科研经费管理决策支持系统若干模型

本文应用多目标决策原理和计算机技术,在分析用户需求的基础上,建立了科研任务项目的预测评价和经费分配模型,并分析了有关模型的关系和解决性质。根据这些模型和决策的特点,简要叙述了该系统的主要功能。我们相信。该系统的应用,将给管理人员提供方便,且使管理进一步科学化,让有限的经费发挥更大的作用。     

逻辑程序设计与关系数据库集成的一种基于预编译的解释方法

本文在研究逻辑程序设计与关系数据库的两种集成方法(解释和编译)的基础上,提出了一种新的基于预编译的解释方法,该方法保持了前两种方法的优点,克服了它们的不足。基于此方法,文中介绍了一个相应的集成系统的原型及主要实现技术,其中包括物理级的耦合连接,逻辑级的语言合成,源程序级的部分计算和静态优化,以及动态执行过程中的事实调度和版本管理等。目前,该原型作为知识库管理系统GKBMS 的内核,已投入实际应用。     

动静压轴承油腔压力及其偏导的快速迭代方法

对于毛细管节流的动静压轴承，基于流量平衡方程和偏导形式的流量平衡方程，本文建立了油腔压力和油腔压力偏导的迭代准则和迭代公式。实践证明，该迭代方法具有物理意义明晰、迭代次数少和迭代适应性强的特点，可以显著提高毛细管节流的动静压轴承静动特性分析计算有限元程序的计算速度。     

Prolog 对象系统 GKD-POS/SUN的设计与实现

GKD-POS/SUN是在模块化Prolog基础上设计并实现的一个面向对象Prolog解释器。它同时引入了模块化、模块间的通讯、切换、类、方法、继承、消息发送及接收等概念,并提供对这些概念的直接支持。本文描述了GKD-POS/SUN的语言规范、系统组织与设计、主要实现技术和相关对象操作原语。