2. 您的位置
3. 首页
4. 期刊论文
5. Liveness characterization for GFC systems (Ⅱ)

Liveness characterization for GFC systems (Ⅱ)

来源 :中国科学：技术科学英文版 | 被引量 : 0次 | 上传用户：jojo0911216779

【摘 要】

：

Several liveness theorems for GFC (the generalized free choice) systems in a reductive approach are presented.What is interesting is that the characterization i

【作 者】

：

曹存 

【机 构】

：

InstituteofComputingTechnology,ChineseAcademyofSciences,Beijing100080,China

【出 处】

：

中国科学：技术科学英文版

【发表日期】

：

1996年2期

【关键词】

：

free-choice NET LIVENESS GENERALIZED free-choice NET free-choice net liveness ge 

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

Several liveness theorems for GFC (the generalized free choice) systems in a reductive approach are presented.What is interesting is that the characterization is just based on deadlocks,rather than on both deadlocks and traps as Commoner characterizes the

其他文献

Method for near-net forming of a sand mold with digital flexible extrusion technology

期刊

Sintering and dielectric properties of fine-grained BaTiO₃ ceramics

A new sintering method, spark plasma sintering （SPS）, is described for the sintering of fine-grained BaTiO₃ ceramics. Dense ceramics with fine grain si

期刊

BATIO3SINTERINGmethodDIELECTRICproperty.BaTiO3 sintering method dielectri

Effect of ultrasonic melt treatment on degassing of Mg-6Zn-1Ca alloy

The effect of ultrasonic power and treatment time on degassing of Mg-6Zn-1Ca alloy was studied in this paper. The degassing effect was characterized by measurin

期刊

Deformation and fracture of a Zr-Al-Cu metallic glass ribbon under tension near glass transition tem

期刊

METALLICGLASSEShightemperaturemechanicalpropertiesFRACTUREbehaviorplasti

Influence of core sand properties on flow dynamics of core shooting process based on experiment and

流动动力学上的核心沙性质的影响与各种各样的核心沙，透明核心盒子和高速度的照相机同时地被调查。证实射击过程的核心是否有重要骚乱，在射击的头和核心盒子的沙粒子的流动模式

期刊

核心射击过程沙性质文件夹比率二液体的模型流动动态骚乱TG221+.2/391.92Acore shooting process sand pro

Microstructure and mechanical properties of twostep Cu-alloyed ADI treated by different second step

Austempering ductile iron (ADI) is an attractive material due to its excellent comprehensive mechanical properties. However, the deficit in elongation and tough

期刊

TWO-STEPAUSTEMPERINGprocessCu-alloyedADImicrostructuremechanicalpropertie

Effects of Pb on microstructure,mechanical properties and corrosion resistance of as-cast Mg97Zn1Y2

In this present work,Pb was applied in the Mg97Zn1Y2 alloy to improve its microstructure and properties,using conventional casting methods.The microstructure an

期刊

Mg-Zn-Y-PballoyMICROSTRUCTURELPSOphasemechanicalpropertiescorrosionresis

Global annealing genetic algorithm and its convergence analysis

A new selection mechanism termed global annealing selection (GAnS) is proposed for the genetic algorithm. It is proved that the GAnS genetic algorithm converges

期刊

geneticalgorithmsimulatedEVOLUTIONARYCOMPUTATIONcomputationalINTELLIGENCE

Influence of thermal exposure on microstructure and stress rupture properties of a new Re-containing

在这研究，长期的热微结构稳定性和相关压力破裂新重新包含的基于 Ni 的单个水晶的 superalloy 生活， DD11，为时间的不同长度在高温度的暴露以后被调查。结果证明 precipitates

期刊

Effect of mixing rate and temperature on primary Si phase of hypereutectic Al-20Si alloy during cont

Controlled Diffusion Solidification(CDS) is a promising process relied on mixing two liquid alloys of precisely controlled chemistry and temperature in order to

期刊