-
题名LTS中的弱不变量与限制乘积
- 1
-
-
作者
刘晓会
樊磊
-
机构
首都师范大学数学科学学院
首都师范大学教育技术系
-
出处
《计算机工程与科学》
CSCD
2007年第11期134-136,共3页
-
基金
北京市教委科技发展计划项目(KM200610028016)
-
文摘
本文在文献[1,2]的框架下给出了弱不变量的定义,讨论了其性质及与不变量之间的关系。此外,本文还引入了迁移系统的限制乘积概念,并以此为工具研究了弱互模拟和弱不变量之间的相互转化。
-
关键词
弱互模拟
弱不变量
抽象
迁移系统的限制乘积
-
Keywords
weak bisimulation
weak invariant
abstractions restrict product of transition system
-
分类号
TP301.2
[自动化与计算机技术—计算机系统结构]
-
-
题名软结合BCI代数
被引量:2
- 2
-
-
作者
刘用麟
黄艺娟
-
机构
武夷学院数学与计算机学院
-
出处
《数学进展》
CSCD
北大核心
2016年第4期500-508,共9页
-
基金
国家自然科学基金(No.61175055
No.11461025)
+1 种基金
福建省自然科学基金(No.2013J01017)
福建省引导性项目(No.2016Y0077)
-
文摘
将Molodtsov的软集理论应用到结合BCI代数中,引进了软结合BCI代数的概念,举出实例证明了软结合BCI代数的存在性,讨论了软结合BCI代数和软BCI代数之问的关系,研究了软结合BCI代数的扩展交、限制交、限制并、限制差、限制乘积等运算性质.最后,研究了软结合BCI代数的结构性质.
-
关键词
软集
软结合BCI代数
扩展交
限制交
限制乘积
-
Keywords
soft set
soft associative BCI-algebra
extended intersection
restricted intersection
restricted product
-
分类号
O153.1
[理学—基础数学]
O141.1
[理学—基础数学]
-