计算机代数化简系统CASS1

CASS1是用代数化简方法设计的计算机代数系统。本文讨论CASS1的几个重要算法,包括:有理表达式的规范化简算法、非嵌套根式表达式的规范化简算法以及一类超越表达式的化简算法等。CASS1是用算法描绘语言ALDES语言实现的,是计算机代数系统建造规范化的一种尝试。

单片微型计算机多字节浮点除法快速扫描运算的实现

在单片微型计算机浮点运算中，对高精度多字节的浮点数据一般采用的是标准边减边移位（试商）的方法，操作时间满足不了快速运算的需要，本文介绍了一种快速扫描的浮点除法方法。

基于框架和角色模型的软件体系结构规约

软件体系结构的使用是提高软件质量、减少软件开销和促进软件生产率提高的最有效方法之一 .该文提出一种基于面向对象框架和角色模型的软件体系结构规约方法 ,该方法把体系结构基本元素作为首要的规约对象 .在上述方法的基础上 ,设计了一种体系结构描述语言 FRADL (framework and role- type basedarchitecture description language) .FRADL认为框架是一种构件 ,包含主动连接机制的角色模型是一种连接器 ,构件实例与连接器实例的配置构成软件体系结构 .

基于主动连接件的软件体系结构及其描述方法

连接件是软件体系结构描述中的重要概念 .该文在连接件中引入引擎机制 ,使其在与相关组件连接的过程中成为运行活动的触发元素 ,而且在目标系统实现中转化为可见的组成部分 ,这种连接件称作主动连接件 .

从DEM中自动提取自然水系

为了从数字高程数据中自动提取区域水资源信息 ,以提高基于 GIS的区域水资源勘查评价工作的效率 ,提出了一种从 DEM中自动提取自然水系的实用方法 .该方法通过 DEM数据预处理 ,首先将其中的洼地和小平原改造成斜坡 ;然后依据水总是沿斜坡最陡方向流动的原理 ,确定 DEM中每一个栅格点的水流方向 ,再根据各点的水流方向数据 ,计算出每一个栅格点的上游给水区 ;接着 ,根据栅格点上游给水区数值 ,用阈值法确定水系栅格点 ,并对水系栅格点进行筛选 ;最后 ,根据水系栅格点的水流方向 ,将整个水系追索出来 ,另外 ,还用该方法对试验区的DEM数据进行了自动提取自然水系的试验 ,其结果与用手工方法提取的水系基本一致 。

实时数据远程通信系统的设计

介绍了数据远程传输系统的结构框架和设计思路,并设计了一种用于电力系统数据传输的通用通信协议;为实现数据采集现场和数据处理中心之间的实时数据远程通信提供了解决方案。

分布式系统中的检查点算法

检查点能够保存和恢复程序的运行状态．它在进程迁移、容错、卷回调试等领域都有重要的应用．本文对分布式系统中的检查点算法进行了详细的分类评述．检查点算法可分为单进程和分布式程序检查点算法，分布式程序检查点算法又可分为异步检查点算法和一致检查点算法．同时本文系统介绍了改进检查点算法性能的典型方法．这些改进算法主要采用两个策略来减少算法的开销与延迟：一是减少检查点文件中需要存储的信息量，如增量算法等；二是提高检查点操作与目标程序运行的并行性，如主存算法等．最后，文章讨论了目前检查点算法的局限性和进一步的工作．

线性四元树表示二值图像的围线追踪和Euler数的计算

本文将基于边过程的围线追踪算法推广应用于四元树表示的二值图像，给出了一个对线性四元树表示二值图像实现围线追踪的算法．算法利用输入的四分形编码确定四分形左上及右下角处象素的位置坐标，由此确定图像中的所有非零边过程，再进行基于边过程的围线追踪．算法求得围线的树结构，表达了图像的拓扑性质，利用围线的树结构给出了一个计算图像的Euler数的非常简便的方法．

软件体系结构的研究与发展现状

软件休系结构是由 Edsger Dtikston于1968年首次提出的,当时他正在描述一个操作系统,井第一次提出层次结构,他指出,人们更应关注软件系统是如何划分与组合的,而不是仅仅限制在编程上。

基于约束映射关系的二维几何约束模型

