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

EDI-XML通用数据转换构件系统的设计与实现

引用

计算机科学 2007年第12期34卷 129-131,160页

作者：任洪敏钱乐秋蔡国钧上海海事大学计算机系上海200135 复旦大学计算机科学系软件工程实验室上海200433

本文分析了基于EDI和XML技术的电子商务系统应用集成问题,描述了一个EDI-XML通用数据转换构件系统的设计原则和软件架构,论述了该架构方案中EDI-XML数据模式的定义机制,提出了一个EDI-XML通用数据转换的实现算法。

关键词： EDI XML 企业应用集成构件系统

来源：评论

学校读者我要写书评

暂无评论

步态识别的特征提取综述

引用

计算机研究与发展 2007年第z2期44卷 361-365页

作者：陈昌由张军平复旦大学计算机科学与工程系上海200433 上海市智能信息处理重点实验室上海200433

随着国内外对社会安全和反恐的日益重视,生物认证技术开始受到越来越多的重视.其中,在远程监控中具有明显优势的步态识别日益得到关注.然而,由于步态识别存在诸多的困难,在现阶段仍未形成实用性的方法和理论框架,主要的难点表现在特征... 详细信息

随着国内外对社会安全和反恐的日益重视,生物认证技术开始受到越来越多的重视.其中,在远程监控中具有明显优势的步态识别日益得到关注.然而,由于步态识别存在诸多的困难,在现阶段仍未形成实用性的方法和理论框架,主要的难点表现在特征提取上.从特征提取方面着手综述了已有的工作,总结了各个方法的优缺点,并探讨了潜在的问题和改进.

关键词：步态识别特征抽取分类

来源：评论

学校读者我要写书评

暂无评论

基于端系统的视频流组播速率控制方法

引用

计算机应用与软件 2007年第6期24卷 49-52页

作者：李飞杨林军王新薛向阳复旦大学计算机科学与工程系上海200433 上海市智能信息处理重点实验室上海200433

针对目前Internet未对多媒体应用提供QoS保障的问题,分析了视频流组播的难点,提出了一种基于缓冲区管理的网络自适应组播发送速率控制方法。该机制可以合理控制服务器的发送速率,既能自适应网络状况的变化,又满足流媒体实时播放的需求... 详细信息

针对目前Internet未对多媒体应用提供QoS保障的问题,分析了视频流组播的难点,提出了一种基于缓冲区管理的网络自适应组播发送速率控制方法。该机制可以合理控制服务器的发送速率,既能自适应网络状况的变化,又满足流媒体实时播放的需求。实验结果表明,该机制通过控制发送缓冲区占有率,降低了分组丢包率,提高了终端的接收质量,具有良好的实用价值。

关键词：视频组播发送速率控制端系统

来源：评论

学校读者我要写书评

暂无评论

软件工程实验教学研究与实践

引用

计算机教育 2007年第10X期 15-17,28页

作者：彭鑫赵文耘钱乐秋复旦大学计算机科学与工程系软件工程实验室

本文根据学生的知识和能力基础以及教学目标，认为软件工程课程实验可以按照由浅入深的顺序分为认知性导入实验、方法性实验和综合实践三个阶段。这种三阶段的软件工程实验教学方法为学生提供了一条从编程到软件项目开发的渐进式发展之... 详细信息

本文根据学生的知识和能力基础以及教学目标，认为软件工程课程实验可以按照由浅入深的顺序分为认知性导入实验、方法性实验和综合实践三个阶段。这种三阶段的软件工程实验教学方法为学生提供了一条从编程到软件项目开发的渐进式发展之路，并已在复旦大学软件工程相关课程教学中得到了成功应用。

关键词：软件工程实验软件开发实践

来源：评论

学校读者我要写书评

暂无评论

XML数据库模式中的数据依赖、结构冗余和不规则

XML数据库模式中的数据依赖、结构冗余和不规则

引用

第二十四届中国数据库学术会议

作者：黄鋆吴永辉中国科学院计算机科学重点实验室复旦大学计算机科学与工程系

