空中飞行模拟对三代机电传控制律的演示验证作用

概括总结了三代机数字电传控制律验证的主要途径,并指出了不同验证途径的优缺点。重点说明了空中飞行模拟对三代机控制律验证的意义和作用,最后给出结论。     

交叉谱估计及其在导弹系统仿真模型验证中的应用

本文阐明了交叉谱的基本概念。结合反坦克导弹系统的特点，提出一种利用交叉谱来检验导弹系统仿真模型有效性的方法，这一方法的显著特点是：它能够同时给出几组动态数据在频谱、相位、线性相关性以及增益等方面的信息，并可以给出定量的估计结果。最后利用实例来说明这一方法在导弹仿真模型验证中的应用     

一种协处理器微程序控制器的设计

在协处理器中,微程序控制器的微码控制是协处理器指令译码的控制核心。文章提出一种协处理器微程序控制器的设计方法,并给出其功能验证的测试平台。采用隐含下址编码、流水及预译码等设计技术,来提高微码的执行效率。经优化的设计具有较快的译码速度和较小的微控制存储器面积。采用该方法设计的微程序控制器已经嵌入协处理器中,并且流片测试成功。     

一种高效的高质量图形用户界面开发方法

在分析、比较当前使用的几种图形用户界面开发方法的基础上，指出在ＭｉｃｒｏｓｏｆｔＷｉｎｄｏｗｓ操作环境下，利用ＢｏｒｌａｎｄＣ＋＋个及其提供的界面开发工具和Ｗｉｎｄｏｗｓ界面函数、资源、消息共同开发用户界面是一种高效的高质量图形用户界面开发方法，并且所开发的用户界面具有一致、友好、标准的特点．为说明这一开发方法的有效性，以实例的形式给出了采用该方法开发的某一实用ＣＡＰＰ系统用户界面．     

基于全Z－Buffer的五轴铣削图形仿真

给出了实现五轴铣削图形仿真的全Ｚ－Ｂｕｆｆｅｒ方法，特别地，利用直线段、半圆弧和轮廓线的直扫曲面，对五轴轨迹分类给出了构造运动扫体表面的方法．     

建模与仿真校核、验证与确认综述

校核、验证与确认(verification, validation, and accreditation,简称VV&A)是必须贯穿于建模与仿真全生命周期的重要部分。文章综述了建模与仿真生命周期中的VV&A活动、原则、技术及其适用范围,以及V&V的分级方法。     

飞航导弹弹道仿真的校核、验证和确认

论述了仿真VV&A的重要意义,提出了飞航导弹弹道仿真VV&A的几条基本原则。提出了飞航导弹弹道仿真VV&A的基本思想和标准。建立了进行飞航导弹弹道仿真VV&A的步骤和方法。对于如何利用非同一母体的实飞数据对仿真数据进行校核和验证的问题提出了解决方案。为飞航导弹武器系统仿真和作战仿真提供了依据和参考。     

专家系统知识库验证：Ⅱ.基于决策表的知识库验证工具KBV

说明决策表和知识库之间的关系，详细介绍了作者开发的基于决策表的知识库验证工具ＫＢＶ。给出了在ＫＢＶ中检查冗余，矛盾，循环，守完备性的算法。ＫＢＶ能对包含特定规则，通用规则和框架的知识库进行验证。由于考虑了各子决策表之间的逻辑关系，ＫＢＶ得到的结果是全局的。     

一个通用交互式计算机绘图系统

用键盘控制大十字光标,在屏幕上进行交互绘图、并能在绘图机上输出图形。就二维图形研究了图形数据结构、图形菜单设计方法、基本图形的生成、二维几何构形、剖面线设计、尺寸标注、表面粗糙度设计和矢量汉字库的建立。并系统设计了良好的图形编辑方式。