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

计算机工程 2012年第16期38卷 52-56页

作者：孙茂华缪淮扣高洪皓上海大学计算机工程与科学学院上海200072 上海市计算机软件评测重点实验室上海201112

采用定理证明和逆向工程的方法,对Web应用中的数据库交互行为进行验证。使用Z规格说明描述需求模型,根据数据库交互的源代码和转换规则得到实现模型。从实现模型中获取Web应用的相关性质,通过Z/EVES定理证明器验证这些性质是否在需求模... 详细信息

采用定理证明和逆向工程的方法,对Web应用中的数据库交互行为进行验证。使用Z规格说明描述需求模型,根据数据库交互的源代码和转换规则得到实现模型。从实现模型中获取Web应用的相关性质,通过Z/EVES定理证明器验证这些性质是否在需求模型的Z规格说明中得到满足。在此基础上,设计该方法的验证框架,并开发相应的原型系统。通过图书馆数据库管理系统实例证明该方法的有效性。

关键词：形式验证 Z规格说明数据库交互逆向工程定理证明

来源：评论

学校读者我要写书评

暂无评论

基于HCPN的面向方面NVP建模与分析

引用

计算机工程 2012年第16期38卷 61-64页

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

为能够在软件开发早期检测设计故障,降低N版本编程(NVP)容错策略给系统带来的额外开销,提出一种基于层次着色Petri网(HCPN)的面向方面NVP建模方法,将NVP模块转化为方面子模块,并编织为可执行的HCPN。运用该建模方法对网络搜索实例建立... 详细信息

为能够在软件开发早期检测设计故障,降低N版本编程(NVP)容错策略给系统带来的额外开销,提出一种基于层次着色Petri网(HCPN)的面向方面NVP建模方法,将NVP模块转化为方面子模块,并编织为可执行的HCPN。运用该建模方法对网络搜索实例建立面向方面的NVP模型,结果验证了该NVP模型的正确性和有效性。

关键词： N版本编程容错面向方面的编程层次着色Petri网建模

来源：评论

学校读者我要写书评

暂无评论

基于新型路网模型的路径寻优方法研究

引用

电子学报 2012年第4期40卷 756-761页

作者：曹政才韩丁富乔非北京化工大学信息科学与技术学院北京100029 南京大学计算机软件新技术国家重点实验室江苏南京210093 同济大学CIMS研究中心上海200092

针对传统路网模型描述交通信息节点多、数据冗余及结构稳定性差的问题,本文从实际交通路网本身的特点和人类对路网的认识出发,构建以"道路"为基本元素的路网模型.该模型详细描述道路的空间属性和交通属性,并利用道路间的相交... 详细信息

针对传统路网模型描述交通信息节点多、数据冗余及结构稳定性差的问题,本文从实际交通路网本身的特点和人类对路网的认识出发,构建以"道路"为基本元素的路网模型.该模型详细描述道路的空间属性和交通属性,并利用道路间的相交关系描述交通路网.在尝试减少模型数据量、简化模型结构的基础上,采用改进A*算法进行路径搜索.实例表明,所提出的模型及路径搜索算法可以满足实际应用的需要,并且在存储开销和搜索算法效率上具有一定的优势.

关键词：智能交通系统路网模型改进A＊搜索算法

来源：评论

学校读者我要写书评

暂无评论

基于用户访问模式的性能测试模型探讨

引用

软件产业与工程 2012年第1期 41-44页

作者：张超姜旭刘振宇上海市计算机软件评测重点实验室(SSTL) 上海201112

本文阐述了现阶段性能测试指标确定存在的难点与局限性,分析了常用的多种用户访问模式,探讨了用户访问量、系统可扩展性。带宽占用等客户需求转化为性能测试指标的计算方法。

关键词：用户访问模式性能测试性能指标公式指标估算测试模型

来源：评论

学校读者我要写书评

暂无评论

基于Z规格说明的可复用测试用例形式化描述

引用

计算机工程 2012年第16期38卷 44-48页

作者：张娟童维勤蔡立志上海大学计算机工程与科学学院上海200047 江西财经大学南昌330013 上海市计算机软件评测重点实验室上海200235

可复用的、统一的描述规范是测试用例复用的前提条件,能够为测试用例的共享提供良好的复用机制。为此,遵循测试用例最小粒度划分的原则,针对基于Z规格说明的软件测试,提出测试项、测试用例、测试用例套、测试用例库等概念,并给出这些概... 详细信息

可复用的、统一的描述规范是测试用例复用的前提条件,能够为测试用例的共享提供良好的复用机制。为此,遵循测试用例最小粒度划分的原则,针对基于Z规格说明的软件测试,提出测试项、测试用例、测试用例套、测试用例库等概念,并给出这些概念的形式化定义。通过Z规格说明对可复用测试用例库进行描述,保证该用例库的描述准确和无二义性。应用结果证明,该方法能提高测试用例的可复用性。

关键词：测试用例库测试用例套测试项形式化描述 Z规格说明软件测试

来源：评论

学校读者我要写书评

暂无评论

不确定时间序列的规约方法

引用

计算机工程 2012年第21期38卷 33-35页

作者：吴红花刘国华东华大学计算机科学与技术学院上海201620 南京大学计算机软件新技术国家重点实验室南京210093

为提高不确定时间序列的查询效率,在对不确定时间序列数据集进行建模的基础上,提出由不确定时间序列向确定时间序列的3种规约方法,分别为概率最大法、混合规约法和均值法,并给出具体的规约过程。实验结果表明,上述3种规约方法能减少时... 详细信息

