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

计算机辅助设计与图形学学报 2007年第10期19卷 1252-1258页

作者：巩方喻文健严昌浩王泽毅清华大学计算机科学与技术系北京100084 复旦大学专用集成电路与系统国家重点实验室上海201203

基于混合边界元三维互连阻抗提取方法,针对其离散线性方程组的特点,提出有效的稀疏矩阵组织和矩阵行列调整技术,以及一种预条件迭代求解技术,这些技术结合起来形成了一种有效的三维互连阻抗提取算法.该算法在保证计算精度的同时,速度优... 详细信息

基于混合边界元三维互连阻抗提取方法,针对其离散线性方程组的特点,提出有效的稀疏矩阵组织和矩阵行列调整技术,以及一种预条件迭代求解技术,这些技术结合起来形成了一种有效的三维互连阻抗提取算法.该算法在保证计算精度的同时,速度优于MIT最新的提取算法FastImp.最后通过2个典型互连结构的数值实验验证了该算法的有效性.

关键词：边界元方法阻抗提取 FastImp 混合边界元方法广义极小残差算法预条件

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种基于网络测量的公平性保障机制

一种基于网络测量的公平性保障机制

引用

第三届和谐人机环境联合(第16届全国多媒体技术、第3届全国人机交互、第3届全国普适计算)学术会议

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

随着因特网接入用户数量的日益增长和网络数据流量的日益膨胀,如何保障实时和交互式应用中的服务质量(Quality of Service,QoS)越来越具有挑战性。网络公平性原本致力于解决TCP拥塞控制机制对于网络带宽的非均匀分配问题,本文提出了一... 详细信息

随着因特网接入用户数量的日益增长和网络数据流量的日益膨胀,如何保障实时和交互式应用中的服务质量(Quality of Service,QoS)越来越具有挑战性。网络公平性原本致力于解决TCP拥塞控制机制对于网络带宽的非均匀分配问题,本文提出了一种新的基于网络应用的公平性定义,指出了在实时性较强的网络业务当中,公平性调度对用户利益保障所起到的重要作用,分析了非主观因素对服务器端公平性判断的影响,进而给出了一个基于网络测量的服务器公平调度方法。论文通过一个实际的系统测试,初步验证了在C/S和P2P两种应用模型下本方法的可行性和有效性。

关键词：网络测量公平性调度保障机制

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：