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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于本体的P2P网络全局知识视图构造的研究

引用

计算机光盘软件与应用 2012年第19期15卷 6-8页

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

为了从语义层次上解决P2P资源匹配问题,本体论被引入,试图通过采用可扩展的信息建模工具使得网络资源发现系统能够高效、精确地发现P2P网络资源,同时获得良好的灵活性。然而当前采用的技术要求网络节点共享一个集中的网络资源本体,这种... 详细信息

为了从语义层次上解决P2P资源匹配问题,本体论被引入,试图通过采用可扩展的信息建模工具使得网络资源发现系统能够高效、精确地发现P2P网络资源,同时获得良好的灵活性。然而当前采用的技术要求网络节点共享一个集中的网络资源本体,这种技术不适合高度动态性和分散性的P2P网络。提出一种基于局部本体的P2P网络全局知识视图构建方法,提供了网络资源的全局描述,同时保持了对资源语义的揭示,这种方法不需要网络节点维护一个共享的集中的本体,可扩展性强,对资源的描述更灵活,更适合用于P2P网络资源匹配。

关键词：本体 P2P,本体映射知识视图

来源：评论

学校读者我要写书评

暂无评论

应用级分布式文件系统接口标准化探索

引用

信息技术与标准化 2012年第10期 28-32页

作者：陈文捷蔡立志楼志斌王洁萍李海波上海市计算机软件评测重点实验室上海科学院中国电子技术标准化研究院

回顾了分布式文件系统的发展,分析了已有标准和分布式文件系统的通用体系架构,从接口类型、数据操作接口、管理接口等方面对主流的分布式文件系统的应用接口的特点与异同进行比较,结果表明分布式文件系统的标准化研究是必要的和可行的。

关键词：文件系统分布式文件系统体系结构应用接口标准化

来源：评论

学校读者我要写书评

暂无评论

基于语义和思维导图的学习资源集成应用研究

基于语义和思维导图的学习资源集成应用研究

引用

第8届全国计算机支持的协同工作学术会议(CCSCW-2012)暨全国第23届计算机技术与应用学术会议(CACIS-2012)

作者：刘晓强樊抒洁于斌成黄雅萍杨根兴东华大学计算机科学与技术学院上海201620 上海市计算机软件评测重点实验室 201112

针对当前电子资源共享性较弱，集成困难的问题。本文研究了使用IEEE LOM标准元数据描述电子资源，通过建立领域本体模型，基于知识语义扩展搜索，基于思维导图进行资源管理和集成应用，并且开发了相关支持工具，实现了对资源的智能检索... 详细信息

针对当前电子资源共享性较弱，集成困难的问题。本文研究了使用IEEE LOM标准元数据描述电子资源，通过建立领域本体模型，基于知识语义扩展搜索，基于思维导图进行资源管理和集成应用，并且开发了相关支持工具，实现了对资源的智能检索、面向学习目标的集成和导航，提高了资源的重用性，为学习者提供适应性更强的学习资源包。

关键词：电子资源知识集成领域本体模型思维导图语义扩展搜索

来源：评论

学校读者我要写书评

暂无评论

确定性有限状态机的最小测试成本迁移覆盖准则

引用

软件学报 2011年第7期22卷 1457-1474页

作者：刘攀缪淮扣曾红卫梅佳上海大学计算机工程与科学学院上海200072 上海市计算机软件评测重点实验室上海201112

软件测试中的一个重要问题是测试成本和测试效率的平衡问题.依据程序中错误分布的2-8定律,将测试分为两个阶段,以解决该问题.第1阶段采用最小代价发现软件中的错误,第2阶段针对第1阶段中发现的错误补充设计测试用例,探测软件中潜在的错... 详细信息

软件测试中的一个重要问题是测试成本和测试效率的平衡问题.依据程序中错误分布的2-8定律,将测试分为两个阶段,以解决该问题.第1阶段采用最小代价发现软件中的错误,第2阶段针对第1阶段中发现的错误补充设计测试用例,探测软件中潜在的错误.重点是第1阶段的实现.依据确定性有限状态机和集合划分的理论,提出了确定性有限状态机的最小测试成本迁移覆盖准则,给出了最小测试成本迁移覆盖存在的充分和必要条件,设计了优化迁移覆盖和最小测试成本迁移覆盖的实现算法,并讨论了测试序列集合的有效性问题.在实验中,依据该方法不仅能够获得最小测试成本的测试用例集合,而且同样能够探测出确定性有限状态机中迁移上的错误.

关键词：最小测试成本迁移覆盖准则成本/效率的平衡确定性有限状态机迁移覆盖

来源：评论

学校读者我要写书评

暂无评论

威胁驱动的Web应用On-The-Fly导航模型验证方法

引用

应用科学学报 2011年第1期29卷 83-91页

作者：胡立立缪淮扣陈圣波梅佳高洪皓上海大学计算机工程与科学学院上海200072 上海市计算机软件评测重点实验室上海201112

以Web应用为代表的网络软件安全性受到业界的广泛关注,对具有复杂交互行为的Web应用安全性建模和验证是一个挑战.该文提出一种威胁驱动的Web应用On-the-Fly导航模型验证方法,采用威胁驱动方法从规格说明中设计和抽取用于性质检验的安全... 详细信息

以Web应用为代表的网络软件安全性受到业界的广泛关注,对具有复杂交互行为的Web应用安全性建模和验证是一个挑战.该文提出一种威胁驱动的Web应用On-the-Fly导航模型验证方法,采用威胁驱动方法从规格说明中设计和抽取用于性质检验的安全性质,利用模型检测工具NuSMV对建立的模型进行验证.实验结果表明该方法可以减少搜索空间并在一定程度上避免状态空间爆炸.

关键词： On-The-Fly验证 Web应用安全性

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：