论文部分内容阅读
本文选取C.A.R.Hoder 在1978年所提出的通信的顺序进程(Communica-ting sequential processes.简称CSP)作为分布式程序设计语言,给出了CSP 语言的一种指称语义,同时也讨论了分布式程序设计语言中的不确定性、并行性和通信问题。
分布式程序设计语言的指称语义
【摘 要】
：
本文选取C.A.R.Hoder 在1978年所提出的通信的顺序进程(Communica-ting sequential processes.简称CSP)作为分布式程序设计语言,给出了CSP 语言的一种指称语义,同时也讨论了分布式程序设计语言中的不确定性、并行性和通信问题。
【机 构】
：
武汉大学
【出 处】
：
计算机应用与软件
【发表日期】
：
1989年01期
其他文献
本文概述了(以MC14500B 为ICU 的)一位机软件开发系统的构成、运行方式、功能和操作命令,并附有实例。一般情况下,用户可应用系统提供的十七条命令在微型计算机上完成一位机的软件开发工作。对于有特殊要求的用户,本系统也具有较强的适应性,又由于系统支持的一位机汇编语言表述直观,运行方便,所以其将为初学者和软件开发者提供一个理想的环境。
本文介绍操作系统中信号量管理部分的固化。信号量管理部分是操作系统中频繁运行的程序段之一,因此,这部分的固化对提高机器的速度有明显的效果。特别是对资源种类多、数量大的计算机系统,速度的提高就会更加显著。我们在科研中,完成了信号量管理的固化。本文还将讨论固化后的性能评价。
本文介绍一个仓库器材管理系统中的文件组织压缩技术,包括编码叠加、前缀压缩、权表示和地址映射。该系统已在BL-Z8000微机上实现。系统的运行说明这些技术是有效可行的。
期刊
1病例简介患儿女性，7岁，因“反复发作性抽搐9个月，左侧肢体乏力6个月”于2007年11月17日入院。患儿于9个月前无明显诱因下被发现突发双眼向左凝视，嘴角向右抽动，伴傻笑，对周围事物
本文介绍了用微型计算机进行信用证管理和发报的设计思想以及数据处理技术。介绍了LCMS(Letter of Oredit Management Systm)中交互式字处理设计及实现过程。LCMS 系统实现了对信用证的输入编辑、编目存档、自动发报、格式输出和查讯、修改、删除、统计等管理工作。本系统在中国银行上海分行等银行投入使用,开出信用证已发往香港、日本、美国、欧洲各国。反映良好,并已收到经济效益。
本文对6台间歇式高温高压染色机用微型计算机行进在线实时数据采集、处理和控制的系统进行了论述。系统并设有手控系统,对人工干预能及时作出反应和记录,可有效地制止操作自由化情况的发生。系统还强化了安全措施,确保了安全生产和促进了企业的生产管理。应用后,增产8%。
NOD(Null Object Detection)是计算机图形学,计算机辅助设计和机器人学中的一个重要问题,也是一个比较复杂的问题。本文给出一个解决NOD 问题的算法,可以判别二维和三维的运动物体和静止物体,并给出了一种简单的判别两多面体无交的方法,引入高维时空,很好地解决了运动物体的无碰撞路径的判别问题。本文还对算法进行了分析,并在计算机上已经实现,效果良好。
目的 了解高原地区(海拔2230 m)动脉弹性功能(大动脉弹性指数C1,小动脉弹性指数C2)与非心源性脑梗死复发的关系及临床意义.方法 采用美国HDI-D0-2020动脉测试仪测定了342例脑
经颅彩色双功能超声（transcranial color-coded duplex sonography，TCCS）将二维灰阶实时显像、彩色多普勒血流显像和多普勒频谱分析技术结合在一起，非侵入性观察脑实质和颅内血管
本文提出了一种新的基于方形网栅的形状描述方法,并将这种描述平面形状的方法扩充到三维的情况。它的主要思想是根据所要描述的物体形状来决定描述系统的坐标系,然后在此坐标系下对物体进行描述。本算法既能产生描述矩阵,又能根据描述矩阵完整地恢复原来的形状,还能根据描述矩阵进行模板匹配。本算法对于旋转、平移和比例放大、缩小是不变的。本算法还能推广到三维物体的描述和识别情况。