一种包含Transputer的异构型分布式并行计算系统的架构

1

作者 陈德来 王晨 张德富 《小型微型计算机系统》 CSCD 北大核心 1996年第2期1-5,共5页

本文针对ＰＶＭ不支持Ｔｒａｎｓｐｕｔｅｒ的不足，介绍了基于ＴＣＰ／ＩＰ的Ｔｒａｎｓｐｕｔｅｒ异构型分布式并行计算系统（Ｔ－ＤＰＣＳ）的软硬件架构。从通信协议的选择、Ｔｒａｎｓｐｕｔｅｒ共享支持软件、分布式协同软件架构... 本文针对ＰＶＭ不支持Ｔｒａｎｓｐｕｔｅｒ的不足，介绍了基于ＴＣＰ／ＩＰ的Ｔｒａｎｓｐｕｔｅｒ异构型分布式并行计算系统（Ｔ－ＤＰＣＳ）的软硬件架构。从通信协议的选择、Ｔｒａｎｓｐｕｔｅｒ共享支持软件、分布式协同软件架构和通信函数库的实现等４个方面详细地阐述了实现ＴＤＰＣＳ的方案，并进行了原型实现。 展开更多

关键词 并行计算 异构型 分布式计算机

在线阅读 下载PDF 职称材料

面向Agent软件工程(Ⅰ):Agent计算、编程风范与语言设计 被引量：10

2

作者 樊晓聪 徐殿祥 +2 位作者 侯建民 陈冠岭 郑国梁 《计算机科学》 CSCD 北大核心 1998年第3期1-7,共7页

Agent技术源于人工智能,现已融入主流计算机的各个领域。

关键词 软件工程 人工智能 AGENT 计算 编程风范

在线阅读 下载PDF 职称材料

复杂系统的软件工程和需求工程专题前言 被引量：2

3

作者 毛新军 吴文峻 +1 位作者 马晓星 刘璘 《计算机科学》 CSCD 北大核心 2020年第12期F0002-F0002,I0001,共2页

当前,我们正处于一个软件定义一切的时代,软件无处不在,渗透到社会经济生活的各行各业,成为了人类社会不可或缺的关键基础设备。在这一特殊时代,软件系统的运行支撑环境、自身的规模和形态等复杂性特征也发生了深刻的变化。越来越多的... 当前,我们正处于一个软件定义一切的时代,软件无处不在,渗透到社会经济生活的各行各业,成为了人类社会不可或缺的关键基础设备。在这一特殊时代,软件系统的运行支撑环境、自身的规模和形态等复杂性特征也发生了深刻的变化。越来越多的软件系统连接了各类物理设备和社会群体,是一类融合信息、物理和社会等多种要素的复杂系统。 展开更多

关键词 运行支撑环境 软件工程 软件系统 物理设备 软件定义 复杂性特征 融合信息 社会经济生活

在线阅读 下载PDF 职称材料

一个基于信息网络的软件Agent系统的设计 被引量：1

4

作者 樊晓聪 徐殿祥 郑国梁 《计算机应用与软件》 CSCD 北大核心 2001年第7期49-53,共5页

本文介绍了一个基于信息网络的软件Agent系统(SAFIN)的设计。SAFIN系统以Internet/Intranet为背景,将面向Agent程序设计、Agent通信语言KQML和移动Agent的某些技术集成起来,旨在建立一个实用的Agent框架,方便信息网络中软件Agent系统的... 本文介绍了一个基于信息网络的软件Agent系统(SAFIN)的设计。SAFIN系统以Internet/Intranet为背景,将面向Agent程序设计、Agent通信语言KQML和移动Agent的某些技术集成起来,旨在建立一个实用的Agent框架,方便信息网络中软件Agent系统的构造。 展开更多

关键词 KQML 信息网络 软件Agent系统 INTERNET 人工智能

在线阅读 下载PDF 职称材料

面向模型检验的UML状态机语义 被引量：8

5

作者 周颖 郑国梁 李宣东 《电子学报》 EI CAS CSCD 北大核心 2003年第z1期2091-2095,共5页

