决策表的分布约简和严凸函数下约简的等价性

用严凸函数定义决策表的属性约简，证明用严凸函数定义的属性约简同分布约简是等价的，给出严凸函数定义的相对约简的一个判定定理。     

平面图四色问题的一个必要定理

本文从逻辑推理角度讨论了关于四色问题的一个必要性定理。     

基于几何元素的具有影像纹理的：三维空间数据模型

基于对城市三维地理信息系统中复杂对象进行描述，以及三维空间查询和影像纹理真实化表达的需要，将空间现象抽象为点对象、线对象、面对象、体对象、数字地面模型和栅格影像6类。基于点、直线段和面片3类几何元素，建立了具有真实影像纹理的三维地理信息系统的空间数据模型，并给出了其数据存储结构。理论分析表明，该模型不仅可以表达规则对象，也可以表达非规则对象，同时还可以依据模型中隐含定义的几何元素之间的拓扑关系，方便地推求空间对象之间的空间关系。相对于矢量栅格集成的数据模型而言，该模型把三维几何建模矢量数据和影像纹理栅格数据分开存储，可以方便地在关系数据库中予以实现，同时，采用基于面片几何元素的形式很容易实现空间面对象或体对象的不同侧面的影像纹理贴加。     

一个严格介于完备与D-正规空间之间的空间类

引入并研究了一类严格介于完备空间与D-正规空间之间的空间——集态D-正规空间，证明了空间X是集态D-正规空间当且仅当X是集态δ-正规且D-正规的。与此同时，还得到了其它一些相关结果。     

HDTV视频同步与消隐时序控制信号的CPLD设计

ATSC HDTV视频输出采用了SMPTE的相应标准．将像素计数与行计数相结合，采用统计行分类编码的算法对SMPTE274M、SMPTE296M、SMPTE293M和SMPTE295M标准的同步与消隐时序控制信号进行了多平台的仿真分析，并在ALTERA公司的EPM7128上最终实现了本设计．     

步进程控放大器的CPLD实现

ispLSI1032是Lattice公司生产的在系统复杂可编程逻辑器件。本文介绍利用可编程逻辑器件ispLSI1032和AD7520实现1000倍步进增益可调的程控放大器的设计方法。     

基于小波模糊神经网络的陀螺仪故障诊断技术

为了提高陀螺仪故障检测灵敏度，分析了陀螺漂移特性，指出随机漂移是影响陀螺仪精度的主要漂移误差，也是影响性能可靠性的主要因素．针对此，提出了一种小波模糊神经网络故障诊断模型．此模型运用串联方式将小波分析、模糊逻辑和神经网络融合在一起，充分发挥它们各自的优点，并对陀螺仪实测数据仿真．仿真结果表明，采用小波分析提取陀螺的常值漂移，简单有效；运用神经网络对陀螺的误差和故障建模，使故障诊断具有自适应、自学习的能力，并互增强了故障诊断的容错能力；将模糊逻辑用于判决中，使判决结果更加可靠．     

Toeplitz算子亚正规性的判别法

讨论了Hardy空间H^2(Ⅱ)上的Toeplitz算子Tφ的亚正规性质。Toeplitz算子Tφ的亚正规性质完全由符号函数φ所确定。文章在Toeplitz算子Tφ的亚正规性的一个等价命题(性质1)的基础上，进一步给出了Toeplitz算子Tφ的亚正规性的一个关于符号函数系数的判别法。即Toeplitz算子Tφ的亚正规性等价于一个关于符号函数φ系数的实对称矩阵的半正定性。     

基于I／O传送的PCI总线控制器的设计

随着微处理机性能的迅速提高以及多媒体技术和高速网络的不断发展，人们对微机系统的I/O带宽提出了越来越高的要求，原有的标准总线如ISA、EISA和MC已逐渐不能胜任现代技术的要求。在这种情况下，PCI总线便应运而生，并迅速成为微机中的主流标准总线。现有的PCI总线控制器的实现方法有：采用专用芯片和可编程逻辑芯片。笔者在对PCI系统结构粗略介绍的基础上，用一块Lattice1032E可编程逻辑芯片设计出一个基于I/O传送的PCI总线控制器。仿真分析表明，该设计是成功的。     

FPGA／CPLD可编程逻辑器件的在系统配置方法

讨论了基于SRAM技术的CPLD／FPCA可编程逻辑器件的编程方法，并以ALTERA公司FLEX10系列器件为例，提出了一种利用微处理器对可编程逻辑器件进行在系统多方案配置的实用方法。该方法成本低廉、简单易行，能在系统复位或上电时自动对器件编程，不仅有效的解决了基于SRAM的CPLD／FPGA器件掉电易失性的问题，而且使单一芯片可以具有多种逻辑功能，实现了该类器件逻辑功能的在系统多方案的灵活配置。