Ada语言与Occam语言的比较

一、引言过去十年在计算语言领域的重要进展之一是出现了具有并行计算能力的Ada语言和Occam语言。Ada语言是具有类似Pascal语言的控制结构,并且能重植入过程和函数的大型语言,其初始设计目标是满足美国国防部所规定的要求,即首先考虑支持适于军事装备的嵌入式编程系统。就本质而言,Ada语言是在串行语言的结构上,扩充增加了并发执行的能力。 Occam语言是和Transputer同时设计实     

Occam语言的时态语义

本文在给定的Occam子集上建立它的组合式时态语义。为了处理并发问题引入了局部环境、局部存储和局部通道状态,使其成为真正的并发语义,并在此语义下讨论了进程的各种分布式性质。     

Transputer的伴侣：Occam语言

本文介绍Occam语言概念，构成，及其应用，并举例说明。     

用PAR方法构建三种Java集合类

分析了抽象程序设计语言Apla(Abstract Programming Language)定义的集合摄作的实现算法思想,用PAR方法（分划递推法,Partition-and-Recur)推导了实现集合操作的Apla程序,并分别将这些抽象程序用三种数据结构（向量（Vector)、数组（Aarray)、链表（noldep,自定义））实现,构成了自定义Java集合类库。该类库可用于Apla-Java程序自动转换系统和体现数据抽象思想的Java程序开发。     

并行程序设计语言Occam及其运行机Transputer

本文讨论并发程序设计语言 Occam 及其运行微机 Transputer 的主要特性。Occam 用一组并行操作且通过通道通信的进程来描述外部世界,而 Transputer 作为并行处理系统的一个积木块,用 Occam 作为其互连的设计体系,将进程映射到 Transputer(网络)部件上,自动实现并行或并发处理(单机或 Transputer 网络)。     

基于PAR的算法形式化开发探讨

通过对其现状和前景的介绍,引出PAR的方法,从而对构造递推关系进行研究,进行初步的探讨。     

安全DBMS中存储隐通道的审计

开发具有B2安全级及以上的数据库管理系统必须对存储隐道进行审计。罗们认为TCSEC要求和推荐的审计方法不能发现存储隐通道的许多运用实例。本在探讨审计所应解决的问题和TCSEC的不足之处的基础上,给出审计工具的具体设计。     

使用“通信顺序进程”机制的神经网络仿真

本文引入了“通信顺序进程”的概念，同时介绍了一种实现环境－ＲＩＳＣ结构的Ｔｒａｎｓｐｔｅｒ处理器及Ｏｃｃａｍ并行化编程语言，     

计算机图形并行处理的研究与发展

本文概述了计算机图形并行处理研究的产生与发展,着重阐述了并行处理功能部件的研究和发展及多边形绘制、全局光照模型(光线跟踪与辐射度方法)、物理场数据与体介质数据绘制、动画、并行化图形标准等研究领域在并行处理方面的研究和发展.文中叙述了在这一领域的研究工作,并在最后展望了计算机图形并行处理的进一步发展方向.     

面向对象范例中联系的使用技术

本文讨论面向对象范例的设计阶段中联系的表达和使用技术。联系可分成应用级联系和类级联系两种。     

物理场图形生成的多处理机并行算法的研究和实现

计算机图形生成的并行处理是结合图形学、并行处理及并行算法交叉而产生的一个新课题.本文首先介绍了近几年来这一领域的发展,然后针对计算机图形学领域发展最为迅速的分支之一——物理场的图形显示,利用最新提出的并行算法进行了研究和实现,并就其在两种并行处理机环境下的具体实现进行了结果分析.     

LogP模型上的最优播送与求和算法的实现

与以往的各种并行计算模型相比，LogP模型更真实、更全面地反映了大规模并行计算机MPC(massivelyparalelcomputers)的特征．鉴于目前见到的LogP模型上的算法都仅局限于给出设计思想，本文尝试用算法语言来描述LogP模型上的完整的可移植算法．文中针对单项播送与求和这2类基本问题，实现了它们在有任意参数的LogP模型上的最优算法，并对其时间复杂度进行了分析.本文研究得到国家863高科技项目基金资助.     

脚本语言在审计工作中运用的探讨

在审计信息化的应用过程中,存在着审计软件功能不完善和用户需求多样性的问题。针对这种情况,提出用脚本语言技术解决此类问题。首先归纳出审计工作的实际技术需求,分析脚本语言的特点、优势和脚本语言技术适用于审计工作的原因;并在具体的审计案例中,对所运用的脚本语言以及发挥的作用进行详细探讨,进一步表明脚本语言技术能够提高审计软件的效率、满足特定功能的审计需求。脚本语言技术是易学易用的编程技术,能够帮助审计人员开发出便捷高效的特定功能程序,更好地满足审计需求。希望借助拓宽审计信息化建设工作的思路,更好地服务于审计事业的发展。