期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

对称*-λ-半环 被引量：3

On symmetric *-λ-semirings
下载PDF
导出
摘要 Kleene代数在计算机科学中具有基础而特殊的重要性。在计算机工程应用中,Kleene代数及相关*-半环已被成功应用于基础安全分析、底层程序变换以及并行控制等许多领域。论文给出了对称*-λ-半环的定义及其等价刻画,并指出对称*-λ-半环是Kleene代数概念的推广。 Kleene algebra is fundamental and ubiquitous in computer science.In computer engineering and applications,Kleene algebra and related ＊-semirings have been used successfully in various fields such as basic safety analysis,low-level program transformations and concurrency control.In this paper,the notion of symmetric ＊-λ-semirings is introduced and equivalent charac- terization of symmetric ＊-λ-semirings is given.Moreover, it is pointed out that symmetric ＊-λ-semirings extend the notion of Kleene algebras.
作者 冯锋 柳晓燕 张辉
机构地区 西安邮电学院应用数学与应用物理系 西安交通大学理学院
出处 《计算机工程与应用》 CSCD 北大核心 2007年第33期46-47,97,共3页 Computer Engineering and Applications
关键词 ＊-半环 对称＊-λ-半环 归纳＊-半环 Kleene代数 ＊-semiring symmetric ＊-λ-semiring inductive ＊-semiring Kleene algebra
分类号 TP301.2 [自动化与计算机技术—计算机系统结构]
  • 相关文献

参考文献7

  • 1F.Pastijn,郭聿琦.环并半环[J].中国科学（A辑）,2002,32(7):613-630. 被引量：8
  • 2Esik Z,Kuich W.Inductive*-semirings[J].Theoret Comput Sci,2004, 324:3-33.
  • 3Feng F,Zhao X Z,Jun Y B.*-μ-semirings and *-λ-semirings[J]. Theoret Comput Sci, 2005,347 : 423-431.
  • 4Tarski A.A lattice theoretical fixpoint theorem and its applications [J].Pacific J Math,1955,5:285-309.
  • 5Kozen D.On Kleene algebras and closed scmirings[C].Rovan.Lecture Notes in Computer Science ,MFCS'90.Berlin:Springer,1990,452:26-47.
  • 6Leiβ H.Kleene modules and linear languages [J].The Journal of Logic and Algebraic Programming,2006,66: 185-194.
  • 7F.Pastijn,郭聿琦.幂等元分配半环簇的格[J].中国科学（A辑）,1999,29(5):391-407. 被引量：2

二级参考文献24

  • 1[1]Howie J M. Fundamentals of Semigroup Theory. Oxford: Clarendon Press, 1995
  • 2[2]Petrich M, Reilly N R. Completely Regular Semigroups. New York: Wiley, 1999
  • 3[3]Pastijn F. Idempotent distributive semirings II. Semigroup Forum, 1983, 26:151～166
  • 4[5]Pastijn F, Romanowska A. Idempotent distributive semirings I. Acta Sci Math, 1982, 44:239～253
  • 5[6]Pastijn F, Zhao X Y. Green's D-relation on the multiplicative reduct of an idempotent semiring. Archivum Mathematicum(Brno), 2000, 36:77～93
  • 6[7]Plonka J. On distributive quasi-lattices. Fund Math, 1967, 60:191～200
  • 7[8]R omanowska A, McKenzie R. Varieties of -distributive bisemilattices. Contributions to General Algebra,Heyn, Klagenfurt, 1979. 213～218
  • 8[9]Sen M K, Guo Y Q, Shum K P. A class of idempotent semirings. Semigroup Forum, 2000, 60:351～367
  • 9[10]Bandelt H J, Petrich M. Subdirect products of rings and distributive lattices. Proc Edinburgh Math Soc,1982, 25:155～171
  • 10[11]Ghosh S. A characterization of semirings which are subdirect products of a distributive lattice and a ring.Semigroup Forum, 1999, 59:106～120

共引文献8

同被引文献21

  • 1Han S C, Gu Y D, Li H X.An application of incline matrices in dynamic analysis of generalized Fuzzy bidirectional associative memories[J].Fuzzy Set and System,2007,158(12) : 1340-1347.
  • 2Cao Z Q.A new algebraic system-slope[J].BUSEFAL, 1981,6: 22-27.
  • 3曹志强.代数系坡的理想的一些结果.科,1983,14(28).
  • 4Kim K H, Roush F W.Inclines of algebraic structures[J].Fuzzy Sets and Systems, 1995,72(2) : 189-196.
  • 5Cao Z Q, Kim K H, Roush F W.lncline algebra and atlications[M]. New York:Jo.
  • 6Jun Y B, Ahn S S, Kim H S.Fuzzy subinclines (ideals) of incline algebras[J].Fuzzy Sets and Systems,2001,123(2):217-225.
  • 7Molodtsov D.SoR set theory-ftrst results[J].Computers and Mathematics with Applications, 1999,37(4/5) : 19-31.
  • 8Maji P K, Biswas R, Roy A R.Soft set theory[J].Computers and Mathematics with Applications, 2003,45 (4/5) : 555-562.
  • 9Aktas H, Cagman N.Soft sets and soft groups[J].Information Science, 2007,177 ( 13 ) : 2726-2735.
  • 10Jun Y B.Soff BCK/BCI-algebm[J].Computers and Mathematics with Applications,2008,56(5) : 1408-1413.

引证文献3

二级引证文献36

计算机工程与应用
2007年 第33期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部