WADE系统的支持对象通信的绑定代理

为了支持基于校园网络的元计算系统WADE的分布式对象的高效通信，提出了一种具有分级体系结构的分布式对象模型。该模型负责建立、定位、管理、删除和迁移对象。论文在讨论对象通信过程和模型的基础上，提出了利用绑定代理技术实现对象通信地址绑定的方法。该方法通过绑定缓冲器和消息缓冲器来提高对象的通信效率，基于双重缓冲的绑定代理技术可以有效提高对象的通信效率。     

异构数据源数据集成的研究

对象代理模型可以作为数据集成的一种通用数据模型。通过建立代理对象和源对象，查询处理的对应关系也能够较好地实现，应用可以将不同的、对于代理对象的查询处理翻译成对于局部数据源源对象的查询处理，也可以把对局部数据源的查询结果以用户应用想要的方式返回。对象代理模型可在Smalltalk环境中实现。本文讨论如何在Smalltalk
k环境中实现基于对象代理模型的异构信息源的集成。     

信息集成系统中的模式融合问题研究

将模式融合分为模式映射、主键-外键融合和用户自定义的完整性融合3个部分。模式映射将关系模式或其他模式映射为对象代理模式类，主键-外键映射采用新的模式融合算法，充分考虑对象代理模型的特点。提出了一个新的操作Merge来解决用户自定义的模式融合。该操作克服了其他模型的用户自定义模式限制难于融合的问题。在Smalltalk环境中实现了基于对象代理模型的模式融合系统，并给出应用实例。     

针对工业控制的Canopen系统

介绍了CAN总线的应用层协议CANopen；介绍了CANopen系统的应用；详细介绍了CANopen的协议结构，通信对象以及标识符的地址分配。     

基于代理的网格计算中间件

WADE系统是基于代理技术实现的一个可屏蔽异构和分布性的动态自适应的校园计算网格，提出了基于代理技术在校园网络内实现并行计算的方法，详细论述了基于代理的网格计算中间件的体系结构和主要模块功能，阐述了利用代理实现异构编译、协同计算的过程，给出了代理的Java实现方法，利用软件代理实现网格计算中间件，可以解决异构计算平台下多种并行编程环境的协同计算问题，为用户提供统一的服务接口，这将大大增强系统的可用性。     

一个基于对象代理模型的多表现地理信息系统

文中提出了一种基于对象代理模型的实现多表现GIS的新方法。通过地理对象的代理对象来定义多表现，因此代理对象可以用来表示对象的视角多样性和角色多样性。通过对象更新迁移可以支持动态分类和系统一致性维护。另外，对象及其代理对象之间的双向指针使得跨类查询变得非常容易，从而可以扩展查询的范围。文中实现了一个基于对象代理模型的多表现GIS原型，性能测试表明该方法比传统的方法更加有效。     

大规模分布式系统的一种层次式命名方案

针对大规模分布式系统中对象迁移、网络和系统动态重构的要求,文中介绍了一种层次式的命名和编址方案,它将对位置透明的标识(OID)和表示位置的地址(OAD)二者结合起来标识对象.从局部唯一的ID和地址出发构造全局ID和地址,它们是相对表示,当在命名上下文中传送时被转换,从而保证了ID的唯一性,也缩短了对象标识符的大小.尤其在网络和系统动态重构时,其优点更为突出,用户无需了解对象地址的改变就可进行正确通信,实现了位置透明性.文中还就命名方案的实现问题进行了探讨.     

大规模事务处理系统中服务对象监测的实现

针对在大规事务处理系统中对冗余服务对象的有效性和运行状态的监测要求,为提高该系统中服务对象监测的效率,利用通用对象请求代理框架提供的请求级截获器技术,实现了系统对象检测.通过选择适当的截获点,构建了实现服务对象监测所需的类、接口和相关操作,并确立了详细的对象状态监测与分析操作流程.当截获器截获到请求时,使用了推模式将信息传递到对象服务代理.在实验系统中的运行结果表明,本设计能实现对系统中服务对象的高效监测,能保证大规模事务处理系统的高可用性和服务质量.     

智能代理和学习对象的集成—— 一种应用于在线教学的设计思想

讨论了一种很有发展前景的E教学开发设计思想,集智能代理和学习对象为一体来开发更智能化,更高交互性和高扩展性的在线教学系统。在该系统中,每个对象都被附加上一个智能代理,从而在在线学习中像一个代理程序一样,从学习环境中获得各项实时参数,然后根据这些参数采取相应的操作。此外,与内置智能代理的对象一样,用户模块被设计用来记录和保存一切与用户有关的信息,包括习惯的学习方式以及所有在线学习课程当中的活动事件。由于用户模块可以更好地了解每个用户,系统就会以一种更具有针对性的方式工作,就像老师在课堂上可以对不同的学生采取     

基于移动Agent与P/S混合模式的分布对象中间件异步通信研究

针对分布对象中间件异步通信中时间、空间和流程的三刻度解耦问题进行了研究,在分析了当前分布对象中间件通信机制所存在的问题基础上,基于CORBA分布环境引入了P/S发布订阅系统,构建了基于P/S模式的CORBA通信体系.同时在PIS中间件代理体系中,引入移动Agent代理技术构建了基于Agent与P/S混合模式的异步通信算法,解决了基于中间代理的分布对象中间件异步通信的三刻度解耦问题.     

