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

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

模糊系统作为通用函数逼近器的研究

讨论采用某一固定函数的伸缩及平称作为隶属函数的情形，证明在基函数可积，积分非零且几乎处处连续的条件下，模糊系统是通用的函数逼近器，拓宽了可作为通用函数逼近器的模糊系统的类型，仿真对该结论进行了验证。     

一种新的模糊神经网络及其逼近性能

给出了一类折线模糊数间新的模糊算术，对于递增函数σ : R→R得到了一个新的扩展原理，并由此建立了一种新的模糊神经网络模型，该模型在设计学习算法、逼近能力等方面具有优越的性能. 最后证明了相应的前向三层网络可以作为连续递增模糊函数的通用逼近器.     

基于结构元方法的矿井机械模糊可靠性分析

应用模糊结构元理论,对矿井可修复机械设备可靠性中的有效度进行研究.首先,定义了模糊可靠度、模糊维修度和模糊有效度,并应用结构元理论对其进行表示.提出了相关的运算定理,在此基础上,再运用结构元理论对模糊有效度进行表示.之后,提出了正序,该序为全序.最后,用算例计算模糊有效度,通过正序对有效度进行比较.结果表明,运用模糊有...     

基于隶属度比较的描述逻辑SHOIQ模糊扩展

语义Web模糊知识的表示和应用经常需要涉及多个模糊隶属度值及其比较的复杂模糊知识描述,但现有的描述逻辑模糊扩展缺乏描述和使用这类复杂模糊知识的能力.文中提出新的描述逻辑SHOIQ模糊扩展SHOIQFC语言.SHOIQFC不仅具有模糊描述逻辑FSHOIQ的全部表达能力,还支持涉及多隶属度值及其比较的复杂模糊知识的表示与推理,拓展了描述逻辑模糊扩展的应用范围.证明了SHOIQFC知识库一致性问题的可判定性并给出Tableau推理算法,为实现语义Web复杂模糊知识的表示与推理提供理论基础.     

通用可组合的匿名HASH认证模型

理想函数是通用可组合安全的核心组成部分，但是目前通用可组合安全框架中定义的认证理想函数通过将身份与消息和签名值绑定的方式来实现对身份的认证，没能充分体现出采用其他形式进行匿名认证的特殊需求．受到Marten的启发，文中利用通用可组合安全定义并实现了一种适用于无线网络的匿名Hash认证理想函数，并在此基础上定义了一个具有普遍意义的Hash证书权威模型．定义了匿名Hash认证机制的安全需求和安全概念，并且证明在标准模型（非随机预言机模型）下所提匿名Hash认证机制的安全属性可以通过安全对称加密机制、安全数据签名机制、伪随机函数以及单向无碰撞Hash函数的组合得到保证．考虑到无线网络的特殊限制，以及移动终端设备的有限计算能力，本理想函数主要采用对称密码原语来实现身份认证．     

模糊控制器与PID调节器的关系

揭示模糊控制器与ＰＩＤ调节器之间的内在关系。首先指出,单输入单输出模糊控制器是个分段Ｐ调节器,然后证明了双输入单输出模糊控制器是具具有Ｐ与Ｄ交互影响的分片ＰＤ或（ＰＩ）调节器,最后证明,三输入单输出模糊控制器是个具有Ｐ,Ｉ,Ｄ之间交互影响的分片ＰＩＤ调节器。此外,还给出三输入单输出模糊控制器的差分格式。     

基于密集采样成像算法的全芯片可制造性检查技术

分辨率增强技术(Resolution Enhancement Technology，RET)在集成电路制造中的应用使得光刻用掩模图形日趋复杂，而掩模制造成本和制备时间也随之增加．由于光刻工艺包含了一系列复杂的物理和化学过程，分辨率增强技术本身很难保证其输出结果的正确性，因此在制造之前，利用计算机对已经过处理的版图作可制造性验证变得十分必要．文中介绍了光刻建模、成像模拟和问题区域查找的算法，回顾和比较了当今流行的post-RET验证方法，并阐述了基于密集采样成像算法(Dense Silicon Imaging，DSI)的可制造性验证的必要性．并在密集采样成像算法的各个关键步骤提出了新的加速算法．在新算法的帮助之下，以往由于计算量太大而被认为不实用的基于密集采样成像的可制造性检查得到了实现．文章的最后部分给出了密集采样成像算法在实际中应用的例子和实验结果．     

上下文无关语言上的递归函数——I.CFPRF及CFRF的定义

建立上下文无关语言（CFL）上的递归函数理论,在CFL上定义了函数类CFRF和它的真子类CFPRF,它们可用来十分直接地表述非数值加工算法.事实上它们分别就是上下文无关语言上的偏递归函数和原始递归函数.提出了证明CFPRF函数性质的结构归纳法,给出一种枚举CFL句子的方法,定义了极小算子.基于CFL句子枚举,提出了极小算子的求值方法.最后,讨论了以CFRF为理论基础的可执行规约语言的设计和实现原则.     

