GP^2N^2S^2并行模拟控制器的设计与实现

本文着重介绍GP^2N^2S^2（通用并行神经网络模拟系统）的核心软件－并行模拟控制器的设计思想以及实现方案。     

超媒体系统的开放性探析

1.引言 超媒体系统从一开始就被视为信息集成的工具,为用户在包含各种媒体的信息仓中进行浏览或信息检索提供了方便的手段,允许用户在小块的信息(结点)之间通过任意的连接()来扩充自己的     

动态系统的定性推理：定性模型的建立与定性仿真方法

本文首先介绍了动态系统的定性推理的产生背景，发展概况以及定性推理的实际应用前景，然后以Ｋｕｉｐｅｒｓ的定性仿真理论为中心介绍了定性推理的基本原理及方法，其中重点介绍了动态定性仿真算法ＱＳＩＭ和定性推理的最新发展，并对存在的问题进行了探讨。     

多媒体会议系统音、视频传输组播问题的研究

随着多媒体视频会议系统的迅速发展，会议系统中基于IP网络流媒体的传输技术，特别是音、视频数据的多点传输，成为系统服务质量的重要问题。本文结合会议系统和流媒体传输的技术及特点，对多媒体会议系统中音、视频数据传输的组播问题加以研究并针对大型网络中的PIM-SM提出一种改进方式。     

密码分析的连分数策略

本文基于连分数的Legendre定理提出了用于密码分析的连分数策略。     

ORACLE报表生成工具

ORACLE数据库系统是目前世界上最流行的关系数据库管理系统。它的主要优点是:功能强大;具有大量的有特点的可选工具;以SQL语言为基础,可移植性好,能适应多种硬件环境。目前在国内,ORACLE数据库的用户正在迅速增加。     

项重写系统的并行实现方案

项重写系统的并行归约可以提高归约的效率，在无共享内存的Ｔｒａｎｓｐｕｔｅｒ网络上实现时要考虑任务的分配，项的拼装，归约任务的控制等问题，其中怎么样减少机间的机内进程的通信慢提高系统效果的关键。本文从控制方式角度讨论在不同拓扑结构的Ｔｒａｎｓｐｕｔｅｒ网络上实现项重写系统的方案，重点介绍基于树形结构下的控制方法，进程安排和通讯形式。     

构件对象模型

计算机软件能力的飞速增长有着两个最显著的特征:即计算的网络化和处理信息的多媒体化面对软件越来越复杂,软件开发者已感到开发单一全功能的软件,满足使用者种类繁多且日益刻的要求,     

CSP语言的再继续语义

并行程序的指称描述的基本技术的“再继续(Resumption)”,用以描述异步并发进程中命令的可     

移动计算系统信息流安全

程序信息流安全是信息安全的一个重要研究方向．基于类型的静态分析可以保证程序信息流安全与单进程系统相比．移动计算系统中数据通讯的存在使得程序信息流安全保护更加困难．Cornell大学的Zdancewic对函数式语言λsec的单进程程序信息流安全进行了研究．本文在其工作的基础上，根据移动计算系统的结构特征，通过对函数式语言λsec进行扩充，加入通讯原语，将其扩展成移动计算语言MobileML，并针对一个简单的移动计算模型，给出了描述程序信息流安全的无干扰性定义，设计了相应的信息流类型系统，用以静态检查保证MobileML语言程序信息流安全．