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

2020中国信息通信大会（CICC 2020）

作者：韩园峰章玥孙衍超陈慧华东师范大学上海市高可信计算重点实验室华东师范大学教育部软硬件协同设计技术与应用工程研究中心攀枝花学院数学与计算机学院

以疫情防控工作中存在的实际困难为导向,通过在疫情防控工作中引入物联网技术,提升疫情防控工作中患者接触者追溯的能力,使患者和患者接触者能够被及时隔离;面向管理优化,提升隔离管理的效率;利用数据挖掘技术,分析患者数据中潜在的有... 详细信息

以疫情防控工作中存在的实际困难为导向,通过在疫情防控工作中引入物联网技术,提升疫情防控工作中患者接触者追溯的能力,使患者和患者接触者能够被及时隔离;面向管理优化,提升隔离管理的效率;利用数据挖掘技术,分析患者数据中潜在的有效信息。

关键词：计算机应用技术物联网无线移动局域网联邦学习地理围栏

来源：评论

学校读者我要写书评

暂无评论

信息物理系统软件设计自动化专题前言

引用

软件学报 2020年第6期31卷 1585-1586页

作者：卜磊陈铭松朱祺刘超计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 南京大学计算机科学与技术系江苏南京210093 软硬件协同设计技术与应用教育部工程研究中心(华东师范大学) 上海200241 华东师范大学软件工程学院上海200241 Department of Electrical and Computer Engineering Northwestern UniversityEvanstonUSA 北京航空航天大学计算机学院北京100191

为了更精确地认识与改造世界,新一代的嵌入式系统必须将计算世界与物理世界作为紧密交互的整体进行认知,实现集计算、通信与控制于一体的深度融合的理论体系与技术框架,即信息物理系统(cyber-physical systems,简称CPS).与传统嵌入式系... 详细信息

为了更精确地认识与改造世界,新一代的嵌入式系统必须将计算世界与物理世界作为紧密交互的整体进行认知,实现集计算、通信与控制于一体的深度融合的理论体系与技术框架,即信息物理系统(cyber-physical systems,简称CPS).与传统嵌入式系统不同,CPS充分考虑了计算部件与物理环境的深度融合,通过将设备智能化连接,实现物理环境系统与计算系统之间精确感知与高效协同.基于CPS理念设计出来的计算设备可以根据具体任务需求自适应地调整与配置计算逻辑,精确智能地获取外部物理环境信息并做出针对性的实时反应,完成安全可靠的控制服务,从而实现物理世界与信息世界的有机统一.

关键词：物理环境深度融合设计自动化设备智能化嵌入式系统计算设备信息物理系统技术框架

来源：评论

学校读者我要写书评

暂无评论

基于在线模型检验技术的微内核验证

引用

微纳电子与智能制造 2020年第1期2卷 102-109页

作者：董星河郭建国家可信嵌入式软件工程技术研究中心华东师范大学上海200062 软硬件协同设计技术与应用教育部工程研究中心华东师范大学上海200062

物联网的兴起,对操作系统的可靠性提出了更高的要求。为确保微内核操作系统的安全性,提出了一种基于事件总线的微内核在线模型验证框架,主要思想是通过映射函数将源代码转换成抽象模型,并从微内核规范中抽取性质。根据源代码的控制流程... 详细信息

物联网的兴起,对操作系统的可靠性提出了更高的要求。为确保微内核操作系统的安全性,提出了一种基于事件总线的微内核在线模型验证框架,主要思想是通过映射函数将源代码转换成抽象模型,并从微内核规范中抽取性质。根据源代码的控制流程图查找监控点并进行插桩;在微内核运行过程中,定期监测实际运行信息,并将之转化为抽象信息提交给抽象模型,通过有界模型检查,查看是否满足性质;若不满足,则表明源代码可能存在错误。最后,该验证框架应用于本团队自行开发的基于事件总线的微内核验证中。

关键词：操作系统有界模型检查映射函数线性时态逻辑

来源：评论

学校读者我要写书评

暂无评论

基于随机投影与加权稀疏表示残差的光照鲁棒人脸识别方法

引用

计算机工程与科学 2018年第11期40卷 2015-2022页

作者：李燕章玥华东师范大学教育部软硬件协同设计技术与应用工程研究中心上海200062

针对人脸识别中的光照变化问题,利用随机投影对传统稀疏表示分类器进行改进,提出一种基于随机投影与加权稀疏表示残差的光照鲁棒人脸识别方法。通过对人脸图像进行光照规范化处理,尽量消除人脸图像上的恶劣光照,取得经光照校正的人脸样... 详细信息

