国家重点基础研究发展计划(2011CB302802)

作品数：17被引量：46H指数：4
导出分析报告
相关作者：陈仪香郁文生张敏李慧勇赵文明更多>>
相关机构：华东师范大学杭州职业技术学院安徽工程大学教育部更多>>
相关期刊：《科技通报》《计算机工程》《系统科学与数学》《计算机技术与发展》更多>>
相关主题：形式化验证混成系统规范语言实时系统STE更多>>
相关领域：自动化与计算机技术理学电子电信更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于车速的自适应交通信号灯控制系统被引量：12
《计算机技术与发展》2016年第9期21-25,29,共6页李金洋 陈仪香 王振辉 
国家"973"重点基础研究发展计划项目(2011CB302802);国家自然科学基金资助项目(61370100);上海知识服务平台计划(ZF1213);上海市科委项目(14511100400)
随着经济发展与人们生活水平的提高,城市机动车数量快速增长,城市交通引发的拥堵、环境污染等问题日益严重。智能交通系统(Intelligent Transportation System,ITS)已经成为国内外研究人员讨论和研究的最热门课题之一,其中如何解决交通...
关键词：智能交通系统 自适应 交通信号灯控制 V2I通讯 
局部证据RBF人体行为高层特征自相似融合识别被引量：1
《计算机工程与设计》2016年第7期1921-1926,共6页尤鸿霞 宋楚平 郁文生 
国家自然科学基金项目(61370176);国家973重点基础研究发展计划基金项目(2011CB302802);上海市教育委员会科研创新基金项目(11ZZ37)
针对传统人体动作识别算法通常重点解决某一类行为识别,不具有通用性的问题,提出一种局部证据RBF人体行为高层特征自相似融合识别算法。借用随时间变化的广义自相似性概念,利用时空兴趣点光流场局部特征提取方法,构建基于自相似矩阵的...
关键词：局部特征描述 证据理论 RBF网络 自相似 高层特征融合 
车联网数据流的多维服务质量改进异构计算最早完成时间调度算法被引量：5
《计算机应用》2015年第11期3139-3145,共7页李慧勇 陈仪香 
国家973计划项目(2011CB302802);国家自然科学基金资助项目(61370100);上海知识服务平台计划项目(ZF1213);上海市科委项目(14511100400)
针对车联网中数据流分布式处理的调度问题,提出了多维服务质量(QoS)改进异构计算最早完成时间(HEFT)调度算法。首先,分别建立了车联网中数据流的分布式处理任务的带权有向无环图模型和车联网分布式计算资源的七维QoS属性带权无向拓扑结...
关键词：分布式移动计算 车联网 列表调度算法 多维服务质量调度算法 异构计算最早完成时间调度算法 
一种变频采样传感器的频率控制算法
《计算机应用研究》2015年第6期1680-1683,1688,共5页刘董倩 陈仪香 陈晓东 何康力 
国家"973"重点基础研究发展计划基金资助项目(2011CB302802);国家自然科学基金资助项目(61021004;61370100);上海市高校知识服务平台项目(ZF1213)
在物联网时代,传感器在环境监测等领域得到了越来越广泛的应用,然而其监测性能的进一步提升受到了传感器自身能量、通信及硬件资源的制约。相对固定频率采样的传感器,变频采样的传感器在监测性能上更有优势。针对传感器的应用场景提出...
关键词：变频采样传感器 策略模型 频率控制算法 SIMULINK仿真 
基于时空自动机的CPS建模与验证被引量：2
《科技通报》2015年第1期94-99,共6页赵文明 陈仪香 张敏 
国家"973"重点基础研究发展计划项目基金(2011CB302802)
为了描述信息物理融合系统(cyber-physical systems,CPS)的时空一致性,一种实时规范语言STe C已经提出[1],CPS的设计和实现能否满足时空一致性显得十分重要。文中对混成自动机进行了扩展,提出了具有位置驱动特点的时空自动机。文中提出...
关键词：时空自动机 CPS 微分动态逻辑 时空一致性 验证 KeYmaera 
空间生命支持系统中VCCR子系统的安全性验证
《计算机科学》2014年第6期193-198,共6页李倩 郁文生 
国家自然科学基金(61370176;61070048);国家自然科学基金委员会创新研究群体科学基金(61021004);国家"863"计划(2011AA010101);国家"973"计划(2011CB302802);上海市重点学科建设项目(B412);上海市教育委员会科研创新项目(11ZZ37)资助
基于动态微分逻辑的混成系统形式化验证理论,分析空间生命支持系统的一个子系统VCCR(Variable Configuration Carbon Dioxide Removal)的安全性。将VCCR系统基于混成程序建模,并给定需验证的安全性性质,使用KeYmaera混成系统形式化验证...
关键词：混成系统 生命支持系统 VCCR系统 形式化验证 KeYmaera工具 
基于时空I/O混成自动机的物联网服务验证被引量：3
《科技通报》2014年第5期95-101,共7页赵文明 张敏 
国家自然科学基金项目(61061130541);国家自然科学基金项目(61202105);国家"973"重点基础研究发展计划项目基金(2011CB302802);985平台项目"085知识创新工程"
物联网服务的建模和验证是物联网研究中的重要问题。文中对混成自动机进行了扩展,提出了具有位置驱动特点的时空I/O混成自动机。文中提出了基于时空I/O混成自动机的物联网服务建模与验证框架。在框架中,首先对物联网服务进行了描述,并...
关键词：物联网服务 时空I O混成自动机 微分动态逻辑 时空一致性 形式化验证 KeYmaera 
基于STeC的高速列车运行模型与算法
《计算机时代》2014年第5期14-18,共5页赵文明 李慧勇 
国家"973"重点基础研究发展计划项目基金(2011CB302802)
为了使高速列车正点运行到达目的车站,提出了基于STeC(时空一致性)语言的高速列车运行模型与算法。该模型具有位置触发自动调整高速列车运行的特点,实现动态确定高速列车制动点并保证列车正点到达目的车站,从而满足了高速列车运行实时...
关键词：STeC语言 高速列车 列车运行模型 时空一致性 Matlab SIMULINK 
基于STeC-Stateflow转换系统的实时系统仿真与验证方法
《计算机应用研究》2014年第2期448-453,共6页纪政 李慧勇 陈仪香 
国家"973"计划基金资助项目(2011CB302802);国家自然科学基金资助项目(61202104);上海高校知识创新工程(085)建设项目
物联网以及信息物理融合系统对形式化建模提出了新的挑战,引入了实时系统规范语言STeC,为刻画实时系统的时空一致性提供了规范语言。针对STeC语言建立STeC至Stateflow自动转换系统,提出一种基于STeC至Stateflow转换的仿真及验证方法,该...
关键词：实时系统 实时系统规范语言 时空一致性 系统仿真与验证 STATEFLOW Checkmate 
实时系统规范语言STeC的Maude重写系统被引量：2
《计算机工程》2013年第10期57-62,67,共7页栾天骄 陈仪香 王江涛 
国家"973"计划基金资助项目(2011CB302802);国家"863"计划基金资助项目(2011AA010101);国家自然科学基金资助项目(61021004)
信息物理融合系统的网络化、系统化和信息化等特性使得软件系统的复杂程度不断增加。为此,引入实时系统的规范语言STeC,用于刻画具有时空一致性要求的实时系统。对于STeC语言的自动逻辑推理问题,通过拓展Maude中的关系等式和重写规则,将...
关键词：实时系统 实时系统的规范语言 重写逻辑 形式化分析 时空一致性 操作语义 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部