国家自然科学基金(61170028)

作品数：9被引量：18H指数：2
导出分析报告
相关作者：骆翔宇赵亮骆炎民古天龙郑黎晓更多>>
相关机构：华侨大学桂林电子科技大学南京信息工程大学暨南大学更多>>
相关期刊：《桂林电子科技大学学报》《计算机应用研究》《软件学报》《计算机工程》更多>>
相关主题：测试器时态LBPKNN分类器HOG特征更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于时态测试器的实时分支时态逻辑模型检测被引量：3
《软件学报》2022年第8期2930-2946,共17页骆翔宇 黄欣玥 古天龙 苏开乐 陈祖希 郑黎晓 
国家自然科学基金(U1711263,1966009,62006057,61170028);福建省自然科学基金(2021J01316,2021J01320,2015J01255);广西可信软件重点实验室研究课题(kx201323)。
基于自动机理论的模型检测技术在形式化验证领域处于核心地位,然而传统自动机在时态算子上不具备可组合性,导致各种时态逻辑的模型检测算法不能有机整合.为了实现集成限界时态算子的实时分支时态逻辑RTCTL*的高效模型检测,提出一种RTCTL...
关键词：符号化模型检测 公平离散系统 正时态测试器 实时分支时态逻辑 二元决策图 
离散实时线性动态逻辑的符号化模型检测
《计算机科学》2020年第9期204-212,共9页骆翔宇 许杭娜 曾昊晟 陈祖希 杨帆 
国家自然科学基金重点项目(61733006);国家自然科学基金面上项目(61170028);福建省自然科学基金面上项目(2015J01255);福建省高等学校新世纪优秀人才支持计划项目(2013FJ-NCET-ZR03)。
实时系统的错误往往十分危险甚至是致命的,使用模型检测来保证复杂实时系统的正确性是十分有效的。针对模型检测中传统时态逻辑无法表达实时性质和所有正则属性的问题,文中首先提出一种具有表达离散实时性质、所有正则属性能力的离散实...
关键词：符号化模型检测 时态测试器 实时线性动态逻辑 离散实时系统 
Symbolic model checking for discrete real-time systems被引量：1
《Science China(Information Sciences)》2018年第5期199-221,共23页Xiangyu LUO Lijun WU Qingliang CHEN Haibo LI Lixiao ZHENG Zuxi CHEN 
supported by National Natural Science Foundation of China (Grant Nos. 61170028, 61572234, 61370072, 71571056);Young Scientists Fund of the National Natural Science Foundation of China (Grant No. 61502184);Program for New Century Excellent Talents in Fujian Province Universities (Grant No. 2013FJ-NCET-ZR03);Natural Foundation Key Program for Young Scholars in the Universities of Fujian Province (Grant No. JZ160409);Natural Science Foundation of Fujian Province (Grant No. 2015J01255);Promotion Program for Young and Middle-aged Teacher in Science and Technology Research of Huaqiao University (Grant No. ZQN-YX109);Guangxi Key Laboratory of Trusted Software (Grant No. kx201323)
A considerably large class of critical applications run in distributed and real-time environments,and most of the correctness requirements of such applications must be expressed by time-critical properties.To enable t...
关键词：symbolic model checking temporal tester real-time temporal logic just discrete system OB-DDs 
基于背景动态更新与暗通道先验的火灾烟雾检测算法被引量：12
《计算机应用研究》2017年第3期957-960,共4页赵亮 骆炎民 骆翔宇 
国家自然科学基金资助项目(61170028);华侨大学科研启动项目(14BS215);华侨大学研究生科研创新能力培育计划资助项目
烟雾检测在现代智能消防中有着重要的应用前景,随着计算机视觉和模式识别技术的发展,基于视频图像的火灾烟雾检测算法不断被提出。针对目前检测方法适应性不强、在复杂环境下检测性能不高的问题,提出了一种基于背景动态更新和暗通道先...
关键词：背景估计 暗通道先验 颜色特征 旋转不变的LBP HOG特征 KNN分类器 烟雾检测 
Single-view determinacy and rewriting completeness for a fragment of XPath queries
《Science China(Information Sciences)》2016年第9期243-245,共3页Lixiao ZHENG Shuai MA Xiangyu LUO Tiejun MA 
supported in part by NSFC(61472405&61502184);NSF of Fujian Province(2015J01259);supported in part by 973 Program(2014CB340300);NSFC(61322207&61421003);supported in part by NSFC(61170028);Promotion Program for Young and Middle-aged Teachers in Science and Technology Research of Huaqiao University(ZQN-YX109)
Dear editor,The problem of answering queries using views,where a view is a set of predefined queries,arises in a variety of data management applications.To formalize the fact that a set of views V contains enough info...
关键词：XPath editor query enough branch label implies intersection distinguished satisfying 
一个分布式K互斥算法的概率模型检测
《计算机应用研究》2015年第4期1036-1039,共4页刘来 骆翔宇 
国家自然科学基金面上项目(61170028);福建省高等学校新世纪优秀人才支持计划资助项目(2013FJ-NCET-ZR03);华侨大学中青年教师科研提升计划资助项目(ZQN-YX109);华侨大学高层次人才科研启动费项目(11BS108);广西可信软件重点实验室研究项目(kx201323)
传统的验证方法难以保证分布式K互斥算法的有效性和安全性。为解决这一问题,给出了进一步的研究,提出一种基于概率模型检测器PRISM的方法,对Kerry Raymond的分布式K互斥算法进行形式化建模与分析验证。通过设置算法中各个进程进入临界...
关键词：分布式K互斥算法 概率模型检测 PRISM 平均及时时间 
基于MAS模型检测与抽象的Web服务验证被引量：1
《计算机工程》2015年第3期26-31,36,共7页许兴旺 骆翔宇 
国家自然科学基金资助面上项目(61170028);华侨大学中青年教师科研提升计划基金资助项目(ZQN-YX109);华侨大学高层次人才科研启动基金资助项目(11BS108);广西可信软件重点实验室基金资助项目(kx201323)
Web服务组合现已成为跨组织业务流程集成的关键技术,然而在松耦合开发模式和开放的互联网运行环境下,其正确性、可靠性、安全性等可信性质难以得到保证。为解决该问题,提出一种Web服务组合形式化验证方法,将基于图状反例向导的抽象与精...
关键词：WEB服务组合 多主体系统 模型检测 图状反例 抽象 精化 
基于KQML的多智能体系统建模与验证被引量：1
《桂林电子科技大学学报》2012年第3期227-232,共6页邹蒙蒙 骆翔宇 骆灵洁 
国家自然科学基金(61170028);华侨大学中央高校基本科研业务项目(JB-GJ1001);华侨大学高层次人才科研启动项目(11BS108)
为了保证MAS相关属性的可满足性、有效性以及验证的高效性,提出了一种基于KQML通信语言的MAS建模以及能够实现自动验证相关规范的方法。设计并实现了KQML语言转化为完整描述状态转换关系的一组状态迁移七元组的算法,以及从七元组到多智...
关键词：KQML 多智能体系统 模型检测 MCMAS 
基于评价向量的P2P电子商务信任模型
《微型机与应用》2012年第10期81-84,88,共5页肖长华 潘孝铭 
国家自然科学基金资助项目(61170028)
针对现有P2P信任模型中交易因素考虑不全面、缺乏恶意节点识别机制而导致无法防御恶意节点共谋攻击和耗费网络带宽等问题,提出一种新的P2P信任模型EVTM,该模型采用向量化的方式表示评价的标准,引入时间衰减因子和惩罚机制,促使模型中交...
关键词：恶意节点 共谋攻击 P2P 电子商务 信任模型 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部