基于吴方法的多值模型检验

大型复杂系统的开发过程中不可避免的涉及到非确定或不一致信息的处理,而多值模型检验作为经典模型检验的一种扩展,是处理和分析包含此类信息模型的一种有效手段.提出了一种系统化的多值逻辑(涵盖经典逻辑)的代数表示方法,使用吴方法的基本思想和框架实现复杂系统形式验证中基于多值逻辑的模型检验的代数化,建立了通过吴方法实现多值模型检验技术的整体框架.这种代数化的多值模型检验方法可以作为现有方法的有力补充.     

基于小波的信号去噪分析

由实际应用可得,作为一种新的多辨认分析方法的小波变换,由于具有多分辨特征和时频局部性,可同时进行频域和时域分析,所以特别适用于进行非平稳信号的处理。首先介绍了小波分析的信号去噪原理,其次接着阐述了4种去噪算法：小波分解与重构去噪方法、模极大值检测法、阈值法及平移不变量小波去噪法。对于叠加了高斯白噪声的仿真信号,分别将上述的4种方法用于去噪处理,并通过仿真过程不同及图形差异对几种方法进行比较。     

一种几何定理机器证明的零维化方法

本文对一类初等几何定理的证明给出了一种机械化方法，利用这种方法，可计算出一个由有限个素理想组成的集合，所有属于假设部分对应的某一扩域上的理想的素理想都在这个集合中出现并且可以挑选出来．因而一个几何定理一般真确，当且仅当终结多项式属于全部的这种素理想，即对其不可约特征列的余式为零．     

基于符号模拟的电路中错误诊断方法研究

错误诊断是在逻辑芯片中预测潜在错误点的过程.为了快速有效地诊断电路中的错误,提出一种将符号模拟技术应用到基于区域模型的错误诊断法上的新思想,具体方法是通过对要诊断的电路进行区域划分,然后利用符号模拟方法依据两种测量标准对各个区域候选者进行可疑度的等级排序,从而对电路中所含错误进行判断.可疑度越高的区域,其作为错误候选者的可能性越大.该方法利用符号模拟技术,不需要对向量空间进行穷尽的列举,因而在空间和时间上是有效的.     

零维代数簇的分解及其应用

本文利用Groebner基，给出了一种分解零维代数簇的方法，并且讨论了这种方法在理想的准素分解以及几何定理机器证明中的应用．     

零维多项式理想的分解算法

本文给出了一种不全用线性的变换和ｖ．ｄ．Ｗａｅｒｄｅｎ的指数方法的零维多项式理想准素分解的新方法：     

BUCK型双输出同步控制器LM5642的原理与应用

详细介绍LM5642器件的工作原理和组成.该器件属于电源控制器中的电压控制型,采用PWM技术调节输出电压.介绍基于LM5642的双路输出大电流应用.描述设计中相关元器件选择以及PCB板制作过程中需考虑的相关问题,最后以该器件为核心通过DC/DC变换设计多路输出不同值的电压和电流作为系统电源.     

基于System Generator数字中频接收机的设计

研究设计了一种可用于中国地面数字电视广播传输标准DMB-TH的高速数字中频接收机,并给出了主要功能模块的设计方法,最后得到了令人满意的结果。     

BUCK型双输出同步控制器LM5642的原理与应用

详细介绍LM5642器件的工作原理和组成。该器件属于电源控制器中的电压控制型,采用PWM技术调节输出电压。介绍基于LM5642的双路输出大电流应用,描述设计中相关元器件选择以及PCB板制作过程中需考虑的相关问题,最后以该器件为核心通过DC/DC变换设计多路输出不同值的电压和电流作为系统电源。     

特殊Thue系统表现的幺半群的两个性质

本文给出了有限特殊Ｃｈｕｒｃｈ－ＲｏｓｓｅｒＴｈｕｅ系统表现的上半群是群或正则半群的两个充要条件．并由此获得了判定该种幺半群是否群、正则半群的十分简单的算法．