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

华东理工大学学报（自然科学版） 2020年第1期46卷 128-134页

作者：吉祥虞慧群范贵生孙怀英华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112

针对城市车载自组网场景,提出了一种基于蚁群算法的道路延时感知路由协议。将数据转发过程分为直路模式和路口模式,利用蚁群算法中信息素的更新机制建立了一种基于蚁群算法的延时感知路段权重计算方法,并结合蚁群对最优化路径的探索过... 详细信息

针对城市车载自组网场景,提出了一种基于蚁群算法的道路延时感知路由协议。将数据转发过程分为直路模式和路口模式,利用蚁群算法中信息素的更新机制建立了一种基于蚁群算法的延时感知路段权重计算方法,并结合蚁群对最优化路径的探索过程给出了一种优化的反应式路由方案。仿真实验模拟了城市交通场景,将所提出的路由协议与GPSR、GSR、VACO路由协议进行性能比较,实验结果表明,该协议在数据分组投递率及延时方面均有较好的性能。

关键词：车载自组网蚁群算法桥节点数据分组投递率端到端延时

来源：评论

学校读者我要写书评

暂无评论

基于环境的多形态时间需求建模方法

引用

计算机学报 2013年第1期36卷 88-103页

作者：陈小红刘静华东师范大学上海市高可信计算重点实验室上海200062 北京大学高可信软件技术教育部重点实验室北京100871 浙江师范大学计算机软件与理论省级重中之重学科浙江金华321004

时间需求作为嵌入式系统的关键要素,其重要性越来越突出.但是目前的时间需求存在着多样的环境时间描述与单一的软件时间描述融合问题.文中在基于环境的功能性需求的基础上,提出基于环境的多形态时间需求建模方法,试图在需求层次上为该... 详细信息

时间需求作为嵌入式系统的关键要素,其重要性越来越突出.但是目前的时间需求存在着多样的环境时间描述与单一的软件时间描述融合问题.文中在基于环境的功能性需求的基础上,提出基于环境的多形态时间需求建模方法,试图在需求层次上为该问题提供解决方案.文中构建了支持这个方法的多形态时间需求模型,在环境因素的基础上增加了多形态时间描述,并提出该需求模型制导的需求建模过程,帮助需求分析员在功能性需求的基础上建模时间需求.文中还给出了从多样的环境时间描述得到软件时间需求规约的步骤,指导需求分析人员抽取时间需求规约.

关键词：时间需求多形态时间基于环境建模嵌入式系统

来源：评论

学校读者我要写书评

暂无评论

面向无穷数据的形式模型综述

引用

软件学报 2016年第3期27卷 682-690页

作者：宋富吴志林上海市高可信计算重点实验室(华东师范大学) 上海200062 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190

无穷数据广泛存在于计算机程序和数据库系统中.受到形式验证与数据库两方面应用需求的推动,面向无穷数据的形式模型已经成为理论计算机科学的研究热点之一.对面向无穷数据的形式模型(逻辑与自动机)进行了相对全面而详细的总结.主要按照... 详细信息

无穷数据广泛存在于计算机程序和数据库系统中.受到形式验证与数据库两方面应用需求的推动,面向无穷数据的形式模型已经成为理论计算机科学的研究热点之一.对面向无穷数据的形式模型(逻辑与自动机)进行了相对全面而详细的总结.主要按照不同自动机模型对无穷数据的处理方式加以组织,并关注相关判定问题,即:自动机的非空性问题、语言包含问题以及逻辑的可满足性问题的可判定性与复杂性.

关键词：无穷数据自动机逻辑非空性语言包含可满足性可判定性复杂性

来源：评论

学校读者我要写书评

暂无评论

互模拟准局部验证算法的扩展与实现

引用

软件学报 2018年第6期29卷 1517-1526页

作者：郑晓琳邓玉欣付辰雷国庆上海市高可信计算重点实验室(华东师范大学) 上海200062 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190

互模拟是并发系统分析和验证的一个重要概念.主要扩展了一种由Du和Deng提出的准局部算法,使其更加适用于一般的标记迁移系统.用Java实现扩展后的准局部算法与Fernandez和Mounier提出的局部算法.以VLTS为实验数据基准进行大量的实验,发... 详细信息

