首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 15 毫秒
1.
并发计算的元模型Ⅳ.公理化   总被引:1,自引:1,他引:0  
在chi进程间互模拟格的基础上,利用L-互模拟的开刻划,给出所有4个L-互模拟等价诱导的同余关系的完全公理化系统。4个L-互模拟等价中最小的同余关系的公理系统,由强互模拟等价的公理系统与3条tau规则构成,在此基础上,分别加入一条输出规则和/或其对偶形式,即得其他3个公理系统。  相似文献   

2.
讨论pi演算和chi演算之间的关系问题,通过构造从pi演算到chi演算的翻译,证明了chi演算的表达能力不亚于pi演算。该翻译保持操作性质和开互模拟等价的代数性质。  相似文献   

3.
在有关 chi演算的基础上 ,用统一的方法在 chi进程上引入一大类互模拟等价关系 ,即 L -互模拟等价关系。证明了只有 4个不同的 L -互模拟等价 ;在包含关系下 ,它们构成钻石格。许多常见的互模拟等价都可定义为 L -互模拟等价。  相似文献   

4.
该文定义了基于完全剩余格值逻辑上的二元关系,并且在此逻辑框架下,讨论了二元关系的合成,L-映射,L-等价关系以及L-映射与L-等价关系,L-划分与L-等价关系之间的联系。  相似文献   

5.
引入了L-平坦模的定义及其判定性质,并给出L-内射性、L-投射性、L-平坦性、L-(半)遗传性在几乎优扩张下的若干等价关系.  相似文献   

6.
五味子化学成分研究(Ⅰ)   总被引:3,自引:0,他引:3  
从云南民间药用植物中间五味子(Schisandrapropinquavarintermedia)茎中,分离得到4个化合物,即环五味子烯醇(1)(Cycloschisandrenol1),Schisandronicacid(2),Schisandrolicacid(3),β-谷田醇(β-sitosterol)(4)其结构经由光谱分析确定。  相似文献   

7.
五味子化学成分研究(I)   总被引:3,自引:0,他引:3  
从云南民间药用植物中间五味子(Schisandra propinqua var intermedia)茎中,分离得到4个化合物,即环五味子烯醇(1)(Cyloschisandrenol 1),Schisandronic acid(2),Schisandrolic acid(3),β-谷甾醇(β-sitosterol)(4)。其结构经由光谱分析确定。  相似文献   

8.
借助L-Fuzzy集的四种截集,给出了L-Fuzzy关系及L-Fuzzy等价关系的刻画并给出了L-Fuzzy关系合成的几种表现形式。  相似文献   

9.
研究了Lc-不定,g-连续,sg-连续,半连续等几个弱连续之间的关系,并利用这些关系给出连续的解,即把连续等价地用两个较弱的连续来刻划。  相似文献   

10.
利用K-泛函与光滑模之间的等价关系,建立Szász型算子在Xp空间中的逼近等价定理  相似文献   

11.
四川盆地晚侏罗世蜥脚类一新种   总被引:1,自引:0,他引:1  
文章记述了在四川盆地上侏罗统上沙溪庙组采到的一批巨型蜥脚类恐龙化石新材料,建立了一新种——井研马门溪龙(Mamen-chisaurusjingyanensissp.nov.)。新种的发现进一步证明马门溪龙属(MamenchisaurusYoung,1954)及马门溪龙科(MamenchisauridaeYoungetChao,1972)的分类位置应归勺齿蜥龙超科(Bothrosauro-podoideaYoung,1958)。  相似文献   

12.
给出互模拟精确且具有概括性定义(B),给出并证明了互模拟的5个特征,最后给出最大互模拟一定义,证明了~是一个等价关系,进一步证明了~是R中(B)的最大固定点。概括了互模拟在模态逻辑和并发系统中的非凡的应用价值,并提出了某些尚待解决的问题。互模拟具有美好的发展前案和极大的发展空间。  相似文献   

13.
1DataWarehouseandOperationalDataStoreTraditionaldatabase(DB)technologywhichistransaction-drivenandapplication-orientedremains...  相似文献   

14.
赋Orlicz范数的加权Bergman空间及加权Bergman投影   总被引:1,自引:0,他引:1  
证明了加权Bergman投影Pα^*最弱(1,1)型的,从而用一个新的拓广的插值空间定理证明了Pσ^*,在加权Orlicz空间L^ψ上有界等价于函数ψ满足Δ2和Δ^*2-条件。  相似文献   

15.
粗集理论中的决策表条件属性的简化   总被引:5,自引:1,他引:5  
根据粗集理论,给出一些概念的新的形式定义,包括决策表、决策表的正区、决策表条件属性的简化、等价关系族对前件Ⅱ型简化等,并讨论了几个等价关系,包括决策表的正区与等价关系族对正区的等价性,决策表条件属性的简化和等价关系族对前件Ⅰ型简化的等价性,协调决策表条件属性的简化和等价关系族对前件Ⅱ型简化的等价性等.  相似文献   

16.
IntroductionThemonoclonalantibody(mAb)17-1Arecognizesanepithelialantigenwhichisbroadlydistributedinnormalepithelialtissuesand...  相似文献   

17.
文章从物理统计规律观点出发.研究了微观溅射粒子的动力学淀积过程。着重考虑到真空度、基片温度、溅射角度等因素对淀积的影响.模拟研究了B.A.Movchan-AV.Demchishin的溅射微观结构关系图。  相似文献   

18.
IntroductionSweetpotato(Ipomoeabatatas(L.)Lam.)isanimportantcrop.Ithasthreestrikingcharacters,i.e,outbred,incompatibilityandvegetativepropagation[1].Plantincompatibilityisakindofpropertywhichisaccumulatedoveralongperiodoftimeinthecourseofevolutionund…  相似文献   

19.
猪毛制取L-胱氨酸研究(Ⅱ)   总被引:1,自引:0,他引:1       下载免费PDF全文
讨论了由猪毛制取L-胱氨酸(L-cys)工艺过程,着重分析了中和温度,L-cys沉降放置时间,L-cys精制过程中脱色次数对L-cys产率和产品质量影响.  相似文献   

20.
给出了L-fuzzy环与L-fuzzy理想的几个等价刻划与几个分解定理。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号