国家自然科学基金(61210004)

作品数：7被引量：6H指数：1
导出分析报告
相关作者：丁佐华江明月蒲戈光张娜韩维更多>>
相关机构：浙江理工大学华东师范大学联合国大学更多>>
相关期刊：《软件导刊》《Science China(Information Sciences)》《计算机学报》《计算机科学》更多>>
相关主题：移动机器人支持向量机导航测试用例生成方法测试用例更多>>
相关领域：自动化与计算机技术理学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
A software-defined MAPE-K architecture for unmanned systems
《Science China(Information Sciences)》2023年第5期282-284,共3页Mingyue JIANG Libin ZHENG Zuohua DING Zhi JIN 
supported by National Natural Science Foundation of China(Grant Nos.61210004,61170015,61751210,61802349);Zhejiang Provincial Natural Science Foundation of China(Grant No.LY20F020021)。
Dear editor,With the advances in software,sensors,and communication technologies,there is rapid development in unmanned systems.An unmanned system consists of unmanned vehicles,a control system and a communication sys...
关键词：EDITOR SYSTEM ARCHITECTURE 
基于UML活动图的无人车变道可靠性预测被引量：1
《软件导刊》2022年第1期101-107,共7页吴兆贤 吴培培 
国家自然科学基金项目(61210004,61170015)。
车辆变道是很频繁的驾驶行为,对无人车的变道行为进行可靠性预测尤为必要。为更好地实现可靠性预测,使用UML活动图对基于长短期记忆网络(LSTM)的无人车变道行为进行建模。考虑到LSTM神经网络的鲁棒性,基于6000组实验数据对LSTM模块的错...
关键词：无人车变道 可靠性 UML 错误渗透率 离散时间马尔可夫链 
基于吸收态马尔可夫链的智能无人车系统实时性能分析
《计算机科学》2021年第S02期147-153,共7页吴培培 吴兆贤 唐文兵 
国家自然科学基金项目(61210004,61170015)。
随着人工智能技术的进步和人机物融合系统的发展,智能无人车系统成为了新一代人工智能研究的前沿。智能无人车系统根据车辆和环境数据进行实时决策以控制无人车运行,因而该系统具有较高的实时性能要求,对系统实时性的分析是保障系统安...
关键词：智能无人车系统 MARTE模型 吸收态马尔可夫链 实时性能分析 
基于模糊信息分解与控制规则的移动机器人沿墙导航被引量：4
《计算机科学》2020年第S01期79-83,共5页方梦琳 唐文兵 黄鸿云 丁佐华 
国家自然科学基金项目(61210004,61170015)。
由于机器人导航任务对实时性要求高,以及机器人自身的非线性导致很难精确建模,而基于规则的控制可解释性好,可以实时响应。因此,文中提出了一种基于模糊信息分解(Fuzzy-based Information Decomposition,FID)与控制规则的机器人沿墙导...
关键词：控制规则 类别不平衡 模糊信息分解 支持向量机 
基于GCL语言的测试用例生成方法被引量：1
《计算机学报》2014年第12期2492-2504,共13页丁佐华 JeffSanders 江明月 张娜 蒲戈光 
国家自然科学基金(61170015,61210004)资助
提出一种基于GCL语言生成程序测试用例的形式化方法.程序的语义为测试用例的生成提供了基本框架,而由Hoare等人提供的规则保证了用例的正确性.作者的这种方法可被认为是一种严格的,自动生成测试用例的方法.这种方法的优点在于:所获得的...
关键词：测试用例 Guarded—Command—Language 执行树 条件计算 软件测试 
复模糊微分方程的初始值问题
《浙江理工大学学报（自然科学版）》2014年第5期550-554,共5页吴丹 韩维 樊太和 
国家自然科学基金(61210004)
复模糊微分方程的初始值问题是近年来研究的热点问题。首先证明了复模糊域上的牛顿-莱布尼茨公式,并建立了微分和积分之间的关系,然后定义了复模糊微分方程的初始值问题,最后给出了基于经典的不动点定理和基于Zadeh在复数域上的扩展原...
关键词：复模糊微分方程 初始值问题 牛顿-莱布尼茨公式 Zadeh扩展原理 
测试方法对软件失效数据影响的实验分析
《浙江理工大学学报（自然科学版）》2014年第4期429-433,共5页李晓雪 丁佐华 胡觉亮 
国家自然科学基金(61210004)
失效数据常被用于评估软件的质量、监测和预测软件的运行情况,不同的测试方法对失效数据的影响是研究的重点。采用随机测试、分支覆盖测试和分块覆盖测试这3种不同的测试方法选取测试用例集,运用Daikon动态地获取程序不变量,再从这些不...
关键词：失效数据 测试方法 随机测试 测试用例集 程序不变量 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部