互模拟是并发系统分析和验证的一个重要概念.主要扩展了一种由Du和Deng提出的准局部算法,使其更加适用于一般的标记迁移系统.用Java实现扩展后的准局部算法与Fernandez和Mounier提出的局部算法.以VLTS为实验数据基准进行大量的实验,发现在大多数情况下,前者的性能比后者更好.同时,修改了算法使其能够验证模拟关系.最后,用Java实现对标记迁移系统进行转换,使算法同时可以验证弱互模拟关系.

关键词：互模拟标记迁移系统扩展

来源：评论

学校读者我要写书评

暂无评论

实时网络信息双重加密可逆隐藏算法仿真

引用

计算机仿真 2018年第9期35卷 195-198,262页

作者：张春柳熊琭陆凌晨上海计算机软件技术开发中心上海市计算机软件评测重点实验室上海201112

针对当前多数可逆信息隐藏算法难以抵御选择明(密)文攻击,含密信息的视觉效果差、嵌入容量小且耗时长等问题,提出基于混沌序列的实时网络信息双重加密可逆隐藏算法。运用两种置乱方式对网络信息进行双重加密,第一次加密采用混沌序列加... 详细信息

针对当前多数可逆信息隐藏算法难以抵御选择明(密)文攻击,含密信息的视觉效果差、嵌入容量小且耗时长等问题,提出基于混沌序列的实时网络信息双重加密可逆隐藏算法。运用两种置乱方式对网络信息进行双重加密,第一次加密采用混沌序列加密算法对网络信息位置进行全局置乱。第二次加密依据另一组混沌序列对目标像素值中0bit、1bit再次置乱,以保证能够防御选择明(密)文攻击。在信息双重加密域中,采用待嵌入信息构造伪像素用于替换目标像素,实现信息的快速嵌入。根据密钥计算从密文信息中直接提取已嵌入的信息。接收方对信息解密后,提取出目标像素的每个比特数据恢复出原始网络信息,实现双重加密下的可逆信息隐藏。实验结果表明,所提算法克服了当前算法难以抵御选择明(密)文攻击的缺陷,具有信息嵌入快速高效、容量大等优势。

关键词：实时网络信息双重加密可逆隐藏混沌序列加密算法

来源：评论

学校读者我要写书评

暂无评论

基于数据的自适应CPS软件结构模型设计方法

引用

华东理工大学学报（自然科学版） 2022年第6期48卷 841-848页

作者：许浩虞慧群华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112

信息物理系统(Cyber-Physical System,CPS)一般在动态环境中控制物理设备的运行,因此环境参数影响着CPS的结构和行为。提出了一种基于数据的自适应软件结构模型设计方法,该方法中CPS软件结构模型由单元模块通过层次化的组合构造而成。CP... 详细信息

信息物理系统(Cyber-Physical System,CPS)一般在动态环境中控制物理设备的运行,因此环境参数影响着CPS的结构和行为。提出了一种基于数据的自适应软件结构模型设计方法,该方法中CPS软件结构模型由单元模块通过层次化的组合构造而成。CPS的自适应演化通过面向方面建模方法实现,将环境因素的功能抽象成方面模型,通过对方面模型与基础模型进行编织得到综合的CPS模型。基于Petri网和时态逻辑的形式化方法为CPS模型提供了数学表达和分析手段。理论分析和实验结果表明,本文的设计方法具有可行性和高效性。

关键词：信息物理系统数据驱动软件结构自适应机制软件设计

来源：评论

学校读者我要写书评

暂无评论

面向制造业信息化的软件综合评价模型研究

引用

计算机应用与软件 2013年第6期30卷 97-100页

作者：宋俊典杨爽杨根兴李婷上海市计算机软件评测重点实验室上海201112 上海计算机软件技术开发中心上海201112 上海市软件行业协会上海200235

软件质量评价是软件质量保障研究的重要内容之一。当前软件质量评价的研究主要集中在通用模型的研究方面,普适性强但针对性差,不适用于某个特定领域或行业的软件质量评价。针对制造业信息化领域的应用需求,提出一种综合性的软件综合评... 详细信息