在系统实现的基础上 ,提出一种依据设计过程确定约束依赖关系的参数化设计模型 ,建立约束和图元之间的映射模式 ,优化确定节点之间的更新从动性 ,从而降低约束求解的复杂度 .用户添加的约束和系统自动识别的约束能动态添加到有向约束图中 ,并支持任意图形块的选择重复 .实践证明 ,该模型算法简单 ,交互性好 ,能很好理解用户的设计意图 .

分布式教学系统DECnet-DI的设计和实现

本文介绍一个分布式教学系统DECnet-DI的设计和实现,DECnet-DI是在DECnet的VAX机群上开发的。该系统利用教师进程与学生进程间的通信进行各种教学活动,具有教师用户位置透明的特点。

NCSE:一个支持网络并行计算的图形化开发工具

本文介绍了一个基于X－Window的支持网络并行计算的图形化开发工具NCSE（NetworkCOmputingSoftwareEnvironment），它为用户创建、编译、执行以及调试并行程序提供了一个简单而方便的图形接口．在NCSE中，用户只需给出程序关系图，而不必了解任何并行程序设计原语，即可实现井行计算．NCSE还采用了负载平衡策略和进程迁移机制．负载平衡策略使得并行任务可以有选择地在处理机之间合理分配，从而使并行计算性能最佳；进程迁移机制使得正在运行中的进程在CPU争用时被迁移出去，从而保证负载平衡．NCSE支持FORTRAN及C语言程序在U-NIX工作站网络上的并行执行．

Sidle:空闲工作站的调度与远程执行系统

本文介绍我们研制的一个空闲工作站调度与远程执行系统Sidle,该系统当前运行在由以太网连接的19台SUN4工作站上,能对用户的多个作业或一个程序的若干部分进行并行处理,它除了具有目前国外现有系统的优点外,还具有以下特点:支持多个外来任务和嵌套的远程执行,使CPU利用率更高,调度对用户有更好的透明性,此外,在性能方面也超过现有的系统。

容错系统中文件状态的保存与恢复算法

在机群计算环境中实现容错是人们日益关心的热点．许多著名的机群计算环境都使用检查点实现了容错的功能．但目前的检查点算法在使程序卷回执行的同时，不能相应地恢复文件系统的状态，因而对应用程序访问文件系统有较多的限制．本文在原子操作和并发控制的基础上，提出了能够恢复文件系统状态的SCR算法，进一步发展了文件系统可恢复性的概念．SCR算法与检查点机制结合使用，便可支持分布式应用程序在容错运行时对文件系统的任意访问．

实时处理系统的数据冲突分解协议

急迫性和时限是实时处理系统的两个重要特征。本文介绍基于这两个特征而设计的数据冲突分解协议及其性能评估,初步分析结果表明,急迫性和时限的分布情况以及相应的数据冲突分解协议对实时处理系统的性能有重要影响。

基于快速模糊规则搜索的快速模糊系统建模

本文提出了一种基于快速模糊规则搜索的快速模糊系统建模方法 .首先使用本文提出的快速模糊规则搜索方法进行模糊规则的粗略搜索 ,然后基于所得到的模糊规则集建立模糊神经网络模型 ,即利用规则前件确定网络结构 ,规则后件初始化部分网络权值 .使用遗传算法对网络模型的权值和阈值进行学习训练 .实验结果验证了快速模糊系统建模方法在描述较大规模非线形系统中的实用性和有效性 .

工作站群的并行计算性能

利用现有的某些应用实例，比较了工作站群和并行机用于并行计算方面的性能，说明工作站群在某些应用场合可以取代并行机．

多专家系统生成系统MEX-1

描述了由多专家系统生成系统MEX－1所生成的智能系统的知识组织、推理与控制策略和应用前景等．

一个通用的基于知识的查询系统模型Genknowle及它的内核的实现

本文提出了一个通用的、基于知识的查询系统模型Genknowle,并介绍了该系统内核部分的设计和实现。内核包括对于事实和规则的组织管理,推理机等,都是通用的。在此基础上增加一个输入子系统和用户查询接口部分,即可构成一个专用的基于知识的查询系统。

并行计算在分布式环境下的一种实现方法

介绍了一种并行计算的实现方法．通过在顺序程序中加入两种进程操作原语，用户就能使其应用程序在分布式环境下并行执行，从而提高速度．