GIS空间数据模型及基础技术

GIS(Geographic Information System)是21世纪支柱性产业——信息产业的重要组成部分。本文从GIS的概念入手,重点讨论空间信息的模型、表示和存贮结构。空间信息的处理主要有两个模式,即基于点—区域的模式和基于对象的模式,它们各有其数据模型、表示方法和存贮结构。文中综合性地介绍了这两种模式中常用的空间数据表示方法及空间数据的存贮结构。     

逻辑和面向对象范例集成的研究与实现

提出了结合逻辑和面向对象范例的一种新方法,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征,和面向对象语言的结构化、信息隐藏、继承等特性;并在逻辑语言的Ｈｅｒｂｒａｎｄ解释基础上,探讨了逻辑对象的语义解释;最后给出了我们根据这种方法设计并实现的面向对象逻辑程序设计系统所提供的对象操作原语。     

分布式战术C~3I系统的体系结构和开发途径

前段简要地介绍了野战高炮、地空导弹防空情报指挥系统的硬、软件体系结构及其构成的方法;中段在简单阐述了集中式战术Ｃ３Ｉ系统的蔽端和分布式战术Ｃ３Ｉ系统的优点之后对集中式与分布式战术Ｃ３Ｉ系统作了全面的比较;第三段集中阐述构成分布式战术Ｃ３Ｉ系统尚存在的困难,在我国当前技术条件下,构建面向对象的初级分布式战术Ｃ３Ｉ系统是比较现实的途径,并给出了较多具体的方法。     

仿真机 YH-F2的同步和并行处理技术的进-步研究

YH-F2是速度快、精度高、仿真能力强的全数字仿真计算机,在仿真方面,YH-F2的性能超过了一些巨型机。YH-F2广泛采用了同步和并行处理技术,这是 YH-F2之所以能够高速、高效的重要原因之一。本文从体系结构、同步和广播式总线、处理机间通信、处理机内部、输入输出系统、编译程序等方面介绍了YH-F2采用的一些同步和并行处理技术。     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

理想图式简论

理想图式是解决主客体矛盾的理论形式。作为观念形态的人化自然,它深刻地体现着人类解决主客体矛盾的主观能动性质。理想图式又是理性认识的最终成果,它作为理性认识高级阶段的产物,揭示着人类理性认识的实质。理想图式的形成是辩证法、认识论和逻辑学的统一。辩证法的五对范畴,可作为创造性认识的逻辑构架,以刻画理想图式形成的逻辑历程。     

虚拟舰艇概念与应用（连载二）

5体系结构 5.1虚拟舰艇体系结构的一般要求 虚拟舰艇结构可以提供使系统模型组合在一起模拟战舰运用的框架.为了实现这一目的,要求虚拟舰艇体系结构应有许多特点.     

当代中国航天技术责任化自主创新的哲学基础与实践逻辑

当前,中国正由航天大国迈向航天强国。中国航天技术的发展是在马克思主义科技观指导下,特别是在习近平新时代中国特色社会主义思想中的科学技术观指导下,航天科技企业贯彻落实了科技向善的理念,取得了显著的成效。截至目前,中国在航天领域取得了一系列重大成就,如长征系列运载火箭、嫦娥探月工程、火星探测、天宫空间站等等。这些成就得益于中国航天科技工作者践行的责任化自主创新,其体现了哲学基础与实践逻辑的统一。     

以严实举措深化军委主席负责制贯彻落实

<正>军委主席负责制是坚持党对军队绝对领导的根本制度和根本实现形式,是中国特色社会主义政治制度和军事制度的重要组成部分,是确保军魂永驻、长城永固的“定海神针”。全面深入贯彻军委主席负责制是坚决维护权威、维护核心的最高政治要求,是国家和民族根本利益所在,关乎我军建设根本方向,关乎新时代强国强军事业发展,关乎党和国家长治久安,关乎中国特色社会主义前途命运。