逻辑LTS预备模拟关系的判定算法

计算机工程与应用 ›› 2016, Vol. 52 ›› Issue (17): 41-48.

逻辑LTS预备模拟关系的判定算法

朱文涛

南京航空航天大学计算机科学与技术学院，南京 210016

出版日期:2016-09-01 发布日期:2016-09-14

Ready simulation determining algorithm on logic LTS

ZHU Wentao

College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China

Online:2016-09-01 Published:2016-09-14

摘要/Abstract

摘要： 进程代数与时序逻辑是并发理论中应用最为广泛的两大规范系统。近来，Gerald Luttgen等人将二者进行结合，提出了逻辑标记转换系统以及相应的精化关系——LLTS预备模拟。提出了一种LLTS预备模拟关系的等价描述方式——泛化预备模拟，并从划分对的角度出发，给出与该描述等价的稳定划分对概念。基于这一概念给出一种判定两个逻辑标记转换系统之间是否具有LLTS预备模拟关系的理论算法，并证明其正确性。

关键词: 逻辑标记转换系统, 预备模拟, 划分对, 稳定性, 判定算法

Abstract: Process algebras and temporal logics are two most widely used specification systems in concurrency theory. Recently, Gerald Luttgen et al combined both to propose the notion of Logic Labeled Transition System（LLTS） and corres-ponding refinement relation：LLTS ready simulation. It introduces an equivalent definition of the LLTS ready simulation：generalized ready simulation, and gives the notion of stable partition pair which is corresponded to this new definition in viewing of partition pair. Based on this notion, it proposes an algorithm to determine whether there exists a LLTS ready simulation between two LLTS, then proves the correctness of the algorithm.

Key words: logic Labeled Transition System（LTS）, ready simulation, partition pair, stability, determining algorithm

朱文涛. 逻辑LTS预备模拟关系的判定算法[J]. 计算机工程与应用, 2016, 52(17): 41-48.

ZHU Wentao. Ready simulation determining algorithm on logic LTS[J]. Computer Engineering and Applications, 2016, 52(17): 41-48.

[1]	崔增乐，钱晓东. 区块链社交网络信息传播模型的优化研究[J]. 计算机工程与应用, 2021, 57(7): 59-69.
[2]	卫保国，张玉兰，周佳明. 图像匹配中的特征点筛选方法[J]. 计算机工程与应用, 2021, 57(3): 208-214.
[3]	李强，于凤芹. 一种改进的基于音高显著性的旋律提取算法[J]. 计算机工程与应用, 2019, 55(3): 115-119.
[4]	熊化峰，孙英华，李建波，廉文娟，刘雪庆. 共享经济背景下多属性双边匹配问题求解[J]. 计算机工程与应用, 2019, 55(24): 222-228.
[5]	陈杰，张文栋，苏琳琳，桑胜波. 基于Lyapunov稳定性及CPSO的航天器姿轨控制[J]. 计算机工程与应用, 2019, 55(24): 229-234.
[6]	冯孝周，周遥. 具有饱和竞争及L-G项的捕食系统解的长时行为[J]. 计算机工程与应用, 2019, 55(2): 50-53.
[7]	温宗周，李璐，李丽敏，高园平，程少康，刘德阳. 优化GD-模糊规则的滑坡预报模型研究[J]. 计算机工程与应用, 2019, 55(10): 250-255.
[8]	全洪正1，郑立飞2，周学勇3. 具免疫时滞的HBV传染病模型的稳定性和Hopf分支[J]. 计算机工程与应用, 2018, 54(21): 99-106.
[9]	张旭，孙福振，方春，郭蕊. 引入兴趣稳定性的时间敏感协同过滤算法[J]. 计算机工程与应用, 2018, 54(11): 161-165.
[10]	李腾龙，惠飞. 考虑后视和最优速度记忆的跟驰模型及仿真[J]. 计算机工程与应用, 2017, 53(12): 249-254.
[11]	郭涛. 互联双倒立摆自适应容错模糊控制[J]. 计算机工程与应用, 2017, 53(12): 261-270.
[12]	段之宇，胡强强，李文昊，李海芳. EEG信号构建的复杂网络同步稳定性分析[J]. 计算机工程与应用, 2017, 53(11): 56-60.
[13]	高俊山，于世萌，宋歌. 混沌系统的有限时间滑模同步控制[J]. 计算机工程与应用, 2017, 53(10): 43-47.
[14]	钱汐，曾承，王甜. 时序范围最具稳定性服务集推荐算法[J]. 计算机工程与应用, 2017, 53(10): 73-78.
[15]	宋立新1，何宇平2. 驾驶员在环的SUV防侧翻控制器实时仿真设计[J]. 计算机工程与应用, 2016, 52(9): 223-227.