- COTS软件系统及其包装器的研究
- 基于COTS的软件工程(COTS-Based Software Engineering)已成为当前的研究热点,国内对这一方面的研究很少,国外的研究很多,但基本上是处于经验性的(empirical)、实例性的(case study)、或者是模型(model)一级的研究.COTS(Commercial Off-The-Shelf)软件称为商用现成软件或现成软件,该文中把COTS软件的范围加以扩展,它包....
- 作者：范怀炜专业：计算机应用技术分类号：TP311.5导师：丁志强单位：昆明理工大学
- 软件测试中路径覆盖自动生成技术研究
- 软件测试是一门重要的、具有广泛应用的学科,随着应用系统的不同,软件的测试方法呈现多样性.软件测试是观察、记录和分析软件系统的动态行为过程,可从测试执行的信息显示中推断系统的性质,软件测试也是保证软件可靠性主要手段,其目的是发现软件错误,提高软件产品的质量.大量统计资料表明,软件测试的成本占软件开发总成本的40％以上.因此研究软件测试技术及工具尤为重要.该文首先阐述了软件测试方法及其工具的发展概况,....
- 作者：伦立军专业：计算机技术分类号：TP311.5导师：郭茂祖单位：哈尔滨工业大学
- 基于多DTD的XML查询技术研究
- 该文的主要研究结果有:1.基于多DTD的XML索引方法.为了提高XML路径查询的效率,人们致力于XML索引的建立.该文提出一种XML索引方法DBXI(DTD-Based XML Indexing),其中心思想是发掘DTD中隐含的结构信息,提高XML文档路径查询的效率.2.基于多DTD的XML查询方法的研究.为了实现对相关领域基于不同DTD的多类XML文档的统一查询.该文对"候选DTD定位"、"候选....
- 作者：路燕专业：计算机软件与理论分类号：TP311.5导师：朱三元单位：复旦大学
- Web搜索与Web缓存的若干关键问题研究
- 从互联网信息获取的角度来看,如何在互联网环境中有效地进行信息搜索就显得尤为重要了.主题萃取和主题发现是互联网信息搜索的两项关键技术.该文第一部分着重研究了利用互联网环境中超文本的链接结构信息改善和提高主题萃取和主题发现技术.在归纳和总结了链接结构分析应用于互联网信息搜索的现状的基础上,该文提出了一种基于相似度的链接结构分析模型,并在此基础上给出了纯粹基于链接结构分析的主题萃取和主题发现的算法.从互....
- 作者：王晓宇专业：计算机软件及理论分类号：TP311.5导师：周傲英单位：复旦大学
- XML文档的规范化问题研究
- XML(eXtensible Markup Language)作为一种Internet上的主要的数据表示和交换标准之一,应用范围非常广泛.但是由于XML文档的模式DTD在设计上存在不足之处,DTD中可能存在一些异常的数据依赖,从而导致XML文档包含冗余的数据而出现操作异常.该文研究了以DTD为模式的XML文档的规范化问题,主要研究内容包括如下三个方面:1.在这一部分,首先通过分析函数依赖的表现形式....
- 作者：吕腾专业：计算机软件与理论分类号：TP311.5导师：瞿兆荣单位：复旦大学
- 基于π演算的软件体系结构形式化研究
- 1.基于移动进程代数π演算,提出软件体系结构形式化描述语言πADL,形式化描述软件系统的结构和行为.提出端口组装和六种构件组装机制及相应的组装推导算法,以有效支持体系结构层次化配置.2.对动态体系结构进行研究,提出πADL描述动态体系结构的方法和相应的形式语义.该方法运用独立的π进程描述动态配置为并,并与系统的计算行为交互,能够描述动态体系结构的诸多要素,包括动态演化的起因、时间、操作、非瞬时特性....
- 作者：任洪敏专业：计算机软件与理论分类号：TP311.5导师：钱乐秋单位：复旦大学
- 嵌入式系统的硬/软件协同设计研究
- 嵌入式系统的设计自动化技术可以缩短系统的开发周期,降低开发费用,提高设计质量,使产品具有更强的市场竞争力.因此,它已经成为当前EDA领域的热点研究问题.目前,国内外许多大学、公司都有项目组在从事这项技术的研究工作.该文研究了嵌入式系统自动化设计技术中的一些问题,主要进行了以下4个方面的工作:1.介绍和分析了具有代表性的嵌入式系统设计自动化系统,如Cool、Cosyma、SpecSyn、Chinoo....
- 作者：程国达专业：计算机软件与理论分类号：TP311.5导师：彭澄廉单位：复旦大学
- Web上的多主体系统若干关键技术研究
- 随着Internet的迅猛发展,要求具有高度开放性特点的应用需求越来越大,因为Internet本身就可看作是高度开放的分布式计算环境.构造能够充分利用Internet潜力的软件一直是上个世纪90年代以来计算机界最重要的挑战之一.多主体系统具有作为Internet上主流分布式计算模式的极大潜力.但若要使潜力变成事实,一方面需要继续发展和完善多主体系统的一些关键技术,如通信、本体、内容语言、信息发展、....
- 作者：胡勤友专业：计算机软件和理论分类号：TP311.5导师：胡运发单位：复旦大学
- 移动计算环境中位置相关数据管理
- 论文首先定义了位置相关数据(LDD)和位置相关查询(LDQ).提出了一个基于SQL语言的位置相关查询语言LDSQL,它结合过去的空间查询语言,扩充了对位置相关数据的支持,能有效地处理位置相关查询.LDSQL增加了新的条件子句,包括限制对象查询范围的区域条件子句locObjRegion;限制连续查询有效范围的条件子句cQuyRegion,cQuyPeriod;设置连续查询的更新模式与阈值的cQuyM....
- 作者：陈良刚专业：计算机软件与理论分类号：TP311.5导师：施伯乐单位：复旦大学
- 主动队列管理若干问题的研究
- IP网络传统的尽力而为服务模型已经使Internet获得了巨大的成功,如果能对网络采用恰当的控制机制,这种服务模型仍然可以在将来支持广泛的应用类型.为了提高IP流的端到端的转发性能,在路由器上引入主动队列管理机制成为了必需.该文针对主动队列管理机制中的若干问题进行了深入的研究.不响应流和非TCP友好流妨碍了尽力而为服务网络的公平性,该文分析了现有的一些依流调度机制和依流丢弃机制,分析了它们各自的优....
- 作者：李旻专业：计算机软件与理论分类号：TP311.5导师：高传善单位：复旦大学
- 预测控制的线性方法、非线性方法和神经网络方
- 高层建筑结构分析的奇异函数方法
- 新型转式垃圾焚烧炉的设计和焚烧特性的研究
- 视网膜血管形态识别与血管管径量化的研究
- 含高浓酚、硫炼油碱洗废水治理技术的工程化研
- 斐波那契类准周期超晶格的光学及电子性质理论
- 加工-装配式生产系统组织与优化
- 图像、视频压缩编码方法以及网络实时视频监控
- 气体进入聚合物熔体时的界面形态与运动分析
- 微波辐射下壳聚糖的化学改性及其应用研究
- 混沌控制方法与同步技术的研究
- 永磁同步电动机混沌模型及其混沌现象分析与控
- 输电网络规划优化方法及其DSS的体系结构研
- 转基因鱼腥藻7120质粒稳定性研究及rhT
- 面向ITS的高速公路网交通分配与入口匝道控
- 混沌机理及其在通信中应用的研究
- 波控CO<,2>焊恒流等熔深智能控制的研究
- W-CDMA系统用户检测技术的研究
- 高性能丙烯聚氨酯涂料及其涂膜干燥模型的研究
- CO<,2>与聚合物熔体的两相流动力学
- 闽海系民居建筑与文化研究
- 新型脱丙酮型室温硫化硅橡胶的研究及其在耐热
- 新型电活性聚有机二硫化物的电化学
- 模糊神经网络与ATM交换结构的研究
- 双固相吸附剂及其液相色谱分离过程研究