检索结果-内蒙古大学图书馆

科技通报 2015年第1期31卷 94-99页

作者：赵文明陈仪香张敏杭州职业技术学院信息电子系杭州310018 华东师范大学教育部软硬件协同设计技术与应用工程研究中心上海200062 华东师范大学上海市高可信计算重点实验室上海200062

为了描述信息物理融合系统(cyber-physical systems,CPS)的时空一致性,一种实时规范语言STe C已经提出[1],CPS的设计和实现能否满足时空一致性显得十分重要。文中对混成自动机进行了扩展,提出了具有位置驱动特点的时空自动机。文中提出... 详细信息

为了描述信息物理融合系统(cyber-physical systems,CPS)的时空一致性,一种实时规范语言STe C已经提出[1],CPS的设计和实现能否满足时空一致性显得十分重要。文中对混成自动机进行了扩展,提出了具有位置驱动特点的时空自动机。文中提出了基于时空自动机的CPS建模与验证框架。在框架中,首先使用STe C语言对CPS进行了描述并使用时空自动机对CPS进行建模。文中采用的形式化验证方法为微分动态逻辑(differential dynamic logic,DL),其操作模型为HP(hybrid program)。利用DL可以将所建模型转换为对应的HP。结合得到的HP对验证的CPS属性进行规约,最后使用定理证明器Ke Ymaera对属性进行自动化验证。

关键词：时空自动机 CPS 微分动态逻辑时空一致性验证 KeYmaera

来源：评论

学校读者我要写书评

暂无评论

面向物联网的智能传感器节点系统设计

引用

单片机与嵌入式系统应用 2015年第8期15卷 74-77页

作者：何康力陈仪香王江涛华东师范大学软件学院教育部软硬件协同设计技术与应用工程研究中心上海200062 上海嵌入式系统研究所

无线传感器网络(WSN)是物联网核心应用技术之一,由于WSN中节点多、数据量大,传感器将原始数据直接传至后台的传统方法会产生大量的能耗并增加后台处理压力。本文结合物联网WInternet的框架以及软硬件协同设计思想,提出了一种面向该物联... 详细信息

无线传感器网络(WSN)是物联网核心应用技术之一,由于WSN中节点多、数据量大,传感器将原始数据直接传至后台的传统方法会产生大量的能耗并增加后台处理压力。本文结合物联网WInternet的框架以及软硬件协同设计思想,提出了一种面向该物联网的系统设计与实现方法:将变频算法融入传感器节点高效采集数据,使智能传感器节点具有计算数据和制动外部设备的功能,并可实现就近计算,同时将Pipe协议嵌入其中,使得不同平台间无缝连接,以及节点设备对外提供服务。

关键词：物联网软硬件协同就近计算 UML

来源：评论

学校读者我要写书评

暂无评论

基于STeC-Stateflow转换系统的实时系统仿真与验证方法

引用

计算机应用研究 2014年第2期31卷 448-453页

作者：纪政李慧勇陈仪香华东师范大学软件学院教育部软硬件协同设计技术与应用工程研究中心上海200062

物联网以及信息物理融合系统对形式化建模提出了新的挑战,引入了实时系统规范语言STeC,为刻画实时系统的时空一致性提供了规范语言。针对STeC语言建立STeC至Stateflow自动转换系统,提出一种基于STeC至Stateflow转换的仿真及验证方法,该... 详细信息

物联网以及信息物理融合系统对形式化建模提出了新的挑战,引入了实时系统规范语言STeC,为刻画实时系统的时空一致性提供了规范语言。针对STeC语言建立STeC至Stateflow自动转换系统,提出一种基于STeC至Stateflow转换的仿真及验证方法,该方法使用STeC语言对实时系统进行形式化建模,再建立实时监控的Simulink仿真模型,并使用Checkmate对系统进行安全性验证。通过对京沪高铁运行的实例研究,表明该方法对高铁运行系统实时仿真的有效性,并能够验证高铁运行系统的安全性。

