对信息流控制机制的一点注记——关于可变级机制语义的探讨

本文讨论对可变安全性级的基于执行的信息流控制机制的语义修改     

战备物资储备探析

战备物资储备是国家和军队为保障国防战备和战争需要进行的各种物资储存,是保证国民经济部分或全部由平时向战时转换并争取时间进行战争动员的必要手段。文章在阐述战备物资储备的基本含义及高技术局部战争对战备物资储备的要求的基础上,重点对战备物资储备体制、储备布局、储备规模及储备结构等问题进行了探讨。     

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

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

多传感器数据融合算法综述

数据融合就是利用多传感器的协合效应来提高系统效率,它是现代Ｃ３Ｉ作战系统的关键技术之一．阐述了多传感器数据融合的特点、分布检测、空间、属性融合、态势评估和威胁估计算法,并同时介绍一些关键课题．     

应用多窗口技术实现舰载火控系统人机接口

人机接口设计的好坏关系到系统的成败,对于各种作战系统更是如此。在给定的原则下,讨论应用Ｗｉｎｄｏｗｓ多窗口技术实现舰载火控系统人机接口的方法,内容包括屏幕组织,人机交互控制及数据输入控制等。基于这些方法所建立的模拟系统的成功表明了其可行性和有效性     

三维数据场可视化的视觉模型

通过建立视觉模型,把三维数据场３种常用的可视化方法──几何方法、颜色方法、体绘制方法有机地结合起来,发挥各种方法的优势,克服其不足,为最大限度地表现三维数据场的分布奠定了基础。