Symbolic Decision Procedures for QBF

第３２卷第ｌ１期　２０１Ｏ年１１月　系统工程与电子技术　

Ｓｙｓｔｅｎｌｓ　Ｅｎｇｉｎｅｅｒｉｎｇ　ａｎｄ　Ｅｌｅｃｔｒｏｎｉｃｓ　ＶｏＩＪ　３２　Ｎｏ．１１　

Ｎｏｖｅｍｂｅｒ　２０１０　

文章编号：１００１　５０６Ｘ（２０１０）１１　２３５２—０４　

基于语言Ｃｈｏｑｕｅｔ积分算子的多属性群决策方法　

谭春桥，马本江　

（中南大学商学院，湖南长沙４１００８３）　

摘　要：在现实的多属性群决策问题中，决策属性及专家偏好间均在不同程度上存在相互关联。为此，提出　

了一种基于语言Ｃｈｏｑｕｅｔ积分算予的语言多属性群决策方法。首先，介绍了语言评估标度集上的一些运算法则。　

基于这些运算法则和模糊测度，定义了一种语言Ｃｈｏｑｕｅｔ积分算子。然后，探讨该算子的一些性质，给出了一种　

基于语言Ｃｈｏｑｕｅｔ积分算子的语言多属性群决策途径。研究表明，该算子是语言有序权重平均算子的一般化形　

式。最后，通过一个具体实例来说明这种方法的具体应用及计算过程。　。　

关键词：群决策；模糊测度；语言Ｃｈｏｑｕｅｔ积分算子；语言评估标度　

中图分类号：Ｃ　９３４　文献标志码：Ａ　ＤＯ１：１０．３９６９／ｊ．ｉｓｓｎ．１００１—５０６Ｘ．２０１０．】１．２】　

Ｍｕｌｔｉ’ａｔｔｒｉｂｕｔｅ　ｇｒｏｕｐ　ｄｅｃｉｓｉｏｎ　ｍａｋｉｎｇ　ｂａｓｅｄ　ｏｎ　

ｌｉｎｇｕｉｓｔｉｃ　Ｃｈｏｑｕｅｔ　ｉｎｔｅｇｒａｌ　ｏｐｅｒａｔｏｒ　

ＴＡＮ　Ｃｈｕｎ—ｑｉａｏ，ＭＡ　Ｂｅｎ—ｊ　ｉａｎｇ　

（Ｂｕｓｉｎｅｓｓ　Ｓｃｈｏｏｌ，Ｃｅｎｔｒａｌ　Ｓｏｕｔｈ　Ｕｎｉｖ．，Ｃｈａｎｇｓｈａ　４１００８３，Ｃｈｉｎａ）　

Ａｂｓｔｒａｃｔ：Ｉｎ　ｔｈｅ　ｒｅａｌ　ｍｕｌｔｉ—ａｔｔｒｉｂｕｔｅ　ｇｒｏｕｐ　ｄｅｃｉｓｉｏｎ　ｍａｋｉｎｇ　ｐｒｏｂｌｅｍｓ，ｔｈｅｒｅ　ｅｘｉｓｔｓ　ｉｎｔｅｒａｃｔｉｏｎｓ　ｐｈｅｎｏｍｅｎａ　

ａｍｏｎｇ　ｔｈｅ　ｄｅｃｉｓｉｏｎ　ｍａｋｉｎｇ　ａｔｔｒｉｂｕｔｅｓ　ａｎｄ　ｐｒｅｆｅｒｅｎｃｅ　ｏｆ　ｅｘｐｅｒｔｓ．Ａ　ｌｉｎｇｕｉｓｔｉｃ　Ｃｈｏｑｕｅｔ　ｉｎｔｅｇｒａｌ　ｏｐｅｒａｔｏｒ　ｉｓ　ｉｎｖｅｓ，ｔｉ—　

sotif 基本流程

英文回答：

The SOTIF (Safety Of The Intended Functionality)

