从可信性的基本数学模型看“失效”与“故障”的联系和区别

关于“失效”和“故障”的讨论往往是从这两个名词的释义及对应的英failure与fault应该如何翻译，及这两词是否为同义词出发的。本则从可信性的基本数学模型为出发点，分析两的联系和区别，提出“失效”与“故障”是从不同的角度对同一个对象进行描述的看法。     

模糊环境下物流服务供应链订单分配问题研究

【目的】针对物流服务供应链订单分配问题,考虑订单分配问题的动态性与模糊性,使所建模型更符合实际情况,提高方案可行性。【方法】将物流服务供应商物流能力供给量与物流服务集成商物流能力需求量设为模糊不确定变量,建立模糊环境下的订单分配模型,以最小化物流服务集成商订单分配成本为优化目标,利用可行性理论进行清晰等价式转换,最后通过Lingo 11.0软件进行模拟运算。【结果】通过置信水平灵敏度分析,得出置信水平与订单分配成本之间的关系,能为物流服务集成商提供一定的决策支持。【结论】物流服务集成商在制定订单分配方案时,置信水平应设置在0.5以上,以使分配方案不过度偏离实际情况,增加方案可行性。又要注重置信水平与成本之间的关系,选择适合自身需求的置信水平。     

需求模糊且依赖价格的收益共享契约

在需求是模糊变量且依赖价格的假设下,研究了由一个供应商和一个零售商组成的供应链协作问题。首先,运用可信性理论,分别讨论了在分散决策下供应链双方的Stackelberg博弈,以及供应链一体化决策,并说明分散决策的最优解不能实现供应链系统的最优;其次,建立了基于收益共享契约的数学模型,研究结果表明,协调机制与集中决策具有相...     

Petri网在电信管理网可信性建模中的应用

介绍了ＴＭＮ（电信管理网）可信性建模的一种新的方法———Ｐｅｔｒｉ网。首先简要介绍了Ｐｅｔｒｉ网的基本概念和Ｐｅｔｒｉ网的特性分析,然后描述了用Ｐｅｔｒｉ网进行建模的一般方法并举例说明了它在ＴＭＮ可信性建模中的应用。最后还介绍了一种自动生成可信性Ｐｅｔｒｉ网模型的方法。     

分区操作系统内核中隔离性质的研究

为了达到经过形式化验证分区操作系统内核隔离性质的目标,采取形式化方法描述系统的顶层规范设计中描述隔离性质需求,通过将航空电子应用软件标准接口ARINC653与GWV定理相结合,实现了对分区操作系统需要满足的隔离性质的抽象描述,并通过使用类Z/Z++作为形式化描述语言。     

基于混合遗传算法的模糊需求车辆路径问题

针对模糊需求的车辆路径问题,以模糊可信性理论为基础,设计了混合遗传算法。引入扫描算法进行种群的初始化,结合配送分队数和剩余载重因素提出了混合交叉算子。借鉴差分进化和扫描思想构建了基于整数序规范的差分扫描变异运算。以Solomon标准集为算例,通过实验确定了主观参数的最优取值为0.4。改进前后的阶段效果比较表明,混合交叉算子和差分扫描变异算子提高了算法的性能,采用可信性理论研究模糊需求问题有一定的优越性。     

可能性空间中学习过程一致收敛速度的界

在概率空间上统计学习理论是机器学习的重要组成部分.在概率空间上统计学习理论中一致收敛速度的界有重要的意义,利用经验风险最小化原则,这些界决定了学习机器的推广能力.本文在可能性空间中讨论了学习过程一致收敛速度的界,给出了一致收敛速度的界的估计并讨论了这些界和函数集容量之间的关系.     

模糊需求环境下的网络选址及规划分析

在需求充满不确定性,成本结构复杂的现实情况下,已知工厂和顾客的地理位置,如何从初步拟定的候选点中选择配送中心的建设位置,同时规划配送中心与顾客的配送关系,是公司决策中经常碰到的一个问题。为解决这一问题,建立了在模糊需求环境下,整体考虑与选址相关的各项成本,如库存、运输、仓库固定成本与内部搬运成本等的三级物流网络选址模型,并进而利用模糊数学领域的可信性理论,对模型进行了优化整理,得到了同解模型。指出了同解模型是整数规划问题的解法。     

非线性方程组重根的可信验证方法

利用区间算法及边界矩阵理论, 研究非线性方程组重根的可信性验证方法. 提出一种可信验证算法, 该算法输出一个近似解及其相应的误差界, 使得在近似解的误差界范围内必存在一个精确解.     

基于机会测度的模糊随机不等式的简单等价形式

在模糊随机优化决策问题中,约束条件中常包含模糊随机不等式,其求解过程往往较为复杂,如何将模糊随机不等式转化为简单的等价形式,对简化其求解过程具有重要意义。文章在可信性测度的基础上,探讨了机会约束在一定的满意度水平之下的等价式形式,同时给出了在模糊随机变量服从正态分布时机会测度等价形式的具体表达式。