期刊文献+
共找到11篇文章
< 1 >
每页显示 20 50 100
广义可能性决策过程的计算树逻辑模型检测 被引量:3
1
作者 马占有 李永明 《计算机工程与科学》 CSCD 北大核心 2015年第11期2162-2168,共7页
模型检测作为一种形式化验证技术,已被广泛应用于各种并发系统的正确性验证。针对具有非确定性选择和广义可能性分布的并发系统,引入广义可能性决策过程作为此类系统的模型;给出描述其性质的规范语言广义可能性计算树逻辑的概念;研究此... 模型检测作为一种形式化验证技术,已被广泛应用于各种并发系统的正确性验证。针对具有非确定性选择和广义可能性分布的并发系统,引入广义可能性决策过程作为此类系统的模型;给出描述其性质的规范语言广义可能性计算树逻辑的概念;研究此类系统的广义可能性计算树逻辑模型检测问题。结论表明,其模型检测算法的时间复杂度也为多项式时间。所获得的结果扩大了广义可能性测度在模型检测中的应用范围。 展开更多
关键词 并发系统 广义可能性决策过程 广义可能性计算树逻辑 模型检测
下载PDF
可能性决策图
2
作者 谷文祥 王乐 殷明浩 《东北师大学报(自然科学版)》 CAS CSCD 北大核心 2012年第2期36-40,共5页
基于可能性理论和二元决策图提出一种新的决策图———可能性决策图.用于对不确定环境下的不精确和模糊的信息进行编码,并严格证明了所提出的可能性决策图能规范地表示可能性命题公式.最后定义了可能性决策图上的三种运算.
关键词 二元决策 可能性理论 可能性决策
下载PDF
基于可能性决策的CGF敌情预测智能模拟
3
作者 胡睿 柳少军 《系统仿真学报》 CAS CSCD 北大核心 2013年第S1期234-238,共5页
面向高级指挥训练和方案计划推演的兵棋系统需要能够进行战场敌情智能预测的CGF,而敌情预测本身又是"像敌人一样思考和决策"的过程。可能性决策是解决知识不完备情况下决策预测的有力手段,从可能性理论基本公理体系出发,结合... 面向高级指挥训练和方案计划推演的兵棋系统需要能够进行战场敌情智能预测的CGF,而敌情预测本身又是"像敌人一样思考和决策"的过程。可能性决策是解决知识不完备情况下决策预测的有力手段,从可能性理论基本公理体系出发,结合动态规划方法,提出并证明可能性决策的最优化定理,给出多步条件下可能性决策的实现算法,结合危机条件下敌方行动预测的范例和仿真分析,与传统概率风险决策进行比较,体现可能性决策的优越性,为其推广应用创造条件。 展开更多
关键词 CGF 可能性决策 敌情预测 动态规划
下载PDF
基于可能性决策的敌对危机行动预测与仿真
4
作者 胡睿 柳少军 《指挥控制与仿真》 2013年第5期70-74,共5页
可能性决策能较好地应对军事领域常常出现的概率难以获得,或者强调"出奇制胜"而有意规避概率风险的情形,是解决知识不完备情况下敌对行动预测的有力手段。从可能性理论基本公理体系出发,结合动态规划方法,提出并证明可能性决... 可能性决策能较好地应对军事领域常常出现的概率难以获得,或者强调"出奇制胜"而有意规避概率风险的情形,是解决知识不完备情况下敌对行动预测的有力手段。从可能性理论基本公理体系出发,结合动态规划方法,提出并证明可能性决策的最优化定理,给出多步条件下可能性决策的实现算法,结合危机条件下敌对行动预测的范例和仿真分析,并与传统概率风险决策进行比较,体现可能性决策的优越性,为该方法的推广应用创造条件。 展开更多
关键词 可能性决策 敌对行动预测 最优性定理 动态规划
下载PDF
基于广义可能性决策过程的可达性问题的模型检测
5
作者 王军梅 李永明 《模糊系统与数学》 北大核心 2022年第5期95-104,共10页
在广义可能性测度下,用广义可能性决策过程(GPDP)建模系统,基于策略的广义可能性线性时序性质的模型检测问题,包括可达性、总是可达性、重复可达性被讨论。本文所获得的结果扩大了经典模型检测的应用范围。
关键词 广义可能性决策过程 模型检测 策略 可达性
原文传递
广义可能性计算树逻辑模型检测中的成本分析
6
作者 马占有 李健祥 +1 位作者 李召恺 郭昊 《郑州大学学报(理学版)》 北大核心 2022年第4期34-41,共8页
为解决广义可能性计算树逻辑模型检测中的成本问题,提出了带成本的广义可能性计算树逻辑模型检测方法。首先,引入带成本的广义可能性决策过程模型,该模型不仅能刻画系统的非确定选择和可能性转移,还能定量刻画系统的能耗、开销等成本。... 为解决广义可能性计算树逻辑模型检测中的成本问题,提出了带成本的广义可能性计算树逻辑模型检测方法。首先,引入带成本的广义可能性决策过程模型,该模型不仅能刻画系统的非确定选择和可能性转移,还能定量刻画系统的能耗、开销等成本。其次,在带成本的广义可能性决策过程模型下,给出了带成本的广义可能性计算树逻辑的语法及语义。然后,在已有文献基础上给出了第k步瞬时期望成本算子、前k步累积期望成本算子以及可达期望成本算子的模型检测算法。最后,通过一个实例说明了该模型检测算法的实际应用。 展开更多
关键词 模型检测 带成本的广义可能性决策过程 广义可能性计算树逻辑 期望成本
下载PDF
基于决策过程的广义可能性计算树逻辑模型检测 被引量:12
7
作者 马占有 李永明 《中国科学:信息科学》 CSCD 北大核心 2016年第11期1591-1607,共17页
本文研究了广义可能性计算树逻辑模型检测算法及其在系统验证中的应用,特别是在非确定性系统验证中的应用.首先引入作为系统模型的广义可能性决策过程和描述系统属性的广义可能性计算树逻辑,然后给出基于广义可能性决策过程的广义可能... 本文研究了广义可能性计算树逻辑模型检测算法及其在系统验证中的应用,特别是在非确定性系统验证中的应用.首先引入作为系统模型的广义可能性决策过程和描述系统属性的广义可能性计算树逻辑,然后给出基于广义可能性决策过程的广义可能性计算树逻辑模型检测算法.该算法最大的优点是利用决策过程中的调度,将模型检测问题转换为多项式时间内模糊矩阵的运算或模糊矩阵不动点的计算.最后通过一个实例说明了广义可能性计算树逻辑模型检测在非确定性系统中的应用. 展开更多
关键词 非确定性系统 广义可能性决策过程 调度 广义可能性计算树逻辑 模型检测
原文传递
基于广义可能性的模态μ演算符号模型检测
8
作者 陈娜 耿生玲 《模糊系统与数学》 北大核心 2023年第4期55-64,共10页
随着计算机功能的不断增强,软硬件系统也变得越来越复杂,使得人们对系统的需求更高。系统建模中可能存在的诸多不确定性信息也亟待被解决,为了充分解决系统信息来源的种种不确定性特征和各种不完备性,本文引入了广义可能性决策过程理论... 随着计算机功能的不断增强,软硬件系统也变得越来越复杂,使得人们对系统的需求更高。系统建模中可能存在的诸多不确定性信息也亟待被解决,为了充分解决系统信息来源的种种不确定性特征和各种不完备性,本文引入了广义可能性决策过程理论作为系统模型。在此基础上,给出了广义可能性模态μ演算的语法和语义;然后通过约简有序二叉决策图进行布尔存储来描述广义可能性不确定信息系统的特征属性;最后给出了广义可能性的模态μ演算符号化模型检测算法和时间复杂度。同时,通过广义可能性的模态μ演算符号化模型检测算法也有效缓解了状态爆炸问题,这对不确定性信息系统的模型检测提供了一种新的思路。 展开更多
关键词 广义可能性决策过程 符号模型检测 有序二值决策 模态μ演算
原文传递
Multiple attribute decision making method based on trapezoid fuzzy linguistic variables 被引量:4
9
作者 梁雪春 陈森发 《Journal of Southeast University(English Edition)》 EI CAS 2008年第4期478-481,共4页
The problem of multiple attribute decision making under fuzzy linguistic environments, in which decision makers can only provide their preferences (attribute values)in the form of trapezoid fuzzy linguistic variable... The problem of multiple attribute decision making under fuzzy linguistic environments, in which decision makers can only provide their preferences (attribute values)in the form of trapezoid fuzzy linguistic variables(TFLV), is studied. The formula of the degree of possibility between two TFLVs is defined, and some of its characteristics are studied. Based on the degree of possibility of fuzzy linguistic variables, an approach to ranking the decision alternatives in multiple attribute decision making with TFLV is developed. The trapezoid fuzzy linguistic weighted averaging (TFLWA) operator method is utilized to aggregate the decision information, and then all the alternatives are ranked by comparing the degree of possibility of TFLV. The method can carry out linguistic computation processes easily without loss of linguistic information, and thus makes the decision results reasonable and effective. Finally, the implementation process of the proposed method is illustrated and analyzed by a practical example. 展开更多
关键词 trapezoid fuzzy linguistic variables degree of possibility multiple attribute decision making
下载PDF
需求方和供给方视角下远程医疗采用元分析 被引量:7
10
作者 夏恩君 张真铭 《技术经济》 CSSCI 北大核心 2021年第5期186-195,共10页
远程医疗的需求方和供给方均是远程医疗的使用者,但需求方的决策属于选择性创新决策,而供给方的决策属于可能性创新决策。为探索这两种创新决策采用影响因素的差异性,本文从需求方和供给方共有因素、需求方特有因素、供给方特有因素3个... 远程医疗的需求方和供给方均是远程医疗的使用者,但需求方的决策属于选择性创新决策,而供给方的决策属于可能性创新决策。为探索这两种创新决策采用影响因素的差异性,本文从需求方和供给方共有因素、需求方特有因素、供给方特有因素3个角度构建了远程医疗采用概念模型,并收集了21项研究进行元分析。结果表明:①需求方独有的影响因素有:感知易用性、社会影响、便利条件、感知收益、感知障碍、行为线索;供给方独有的影响因素有:高层管理支持;②态度、感知有用性、绩效期望、努力期望为需求方和供给方共有的影响因素;③相比远程医疗的供给方,绩效期望、努力期望、社会影响和便利条件对需求方的影响更大。 展开更多
关键词 选择性创新决策 可能性创新决策 远程医疗 使用行为影响因素 调节效应 元分析
下载PDF
AN ENHANCED DETECTION ALGORITHM FOR V-BLAST SYSTEM
11
作者 Su Xin Yi Kechu Tian Bin Sun Yongjun 《Journal of Electronics(China)》 2006年第5期773-776,共4页
A decoding method complemented by Maximum Likelihood (ML) detection for V-BLAST (Verti- cal Bell Labs Layered Space-Time) system is presented. The ranked layers are divided into several groups. ML decoding is performe... A decoding method complemented by Maximum Likelihood (ML) detection for V-BLAST (Verti- cal Bell Labs Layered Space-Time) system is presented. The ranked layers are divided into several groups. ML decoding is performed jointly for the layers within the same group while the Decision Feedback Equalization (DFE) is performed for groups. Based on the assumption of QPSK modulation and the quasi-static flat fading channel, simulations are made to testify the performance of the proposed algorithm. The results show that the algorithm outperforms the original V-BLAST detection dramatically in Symbol Error Probability (SEP) per- formance. Specifically, Signal-to-Noise Ratio (SNR) improvement of 3.4dB is obtained for SEP of 10?2 (4×4 case), with a reasonable complexity maintained. 展开更多
关键词 Multi-Input Multi-Output (MIMO) Vertical Bell Labs Layered Space-Time (V-BLAST) Maximum Likelihood (ML) detection Decision Feedback Equalization (DFE)
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部