基于概率的桥梁结构地震危害性分析 被引量：10

1

作者 王建民 王国亮 +1 位作者 聂建国 赵莉弘 《土木工程学报》 EI CSCD 北大核心 2010年第11期86-93,共8页

在考虑结构能力和地震作用下结构需求两个方面的不确定的基础上提出一个基于概率的桥梁结构地震危害性分析方法。该方法把基于概率的地震危害性分析这个复杂的问题,在全概率理论的基础上分割成为地震危险性分析、结构的地震响应分析和... 在考虑结构能力和地震作用下结构需求两个方面的不确定的基础上提出一个基于概率的桥梁结构地震危害性分析方法。该方法把基于概率的地震危害性分析这个复杂的问题,在全概率理论的基础上分割成为地震危险性分析、结构的地震响应分析和破坏与损失分析3个主要的步骤,且地震危害性分析的构成被认为是在参数之间的条件概率是独立的和离散的Markov过程,进而在严格的和一致的状态中推导结构在特定地震危险性水平下的年平均达到或超过指定极限状态的解析表达式。另外,通过提出的方法对一个三跨连续刚构桥结构在特定地震环境下的地震危害性进行研究,结果表明该方法对桥梁结构的地震危害性分析具有适用性,是一种评价地震作用下桥梁结构性能的有效工具。 展开更多

关键词 桥梁工程 地震危害性 脆弱性曲线 增量动力分析 基于概率

下载PDF 职称材料

基于概率的多点激励地震场强度参数研究 被引量：5

2

作者 申彦利 杨庆山 田玉基 《工程力学》 EI CSCD 北大核心 2010年第1期202-208,共7页

该研究建立了人工模拟地震场形成的记录库,通过建立简单的多点激励受力模型,应用增量动力分析和统计推论分析的方法分析了结构关注部位的响应谱加速度作为强度参数的适用性,研究了给定强度参数水平下结构工程需求参数的概率分布,评估了... 该研究建立了人工模拟地震场形成的记录库,通过建立简单的多点激励受力模型,应用增量动力分析和统计推论分析的方法分析了结构关注部位的响应谱加速度作为强度参数的适用性,研究了给定强度参数水平下结构工程需求参数的概率分布,评估了给定地震危险性水平下结构抗震性能。研究结果表明:响应谱加速度可以作为地震场的强度参数,并被用来进行基于概率的结构抗震性能评估。 展开更多

关键词 多点激励 强度参数 基于概率 增量动力分析 统计推论

原文传递

用两层分类算法进行视频烟雾检测 被引量：3

3

作者 仝伯兵 王士同 《计算机科学》 CSCD 北大核心 2015年第3期301-306,共6页

为提高视频烟雾检测的准确性,提出一种基于概率的两层最近邻自适应度量分类算法(PTLNN)来进行烟雾检测。该算法以最小化平均绝对误差为原则,结合AdaBoost和KNN算法的优势,充分考虑局部和全局的样本分布,能明显提升分类精度。采用离散余... 为提高视频烟雾检测的准确性,提出一种基于概率的两层最近邻自适应度量分类算法(PTLNN)来进行烟雾检测。该算法以最小化平均绝对误差为原则,结合AdaBoost和KNN算法的优势,充分考虑局部和全局的样本分布,能明显提升分类精度。采用离散余弦变换(DCT)和离散小波变换(DWT)两种方式对烟雾特征进行提取,并验证算法性能。通过与传统算法的对比实验发现,采用离散余弦变换并结合PTLNN算法在视频烟雾检测方面具有更好的效果,既满足实时性要求又提高了检测精度。 展开更多

关键词 两层分类 平均绝对误差 基于概率 烟雾检测 离散余弦变换

下载PDF 职称材料

基于概率的两层最近邻自适应度量分类算法 被引量：2

4

作者 仝伯兵 王士同 《计算机工程与应用》 CSCD 北大核心 2015年第21期144-149,270,共7页