XML数据库模式规范化设计是产生一组相关联的、能表示数据间依赖关系、而且消除了冗余的XML模式或DTD,其目的是为了互联网上的信息检索能够避免异常.XML数据库模式中某些数据依赖的存在是冗余存在的原因,因此在XML数据库模式中数据依赖... 详细信息

XML数据库模式规范化设计是产生一组相关联的、能表示数据间依赖关系、而且消除了冗余的XML模式或DTD,其目的是为了互联网上的信息检索能够避免异常.XML数据库模式中某些数据依赖的存在是冗余存在的原因,因此在XML数据库模式中数据依赖与冗余的关联是其规范化设计研究的关键问题.XML数据库模式的数据依赖包括属性间数据依赖和元素间的数据依赖,与之关联的结构冗余和不规则是指在XML模式的结构上存在冗余和不规则的情况.给出综合了属性间和元素间数据依赖的XML数据库模式数据依赖的定义,分析与之关联的结构冗余以及不规则的情况,基于此定义消除结构冗余和不规则的规范的XML模式森林作为范式,给出并验证其规范化设计算法.

关键词： XML数据库模式规范化设计 XML模式树数据依赖结构冗余不规则标识符

来源：评论

学校读者我要写书评

暂无评论

基于本体的构件过程描述和检索

基于本体的构件过程描述和检索

引用

2007全国软件及其应用学术会议

作者：杨涛彭鑫赵文耘复旦大学计算机科学与工程系软件工程实验室上海 200433

基于构件的软件开发已经成为软件工程研究领域和软件开发实践过程中越来越重要的内容。在构件进行描述和检索的过程中,检索主要的依据是基于构件IOPE进行的。本文作者基于现有的基于本体的构件描述和检索研究基础,结合时序逻辑的相关理... 详细信息

基于构件的软件开发已经成为软件工程研究领域和软件开发实践过程中越来越重要的内容。在构件进行描述和检索的过程中,检索主要的依据是基于构件IOPE进行的。本文作者基于现有的基于本体的构件描述和检索研究基础,结合时序逻辑的相关理论,提出了一种使用时序逻辑的描述和验证框架,来对基于本体的构件描述进行检索结果的过程属性进行精化和验证。该方法可以有效地解决目前构件的描述和检索过程中构件的过程信息的验证问题,提高构件检索结果的精准度和质量,为基于构件的软件开发和软件重用提供帮助。

关键词：软件开发构件过程描述时序逻辑构件检索

来源：评论

学校读者我要写书评

暂无评论

一种基于动态AOP的动态体系结构实现技术

一种基于动态AOP的动态体系结构实现技术

引用

2007全国软件及其应用学术会议

作者：张夏彭鑫赵文耘复旦大学计算机科学与工程系软件工程实验室上海 200433

体系结构的运行时动态演化已经成为许多软件系统的根本需求,而支持动态体系结构的运行平台和实现框架是其中的关键问题。本文在课题组前期开发的基于Java的请求/调用式构件组装工具BSAppBuilder基础上,借助动态AOP技术,提出了一种基于AO... 详细信息

体系结构的运行时动态演化已经成为许多软件系统的根本需求,而支持动态体系结构的运行平台和实现框架是其中的关键问题。本文在课题组前期开发的基于Java的请求/调用式构件组装工具BSAppBuilder基础上,借助动态AOP技术,提出了一种基于AOP的动态体系结构实现方法。该方法包括了进行运行环境监控的传感器以及执行演化控制的控制中心。在演化实现机制上,该方法利用Aspect的动态织入技术实现构件间连接关系的动态改变。本文还通过一个针对系统运行负载监控的动态演化实例展示了该方法的有效性。

关键词：动态体系结构软件开发 AOP 在线演化

来源：评论

学校读者我要写书评

暂无评论

一种新型的P2P信息检索系统性能评估方法

引用

电脑知识与技术（过刊） 2007年第16期14卷 927-928页

作者：洪道诚上海市智能信息处理重点实验室复旦大学计算机科学与工程系

