混成系统

作品数：40被引量：86H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：卜磊李宣东汤瀑叶林张亮更多>>
相关机构：南京大学华东师范大学南京航空航天大学中国科学院大学更多>>
相关期刊：《系统科学与数学》《计算机技术与发展》《南京大学学报（自然科学版）》《计算机与现代化》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划江苏省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
安全的混成系统神经网络控制器生成与验证
《软件学报》2023年第7期2981-3001,共21页赵庆晔 王豫 李宣东 
国家自然科学基金(62172211,62172210,62172200);江苏省自然科学基金(BK20202001)。
控制器生成是混成系统控制中的重要问题.生成具有安全保证的控制器,关系着混成系统在安全攸关领域的使用.提出了一种为混成系统生成具有安全保证的神经网络控制器的方法.神经网络控制器的安全性由与其同时生成的障碍证书保证.为了生成...
关键词：混成系统 安全控制 神经网络控制器 障碍证书 混合整数规划 
基于不动点逻辑的混成系统性能评价语言
《计算机技术与发展》2022年第12期69-73,122,共6页李晴 曹子宁 黄涛 
航空科学基金(20185152035);国家自然科学基金(61572253);中央高校基本科研项目(NJ2020022,NJ2019010)。
混成系统是一类连续与离散行为紧密结合的复杂动态系统,目前广泛地应用在医疗和国防等安全关键领域。安全关键系统要求自身具有较高的安全性与可靠性,以减少系统故障引起的生命和财产方面的灾难性后果。而形式化方法是保障系统可靠性的...
关键词：混成系统 不动点 CTML μ演算 性能评价 
随机混成系统稀有属性的统计模型检测方法
《软件学报》2022年第10期3717-3731,共15页房丙午 黄志球 谢健 
国家重点研发计划(2016YFB1000802,2018YFB1003902);高安全系统软件开发与验证技术工业和信息化部重点实验室(南京航空航天大学)研究项目(NJ2019006)。
统计模型检测,已成为随机混成系统安全性验证的重要方法.但对安全性要求较高的系统,其不安全事件和系统失效都是稀有事件.在这种情况下,统计模型检测很难采样到满足稀有属性的样本而变得不可行.针对该问题,提出了交叉熵迭代学习的统计...
关键词：随机混成系统 安全性 稀有属性 交叉熵迭代学习 统计模型检测 
基于切换系统理论的终端能量路由器能量路由控制方法研究被引量：8
《电力系统保护与控制》2022年第15期81-90,共10页王思尹 粟时平 王海明 欧阳振宇 王豪 周蔚 
国家自然科学基金项目资助(51708194,51507014)。
终端能量路由器是能源互联网中一种重要的能量路由设备,构建其能量路由拓扑的最有效途径是采用基于电力电子变流技术的固态变压器。能量路由拓扑确定之后,能量路由控制技术直接决定着其运行特性。针对终端能量路由器能量路由的混成系统...
关键词：能源互联网 终端能量路由器 空间矢量脉宽调制 混成系统 切换控制 
时延混成系统的切换控制器合成被引量：1
《中国科学：数学》2021年第1期97-114,共18页白云军 甘庭 焦莉 薛白 詹乃军 
国家自然科学基金(批准号:61625206,61732001,61872341,61902284和61836005)资助项目。
如何设计安全、可靠的信息物理融合系统是计算机科学和控制理论面临的一个重大挑战.时延现象在信息物理融合系统中普遍存在,时延对系统的稳定性、安全性和控制性能具有实质性影响.但是在已有时延系统验证和控制器合成的工作中往往忽略...
关键词：时延混成系统 时延微分方程 微分不变式 切换控制器 安全性 
穿刺机器人运动安全性的形式化分析与建模
《计算机工程与应用》2018年第18期263-270,共8页孙浩然 施智平 关永 王瑞 
国际科技合作计划(No.2010DFB10930,No.2011DFG13000);国家自然科学基金(No.61170304,No.61104035,No.61373034,No.61303014,No.61472468,No.61572331);北京市科委项目(No.Z141100002014001);北京市教委科研基地建设项目(No.TJSHG201310028014);北京市属高等学校创新团队建设与教师职业发展计划项目(No.NoIDsHT20150507)。
混成系统是实时嵌入式系统的重要子类,其行为中存在连续变化和离散跳转混杂的情况,使得混成系统行为复杂,安全性难以掌握。近年来,混成系统在医疗环境中得到越来越广泛的应用。其中,医疗机器人的穿刺运动控制系统呈现高度复杂的混成性,...
关键词：混成系统 医疗机器人 微分动态逻辑 微分不变式 形式化验证 
基于形式化方法的混成系统验证
《软件导刊》2018年第4期39-41,44,共4页唐敏 吴熊 李平 唐晨 杨国荣 
广西密码学与信息安全重点实验室研究课题项目(GCIS201615);2016年自治区级大学生创新训练计划项目(C66JWA 24QX18)
对混成系统进行安全性验证是计算机领域具有重要意义和挑战性的课题,传统的测试仿真技术不足以确保系统的绝对安全性和完备性。基于形式化方法是根据混成系统的形式规范与属性,使用数学方法证明其正确性或非正确性。对温控系统实现了抽...
关键词：形式化方法 抽象算法 混成系统 温控系统 
基于混成自动机的矿井机车无人驾驶系统模型
《合肥工业大学学报（自然科学版）》2017年第8期1042-1047,共6页卫星 王军 
国家国际科技合作专项资助项目(2014DFB10060)
矿井机车无人驾驶系统显著表现出连续和离散同时存在的混成特征,混成自动机能够精确刻画其系统演化过程,文章研究该系统的建模及验证问题。首先设定遵循安全高效驾驶原则的时间演化行驶过程模型;然后定义影响系统演化的各道岔信号灯状...
关键词：混成自动机 矿井机车 无人驾驶 混成系统 系统建模 
自主车辆动态冲突控制可达集建模方法被引量：8
《系统仿真学报》2017年第8期1658-1666,共9页曹凯 刘秀芳 杨旭 沈鹏 
国家自然科学基金(61573009);山东省自然科学基金(ZR2010FM007)
针对自主车辆主动安全控制建模问题,提出采用形式化建模与动态非合作博弈论相结合方法,研究多自主车辆动态冲突条件下轨迹追踪和碰撞躲避的控制策略。提出将系统控制划分为:轨迹追踪、碰撞躲避以及追踪与躲避切换的三种模式。考虑到自...
关键词：混成系统 碰撞躲避 主动安全控制 模式切换 轨迹追踪 
多机器人路径规划的安全性验证被引量：15
《软件学报》2017年第5期1118-1127,共10页刘涛 王淑灵 詹乃军 
国家自然科学基金(91118007;6110006;61304185)~~
近年来,伴随着人工智能领域的浪潮,机器人越来越多地出现在我们的日常生活中,例如足球机器人、无人机、无人车等.如何保证这些自治机器人尤其是多个机器人在移动过程中的安全,成为人们一直很关心的问题.混成通信顺序进程(hybrid communi...
关键词：人工智能 机器人 混成通信顺序进程 混成系统 形式化验证 定理证明 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部