针对有限样本下,KNN算法距离量的选择以及以前距离量学习研究中没有充分考虑样本分布的情况,提出了一种新的基于概率的两层最近邻自适应度量算法(PTLNN)。该算法分为两层,在低层使用欧氏距离来确定一个未标记的样本局部子空间;在高层,用... 针对有限样本下,KNN算法距离量的选择以及以前距离量学习研究中没有充分考虑样本分布的情况,提出了一种新的基于概率的两层最近邻自适应度量算法(PTLNN)。该算法分为两层,在低层使用欧氏距离来确定一个未标记的样本局部子空间;在高层,用Ada Boost在子空间进行信息提取。以最小化平均绝对误差为原则,定义一个基于概率的自适应距离度量进行最近邻分类。该算法结合KNN与Ada Boost算法的优势,在有限样本下充分考虑样本分布能降低分类错误率,并且在噪声数据下有很好的稳定性,能降低Ada Boost过度拟合现象发生。通过与其他算法对比实验表明,PTLNN算法取得更好的结果。 展开更多

关键词 两层分类 距离学习 基于概率 ADABOOST 平均绝对误差

下载PDF 职称材料

基于概率的减震矮塔斜拉桥的结构破坏评估研究

5

作者 吕晶 《土木工程与管理学报》 2011年第3期271-275,共5页

本文以概率地震需求分析为基础,对天津永定新河特大桥主桥采用无阻尼器和有阻尼器的桥梁结构进行了抗震性能评价及对比。对地震动强度指标(IM)、工程需求参数(EDP)进行了研究,根据结构的地震需求危险性曲线,给出了该两种不同类型的结构... 本文以概率地震需求分析为基础,对天津永定新河特大桥主桥采用无阻尼器和有阻尼器的桥梁结构进行了抗震性能评价及对比。对地震动强度指标(IM)、工程需求参数(EDP)进行了研究,根据结构的地震需求危险性曲线,给出了该两种不同类型的结构在五十年内发生不同程度破坏的概率,从而为地震灾害损失评估提供依据。研究表明无阻尼器情况下,五十年内发生碰撞的超越概率为1.9%,接近极限超越概率;有阻尼器情况下,五十年内发生碰撞的超越概率为0.4%,能很好地满足性能水准要求。 展开更多

关键词 粘滞流体阻尼器 地震动强度指标 工程需求参数 基于概率

下载PDF 职称材料

基于概率的无线传感器网络故障检测和诊断 被引量：1

6

作者 余国伟 《网络安全技术与应用》 2015年第1期34-34,37,共2页

无线传感器网络主要是以Ad Hoc方式由多个传感器组成的无线网络,在无线网络覆盖的区域中,感知和采集相关数据信息。近年来,传感器技术、嵌入式计算技术和无线通信技术快速发展,无线传感器具有良好的通信、计算和感知能力,被广泛的应用... 无线传感器网络主要是以Ad Hoc方式由多个传感器组成的无线网络,在无线网络覆盖的区域中,感知和采集相关数据信息。近年来,传感器技术、嵌入式计算技术和无线通信技术快速发展,无线传感器具有良好的通信、计算和感知能力,被广泛的应用在减灾防灾、交通监测、工业控制以及军事国防等领域,具有巨大的社会价值和经济价值。 展开更多

关键词 基于概率 无线传感器 网络故障 检测 诊断

原文传递

公路工程实测项目质量评定概率方法研究

7

作者 薛国胜 夏晓霞 王建民 《公路》 北大核心 2014年第2期142-148,共7页