process is a comprehensive approach to ensure the safety of

autonomous vehicles and other complex systems. It focuses

on potential hazards and risks that may arise from the

intended functionality of these systems, rather than just

the failures of individual components.

The basic flow of the SOTIF process involves several

key steps. First, the system's intended functionality and

its operational design domain (ODD) are defined. This

includes identifying the system's intended operations, the

environmental conditions it is expected to operate in, and

any constraints or limitations.

Next, potential hazards and risks associated with the

intended functionality are identified. This involves

considering various scenarios and use cases, and analyzing how the system's intended functionality could lead to

兵工自动化 先进制造与管理 O. I. Automation

2007年第26卷第1期 Advanced Manufacture and Management 2007, Vol. 26, No. 1

·29·文章编号：1006-1576（2007）01-0029-03

基于WSR系统方法论的DHDF综合评价方法

孔凡1，张耀坤1，宋彬2

（1. 军械工程学院 基础部，河北 石家庄 050003；2. 军械工程学院 装备指挥与管理系，河北 石家庄 050003）

摘要：基于WSR系统方法论，将综合评价过程分为物理、事理、人理3个阶段，建立DHDF综合评价方法结

构模型。通过确定评价指标因素集及评价指标集，计算评价指标权重并确定其分配向量。再运用模糊综合评判法评

价主观效用指标，运用具有激励特征动态综合评价方法评价客观量化指标，最后将2评价指标综合。

关键词：系统方法论；WSR；DHDF；综合评价

中图分类号：E92; O159 文献标识码：A

DHDF Comprehensive Evaluation Method Based on WSR System Methodology

KONG Fan1, ZHANG Yao-kun1, SONG Bin2

(1. Dept. of Basic, Ordnance Engineering College, Shijiazhuang 050003, China;

2. Dept. of Equipment Command & Management, Ordnance Engineering College, Shijiazhuang 050003, China)

Abstract: The synthetic evaluation process is divided into Wuli, Shili and Renli three stages based on WSR system

