管理信息系统通用工具软件MT-1

MT—1是在汉字dBASE—Ⅱ的基础上开发的数据库工具软件,它具有图形化的数据描述和数据操纵语言,是一个实用的微机管理信息系统开发工具。它在图形化用户界面、数据字典、视图、数据完整性和安全性等方面优越于dBASE—Ⅱ。本文描述了MT—1的总体结构和主要功能,讨论了主要设计和实现问题。     

延时线性系统最优控制的Walsh级数分析法

本文借助于 Walsh 级数的分析方法,导出了延时算子,并利用延时算子和 Walsh级数的运算特性给出了一套延时线性系统最优控制的 Walsh 级数分析法,避免了求解 Riccati方程使算法非常简单。     

热式流量传感器辨识与数字补偿方法

本文就改善热式流量传感器的响应特性问题进行了理论与实验研究,指出了模拟电路补偿方法所存在的不足,论述了热式流量传感器的辨识与实验方法,提出了用数字补偿提高其响应速度的方法。研究表明,这种方法是很有效的。     

微机控制变螺距螺纹的追踪修正法

本文探讨用经济型数控系统加工变螺距螺纹的原理,提出了一种插补算法——追踪修正法。通过仿真计算,考核了这种算法的理论误差。结果表明,其控制精度是令人满意的.     

数字视频信息分级授权收视系统

针对日益严重的数字视频信息安全问题,提出一种数字视频信息的分级授权收视方案,其关键是利用现代高强度的密码技术保证数字视频信息传输的安全性和分级授权机制的实现。由于充分利用了成熟的数字视频广播技术,此分级授权收视系统安全性很高,系统构建简单,且成本比较适中。     

视频监控系统中的动目标检测新方法

在分析了现有算法在复杂背景下所存在的不足的基础上,提出了一种适用于视频监控系统的基于视频序列像素时空相关性检测的动目标检测方法.该方法首先用每一帧中像素的空间相关性检测出目标,再用序列图像中目标的时间相关性检验目标的真实性,从而最终确定是否有运动目标.试验表明,该方法能很好地检测出运动目标,并具有较强的抗干扰能力.     

柴油机转速模糊控制的一种算法及其实现

针对柴油机数字式电子调速器的特点,设计了一种转速模糊控制算法,并在以16位嵌入式单片机为核心的柴油机数字调速系统中实现了这种算法.实机试验结果表明,这种算法有较好的控制效果.     

基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.     

基于MAS的武器装备供应管理支持系统设计

对武器装备供应管理系统结构和功能进行了分析,给出系统的一般构成模式和运行要求,阐明了其所需的决策支持;以系统一般模式为背景,探讨了利用多Agent系统理论构建装备供应管理支持系统的思路,提出支持系统的组成框架,并说明了其主要特点;最后,对支持系统的信息监控过程做了具体研究,给出了相应程序。     

基于ASP．NET技术的动态网页实现

ASP .NET为Web应用系统开发提供了一种全新的灵活的基础结构,是迄今为止最先进的Web应用服务系统开发平台.动态网页是Web应用服务系统的核心.提出了采用ASP .NET技术实现动态网页的方法,在数字化油库与油库信息可视化项目研究中得到很好的应用.