程贝

作品数:3被引量:14H指数:2
导出分析报告
供职机构:华东师范大学更多>>
发文主题:船舶消息中间件小概率事件CPS自适应性更多>>
发文领域:自动化与计算机技术理学更多>>
发文期刊:《计算机与现代化》《软件学报》更多>>
所获基金:上海市自然科学基金国家自然科学基金更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-3
视图:
排序:
一种面向CPS的自适应统计模型检测方法被引量:4
《软件学报》2017年第5期1128-1143,共16页杜德慧 昝慧 姜凯强 程贝 
国家自然科学基金(61472140;61170084);上海市自然科学基金(14ZR1412500)~~
随着计算机与物理环境的交互日益密切,信息-物理融合系统(cyber-physical system,简称CPS)在健康医疗、航空电子、智能建筑等领域具有广泛的应用前景,CPS的正确性、可靠性分析已引起人们的广泛关注.统计模型检测(statistical model chec...
关键词:信息-物理融合系统 统计模型检测 抽象 学习 自适应性 
面向安全攸关系统中小概率事件的统计模型检测被引量:11
《软件学报》2015年第2期305-320,共16页杜德慧 程贝 刘静 
国家自然科学基金(61472140;61202104);上海市自然科学基金(14ZR1412500;13511503100)
在开放运行环境中,安全攸关系统的不确定性行为有可能导致小概率事件的发生,而此类事件的可靠性指标往往很高,小概率事件一旦发生就会产生灾难性的后果,严重威胁到人们的生命、财产安全.因此,评估、预测小概率事件发生的概率,对于提高...
关键词:统计模型检测 小概率事件 安全攸关系统 随机混成自动机 机器学习 
基于Spring JMS的船舶申报系统
《计算机与现代化》2014年第3期126-130,共5页张胜 程贝 
随着计算机网络的快速发展和企业信息化的不断深入,企业提出了异构环境下的信息共享和信息交换的迫切需求,Spring JMS框架技术为实现分布式异构环境下的信息交互与共享提供了良好的解决方案。本文阐述系统开发背景和意义,介绍Spring JM...
关键词:信息交换 SPRING JMS 消息中间件 
检索报告 对象比较 聚类工具 使用帮助 返回顶部