函数式语言并行化的方法

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

一种新的端到端采样网络流量测量方法

本文主要对端到端采样测量方法进行了研究,在大量实验的基础上提出了IP包头标识字段取模采样方法,并利用该采样方法进行了模拟实验,结果证明该方法具有效率高,采样比率易控制等特点。     

两种网络业务流分析方法的应用与实现

为了对网络业务流和网络性能进行测量与分析 ,我们根据 CAINONET的业务流设计课题实现了一个业务流设计的原型系统 - - - -业务流测量分析系统 TMAS.在 TMAS的分析子系统中 ,我们实现了业务级的分析方法 ,即具有路径约束的关联规则算法 PRAR和具有时态路径约束的关联规则算法 TPRAR.本文中我们先举了一个这两种算法的应用例子 ,再给出了这两种算法在 TMAS系统中的实际运行结果 .实际运行显示 ,这两种业务级分析方法可以弥补已有分析方法的不足 ,为进行网络业务流控制进一步提供了有效的依据     

CTES中基于规则的网络业务流测量新方法

业务流设计是网络工程的一个重要方面 ,用于网络的性能评价和性能优化 .中国高速信息示范网 (CAIN-ONET)业务流设计系统 (CTES)的目的是对 CAINONET网络的性能进行评价 ,为其优化提供决策依据 .而为达到优化网络性能目标 ,首先要对 CAINONET网络业务进行实时测量 .在综合分析已有各种网络测量方法的基础上 ,我们提出了一种新的基于规则的业务流测量方法 - CTES规则测量方法 ,并在 CTES中进行了应用 ,解决了已有测量方法的一些不足     

基于RTT的自适应拥塞控制研究

从实验和理论两方面对Ｉｎｔｅｒｎｅｔ上ＵＤＰ业务的来回时间进行深入研究,在此基础上针对实时视频通信,提出一种ＲＴＴ驱动的拥塞控制算法,和基于丢包率的拥塞控制机制相比,此算法在控制的实时性、网络状态的振荡抑制等方面均有明显的改善,更适合于实时业务的通信应用,另外,文中就如何选取控制算法中４个参数的优化值给出了分析和讨论。     

利用遗传算法求解线程分配问题

文章讨论了软件实现的多线程DSM系统中的线程分配问题,提出了一种新颖的基于遗传算法的动态分配方法,试算结果表明,该方法收敛稳定,求解性能良好.     

约束逻辑程序设计综述

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

基于NAS的分布式远程访问安全管理系统的研究与实现

远程访问间味着网络变得更加“开放”,开放的网络需要完善的安全机制来确保网络的安全运行。文中基于自行研制的访问服务器（ＮＡＳ）,研究和实现了分布式远程访问安全管理系统,给出了基于Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ的系统的结构模型和基于Ｐｅｔｒｉ网的系统安全模型。该系统实现了远程访问用户的安全认证、访问授权和记费管理。