面向对象程序设计体裁嵌入FFP-AST系统 被引量：2

1

作者 江明德 菊燕 《软件学报》 EI CSCD 北大核心 1990年第4期55-64,共10页

FFP语言是这样的一种纯粹的泛函程序设计语言,它奠基于严格的数学理论基础之上,是归约语言L_4的一个子类。本文将面向对象编程(OOP)体裁相当简洁地嵌入到FFP-AST系统中。这样,一方面,揭示了面向对象编程体裁(OOPP)与泛函编程体裁(FPP)... FFP语言是这样的一种纯粹的泛函程序设计语言,它奠基于严格的数学理论基础之上,是归约语言L_4的一个子类。本文将面向对象编程(OOP)体裁相当简洁地嵌入到FFP-AST系统中。这样,一方面,揭示了面向对象编程体裁(OOPP)与泛函编程体裁(FPP)之间的近亲关系;另一方面,为OOPP奠定了 FFP-AST语义描述。本文实质上也提供了一种“加于FFP语言之上的兼备FPP和OOPP的编程语言”。贯穿文中的方法论归结为:紧密联系和使用自动机这一概念。 展开更多

关键词 面向对象 程序设计 FFP-AST系统

在线阅读 下载PDF 职称材料

基于Transputer网络的中粒度并行操作系统

2

作者 陈勇 刘心松 虞厥邦 《电子科技大学学报》 EI CAS CSCD 北大核心 1995年第5期510-514,共5页

Ｔｒａｎｓｐｕｔｅｒ是一种特别适于并行处理的处理器芯片，但是由于缺乏系统支撑软件，使得对其进行应用开发很不方便。ＭＧＰＯＳ（Ｍｅｄｉｕｍ－ＧｒａｉｎｅｄｐａｒａｌｌｅｌＯｐｅｒａｔｉｎｇＳｙｓｔｅｍ）是一个基于Ｔｒａ... Ｔｒａｎｓｐｕｔｅｒ是一种特别适于并行处理的处理器芯片，但是由于缺乏系统支撑软件，使得对其进行应用开发很不方便。ＭＧＰＯＳ（Ｍｅｄｉｕｍ－ＧｒａｉｎｅｄｐａｒａｌｌｅｌＯｐｅｒａｔｉｎｇＳｙｓｔｅｍ）是一个基于Ｔｒａｎｓｐｕｔｅｒ网络的多任务多进程并行处理操作系统，它支持现有Ｔｒａｎｓｐｕｔｅｒ的ＯＣＣＡＭ程序设计模型，同时允许在装载时根据硬件资源情况对任务进行分配。此外所提供的存储管理接口和进程通信接口等功能为应用程序的开发提供了良好的基础。本文描述了该操作系统的设计思想以及一些关键技术，同时对其所特有的一些性能进行了说明，该平台的建立为并行处理技术的进一步研究提供了有力的支持。 展开更多

关键词 操作系统 并行处理

在线阅读 下载PDF 职称材料

需求分析与获取的方法学与技术 被引量：10

3

作者 陈晓桦 刘心松 《计算机应用》 CSCD 1995年第2期19-21,共3页

本文给出需求工程的一般框架，在对需求分类的基础上主要讨论非功能性（即非行为性）需求，提出对软件需求规范和分析技术的要求，并强调对现有相关工作评价的其中两个方面。

关键词 软件开发 需求分析 需求规范 需求工程

在线阅读 下载PDF 职称材料

Internet四川节点的网络环境 被引量：1

4

作者 江海云 庄昌文 刘心松 《情报学报》 CSSCI 北大核心 1996年第2期132-140,共9页

四川省科技情报所近期通过Ｉｎｔｅｒｎｅｔ服务节点，在四川省内建成了一种信息高速公路环境。本文就四川省Ｉｎｔｅｒｎｅｔ服务节点硬件环境、软件环境和连入Ｉｎｔｅｒｎｅｔ的方法等做简要介绍。

关键词 INTERNET 硬件环境 软件环境 网络连接

在线阅读 下载PDF 职称材料

使用触发器维护数据的相关完整性 被引量：5

5

作者 陆鑫 《电子科技大学学报》 EI CAS CSCD 北大核心 1999年第2期187-190,共4页

描述了在数据库应用系统中利用触发器维护数据相关完整性的实际意义：介绍了在SYBASE数据库应用系统中创建和删除触发器的基本语法，并对触发器涉及的临时表和全局变量进行了说明：给出了使用触发器维护数据相关完整性的应用方法和应用... 描述了在数据库应用系统中利用触发器维护数据相关完整性的实际意义：介绍了在SYBASE数据库应用系统中创建和删除触发器的基本语法，并对触发器涉及的临时表和全局变量进行了说明：给出了使用触发器维护数据相关完整性的应用方法和应用实例。 展开更多

关键词 SYBASE数据库 触发器 相关完整性 维护数据

在线阅读 下载PDF 职称材料

基于Transputer的中粒度多任务管理的研究 被引量：1

6

作者 陈勇 刘心松 虞厥邦 《小型微型计算机系统》 CSCD 北大核心 1995年第10期6-11,共6页

