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

一种不确定时段的扩展时段时序逻辑:时间Petri网模型表示和线性推理被引量：13: 1; 作者林闯刘婷曲扬《计算机学报》 EI CSCD 北大核心 2001年第12期1299-1309,共11页; 针对点 -时段时序逻辑的不足 ,提出了一种新的时段时序逻辑——扩展时段时序逻辑 ,对不确定时间段发生的事件具有较好的描述能力 .时间 Petri网模型表示的引入 ,增强了扩展时段时序逻辑的描述直观性及分析能力 ,为进行线性推理提供了有... 展开更多; 关键词点-时段时序逻辑扩展时段时序逻辑时间Peter网线性推理人工智能; 在线阅读下载PDF 职称材料

扩展时段时序逻辑的推理机制被引量：4: 2; 作者刘婷林闯刘卫东《计算机学报》 EI CSCD 北大核心 2002年第6期637-644,共8页; 该文在扩展时段时序逻辑的基础上提出了一种推理机制 ,这种推理机制基于时间 Petri网模型及基本不等式规则 ,可由一组已知的扩展时段时序关系推出一些未知的扩展时段时序关系 ,对不确定时间段内发生的事件及其相互关系具有较好的描述能... 展开更多; 关键词扩展时段时序逻辑时序关系推理机制时间PETRI网; 在线阅读下载PDF 职称材料

基于直觉模糊集的不确定时序逻辑模型被引量：6: 3; 作者申晓勇雷英杰 +1 位作者周创明杨少春《计算机科学》 CSCD 北大核心 2010年第5期187-189,273,共4页; 针对现有时序逻辑在描述复杂不确定时间信息方面的局限性,提出了一种基于直觉模糊集的不确定时序逻辑模型。该模型分别定义了离散论域和连续论域下的不确定点时序逻辑、点-时段时序逻辑以及时段时序逻辑的判定公式;引入直觉模糊集的犹... 展开更多; 关键词直觉模糊集合时序逻辑时段时序逻辑点时序逻辑; 在线阅读下载PDF 职称材料

一种软件体系结构关注点分析方法被引量：8: 4; 作者张琳琳应时 +2 位作者倪友聪赵楷文静《计算机学报》 EI CSCD 北大核心 2009年第9期1782-1791,共10页; 在体系结构的设计、演化和重用过程中涉及众多的关注点,而且它们之间存在着复杂的关系,然而目前还缺乏有效的对这些关注点及其关系进行描述和分析的方法.针对这一问题,在系统收集并显式标识各种体系结构关注点及其关系的基础上,文中提... 展开更多; 关键词关注点多维分离体系结构关注点面向方面软件体系结构时段时序逻辑; 在线阅读下载PDF 职称材料

QRDChecker:一个QRDC模型检验工具: 5; 作者裴玉徐启文 +1 位作者李宣东郑国梁《软件学报》 EI CSCD 北大核心 2005年第3期355-364,共10页; 反应式系统通常是不终止的,其行为定义为系统状态的无限序列的集合.形式化验证时,检验需求一般使用时序逻辑给出.当使用诸如 LTL(linear temporal logic)这样的逻辑时,由于这类逻辑的模型同样是无限序列,系统与需求之间的满足性关系可... 展开更多; 关键词模型检验有限性性质反应式系统时段时序逻辑; 在线阅读下载PDF 职称材料

