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

华东理工大学学报（自然科学版） 2013年第5期39卷 596-600页

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

随着无线传感器网络的应用与发展,WSN作为一种全新的信息获取和处理技术已得到广泛应用。如何对传感器网络节点进行快速、精确的定位,已成为WSN系统急需解决的问题。为此,提出了一种基于RSSI距离比的MDS定位算法。该算法巧用RSSI距离比... 详细信息

随着无线传感器网络的应用与发展,WSN作为一种全新的信息获取和处理技术已得到广泛应用。如何对传感器网络节点进行快速、精确的定位,已成为WSN系统急需解决的问题。为此,提出了一种基于RSSI距离比的MDS定位算法。该算法巧用RSSI距离比,结合Euclidean测距技术计算节点间距离矩阵,运用MDS算法建立相应的全局坐标系统。根据已知锚节点物理位置,通过坐标变换(旋转与平移)最终确定未知节点的物理位置。实验结果表明:该方法能有效地提高定位的精度,对开发高精度定位系统具有重要的参考价值。

关键词： MDS RSSI测距 Euclidean 传感器节点定位

来源：评论

学校读者我要写书评

暂无评论

分布式云存储高可用框架研究

引用

计算机与数字工程 2014年第1期42卷 76-80,144页

作者：李东辉沈丽菁方方潘晨灵朱广新叶保留南京南瑞集团公司信息系统集成分公司南京210000 上海市电力公司信息通信公司上海200122 南京大学计算机软件新技术国家重点实验室南京210049

近年来,分布式云存储为非结构化数据的存储、处理提供了高效、廉价的解决方案,但随着业务系统对系统可用性要求的不断提高,对分布式云存储高可用框架的研究具有重要的理论价值和广阔的应用前景。论文综合分析了分布式云存储的基本理论,... 详细信息

近年来,分布式云存储为非结构化数据的存储、处理提供了高效、廉价的解决方案,但随着业务系统对系统可用性要求的不断提高,对分布式云存储高可用框架的研究具有重要的理论价值和广阔的应用前景。论文综合分析了分布式云存储的基本理论,提出了针对智能电网设计的分布式云存储高可用框架,该框架采用双活主节点以及多服务心跳监测算法,保障在高并发读写文件操作下分布式云存储的高可用性。实验结果表明,该框架能够有效应对任意节点失效产生的系统故障。

关键词：云存储智能电网高可用框架分布式计算

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

Stored-XSS漏洞检测的研究与设计

引用

计算机应用与软件 2013年第3期30卷 17-21页

作者：李冰赵逢禹上海理工大学光电信息与计算机工程学院上海200093 上海计算机软件技术开发中心上海市计算机软件评测重点实验室上海201112

跨站脚本XSS(Cross Site Scripting)漏洞已经成为了大多数网站共同面对的Web安全问题,对XSS漏洞的有效预防检测有利于提高Web安全。分析XSS漏洞的攻击原理,指出现有动态分析方法在检测存储型XSS漏洞方面的不足,提出一种有效的存储型漏... 详细信息

跨站脚本XSS(Cross Site Scripting)漏洞已经成为了大多数网站共同面对的Web安全问题,对XSS漏洞的有效预防检测有利于提高Web安全。分析XSS漏洞的攻击原理,指出现有动态分析方法在检测存储型XSS漏洞方面的不足,提出一种有效的存储型漏洞动态检测方法。设计并实现了Stored-XSS漏洞动态检测模型,并在实际的场景下对该模型进行了测试评估,实验证明提出的方法能对存储型XSS漏洞进行有效检测。

关键词： XSS漏洞 Web安全存储型XSS漏洞动态检测

来源：评论

学校读者我要写书评

暂无评论

支持团队分工的实时协同一致性维护技术研究

引用

小型微型计算机系统 2013年第1期34卷 34-40页

作者：高丽萍陈庆奎姚一成上海理工大学光电信息与计算机工程学院上海200093 上海计算机软件技术开发中心上海市计算机软件评测重点实验室上海201112 百度中国有限公司上海201203

团队分工是现代企业提升工作效率及竞争力的重要手段.实时协同采用全复制式架构虽然提高了并发度,减少了响应时间,但由于其无法提供对团队分工协作的支持,导致不同团队成员之间操作互相干扰,一致性维护复杂度高.本文提出采用分治策略,... 详细信息

