n维立体空间模型在逻辑综合中的应用

提出了ｎ维立方体模型及其立方体顶点的编号方法，由此推算出相邻顶点间的数学关系式。在文中给“差值”下了定义，由ｎ维立方体模型推导出一个简化相邻顶点编号的新定理，应用这个新定理，可以简化任意ｎ变量布尔函数，从而获得简化的开关电路网络。     

分布式内存数据库的恢复

对分布式内存数据库的恢复进行了讨论,内容包括:转储、分布式事务提交及日志。在最后提出了一个日志生成算法,该算法针对机群式环境下的应用,对两阶段提交协议(2-Phase-CommitmentProtocol)进行了改进,有着良好的实用前景。     

嵌入式微处理器浮点执行部件EMFPU的设计

 浮点执行部件是微处理器的重要组成部分。重点论述了基于MIL-STD-1 75 0 A标准的嵌入式微处理器浮点执行部件 EMFPU (Embedded Floating Point Unit)采用的独特数据通路和控制机制。设计给出的 FPU是由指数部件和尾数部件两套数据通路组成,通过一套特殊的控制机制控制其协作完成各项功能。着重讨论了 FPU的算法、数据通路、控制通路和时序;并分析了整个电路的实现和瓶颈的解决。     

飞机穿越微下击暴流风场进场着陆运动特性

应用模糊逻辑建模与辨识的方法建立了微下击暴流模型，利用此模型对A300飞机进场着陆时穿越微下击暴流进行了模拟，分析了低空风切变模型中高度因素的影响，说明了二维模型比一维模型更为优越。结果表明，提出的建模方法能够更好地以映出飞机穿赵微下击暴流的动态特性。通过分析初始高度对飞机穿越微下击暴流动态性能的影响，得出了一些重要的结论，从而对低空风切变危害飞机安全的物理本质有了进一步的认识。     

航空电源逆变转换的数字化控制

将现代电子设计自动化EDA技术与等效面积正弦波脉宽调制SPWM技术相结合,采用VHDL描述逆变控制电路的逻辑功能,配置于可编程逻辑器件PLD芯片,实现航空电源逆变转换的数字化控制,简化了电路结构,提高了系统精度。     

R/W变换真值法求谱及其应用

在数字系统中,利用Walsh函数对组合逻辑电路进行综合时,必须求出该逻辑函数的谱系数。本文介绍一种更加简便的求谱系数的方法,并用这种方法求出了n≤4的逻辑函数系中独立函数的谱。     

用DYL电路实现四值Searle运算器

本文采用DYL电路的基本逻辑单元实现了四值Searle运算器,给出了四值Searle四种运算及的逻辑设计公式及逻辑网络,为四值Searle运算器的工程应用提供了可能。