软件质量评价是软件质量保障研究的重要内容之一。当前软件质量评价的研究主要集中在通用模型的研究方面,普适性强但针对性差,不适用于某个特定领域或行业的软件质量评价。针对制造业信息化领域的应用需求,提出一种综合性的软件综合评价模型,系统地讨论基于该模型的软件质量综合评价方法和实现过程,并结合实际应用案例进行分析和验证。实验结果表明,该综合评价模型能有效地协助制造业企业在信息化实施时的软件评估和选型、软件评估活动的实施,从而指导面向领域应用的软件质量改进。

关键词：软件评价模型综合评估软件质量制造业信息化

来源：评论

学校读者我要写书评

暂无评论

基于Web的测试工具集成研究

引用

计算机应用与软件 2008年第9期25卷 73-75页

作者：黄燕张绍华秦辉丁志刚上海计算机软件技术开发中心上海201112 上海市计算机软件评测重点实验室上海201112

提出了一种新的测试工具网络化集成方案:在视图层、控制层、模型层、测试工具管理层和测试工具服务层五层结构框架上,运用数据封装技术、功能封装技术实现了对测试工具的封装集成。在对PolySpace、CodeTest等测试工具的集成中得到了应用... 详细信息

提出了一种新的测试工具网络化集成方案:在视图层、控制层、模型层、测试工具管理层和测试工具服务层五层结构框架上,运用数据封装技术、功能封装技术实现了对测试工具的封装集成。在对PolySpace、CodeTest等测试工具的集成中得到了应用,为工具提供了一种便捷的使用方式。

关键词：测试工具网络化集成封装

来源：评论

学校读者我要写书评

暂无评论

云数据安全保护方法综述

引用

计算机研究与发展 2021年第10期58卷 2079-2098页

作者：沈剑周天祺曹珍富南京信息工程大学计算机与软件学院南京210044 上海市高可信计算重点实验室(华东师范大学) 上海200062

计算机网络的快速发展与大数据的普及推动了云计算技术的进一步发展.云环境是网络与信息时代下数据交互的重要平台,为个人、企业和国家的数据高效交互提供了极大的便利,但同时也为云数据安全和隐私保护提出了新的挑战.首先给出了现有云... 详细信息

计算机网络的快速发展与大数据的普及推动了云计算技术的进一步发展.云环境是网络与信息时代下数据交互的重要平台,为个人、企业和国家的数据高效交互提供了极大的便利,但同时也为云数据安全和隐私保护提出了新的挑战.首先给出了现有云计算模型,调研和分析云数据安全保护中存在的威胁.在此基础上,从云数据安全的访问控制、密钥协商、安全审计和安全共享4个方面出发,对国内外云数据安全保护方案的最新研究成果进行系统分析.其次,针对现有云数据安全保护方案存在访问控制过程中用户隐私易被泄露、密钥生成过程中开销难以控制、审计过程中动态操作效率低下、错误恢复较难实现、数据共享过程中恶意用户难以追踪等问题,进行系统研究,提出解决思路.最后,探讨云数据安全保护当前面临的挑战和未来研究方向,以期推动更加完善的云数据保护体系的建立.

关键词：云数据安全访问控制密钥协商安全数据审计安全数据共享

来源：评论

学校读者我要写书评

暂无评论

基于聚类的响应时间分析方法

引用

计算机应用与软件 2012年第8期29卷 200-201,274页

作者：华悦姜旭刘振宇丁志刚上海计算机软件技术开发中心上海201112 上海市计算机软件评测重点实验室上海201112

随着互联网应用的迅速发展,互联网技术已经应用于各类专业领域,如医疗卫生应用领域等。使用第三方性能测试工具模拟多用户并发测量应用的性能已经得到绝大多数软件企业的认可。在使用第三方性能测试工具进行性能测试时,响应时间作为最... 详细信息

随着互联网应用的迅速发展,互联网技术已经应用于各类专业领域,如医疗卫生应用领域等。使用第三方性能测试工具模拟多用户并发测量应用的性能已经得到绝大多数软件企业的认可。在使用第三方性能测试工具进行性能测试时,响应时间作为最主要的衡量指标为开发者和用户提供了直观的参考数据。传统的第三方测试工具一般采用平衡值对响应时间进行分析,以PACS/MIIS系统中WEB方式打开影像为研究对象,研究了基于聚类的响应时间分析,提供了一种量化分析响应时间的方法。

关键词：性能测试响应时间聚类软件质量

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：