摘要：介绍了一个基于ＰＶＭ并行环境的并行遗传算法的Ｃ＋＋类库ＰａｒａＧＡ的设计和实现．ＰａｒａＧＡ以使用方便和灵活为主要目标，提供了透明的并行机制，使不具有并行程序设计经验的用户可以方便地编写并行遗传算法的程序．高级用户也可通过类库提供的若干方法来获得优化的并行性能．类库采用粗粒度模型，支持并行遗传算法的３种迁移模式及ＳＰＭＤ和Ｍａｓｔｅｒ／Ｓｌａｖｅ两种编程模式．ＰａｒａＧＡ也提供了实现负载平衡分配及利用ＰＶＭ快速通信机制的方法．

摘要：结合高性能访问服务器的研制 ,对远程访问环境下的安全认证进行了研究 ,给出了一种用于远程访问的具有Client/Server结构的分布式安全认证模型 .该模型可将远程用户和访问服务器的所有敏感信息放在认证服务器中单一的、集中的数据库内 ,而不是分散在网络的不同设备中 .该模型将远程访问用户的认证及访问授权和实际的访问分开处理 ,可极大地提高系统的安全性和灵活性 .依此模型并基于消息认证码MAC技术 ,设计并实现了一种远程访问安全认证方案 ,并对认证方案的安全性 (包括抵御各种攻击的能力 )和MD5算法对攻击的抵抗能力进行了分析和讨论 .分析结果、攻击测试和系统运行测试均表明了认证方案的正确性和有效性 ,同时也证明系统具有很高的安全性 ,从而实现了安全性、对用户透明、便于管理和可扩充的系统设计目标 .

摘要：给出了利用局域网机群系统建立并行MonteCarlo仿真平台的Java实现。设计了仿真任务分配算法及多线程同步控制机制。验证了伪随机数生成器并行化的有效性。三种股票期权仿真定价模型作为应用实例,在相同机型机群环境中,取得理想加速比和定价结果。

摘要：一、引言 约束逻辑程序设计(Constraint Logic ***)是基于人工智能(AI)中约束满足问题(Constraint Satisfaction ***)模型的一种程序设计风范。CLP是逻辑程序设计(LP)的一种推广,是八十年代发展起来的一种新的逻辑程序设计方法。由于它继承了LP简单易懂的说明性描述方法并结合了CSP在求解问题时的效率,使它在解决很多AI问题(如组合问题、资源分配、事务安排等)时有不凡的表现。更由于AI领域中绝大多数问题可以用CLP来表示,所以这一方法已引起了人们的广泛注意,并在八十年代后期得以迅速发展。

摘要：为了有效建立并统一多Agent系统(MAS)的理论与方法体系,提供MAS的有效设计与实现途径,重点讨论并建立了基于开放环境的MAS形式化开放混合体系结构模型.首先,采用面向Agent的程序设计(AOP)风范,并基于开放环境与组合技术,对Agent的BDI模型进行形式细化处理,引入开放混合结构模式的自治、交互Agent形式定义,在此基础上给出开放环境下的自治、交互MAS的形式化开放混合体系结构模型,并运用扩充了的形式开发语言Z++对其进行描述.该模型具有可扩展性与对开放环境适应性强、便于进行系统描述。

摘要：在中国高速信息示范网业务流设计 (CTES)中 ,为了解决用户任务的达成问题 ,提出了一个用于业务流设计的多Agent模型———TEMAM .该模型分为任务分派层和任务达成层两层 ,分别由多个任务分派Agent和多个任务达成Agent组成 ,使用户任务的达成更加智能和简化 .用户任务的达成采用规则的形式进行匹配 ,规则的多少和匹配的方式由用户进行定制 ,克服了用户任务达成不灵活的缺陷 .详细给出了TEMAM模型的框架、通信原语及通信方式 。

摘要：近年来,基于消息传递的并行处理方式越来越受到重视,PVM(Parallel Virture Machine)

摘要：提出了一种新的基于业务流分析方法 ,采用关联规则挖掘的算法对全网业务进行关联关系分析 .该方法在Aprior算法的基础上 ,引入时态约束和路径约束 ,使之更加体现网络业务的特性 .使用该方法 ,可以充分利用已有数据 ,分析已有业务的行为 ,且可以预测未来业务的行为 .模拟实验结果表明 ,该算法对业务流分析中不同业务之间的相关性发现是非常有效的 .

摘要：通过程序所用数据结构的设计及状态的转换完成应用程序设计。数据结构初始状态的赋值及计算结果的输出都要用到各种不同的I/O设备。如何在计算过程中明确,有效地组织,描述对各种外围设备的使用过程,是确保程序正确性的关键问题之一。在分析、比较外围设备在机器、汇编、面向过程语言(C)及面向对象语言环境中的使用方法后,给出了面向对象语言(Java)环境下高效网络程序设计过程及方法。

摘要：Lisp作为一个表处理语言.有着悠久的历史,而COMMON LISP提供一r丰富的数据集和多程序设计模式:函数的,强制的和面向对象的〔“·幻。我们以COMMON LISP为蓝本完成T XJD一LISP/CLOS,它是为我国曙光一号机配备的.现已通过国家教委组织的鉴定。最近我们正在开发COMMON LISP的并行版本,作为863计划资助项目,这个工作很有意义。该并行系统将加速计算,并且还能对XJD一 LISP/CLOS提供支持。本文就函数式语言并行化的方法进行了探讨。