通过理论分析和工程实例系统研究了公路工程实测项目质量评定的概率方法。首先分析了以概率理论为基础进行公路工程实测项目质量评定的需求,然后分实测检验结果的可疑数据判定与取舍、实测样本数据统计量稳态性分析与评价、以概率理论... 通过理论分析和工程实例系统研究了公路工程实测项目质量评定的概率方法。首先分析了以概率理论为基础进行公路工程实测项目质量评定的需求,然后分实测检验结果的可疑数据判定与取舍、实测样本数据统计量稳态性分析与评价、以概率理论为基础的合格率计算3个方面,建立起了将实测项目质量评定的概率方法体系;最后将所建立的方法应用于一箱梁结构实测项目的质量检验评定,结果表明用所建立的方法可对工程质量进行全面评定,与仅以点估计进行合格率的评定相比较,评定结果更客观、可靠。 展开更多

关键词 公路工程 实测项目 工程质量 基于概率 评定方法

原文传递

基于概率的编队飞行的告警算法设计

8

作者 房翡翡 林云松 彭良福 《中国民航飞行学院学报》 2011年第3期15-19,共5页

在建立编队飞机并行飞行的模型基础上,提出了一种基于概率的报警逻辑,即只有当两架飞机的冲突危险度超过一定的门限值的时候才发布报警信息。基于这种逻辑,本文运用蒙特卡洛方法仿真出在一定的冲突概率下飞机的碰撞区域并对结果进行了分... 在建立编队飞机并行飞行的模型基础上,提出了一种基于概率的报警逻辑,即只有当两架飞机的冲突危险度超过一定的门限值的时候才发布报警信息。基于这种逻辑,本文运用蒙特卡洛方法仿真出在一定的冲突概率下飞机的碰撞区域并对结果进行了分析,最后验证了算法的有效性。 展开更多

关键词 并行进近 基于概率 碰撞区域

下载PDF 职称材料

一种基于概率的实时扫描检测方法

9

作者 丁剑 齐竞艳 +1 位作者 吕志军 黄皓 《计算机应用研究》 CSCD 北大核心 2004年第1期109-111,共3页

在对各种流行扫描方法分析的基础上,提出了一种基于概率的实时扫描检测方法(Real-time ScanDetection Approach Based on Probability,RSDABP)。该方法是一种后向扫描检测方法,具有低误报率、实时性和健壮性的优点,也存在着一定的局限... 在对各种流行扫描方法分析的基础上,提出了一种基于概率的实时扫描检测方法(Real-time ScanDetection Approach Based on Probability,RSDABP)。该方法是一种后向扫描检测方法,具有低误报率、实时性和健壮性的优点,也存在着一定的局限性。文末给出了需要加以改进的方向。 展开更多

关键词 实时 基于概率 入侵检测系统 后向扫描检测

下载PDF 职称材料

基于水文学方法的珠江流域生态流量研究 被引量：55

10

作者 张强 崔瑛 陈永勤 《生态环境学报》 CSCD 北大核心 2010年第8期1828-1837,共10页

珠江流域水资源丰富,但由于水体污染等原因,水质性缺水问题较为突出,区域水环境、水生态以及水安全等成为急需解决的重要科学问题。开展生态流量研究对于评价地表水文过程演变对区域水环境与水生态的影响具有重要理论意义,并为区域水资... 珠江流域水资源丰富,但由于水体污染等原因,水质性缺水问题较为突出,区域水环境、水生态以及水安全等成为急需解决的重要科学问题。开展生态流量研究对于评价地表水文过程演变对区域水环境与水生态的影响具有重要理论意义,并为区域水资源优化配置和可持续开发利用提供科学依据。基于此,运用各种"水文学"方法(包括最小月平均流量法、改进的7Q10法、NGPRP法、逐月最小生态径流计算法和逐月频率计算法)对珠江流域11个主要水文控制站点的实测月径流量做了全面而系统的研究,分析珠江流域生态径流过程,并通过与Tennant法对比分析,选择逐月最小生态径流计算法和逐月频率计算法分别计算了各水文控制站的最小生态径流量和适宜生态径流量,除个别站点外,其评价结果分别处于Tennant法"中"和"最佳"的等级。对于逐月频率计算法中保证率的选取方法,研究表明各月径流系列均取50%最适合珠江流域。研究同时为仅利用水文资料中的多年逐月径流数据来确定生态需水提供了一种新的研究思路。 展开更多