团队分工是现代企业提升工作效率及竞争力的重要手段.实时协同采用全复制式架构虽然提高了并发度,减少了响应时间,但由于其无法提供对团队分工协作的支持,导致不同团队成员之间操作互相干扰,一致性维护复杂度高.本文提出采用分治策略,将文档按照不同团队的编辑请求划分为互不相交的任务区域,并通过修正本地操作执行广播过程及远程操作获取执行过程来支持各子文档的一致性.任务完成后,通过文档合并算法从分文档得到整体一致的共享文档.本文描述分治策略的工作流程,通过正确性证明及效率分析验证了策略的有效性,并通过具体应用分析了系统的工作过程.

关键词：团队分工实时协同一致性维护分治策略

来源：评论

学校读者我要写书评

暂无评论

CITECT在采油机效率测试系统中的应用

引用

上海理工大学学报 2013年第4期35卷 373-376页

作者：王山山邬春学高丽萍卜飞飞上海理工大学光电信息与计算机工程学院上海200093 上海理工大学上海市计算机软件评测重点实验室上海200093

为提高采油机的采油效率,通过对采油机运行过程及油田工作流程的分析,提出一套基于PLC(可编程逻辑控制器)控制网络和工控组态软件(CITECT)的油田采油机效率测试设计方案.该方案根据采油机运行各环节的特点,实现采油机运行过程的数据监控... 详细信息

为提高采油机的采油效率,通过对采油机运行过程及油田工作流程的分析,提出一套基于PLC(可编程逻辑控制器)控制网络和工控组态软件(CITECT)的油田采油机效率测试设计方案.该方案根据采油机运行各环节的特点,实现采油机运行过程的数据监控,并完成数据的处理、系统报警、数据存储、报表的制作等功能.现场实施运行证明系统操作方便,具有优良的人机界面及较高的可靠性.数据的处理结果可以很好地反映采油机各环节的工作状况,工作人员可以方便地根据结果设置采油机工作的最佳配置.

关键词： CITECT SCADA 采油机效率测试

来源：评论

学校读者我要写书评

暂无评论

软件动态正确性的形式化描述

引用

计算机研究与发展 2013年第3期50卷 626-635页

作者：马艳芳张敏陈仪香淮北师范大学计算机科学与技术学院安徽淮北235000 上海市高可信计算重点实验室(华东师范大学软件学院) 上海200062

软件正确性是一个逐渐改进的过程.通过不断地修改,软件越来越接近于正确.同时软件的执行依赖于环境.为了刻画软件的动态正确性并考虑环境的因素,以参数化互模拟为基础,利用极限的观点,建立软件动态正确性的形式化描述.首先建立参数化互... 详细信息

软件正确性是一个逐渐改进的过程.通过不断地修改,软件越来越接近于正确.同时软件的执行依赖于环境.为了刻画软件的动态正确性并考虑环境的因素,以参数化互模拟为基础,利用极限的观点,建立软件动态正确性的形式化描述.首先建立参数化互模拟的无限演化理论,给出参数化极限互模拟的定义,并给出几个特殊的参数化极限互模拟实例.其次,建立参数化互模拟极限,给出参数化互模拟极限的规约刻画.最后,证明参数化互模拟极限的唯一性、与参数化互模拟的相容性等代数性质.

关键词：软件正确性参数化互模拟形式化极限拓扑

来源：评论

学校读者我要写书评

暂无评论

大数据来临,软件测试准备好了吗

引用

软件产业与工程 2013年第5期 15-17页

作者：蔡立志上海市计算机软件评测重点实验室上海201112

大数据引发了新一轮技术发展的新浪潮,同时也给软件质量和测试带来了新的挑战。本文分析了大数据的发展趋势及其引发的软件特征和形态的变化,并分析了在大数据背景下软件测试遇到的挑战。

关键词：大数据软件测试挑战

来源：评论

学校读者我要写书评

暂无评论

对电子档案系统信息安全等级体系建设的研究

引用

网络安全技术与应用 2013年第9期 98-99页

作者：邬斌亮熊琭上海市计算机软件评测重点实验室上海200000

电子档案作为国家信息化战略的重要组成部分,其信息安全保障事关经济发展、社会稳定、公众利益、国家安全和社会主义精神文明建设,其自身的安全问题也随着科技的进步变得更加突出、严重。认识电子档案系统信息安全的威胁,把握系统安全... 详细信息

电子档案作为国家信息化战略的重要组成部分,其信息安全保障事关经济发展、社会稳定、公众利益、国家安全和社会主义精神文明建设,其自身的安全问题也随着科技的进步变得更加突出、严重。认识电子档案系统信息安全的威胁,把握系统安全的影响因素和要求,对保证电子档案的有效运行具有重要意义。本文分析了建立电子档案安全体系的必要性、目前电子档案安全体系存在的问题、电子档案信息安全管理体系的构建、完善电子档案系统信息安全等级保护体系的对策。

关键词：电子档案信息安全等级保护风险评估

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：