基于模糊故障树的柴油发动机故障诊断方法研究

机车在交通运输领域有着不可替代的作用,提高机车的运用和维修的可靠性是实现其功能的保证。本文将模糊数学理论与故障树分析方法相结合,建立了16V240ZJ型机车发动机的故障树模型,对以发动机不能正常起动为顶事件的模糊故障树的模糊算子进行了分析计算;并对该模糊故障树进行了定性及定量分析。通过对燃油供给系统、空气供给系统、起动系统及其主要组成部件发生故障的概率分析,得到了机车不能正常起动的故障树顶事件发生的模糊概率隶属曲线及顶事件发生的概率可信区间。采用模糊故障树对发动机的故障进行诊断的方法克服了传统故障树分析中需要大量可靠性数据和部件失效精确概率值的缺点,同时为开展机车的运用和维修工作提供了一定的理论分析基础。     

牵引供电SCADA系统故障树分析研究

应用灰门故障树分析方法对牵引供电SCADA系统的可靠性进行了研究。简要介绍了灰门故障树分析方法的基本理论和牵引供电SCADA系统的基本结构;建立了牵引供电SCADA系统的故障树;用概率灰数描述部件的故障概率,用灰门代替传统逻辑门来描述部件间的联系,用故障测度描述部件的故障程度。对所建立的故障树进行了定量的计算。结果表明,应用灰门故障树分析方法的计算结果是可行有效的。     

基于光学衍射的纳米尺度深度重建

传统的离焦深度恢复方法（depth from defocus,DFD）在计算离焦图像的模糊程度时,均是基于几何光学成像原理,并没有考虑光波衍射对图像模糊的影响.然而,衍射现象是波的基本特性,以针孔成像为基础的光学成像系统中必然存在光波衍射.本文基于光学衍射和图像模糊机理,提出了一种精确的单目视觉全局景物3D深度信息获取方法.首先,详细分析了光学成像系统中的菲涅耳衍射机理,建立了衍射模糊与景物深度之间的关系曲线;然后,采用曲线拟合的方式建立了衍射模糊的模糊程度（点扩散函数扩散程度）与景物深度的数学关系模型,结合热辐射和图像相对模糊原理,构建了衍射模糊热辐射方程组,并把衍射模糊深度获取问题转换成一个深度信息动态优化问题.最后,使用标准的纳米栅格模板验证了衍射模糊深度重建算法在纳米尺度相对深度和绝对深度重建中的有效性和精确性.     

模糊图灵机的逼近性与通用性

模糊图灵机是模糊算法或模糊计算的形式模型．文中研究了模糊图灵机的几种变形，这包括基于max-★复合运算的非确定型模糊图灵机（简写为NFTM★，其中★为t-模），非确定型模糊图灵机（简写为NFTM），确定型模糊图灵机（简写为DFTM），以及这些变形的多带版本．得到了以下一些结论：第1，若t-模★不满足有限生成条件，则NFTM★，NFTM和DFTM一般不等价，这里等价指的是识别相同的模糊语言．但在逼近意义下等价，也即，NFTM★可以被NFTM以任意精度逼近，并给出了相关的构造．引入了模糊递归可枚举语言与模糊递归语言的概念，并利用递归可枚举语言与递归语言对其进行层次刻画．第2，如果限制NFTM★的模糊隶属函数的取值域为单位区间[0，1]的一个固定的有限子集D3则存在通用模糊图灵机，用该通用模糊图灵机可以模拟上述类型的限制型模糊图灵机．一般地，通用模糊图灵机在逼近意义下存在，该通用模糊图灵机可以以给定精度模拟任意类型的模糊图灵机．     

企业动态结盟中的伙伴挑选模型及其软计算方法

伙伴企业的挑选是敏捷制造和供应链管理中的一个热点问题. 将伙伴挑选问题表达为带有非解析目标函数的 0-1 整数规划模型, 通过定义无效候选人缩小搜索空间, 采用模糊规则量化的方法将模糊决策嵌入到项目调度算法中, 形成一个模糊决策与遗传算法结合的计算方法. 和传统的优化方法对比, 能以很大的概率快速找到最优解.     

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

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

基于客户满意度的模糊神经网络JSP研究

针对具有不确定性因素的作业车间调度问题，基于模糊数学的思想，把模糊加工时间、间隔期和模糊交货期用梯形模糊数表示，建立了基于客户满意度曲模糊作业车间调模型。运用Hopfleld神经网络算法求解，结合目标函数和JSP的全部约束条件，构建能量函教和JSP换位矩阵，保证了神经网络稳态输出为最优生产调度方案。最后用网络计划图对稳态输出的换位矩阵进行解码得到最优调度甘特图，避免了传统成本树法易出现死锁调度的问题。计算实例验证了本算法的可行性和有效性。     

