计算网格中多编程环境的研究与实现

计算网格(也称元计算系统)聚集地理上分散的资源进行大型的分布式高性能计算。PVM和MPI是广泛使用的并行编程环境,它们需要作为并行计算的基本构建而集成到元计算系统中去。论文针对元计算资源的动态性、分布性、性能多变性和结点异构性等特点,实现了一个自适应的、一体化的多编程环境。论文论述了该多编程环境的体系结构,并利用代理技术实现远程编译、发现资源、屏蔽异构和优化调度。

本体与AORBCO模型

讨论了哲学界和计算机科学界关于本体概念的异同,分析了本体研究中所存在的问题和原因,提出了本体的形式化描述模型AORBCO,论证了用AORBCO模型可把哲学和计算机科学界关于本体的概念很好地统一起来,使表达形式与表达内容有机结合,很好地解决了本体研究中所存在的一致性问题、完备性问题和结构性问题等。

智能与智能模型

分析了人工智能研究中所存在的问题和原因,从唯识心理学的角度讨论了智能的本质与特性,提出了智能的形式化描述模型AORBCO,论证了用AORBCO模型作为智能模型可使表达形式(智)与表达内容(能)有机结合,使人工智能三大学派的智能模型得到统一。

基于分布对象的离散事件仿真系统

分布对象技术将面向对象的概念揉合到分布计算中,使得基于对象的软件成员在分布异构环境中可重用、可移植和可互操作。文章把分布对象技术用于离散事件系统仿真中,通过对离散事件系统中分布对象的标识,分布对象间同步机制的讨论,提出了基于分布对象离散事件仿真系统的结构,定义了分布仿真对象的接口。