关键词 逐月最小生态径流计算法 逐月频率计算法 基于概率分布的生态需水评估方法 概率分布函数 珠江流域

下载PDF 职称材料

内蒙古区域地震台网监测能力研究 被引量：37

11

作者 刘芳 蒋长胜 +4 位作者 张帆 杨彦明 梁莹 王磊 苗春兰 《地震学报》 CSCD 北大核心 2014年第5期919-929,981,共11页

国际上新近发展的"基于概率的完整性震级"(PMC)方法,具有可考察地震定位中由于台站人为选择等造成的台网监测能力下降,以及避免传统基于G-R关系的统计算法因地震数目过少而无法评估等优点.本研究利用PMC方法,计算得到内蒙古... 国际上新近发展的"基于概率的完整性震级"(PMC)方法,具有可考察地震定位中由于台站人为选择等造成的台网监测能力下降,以及避免传统基于G-R关系的统计算法因地震数目过少而无法评估等优点.本研究利用PMC方法,计算得到内蒙古区域地震台网39个台站对周边地震事件的检测概率及台网检测概率.单台检测概率结果显示:PMC方法能够客观地反映39个台站对地震事件的检测能力;因台网布局等影响,内蒙古区域地震台网中西部和中东部地区的台站检测能力较强,而靠近蒙古、俄罗斯边境的台站,阿拉善右旗附近地区的台站,以及邻近吉林、黑龙江等地区的台站检测能力较低.合成检测概率结果显示,由于邻省台站的引入,全区80%的地区基于概率的最小完整性震级MP达到2.2左右,其余地区MP达到3.3左右.为提高地震台网监测能力,建议在监测能力较弱的中蒙交界地区、东北部地区,以及阿拉善左旗以西地区适度加密台站,进一步优化台网布局. 展开更多

关键词 内蒙古区域地震台网 最小完整性震级 基于概率的完整性震级方法

下载PDF 职称材料

考虑隐性故障的继电保护系统可靠性分析及评估 被引量：26

12

作者 罗泳 李永丽 +1 位作者 李仲青 周泽昕 《电力系统保护与控制》 EI CSCD 北大核心 2014年第1期84-89,共6页

为了更好地评估继电保护系统的可靠性,搭建了考虑隐性故障和系统运行状态变化时单一保护系统的可靠性模型。而后基于所搭建的可靠性模型,计算得到了随潮流变化时隐性故障率的变化情况和隐性故障修复率对继电保护系统正常运行的影响,并... 为了更好地评估继电保护系统的可靠性,搭建了考虑隐性故障和系统运行状态变化时单一保护系统的可靠性模型。而后基于所搭建的可靠性模型,计算得到了随潮流变化时隐性故障率的变化情况和隐性故障修复率对继电保护系统正常运行的影响,并给出了基于概率模型的方法对超高压线路继电保护系统的可靠性进行评估。基于概率模型的方法是对马尔可夫状态空间模型方法的一种简化,适合工程应用,为完善继电保护系统的可靠性评估提供了可行的数学方法。算例验证了所提方法的正确性。 展开更多

关键词 继电保护系统 隐性故障 可靠性模型 隐性故障率 基于概率模型的方法 超高压线路继电保护

下载PDF 职称材料

基于P-PSO算法的室内有障碍通风环境下的多机器人气味源搜索 被引量：13

13

作者 李飞 孟庆浩 +1 位作者 李吉功 曾明 《自动化学报》 EI CSCD 北大核心 2009年第12期1573-1579,共7页

