一种适用于构件系统的软件抗衰技术框架

近年来,软件抗衰技术已被证实是解决软件衰老问题的有效途径。本文针对构件系统特点,将Micro-Reboot思想引入到软件抗衰技术中,也即将单个构件作为抗衰技术中检测和措施的对象,一方面使得每个构件能够长时间保持在良好状态,从而提高整个体系的性能,另一方面引入Request—Retry机制,提高系统的可用性。本文基于J2EE构件模型开发出一种新的软件抗衰技术框架,相关理论已成果并在江苏省科技攻关项目“城域网海量视听信息实时点播系统”中应用。     

一种基于Agent适用于Web应用的软件抗衰方法*

“软件衰退”引起的计算系统失效是影响系统可靠性的一个重要方面,“软件抗衰”技术作为一种有效的预防、减缓软件衰退的手段已经日益引起人们的关注。介绍了软件抗衰技术,并针对Web应用的特点,提出了一种基于Agent的软件抗衰方法。实例表明,这种方法计算强度小、效率高,具有明显的优势。     

在构件的多个实现间动态选择的算法*

为了提高构件在处理多种类型请求时的效率,构件可以有多个不同的内部实现,每一个实现都是为一种特定类型的请求而优化的。提出了一种在构件的多个实现间动态选择的算法,算法尽可能地为每一种类型的请求挑选最优的实现,同时又尽量避免在不同的实现之间进行切换,从而使构件在处理一个请求序列时所花费的总开销尽可能少。     

可更新数据的数据完整性保护方法

数据收集是移动Agent的一类重要应用,在多个领域的移动Agent应用系统中涉及到数据收集。由于移动Agent可能受到恶意主机攻击,如何保证收集数据的完整性是一个重要的安全问题。文中在分析移动Agent 数据收集的安全性属性的基础上,提出了一个用于保证移动Agent在潜在恶意主机上访问时保护所收集数据的完整性安全协议。该协议能够实现数据的完整性验证与数据被收集的顺序无关,从而可以随机地访问主机,并且同一主机提交的数据可以自己更新,非常适合数据动态变化的应用系统。     

基于免疫机理的计算系统性能监控和评估

对于分布式高性能计算系统来说,模拟免疫机理实现计算系统的性能监控和评估是一个崭新的研究途径.分析和比较了免疫机理和计算系统抗衰之间的异同,构建了基于多Agent的系统抗衰逻辑模型,模拟免疫机理对计算系统的性能进行监控、诊断和建立性能衰退的数学模型,并在仿真实验中评价了性能监控对于所监控的计算节点的影响.在此基础上以一个音像资源事务处理系统为背景进行了应用研究,给出了一个两阶段超指数分布的数学模型来评估性能.仿真实验和应用研究的结果表明方法是有效可行的.     

一种带有delegation的对象演算

随着研究与应用的深入,传统的基于类的面向对象语言对动态变化要求的支持不足越来越明显。而且,由于软件系统复杂性的不断提高,这个问题变得更加突出。近年来,人们一直在进行着各种研究和尝试,寻求解决办法。delegation是一种在基于原型的面向对象语言中实现的对象动态继承,由于它支持对象行为在运行期动态改变,能提供对象动态扩展功能的能力,因此探讨如何在基于类的面向对象语言中引入delegation成分,以提供软件运行时刻的结构与行为变更能力,是十分有意义的。本文提出了一种命令式、带有delegation的西对象演算,以该演算系统刻划程序设计语言的基本特征;通过给出西演算的语法和操作语义;详细描述程序中各种操作的实现方法;着重说明在程序语言中引入delegation成分后,对象之间共享方法和对象扩展功能所具有的灵活性和简单性。从而说明在程序语言中引入delegation,以支持软件动态变更是一种有效且可行的途径。     

网格计算任务的资源管理算法

计算任务管理贯穿于整个网格计算的全生命周期,目标是运用既有规律又经济的方法对计算进行高效率的计划、组织、指导和控制,实现时间、费用和技术效果上的动态优化。该文对计算任务的资源管理进行研究,对资源管理指标进行形式化分析,对计算时耗、成本和资源平衡这3个目标进行综合决策,提出了一种网格计算任务的资源管理算法。仿真实验证明算法是可行有效的。     

基于模糊神经网络的移动组网拥塞预测

提出了一种适用于移动组网的拥塞控制机制（ACRC）。将模糊神经网络引入流量控制，利用其处理不确定性问题和自学习能力，进行流量预测，除了可以快速缓解拥塞，还可以在网络拥塞消除之后通过速率控制进一步节省网络的能量消耗，仿真结果证明了本方法的有效性。     

计算机科学与技术一级学科——面向21世纪系列教材一体化建设研究报告

1 引言自从计算机科学与技术学科专业教育诞生之日起,学术界就开始了长期的、连续的教材创作工作,陆续推出了各式各样的教材。在中国,伴随着高等学校学科专业教育的兴起,采用翻译、编译、编写、编著、引进、创作等多种形式,大量专业教材不断地进入这个领域。众所周知,无论是国内还是国外,长期以来学科专业教材的建设确实为培养一大批专业人才做出了巨大的贡献。然而,当人类进入21世纪,高等教育面临着学科不断深化和社会深刻变化带来的各种挑战时,如果我们怀着创新的冲动和理性的心态,带着冷峻的目光和挑剔的眼神审视高等学校学科专业办学现状和过去业已出版的大量教材,期望冲破高等学校学科专业教育现有的模式,通向自由、     

实现FP语言的实验模型FPM2

本文提出一个实现函数式程序设计语言FP的实验模型FPM2。FPM2是一种数据驱动的计算机,其结构有别于传统的Von Neumann式计算机,能较有效地执行FP语言程序。