论文部分内容阅读
<正>不同于顺序程序,并发程序并不能完全主简单的输入／输出关系采说明。并发程序的一个执斤行为可以视为一个无穷状态序列
并发程序性质的时序分析
【摘 要】
：
<正>不同于顺序程序,并发程序并不能完全主简单的输入／输出关系采说明。并发程序的一个执斤行为可以视为一个无穷状态序列
【机 构】
：
上海贝尔电话公司R＆D,南京大学计算机科学系
【出 处】
：
计算机科学
【发表日期】
：
1998年1期
其他文献
当电网发生故障停止供电时,需快速检测出分布式发电系统形成的微网电力孤岛,停止其与电网之间的并网连接,正反馈主动移频式（active frequency drift with positive feedback,A
<正> 业务流程重组(BPR)是90年代产生的一种新的管理思想,其本质特征在于对企业的业务流程进行彻底的重新设计,以期最终提高企业的经营效益。它是一种着眼于长远和全局,突出
为了提高风力机的发电效率,优化风机叶片的翼型,以NREL研发的S809翼型为优化对象,设计了双层叶片翼型模型,利用Auto CAD软件建立了双层叶片翼型的几何模型。采取计算流体力学
<正> 近年来,计算机网络的普及使Internet成为世界上最大的信息网,目前已有两万多个WWW服务器,且每天还在以两百个以上的速度增加,其蕴藏的数据已无法计量,因此如何从这些巨
基于某风电场出力的实际数据,从不同时间尺度上分析了该风电场的功率波动特性。考虑了风电场弃风成本、储能惩罚成本、储能投资和运行成本,通过3种成本间的制约关系,构建了储
<正> 一、前言近几年来,随着大容量存储器和数字化图像设备,诸如扫描仪、数字相机等技术的发展和普及应用。图像数据呈现级数的增长。由于无论是WWW还是企业单位部门都拥有大
一、引言分布式人工智能(DAD主要研究在逻辑上或物理上分散的智能系统如何并行地,相互协作地进行问题求解。DAI是在传统AI的基础上发展起来的,分为分布式问题求解(DPS)和多Ag
<正> 1.引言 Java是Sun Microsystem公司开发的新一代面向对象的程序设计语言,其最主要设计目标之一是平台无关性以及可移植性,能很好地解决国际互连网的异构问题。随着以WWW
<正> 1 引言虚拟现实建模语言VRML(Virtual Reality Modeling Language)是虚拟现实技术在Internet上的应用。如同HTML语言一样,VRML语言也是一种描述语言,不同的是HTML语言主
The messaging mechanism in distributed Virtual Environments (dVEs) deals with the issue of message delivery between participating entities and users. As dVEs ar