Liveness characterization for GFC systems(Ⅰ)

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

【摘要】

：

The significant features concerning liveness of generalized free-choice (GFC) systems are discussed.These features provide a sound basis for analyzing liveness

【作者】

：

曹存根

【机构】

：

InstituteofComputingTechnology,ChineseAcademyofSciences,Beijing100080,China

【出处】

：

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

【发表日期】

：

1996年2期

【关键词】

：

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

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

The significant features concerning liveness of generalized free-choice (GFC) systems are discussed.These features provide a sound basis for analyzing liveness of GFC systems in a reductive approach.What is interesting is that the characterization is just

其他文献

Humidity-resistant inorganic binder for sand core making in foundry practice

The performance of sand core was improved by using the modified water glass as a binder and adding powder additives in the sand hardening process. The optimal p

期刊

waterglassINORGANICBINDERCOMPOUNDADDITIVEShumidity-resistance

An approach to software development based on heterogeneous component reuse and its supporting system

Software reuse is considered as a practical approach to solving the software crisis. The BD-HCRUS, a software development supporting system based on heterogeneo

期刊

softwareREUSEHETEROGENEOUSCOMPONENTCOMPONENTlibraryOBJECT-ORIENTATIONprog

Single and double aging treatments on Mg97Zn1Y2 alloy

The development of magnesium alloys was limited due to the low absolute strength and poor corrosion resistance. It was found that the optimal performance could

期刊

SINGLEAGINGDOUBLEAGINGMg97Zn1Y2ALLOYLPSOPHASE

Quantifier hierarchies over the first-Order definable tree languages

Using Boolean operations and concatenation product w.r.t special trees,quantifier hierarchies are given by way of alternate existential and universal quantifier

期刊

FIRST-ORDERLOGICDEFINABILITYtreehierarchy.first-order logicdefinabilitytr

Impacts of zinc layer and pouring method on interface performance for Al-22Si/ZL104 bi-metal

膨胀率不同的金属片材料由形成水花的 Al-22Si 和 ZL104 组成是在内燃机的应用的一个合适的候选人。这研究调查了表面处理和适当 gating 的效果在为生产评估最佳的策略的微观

期刊

膨胀率不同的金属片艾尔合金接口结合锌涂层bi-metal AI alloy interface bonding zinc coating

Finite element analysis for die casting parameters in high-pressure die casting process

The gating system and the overflow system were designed according to the casting structure during high pressure die casting(HPDC) process. The simulation was ca

期刊

ALUMINUMALLOYDIECASTINGprocesssimulationoptimization

Phase-field numerical simulation of three-dimensional competitive growth of dendrites in a binary al

在树突的稳固液体的接口的移植方向的正常向量被用来描述管理方程的阶段地。由使用正常向量为树枝状的生长接口的迁居方向和模拟区域的并列斧子形成的三个角度，作者表示了界面

期刊

Experimental study on water seepage constitutive law of fracture in rock under 3D stress

The test method and test result of water seepage constitutive law of fracture in rock under 3D stress are introduced. A permeability coefficient formula includi

期刊

3DSTRESSFRACTUREinROCKWATERSEEPAGECONSTITUTIVElawexperimentalstudy.3D

Mechanism of hydrogen-induced intergranular cracking of tubular steels

Hydrogen could be enriched on grain boundaries by stress induction and other traps.The enriched hydrogen facilitated emission and movement of dislocations and l

期刊

TUBULARsteelHYDROGENinducedCRACKINGINTERGRANULARfracture.tubular steelhy

Influence of Ca on microstructure and corrosion resistance of Mg-14Li alloy

期刊

Liveness characterization for GFC systems(Ⅰ)

与本文相关的学术论文