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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

车联网数据流的多维服务质量改进异构计算最早完成时间调度算法

引用

计算机应用 2015年第11期35卷 3139-3145页

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

针对车联网中数据流分布式处理的调度问题,提出了多维服务质量(QoS)改进异构计算最早完成时间(HEFT)调度算法。首先,分别建立了车联网中数据流的分布式处理任务的带权有向无环图模型和车联网分布式计算资源的七维QoS属性带权无向拓扑结... 详细信息

针对车联网中数据流分布式处理的调度问题,提出了多维服务质量(QoS)改进异构计算最早完成时间(HEFT)调度算法。首先,分别建立了车联网中数据流的分布式处理任务的带权有向无环图模型和车联网分布式计算资源的七维QoS属性带权无向拓扑结构图模型。其次,改进经典的HEFT调度算法中的列表构造方法为最高层最小后继任务优先列表构造方法;同时,将车联网分布式计算资源的七维QoS属性进行分组、降维,转化为两维综合属性优先权:计算性能优先权和通信性能优先权,形成了两种不同用户偏好的多维QoS改进HEFT调度算法。最后,通过算例分析表明:两种不同用户偏好的多维QoS改进HEFT调度算法综合性能优于经典的HEFT调度算法和轮询调度算法。

关键词：分布式移动计算车联网列表调度算法多维服务质量调度算法异构计算最早完成时间调度算法

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机技术与发展 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服务降级替换量化

来源：评论

学校读者我要写书评

暂无评论

基于时空自动机的CPS建模与验证

引用

科技通报 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年全国开放式分布与并行计算学术年会

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

针对车联网中数据流分布式处理的调度问题,提出了多维服务质量(QoS)改进异构计算最早完成时间(HEFT)调度算法.首先,分别建立了车联网中数据流的分布式处理任务的带权有向无环图模型和车联网分布式计算资源的七维QoS属性带权无向拓扑结... 详细信息

针对车联网中数据流分布式处理的调度问题,提出了多维服务质量(QoS)改进异构计算最早完成时间(HEFT)调度算法.首先,分别建立了车联网中数据流的分布式处理任务的带权有向无环图模型和车联网分布式计算资源的七维QoS属性带权无向拓扑结构图模型.其次,改进经典的HEFT调度算法中的列表构造方法为最高层最小后继任务优先列表构造方法;同时,将车联网分布式计算资源的七维QoS属性进行分组、降维,转化为两维综合属性优先权:计算性能优先权和通信性能优先权,形成了两种不同用户偏好的多维QoS改进HEFI"调度算法.最后,通过算例分析表明:两种不同用户偏好的多维QoS改进HEFT调度算法综合性能优于经典的HEFT调度算法和轮询调度算法.

关键词：车联网数据流分布式计算调度算法多维服务质量

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于GPRS的可信系统设计与实现

基于GPRS的可信系统设计与实现

引用

2015年全国工业控制计算机技术年会

作者：毋杰朱明华丁富华东师范大学软硬件协同设计技术与应用教育部工程研究中心上海 200062 公安部第三研究所防伪事业部上海 201204

介绍了在公共安全领域,使用公用GPRS网络传输信息的应用中,采用一种可信的通信方式,保证数据传输的高安全性.使用了前端PSAM加密方式和APN管道传输这两种手段来保证GPRS传输信息的安全性,同时采用了专用设备管理后台来进行接入认证,成... 详细信息

介绍了在公共安全领域,使用公用GPRS网络传输信息的应用中,采用一种可信的通信方式,保证数据传输的高安全性.使用了前端PSAM加密方式和APN管道传输这两种手段来保证GPRS传输信息的安全性,同时采用了专用设备管理后台来进行接入认证,成功防止了非法设备的入侵.通过这三种方式融合实现了一种高可靠性的基于GPRS传输的设备通信方式,并将这种通信方式使用到了RFID智能终端产品中,在项目中论证了此方法的可实现性和确实的高安全性.

关键词：移动通信通用分组无线业务信息传输公共安全

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：