骆翔宇

作品数：32被引量：106H指数：6
导出分析报告
供职机构：华侨大学计算机科学与技术学院更多>>
发文主题：WEB服务多智能体系统时态认知逻辑WEB服务组合有界模型检测更多>>
发文领域：自动化与计算机技术自然科学总论交通运输工程理学更多>>
发文期刊：《中山大学研究生学刊（自然科学与医学版）》《计算机应用研究》《小型微型计算机系统》《计算机学报》更多>>
所获基金：国家自然科学基金广西青年科学基金中国博士后科学基金广西研究生教育创新计划项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于变异的正则表达式反例测试串生成算法被引量：1
《软件学报》2024年第7期3355-3376,共22页郑黎晓 余李林 陈海明 陈祖希 骆翔宇 汪小勇 
国家自然科学基金(61872339);福建省自然科学基金(2021J01316,2021J01320);中央高校基本科研业务费专项资金(ZQN-1010);厦门市自然科学基金(3502Z20227191);上海市自然科学基金(22ZR1422200)。
正则表达式在计算机科学的许多领域具有广泛应用.然而,由于正则表达式语法比较复杂,并且允许使用大量元字符,导致开发人员在定义和使用时容易出错.测试是保证正则表达式语义正确性的实用和有效手段,常用的方法是根据被测表达式生成一些...
关键词：正则表达式 正则语言 字符串生成 变异测试 变异体约简 
基于Event-B与ADT的TACS形式化开发方法与验证被引量：1
《中国铁道科学》2023年第6期172-183,共12页陈祖希 牛传军 梅萌 刘杰 刘传振 郑黎晓 骆翔宇 潘亮 汪小勇 徐中伟 
国家重点研发计划项目(2022YFB430050461802134);福建省自然科学基金资助项目(2021J01320);上海市自然科学基金资助项目(22ZR1422200)。
为克服Event-B方法在开发全新一代列车自主运行控制系统(Train Autonomous Circumambulate System,TACS)中所出现的建模复杂性问题,提出将抽象数据类型(Abstract Data Types,ADT)实例化与Event-B相结合的方法,对TACS进行形式化开发和验...
关键词：EVENT-B 抽象数据类型 精化策略 列车自主运行控制系统 
基于时态测试器的实时分支时态逻辑模型检测被引量：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)。
实时系统的错误往往十分危险甚至是致命的,使用模型检测来保证复杂实时系统的正确性是十分有效的。针对模型检测中传统时态逻辑无法表达实时性质和所有正则属性的问题,文中首先提出一种具有表达离散实时性质、所有正则属性能力的离散实...
关键词：符号化模型检测 时态测试器 实时线性动态逻辑 离散实时系统 
成果导向的毕业要求达成度评价方法被引量：4
《福建电脑》2020年第4期5-8,共4页骆翔宇 缑锦 王靖 孙成柱 
2018年福建省本科高校重大教育教学改革研究项目“多个小学期工程实训模式研究”(No.FBJG20180016);2019年华侨大学创新创业教育改革立项项目“多元融合推进计算机类双创教育”资助。
本文基于成果导向的教育理念,依据工程教育专业认证标准的要求提出一套切实可行、易于实施的毕业要求达成情况评价机制,给出了课程体系、毕业要求和培养目标的持续改进机制。通过近两年在华侨大学软件工程专业实施该评价机制,有效地规...
关键词：工程教育专业认证 成果导向教育理念 毕业要求 指标点 课程目标 达成度 
基于背景动态更新与暗通道先验的火灾烟雾检测算法被引量：12
《计算机应用研究》2017年第3期957-960,共4页赵亮 骆炎民 骆翔宇 
国家自然科学基金资助项目(61170028);华侨大学科研启动项目(14BS215);华侨大学研究生科研创新能力培育计划资助项目
烟雾检测在现代智能消防中有着重要的应用前景,随着计算机视觉和模式识别技术的发展,基于视频图像的火灾烟雾检测算法不断被提出。针对目前检测方法适应性不强、在复杂环境下检测性能不高的问题,提出了一种基于背景动态更新和暗通道先...
关键词：背景估计 暗通道先验 颜色特征 旋转不变的LBP HOG特征 KNN分类器 烟雾检测 
一个分布式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 
基于智能体的OWL-S过程模型验证
《桂林电子科技大学学报》2012年第2期134-139,共6页骆灵洁 骆翔宇 邹蒙蒙 
国家自然科学基金(60763004);华侨大学中央高校基本科研业务费项目(JB-GJ1001);华侨大学高层次人才科研启动项目(11BS108)
为保证基于OWL-S的web服务组合的正确性和可靠性,对OWL-S过程模型进行时态和认知属性的验证。将原子过程视为单个服务作为Agent,将组合过程抽象为多智能体系统,把对OWL-S过程模型的验证转换成对多智能体系统的验证。提出了OWL-S语言的...
关键词：模型检测 WEB服务 OWL-S 认知逻辑 多智能体系统 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部