舰艇编队防空火力区划分方法研究

通过分析水面舰艇编队内各平台防空火力区,建立了编队防空火力区模型,提出并对比了两种不同的防空火力重叠区划分方法。对基本队形和复杂队形的编队进行了防空火力区划分仿真,仿真结果验证了火力区划分方法的有效性,可为编队协同作战指挥决策提供基础。     

一个报表生成器的原理与实现

本文介绍了一个基于数据库文件的报表生成器的原理与实现,该生成器具有两种制表机制,它不但能快速简单地生成二维格式通用报表,而且能生成任意格式报表、空表、固定表等,从而为用户提供了一个简便、实用、高效的制表软件开发工具.本生成器采用TURBO C语言在长城系列微机上实现,生成DBASEIII报表打印源程度。     

MIS结构生成器—MISSG的设计与实现

MISSG是一个能支持“快速原型法”的通用生成工具,它不但能快速生成MIS结构的可执行原型,并且还具有“边执行——边维护”的生成方式,为MIS的生成和维护提供了一种全新的实用方法。本文阐述了MISSG的特点、组成结构和实现方法。     

论区域经济的非平衡发展

区域经济的非平衡发展,是实现共同富裕的正确道路。邓小平同志的这一构想丰富和发展了科学社会主义的理论。中国的国情决定了搞地区经济平衡发展,是不可能实现共同富裕的。“江海先行”方案是实现共同富裕的理想实施方案。率先发达的沿海地区和长江流域应当通过多种途径,给生产落后的老、少、边、穷地区以扶持和帮助,逐步实现共同富裕。     

液晶显示屏(LCD)的汉字及图形生成方法

本文介绍了利用通用的ＷＰＳ汉字系统的汉字字库及图形编辑软件ＳＰＴ生成ＬＣＤ液晶屏显示需要的汉字字集和图形数据的有效方法,详细介绍了以ＭＣＳ－５１单片机为控制核心的ＬＣＤ液晶屏的汉字显示原理及实用程序。     

关于区域到区域映射的某些新结果

研究了指数函数、对数函数所构成的映射的映射特点;拓广了基本映射公式,提出了利用基本映射公式求区域到区域的映射。     

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

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