UML状态机 (SM)是UML中用来对系统各种元素的离散行为建模的图 .它丰富的表示符号提供了强大的描述机制 ,但也降低了其结构的模块性 ,提高了对其分析验证的难度 .模型检验是自动检验有限状态并发系统的技术 .通过模型检验SM描述的不同... UML状态机 (SM)是UML中用来对系统各种元素的离散行为建模的图 .它丰富的表示符号提供了强大的描述机制 ,但也降低了其结构的模块性 ,提高了对其分析验证的难度 .模型检验是自动检验有限状态并发系统的技术 .通过模型检验SM描述的不同系统元素的行为是否满足某些性质 ,能尽早发现设计中的错误 .为了将模型检验技术应用于SM的验证 ,本文用kripke结构定义SM的操作语义 .与已有的SM语义定义不同 ,本文考虑到了SM中包含的不确定因素 ,用kripke结构描述系统所有可能的演化轨迹 . 展开更多

关键词 UML 状态机 操作语义 KRIPKE结构 模型检验

在线阅读 下载PDF 职称材料

面向Agent软件工程(Ⅱ):规范、实现与验证 被引量：3

6

作者 樊晓聪 徐殿祥 +2 位作者 侯建民 陈冠岭 郑国梁 《计算机科学》 CSCD 北大核心 1998年第4期1-7,共7页

