王曦

作品数：16被引量：37H指数：3
导出分析报告
供职机构：江西理工大学信息工程学院更多>>
发文主题：安全苛求系统细胞神经网络CNN故障树分析形式化方法更多>>
发文领域：自动化与计算机技术交通运输工程生物学理学更多>>
发文期刊：《计算机学报》《计算机工程与设计》《铁道学报》《软件导刊》更多>>
所获基金：国家自然科学基金国家科技支撑计划江西省自然科学基金江西省教育厅科学技术研究项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
结合注意力机制的核相关滤波目标跟踪被引量：2
《光电子．激光》2019年第4期428-433,共6页欧阳城添 汤懿 王曦 
国家自然科学基金(61561024,61462034);江西省自然科学基金项目(20151BAB207035);江西省教育厅项目(GJJ160632)资助项目
针对目标跟踪中的旋转、快速运动、遮挡等问题。提出了结合注意力机制的核相关滤波跟踪方法。该方法利用卷积神经网络提取卷积特征;利用两个样本的相似度矩阵计算注意力权值,并结合注意力权值和核相关滤波器;使用两个分类器分别检测目...
关键词：目标跟踪 卷积特征 核相关滤波器 注意力机制 
基于时间自动机的物联网组合服务建模被引量：1
《计算机工程与设计》2019年第1期20-25,31,共7页王曦 李培培 欧阳城添 
国家自然科学基金项目(61462034;61561024;11461031;61562037);江西省自然科学基金项目(20151BAB207035);江西省教育厅科学技术研究基金项目(GJJ160632;GJJ170517);江西理工大学科研基金重点课题基金项目(NSFJ2014-K11)
在时间自动机理论的基础上,提出一种物联网组合服务建模的方法,来对系统的部分约定属性进行建模、验证和分析。把物联网原子服务作为研究的对象,对时间自动机模型进行扩展,并将其应用于物联网原子服务和组合服务的分层建模中。在分析不...
关键词：时间自动机 物联网 组合服务 建模 验证 
高层次时序电路可靠度估计方法研究进展被引量：1
《计算机科学》2017年第B11期33-38,54,共7页欧阳城添 陈莉莉 王曦 
国家自然科学基金(61561024;61462034;61563019);江西省自然科学基金项目(20151BAB207035)资助
时序电路的可靠性问题日益成为人们关注的焦点。讨论高层次时序电路的可靠性评估方法,重点研究分析了贝叶斯可靠性分析方法、多阶段可靠性分析方法和基于概率转移矩阵的时序电路可靠性分析方法。以ISCAS 89基准电路为实验对象,选择几种...
关键词：时序电路 可靠性评估 仿真模拟方法 模型解析方法 软差错 
铁路车站计算机联锁系统安全性分析被引量：1
《软件导刊》2017年第4期191-194,共4页盛紫琦 王曦 欧阳城添 
国家自然科学基金项目(61462034;61561024;11461031);江西省自然科学基金项目(20151BAB207035);江西省大学生创新创业教育计划项目(201410407046);江西理工大学科研基金重点项目(NSFJ2014-K11)
铁路车站计算机联锁系统是一种典型的安全苛求系统,重点是保障系统运营安全。对系统安全进行了分析,建立UML场景时序图,以此为基础建立系统的标号迁移模型,通过模型检测对系统进行安全性验证与分析,设计了系统的安全模型,为安全苛求系...
关键词：安全性分析 形式化方法 模型检测 
触发器可靠度计算的F-PTM方法被引量：1
《电子学报》2016年第9期2219-2226,共8页欧阳城添 江建慧 王曦 
国家自然科学基金(No.61561024;No.61432017;No.61462034);江西省教育厅项目(No.GJJ14429);江西省自然科学项目(No.20151BAB207035)
传统的概率转移矩阵(PTM)方法是一种用于估计软错误对组合电路可靠度影响的有效方法,但传统PTM方法只适用于组合逻辑电路的可靠度评估.触发器是时序逻辑电路的重要组成部分,其可靠度评估对时序电路的可靠度分析研究至关重要.为此,本文...
关键词：软错误 触发器 可靠度评估 概率转移矩阵 半张量积 
基于启发式on-the-fly的扩展TGBA模型检测算法被引量：1
《计算机学报》2014年第12期2519-2529,共11页王曦 徐中伟 
江西省教育厅科学技术研究项目(GJJ13412;GJJ14429;GJJ13410);国家科技支撑计划重大项目(2009BAG11B00;2011BAG01B03);国家自然科学基金(61462034;61075002;61273180);山东省自然科学基金(ZR2012FL17)资助
以广义Büchi自动机为研究对象,对其作判空检测能为解决系统的状态空间爆炸问题提供有效途径.但广义Büchi自动机难以适用于安全苛求计算机系统中,只需满足某个可接受条件子集便可作出非空性判断,进而能判断出系统的安全性的情形.文中...
关键词：模型检测 广义Btichi自动机 on-the-fly算法 安全性分析 
改进的基因表达式编程算法在演化建模中的应用
《江西理工大学学报》2013年第5期77-81,共5页涂燕琼 王曦 
国家自然科学基金资助项目(61105042);江西省教育厅科学技术研究项目(GJJ13410;GJJ13412);江西理工大学科研基金项目计划(jxxj11057)
为了克服传统基因表达式编程易早熟收敛、种群多样性难以保持、演化效率不高、拟合度不高等缺陷,给出了基于表现型的种群多样性测度,并提出了基于排挤小生境的改进基因表达式编程算法.该算法将小生境半径内的早熟个体通过罚函数排挤出去...
关键词：基因表达式编程 小生境 多样性 早熟收敛 演化建模 
一种基于场景模型的安全性分析算法研究被引量：2
《铁道学报》2012年第11期67-76,共10页王曦 徐中伟 
国家科技支撑计划(2011BAG01B00);国家自然科学基金(60674004;61075002)
为了确保安全苛求系统的安全性,其开发过程中必须使用安全性分析技术。传统的安全性分析方法需要花费大量的时间和精力,分析的完整性和一致性难以保障,分析结果易于出错。本文提出一种基于场景模型的安全性分析算法,该算法从基于UML时...
关键词：场景模型 安全性分析 模型检测 
基于启发式NDFS的模型检测新算法被引量：1
《小型微型计算机系统》2012年第8期1740-1746,共7页王曦 徐中伟 
国家科技支撑计划重大项目(2009BAG11B00;2011BAG01B03)资助;国家自然科学基金项目(60674004;61075002)资助
以带有多个可接受条件的广义Büchi自动机为研究对象,提出基于启发式NDFS的模型检测新算法.该算法结合on-the-fly算法与启发式NDFS算法,能较快地判断出广义Büchi自动机非空性,通过理论证明和实验验证了算法的正确性和可行性.与已有算...
关键词：模型检测 启发式NDFS 安全性验证 on-the-fly算法 BÜCHI自动机 
基于场景分析的系统形式化模型生成方法被引量：4
《计算机科学》2012年第8期136-140,163,共6页王曦 徐中伟 
国家科技支撑计划重大项目(2009BAG11B00;2011BAG01B03);国家自然科学基金项目(60674004;61075002)资助
采用形式化方法对系统的安全性进行分析与验证,是构造可靠安全软件系统的一个重要途径。当前的形式化安全分析方法,面临着系统的形式化建模难的问题。以铁路车站联锁系统中基本进路建立为例,提出基于场景分析的系统形式化模型生成方法...
关键词：安全苛求系统 安全性分析 形式化方法 形式化验证 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部