上下文无关语言上的递归函数——Ⅰ. CFPRF及CFRF的定义

建立上下文无关语言(CFL)上的递归函数理论. 在CFL上定义了函数类CFRF和它的真子类CFPRF,它们可用来十分直接地表述非数值加工算法. 事实上它们分别就是上下文无关语言上的偏递归函数和原始递归函数. 提出了证明CFPRF函数性质的结构归纳法,给出一种枚举CFL句子的方法,定义了极小算子. 基于CFL句子枚举,提出了极小算子的求值方法. 最后, 讨论了以CFRF为理论基础的可执行规约语言的设计和实现原则.     

上下文无关语言上的递归函数——I. CFPRF及CFRF的定义

建立上下文无关语言(CFL)上的递归函数理论. 在CFL上定义了函数类CFRF和它的真子类CFPRF，它们可用来十分直接地表述非数值加工算法. 事实上它们分别就是上下文无关语言上的偏递归函数和原始递归函数. 提出了证明CFPRF函数性质的结构归纳法，给出一种枚举CFL句子的方法，定义了极小算子. 基于CFL句子枚举，提出了极小算子的求值方法. 最后, 讨论了以CFRF为理论基础的可执行规约语言的设计和实现原则.     

模糊聚类方法中的最佳聚类数的搜索范围

研究了聚类方法中的最佳聚类数可能存在的范围，提出了一种新的解决方法,据此指出现今文献中普遍使用的规则c_max≤√n 在一定意义上是合理的.并就文献中的几个典型例子对上述结论进行了验证与分析. 其结果说明了新方法的有效性.     

对教师教学质量的综合评价

高校的一项重要内容之一就是对教师的教学质量进行评判,如何公正公平对教师教学质量进行评判成为一项重要问题。以往对教师的综合评判多为定性分析,带有一定的主观性和片面性,不够全面准确,将模糊数学中的多层次模糊综合决策应用于教师教学质量评估,给出了具体步骤,这种方法具有一定的科学性和合理性。     

ABS模糊自适应控制器的设计与仿真研究

基于最佳滑移率的ABS自适应控制器要解决的问题有：在制动过程中,滑移率被稳定的控制在目标滑移率附近;自动识别道路附着状况,调整目标滑移率值以达到利用最大道路附着系数的自适应效果.本文在建立车辆单轮防抱死仿真系统的基础上,使用模糊控制,设计了一个基于最佳滑移率的复合式模糊自适应控制器。经ABS系统仿真实验表明,该控制器的控制稳定性、鲁棒性和自适应性均取得了良好的效果。     

基于模糊相关的彩色图像检索

报道了一种基于彩色直方图模糊相关的彩色图像检索方法. 应用模糊集理论中的α-级关系来定义彩色直方图的匹配色彩峰, 从而得出色彩峰的高度匹配关系, 通过综合所有色彩峰的高度匹配得出彩色直方图的相关值. 实验证明该方法可以有效地提高检索效率. 其中, 通过改进色彩矢量分区比较的实验方法, 把整个RGB色彩空间分为六个子区, 减小了色彩漏判的可能性.     

逼近最大似然(ML)性能的降维VBLAST检测算法

在多输入多输出系统中,空分复用是一种获得系统通信容量的有效方式.BLAST(Bell-labs layered space time)是空间复用方式的典型代表.其中VBLAST应用最为广泛,它的检测算法有ML,ZF-DFE,ML-DFE等.本文在以上几种算法的基础上,讨论了信道相关性对检测性能的影响,提出了一种接近ML性能的低复杂度新算法--HPML算法.仿真表明,HPML在获取接近ML性能的同时有效的降低了算法的复杂度.     

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

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

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

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

基于模糊理论的并联电容器故障诊断系统研究

将模糊理论应用于并联电容器的故障诊断中.针对其故障特点,建立了并联电容器典型故障诊断模型,研究了一种并联电容器故障模糊诊断系统.该系统采用人机界面,集数据采集、信号分析,征兆提取,故障诊断于一体,操作使用方便.实验结果表明,该系统可对并联电容器的典型故障进行有效识别,帮助维修人员确定故障,提高效益.     

基于模糊模式识别理论的规划环境影响评价

研究了模糊模式识别理论在规划环境影响评价中应用的问题.以阜新市经济转型期水资源综合规划的环境影响评价为例,对该规划进行了环境影响识别,构建了环境影响评价的指标体系,分析了规划中各个环境主题对环境影响的贡献,建立了水资源规划环境影响评价的模糊模式识别模型.评价结果表明,阜新市经济转型期水资源规划具有一定的环境彩响.为水资源规划的可行性提供了科学依据.