杜德慧

作品数：18被引量：55H指数：4
导出分析报告
供职机构：华东师范大学更多>>
发文主题：自动驾驶建模语言时空数据元数据汽车自动驾驶更多>>
发文领域：自动化与计算机技术电子电信医药卫生经济管理更多>>
发文期刊：《信息网络安全》《计算机与信息技术》《软件学报》《中国科学：信息科学》更多>>
所获基金：国家自然科学基金上海市自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于贝叶斯网络构建RoboSim模型的自动驾驶行为决策被引量：4
《软件学报》2023年第8期3836-3852,共17页陈洁娜 张铭茁 杜德慧 李博 聂基辉 任婧瑶 
国家自然科学基金(61972153);科技部重点项目(2020AAA0107800)。
为汽车自动驾驶提供安全高效的自动驾驶行为决策,是汽车自动驾驶领域面临的挑战性问题之一.目前,随着自动驾驶行业的蓬勃发展,工业界与学术界提出了诸多自动驾驶行为决策方法,但由于汽车自动驾驶行为决策受环境不确定因素的影响,决策本...
关键词：汽车自动驾驶 行为决策 贝叶斯网络 RoboSim UPPAAL 
一种面向ADS的模型驱动式逻辑场景建模及仿真方法
《中国汽车》2023年第8期50-57,共8页周文韬 郑成行 万宜萱 杜德慧 
国家自然科学基金面上项目(编号:61972153)。
汽车自动驾驶的场景建模及仿真分析是确保自动驾驶系统安全性的关键,对于提高整个系统的安全性至关重要,已经引起工业界和学术界的广泛关注。场景建模是场景仿真、测试、验证分析的基础,能够有效帮助发现场景中存在的危险,是自动驾驶系...
关键词：自动驾驶 场景建模 领域特定建模语言 场景仿真 
时空轨迹数据驱动的自动驾驶场景元建模方法被引量：9
《软件学报》2021年第4期973-987,共15页张梦寒 杜德慧 张铭茁 张雷 王耀 周文韬 
国家自然科学基金(61972153);国家重点研发计划(2018YFE0101000);科技部重点项目(2020AAA0107800)。
时空轨迹数据驱动的汽车自动驾驶场景建模,是当前汽车自动驾驶领域中驾驶场景建模、仿真所面临的关键问题,对于提高系统的安全性具有重要的研究意义.近年来,随着时空轨迹数据建模及应用研究的快速发展,时空轨迹数据应用于特定领域建模...
关键词：时空轨迹数据 时空轨迹数据元模型 领域建模 MOF元建模 汽车自动驾驶的场景建模 
时空系统融合及其数据高可信应用
《华东科技》2020年第12期68-71,共4页张春霞 田波 杜德慧 张雷 
GNSS(全球导航卫星系统)、遥感、地理信息系统、高性能计算以及通信等融合而成的时空系统,在时空数据应用中存在着多源时空数据关联融合与动态表达不足、时空数据属性要素自动识别与提取方法缺乏、空间信息应用建模的实时性不够等问题...
关键词：时空数据 地理信息系统 时空系统 高性能计算 元数据 可信应用 属性要素 高可信 
基于SHML的CPS行为建模及仿真被引量：1
《软件学报》2020年第6期1587-1599,共13页杜德慧 管春琳 王耀 郭童 
国家自然科学基金(61972153);国家重点研发计划(2018YFE0101000)。
信息物理融合系统(cyber-physical systems,简称CPS)是深度融合了计算进程和物理进程的统一体,是集计算、通信与控制于一体的下一代智能系统,具有广阔的应用前景.CPS的行为具有混成性、随机性等特征,建模及仿真CPS的动态行为对于开发高...
关键词：信息物理融合系统 领域建模语言 元建模 仿真 GEMOC 
一种面向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)
在开放运行环境中,安全攸关系统的不确定性行为有可能导致小概率事件的发生,而此类事件的可靠性指标往往很高,小概率事件一旦发生就会产生灾难性的后果,严重威胁到人们的生命、财产安全.因此,评估、预测小概率事件发生的概率,对于提高...
关键词：统计模型检测 小概率事件 安全攸关系统 随机混成自动机 机器学习 
基于形式化测试的实时系统变更后安全性验证被引量：1
《中国科学：信息科学》2014年第1期70-90,共21页孙海英 刘静 陈小红 杜德慧 周庭梁 
国家重点基础研究发展计划(批准号:2009CB320702);国家自然科学基金(批准号:91318301;61332008);国家自然科学青年基金(批准号:61202104)资助项目
变更后系统实现的安全性验证是安全攸关系统维护过程中必不可少的环节,也是其面临的主要挑战之一.软件模型检测和程序验证是目前常用的作用于代码层面的自动化安全性验证技术.本文站在系统行为角度,基于形式化方法,提出了一种将变更后...
关键词：软件工程 软件演化 实时系统 形式化方法 安全性验证 软件测试 安全性测试 
ZigBee无线网络组网及数据传输研究与实现被引量：2
《电脑编程技巧与维护》2011年第10期69-70,88,共3页杜德慧 
分析了ZigBee网络拓扑和设备类型,给出了ZigBee网络的组网流程和数据收发过程的主要代码。
关键词：ZigBee网络拓扑 无线网络 ZigBee网络组建 ZigBee数据传输 
基于蜜网的网络监测系统的设计与实现
《信息网络安全》2011年第9期64-65,69,共3页高丰 杜德慧 
文章针对网络入侵、网络欺骗、网上垃圾等恶意网络行为对网络安全的负面影响日益增加,网络行为识别已经成为网络安全的重要组成部分这一现象。文章提出了基于蜜网技术构建网络监测系统,有效利用了蜜网系统的沙箱执行、特征模拟、日志审...
关键词：蜜网系统 网络行为 网络监测 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部