公共文化服务平台

共 5 条记录，以下是 1-5

全选清除导出

排序方式：

面向安全攸关系统中小概率事件的统计模型检测被引量：11: 2015年; 在开放运行环境中,安全攸关系统的不确定性行为有可能导致小概率事件的发生,而此类事件的可靠性指标往往很高,小概率事件一旦发生就会产生灾难性的后果,严重威胁到人们的生命、财产安全.因此,评估、预测小概率事件发生的概率,对于提高系统的可靠性具有重要意义.统计模型检测是一种基于模拟的模型验证技术,结合了系统的快速模拟及统计分析技术,能够有效提高模型检测的效率,适用于验证、评估安全攸关系统的可靠性,但其面临的挑战性问题之一是在可接受的样本数量下,使用统计模型检测技术难以预测、评估小概率事件发生的概率.因此,提出一种改进的统计模型检测框架,设计和开发基于机器学习的统计模型检测器,实现在相对较少的样本数量下预测和评估小概率事件发生的概率.结合轨道交通控制系统中避碰控制案例分析,进一步证明改进后的统计模型检测器能够有效预测和评估安全攸关系统中小概率事件发生的概率.; 杜德慧程贝刘静; 关键词：小概率事件

基于SSI和MQ的船舶申报系统的设计与实现: 自从2001年加入WTO后，我国与世界各国的贸易往来和经贸合作日益频繁。沿海地区各港口的集装箱吞吐量增长迅速，作为外向型经济联接点的口岸在当地经济发展中发挥着越来越重要的作用，其服务水平和通关效率的高低直接影响口岸的竞争...; 程贝; 关键词：消息中间件数据同步; 文献传递

基于抽象和学习的统计模型检测研究: 信息物理融合系统(Cyber Physical Systems, CPS)是一种更关注计算机与物理环境交互和协作的高级嵌入式系统,自2006年此概念被提出以来,已受到了学术界与工业界的高度关注。第一,CPS应用大都安全攸...; 程贝; 关键词：信息物理融合系统主成分分析; 文献传递

基于Spring JMS的船舶申报系统: 2014年; 随着计算机网络的快速发展和企业信息化的不断深入,企业提出了异构环境下的信息共享和信息交换的迫切需求,Spring JMS框架技术为实现分布式异构环境下的信息交互与共享提供了良好的解决方案。本文阐述系统开发背景和意义,介绍Spring JMS框架和消息中间件WebSphere MQ,并结合实际需求实现一个数据信息同步的船舶申报系统,在实际应用中取得良好的效果。; 张胜程贝; 关键词：信息交换 SPRING JMS 消息中间件

一种面向CPS的自适应统计模型检测方法被引量：4: 2017年; 随着计算机与物理环境的交互日益密切,信息-物理融合系统(cyber-physical system,简称CPS)在健康医疗、航空电子、智能建筑等领域具有广泛的应用前景,CPS的正确性、可靠性分析已引起人们的广泛关注.统计模型检测(statistical model checking,简称SMC)技术能够对CPS进行有效验证,并为系统的性能提供定量评估.然而,随着系统规模的日益扩大,如何提高统计模型检测技术验证CPS的效率,是目前所面临的主要困难之一.针对此问题,首先对现有SMC技术进行实验分析,总结各种SMC技术的受限适用范围和性能缺陷,并针对贝叶斯区间估计算法(Bayesian interval estimate,简称BIE)在实际概率接近0.5时需要大量路径才能完成验证的缺陷,提出一种基于抽象和学习的统计模型检测方法 AL-SMC.该方法采用主成分分析、前缀树约减等技术对仿真路径进行学习和抽象,以减少样本空间;然后,提出了一个面向CPS的自适应SMC算法框架,可根据不同的概率区间自动选择AL-SMC算法或者BIE算法,有效应对不同情况下的验证问题;最后,结合经典案例进行实验分析,实验结果表明,自适应SMC算法框架能够在一定误差范围内有效提高CPS统计模型检测的效率,为CPS的分析验证提供了一种有效的途径.; 杜德慧昝慧姜凯强程贝; 关键词：自适应性

全选清除导出

共1页<1>

程贝