检索结果-内蒙古大学图书馆

计算机辅助设计与图形学学报 1997年第6期9卷 532-537页

作者：李才伟胡瑞安中国科学院软件研究所计算机科学开放研究实验室华中理工大学机械科学与工程学院

将确定性元胞自动机、随机元胞自动机、及作者创建的多元随机元胞自动机，用于模拟自然界广泛存在的自组织现象。建立了若干自组织行为的元胞自动机模型，并用自己编制的ＰＣＷｉｎｄｏｗｓ环境下的通用元胞自动机程序，模拟了ＢＺ振荡... 详细信息

将确定性元胞自动机、随机元胞自动机、及作者创建的多元随机元胞自动机，用于模拟自然界广泛存在的自组织现象。建立了若干自组织行为的元胞自动机模型，并用自己编制的ＰＣＷｉｎｄｏｗｓ环境下的通用元胞自动机程序，模拟了ＢＺ振荡反应、定向压力下结晶条带形成、三分子化学反应等自组织过程。最后对该程序的工作平台及主要的模块与功能作了简单的说明。

关键词：元胞自动机自组织计算机模拟自动机

来源：评论

学校读者我要写书评

暂无评论

递归数据传送进程的证明系统

引用

计算机学报 1996年第11期19卷 854-860页

作者：林惠民中国科学院软件研究所计算机科学实验室

本文提出递归数据传送进程互模拟的证明系统，并证明了其可靠性和相对于数据推理的完备性．其中关键的推理规则是唯一不动点归纳法．这个结果一方面将Ｍｉｌｎｅｒ关于正则基本ＣＣＳ的公理系统［３］推广到数据传送进程，另一方面将Ｈ... 详细信息

本文提出递归数据传送进程互模拟的证明系统，并证明了其可靠性和相对于数据推理的完备性．其中关键的推理规则是唯一不动点归纳法．这个结果一方面将Ｍｉｌｎｅｒ关于正则基本ＣＣＳ的公理系统［３］推广到数据传送进程，另一方面将Ｈｅｎｎｅｓｓｙ与Ｌｉｎ关于有穷数据传送进程的证明系统［６］推广到无穷进程．

关键词：数据传送进程进程代数形式语义

来源：评论

学校读者我要写书评

暂无评论

SCOP对象管理系统

引用

软件学报 1996年第12期7卷 714-721页

作者：黄涛陈家晚冯玉琳中国科学院软件研究所计算机科学开放研究实验室

对象管理系统ＯＭＳ（ｏｂｊｅｃｔｍａｎａｇｅｍｅｎｔｓｙｓｔｅｍ）是ＳＣＯＰ组合框架软件的核心．本文简要介绍ＳＣＯＰ对象管理系统的设计与实现，包括内存对象管理系统。

关键词：对象实例对象管理系统 SCOP 软件开发

来源：评论

学校读者我要写书评

暂无评论

PCLAgenda:一个基于过程的CASE环境

引用

软件学报 1996年第12期7卷 735-742页

作者：武小鹏黄涛冯涛中国科学院软件研究所计算机科学开放研究实验室

本文描述了ＰＣＬＡｇｅｎｄａ（ｐｒｏｃｅｓｓｃｏｎｔｒｏｌｉｎｇｌａｎｇｕａｇｅａｇｅｎｄａ）的设计与实现．ＰＣＬＡｇｅｎ－ｄａ是ＳＣＯＰ组合框架软件工具系统中提供的以过程为核心的软件工程环境，其主要功能是定义软件开... 详细信息

本文描述了ＰＣＬＡｇｅｎｄａ（ｐｒｏｃｅｓｓｃｏｎｔｒｏｌｉｎｇｌａｎｇｕａｇｅａｇｅｎｄａ）的设计与实现．ＰＣＬＡｇｅｎ－ｄａ是ＳＣＯＰ组合框架软件工具系统中提供的以过程为核心的软件工程环境，其主要功能是定义软件开发过程，指导、控制和自动化软件开发工作，支持开发人员的合作和协调．ＰＣＬＡｇｅｎｄａ的核心是基于ＳＣＯＰ软件开发方法学的。

关键词：软件过程 CASE 软件工具 PCLAgenda

来源：评论

学校读者我要写书评

暂无评论

对象描述语言及其指称描述

引用

软件学报 1996年第10期7卷 577-586页

作者：黄涛冯玉琳倪彬李京中国科学院软件研究所计算机科学开放实验室中国科技大学计算机系

在面向对象的软件构造中，对象被视为软件系统的基本构件．本文提出对象规范描述语言ＯＤＬ（ｏｂｊｅｃｔｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ），并给出其主要结构的ＳＯＰ指称描述．ＳＯＰ演算的理论范集给出对象的形式描述．Ｓ... 详细信息

在面向对象的软件构造中，对象被视为软件系统的基本构件．本文提出对象规范描述语言ＯＤＬ（ｏｂｊｅｃｔｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ），并给出其主要结构的ＳＯＰ指称描述．ＳＯＰ演算的理论范集给出对象的形式描述．ＳＯＰ理论范集反映了对象的封装性，在这样的逻辑框架下，对象的属性（结构）和动作（行为）得以统一．对象聚合提供了由已有对象描述构造复杂对象描述的机制；而继承则可以扩充给定的对象描述并保持原描述的特性．此外。

关键词：面向对象对象描述语言指称描述

来源：评论

学校读者我要写书评

暂无评论

中国图形工程：1995

引用

中国图象图形学报（A辑） 1996年第3期1卷 232-237页

作者：吴恩华中国科学院软件研究所计算机科学实验室

对计算机图形学及至图形工程作了简要的介绍，并论述了图形与图象工程的关系。基于目前我国图形工程的研究以及有关文献的分布情况，在１９９５年出版的一些重要期刊上选取了近百篇有关图形工程的论文并根据其内容进行了分类统计。旨在... 详细信息

对计算机图形学及至图形工程作了简要的介绍，并论述了图形与图象工程的关系。基于目前我国图形工程的研究以及有关文献的分布情况，在１９９５年出版的一些重要期刊上选取了近百篇有关图形工程的论文并根据其内容进行了分类统计。旨在使读者对图形工程的发展状况有一个总体了解，并对从事这一领域工作的读者查阅文献提供方便。

关键词：计算机图形学图形工程图形处理图象综合

来源：评论

学校读者我要写书评

暂无评论

OOAnalysis的设计和实现

引用

软件学报 1996年第12期7卷 752-759页

作者：倪彬冯玉琳黄涛中国科学院软件研究所计算机科学开放研究实验室

ＳＣＯＰ是一个面向对象的组合框架软件，ＯＯＡｎａｌｙｓｉｓ是ＳＣＯＰ中支持系统分析的一个工具系统，本文介绍了ＯＯＡｎａｌｙｓｉｓ的设计和实现．该工具采用并行／递归式面向对象的分析方法，采用自底向上的系统构造和对象抽象... 详细信息

ＳＣＯＰ是一个面向对象的组合框架软件，ＯＯＡｎａｌｙｓｉｓ是ＳＣＯＰ中支持系统分析的一个工具系统，本文介绍了ＯＯＡｎａｌｙｓｉｓ的设计和实现．该工具采用并行／递归式面向对象的分析方法，采用自底向上的系统构造和对象抽象与自顶向下的系统分解和对象精化相结合的方法建立对象模型，强调多层次抽象、并行工作和递归建模．这个工具有多层次。

关键词： OOAnalysis 设计面向对象软件工程

来源：评论

学校读者我要写书评

暂无评论

获取上下文无关文法的一种交互式算法