受湍流影响,室内通风环境下的烟羽分布表现出波动变化且不连续的特性;在一些角落处,较大的漩涡会产生长时间的局部浓度极值区;另外室内的障碍物也会改变烟羽的分布状况.因此室内有障碍通风环境下的机器人气味源搜索问题变得很复杂.本文... 受湍流影响,室内通风环境下的烟羽分布表现出波动变化且不连续的特性;在一些角落处,较大的漩涡会产生长时间的局部浓度极值区;另外室内的障碍物也会改变烟羽的分布状况.因此室内有障碍通风环境下的机器人气味源搜索问题变得很复杂.本文提出了基于概率适应度函数的粒子群优化(Probability-fitness-function based particle swarm optimization,P-PSO)算法并用于多机器人气味源搜索.P-PSO算法的特点是采用概率而非确定数来表达适应度函数值.针对气味源搜索问题,P-PSO算法的适应度函数值由贝叶斯和变论域模糊推理估计的气味源概率表达.为验证提出的搜索策略,构建了对应实际边界条件的室内通风环境的烟羽模型.仿真研究证明了本文提出的P-PSO搜索算法用于解决气味源搜索问题的可行性. 展开更多

关键词 基于概率适应度函数的粒子群优化 多机器人 气味源搜索 贝叶斯推理 模糊推理 室内通风环境

下载PDF 职称材料

内容网络服务节点部署理论综述 被引量：9

14

作者 尹浩 袁小群 +3 位作者 林闯 张法 庞善臣 刘志勇 《计算机学报》 EI CSCD 北大核心 2010年第9期1611-1620,共10页

内容网络通过在Internet上部署由多个服务器组成的服务节点来构成覆盖网,有效解决了新应用对网络的多样性需求与Internet尽力而为服务之间的矛盾,一直是学术界和工业界研究的热点.服务节点部署是内容网络研究的一个核心问题,部署好坏将... 内容网络通过在Internet上部署由多个服务器组成的服务节点来构成覆盖网,有效解决了新应用对网络的多样性需求与Internet尽力而为服务之间的矛盾,一直是学术界和工业界研究的热点.服务节点部署是内容网络研究的一个核心问题,部署好坏将直接影响到覆盖网络的服务质量和运行效率.随着Internet和网络应用的发展,内容网络所处的网络环境、服务质量的要求和与网络运营商之间的关系都出现了新的变化,传统服务节点部署理论面临着众多的新挑战.近年来,如何改善现有的服务节点部署理论已成为一个热点问题.文中系统总结了现有内容网络服务节点部署理论与应用,及其面临的挑战,针对挑战提出了新的研究方向与解决方案. 展开更多

关键词 内容网络 节点部署 基于确定信息的选址模型 基于概率的选址模型 基于博弈论的选址模型

下载PDF 职称材料

基于PMC方法的辽宁测震台网监测能力评估 被引量：10

15

作者 安祥宇 赵倩 +2 位作者 王晓睿 王淑辉 徐鹏深 《地震工程学报》 CSCD 北大核心 2019年第6期1545-1552,共8页

为获得辽宁测震台网科学准确的监测能力评估结果,分析辽宁及周边地区的地震监测能力时空分布特征,为测震台网的优化提供科学依据。本研究首次将“基于概率的完整性震级”(PMC)方法应用到辽宁测震台网,通过计算获得辽宁地震台网37个台站... 为获得辽宁测震台网科学准确的监测能力评估结果,分析辽宁及周边地区的地震监测能力时空分布特征,为测震台网的优化提供科学依据。本研究首次将“基于概率的完整性震级”(PMC)方法应用到辽宁测震台网,通过计算获得辽宁地震台网37个台站的单台检测概率、测震台网合成检测概率以及基于概率的最小完整性震级M P。单台检测概率表明:PMC方法能够客观地反映台站对地震事件的检测能力;营口—海城老震区周围的台站对较小震级的地震有较高的检测能力,受台网布局影响,位于辽宁边界地区台站的检测能力较弱。M P时空分布特征显示:辽宁中部沈阳—辽阳—本溪—鞍山—盘锦地区1.5≥M P≥1.2。辽宁南部大连一带监测能力较低M P≥3.0,辽宁西部与河北交界地区3.0≥M P≥2.5,辽宁其他区域2.5≥M P≥1.8。研究结果表明,为进一步提高辽宁地震台网监测能力,需在辽宁东部、东南部建设台站以提高该区域台站密度,在辽宁西部地区建设部分台站和重新规划需要引入的河北共享台站,以提高该区域的台站密度及改善台站空间布局和该区域的监测能力。 展开更多