关键词：实时系统实时系统规范语言时空一致性系统仿真与验证 Stateflow Checkmate

来源：评论

学校读者我要写书评

暂无评论

构件近似匹配的度量研究

引用

计算机科学 2014年第5期41卷 190-195页

作者：吴新星胡国胜陈仪香上海电子信息职业技术学院计算机应用系上海201411 华东师范大学教育部软硬件协同设计技术与应用工程研究中心上海200062

针对构件在实际应用中往往不能完全满足用户需求的问题,通过比较需求的前置和后置与构件的前置和后置间的关系,提出了一种评估构件对需求近似匹配性的度量方法,来定量地刻画构件的具体实现与用户需求的近似关系。在此基础上,通过复用构... 详细信息

针对构件在实际应用中往往不能完全满足用户需求的问题,通过比较需求的前置和后置与构件的前置和后置间的关系,提出了一种评估构件对需求近似匹配性的度量方法,来定量地刻画构件的具体实现与用户需求的近似关系。在此基础上,通过复用构件之间的约束关系,给出了基于构件的软件对用户需求近似匹配的度量规则。

关键词：构件匹配度量

来源：评论

学校读者我要写书评

暂无评论

基于STeC的高速列车运行模型与算法

引用

计算机时代 2014年第5期 14-18页

作者：赵文明李慧勇杭州职业技术学院信息电子系浙江杭州310018 华东师范大学教育部软硬件协同设计技术与应用工程研究中心

为了使高速列车正点运行到达目的车站,提出了基于STeC(时空一致性)语言的高速列车运行模型与算法。该模型具有位置触发自动调整高速列车运行的特点,实现动态确定高速列车制动点并保证列车正点到达目的车站,从而满足了高速列车运行实时... 详细信息

为了使高速列车正点运行到达目的车站,提出了基于STeC(时空一致性)语言的高速列车运行模型与算法。该模型具有位置触发自动调整高速列车运行的特点,实现动态确定高速列车制动点并保证列车正点到达目的车站,从而满足了高速列车运行实时系统对时间和空间的一致性要求。通过Matlab/Simulink的仿真测试,证明了该模型的正确性和有效性。

关键词： STeC语言高速列车列车运行模型时空一致性 Matlab Simulink

来源：评论

学校读者我要写书评

暂无评论

单文档关键词自动提取方法述评

引用

信息工程期刊（中英文版） 2013年第1期3卷 1-7页

作者：张越龄华东师范大学软件学院教育部软硬件协同设计与应用工程研究中心上海200062 上海嵌入式系统研究所上海200062

关键词作为定义一篇文章主旨的重要元素，在文本处理、文档聚类、数据挖掘、新闻阅读、机器翻译、自动问答系统等多个方面都扮演着重要的角色。本文对单文档关键词提取方法进行了综述，分析了现有提取方法的技术特点、优势与不足，并指... 详细信息

关键词作为定义一篇文章主旨的重要元素，在文本处理、文档聚类、数据挖掘、新闻阅读、机器翻译、自动问答系统等多个方面都扮演着重要的角色。本文对单文档关键词提取方法进行了综述，分析了现有提取方法的技术特点、优势与不足，并指出提高关键词自动标注算法的实用性是未来的研究热点。

关键词：关键词提取算法语料库词共现词汇链 PageRank算法

来源：评论

学校读者我要写书评

暂无评论

信息技术当前的研究热点

信息技术当前的研究热点

引用

2010年模糊数学与模糊系统第十五届年会

作者：陈仪香华东师范大学软件学院上海高可信计算重点实验室上海200062 教育部软硬件协同设计与应用工程研究中心

告概要性地介绍信息技术当前的5个研究热点:可信计算、云计算、物联网、信息物理融合系统以及绿色计算.重点介绍它们的研究内涵、科学问题、应用领域以及技术关键.

关键词：信息技术可信计算云计算物联网信息物理融合

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：