针对人脸识别中的光照变化问题,利用随机投影对传统稀疏表示分类器进行改进,提出一种基于随机投影与加权稀疏表示残差的光照鲁棒人脸识别方法。通过对人脸图像进行光照规范化处理,尽量消除人脸图像上的恶劣光照,取得经光照校正的人脸样本后进行多次随机空间投影,进一步丰富样本的光照不变特征,以减小光照变化对人脸识别带来的影响。在此基础上,对利用单一残差分类的传统稀疏表示分类方法进行改进,样本经过多次随机投影和稀疏表示会产生多个样本特征和重构残差,利用样本特征的能量来确定各个重构残差的融合权值,最终得到一种稳定性和可靠性更强的加权残差。在Yale B和CMU PIE两个光照变化较大的人脸库上的实验结果表明,改进的方法具有较强的光照鲁棒性。与传统稀疏表示方法相比,本文提出的方法在Yale B人脸库上两组实验的平均识别率分别提高了25.76%和46.39%,在CMU PIE上的平均识别率提高了10%左右。

关键词：稀疏表示随机投影加权残差光照鲁棒人脸识别

来源：评论

学校读者我要写书评

暂无评论

基于过程现场总线技术的振动检测系统

引用

计算机应用 2018年第7期38卷 2113-2118页

作者：苏雷皓朱明华教育部软硬件协同设计技术与应用工程研究中心(华东师范大学) 上海200062 上海物联网有限公司上海201899

针对当前振动检测系统延迟大、传感网络可控性差、检测精度低等问题,提出了一种基于过程现场总线(Profibus)技术的振动检测系统。首先,在每个检测设备节点处实现卡尔曼滤波、快速傅里叶变换(FFT)等复杂计算,使网络负载与传输大量原始振... 详细信息

针对当前振动检测系统延迟大、传感网络可控性差、检测精度低等问题,提出了一种基于过程现场总线(Profibus)技术的振动检测系统。首先,在每个检测设备节点处实现卡尔曼滤波、快速傅里叶变换(FFT)等复杂计算,使网络负载与传输大量原始振动数据的传统方案相比降低了约95%,缩短了网络传输时间和工作站的计算时间,提高了系统的实时性和计算能力。然后,采用Profibus协议实现对振动检测设备网络的管理和数据传输,保证了传感网络的稳定性和可控性;并且,在振动检测节点设备上使用高精度振动传感器,在检测节点上对振动数据进行滤波等处理,检测精度高达0.003 9 mg。此外,自主设计开发了Profibus协议从站,方便检测设备的功能定制与二次开发;在检测节点设备上采用RT-Thread嵌入式系统内核实现资源分配与任务调度,提高了实时性和可靠性。实验结果表明,所提系统可以快速地对振动现场的原始振动数据进行数据处理并把处理后的数据传输到工作站电脑,实时性高。同时,振动检测设备组成的Profibus网络可以实时显示节点的状态信息,若有网络故障能够及时提醒,网络的可控性好。

关键词：振动检测 Profibus 数据处理嵌入式系统传感网

来源：评论

学校读者我要写书评

暂无评论

面向数据中心租户带宽特征的虚拟拥塞控制方法性能分析

引用

计算机工程与科学 2018年第9期40卷 1562-1571页

作者：李树楠詹男杰章玥华东师范大学上海市高可信计算重点实验室上海200062 华东师范大学教育部软硬件协同设计技术与应用工程研究中心上海200062 复旦大学计算机科学与技术学院上海201203

数据中心租户使用的遗留设备中仍存在没有实现显式拥塞通知ECN的情况,导致数据中心网络中存在ECN流抢占非ECN流带宽资源的不公平现象。虚拟拥塞控制方法通过修改数据包接收窗口字段进行拥塞控制,改善了上述不公平现象。从租户主机数目... 详细信息

数据中心租户使用的遗留设备中仍存在没有实现显式拥塞通知ECN的情况,导致数据中心网络中存在ECN流抢占非ECN流带宽资源的不公平现象。虚拟拥塞控制方法通过修改数据包接收窗口字段进行拥塞控制,改善了上述不公平现象。从租户主机数目、带宽需求、网络拥塞程度、拥塞控制算法等四个角度出发,建立对应的符合数据中心租户带宽特征的仿真场景,通过仿真实验分析虚拟拥塞控制方法在上述场景中的性能。结果表明:(1)虚拟拥塞控制方法的性能良好,不受租户主机个数、租户带宽差异以及网络拥塞程度的影响;(2)虚拟拥塞控制算法的性能在拥塞控制算法不同环境下的表现存在差异,当使用YeAH-TCP时解决ECN不公平性效果较差。

关键词：拥塞控制显式拥塞通知传输控制协议数据中心网络

来源：评论

学校读者我要写书评

暂无评论

软件定义网络流量监测方法综述

引用

无线通信技术 2018年第1期27卷 7-12页

作者：李燕章玥唐继兴陈雷华东师范大学教育部软硬件协同设计技术与应用工程研究中心上海200062 中国信息通信研究院泰尔系统实验室北京100191

