一种新的具适应性的程序结构

TRAP/J结构可以将可适应性透明地加入已有的应用程序中,不用修改应用程序源代码和虚拟机。该文提出一种新的具适应性的结构,采用包装类和AspectJ获得对原类的封装和替代,使用抽象类代表原类,避免了原结构反射的使用。实验表明,与TRAP/J相比,用该结构构成的程序在单机环境中执行速度更快,但是在网络环境下两者相当。     

An Inplementation of Pure Horn Clause Logic Programming in a Reduction System

Many reduction systems have been presented for implementing functional programming languages.We propose here an extension of a reduction architecture to realize a kind of logic programming-pure Horn clause logic programming.This is an attempt to approach amalgamation of the two important programming paradigms.     

异构Web服务器集群的自适应成比例延时差异服务模型

随着Internet的迅速发展,Web服务在满足数量巨大而日益增长的社会需求中所起的作用越来越大,应用对Web服务器提出了更高的QoS(Quality of Service,服务质量)要求,特别是,要求其处理数量不断变更的用户访问,它们提出大量并发请求,并具有不同的QoS需求等.如何提高Web服务器QoS性能指标已成为当今研究的一大热点问题.本文提出一种成比例延时差异服务的异构Web服务器集群模型,该模型采用 : 队列模型刻划集群中各结点请求队列的请求到达和服务过程;在此基础上,提出两种基于反馈控制机制的请求派发自适应修正算法,每种算法均实现了相应的请求选择和派发策略.实验数据表明,本文所提出模型是适用于异构Web服务器集群的,两种请求派发自适应修正算法均能使异构Web服务器集群获得较好的服务质量(QoS)性能,具有较好的理论价值和应用前景.     

基于CORBA安全服务的角色访问控制

在详细讨论基于角色访问控制概念及模型的基础上,探讨了CORBA安全服务如何支持基于角色的访问控制模型。结果表明这种控制模型可以减轻应用级的负担。     

基于角色的存取控制及其实现

基于角色的存取控制ＲＢＡＣ是一种新的存取控制策略,它从组织视图角度进行管理, 活表达组织的安全政策。首先分析了ＲＢＡＣ的基本概念和ＮＩＳＴ的ＲＢＡＣ模型,然后给出在企业管理信息系统中采用面向对象技术实现ＲＢＡＣ的过程,运行方式及系统评价,最后列举进一步的研究方向。     

细粒度自适应框架的生成机制

自主计算引起了极大的关注,现在已经有很多此类的项目。例如,密西根州立大学的“TRAP/J”、东京技术学院的“Open Java”、伊利诺斯大学的“PCL”等。参考“TRAP/J”,提出了一种细粒度自适应框架的生成机制。只为原来程序中需要自适应能力的部分构筑框架,因此产生的代码简洁、可读性好。并且为用户提供了一次机会,让其决定代理和原来程序之间的关系。这些改进使自适应框架能够更加灵活地适应环境。但是在该项目中,被处理类的一些结构信息需要在程序参数中指定,要求用户十分清楚地了解该类。     

基于自治对象的移动交换中心建模

提出了一种基于自治对象的移动交换中心建模方法(AOMSCM),将前台进程进行对象化改造,从移动交换中心网络服务对象中抽象出自治对象,并给出其形式化定义。AOMSCM的研究为移动交换中心整个前台全面转向面向服务的开发积累了经验。     

基于事件驱动和QoS控制的Web服务器体系结构*

Web服务器在满足大量且不断上升的用户需求方面扮演着关键角色,但Web服务器也面临高并发的用户请求、不同的QoS需求和访问控制等众多挑战。针对这些挑战提出了一种采用事件驱动和QoS控制的新型Web服务器体系结构,并依此开发出命名为Epdds的原型服务器。通过对Epdds服务器的性能分析及与其他Web服务器性能对比,进一步验证了此种Web服务器体系结构的可行性和有效性。     

支持QoS约束的自主单元语义服务匹配

主体服务描述和主体服务匹配是利用主体和多主体系统为用户提供各种有效和高效服务的关键.综合考虑了语义和服务质量对匹配的影响,提出了自主单元主体服务描述模型,并在此基础上重点研究了一种支持QoS约束的自主单元语义服务匹配算法.该算法通过语义相似度匹配和服务质量匹配两个过程,有效获得满足给定语义相似度的阈值,且具有最佳服务质量水平的主体服务.     

NUMLS中的多态类型检测

本文从ＮＵＭＬ函数式部分实现中遇到的类型检测问题着手，讨论类型检测问题到半合一问题的转化，给出半合一的转换式求解机制和该转换规则集的可靠性和完备性定理。