对等计算作为学术界和工业界的关注焦点,其在实践中的重要应用主要是信息资源共享.但随着对等计算信息检索系统的广泛应用,如何对其进行客观公正的评价,确定有效、实用的评估标准已迫在眉睫.于是,在以上趋势背景下,文章经过详细研究分... 详细信息

对等计算作为学术界和工业界的关注焦点,其在实践中的重要应用主要是信息资源共享.但随着对等计算信息检索系统的广泛应用,如何对其进行客观公正的评价,确定有效、实用的评估标准已迫在眉睫.于是,在以上趋势背景下,文章经过详细研究分析对等计算的信息共享系统后,指出目前P2P信息检索系统面临的实现机制和关键技术问题.之后,经过认真总结和分析,勾勒出评价系统性能的四项指标体系,提出系统性能评估的CTL定律,这对P2P信息检索系统的评价和开发将具有实际指导意义.同时,在此基础上确定今后对等计算信息检索系统研究工作的重点--关键技术及其相应策略.

关键词：信息检索对等计算性能评估

来源：评论

学校读者我要写书评

暂无评论

基于线性时序逻辑的动态软件体系结构模型验证

基于线性时序逻辑的动态软件体系结构模型验证

引用

2007全国软件及其应用学术会议

作者：唐姗彭鑫赵文耘刘奕明复旦大学计算机科学与工程系软件工程实验室上海 200433

如何有效地保证软件体系结构能够正确地进行动态演化是目前软件工程领域中一个亟待解决的问题。模型验证是一种关于系统性质验证的算法方法,它通常采用状态空间搜索的方法来检查一个给定的计算模型是否满足用某个时序逻辑公式描述的特... 详细信息

如何有效地保证软件体系结构能够正确地进行动态演化是目前软件工程领域中一个亟待解决的问题。模型验证是一种关于系统性质验证的算法方法,它通常采用状态空间搜索的方法来检查一个给定的计算模型是否满足用某个时序逻辑公式描述的特定性质。模型验证的复杂性主要依赖于系统状态空间大小,所以模型验证方法所面临的最大问题是状态空间爆炸和内存不足。针对大规模动态软件体系结构模型验证方法的不足,本文提出了一种基于线性时序逻辑的模块化模型验证方法,从系统组成模块和整体系统两个不同层次探讨了验证动态软件体系结构的方法,给出了相应的实现算法,并结合实例说明了本方法的实用性。

关键词：动态软件体系结构模型验证线性时序逻辑自动机

来源：评论

学校读者我要写书评

暂无评论

协作策略驱动的构件组合行为提取

协作策略驱动的构件组合行为提取

引用

2007全国软件及其应用学术会议

作者：刘奕明彭鑫赵文耘唐姗复旦大学计算机科学与工程系软件工程实验室上海 200433

构件组合系统的行为通过构件之间的交互来体现。而构件交互遵循的协作策略往往决定组合系统所具有的性质,如安全性,活性和公平性等。因此,如何从构件交互中提取遵循特定构件交互策略的构件组合行为,从而使系统具有某种良好性质就成为了... 详细信息

构件组合系统的行为通过构件之间的交互来体现。而构件交互遵循的协作策略往往决定组合系统所具有的性质,如安全性,活性和公平性等。因此,如何从构件交互中提取遵循特定构件交互策略的构件组合行为,从而使系统具有某种良好性质就成为了一个亟待解决的问题。在使用接口自动机网络建模构件组合系统和线性时序逻辑描述构件协作策略的基础上,本文提出了一种策略满足的构件组合行为提取方法。该方法首先将用户指定构件协作策略强加于组合系统的行为模型之上,然后从结果模型中提取可接受执行路径;最后,基于提取行为构造协作环境,驱动构件以一种无死锁、协作策略满足的方式一同工作,从而使组合系统具有良好的属性。为了说明方法的正确性和有效性,我们给出了一个实例证明。

关键词：软件开发构件组合系统行为提取接口自动机

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：