为提高不确定时间序列的查询效率,在对不确定时间序列数据集进行建模的基础上,提出由不确定时间序列向确定时间序列的3种规约方法,分别为概率最大法、混合规约法和均值法,并给出具体的规约过程。实验结果表明,上述3种规约方法能减少时间序列的不确定性,为其相似性匹配、搜索和查询操作提供依据。

关键词：不确定时间序列查询复杂度概率最大法均值法规约方法

来源：评论

学校读者我要写书评

暂无评论

最大熵矢量量化及其在TMS320DM642上的实现

引用

数据采集与处理 2012年第6期27卷 639-645页

作者：汪全全王靖琰李勇平中国科学院上海应用物理研究所上海201800 复旦大学上海市智能信息处理重点实验室上海200433 阿卜杜拉国王科技大学计算机电气与数学科学工程系图瓦沙特阿拉伯239556900 南京大学计算机软件新技术国家重点实验室南京210093 湖南师范大学高性能计算与随机信息处理教育部重点实验室长沙410012

为了克服传统的矢量量化方法存在的信息损失量大及二次规划(Quadratic pragramming,QP)量化方法计算复杂度大等缺点,提出了一种新的量化方法——最大熵量化。这种量化方法一方面能将量化权值的熵最大化,从而确保在没有先验知识的情况下... 详细信息

为了克服传统的矢量量化方法存在的信息损失量大及二次规划(Quadratic pragramming,QP)量化方法计算复杂度大等缺点,提出了一种新的量化方法——最大熵量化。这种量化方法一方面能将量化权值的熵最大化,从而确保在没有先验知识的情况下不会造成太多量化误差;另一方面则考虑了矢量集合在时间空间上的分布关系。本文在TMS320DM642处理器上实现了这种算法,并进行了一系列的算法和程序层的优化。在基于图像的目标识别应用中的实验证明,最大熵矢量量化算法及其在TMS320DM642上的实现,不仅能提高识别的性能,而且能满足实时性的要求。

关键词：矢量量化最大熵 QP量化 0-1量化目标函数

来源：评论

学校读者我要写书评

暂无评论

层次结构文档下支持权限管理的实时协同技术研究

引用

计算机应用研究 2012年第5期29卷 1690-1694页

作者：高丽萍陈庆奎卢暾高丽丽上海理工大学光电信息与计算机工程学院上海200093 上海市计算机软件评测重点实验室上海201114 复旦大学计算机科学技术学院上海200433 潍坊学院幼教特教师范学院山东潍坊261021

针对传统实时协同系统中各站点之间无约束操作的缺点,提出采用权限分工的方式来支持不同团队之间的文档管理。给出了支持权限管理的层次结构文档的形式化定义,描述了用户角色设置过程,定义了权限及权限操作格式,讨论了站点ID的设置及初... 详细信息

针对传统实时协同系统中各站点之间无约束操作的缺点,提出采用权限分工的方式来支持不同团队之间的文档管理。给出了支持权限管理的层次结构文档的形式化定义,描述了用户角色设置过程,定义了权限及权限操作格式,讨论了站点ID的设置及初始化过程,并提出采用改进的地址空间转换算法来保证权限操作在各分布式站点的正确执行。分析了改进算法的效率提升,并通过其在Co-AutoCAD中的应用证实了策略的有效性。

关键词：协同设计权限管理实时协同层次结构文档地址空间转换

来源：评论

学校读者我要写书评

暂无评论

远程教育系统中分布式数据库设计研究

引用

环球市场信息导报 2012年第42期 51-52页

作者：张波姜旭上海金融学院上海市计算机软件评测重点实验室

通过Oracle平台,可以为远程教育系统的数据传输和业务处理提供最根本的途径.在本文中,通过对远程教育系统中所使用的分布式的数据库设计方法和技术进行研究,实现了对远程教育系统中数据库内容的更新和远程共享.在对分布式数据库研究的... 详细信息

通过Oracle平台,可以为远程教育系统的数据传输和业务处理提供最根本的途径.在本文中,通过对远程教育系统中所使用的分布式的数据库设计方法和技术进行研究,实现了对远程教育系统中数据库内容的更新和远程共享.在对分布式数据库研究的基础上,对其中所采用的体系架构和一些关键技术进行深入讨论,这些关键技术主要包括:远程数据库系统的分布策略、高级复制、数据链接和整个系统的数据安全和恢复技术等.

关键词：远程教育系统分布式数据库 Oracle

来源：评论

学校读者我要写书评

暂无评论

软件功能性比对测试方法研究及应用

引用

软件产业与工程 2012年第1期 32-36页

作者：谢晓燕杨根兴蔡立志上海交通大学软件学院上海200240 上海市计算机软件评测重点实验室(SSTL) 上海201112

软件产品质量评价与测试是保障软件产品质量的方式之一。实际工作中,常常需要对多个软件产品进行质量比对,确保获得相对最好的软件产品。随着软件的产品化和软件开发的产业化,软件比对测试逐渐成为产品选型及市场推广的重要工作环节,软... 详细信息

软件产品质量评价与测试是保障软件产品质量的方式之一。实际工作中,常常需要对多个软件产品进行质量比对,确保获得相对最好的软件产品。随着软件的产品化和软件开发的产业化,软件比对测试逐渐成为产品选型及市场推广的重要工作环节,软件功能性的比对测试也成为客户进行商品化软件选型时的重要依据。本文在GB/T16260系列标准的基础上,提出了软件功能性比对测试的方法,并在实际项目中进行了应用与验证。

关键词：软件比对测试软件基准测试测试用例复用软件度量

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：