装备信息的概念、分类与应用

随着全军《指挥自动化建设纲要》的颁布,装备保障指挥自动化与武器装备数据库系统的建设得到加快发展,与之相配套的、指导其建设的标准、规范、法规和总体方案却相对滞后.造成这种局面的重要原因之一,在于对装备保障指挥自动化领域里一个重要的基本概念-装备信息及其分划的认识不统一.本文在深入分析装备信息术语使用现状的基础上,界定了装备信息的概念;并从相对稳定的分划依据-装备领域人的活动得以实施的基本要素出发,提出了装备信息概念外延的分划标准;同时讨论了其他定义及其分类方法存在的问题,澄清了一些模糊认识,提出了比较科学和相对稳定的分类体系,对装备保障指挥自动化建设与武器装备数据库系统开发具有一定的理论指导作用.     

采用双交叠模糊分划的T-S模糊系统的稳定性分析

研究前件变量采用双交叠模糊分划的T-S模糊系统的稳定性问题．首先针对自由系统,将连续时间系统的、基于最大交叠规则组的稳定性分析方法推广应用于离散时间系统,并采用模糊Lyapunov方法得到了稳定性的新结论．采用非并行分布补偿控制律,针对受控系统也得到了相应的结论．这些结论比已有的结果更加宽松．仿真例子验证了该稳定性结论．     

等倾干涉仪的机器视觉自动化改造

用传统等倾干涉仪测量平晶平面度,需靠肉眼从目镜观察,通过旋转测微鼓轮在分划板反复压线估读干涉环直径,这样做不仅准确度低,而且工作强度大、效率低。用机器视觉与计算机技术能解决以上问题：计算机对电荷耦合器（CCD）采集的干涉图进行处理,再同时测量多条干涉同心环直径并计算标准干涉环直径风;遍历所有检定点后。计算机通过数据处理自动得到各检定点的平面度数值。     

基于FPGA的尺寸自动检测研究

介绍了一种基于现场可编程门阵列(FPGA)的尺寸自动检测方法,同时给出了尺寸检测结果的实时在屏显示方法。研究了基于FPGA的纵、横向尺寸的检测方法,给出了系统的软、硬件设计,并进行了系统精度分析。     

使用递推解决递归问题的研究与应用

使用递推技术实现递归问题的算法,不仅可以节省存储空间,而且可以极大地提高算法的执行效率.在对递归问题进行研究的基础上,给出了使用递推技术将递归问题的递归算法转换成非递归算法的具体方法,并通过具体实例加以了说明.     

修正的Gödel逻辑系统中子代数的广义重言式理论

将修正的Gödel逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在G的序稠密子代数中给出F（S）关于┐同余的一个分划.     

双分划板自准直仪分划板离焦对其示值的影响

本文根据双分划板自准仪（以下简称自准直仪）的结构特点及工作原理，分析了在其分划板离焦时对示值的影响。分析表明，在工作距离较大时，分划板的离焦是一项不容忽视的误差因素     

断裂螺钉的光学对中器的设计

为了取出法兰面上断裂螺钉,且不伤及法兰本体,在用钻头铣掉断裂残存的螺钉时,必须首先对断裂螺钉断面进行定位对准.其定位对准原理是,通过调节X、Y向燕尾导轨,移动光学对中镜,使断裂螺钉的螺纹成像到对中器十字、同心圆分划板上,当两组圆相互重合时,即可认为对中.     

RG-代数的子代数与广义重言式理论

对Godel逻辑系统中的广义重言式理论进行推广,讨论了R_G-代数的各类无限子代数上的广义重言式,证明了在子R_G-代数中,Godel逻辑系统中存在着可数多个不同的广义重言式。