晏荣杰
- 作品数:29 被引量:113H指数:6
- 供职机构:中国科学院软件研究所更多>>
- 发文基金:国家自然科学基金国家重点基础研究发展计划苏州市科技计划项目(应用基础研究计划)更多>>
- 相关领域:自动化与计算机技术电子电信交通运输工程机械工程更多>>
- 基于标签统计和结果后处理的目标检测系统运行时监测方法
- 本发明公开了一种基于标签统计和结果后处理的目标检测系统运行时监测方法,包括基于已标注的样本目标,生成检测目标的先验知识;基于第i帧图像中新检测目标的目标检测框,构建该新检测目标的监测序列;针对第j帧图像中各检测目标,利用...
- 陈宇航晏荣杰严俊
- Intranet的不安全性分析及解决不安全问题的技术探讨被引量:2
- 2000年
- 分析了Intranet中的不安全性 ,根据具体的实践体会从WindowsNT、SQLServer及动态网页脚本语言ASP等方面论述了与安全因素有关的技术漏洞 ,给出了克服不安全问题的技术并进行了探讨。
- 晏荣杰宋雨
- 关键词:INTRANETWINDOWSNTSQLSERVER企业网
- 基于软件复用技术的数据挖掘系统模型研究被引量:1
- 2001年
- 根据数据挖掘的研究现状 ,结合软件系统不断发展的趋势 ,提出了开发基于软件复用技术的数据挖掘系统的观点 ,给出了基于软件复用的数据挖掘系统的结构框图并进行了讨论。
- 晏荣杰宋雨冯莉
- 关键词:软件复用数据挖掘
- 有限精度时间自动机的时钟表示被引量:1
- 2006年
- 简要介绍了有限精度时间自动机(FPTA)的基本概念,重点讨论FPTA状态中时钟的表示。FPTA只记录时钟值的整数部分,而用时钟序的概念来模拟表示时钟值小数部分的大小关系,从而减少生成的状态空间。在FPTA模型中,时钟操作的时空性能主要依赖于时钟序的数据结构和算法。提出了用位矩阵来表示时钟序的数据结构POM(Partial-OrderMatrix)。采用该结构的操作算法具有O(n)复杂度,且无需标准化操作;同时,一切操作均可以通过位运算实现,从而大幅度提高时钟操作的时间效率。
- 刘春明晏荣杰徐雨波
- 基于SCC空性检测中状态空间的缩减方法
- 2008年
- 对Couvreur提出的基于强连通图的空性检测算法进行改进,使基于嵌套的深度优先搜索与基于强连通图搜索算法的优势结合起来,在对基于迁移的扩展(具有多个可接受条件)Büchi自动机进行空性检测过程中,使用一个布尔变量标识一个状态,不仅节省了内存消耗,而且一般情况下的性能明显优于已有的算法,最坏情况等同于Couvreur的算法.同时反例寻找过程等同于基于强连通图的检测算法.
- 晏荣杰张文亮唐稚松
- 基于异构多核平台的同步数据流图帕累托优化与调度被引量:3
- 2015年
- 同步数据流图被广泛用于多媒体和数字信号处理程序等流应用程序的建模。流应用程序须达到一定吞吐量才能流畅运行,利用异构多核处理器来进一步提高流应用程序的吞吐量已经成为当今嵌入式系统的发展趋势,但是提高吞吐量往往伴随着能耗的增加。为了解决这个问题,基于异构多核平台的同步数据流图系统模型,给出了求解所有能耗和吞吐量的帕累托优化点及其相应静态调度的方法。首先将系统模型转换为时间自动机网络,并将分析目标转换为时序逻辑公式;再使用实时模型检测工具UPPAAL寻找解决方案;最后对UPPAAL返回的结果进行分析,找出满足要求的调度。由于模型检测方法可对问题空间进行穷尽搜索,该方法得到的结果是精确的。该方法可帮助设计者在系统开发早期了解系统能耗和吞吐量的量化关系,有利于缩短系统的开发周期,降低开发成本。
- 顾玉磊朱雪阳晏荣杰张广泉
- 关键词:帕累托优化调度
- 基于汽车开放架构系统到统一软硬件表示的形式化系统模型转换和可靠性分析方法
- 本发明公开了一种基于汽车开放架构系统到统一软硬件表示的形式化系统模型转换和可靠性分析方法。本发明的主要思想是将汽车开放架构的分层结构映射成形式化的系统模型,分别包括具有软件应用冗余的抽象模块、硬件抽象模块、软件与硬件交互...
- 晏荣杰苏静严俊杨俊杰黄凯
- 文献传递
- 软件集成测试中接口变异的最小测试集研究
- 软件测试是软件质量保证的关键因素.本文以一个用扩展C语言编写的图像控制程序为例说明使用最小接口变异算子集相对于普通接口变异算子集的优点.
- 冯莉宋雨晏荣杰陈志强
- 关键词:软件集成测试
- 文献传递
- 面向自动驾驶仿真测试的高精地图自动构造方法及装置
- 本申请提出了一种面向自动驾驶仿真测试的高精地图自动构造方法及装置,包括:构建基于高精地图框架简化地图模型;交叉口模型参数的随机;自动化交叉口组结构并连结成高精地图。本申请所实现的方法可以根据构建模型随机化参数自动化生成对...
- 晏荣杰王思琪李昌文张健
- 一种神经网络的鲁棒性评估方法
- 本发明公开了一种神经网络的鲁棒性评估方法,其步骤包括:对于一待评估的神经网络,根据用户设定的测试点x<Sub>*</Sub>、P‑范数半径r、标签检验集合Ω、鲁棒强度参数ε和可接受错误率α、β,计算α分位点Z<Sub>α...
- 张健马菲菲晏荣杰黄沛苏静
- 文献传递