基于FRCM和FLAR的水文过程遍历特征分析模型及其应用

提出利用模糊粗糙聚类（FRCM）、自相关趋势图和模糊最小一乘回归（FLAR）对水文过程的遍历性特征进行研究，以上海54年（1951～2004）的降水为例，进行了具体的计算和分析，并利用离差系数作了印证性分析．结果表明：上海4～6和9月具有过程遍历性特征，所以，从长时间尺度来看，上海4～6和9月的降水量总体上不会呈长期下降趋势，在某个时期都会向该月份的降水均值回归．     

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

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

基于四元数表达的模糊矢量形态学算子

由于经典的形态学算子不能直接拓展到彩色图像处理中,提出一类基于四元数表达的模糊矢量形态学算子.该算子利用四元数表达彩色图像并结合其分解特性,将彩色图像的模值、四元数的垂直分量和角度信息作为词典编纂顺序的3个边缘分量.3个分量一方面去除了彩色图像多通道数据的相关性,另一方面更便于词典编纂顺序等级的划分.并利用模糊数学解决了现有词典编纂顺序存在的等级判定难以深层进入的问题,给出了基于四元数表达的模糊矢量排序算法.与现有的矢量排序算法相比,新的矢量排序算法同时考虑了各分量的作用,并将判定进行到词典编纂顺序的最后一层,实现了矢量的正确排序.基于新的矢量排序规则,定义了矢量形态学算子,并将新的矢量形态学算子应用于彩色图像滤波、分割中.实验结果表明,与现有的矢量形态学算子相比,新的矢量形态学算子在平滑彩色图像噪声的同时保留了图像细节,并能正确地分割多类彩色图像,具有较高的鲁棒性及实用性.     

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

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

基于实物期权的PPP项目投资评价研究

传统的现金流折现法忽视了不确定性因素的影响,不能对基础设施PPP项目进行有效评价.针对传统的折现法的这一缺陷,分析了PPP项目中存在的期权特征,并提出基于实物期权理论的二叉树期权评价模型.通过实际的案例分析,考虑交通PPP项目中车流量的不确定性,得出实物期权理论相对于现金流折现法的优势.最后提出实物期权在PPP项目评价中的应用前景与建议.     

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

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

基于变论域的分散模糊推理方法求解传热反问题

建立了基于变论域的分散模糊推理方法。首先,设计了一组分散的模糊推理单元,以各测点处温度的计算值和测量值之间的误差分别作为模糊推理单元的输入变量,同时根据误差的大小调整输入变量论域的值,进行模糊推理得到推理结果;然后,对各推理结果进行加权综合,产生各个待反演温度的补偿值并对各个待反演温度的猜测值进行修正;最后,实现导热反问题的求解。选用不同的初始猜测值、温度测点数目以及温度测量误差进行了数值试验,证实了基于变论域DFI算法的有效性。     

模糊控制算法在干线信号绿波控制中的应用研究——以虎门镇连升路为例

从交通信号控制的角度,对城市干道的交通信号控制策略及其控制优化参数（周期时长、绿信比、相位差）进行分析,并结合虎门镇连升路的交通状况,采用模糊控制方法实现城市交通干道的优化协调控制。通过VISSIM软件仿真,分析对连升路分别采用模糊协调控制方案、传统数解法协调控制方案及单点控制方案的效果并进行比较,结果表明模糊协调控制方案明显优于其他两种方法。     

物联网服务建模：一种基于环境建模的方法

物联网服务是传统Web服务通过传感器网络向物理环境的延伸,它通过传感器网络感知物理环境中的实体,也向物理环境实体施加作用.与传统Web服务相比,由于物联网服务受到所依赖的物理环境的时间受限性、资源受限性和设备潜在故障概率的影响,物联网服务的响应速度、服务能耗和容错能力等特性成为影响物联网系统整体特性的重要因素.因此,对物联网服务进行全面建模,对物联网服务所处的外部环境进行形式化描述,并结合物理环境模型对物联网服务的性质进行分析,对于确保物联网系统的正确性、稳定性非常必要.本文针对物联网服务的特点,结合基于环境建模的需求工程思想,提出一种基于环境的物联网服务三元问题域建模框架,给出了物联网服务建模本体以及相应的建模原则.在此基础上,提出了一种物联网服务行为建模方法,该方法将物联网服务和物理环境建模为概率时间自动机,将用户期望的服务特性描述为时序逻辑公式,为物联网服务功能行为正确性验证和非功能性约束可满足性验证奠定了基础.     

基于直觉模糊集的成组工序相似性评价方法

基于直觉模糊集的相异度和相似度,研究了成组工序相似关系的构造,构建了相似性评定指标体系及评定模型,提出了一种基于直觉模糊集的工序相似性分析与评判方法,从而解决了成组工序构建中的相似性评定的问题,最后通过实例验证了该方法的可行性.