题名一种不确定时段的扩展时段时序逻辑:时间Petri网模型表示和线性推理被引量：13: 1; 作者林闯刘婷曲扬; 机构清华大学计算机科学与技术系; 出处《计算机学报》 EI CSCD 北大核心 2001年第12期1299-1309,共11页; 基金国家自然科学基金项目 ( 6 0 1730 12 ) 国家重点基础研究发展规划项目( G19990 32 70 7)资助; 文摘针对点 -时段时序逻辑的不足 ,提出了一种新的时段时序逻辑——扩展时段时序逻辑 ,对不确定时间段发生的事件具有较好的描述能力 .时间 Petri网模型表示的引入 ,增强了扩展时段时序逻辑的描述直观性及分析能力 ,为进行线性推理提供了有利的工具 .同时还提出了几种变迁间的实施推理规则 .运用这些规则可以简化复杂时序关系的 Petri网模型 ,并在线性时间复杂度内定量地得到各变迁间的时序逻辑关系。; 关键词点-时段时序逻辑扩展时段时序逻辑时间Peter网线性推理人工智能; Keywords point-interval temporal logic, extended interval temporal logic, time Petri nets, linear inference; 分类号 TP183 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名扩展时段时序逻辑的推理机制被引量：4: 2; 作者刘婷林闯刘卫东; 机构清华大学计算机科学与技术系; 出处《计算机学报》 EI CSCD 北大核心 2002年第6期637-644,共8页; 基金国家自然科学基金 (60 173 0 12 ) 国家重点基础研究发展规划项目(G19990 3 2 70 7) 清华大学信息学院 985基础创新研究基金资助; 文摘该文在扩展时段时序逻辑的基础上提出了一种推理机制 ,这种推理机制基于时间 Petri网模型及基本不等式规则 ,可由一组已知的扩展时段时序关系推出一些未知的扩展时段时序关系 ,对不确定时间段内发生的事件及其相互关系具有较好的描述能力 .这种推理机制的优势在于定性地对扩展时段之间的时序关系进行推理分析 .利用时间 Petri网模型 ,可以对复杂时序逻辑关系进行化简 ,比单纯利用不等式规则的推理更直观 ,也更简单。; 关键词扩展时段时序逻辑时序关系推理机制时间PETRI网; Keywords extended interval temporal logic, temporal relation, inference engine, time Petri nets; 分类号 TP183 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名基于直觉模糊集的不确定时序逻辑模型被引量：6: 3; 作者申晓勇雷英杰周创明杨少春; 机构空军工程大学导弹学院; 出处《计算机科学》 CSCD 北大核心 2010年第5期187-189,273,共4页; 基金国家自然科学基金资助项目(No.60773209) 陕西省自然科学基金资助项目(No.2006F18)资助; 文摘针对现有时序逻辑在描述复杂不确定时间信息方面的局限性,提出了一种基于直觉模糊集的不确定时序逻辑模型。该模型分别定义了离散论域和连续论域下的不确定点时序逻辑、点-时段时序逻辑以及时段时序逻辑的判定公式;引入直觉模糊集的犹豫度参数,使得推理结果更加精确。最后通过实例对两类不确定时间信息进行描述,并对其时序逻辑关系的可能性进行度量。通过分析表明该模型是比较优越的。; 关键词直觉模糊集合时序逻辑时段时序逻辑点时序逻辑; Keywords Intuitionistic fuzzy sets Uncertain temporal logic Interval temporallogic Point-temporal logic; 分类号 TP182 [自动化与计算机技术—控制理论与控制工程] TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名一种软件体系结构关注点分析方法被引量：8: 4; 作者张琳琳应时倪友聪赵楷文静; 机构武汉大学软件工程国家重点实验室新疆大学信息科学与工程学院武汉大学计算机学院安徽建筑工业学院数理系; 出处《计算机学报》 EI CSCD 北大核心 2009年第9期1782-1791,共10页; 基金国家自然科学基金(60773006) 高等学校博士学科点专项科研基金(20060486045)资助~~; 文摘在体系结构的设计、演化和重用过程中涉及众多的关注点,而且它们之间存在着复杂的关系,然而目前还缺乏有效的对这些关注点及其关系进行描述和分析的方法.针对这一问题,在系统收集并显式标识各种体系结构关注点及其关系的基础上,文中提出一种软件体系结构关注点分析方法.该方法利用时段时序逻辑对关注点之间的横切关系进行形式化描述和分析,可以发现横切关注点之间的时序冲突,有助于提高面向方面软件体系结构的设计质量.最后结合案例给出了该方法的实施过程.; 关键词关注点多维分离体系结构关注点面向方面软件体系结构时段时序逻辑; Keywords multiple dimension separating of concerns （MDSoC） architectural concerns aspect oriented software architecture interval temporal logic; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名QRDChecker:一个QRDC模型检验工具: 5; 作者裴玉徐启文李宣东郑国梁; 机构南京大学计算机科学与技术系澳门大学科技学院; 出处《软件学报》 EI CSCD 北大核心 2005年第3期355-364,共10页; 基金国家自然科学基金国家重点基础研究发展规划(973)~~; 文摘反应式系统通常是不终止的,其行为定义为系统状态的无限序列的集合.形式化验证时,检验需求一般使用时序逻辑给出.当使用诸如 LTL(linear temporal logic)这样的逻辑时,由于这类逻辑的模型同样是无限序列,系统与需求之间的满足性关系可以简单定义为集合的包含关系.但是,当使用时段时序逻辑(interval temporallogic)作为说明逻辑时,由于逻辑模型的有限性,使得上面的满足关系不再适用.称这类有限序列集合表达的性质为有限性性质.对于不同的有限性性质,它们对应的满足性关系是有区别的.针对两类有限性定义了它们各自的满足性关系,并将这两种关系统一为一个更一般的满足性关系.在此基础上,提出模型检验这两类性质的算法,并将其实现为一个针对时段时序逻辑 QRDC(quantified RDC (restricted duration calculus))的检验工具QRDChecker.QRDChecker 可以检验 QRDC 公式在连续时间模型和离散时间模型下的有效性.在离散时间条件下,它还可以将 QRDC 公式转换成模型检验系统 Spin 能够接受的自动机的形式,从而可以检查反应式系统是否满足用 QRDC 公式表达的性质.; 关键词模型检验有限性性质反应式系统时段时序逻辑; Keywords Algorithms Computer aided software engineering Formal logic Mathematical models Semantics Set theory; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	一种不确定时段的扩展时段时序逻辑:时间Petri网模型表示和线性推理	林闯刘婷曲扬	《计算机学报》 EI CSCD 北大核心	2001	13	在线阅读下载PDF 职称材料
2	扩展时段时序逻辑的推理机制	刘婷林闯刘卫东	《计算机学报》 EI CSCD 北大核心	2002	4	在线阅读下载PDF 职称材料
3	基于直觉模糊集的不确定时序逻辑模型	申晓勇雷英杰周创明杨少春	《计算机科学》 CSCD 北大核心	2010	6	在线阅读下载PDF 职称材料
4	一种软件体系结构关注点分析方法	张琳琳应时倪友聪赵楷文静	《计算机学报》 EI CSCD 北大核心	2009	8	在线阅读下载PDF 职称材料
5	QRDChecker:一个QRDC模型检验工具	裴玉徐启文李宣东郑国梁	《软件学报》 EI CSCD 北大核心	2005	0	在线阅读下载PDF 职称材料