杜德慧
- 作品数:52 被引量:58H指数:5
- 供职机构:华东师范大学更多>>
- 发文基金:国家自然科学基金上海市自然科学基金国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术电子电信医药卫生交通运输工程更多>>
- 面向安全攸关系统中小概率事件的统计模型检测被引量:10
- 2015年
- 在开放运行环境中,安全攸关系统的不确定性行为有可能导致小概率事件的发生,而此类事件的可靠性指标往往很高,小概率事件一旦发生就会产生灾难性的后果,严重威胁到人们的生命、财产安全.因此,评估、预测小概率事件发生的概率,对于提高系统的可靠性具有重要意义.统计模型检测是一种基于模拟的模型验证技术,结合了系统的快速模拟及统计分析技术,能够有效提高模型检测的效率,适用于验证、评估安全攸关系统的可靠性,但其面临的挑战性问题之一是在可接受的样本数量下,使用统计模型检测技术难以预测、评估小概率事件发生的概率.因此,提出一种改进的统计模型检测框架,设计和开发基于机器学习的统计模型检测器,实现在相对较少的样本数量下预测和评估小概率事件发生的概率.结合轨道交通控制系统中避碰控制案例分析,进一步证明改进后的统计模型检测器能够有效预测和评估安全攸关系统中小概率事件发生的概率.
- 杜德慧程贝刘静
- 关键词:小概率事件
- 一种面向RoboSim模型实时系统的模型检测方法
- 本发明公开了一种面向RoboSim模型实时系统的模型检测方法,其特点是通过预先定义转换规则,将RoboSim模型转换为UPPAAL能识别的时间自动机网络模型,自动生成相应的TCTL性质,使用模型检测工具UPPAAL对机器...
- 杜德慧张铭茁张梦寒张馨元
- 文献传递
- 基于MDA的嵌入式软件开发平台设计被引量:2
- 2006年
- 针对如何快速开发高质量的嵌入式软件的问题,实现了一种基于MDA的嵌入式软件开发平台EUP。该平台根据模型驱动的软件开发方法,集成UML建模、模型验证、模拟和自动代码生成技术等,为嵌入式软件的开发提供了一个统一的开发环境。分析了铁道交叉路口系统的实例,试验结果表明EUP平台能够方便、高效地实现模型模拟和验证,为快速开发高质量的嵌入式软件提供了一种可行的途径。
- 别文群杜德慧曹虹华
- 关键词:MDAUML嵌入式软件
- 网络中计算机安全防护的研究被引量:1
- 2005年
- 本文从软件、网络和策略三个方面对计算机的安全防护进行分析和探讨。
- 王建杜德慧
- 关键词:网络安全安全防护
- 一种中药活性成分和关键靶点的预测方法
- 本发明公开了一种中药活性成分和关键靶点的预测方法,旨在预测中药活性成分及其关键作用靶点。提出成分‑靶点预测图(CTPG)模型,帮助选择中药化合物活性成分和关键靶点。具体实施步骤如下:首先,设计爬虫程序分别获取中药化合物成...
- 杜德慧陈彪杜丽
- 时空轨迹数据驱动的自动驾驶场景元建模方法被引量:5
- 2021年
- 时空轨迹数据驱动的汽车自动驾驶场景建模,是当前汽车自动驾驶领域中驾驶场景建模、仿真所面临的关键问题,对于提高系统的安全性具有重要的研究意义.近年来,随着时空轨迹数据建模及应用研究的快速发展,时空轨迹数据应用于特定领域建模的研究引起人们的广泛关注.但是,由于时空轨迹数据所反映的现实世界的多元性和复杂性以及时空轨迹数据的海量、异构、动态等特点,基于时空轨迹数据驱动的安全攸关场景建模的研究仍面临着挑战,包括:统一的时空轨迹数据元模型、基于时空轨迹数据的元建模方法、基于数据分析技术的时空轨迹数据处理、数据质量评价等.针对汽车自动驾驶领域的场景建模需求,提出一种基于MOF元建模体系构建时空轨迹数据的元建模方法,根据时空轨迹数据的特征及自动驾驶的领域知识,构建了面向汽车自动驾驶的时空轨迹数据元模型;基于此,提出基于时空轨迹数据元建模技术体系的自动驾驶安全场景建模方法,并使用场景建模语言ADSML实例化安全场景,构建安全场景库,旨在为此类系统的安全关键场景建模提供一种可行的方案.结合变道超车场景的案例,展示了时空轨迹数据驱动的自动驾驶安全场景元建模方法的可用性,为场景模型的构建、仿真、分析奠定了基础.
- 张梦寒杜德慧张铭茁张雷王耀王耀
- 基于蜜网的网络监测系统的设计与实现
- 2011年
- 文章针对网络入侵、网络欺骗、网上垃圾等恶意网络行为对网络安全的负面影响日益增加,网络行为识别已经成为网络安全的重要组成部分这一现象。文章提出了基于蜜网技术构建网络监测系统,有效利用了蜜网系统的沙箱执行、特征模拟、日志审计和重定向代理的机制,解决了被动监测基础上的数学模型难以有效描述网络恶意行为的问题,在实际运行中取得较好的效果。
- 高丰杜德慧
- 关键词:蜜网系统网络行为网络监测
- 一种面向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的分析验证提供了一种有效的途径.
- 杜德慧昝慧姜凯强程贝
- 关键词:自适应性
- 渗透测试技术与模型研究被引量:10
- 2007年
- 本文从计算机网络渗透测试中模拟攻击的步骤和渗透测试的实施过程入手,分析研究了渗透测试的相关技术和操作方法,并以此分析为基础,提出了一种渗透测试的宏观模型。
- 唐秀存杜德慧
- 空间信息时空大数据约束表达方法
- 本发明公开空间信息时空大数据约束表达方法,包括以下步骤:数据采集、构建矢量和栅格相兼容的数据结构、数据综合表达、数据修正、时空基准统一、时空大数据约束和时空大数据清洗与更新;本发明通过数据结构的归一融合来建立多维异构基本...
- 张雷张春霞杜德慧刘彪田波袁庆
- 文献传递