-
题名逻辑LTS预备模拟关系的判定算法
- 1
-
-
作者
朱文涛
-
机构
南京航空航天大学计算机科学与技术学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2016年第17期41-48,共8页
-
基金
国家自然科学基金(No.60973045)
-
文摘
进程代数与时序逻辑是并发理论中应用最为广泛的两大规范系统。近来,Gerald Luttgen等人将二者进行结合,提出了逻辑标记转换系统以及相应的精化关系——LLTS预备模拟。提出了一种LLTS预备模拟关系的等价描述方式——泛化预备模拟,并从划分对的角度出发,给出与该描述等价的稳定划分对概念。基于这一概念给出一种判定两个逻辑标记转换系统之间是否具有LLTS预备模拟关系的理论算法,并证明其正确性。
-
关键词
逻辑标记转换系统
预备模拟
划分对
稳定性
判定算法
-
Keywords
logic Labeled Transition System(LTS)
ready simulation
partition pair
stability
determining algorithm
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名逻辑标记转换系统下预备模拟与稳定划分
- 2
-
-
作者
朱文涛
-
机构
南京航空航天大学计算机科学与技术学院
-
出处
《计算机科学与探索》
CSCD
北大核心
2015年第7期877-886,共10页
-
基金
国家自然科学基金~~
-
文摘
Luttgen等人将进程代数与时序逻辑相结合,提出了逻辑标记转换系统(logic labeled transition system,LLTS)以及相应的精化关系——LLTS预备模拟。为给出判定LLTS预备模拟关系的具体方法,从划分对概念出发,给出了与LLTS预备模拟之间构成同构的稳定划分对定义,并提出了与判定LLTS预备模拟商集对应的一般化关系最粗划分问题,证明了二者之间具有等价性。由此作为理论基础,给出了一个判定两个逻辑标记转换系统之间是否具有LLTS预备模拟关系的算子ρ,并验证了该算子的正确性,并以实例演示了该算子的具体操作步骤。
-
关键词
逻辑标记转换系统
预备模拟
划分对
划分精化问题
-
Keywords
logic labeled transition system
ready simulation
partition pair
partition refinement problems
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名模拟牙体预备操作时的喷溅范围与合理布局
被引量：28
- 3
-
-
作者
徐丹慧
刘翠梅
辛鹏举
李应龙
孙宁
徐韬
-
机构
北京大学口腔医学院.口腔医院医院感染管理科
首都医科大学附属北京口腔医院感染管理处
中国建筑科学研究院净化空调技术中心
-
出处
《中国感染控制杂志》
CAS
CSCD
北大核心
2019年第1期27-31,共5页
-
基金
国家卫生与计划生育委员会政策法规司<口腔门诊医院感染管理规范>制订项目(20131303)
-
文摘
目的测量口腔诊疗中模拟牙体预备使用手机时产生喷溅物的喷溅范围,以确定口腔诊室中牙科综合治疗台的卫生安全距离,设置屏障的合理位置及安全高度。方法选取某三级综合性医院口腔科诊室模拟口腔牙体预备,采用5%亚甲蓝溶液作为喷溅物染色指示剂,使用载玻片采集口腔诊疗过程中水平及垂直方向上的喷溅物,用普通光学显微镜观察确定喷溅范围。结果口腔牙体预备使用手机时,水平方向最远喷溅距离为1 600 mm,距操作诊疗约1 000 mm处的垂直方向喷溅高度达1 800 mm。结论无物理屏障的2台牙科综合治疗台间最佳安全距离应大于1 600 mm,两牙科综合治疗台间物理隔断最小高度应不低于1 800 mm。
-
关键词
模拟牙体预备
喷溅物
喷溅范围
口腔诊室
医院感染
-
Keywords
dental preparation simulation
spatter
spattering range
dental clinic
healthcare -associated infection
-
分类号
R780.1
[医药卫生—口腔医学]
-
