论文部分内容阅读
本文提出了一种新的刻划并发行为的方法.这种方法的基础是笔者近年来设计并实现的一种面向对象的程序设计语言.尽管语言本身没有特别引入用于并发程序设计的设施,但它却能用来描述各种并发行为的模型,并以完善的高级形式提交给用户.
并发行为对象的构造
【摘 要】
：
本文提出了一种新的刻划并发行为的方法.这种方法的基础是笔者近年来设计并实现的一种面向对象的程序设计语言.尽管语言本身没有特别引入用于并发程序设计的设施,但它却能用
【机 构】
：
南京大学计算机科学系南京210008
【出 处】
：
计算机学报
【发表日期】
：
1992年4期
【基金项目】
：
国家自然科学基金青年基金
其他文献
本文给出一个三维标量场和向量场的视觉化方法.首先,采用具有空间面纹理和线纹理的三维介质体作为视觉模型来反映三维场的信息;并通过调整介质体密度分布的办法,加强视觉模型
SJ350型钻井平台是我国自主研发的最大作业水深350英尺(106.68m)的高规格自升式钻井平台。本文详细阐述了SJ350的主尺度和总体布置,进行了设计环境条件、拖航稳性、抗倾稳性
局部切割和构件替换是半潜式平台特检过程中的可能施工项目,但局部切割后平台原有的结构形式将发生显著改变,使应力重新分布,可能产生较为危险的高应力区域。本文采用有限元
BJ-01并行计算机系统是一个充分考虑混沌行为研究需要的通用并行计算机系统.它采用MIMD结构和主从式工作方式,其局部存储和共享存储分开,具有多层地址空间.处理机和共享存储
本文提出示例学习的一种计算理论,扩张矩阵论.根据这个理论,示例学习中一些主要最优化问题被证明是NP难题,并给出这些难题的近似解法及下界的估计.
GFKD-DSS系统是一个决策支持系统开发工具.它由两大部分组成:管理系统和运行控制系统.管理系统提供DSS管理语言,实现对模型库的管理、模型文件的管理和对数据库的使用.运行控
对柳蘑生物学特性进行比较研究,结果表明：柳蘑菌丝生长适宜温度为20-30℃,最适温度为25℃;生长的最适光照条件是全黑暗;生长的pH为5-11,最适生长pH为6;最适碳源为蔗糖,葡萄糖
为了使一个共享资源多处理机系统在局部时空内实现性能优化,便要求在同一个系统中实现多种裁决方案。本文由此简单讨论了各种类型的裁决器,进而提出了一种可变优先策略裁决器
本文提出了一个集成化的软件测试支撑环境INSENST的设计思想,并对INSENST的初步设计及详细设计方法进行了深入的讨论。