形式系统T^＊的完备性及其应用

研究了R0代数类的性质与结构，并用这些结果证明了R0区间[0,1]上的每个重言式在任－R0代数上仍是重言式，进而基于T^*－Lindenbaum代数的特殊结构证明了系统T^*的完备性与强完备性。还讨论了形式系统T^*在模糊推理中的应用，所得结果和例子表明系统T^*优于其他一些常用的模糊逻辑系统。     

零维三角型系统带重数的实解隔离

现有的隔离零维多项式系统实解的算法都不计算解的重数.文中用一种自然的方式定义了零维三角型多项式系统解的重数并证明了该定义与经典的局部(相交)重数的定义等价.使用该定义,给出了一个完备有效的算法计算零维三角型多项式系统的实解隔离及实解重数.文中的算法基于代数数系数多项式的无平方因子分解和区间算术.文中还给出了一些算例.     

公平交换协议的一个形式化模型

基于对现有公平交换协议的研究，使用求精过程建立了精确的形式化结构模型，在这一过程中，使用不可靠信道模拟攻击行为．模型首次给出了交换项的形式化定义，提出的公平性、可追究性目标能够更加完整地反映公平交换协议的内在要求．为了能高效而又细致地对协议进行检测、证明和设计，模型提出了适用于所有公平交换协议的不可滥用性的新性质，给出了第三方可信赖串的定义和设计安全高效的公平交换协议的一般准则．文中通过一个典型的公平交换协议分析实例，阐明了使用该模型分析公平交换协议的详细步骤．发现了一种过去从未发现过的新攻击，给出了攻击发生时系统运行的全过程，深刻揭示了攻击发生的各种原因．最后，对有缺陷的协议进行了改进，改进后的协议满足所需要的各种性质．     

广义模糊系统对于可积函数的逼近性

定义了一种广义模糊系统,应用中所研究的主要模糊系统都是该系统的特例,通过讨论了广义Ｔａｋａｇｉ－Ｓｕｇｅｎｏ（Ｔ－Ｓ）系统在Ｌｐ（μ）－模意义下对于分片线性函数的逼近性,证明了该广义系统对于ｐ－可积函数是通用逼近器,若给定逼近精度,则可以估计出该系统模糊规则库的规模大小,最后给出了两个模拟实例。     

π-演算观察等价的推理系统

提出带递归π－演算观察等价的推理系统，并证明了在受卫递归有穷控制子集上的完备性。该系统由推理规则和等式公理两部分组成，其断言采用条件等式的形式，直接刻画了进程项之间的符号互模拟关系。     

NP问题的常数轮知识的零知识证明系统

文中研究在标准复杂性假设下NP问题的常数轮知识的零知识证明系统的存在性问题.利用一种特殊的交互证明模式,在因子分解的困难性假设下,给出了NP问题的一个3轮的知识的零知识证明系统.文中给出的证明系统不仅肯定了NP问题的常数轮知识的零知识证明系统的存在性,同时也是对(NP问题的)3轮零知识证明系统的存在性这一公开问题的一个肯定性答复.     

光学双重自变换函数

使用Ｄｉｒａｃ梳状函数和可Ｆｏｕｒｉｅｒ变换的周期偶函数构造数学上严格的自Ｆｏｕｒｉｅｒ－自Ｆｒｅｓｎｅｌ函数，给出数学证明和例子，随后给出光学上能实现的这种双重自变换函数。     

信息系统中的信息粒与熵理论

信息粒度与熵理论是两种有效进行信息系统中不确定性研究的重要工具，已有许多成功的应用范例．文中研究了不同二元关系下信息系统中信息粒的刻画和表示，给出了信息系统中信息粒度的公理化定义，证实了一些已有的信息粒度度量都是其特殊形式．发展了信息系统中的熵理论，证明了这些熵度量的粒化单调性．同时，在信息系统意义下，建立了信息粒度与熵之间的互补关系．这些研究统一了完备信息系统与非完备信息系统中不确定性度量的相关结果．     

方向EMD分解与其在纹理分割中的应用

提出了方向EMD(Directional Empirical Mode Decomposition，简写为DEMD)的定义和框架并用来进行纹理分割．EMD是由Huang等人提出的新的时频分析工具．这种工具使用筛法对信号分解，再对成分的瞬时频率进行分析．虽然已有文章讨论将一维EMD推广到二维情况，但有两个方面还没有考虑：一方面是从二维EMD中提取特征，另一方面是考虑图像固有的方向性在二维EMD分解中的作用．文中考虑到这两方面，提出了DEMD的方法．这种方法在分解框架中考虑了图像的方向性，并从分解的每个成分中对每个点提出三个特征以进行图像处理．使用DEMD分解提取的特征进行纹理分割的实验说明了这种方法对于纹理处理的有效性．此外，给出了关于DEMD区分纹理在视觉上的解释．     

NP问题的3轮零知识证明系统的存在性

研究NP问题的3轮零知识证明的存在性.O.Goldreich与H.Krawczyk在1996年证明BBP以外的语言不存在（欺骗概率可忽略的）3轮黑箱模拟零知识协议,但是否存在3轮非黑箱模拟零知识证明仍然是一个尚未解决的问题.采用一种新的交互证明模式,在标准的DDH假设下,对图的3着色问题构造了一个3轮零知识证明.由于对零知识性的证明采用了一种特殊的方法,文中的协议实际上是非黑箱模拟意义下的零知识证明,从而证明了在DDH假设下,所有的NP语言都有3轮零知识证明系统.     

