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

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理念设计出来的计算设备可以根据具体任务需求自适应地调整与配置计算逻辑,精确智能地获取外部物理环境信息并做出针对性的实时反应,完成安全可靠的控制服务,从而实现物理世界与信息世界的有机统一.

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

概率拟Hoare逻辑

引用

计算机科学 2016年第4期43卷 177-181,191页

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

基于Hoare逻辑,给出了概率拟Hoare逻辑,用于刻画程序执行的正确度,定量地描述理论与程序(或软件)实际执行之间的差距,反映理论被程序实现的程度,从而量化理论上正确的程序在实际执行时出错的可能性,以及解释正确度很高的两个程序串行复... 详细信息

基于Hoare逻辑,给出了概率拟Hoare逻辑,用于刻画程序执行的正确度,定量地描述理论与程序(或软件)实际执行之间的差距,反映理论被程序实现的程度,从而量化理论上正确的程序在实际执行时出错的可能性,以及解释正确度很高的两个程序串行复合之后的整体正确度可能并不高等问题。

关键词： Hoare逻辑 Hoare三元组正确度概率测度

来源：评论

学校读者我要写书评

暂无评论

基于车速的自适应交通信号灯控制系统

引用

计算机技术与发展 2016年第9期26卷 21-25,29页

作者：李金洋陈仪香王振辉华东师范大学计算机科学与软件工程学院嵌入式软件与系统系上海200062 教育部软硬件协同设计技术与应用工程研究中心上海200062 国家可信嵌入式软件工程技术研究中心上海200062

随着经济发展与人们生活水平的提高,城市机动车数量快速增长,城市交通引发的拥堵、环境污染等问题日益严重。智能交通系统(Intelligent Transportation System,ITS)已经成为国内外研究人员讨论和研究的最热门课题之一,其中如何解决交通... 详细信息

随着经济发展与人们生活水平的提高,城市机动车数量快速增长,城市交通引发的拥堵、环境污染等问题日益严重。智能交通系统(Intelligent Transportation System,ITS)已经成为国内外研究人员讨论和研究的最热门课题之一,其中如何解决交通拥堵问题尤为重要。为了改善路口交通状况,提高通行效率,提出了一种基于车速的自适应交通信号灯控制系统。系统采用车联网V2I(Vehicle to Infrastructure)通讯模式,利用V2I通讯协议,实现汽车与交通信号灯之间数据的传输。汽车在通过路口时将车速信息发送给该路口的交通信号灯,系统通过分析十字路口和十字路口前方车速信息和交通信号灯当前状态,实时地控制红绿灯的显示,实现红绿灯控制依据实时车流量进行实时自动调整。该系统能够减少十字路口的拥堵,从而有效缓解交通拥堵,提高道路通行能力。

关键词：智能交通系统自适应交通信号灯控制 V2I通讯

来源：评论

学校读者我要写书评

暂无评论

一种变频采样传感器的频率控制算法

引用

计算机应用研究 2015年第6期32卷 1680-1683,1688页

作者：刘董倩陈仪香陈晓东何康力华东师范大学教育部软硬件协同设计技术与应用工程研究中心上海200062 中国科学院上海高等研究院上海201210

在物联网时代,传感器在环境监测等领域得到了越来越广泛的应用,然而其监测性能的进一步提升受到了传感器自身能量、通信及硬件资源的制约。相对固定频率采样的传感器,变频采样的传感器在监测性能上更有优势。针对传感器的应用场景提出... 详细信息

在物联网时代,传感器在环境监测等领域得到了越来越广泛的应用,然而其监测性能的进一步提升受到了传感器自身能量、通信及硬件资源的制约。相对固定频率采样的传感器,变频采样的传感器在监测性能上更有优势。针对传感器的应用场景提出了一种策略模型,在此基础上设计了一种应用于节点异常监测状态的频率控制(Dis Tros)算法,并用MATLAB/Simulink工具进行了仿真分析。Dis Tros算法的两种子算法可分别应用于监测对象的快速变化及慢速变化两种应用场景。最后的仿真结果表明,该算法在快速变化场景下保证了监测的实时性,在慢速变化场景下保证了监测的密集度。

关键词：变频采样传感器策略模型频率控制算法 Simulink仿真

来源：评论

学校读者我要写书评

暂无评论

[α_1,α_2]1-概率拟Hoare逻辑及其可靠性证明

引用

计算机科学 2015年第B11期42卷 93-99页

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

基于***提出的Hoare逻辑,给出了[α_1,α_2]1-概率拟Hoare逻辑,并证明了其可靠性。

关键词： Hoare逻辑 Hoare三元组正确度概率测度

来源：评论

学校读者我要写书评

暂无评论

Web服务降级替换的一致性问题及量化研究

引用

计算机科学 2015年第2期42卷 81-85,94页

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

在开放的网络环境下,软件系统的可信性受到了更大的挑战,软件系统的降级替换是提高其可信性的方法之一。基于进程代数研究了Web服务的降级替换问题。在原有进程代数的基础上,添加了超时处理算子和延时处理算子,给出了Web服务降级替换一... 详细信息

在开放的网络环境下,软件系统的可信性受到了更大的挑战,软件系统的降级替换是提高其可信性的方法之一。基于进程代数研究了Web服务的降级替换问题。在原有进程代数的基础上,添加了超时处理算子和延时处理算子,给出了Web服务降级替换一致性条件,从而保证了合成Web服务中降级替换的正确性。进一步地,从量化角度对Web服务的降级替换进行了研究。

关键词：进程演算(CCS) Web服务降级替换量化

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：