关键词 监测能力 最小完整性震级 基于概率的完整性震级方法

下载PDF 职称材料

南北地震带地震台网监测能力评估的不同方法比较研究 被引量：9

16

作者 王亚文 蒋长胜 《地震学报》 CSCD 北大核心 2017年第3期315-329,共15页

为探讨不同地震台网监测能力评估方法的结果差异性及其原因,本文选用目前国际上比较前沿的"基于概率的完整性震级"(PMC)方法和"完整性震级范围"(EMR)方法,以及中国地震台网常规采用的"震级-最大距离"方法... 为探讨不同地震台网监测能力评估方法的结果差异性及其原因,本文选用目前国际上比较前沿的"基于概率的完整性震级"(PMC)方法和"完整性震级范围"(EMR)方法,以及中国地震台网常规采用的"震级-最大距离"方法,对2008年10月1日—2015年9月17日南北地震带地区表征地震监测能力的最小完整性震级进行了比较研究.研究中考虑了以往关注不够的地震观测质量一致性问题,统一采用至少3个台站记录的地震资料.结果显示,3种方法的结果差异显著,最小完整性震级的差值在南北地震带个别地区甚至可达ML2.0,其中,PMC方法获得的最小完整性震级Mp值在32°N以北地区显著低于其它两种方法,震级-最大距离方法获得的最小完整性震级Mr低值结果仅与高台站密度地区有关,与包括EMR方法获得的最小完整性震级McEMR相比较在统计均值上则呈McEMR<Mp<Mr.进一步对各地震台站的地震检测能力进行评分,结果显示,台站运维水平和对记录地震分析的完整程度,是造成Mp值显著不同于其它方法结果的主要原因,而是否选用相同的记录台站数量等数据质量约束标准,会造成EMR方法与其它方法结果的显著差异.因此,考虑到地震台网运行的实际情况和不同评估方法的计算原理,推荐PMC方法用于地震监测能力的评估. 展开更多

关键词 最小完整性震级Mc 地震检测能力 基于概率的完整性震级(PMC)方法 完整性震级范围(EMR)方法

下载PDF 职称材料

基于强化学习的机器人曲面恒力跟踪研究 被引量：8

17

作者 张铁 肖蒙 +1 位作者 邹焱飚 肖佳栋 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2019年第10期1865-1873,1882,共10页

针对机器人末端执行器和曲面工件接触时难以得到恒定接触力的问题,建立机器人末端执行器与曲面工件的接触模型.构建曲面接触力坐标系与机器人传感器测量坐标系之间的关系,利用基于概率动力学模型的强化学习(PILCO)算法对模型输出参数与... 针对机器人末端执行器和曲面工件接触时难以得到恒定接触力的问题,建立机器人末端执行器与曲面工件的接触模型.构建曲面接触力坐标系与机器人传感器测量坐标系之间的关系,利用基于概率动力学模型的强化学习(PILCO)算法对模型输出参数与接触状态的关系进行学习,对部分接触状态进行预测,强化学习根据预测的状态优化机器人位移输入参数,得到期望跟踪力信号.实验中,将强化学习的输入状态改为一段时间内的状态平均值以减少接触状态下信号的干扰.实验结果表明,利用PILCO算法在迭代8次后能够得到较稳定的力,相比于模糊迭代算法收敛速度较快,力误差绝对值的平均值减少了29%. 展开更多

关键词 机器人 曲面跟踪 力控制 基于概率动力学模型的强化学习(PILCO) 强化学习

下载PDF 职称材料

公路规则桥梁实用概率地震需求模型 被引量：7

18

