访美之启迪

介绍了美国几个铝厂、研究中心和公司的生产管理情况及其技术发展水平，提出了多项建议。     

铝电解槽TiB2涂层阴极技术

将含有ＴｉＢ２、碳纤维和热固性粘结剂的涂料，涂敷到铝电解槽的阴极基体上，制备出可润湿的阴极表面。经固化和碳化后，涂层和碳质基体材料的粘结力强，热膨胀匹配性好。每台硼化钛涂层阴极试验槽能节省ＮａＦ２５０～３００ｋｇ，试验槽的电流效率高出对比槽１．４４％，能耗降低１７５～２１１ｋＷ·ｈ／ｔＡ     

铝电解生产阴极节能技术

硼化钛是一种高技术材料，它具有熔点高，导电率高，硬度大，耐熔融铝液和电解质的侵蚀，并能为铝镁等良好润湿等特点。与普通槽相比较，硼化钛涂层极试验槽的电流效率提高３．５２％，直流电单耗下降７０１ｋＷｈ／ｔ－Ａｌ，交流电单耗下降４０４ｋＷｈ／ｔ－Ａｌ。     

一个浮点数学函数库测试平台

数学函数库作为CPU软件的重要组成部分,对于高性能计算机平台上的科学计算、工程数值计算起着极为关键的作用.现有的测试工具只能片面地对函数库进行测试,没有从正确性、精度和函数性能这3方面加以考虑,而且往往只针对一类目标体系结构,适用性有限.针对现有测试工具的缺陷,提出了面向多目标体系结构、全面可复用的一体化测试平台BMltest(basic math library test).测试平台结合函数特征值、IEEE-754特殊数以及利用浮点数生成规则实现的全浮点域指数分布的IEEE-754规范数构造了测试集,有效提高了测试集浮点数的覆盖率;提出了基于多精度库MPFR(multiple-precision floating-point reliable library)的精度测试方法,提高了精度测试的可靠性;提出了基于代码隔离的性能测试方法,最大限度地降低了外部环境对性能测试的干扰.针对大量的浮点测试结果,给出了合理的结果评价方案.测试平台使用的测试集数据与函数做到了相关性的极大分离,保证了测试方法的普适性.通过对包括GNU,Open64及Mlib函数库内所有855个函数的测试结果表明:BMltest平台的测试数据集更全面、有效,精度测试方法更可靠;与其他测试平台相比,性能测试结果更准确、稳定.     

浮点数学函数异常处理方法

异常会造成程序错误,实现完全没有异常的浮点计算软件也很艰难,因此,实现有效的异常处理方法很重要.但现有的异常处理并不针对浮点运算,并且研究重点都集中在整数溢出错误上,而浮点类型运算降低了整数溢出存在的可能.针对上述现象,面向基于汇编实现的数学函数,提出了一种针对浮点运算的分段式异常处理方法.通过将异常类型映射为64位浮点数,以核心运算为中心,将异常处理过程分为3个阶段:输入参数检测(处理INV异常)、特定代码检测(处理DZE异常和INF异常)以及输出结果检测(处理FPF异常和DNO异常),并从数学运算的角度对该方法采用分段式处理的原因进行了证明.实验将该方法应用于Mlib浮点函数库,对库中600多个面向不同平台的浮点函数进行了测试.测试结果表明:该方法能够将出现浮点异常即中断的函数个数从90%降到0%.同时,实验结果验证了该方法的高效性.     

防止移动Agent通信失效的方法

通信机制是移动代理系统研究的关键技术之一,但是由于Agent具有移动性,使得Agent在通信过程中会引起通信失效问题.在比较了几种防止通信失效的方法后,结合集中式控制和本地通信,提出了一种新的防止移动Agent通信失效的方法,在有效控制通信开销的同时,保证了消息传递的可靠性.     

基于本体的态势估计方法研究

作为一种有效表现概念层次结构和语义的模型,本体被广泛运用到信息科学的众多领域.态势估计在军事领域的意义日渐凸显,针对其智能推理的需求,将本体的知识框架和推理规则应用于态势估计系统的基础概念表示上,通过对本体及态势估计的研究,提出了自己的底层可形式化态势概念模型,综合众多的战场因素,描述组成态势的各个相关元概念和简单刻画其间的关系,并就在此基础上发展态势估计系统作了进一步探讨和展望.     

基于软件代理的网格信息服务

计算网格允许对地理域上分散的资源进行大范围的、深入的、一致的共享。它们的固有属性将发现处于不同行政区域的资源和预测资源的性能并监控其行为的事务进行合并。监控和发现服务MDS（Monitoring and Discovery Service）是Globus工具集提供的一项主要服务,它可以用于为已存在的基于代理的资源发布和发现系统提供网格信息服务。给出一个代理系统,它使用MDS中的网格信息协议GRIP（Grid Information Protocol）和网格注册协议GRRP（Grid Registration Protocol）去发现虚拟组织并监控相关资源,使得此系统具有资源代理、监控及性能预测的作用。     

基于Agent的Web服务QoS协商研究

协商机制是协调Web服务使用者和提供者的不同QoS(quality of service)需求的一种重要方法,通过扩展的协商代理中介角色完成双方的协商.扩展了Web服务的描述,增加了关于QoS的信息,将协商双方的偏好和协商策略参数化,使得双方可以通过简单设置参数来指定,从而Agent可以根据这些信息代表协商双方进行自动协商,并将协商结果转化为合同,更好地约束服务的交付.     

局域网中利用Mobile Agent技术实现信息的检索

本文提出了一个应用于局域网中的基于Mobile Agent技术的信息检索 系统的模型,并给出了实现该系统的关键技术。整个模型是建立在已有网络协议的基础上并且有用了概念分层结构。关键技术涉及Agent的基本结构、Agent的管理和通信、Agent的回调生成算法和安全问题。