网络流量监测是网络管理的重要构成部分,流量监测方法对于评估整个网络的性能至关重要。本文调研分析了当前软件定义网络(Software-Defined Networking,SDN)中的流量监测方法,从以交互为中心和以计算为中心两个角度对流量监测方法进行... 详细信息

网络流量监测是网络管理的重要构成部分,流量监测方法对于评估整个网络的性能至关重要。本文调研分析了当前软件定义网络(Software-Defined Networking,SDN)中的流量监测方法,从以交互为中心和以计算为中心两个角度对流量监测方法进行分类。以交互为中心的方法侧重于交互,由控制器通过南向接口获取数据平面的流量信息。以计算为中心的方法侧重于数据平面,通过交换机内部的复杂计算实时获知网络流量状况。

关键词：流量监测网络管理软件定义网络

来源：评论

学校读者我要写书评

暂无评论

面向车联网的时空事件处理语言STEP

引用

计算机科学与探索 2016年第7期10卷 959-974页

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

车联网是物联网技术应用于智能交通领域所形成的重要研究领域。复杂事件处理技术是车联网系统数据流处理的重要方法。有别于经典的物联网系统,车联网中数据流包含大量的时间和空间信息。在复杂事件处理技术中,如何有效地表达和处理车联... 详细信息

车联网是物联网技术应用于智能交通领域所形成的重要研究领域。复杂事件处理技术是车联网系统数据流处理的重要方法。有别于经典的物联网系统,车联网中数据流包含大量的时间和空间信息。在复杂事件处理技术中,如何有效地表达和处理车联网的时空数据流成为亟待解决的问题。针对该问题,提出了一种时空事件处理语言(spatial-temporal event processing language,STEP)。STEP分别采用时间段和栅格地图作为时间和空间模型。基于该时空模型,首先给出STEP语言的相关时空算子和完整语法,从而有效地表达车联网中时空事件流的时空信息。然后,分别从形式语义学角度引入STEP语言的操作语义,并且从实现角度给出了基于Petri网模型的时空事件流处理算法,从而建立车联网时空事件流处理机制。最后,通过实验说明了基于STEP语言的车联网时空事件流处理机制的有效性。

关键词：物联网车联网复杂事件处理事件处理语言形式语义时空事件流

来源：评论

学校读者我要写书评

暂无评论

景区智慧旅游系统的软硬件协同设计

引用

黄山学院学报 2017年第3期19卷 19-23页

作者：胡伟陈仪香黄山学院信息工程学院安徽黄山245041 华东师范大学教育部软硬件协同设计技术与应用工程研究中心上海200062

智慧旅游作为"互联网+"形式下未来旅游业发展的趋势,将会得到大力的发展。智慧景区建设作为智慧旅游的重要组成部分,也成为研究的热点。在景区智慧旅游系统的设计中引入软硬件协同设计的方法,运用基于SysML的系统建模方式进... 详细信息

智慧旅游作为"互联网+"形式下未来旅游业发展的趋势,将会得到大力的发展。智慧景区建设作为智慧旅游的重要组成部分,也成为研究的热点。在景区智慧旅游系统的设计中引入软硬件协同设计的方法,运用基于SysML的系统建模方式进行系统的建模,可以使得设计周期大大地缩短,设计的灵活性也得到很大地提高,系统的开发成本也能得到降低。

关键词：智慧旅游 “互联网+” 软硬件协同设计 Sys ML 系统建模

来源：评论

学校读者我要写书评

暂无评论

软硬件协同设计中的软硬件划分方法综述

引用

单片机与嵌入式系统应用 2017年第8期17卷 3-8页

作者：李岩屈媛陈仪香华东师范大学计算机科学与软件工程学院嵌入式软件与系统系上海200062 华东师范大学教育部软硬件协同设计技术与应用工程研究中心

近年来,随着信息领域的物联网、工业互联网、机器人等研究热点发展,嵌入式系统技术再次得到科技工作者和工程师的广泛关注和重视,同时嵌入式系统产品的集成度和性能要求越来越高。软硬件协同设计是开发嵌入式系统产品的重要方法之一,而... 详细信息

近年来,随着信息领域的物联网、工业互联网、机器人等研究热点发展,嵌入式系统技术再次得到科技工作者和工程师的广泛关注和重视,同时嵌入式系统产品的集成度和性能要求越来越高。软硬件协同设计是开发嵌入式系统产品的重要方法之一,而软硬件划分是软硬件协同设计中的关键技术。本文对现有软硬件划分方法从不同层面进行梳理和分类,重点介绍几种常用的软硬件划分方法,并结合实例进行了详细阐述,最后对这几种方法进行综合比较,供嵌入式系统开发科技工作者和工程师参考。

关键词：嵌入式系统软硬件协同设计软硬件划分

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：