Z++a:Z++的AOP扩展

为了适应面向Agent技术的发展及其系统设计的需求，提出一种基于面向Agent程序设计(AOP)风范的形式描述语言具有重要的理论指导价值和实际意义。在Z++的基础上，讨论其AOP扩展问题，从而提出具有AOP风范的形式描述语言Z++a,同时还给出了一个关于高度智能化、人格化生物机器人的Z++a形式描述简例。     

一种微硬盘半自伺服刻写机制与实现方法

基于部分伺服刻写的思想,提出了一种微硬(磁)盘半自伺服刻写实现方法--螺旋伺服刻写方法.该方法首先将伺服初始信息以螺旋道的方式写入盘片,然后在非净室环境下由硬盘驱动器(HDD)通过其头盘组件自行将伺服信息补充完整.给出了螺旋伺服刻写的运动模型,建立了磁头精密定位控制系统.在现有的伺服刻写设备基础上,采用此伺服刻写方法可保证伺服信息的完整性,同时大大提高了净室的利用率,加快了伺服信息刻写速度,提高了生产效率,减少了昂贵伺服刻写设备的使用时间,降低了生产成本.     

一部重视创新能力培养、特色突出的数学教材--评《实变与泛函--基本原理与思想方法》

本文简要评述<实变与泛函--基本原理与思想方法>,认为它是一部重视创新能力培养、特色突出的好教材,并指出了该书的五个特色.     

基于对象存储系统中的热点数据平衡策略

针对基于对象存储系统(OBS)中的热点数据问题,提出了一种基于预测和数据副本迁移的均衡策略.对基于对象存储结点(OSD)的热度进行预测,元数据服务器(MDS)据此对存储结点进行均衡协调,存储结点则响应协调规则并采用贪心法选出尽量小而且访问客户多的对象进行副本迁移.此外,采用增量备份的方法解决副本迁移可能造成的数据不一致问题.实验结果表明策略的预测误差在8%以内.     

多Agent系统的形式化开放混合体系结构模型研究

为了有效建立并统一多Ａｇｅｎｔ系统（ＭＡＳ）的理论与方法体系,提供ＭＡＳ的有效设计与实现途径,重点讨论并建立了基于开放环境的ＭＡＳ形式化开放混合体系结构模型,首先,采用面向Ａｇｅｎｔ的程序设计（ＡＯＰ）风范并基于开放环境与组合技术,对Ａｇｅｎｔ的ＢＤＩ模型进行形式细化处理,引入开放混合结构模式的自治、交互Ａｇｅｎｔ形式定义,在此基础上给出开放环境下的自治、交互ＭＡＳ的形式化开放混合体系结构模型,并