换热器中的温差场均匀性原则

提出了提高换热器性能温差场均匀性原则－－在传热单元数和热容量流比一定时，换热器的温差场越均匀，其效能越高，用分析和数值方法对１３种换热器的温差场和效能进行了分析，表明该原则是正确的，并对同一种换热器用传热面积分布的递推公式对此原则作了进一步的证明，通过熵产分析指出温差场均匀性原则是以热力学第二定律为理论依据的，提出了改变换热面分布或改变流向可改善温差场的均匀性，从而提高换热器的效能。     

基于辩论语义的算子模糊逻辑

定义了一种基于辩论语义的算子模糊逻辑，这种逻辑是相关的，次协调的，非单调的，能形象地刻画认知过程的信念修正，适于在知识不一致，不清确，不完全情形下推理。     

基于模糊PID的数字控制在DC／DC变换器中的应用

针对DC／DC变换器这种非线性系统，提出了一种基于模糊PID的数字控制方法。该方法通过对输出电压的偏差及偏差变化率的识别，进行模糊推理，实现对PID控制器参数的在线调节。电流连续模式和断续模式下的Buck变换器仿真结果表明，该方法能有效减小系统的超调量，提高系统的响应速度，缩短系统的调节时间，增强控制系统的动态性能。     

基于小波阀值降噪和BP神经网络的超短期风电功率预测

针对超短期风电功率预测问题，考虑了风电场复杂的噪声背景和风电功率的波动性，提出了一种基于小波阀值降噪-BP神经网络的超短期风电功率预测方法。该方法采用近似对称光滑的紧支撑双正交小波db4（Daubechies函数）作为小波基，通过多分辨分析的Mallat算法对历史时序风电功率数据进行3尺度分解。根据Donoho阀值法对各层小波系数进行软阀值降噪处理，再通过小波逆变换重构历史时序风电功率，由BP神经网络对其进行训练，预测目的风电功率序列。仿真算例将该方法与普通BP神经网络方法进行了对比，比较结果证明其预测精度优于后者，具有很好鲁棒性和降噪性能，适用噪声复杂的风电场超短期风电功率在赣预测．     

基于置换图的便笺存储器分配

在当今的嵌入式系统中,广泛地将片上存储器组织为软件管理的便笺存储器(SPM).Li等研究发现,对于很多嵌入式应用,其相干图中的数组生存期满足包含性.他们证明了满足生存期包含性的数组相干图为超完美图,并提出了一个基于超完美图的SPM分配算法.他们的算法在面向嵌入式应用的SPM分配上获得了当前最好的性能.本文进一步证明满足生存期包含性的数组相干图为置换图.置换图是超完美图的一个子类.在现有技术的情况下,置换图在判定及区间着色方面比超完美图有优势,如存在线性时间的识别算法,存在线性时间的最优区间着色算法.基于此理论结果,我们将Li等的算法在保留原算法逻辑的基础上,改进为基于置换图.实验表明,改进后的算法在很多不满足生存期包含性的相干图上仍能取得最优SPM分配,获得比基于超完美图的分配算法更好的分配结果.     

形式系统L*的完备性及其应用

研究了R0代数类的性质与结构,并用这些结果证明了R0区间[0,1]上的每个重言式在任一R0代数上仍是重言式,进而基于L*_Lindenbaum代数的特殊结构证明了系统L*的完备性与强完备性. 还讨论了形式系统L*在模糊推理中的应用,所得结果和例子表明系统L*优于其他一些常用的模糊逻辑系统.     

可定义的推导关系

证明了有限多扩充性质蕴涵布尔可表达性质，当每个集合都没有多扩充时，推导关系也是Ｂｏｏｌｅ可表达的。缺省推理中的定义方式推广为更广泛的定义模式，此模式所定义的推导关系仍然具有上述性质。应用模型中关于可定义性，无原子Ｂｏｏｌｅ代数等技术证明上述结论。     

模糊逻辑系统与前向式神经网络等价

揭示模糊逻辑系统与前向式神经网络的等价性，指出模糊逻辑系统的几个基本特征，并且减弱了模糊逻辑系统插值表示的条件。定义了非线性神经网络、线性神经网络，以及矩形波神经网络；证明了非线性神经网络必可由矩表波神经网络表示。给出了模糊逻辑系统与前向式神经网络等价性的证明。     

形式系统~*的完备性及其应用

研究了R0代数类的性质与结构,并用这些结果证明了R0区间[0,1]上的每个重言式在任一R0代数上仍是重言式,进而基于（?）-Lindenbaum代数的特殊结构证明了系统（?）的完备性与强完备性.还讨论了形式系统（?）在模糊推理中的应用,所得结果和例子表明系统（?）优于其他一些常用的模糊逻辑系统.     

超标量通信:一种面向分布式应用的运行时优化技术

并发在分布式应用中是一项实质性的需求,然而现有方法均十分复杂且容易出错.文中提出一种全新的并发途径——超标量通信,这种方法通过用语言级虚拟机SSVM在运行时自动分析应用程序,以发现潜在的并发机会;然后通过调度通信任务和计算任务,实现并发执行.超标量通信技术的构思受到了微处理器中的超标量技术的启发,然而硬件的超标量算法在许多方面都不适用于软件.SSVM是一种对运行时系统的扩展,它不需要修改现有的语言、编译器和字节码,因此具有很好的向下兼容性.超标量通信技术有可能开拓一个全新的领域,其特征是针对网络程序的动态优化.