Ｔｒａｎｓｐｕｔｅｒ是一种特别适于并行处理的处理器芯片，但是由于缺乏系统支撑软件使得对其开发显得很不方便。ＭＧＰＯＳ是一个基于Ｔｒａｎｓｐｕｔｅｒ网络的单用户多任务并行处理操作系统，它支持现有Ｔｒａｎｓｐｕｔｅｒ的Ｏ... Ｔｒａｎｓｐｕｔｅｒ是一种特别适于并行处理的处理器芯片，但是由于缺乏系统支撑软件使得对其开发显得很不方便。ＭＧＰＯＳ是一个基于Ｔｒａｎｓｐｕｔｅｒ网络的单用户多任务并行处理操作系统，它支持现有Ｔｒａｎｓｐｕｔｅｒ的ＯＣＣＡＭ程序设计模型，同时允许在装载时根据硬件资源情况对任务进行分配，此外所提供的存储管理接口和任务通信接口等功能为应用程序的开发提供了良好的基础。本文着重描述了该操作系统任务管理的设计思想及其关键技术，同时对其所特有的一些性能也进行了说明。该平台的建立为并行处理技术的进一步研究提供了有力的支持。 展开更多

关键词 中粒度 多任务管理 操作系统 并行处理

在线阅读 下载PDF 职称材料

一个面向对象的实时分布式语言的指称语义

7

作者 左志宏 龚天富 《软件学报》 EI CSCD 北大核心 1996年第4期244-251,共8页

本文给出了一个面向对象的实时分布式语言的指称语义，在不同层次Ｌ给出了语句、对象和程序的清晰描述．提出了实时状态的概念．借助于它，在指称语义的框架内，简洁地刻画了语言的实时特性．

关键词 实时 指称语义 面向对象 分布式语言

在线阅读 下载PDF 职称材料

SELF^2,泛函·方程·逻辑·集合论四体裁一体化的编程语言:语言设计

8

作者 江明德 《电子科技大学学报》 EI CAS CSCD 北大核心 1991年第6期637-645,共9页

设计了一种新人工智能编程语言SELF^2,它融合四种编程体裁(泛函,方程,逻辑,集合论)于一体,将成为Lyusia语言新版本的核心。SELF^2语言的设计分成四个阶段:(具函数、方程和逻辑三编程体裁的)SELF^2核仁设计,向集合论的扩展,蚋入表这个特... 设计了一种新人工智能编程语言SELF^2,它融合四种编程体裁(泛函,方程,逻辑,集合论)于一体,将成为Lyusia语言新版本的核心。SELF^2语言的设计分成四个阶段:(具函数、方程和逻辑三编程体裁的)SELF^2核仁设计,向集合论的扩展,蚋入表这个特殊构造,向泛函的扩展。SELF^2的实现工作大致地可按此四阶段逐一实现,逐步扩展。SELF^2语言核仁及SELF^2的各阶段扩展成的语言均可各自成为独立的编程语言。SELF^2语言的设计思想主要基于g_(γω)理论,它是g_(γω)的一应用系统(语言)的子集。 展开更多

关键词 计算机程序 编程语言 泛函 方程 逻辑 集合论 多体裁一体化 理论 柳霞语言

在线阅读 下载PDF 职称材料

高阶谓词演算向一阶数学理论■_(γω)的转化及其与编程语言的牵连

9

作者 江明德 柳达夫 《小型微型计算机系统》 CSCD 北大核心 1991年第10期13-19,36,共8页

■_(γω)理论是一种一阶数学理论,它融合γω 演算与经典的谓词演算于一体。本文论述“经典的高阶谓词演算可直接转化成_(γω)理论”,并讨论此种转化与程序设计语言之间的牵连。

关键词 高阶谓词 一阶数学理论 语言 编程

在线阅读 下载PDF 职称材料

L^6PC中的动态任务调度

10

作者 李结义 刘心松 《小型微型计算机系统》 CSCD 北大核心 1990年第2期28-31,共4页

在分布式计算机系统中,多机之间的动态任务调度是取得系统高速、高可靠性和资源分享的核心措施。我们在由八台80286AT机连成的立方体拓扑结构上开发成功了一个分布式操作系统的研究模型(L^6PC),本文对其基于概率计算和梯度招标的动态任... 在分布式计算机系统中,多机之间的动态任务调度是取得系统高速、高可靠性和资源分享的核心措施。我们在由八台80286AT机连成的立方体拓扑结构上开发成功了一个分布式操作系统的研究模型(L^6PC),本文对其基于概率计算和梯度招标的动态任务调度算法进行了介绍。初步试验表明,该调度算法实现简单,有广泛的实用价值。 展开更多

关键词 任务调度 操作系统 分布式 计算机

在线阅读 下载PDF 职称材料

UNIX中异种文件透明访问的方法

11

作者 刘珶 《电子科技大学学报》 EI CAS CSCD 北大核心 1995年第2期201-206,共6页

给出了一种在ＵＮＩＸ的虚拟文件系统下，通过设置文件的ｖ节点的操作指针指向、子文件系统的ｒｆｓ结构的操作指针指向和基本操作函数组的初始值，来实现异种文件系统共存和可对异种文件进行透明访问的文件系统结构形式，并给出了实现... 给出了一种在ＵＮＩＸ的虚拟文件系统下，通过设置文件的ｖ节点的操作指针指向、子文件系统的ｒｆｓ结构的操作指针指向和基本操作函数组的初始值，来实现异种文件系统共存和可对异种文件进行透明访问的文件系统结构形式，并给出了实现这种新的文件系统结构的方法。 展开更多

关键词 UNIX 操作系统 虚拟文件系统 透明访问 v节点

在线阅读 下载PDF 职称材料