与-或/异或型逻辑函数的化简

本文提出求找逻辑函数系中独立函数的新方法,揭示了它的实质;同时利用“异或”的特殊性质,提出了“与-或/异或”型逻辑函数的化简方法。为数字系统中该类型逻辑函数的化简提供了理论依据及完整方法,同时也为模块的逻辑设计提供新的途径。     

航天软件中多重中断程序的动态检测方法研究

随着控制系统软硬件平台的设计复杂度不断增加,特别是飞行控制系统中集成的传感器不断增多,中断数量也随之不断增加.本文根据飞控系统的具体特点,使用标记迁移系统对多重中断并发程序进行建模,提出了原子性违背和数据竞争的形式化描述,运用动态偏序化简算法对程序的状态空间进行化简,并设计实现了多重中断控制系统程序的动态检测工具,实验结果表明该检测算法可以在满足对多重中断并发程序错误检测的基础上,大大的缩短检测时间.     

卡诺图在多变量逻辑函数化简中的应用

卡诺图化简法是化简较复杂的逻辑函数最常用的方法之一,论文提出一种把4变量卡诺图应用于4变量以上的逻辑函数化简的一种方法。     

基于AMESim模型的实时化简

针对航空发动机主燃油液压机械系统搭建的高保真模型无法进行实时仿真的问题,提出用活性能量指数配合线性频域分析的方法,分析化简已有的液压机械系统模型。通过计算模型中各个子元件的能量活性指数并结合线性频域分析,判断出其中能量活性指数低且固有频率远高于控制系统关注频带的子模型,并对其删除或修改,实现对原有模型的化简,以满足实时仿真需求。利用航空发动机实时仿真平台试验仿真结果表明,修改后的模型在保证精度的前提下,不仅缩短了仿真的时间而且满足了实时仿真的要求。     

基于远程渲染的三维模型发布系统

当前三维模型在Internet上的应用越来越广,但先下载再显示的传统发布方式也一直受到安全性、网络带宽和客户端机器的图形性能3方面的制约.结合三维模型化简和远程渲染技术提出了一种新的三维模型发布系统.系统把高精度模型保存在渲染服务器上,客户端的三维浏览器只提供大幅精简的粗糙模型.用户可以在客户端对粗糙模型进行缩放、平移和旋转等操作,选择最佳的观察视点.当用户停止操作时,客户端向服务器发送一个渲染请求,该请求中包含用户当前的视点、方向和光照条件等信息.服务器根据客户端请求进行渲染并返回高精度模型的图像.因为敏感的高精度模型保存在服务器端,因此该系统具有先天的安全性优势;因为客户端和服务器之间只在用户停止操作时传输平均大小为30 kByte的图像,因此系统对网络带宽要求很低;此外客户端只需要渲染极为简单的精简版模型,所以不需要很高的图形性能.      

逻辑函数化简的子母卡诺图法

本文提出了一种逻辑函数化简的子母卡诺图法，可用于五变量、六变量逻辑函数的快速、准确化简。