An object deputy model for realization of flexible and powerful objectbases

In object-oriented databases, data and methods are combined by objects and their classes. Information redundancies are removed by the notions of class hierarchy and inheritance. This contributes the realization of high-performance systems. However, the flexibility of object structures still remains a problem due to its encapsulation feature. In this paper, we introduce an object deputy model which extends conventional object-oriented models with the concepts of deputy objects and deputy classes. A deputy object has its own identifier and may possess its own attributes and methods. It can also have attributes that are computed from values stored within its source object, and can be associated with methods generated from these of the source object. The inheritances are realized by switching operations, which make it possible to realize controllable, selective and dynamic inheritance structures. Schemata of deputy objects are defined by deputy classes which can be derived by an object deputy algebra. An object can have many deputy objects, and several objects can share a single deputy object. Thus, objects can be indirectly divided and combined through their deputy objects. We show that several difficult database problems, such as flexible views, objects with more than one role, object migration, and multiple inheritance become much easier in this model. The data-knowledge coordination model developed for the integration of distributed databases and knowledge-bases can also be realized easily by the object deputy model. Finally, we discuss several advanced database applications of this model, such as geographic databases, virtual office systems, and distant education systems.     

面向对象方法中的类型概念

本文讨论了面向对象方法中非常重要的类型概念，指出对象类型由对象集、状态集、运算集、方法集和约束组成，并进一步阐述了对象类型的层次结构、对象的动态类型集和静态类型、对象方法的封闭性以及对象方法的动态定连等问题，为进一步的研究奠定了基础。     

多阶段优化的小目标聚焦检测

目标检测是深度学习领域重要的基础问题之一，目前已经有相当多且较为成熟的 研究。无人冰柜是人工智能在零售产业的一个应用场景。其通过冰柜内设置的摄像头捕捉图像， 利用目标检测方法检测出顾客手中抓取的商品，然后进行后续的商品分类等任务的工作。而由 于场景及硬件的限制，无人冰柜中只能使用速度快但精度较低的深度模型，而这些模型往往在 小目标的检测上精度相对更低。针对无人冰柜场景数据的背景单一、目标范围小等特殊性，改 进了主流的目标检测方法，提出了一种基于聚焦的由粗到精的2 阶段检测网络结构FocusNet， 提升了该场景下的小目标检测效果。该方法相比先前的模型在小目标检测上的平均准确率提升 了8.3%，总体检测平均准确率提升了3.5%。     

Index configuration in object-oriented databases

In relational databases, an attribute of a relation can have only a single primitive value, making it cumbersome to model complex objects. The objectoriented paradigm removes this difficulty by introducing the notion of nested objects, which allows the value of an object atribute to be another object or a set of other objects. This means that a class consists of a set of attributes, and the values of the attributes are objects that belong to other classes; that is, the definition of a class forms a hierarchy of classes. All attributes of the nested classes are nested attributes of the root of the hierarchy. A branch of such hierarchy is called apath. In this article, we address the problem of index configuration for a given path. We first summarize some basic concepts, and introduce the concept of index configuration for a path. Then we present cost formulas to evaluate the costs of the various configurations. Finally, we present the algorithm that determines the optimal configuration, and show its correctness.     

低质量文档图像中图标的定位

针对二值图像提出了基于金字塔模型的目标定位方法，该方法适合于构成目标的连通区互相之间距离较小，而与其他连通区之间距离较大的情形．首先生成图像的金字塔模型，构成目标的连通区会在金字塔模型的某一层合并为一个连通区，根据金字塔模型各层中连通区的指示在原始图像中确定一块区域，用C4．5作粗分类，再用模板匹配判定是否含有目标．把这种方法应用于低质量文档图像中图标的定位．用含300个图标的图标库进行实验，得到88．7％的定位查全率，70．42％的定位准确率．     

一种基于层次客体的访问控制模型

在需要管理大量权限的系统中,现行的访问策略不能解决客体的层次关系,提出了一种多级层次客体的管理模型,定义了客体的层次关系,并给出了客体的管理算法,满足了多级复杂客体权限系统的要求。     

CSCW中的对象同步与合并

为了满足响应时间以及可靠性的要求,协同应用通常采用全复制的体系结构．由此带来的一个巨大挑战就是如何保证复制在各个协作站点处的对象的一致性以及获得一个公共状态,总结了在线和离线两种协作模式下的不同需求,在此基础上给出了相应的控制机制——在线模式下的对象同步算法和离线模式下的对象合并算法．这些机制已经在协作支撑平台Cova系统中实现,实际的应用表明,这些措施与其他机制一起能够很好地满足协同应用数据一致性的要求。     

AN EPISTEMIC LOGIC WITH QUANTIFICATION OVER NAMES

Sentential theories of belief hold that propositions (the things that agents believe and know) are sentences of a representation language. To analyze quantification into the scope of attitudes, these theories require a naming map a function that maps objects to their names in the representation language. Epistemic logics based on sentential theories usually assume a single naming map, which is built into the logic. I argue that to describe everyday knowledge, the user of the logic must be able to define new naming maps for particular problems. Since the range of a naming map is usually an infinite set of names, defining a map requires quantification over names. This paper describes an epistemic logic with quantification over names, presents a theorem-proving algorithm based on translation to first-order logic, and proves soundness and completeness. The first version of the logic suffers from the problem of logical omniscience; a second version avoids this problem, and soundness and completeness are proved for this version also.