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

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

船体曲面的数学表达

本文利用计算几何的曲面理论,选择均匀双三次B-Spline曲面,对船体曲面进行了数学表达。根据曲面顶点反求研究的最新算法,文中推导出了已知型值点与均匀双三次B-Spline曲面控制网格顶点之间的数学关系式。只要已知船体曲面上的一些特定型值点,应用这一关系式,便可求出数学表达所需的曲面控制网格顶点的数值。这种方法简单易行,计算有效。     

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

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

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

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

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

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

Poisson方程生成数值网格方法中的源项计算法

网格生成是数值研究方法得以实现的基础。本文采用了Ｐｏｉｓｓｏｎ方程生成数值网格，并针对方程源项的选择问题，对两种形式的源项作了比较研究。     

军事信息服务的概念体系及其应用

随着军事变革和信息技术的发展,传统的指挥控制系统已经无法满足联合作战的需求,下一代指控系统必然是基于面向服务思想构建的。针对该情况,介绍了军事信息服务的概念体系,提出了军事信息服务的逻辑结构,分析了军事信息服务的组成分类,并在此基础上,给出了基于服务的指挥控制系统构建框架以及军事信息服务应用模型,最后给出了结论。     

基于生成模型的人体行为识别

提出了一种基于生成模型的人体行为识别方法。选取关键点轨迹的方向-大小描述符、轨迹形状描述符、外观描述符作为人体行为的特征；为了降低人体行为特征维数，利用信息瓶颈算法进行词表压缩；利用生成模型，结合已标记样本和未标记样本提出了一种人体行为识别的半监督学习方法，解决了行为识别中的小样本问题。在YouTube 数据库、 UCF运动数据库上利用提出的方法与已有的方法进行了对比实验，结果表明该方法具有更高的识别精度。     

生成对抗网络及其在无人系统中的应用

生成对抗网络(GAN)在无人系统多个层次上的应用提高了其智能化、自主化水平,具有巨大的应用价值和发展潜力。对GAN在无人系统技术中的应用进行了综合评述并且进行了展望。首先介绍了GAN的基本概念、训练方式和传统GAN的模型结构,并且从模型结构的变动、目标损失的变化以及适用的领域等方面详细介绍了深度卷积生成对抗网络(DCGAN)、循环生成对抗网络(CylcleGAN)、生成对抗模仿学习(GAIL)、序列生成对抗网络(SeqGAN)等GAN的8种衍生模型。接着概述了与无人系统OODA回路相关的智能感知、智能判断、智能决策、人机交互等方向上GAN方法的实际应用。最后基于无人系统共性技术的发展趋势,对GAN在无人系统的单体智能、多体或群体智能以及人机混合智能等方向上的应用进行了展望。     

面向指挥自动化效能评估的仿真网格系统

根据网格思想提出一种基于HLA的仿真体系框架,整个框架分为应用层、HLA层、模糊层三层:应用层放置各种作战方案,由军事人员操作;HLA层由RTI支撑,邦元完成作战方案对模型的调用;模型层则是各种模型及其管理的集合。该框架利用DCOM技术对仿真模型资源进行管理及任务调度。RTI则负责邦元的通信及时间管理,这样将仿真模型与HLA体系分离,为大规模军事仿真提供了一种有效的方法。介绍了仿真网格系统原型,最后以潜舰作战为例,具体研究了系统实现方法。