形式化方法

作品数：863被引量：2365H指数：18
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：薛锦云肖美华张广泉黄志球胡军更多>>
相关机构：华东师范大学中国科学院软件研究所上海交通大学南京大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国家科技支撑计划x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
多Agent交互策略模型检测方法被引量：3
《电子科技大学学报》2016年第5期802-807,共6页张涛 谢红 黄少滨 
国家科技支撑计划(2012BAH08B02);中央高校基本科研业务费专项基金(HEUCF100603,HEUCF041204);黑龙江省博士后资助项目(3236310148)
提出一种基于模型检测的多Agent交互策略验证方法,首先通过责任政策语言建模多Agent的交互策略,基于责任政策语言的操作语义将政策模型转换为模型检测器Nu SMV的输入,利用时态逻辑声明表征策略冲突的系统性质,然后利用模型检测器Nu SMV...
关键词：形式化方法 模型检测 多AGENT系统 NUSMV 政策建模 
责任政策形式化验证方法
《哈尔滨工程大学学报》2016年第4期585-591,共7页张涛 谢红 黄少滨 
国家科技支撑计划(2012BAH08B02);中央高校基本科研业务费专项基金项目(HEUCF100603;HEUCF041204);黑龙江省博士后基金资助项目(3236310148)
为了验证多Agent系统设计的正确性,将责任政策作为约束多Agent交互行为的高层"需求规格"或"通信协议",对其进行形式化建模及验证。研究了建模责任政策的形式化框架语言,基于责任状态模型建模责任政策的动态演化过程。给出了政策模型形...
关键词：多AGENT系统 形式化方法 政策建模 社会承诺 模型检测 责任政策 
基于TCSP的实时并发系统测试方法被引量：4
《高技术通讯》2015年第4期350-356,共7页郭婧 徐中伟 李丽梅 
国家自然科学基金(61075002);国家科技支撑计划重大项目(2011BAG01B03);863计划(2012AA112801)资助项目
基于时间通信顺序进程(TCSP)语言——一种用于建模、验证实时并发系统的形式化语言,进行了一种新型实时并发系统测试方法的研究,以提高测试的覆盖率和完整度。首先研究了实时并发系统的输入、输出一致性关系,然后在时间迹、时间拒绝两...
关键词：一致性测试 实时性 并发性 形式化方法 精化关系 
CIM建模及模型形式化方法研究综述被引量：3
《计算机应用研究》2014年第10期2896-2901,共6页李宗花 周晓峰 顾爱华 李勤丰 
国家科技支撑计划资助项目(2013BAB05B00;2013BAB06B04)
以模型为驱动的开发方法是当前软件工程领域研究的热点,计算无关模型(computation independent mo del,CIM)在模型驱动架构中关注系统的需求和环境,其有效的建模方法和模型形式化是实现高层概念模型至代码自动转换的关键。首先介绍了现...
关键词：计算无关模型 多视图多层次模型 模型一致性 模型形式化 
运行时验证技术的研究进展被引量：6
《计算机科学》2014年第B11期359-363,共5页张硕 贺飞 
973项目(2010CB328003);国家自然科学基金项目(60903030;61272001;91218302);国家科技支撑计划(SQ2012BAJY4052);清华大学自主科研计划;北京市属高等学校高层次人才引进与培养计划项目(YETP0167)资助
运行时验证是一种轻量级的验证方法,通过实时地监测系统的行为,验证系统的正确性,及时发现冲突,并发出警告或作出反应。运行时验证技术已经得到了越来越多的应用,以确保软件系统的正确性。总结了近年来运行时验证技术的研究进展,首先介...
关键词：运行时验证 运行时监控 软件正确性 形式化方法 
探索分布仿真应用中广义时空域层级一致性被引量：4
《软件学报》2013年第2期317-330,共14页范林军 凌云翔 王涛 燕厚仪 
国家自然科学基金(61272336);国家科技支撑计划(2009BAG12A05)
时空一致(time-space consistency,简称TSC)是面向服务分布仿真应用(service-oriented distributedsimulation application,简称SODSA)中关键的基础性问题,目前的研究侧重于考虑狭义的时间和空间概念,难以实现建模与仿真全过程的整体一...
关键词：分布仿真应用 广义时空 层级一致性 形式化方法 面向服务架构 
基于场景分析的系统形式化模型生成方法被引量：4
《计算机科学》2012年第8期136-140,163,共6页王曦 徐中伟 
国家科技支撑计划重大项目(2009BAG11B00;2011BAG01B03);国家自然科学基金项目(60674004;61075002)资助
采用形式化方法对系统的安全性进行分析与验证,是构造可靠安全软件系统的一个重要途径。当前的形式化安全分析方法,面临着系统的形式化建模难的问题。以铁路车站联锁系统中基本进路建立为例,提出基于场景分析的系统形式化模型生成方法...
关键词：安全苛求系统 安全性分析 形式化方法 形式化验证 
列车运行控制系统设计正确性的验证方法被引量：3
《西南交通大学学报》2010年第4期574-579,共6页曹源 唐涛 罗丹 穆建成 
国家自然科学基金重点资助项目(60634010和60736047);国家科技计划支撑项目(2009BAG12A08);高等学校博士学科点专项科研基金资助项目(20070004005);轨道交通控制与安全国家重点实验室自主研究课题(RCS2008ZZ005);北京市轨道交通控制重点实验室
为验证系统开发阶段列车运行控制系统设计的正确性,提出了基于RAISE软件的系统建模、描述及验证方法.以CTCS-3级两列列车追踪运行为例,采用面向系统特性的域,建立了系统域模型,并在对域模型扩充和完善的基础上,用RSL语言描述了两列列车...
关键词：交通信息工程 形式化方法 列车运行控制系统 安全苛求系统 
一种面向法治活动的句群级语境形式化方法
《计算机技术与发展》2010年第7期1-4,8,共5页宋培彦 刘宁静 
国家科技支撑计划项目(2007BAH05B01)
为了使计算机获得语境中包含的知识,必须对语境进行形式化描述。文中采用演绎的方法,以概念树"法治"为例,根据概念层次网络理论(HNC)世界知识的描述,设计了法治活动的领域句类表示式,将法治领域世界知识融入其中,从而使计算机获得先验...
关键词：领域句类知识 句群处理 语境形式化 HNC理论 自然语言理解 知识表示 
运输态势交互模型及其CSP形式化研究
《计算机工程》2009年第14期264-266,269,共4页陆锡高 凌云翔 老松杨 
国家"863"计划基金资助项目(2007AA01Z193);国家科技支撑计划基金资助项目(2006BAG01A07)
人机交互(HCI)技术的迅猛发展为自然高效和谐的HCI提供了基础支持,随着HCI行为的日益复杂,如何验证其过程的正确性成为研究HCI领域的重心。根据双手触摸光感应触控平台在运输态势的HCI,提出一种体现用户操作与设备响应相结合的运输态势...
关键词：人机交互(HCI) 用户操作 通信顺序进程 形式化方法 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部