反应式系统

作品数：18被引量：87H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：王戟齐治昌张广泉黄志球董威更多>>
相关机构：国防科学技术大学重庆师范学院南京航空航天大学中国科学院软件研究所更多>>
相关期刊：《软件学报》《国际电子战》《系统仿真学报》《计算机仿真》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划教育部“新世纪优秀人才支持计划”更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
模型驱动的反应式系统软件开发方法与应用被引量：1
《航空计算技术》2018年第5期76-79,84,共5页谭琪璘 毛宁 
工信部民用飞机专项科研项目资助(MJ-2017-D-28)
传统的软件开发方法已无法应对由复杂反应式系统的并发、混合与实时性特点所带来的挑战。以实际项目出发,从分析、设计及验证3方面介绍了模型驱动的反应式系统软件开发过程及建模方法。通过多目标平台的集成与应用,验证了模型驱动软件...
关键词：模型驱动 反应式系统软件 虚拟验证 
SIGNAL模型多线程代码生成研究被引量：1
《计算机科学与探索》2018年第4期536-549,共14页阚双龙 黄志球 杨志斌 
国家自然科学基金No.61502231;国家高技术研究发展计划(863计划)No.61502231;国家重点研发项目No.2016YFB1000800~~
反应式系统是指与环境不断发生交互的控制系统。这类系统通过接收外部环境输入,对输入进行计算,并将计算结果反馈到外部环境来控制系统的行为。同步语言是一种规约反应式系统的建模语言,同步语言的优势在于支持形式化验证和精确的代码...
关键词：反应式系统 同步语言 SIGNAL 代码生成 卫式操作 
采用CCSL仿真与分析反应式系统事件链模型
《小型微型计算机系统》2017年第8期1718-1723,共6页潘诚 黄志球 王珊珊 王梓 
国家自然科学基金项目(61272038)资助;国家"八六三"高技术研究发展计划项目(2015AA015303)资助;软件新技术与产业化协同创新中心资助
目前,能够对汽车电子领域中复杂嵌入式系统安全关键软件功能建模和时间分析的方法尚在研究中,而这些系统作为反应式控制系统,应该确保其具有准确的、可分析的时间行为.时钟约束规范语言CCSL是反应式系统的标准描述语言中描述时钟约束的...
关键词：反应式系统 事件链 时间约束 CCSL 
关于无人机飞行目标航迹规划优化管理被引量：3
《计算机仿真》2016年第10期77-81,共5页高亚瑞 
航迹规划是检验无人机的作战能力的关键因素之一,为了发挥无人机的最大作用,完成各项艰巨的任务,必须使无人机具有一定能力的规划航迹的能力,并结合控制系统,使其在相对复杂的环境中完成自主飞行决策控制和管理能力。因此,赋予无人机智...
关键词：无人机 飞行管理系统 托勒密仿真 反应式系统 
以色列推出新型IED干扰机
《国际电子战》2013年第10期47-47,共1页范文超 武坦然 
以色列艾利斯莱公司最近推出了一种称为MRJ的新型IED干扰机。这是一套用于分析截获信号、干扰潜在威胁的反应式系统，它只需将干扰能量集中在某个特殊频段或某个具体频率即可进行实时有效的干扰。
关键词：干扰机 IED 以色列 反应式系统 潜在威胁 能量集中 信号 频段 
模型驱动的复杂反应式系统顶层设计与验证被引量：7
《系统仿真学报》2009年第14期4284-4287,共4页刘兴华 曹云峰 沈春林 
国家发改委资助项目
为克服复杂系统传统文档驱动式设计方法的不足,实现复杂系统的全数字化设计,研究了用于数字化设计顶层环节的模型驱动式系统设计与验证方法。该方法强调在复杂系统设计的初期即对系统进行建模,建立系统的电子样机(可执行模型),并通过仿...
关键词：复杂反应系统 模型驱动 顶层设计与验证 电子样机 
机器人吸尘器控制系统的设计
《电子元器件应用》2009年第12期65-67,共3页余谦 
介绍了一种机器人吸尘器中控制系统的开发流程。该系统以主要用于开发反应式控制系统的Esterel命令式同步语言编写,同时使用第三代Esterel编译器CEC。文章最后还介绍了在虚拟环境中对系统进行测试的方法和过程。
关键词：机器人 Esterel语言 CEC 反应式系统 
SCADE软件开发方法研究被引量：13
《系统仿真学报》2008年第S2期286-288,共3页胡钢伟 李振水 高亚奎 
研究了高安全性的应用程序开发环境—SCADE软件的特点和作用。阐述了SCADE软件中的两个重要的基础概念,在此基础上总结了SCADE软件三种建模方式:数据流图方式、平面状态机和安全状态机。
关键词：SCADE 反应式系统 同步假设 数据流图 平面状态机 安全状态机 
并发反应式系统的组合模型检验与组合精化检验被引量：17
《软件学报》2007年第6期1270-1281,共12页文艳军 王戟 齐治昌 
国家自然科学基金Nos.60233020;60673118;90612009;国家高技术研究发展计划(863)Nos.2005AA113130;2006AA01Z429;国家重点基础研究发展计划(973)No.2005CB321802;新世纪优秀人才支持计划No.NCET-04-0996~~
模型检验和精化检验是两种重要的形式验证方法,其应用的主要困难在于如何缓解状态爆炸问题.基于分而治之的思想进行组合模型检验和组合精化检验是应对这个问题的重要方法,它们利用系统的组合结构对问题进行分解,通过对各子系统性质的检...
关键词：模型检验 精化检验 组合模型检验 组合精化检验 状态爆炸问题 模块检验 
一种基于监控理论的软件设计方法:状态性质变换方法被引量：2
《控制理论与应用》2007年第2期187-192,199,共7页王向云 张文辉 王鹏 李永超 蔡开元 
国家自然科学基金重点资助项目(60633010);国家自然科学基金(60473067;60474006;6042100l;60573012);国家973重点基础研究发展规划项目(2002cb312200)
基于把离散事件系统监控理论用于软件设计的思想,本文中对软件设计的状态性质变换方法作了详细的讨论,给定一个系统,其每一个状态的性质都是确定的,当提出软件需求时,常常是对系统状态的性质提出需求,为设计出满足需求的系统,可以首先...
关键词：反应式系统 软件设计 离散事件动态系统 监控理论 软件控制论 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部