用神经网络实现三值PMC模型的计算机系统诊断

本文系统地研究了如何构造一个神经网络来实现三值PMC(Preparate-Metze-chien)模型的计算机系统诊断。大量模拟实验表明,用神经网络来解决计算机系统诊断的诊断问题非常有效;同时,模拟实验还得出了电容C、电阻R、放大系数K与网络收敛时间的关系。

用神经网络求解P－t可诊断模型下的计算机系统诊断问题

系统地研究了如何构造一个Ｔａｎｋ＆Ｈｏｐｆｉｅｌｄ型神经优化网络来求解计算机系统诊断的Ｐ－ｔ可诊断模型的诊断问题。模拟实验表明神经网络对初始输入和连接权均具有容错性；模拟实验得出了电容Ｃ。

32位微处理器功能测试状态集的研究

基于微处理器指令译码功能故障模型，给出了各类指令所需的测试状态集应该具有的性质及其构造方法。

三元比较模型中若干问题的研究

随着网络以及多处理机系统应用的日益普及,这些系统的维护问题也越来越突出。系统故障诊断为系统的维护提供了重要的理论基础,它的基本思想是:首先让系统中的处理机互相测,然后对测试结果进行分析,找出故障处理机。

对m维空间广义骑士巡游问题的研究

对ｍ维空间广义骑士巡游问题进行了研究，给出了不存在Ｈａｍｉｌｔｏｎ圈和Ｈａｍｉｌｔｏｎ路径的充分条件。

一类多总线系统的研究

本文利用WBIB设计(弱平衡不完全区组设计)来构造容错多总线系统,给出了这类系统的构造方法。这类系统具有优良的通信能力和高的可靠性。

基于多尺度小波纹理分析的文字种类自动识别

在一个国际化的环境中 ,各种语言 (language)、文字 (script)需要识别和处理 .在这篇文章中 ,提出了一种基于多尺度非冗余小波纹理分析的文字种类自动识别技术 .在实验中选用了六种语言 (中文、英文、日文、韩文、俄文和印度文 )不同格式和字体的文本图像 ,以证实这种技术的能力 .计算复杂性分析和实验表明 :基于多尺度非冗余小波纹理分析的文字种类自动识别技术 ,具有较小的计算复杂性 ,而且对格式和字体的变化较稳定 .

小波分析的一些有前景的应用领域

本文分析了小波分析一些有前景的应用领域，对小波分析在活动图像压缩中的应用作了深入讨论，并对小波分析的未来发展作了预测。

人工神经网络固有的优点和缺点

本文较详细地分析了一般神经网络固有的优点和缺点,并对BP网络和Hopfield网特有的优点和缺点分别进行了阐述。最后,比较了用反馈神经网络和用启发式算法求解NP难的优化问题之各自利弊。

一个系统级故障诊断算法

本文提出了多处理机系统故障诊断的一个算法．为了度量该算法的运行时间，定义了算法的概率时间复杂度函数，进而通过仿真实验和理论分析证明了这个算法能够用较小的开销获得高的正确诊断率．

从傅里叶分析到小波分析:回顾与发展

1 傅里叶分析大约在1822年,法国著名数学家傅里叶从热力学的角度提出一种新的理论即“热的解析理论”,这种理论以一种全新的观点对当时的分析领域产生了极为重要的影响,使数学、物理等学科发生了很大的变化,并引起众多科学家的广泛关注,后被誉为傅里叶分析方法,但傅里叶提出的这种方法仅仅是一种理论,尚不能具体进行应用。1965年,美国贝尔实验室的Cooley,

多种小波基应用性能分析(Ⅰ)

将近年来提出的各种典型的小波基（小波函数）进行汇总，对其有关理论问题和应用时需要注意的具体细节进行详细分析，对科技工作者和工程技术人员有一定的实用价值。

关于骑士旅游问题的几个定理

研究了骑士旅游问题以及广义骑士旅游问题。给出了不存在和存在Ｈａｍｉｌｔｏｎ圈（Ｈａｍｉｌｔｏｎ路）的几个充分条件。

矢量积小波变换

1 矢量小波函数方程Ψ(x)=sum from k=0 to N(C_kΨ(2x-k)) (1)称为尺度方程,它在多尺度分析中起着举足轻重的作用。方程(1)的系数可以是实数亦可以是复数,(1)式的解Ψ(x)称为尺度函数。若式(1)有一个可积解Ψ(x),且是L^2(R)中的一个规范正交基,则从下式Ψ(x)=sum from k=0 to N(-1)~k(C_(N-k)Ψ(2x-k)) (2)

对称比较模型下的系统级故障诊断

本文在对称比较模型下研究系统级故障诊断问题，提出了一个非自适应诊断算法和一个自适应诊断算法，并分析了它们的诊断开销．

系统级概率故障诊断的最小测试数

系统级故障诊断中的核心问题，是要用最小的开销完成诊断任务．由于测试数是诊断开销的一部分，希望测试数达到最小．在几种概率测试模型下，我们给出了概率诊断中最小测试数的上界和下界，这两个界具有同一数量级．

系统级故障诊断的一个三值模型

提出了系统级故障诊断的一个三值模型，定义了一类可诊断系统，给出了其特征。

从文献分析看小波理论的发展

在国际联机检索大量小波文献的基础上，对小波文献进行了较深入的分析，提出了笔者自己的看法。

一类循环图的色数

循环图具有很强的对称性，作为有价值的通讯网络拓扑已受到广泛的关注。研究了一类循环图Ｃｎ＜１，ｋ＞，完全确定了其色数。

并发系统基本模型及其分析

本文概述了目前用于并发系统形式描述的几个重要的基本模型：ＦＳＭ、Ｐｅｔｒｉ网、ＦＴＳ以及ＣＳＰ、ＣＣＳ、Ｓｔａｔｅｃｈａｒｔ等，并分析了上述一些模型的特点和不足之处，指出ＦＴＳ模型为时态逻辑用于并发系统形式描述提供了良好的基础。