检索结果-维普期刊中文期刊服务平台

逻辑标记转换系统下预备模拟与稳定划分: 1; 作者朱文涛《计算机科学与探索》 CSCD 北大核心 2015年第7期877-886,共10页; Luttgen等人将进程代数与时序逻辑相结合,提出了逻辑标记转换系统(logic labeled transition system,LLTS)以及相应的精化关系——LLTS预备模拟。为给出判定LLTS预备模拟关系的具体方法,从划分对概念出发,给出了与LLTS预备模拟之间构成... 展开更多; 关键词逻辑标记转换系统预备模拟划分对划分精化问题; 在线阅读下载PDF 职称材料

安全苛刻系统自动化测试的形式化语义模型被引量：5: 2; 作者吕江花马世龙 +1 位作者李先军高世伟《软件学报》 EI CSCD 北大核心 2014年第3期489-505,共17页; 安全苛刻系统的可信性需求典型而迫切,其可信性评估和验证具有测试依赖性.安全苛刻系统一般是复杂系统,手工测试实际上不可行,发展自动化测试手段是必然趋势.针对安全苛刻系统测试过程自动化中存在的高阶协同、实时和时序性,以Ambient... 展开更多; 关键词安全苛刻系统测试自动化测试设备协同高阶演算标记转换系统实时; 在线阅读下载PDF 职称材料

体系结构层状态型方面的建模和编织——基于LTS的方法被引量：1: 3; 作者杨春花王海洋《计算机学报》 EI CSCD 北大核心 2011年第2期342-352,共11页; 状态型方面是一种封装反应式关注点的方面,它需要专门的切点机制来跟踪系统的执行历史.然而当前在体系结构层还缺乏支持状态型方面建模的有效机制.针对这一问题,提出一种体系结构层状态型方面的建模和编织方法.它以标记转换系统(Labelle... 展开更多; 关键词方面状态型方面编织标记转换系统面向方面的软件开发; 在线阅读下载PDF 职称材料

逻辑LTS预备模拟关系的判定算法: 4; 作者朱文涛《计算机工程与应用》 CSCD 北大核心 2016年第17期41-48,共8页; 进程代数与时序逻辑是并发理论中应用最为广泛的两大规范系统。近来,Gerald Luttgen等人将二者进行结合,提出了逻辑标记转换系统以及相应的精化关系——LLTS预备模拟。提出了一种LLTS预备模拟关系的等价描述方式——泛化预备模拟,并从... 展开更多; 关键词逻辑标记转换系统预备模拟划分对稳定性判定算法; 在线阅读下载PDF 职称材料

题名逻辑标记转换系统下预备模拟与稳定划分: 1; 作者朱文涛; 机构南京航空航天大学计算机科学与技术学院; 出处《计算机科学与探索》 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 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名安全苛刻系统自动化测试的形式化语义模型被引量：5: 2; 作者吕江花马世龙李先军高世伟; 机构软件开发环境国家重点实验室(北京航空航天大学计算机学院); 出处《软件学报》 EI CSCD 北大核心 2014年第3期489-505,共17页; 基金国家自然科学基金(61300007 61003016) +1 种基金 SKLSDE-2013ZX-11); 文摘安全苛刻系统的可信性需求典型而迫切,其可信性评估和验证具有测试依赖性.安全苛刻系统一般是复杂系统,手工测试实际上不可行,发展自动化测试手段是必然趋势.针对安全苛刻系统测试过程自动化中存在的高阶协同、实时和时序性,以Ambient演算、CCS演算、论域理论等为基础,给出测试过程的高阶协同定义,建立一种层次化演算模型,为测试过程提供一种信息化和自动化手段.模型通过对被测产品、测试设备与测试任务的抽象与组织,给出安全苛刻系统测试过程自动化的工作模式.最后,通过扩展标记转换系统定义,给出高阶协同行为的收敛性和正确性的证明,论证了模型的可计算性,验证了安全苛刻系统测试的可自动化.模型已应用于航天器的自动化测试中,并成为航天器测试行为的日常工作规范.; 关键词安全苛刻系统测试自动化测试设备协同高阶演算标记转换系统实时; Keywords safety critical systems （SCS） test automatic test equipment collaboration high order LTS real time; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名体系结构层状态型方面的建模和编织——基于LTS的方法被引量：1: 3; 作者杨春花王海洋; 机构山东大学计算机科学与技术学院山东轻工业学院信息科学与技术学院; 出处《计算机学报》 EI CSCD 北大核心 2011年第2期342-352,共11页; 基金国家自然科学基金(60673130)资助; 文摘状态型方面是一种封装反应式关注点的方面,它需要专门的切点机制来跟踪系统的执行历史.然而当前在体系结构层还缺乏支持状态型方面建模的有效机制.针对这一问题,提出一种体系结构层状态型方面的建模和编织方法.它以标记转换系统(Labelled Transition System,LTS)为底层形式化,建立了用于识别系统运行轨迹中特定模式的切点机制,并定义了支持多种通知类型的编织运算.该方法当前已在一个基于FSP规范的原型编织工具上实现,并用一个实例说明了该方法的有效性.; 关键词方面状态型方面编织标记转换系统面向方面的软件开发; Keywords aspect stateful aspects weaving labeled transition system aspect-oriented software development; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名逻辑LTS预备模拟关系的判定算法: 4; 作者朱文涛; 机构南京航空航天大学计算机科学与技术学院; 出处《计算机工程与应用》 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 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	逻辑标记转换系统下预备模拟与稳定划分	朱文涛	《计算机科学与探索》 CSCD 北大核心	2015	0	在线阅读下载PDF 职称材料
2	安全苛刻系统自动化测试的形式化语义模型	吕江花马世龙李先军高世伟	《软件学报》 EI CSCD 北大核心	2014	5	在线阅读下载PDF 职称材料
3	体系结构层状态型方面的建模和编织——基于LTS的方法	杨春花王海洋	《计算机学报》 EI CSCD 北大核心	2011	1	在线阅读下载PDF 职称材料
4	逻辑LTS预备模拟关系的判定算法	朱文涛	《计算机工程与应用》 CSCD 北大核心	2016	0	在线阅读下载PDF 职称材料