卫星数传调度模型研究

卫星数传调度问题是一个具有多时间窗口、多资源约束的优化问题。针对该问题,建立了卫星数传需求模型、任务模型和调度模型。在建模过程中,采用了框架模型形式,把问题中的主要约束封闭于每个数传任务中,这在降低调度模型复杂度的同时,也降低了调度算法设计难度。还提出了调度算法设计思想,并设计了一基于灵活度的调度算法。仿真表明,所建立的模型及算法对解决卫星数传调度问题是可行的。     

GSEIB 软件工程信息库图形规范子系统的设计与实现

软件信息库是集成化软件工程环境的核心。本文给出了一种图形化的软件过程与产品（ｓｏｆｔｗａｒｅｐｒｏｃｅｓｓａｎｄｐｒｏｄｕｃｔ）规范语言及其支撑环境的设计与实现。采用这种规范语言可对给定的软件开发项目进行规划,据此自动产生定做的软件信息库,从而真正反映和支持该软件工程项目的开发。     

一种联机手写汉字识别方法

本文给出了一种基于动态汉字基元获取笔段有序序列的联机手写汉字识别方法。该方法对汉字书写笔顺无任何限制,对手写汉字变形有很好的适应能力。经测试,基于本方法研制的联机手写汉字识别系统的识别率为９７．１％．     

计算机辅助动画系统 (GKDCAS)

GKDCAS是一个基于微型计算机环境,使用C语言设计的一个实用动画制作系统。本文阐述了GKDCAS的软件结构与设计方法,介绍了它的功能,并给出了一个用该系统制作动画的实例。     

军用移动电站战伤修理的若干问题

分析研究了电站平时修理和战伤修理的主要区别,提出了电站战伤评估逻辑图和战伤修理方法。     

知识库推理和维护系统 (KBIMS)

赋予知识库自动推理和维护功能,从而使知识库有效和实用,是知识库面临的关键问题。本文提出了一程基于缺言推理的知识库自动推理和维护方法,并介绍了根据此方法,在VAX—Ⅰ/780上使用GKD—Prolog 作为工具实现的一个知识库推理和维护系统。     

知识库调试工具的技术原理与设计思想

知识库调试工具旨在解决因知识不完全和噪音等因素而引起的知识库正确性与有效性问题。本文通过知识库建造工具GKD-KBST 中知识库调试工具KBDT 实现方案的讨论,论述知识库调试工具的技术原理与设计思想。     

某型舰炮故障诊断知识库的建立

本文运用层次模块化构成模型及故障诊断模型的建造方法,提出了建立某型舰炮故障诊断知识库的方法,对构造诊断知识库的六种规则举例予以了说明.     

通用电子系统故障诊断专家系统的研究

本文采用了一种符合人类维修专家故障诊断思路的方法,即层次模块化故障诊断法,来建造通用电子系统故障诊断专家系统。在系统建造中采用了框架和产生式复合知识表达形式表示系统诊断知识,采用了正反向混合推理、不精确推理及层次模块化诊断推理机制,并予具体实现。     

巨型计算机的前端工作站的设计(软件部分)

巨型计算机的前端工作站是巨型计算机系统的重要组成部分,它实现了主处理机与前端处理机的互联。文章从功能与结构两个方面阐述了前端工作站的设计,并且简要地介绍了通讯协议。前端工作站已研制成功并正式投入了使用。