AOP[1,2〕的主要思想是在计算中采用“人格化”这一抽象工具,来解释、理解并编制计算机系统.AOP的优点在于:l)便于agent描述:能用熟悉、非技术性的语言来定义agent;2)嵌套式表示:能够方便地表示包含其它系统描述的系统;3)AOP是一种超描... AOP[1,2〕的主要思想是在计算中采用“人格化”这一抽象工具,来解释、理解并编制计算机系统.AOP的优点在于:l)便于agent描述:能用熟悉、非技术性的语言来定义agent;2)嵌套式表示:能够方便地表示包含其它系统描述的系统;3)AOP是一种超描述性编程风范。在AOP中,我们只需给出一个非常抽象的系统规范,系统在确保其行为与内置的a罗nt理论(如,著名的Cohen一Leve,que意念模型)一致的情况下,由系统的控制机制确定应当怎么做。既然AOP具有很好的发展前景[s1,为使AOP走向实用化,我们必须处理一些软件工程上的问题[’J,即,如何规范、实现和验证面向agent的系统口一般采用非经典逻辑来描述智能agent和多a-gent系统.但是,如何从用逻辑语言描述的规范合理地导出能满足这些规范的实现,是困扰agent理论研究和实际系统实现两大阵营的重要问题,也许主要症结在于:这些逻辑系统通常用抽象、非基本的可能世界语义来刻画agent的信念等心智状态。可能世界语义虽然具有优美的数学性质和对应理论,但可能世界与agent的内部状态之间究竟有什么关系,至今仍不大明朗,因而导致了逻辑系统与实际建立的agent系统之间的关系也模糊不清,而AOP范型的实用化必须首先解决这个问题。 Wooldridge形式定义了一种基于分支时间的表示逻辑Lts], 展开更多

关键词 软件工程 AGENT 人工智能 AOP

在线阅读 下载PDF 职称材料

软件Agent的分析与建模方法 被引量：5

7

作者 樊晓聪 徐殿祥 +1 位作者 侯建民 郑国梁 《南京大学学报（自然科学版）》 CAS CSCD 2000年第2期155-162,共8页

为保证Agent软件系统的质量 ,提高系统的可靠性、正确性、可维护性和可扩展性 ,需要为Agent软件系统提供设计方法学的支持 .以处于分布、开放环境的信息Agent为研究对象 ,以同一应用域分析结果的复用为前提 ,提出了一种面向Agent的分析... 为保证Agent软件系统的质量 ,提高系统的可靠性、正确性、可维护性和可扩展性 ,需要为Agent软件系统提供设计方法学的支持 .以处于分布、开放环境的信息Agent为研究对象 ,以同一应用域分析结果的复用为前提 ,提出了一种面向Agent的分析方法ARC ,阐明了在设计Agent软件系统时采用对象级构件。 展开更多

关键词 软件AGENT 可靠性 可维护性 建模 AGENT系统

在线阅读 下载PDF 职称材料

分形图像编码的快速细粒度迭代解码 被引量：2

8

作者 陈毅松 王继成 张福炎 《计算机学报》 EI CSCD 北大核心 2002年第3期269-275,共7页

该文基于分形图像编码的固有特征 ,阐述和研究了分形图像编码的迭代解码方法的“可分级性”概念 ,在这一思想指导下 ,在迭代解码过程中用单缓冲算法取代传统分形编码中的双缓冲算法 ,在节省了内存空间开销的同时有效地实现了更细粒度上... 该文基于分形图像编码的固有特征 ,阐述和研究了分形图像编码的迭代解码方法的“可分级性”概念 ,在这一思想指导下 ,在迭代解码过程中用单缓冲算法取代传统分形编码中的双缓冲算法 ,在节省了内存空间开销的同时有效地实现了更细粒度上的质量可分级性解码 .继而提出了一种块排序解码算法用于基于变尺寸自适应块分割的分形编解码方案中 ,获得了更快的解码收敛速度 .通过以上一系列算法思想深入地阐述了分形编解码中“质量连续可分级性”的思想 。 展开更多

关键词 分形 迭代函数系统 图像编码 快速细粒度迭代解码

在线阅读 下载PDF 职称材料

并行仿真任务的自动生成软件 被引量：2

9

作者 陈德来 焦进 张德富 《计算机研究与发展》 EI CSCD 北大核心 1996年第3期186-191,共6页

本文阐述了一种将连续系统仿真模型──状态方程模型自动生成并行仿真多任务的软件。该软件实现了从仿真模型生成可并行多任务到仿真结果输出过程的自动化，而且生成的并行仿真任务均衡，并行加速比高，适用于基于机间通信的同构型ＭＩ... 本文阐述了一种将连续系统仿真模型──状态方程模型自动生成并行仿真多任务的软件。该软件实现了从仿真模型生成可并行多任务到仿真结果输出过程的自动化，而且生成的并行仿真任务均衡，并行加速比高，适用于基于机间通信的同构型ＭＩＭＤ系统。 展开更多

关键词 并行处理 软件 仿真 计算机仿真

在线阅读 下载PDF 职称材料

模型层次与自省思想研究 被引量：2

10

作者 周颖 郑国梁 李宣东 《计算机应用与软件》 CSCD 北大核心 2005年第12期1-4,共4页

具备自省能力的系统能够随着环境改变自觉地改变自身的结构和行为,以适应环境变化后的需求。本文试图从模型层次和语言角度探讨实现自省思想的新思路,并给出一个体现自省思想的系统运行框架结构。系统的自省可以通过能够随不同条件改变... 具备自省能力的系统能够随着环境改变自觉地改变自身的结构和行为,以适应环境变化后的需求。本文试图从模型层次和语言角度探讨实现自省思想的新思路,并给出一个体现自省思想的系统运行框架结构。系统的自省可以通过能够随不同条件改变模型元素结构和行为的建模语言获取,现有元模型侧重于结构上的规定,对元素的行为则几乎没有涉及。本文在元模型中显式地引入操作,以控制模型元素的结构和行为。 展开更多

关键词 自省思想 元模型 建模语言 框架结构

在线阅读 下载PDF 职称材料

内核级透明代理TPF的设计与实现 被引量：1

11

作者 蔡圣闻 黄皓 谢俊元 《计算机科学》 CSCD 北大核心 2004年第4期69-73,共5页

代理防火墙存在着性能不高、自身安全性无法保证、可扩展性差等诸多弱点。针对这些问题,本文提出了在定制安全操作系统基础上,将代理程序与OS内核协议栈一体化设计及代理程序分层实现的思想。介绍了报文分类标记、策略树机制、协议栈快... 代理防火墙存在着性能不高、自身安全性无法保证、可扩展性差等诸多弱点。针对这些问题,本文提出了在定制安全操作系统基础上,将代理程序与OS内核协议栈一体化设计及代理程序分层实现的思想。介绍了报文分类标记、策略树机制、协议栈快速通道等实现内核级代理的关键技术,以及在安全OS内核中实现透明代理防火墙TPF的过程。TPF在性能、自身安全性和易扩展性方面较之传统代理防火墙有了显著的提高。 展开更多

关键词 防火墙 网络安全 内核级透明代理 TPF 设计 计算机网络

在线阅读 下载PDF 职称材料

齐心协力——1997年国际软件工程会议概况 被引量：1

12

作者 郑国梁 邵维忠 《计算机科学》 CSCD 北大核心 1998年第2期1-4,共4页

第19届国际软件工程会议于1997年5月17至22日在美国波士顿召开。来自世界各地30个国家和地区的代表,近900人参加了会议。会议的主题是“齐心协力”(pulling together),是针对去年在柏林召开的第18届会议上,出现软件工程领域的“学院派... 第19届国际软件工程会议于1997年5月17至22日在美国波士顿召开。来自世界各地30个国家和地区的代表,近900人参加了会议。会议的主题是“齐心协力”(pulling together),是针对去年在柏林召开的第18届会议上,出现软件工程领域的“学院派”和“工程派”之争而提出的。这次会议的“齐心协力”意味着为了达到共同目标需要各方力量共同奋斗;也表明不同观点、不同基础和能力聚集一起,来寻找达到合作的途径和共同点。会议涉及面很广,发表论文50篇。 展开更多

关键词 软件工程 计算机 超媒体

在线阅读 下载PDF 职称材料

千兆线速防火墙SOFTWall8000的设计与实现

13

作者 石聪聪 蔡圣闻 谢俊元 《计算机工程与设计》 CSCD 北大核心 2007年第24期5858-5862,共5页

随着千兆网络开始在国内大规模普及,对千兆线速防火墙等高性能网络安全产品的需求日益迫切。利用XpeediumTM CXE-16芯片、pp1200、TCAM和CPCI2.16技术开发了千兆线速防火墙硬件平台,并基于该平台设计并实现了千兆线速级防火墙系统SOFTWa... 随着千兆网络开始在国内大规模普及,对千兆线速防火墙等高性能网络安全产品的需求日益迫切。利用XpeediumTM CXE-16芯片、pp1200、TCAM和CPCI2.16技术开发了千兆线速防火墙硬件平台,并基于该平台设计并实现了千兆线速级防火墙系统SOFTWall8000。该防火墙系统与使用网络处理器(NP)和ASIC技术实现的千兆防火墙系统相比,具有结构开放、灵活,综合计算能力强,可靠性高等优势。 展开更多

关键词 千兆 线速 防火墙 负载均衡 并行

在线阅读 下载PDF 职称材料

光盘只读存储器的物理结构及原理

14

作者 潘树陆 朱文东 武港山 《计算机研究与发展》 EI CSCD 北大核心 1996年第12期940-944,共5页

本文简要介绍了光盘只读存储器（ＣＤ－ＲＯＭ）的存储原理，着重描述了它的物理记录格式，并详细讨论了光盘的控制和显示机制。

关键词 物理结构 光盘只读存储器 存储器

在线阅读 下载PDF 职称材料

基于反转矩阵的含重复项的关联规则挖掘算法 被引量：1

15

作者 樊征 柏文阳 徐洁磐 《计算机科学》 CSCD 北大核心 2004年第6期164-166,共3页

本文研究了多层关联规则挖掘中在由低概念层泛化至较高概念层后出现的含重复项规则的问题,在当前最新的高效关联规则发掘算法(IM)基础上引入了“数量”概念,提出了一种用于挖掘含重复项规则的新算法,并对其性能进行了分析。

关键词 数据挖掘 关联规则 反转矩阵 重复项 挖掘算法 IM

在线阅读 下载PDF 职称材料