兵工自动化　２００８年第２７卷第１１期　软件开发与应用　Ｅｘｐｌｏｉｔａｔｉｏｎ　ａｎｄ　Ａｐｐｌｉｃａｔｉｏｎ　ｏｆ　Ｓｏｆｔｗａｒｅ　Ｏ．Ｉ．Ａｕｔｏｍａｔｉｏｎ　２００８，Ｖｏ１．２７，Ｎｏ．１１　文章编号：１００６—１５７６（２００８）１卜００９０—０３　基于ＴＯＰＳＩＳ的故障模式危害性决策方法研究　李华府，任羿，曾声奎，冯强　（北京航空航天大学工程系统工程系，北京１０００８３）　摘要：提出一种逼近理想点（ＴＯＰＳＩＳ）的故障模式危害性决策方法。利用模糊数来描述故障模式的严酷等级、　故障模式的发生概率等级和故障模式的被检测难度等级，通过考虑产品设计者的设计意图及偏好，克服传统风险优　先数法当ＲＰＮ值相等或相近时各故障模式危害程度难以比较，以及各个风险优先数因子无相对权重的问题，并以某　产品的工艺ＦＭＥＣＡ分析为例进行验证。　‘　关键词：风险优先数；故障模式危害性；逼近理想点方法；多属性决策　中图分类号：ＴＰ３１１；ＴＰ２７７　文献标识码：Ａ　Ｄｅｃｉｓｉｏｎ　Ｍａｋｉｎｇ　Ｍｅｔｈｏｄ　ｆ０ｒ　Ｆａｉｌｕｒｅ　Ｍｏｄｅ　Ｈａｒｍｆｕｌｎｅｓｓ　Ｂａｓｅｄ　ｏｎ　ＴｏＰＳＩＳ　ＬＩ　Ｈｕａ—ｆｕ，ＲＥＮ　Ｙｉ，ＺＥＮＧ　Ｓｈｅｎｇ—ｋｕｉ，ＦＥＮＧ　Ｑｉａｎｇ　（Ｄｅｐｔ．ｏｆ　Ｓｙｓｔｅｍ　Ｅｎｇｉｎｅｅｒｉｎｇ　ｏｆ　Ｅｎｇｉｎｅｅｒｉｎｇ　Ｔｅｃｈｎｏｌｏｇｙ，Ｂｅｉｈａｎｇ　Ｕｎｉｖｅｒｓｉｔｙ，Ｂｅｉｊｉｎｇ　１０００８３，Ｃｈｉｎａ）　Ａｂｓｔｒａｃｔ：Ｂａｓｅｄ　ｏｎ　ＴＯＰＳＩＳ，ａ　ｄｅｃｉｓｉｏｎ　ｍａｋｉｎｇ　ｍｅｔｈｏｄ　ｆｏｒ　ｆａｉｌｕｒｅ　ｍｏｄｅ　ｈａｒｍｆｕｌｎｅｓｓ　ｉｓ　ｐｒｏｐｏｓｅｄ．Ｔｈｅ　ｇｒａｄｅ　ｏｆ　ｓｅｖｅｒｉｔｙ，　ｔｈｅ　ｏｃｃｕｒｒｅｎｃｅ　ｐｒｏｂａｂｉｌｉｔｙ　ａｎｄ　ｔｈｅ　ｄｉｆｆｉｃｕｌｔｙ　ｏｆ　ｄｅｔｅｃｔｉｏｎ　ｏｆ　ｔｈｅ　ｆａｉｌｕｒｅ　ｍｏｄｅ　ａｒｅ　ｄｅｓｃｒｉｂｅｄ　ｂｙ　ｆｕｚｚｙ　ｎｕｍｂｅｒ，ｃｏｎｓｉｄｅｒｉｎｇ　ｔｈｅ　ｄｅｓｉｇｎｅｒ’Ｓ　ｄｅｓｉｇｎ　ｉｄｅａｓ　ａｎｄ　ｐｒｅｆｅｒｅｎｃｅｓ　ｔｏ　ｏｖｅｒｃｏｍｅ　ｐｒｏｂｌｅｍｓ，ｓｕｃｈ　ａｓ　ｔｈｅ　ｈａｒｍｆｕｌｎｅｓｓ　ｏｆ　ｆａｉｌｕｒｅ　ｍｏｄｅ　ｉｓ　ｄｉｆｆｉｃｕｌｔ　ｔｏ　ｃｏｍｐａｒｅ　ｗｈｅｎ　ｔｈｅ　ｒｉｓｋ　ｐｒｉｏｒｉｔｙ　ｎｕｍｂｅｒｓ　ａｒｅ　ｅｑｕａｌ　ｏｒ　ｃｌｏｓｅ，ａｎｄ　ｈａｒｍｆｕｌｎｅｓｓ　ｐｒｉｏｒｉｔｙ　ｆａｃｔｏｒｓ　ｈａｖｅ　ｎｏ　ｒｅｌａｔｉｖｅ　ｗｅｉｇｈｔ．Ａｔ　ｌａｓｔ，　ｔｈｅ　ｐｒｏｐｏｓｅｄ　ｍｅｔｈｏｄ　ｉｓ　ｖｅｒｉｆｉｅｄ　ｂｙ　ｔｈｅ　ｃａｓｅ　ｏｆ　ｐｒｏｃｅｓｓ　ＦＭＥＣＡ　ｏｎ　ａ　ｓｐｅｃｉｆｉｅｄ　ｐｒｏｄｕｃｔ．　Ｋｅｙｗｏｒｄｓ：Ｒｉｓｋ　ｐｒｉｏｒｉｔｙ　ｎｕｍｂｅｒ；Ｆａｉｌｕｒｅ　ｍｏｄｅ　ｈａｒｍｆｕｌｎｅｓｓ；ＴＯＰＳＩＳ　ｍｅｔｈｏｄ；Ｍｕｌｔｉｐｌｅ　ａｔｔｒｉｂｕｔｅｓ　ｄｅｃｉｓｉｏｎ　ｍａｋｉｎｇ　０　引言　故障模式危害性分析决策是为了找出危害性最　大的故障模式，降低以可靠性为目标的设计成本。　故障模式的风险等级用风险优先数（ｒｉｓｋ　ｐｒｉｏｒｉｔｙ　ｎｕｍｂｅｒ，ＲＰＮ）来描述…，反映了对故障模式发生的　可能性、后果严重性及其检测难度的综合度量。通　常，ＲＰＮ是由故障模式的严酷度等级（ｓ）、故障模式　的发生概率等级（ｏ）和故障模式的被检测难度等级　（Ｄ）的乘积得到【２】，即ＲＰＮ＝Ｓ×Ｏ×Ｄ。针对ＲＰＮ方　法的不足，采用多属性决策方法进行研究，以Ｓ、Ｏ　和Ｄ作为权衡危害度的属性，利用模糊数描述属性　的等级，结合决策者的偏好对各危害度进行排序，　以克服因子相乘及决策因子无相对权重的问题，为　危害性的权衡比较提供科学和准确的参考依据。　１　危害性决策基本原理及相关定义　危害性多属性决策（Ｍｕｌｔｉｐｌｅ　ａｔｔｒｉｂｕｔｅｓ　ｄｅｃｉｓｉｏｎ　ｍａｋｉｎｇ　ｆｏｒ　ｃｒｉｔｉｃａｌｉｔｙ，ＭＡＤＭＣ）根据相关属性来评　价方案危害性风险。逼近理想点法【Ｊ　（Ｔｅｃｈｎｉｑｕｅ　ｆｏｒ　ｏｒｄｅｒ　ｐｒｅｆｅｒｅｎｃｅ　ｂｙ　ｓｉｍｉｌａｒｉｔｙ　ｔｏ　ｉｄｅａｌ　ｓｏｌｕｔｉｏｎ，　ＴＯＰＳＩＳ）是比较常用的多属性决策方法，该方法只　要求各效用函数具有单调递增（或递减）性即可，　危害性多属性决策主要采用ＴＯＰＳＩＳ法。引入“危　害性正理想解（方案）”和“危害性负理想解（方案）”　基本概念，这里所谓危害性正理想解（方案）是设　想的故障模式危害性达到最小的解（方案），其各个　评价指标的属性值都达到各备选故障模式方案中的　最好值；危害性负理想解（方案）是设想的故障模　式危害性达到最大的解（方案），其各个评价指标的　属性值都达到各备选故障模式方案中的最坏的值。　故障模式危害度排序的规则是把各故障模式与“危　害性正理想解（方案）”和“危害性负理想解（方案）”　做比较，若有一个故障模式最接近危害性负理想解　（方案），又远离危害性正理想解（方案），则在各　故障模式中该故障模式的危害度最大。　为很好地表达危害性相关的多种语义变量Ｉ４Ｊ，　使用三角模糊数进行描述。建立Ｓ、Ｏ和Ｄ等级的　语义变量与三角模糊数的对应关系，如表１～表３。　定义：对于三角模糊数　＝（ｒｉ　，　，ｒｉｕ）和　ｒｉ＝（ｒ　，ｒ　，ｒｙ），称ｄＨ（ｒｉ，ｒｊ）为模糊数ｒＩ、ｒｊ间的　Ｈａｕｓｄｏｒｆｆ距离ｌ３Ｊ，其中，　ｄＨ（ｒｉ，ｒｊ）＝ｍａｘ｛　一ｒ州　一ｒ　一ｒ川　２基于ＴＯＰＳＩＳ法的危害性决策方法　收稿日期：２００８—０５—２０；修回日期：２００８—０７—１９　作者简介：李华府（１９８４一），男，河南人，北京航空航天大学在读硕士研究生，从事可靠性系统工程研究。　・