作者 卓卫东 曾武华 《地震工程与工程振动》 CSCD 北大核心 2014年第2期64-70,共7页

概率地震需求模型是实现工程结构基于概率和性能的抗震设计至关重要的一环。针对公路桥梁中的规则桥梁,选择三类不同场地共2390条地震动记录,采用增量动力分析方法,计算了8座具有代表性的规则桥梁样本的地震需求。选择阻尼比为5%、与结... 概率地震需求模型是实现工程结构基于概率和性能的抗震设计至关重要的一环。针对公路桥梁中的规则桥梁,选择三类不同场地共2390条地震动记录,采用增量动力分析方法,计算了8座具有代表性的规则桥梁样本的地震需求。选择阻尼比为5%、与结构基本周期对应的谱加速度作为地震动强度指标,分别选择墩顶漂移率、位移延性系数和标准化滞回能量等参数作为工程需求参数,考察了各工程需求参数在不同地震动强度水平下的概率分布特征;结果表明,在不同的地震动强度水平下,各工程需求参数均很好地服从对数正态分布。以墩顶漂移率为工程需求参数,通过回归分析,建立了规则桥梁实用的概率地震需求模型;该模型同时适用于三类场地,可大大简化规则桥梁基于概率和性能的抗震设计中的需求计算。 展开更多

关键词 规则桥梁 基于概率和性能的抗震设计 概率地震需求模型 增量动力分析 墩顶漂移率

下载PDF 职称材料

模型检测基于概率时间自动机的反例产生研究 被引量：6

19

作者 张君华 黄志球 曹子宁 《计算机研究与发展》 EI CSCD 北大核心 2008年第10期1638-1645,共8页

模型检测基于概率系统的反例产生问题,在最近引起人们的关注.已有的工作主要围绕模型检测Markov链的反例产生而开展.基于概率时间自动机(PTA)是Markov链的不确定性和系统时钟的扩展.关注的是模型检测PTA的反例产生问题.首先通过在PTA上... 模型检测基于概率系统的反例产生问题,在最近引起人们的关注.已有的工作主要围绕模型检测Markov链的反例产生而开展.基于概率时间自动机(PTA)是Markov链的不确定性和系统时钟的扩展.关注的是模型检测PTA的反例产生问题.首先通过在PTA上寻找概率之和恰好大于λ的k条最大概率的路径,并根据这些路径和原PTA构造原PTA的一个子图,从而快速找到违背性质的具有较少证据的反例.然后精化此结果——通过逐条加入上述各条最大概率的路径来精确地计算已加入路径所构成的PTA子图的最大概率.由于考虑到符号状态交集对概率系统的影响,可以得到证据更少的反例. 展开更多

关键词 模型检测 反例 基于概率时间自动机 符号状态交集 不确定性

下载PDF 职称材料

基于概率接触算法的椭球离散元及料仓试验研究 被引量：4

20

作者 辛海丽 金峰 《工程力学》 EI CSCD 北大核心 2012年第11期109-114,共6页

该文提出一种基于概率接触算法,并嵌入到球形颗粒离散元程序中,在保持原有颗粒接触检索效率的基础上,实现了非球形颗粒模拟。以椭球颗粒为例给出了算法推导过程,进行了球形西米、椭球形绿豆和长米的料仓卸料过程模拟,对颗粒体系的流态... 该文提出一种基于概率接触算法,并嵌入到球形颗粒离散元程序中,在保持原有颗粒接触检索效率的基础上,实现了非球形颗粒模拟。以椭球颗粒为例给出了算法推导过程,进行了球形西米、椭球形绿豆和长米的料仓卸料过程模拟,对颗粒体系的流态和流量进行了研究,并开展了相应的试验加以验证。结果表明:基于概率接触算法的非球形颗粒离散元法适用于在椭球颗粒流动特性方面的研究,可以较精确的模拟卸料过程,且计算效率较高。 展开更多

关键词 基于概率接触算法 椭球颗粒 料仓试验 离散元法 流动特性

原文传递