期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种融合FPGA和ISS技术的软硬件协同验证方法
被引量：
1
1
作者
王培东
李锋伟
杨俊成
《计算机工程与应用》
CSCD
北大核心
2009年第30期73-75,79,共4页
建立了一种基于硬件加速器FPGA和指令集模拟器ISS对嵌入式系统功能进行软硬件协同验证的方法。针对此方法的实现,分析了协同验证过程中软硬件交互技术,并给出总线功能模型BFM结构及其实现方法。经实例验证分析表明,基于FPGA和ISS的协同...
建立了一种基于硬件加速器FPGA和指令集模拟器ISS对嵌入式系统功能进行软硬件协同验证的方法。针对此方法的实现,分析了协同验证过程中软硬件交互技术,并给出总线功能模型BFM结构及其实现方法。经实例验证分析表明,基于FPGA和ISS的协同验证方法,在对嵌入式应用系统验证中与其他几种常用方法比较具有较明显的优势。
展开更多
关键词
软硬件协同验证
现场可编程门阵列
指令集模拟器
总线功能模型
在线阅读
下载PDF
职称材料
基于Petri网的工作流过程建模
被引量：
21
2
作者
陈慧灵
王宪增
邹宽城
《计算机工程与科学》
CSCD
2008年第5期92-94,105,共4页
业务过程建模是整个工作流管理系统的基础,选择一种高效的建模技术对复杂多变的实际业务流程进行形式化表示对构建一个灵活的工作流管理系统起着至关重要的作用。本文利用了Petri网技术给业务过程建模,构造了一个灵活可分析的过程模型:...
业务过程建模是整个工作流管理系统的基础,选择一种高效的建模技术对复杂多变的实际业务流程进行形式化表示对构建一个灵活的工作流管理系统起着至关重要的作用。本文利用了Petri网技术给业务过程建模,构造了一个灵活可分析的过程模型:首先介绍了相关的基于Petri网的工作流建模技术,接着描述了Petri网到工作流过程模型执行的映射,然后给出了一个具体的基于Petri网建模方式的实例,最后利用随机Petri网和概率论的一些知识对该模型进行了时间性能分析。
展开更多
关键词
工作流过程模型
PETRI网
工作流网
时间性能分析
在线阅读
下载PDF
职称材料
基于小波变换矩阵的改进脊波变换图像去噪
被引量：
6
3
作者
王宏志
刘媛媛
孙琦
《吉林大学学报（理学版）》
CAS
CSCD
北大核心
2010年第1期99-103,共5页
针对Mallat算法构造小波变换矩阵处理图像.为解决有限域脊波变换(FRIT)只能应用于素数像素大小的图像且图像处理中产生随机信号和"环绕"的问题,提出3种改进型FRIT方法,并将其与不同边界延拓方法相结合应用于图像去噪中.实验...
针对Mallat算法构造小波变换矩阵处理图像.为解决有限域脊波变换(FRIT)只能应用于素数像素大小的图像且图像处理中产生随机信号和"环绕"的问题,提出3种改进型FRIT方法,并将其与不同边界延拓方法相结合应用于图像去噪中.实验结果表明,所给方法在对于具有直线特征的图像去噪方面性能较优.
展开更多
关键词
MALLAT算法
小波变换矩阵
有限域脊波变换(FRIT)
边界延拓
图像去噪
在线阅读
下载PDF
职称材料
题名
一种融合FPGA和ISS技术的软硬件协同验证方法
被引量：
1
1
作者
王培东
李锋伟
杨俊成
机构
哈尔滨理工
大学
计算机
科学与
技术
学院
长春工业大学计算机科学与技术学院
出处
《计算机工程与应用》
CSCD
北大核心
2009年第30期73-75,79,共4页
文摘
建立了一种基于硬件加速器FPGA和指令集模拟器ISS对嵌入式系统功能进行软硬件协同验证的方法。针对此方法的实现,分析了协同验证过程中软硬件交互技术,并给出总线功能模型BFM结构及其实现方法。经实例验证分析表明,基于FPGA和ISS的协同验证方法,在对嵌入式应用系统验证中与其他几种常用方法比较具有较明显的优势。
关键词
软硬件协同验证
现场可编程门阵列
指令集模拟器
总线功能模型
Keywords
Hardware/Software co-verification
Field Programmable Gate Array（FPGA）
Instruction Set Simulato（rISS）
Bus Functional Mode（lBFM）
分类号
TP302.1 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于Petri网的工作流过程建模
被引量：
21
2
作者
陈慧灵
王宪增
邹宽城
机构
长春工业大学计算机科学与技术学院
出处
《计算机工程与科学》
CSCD
2008年第5期92-94,105,共4页
文摘
业务过程建模是整个工作流管理系统的基础,选择一种高效的建模技术对复杂多变的实际业务流程进行形式化表示对构建一个灵活的工作流管理系统起着至关重要的作用。本文利用了Petri网技术给业务过程建模,构造了一个灵活可分析的过程模型:首先介绍了相关的基于Petri网的工作流建模技术,接着描述了Petri网到工作流过程模型执行的映射,然后给出了一个具体的基于Petri网建模方式的实例,最后利用随机Petri网和概率论的一些知识对该模型进行了时间性能分析。
关键词
工作流过程模型
PETRI网
工作流网
时间性能分析
Keywords
workflow process modeling
Petri net
workflow net
time performance analysis
分类号
TP302 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于小波变换矩阵的改进脊波变换图像去噪
被引量：
6
3
作者
王宏志
刘媛媛
孙琦
机构
长春工业大学计算机科学与技术学院
吉林农业
大学
信息
技术
学院
出处
《吉林大学学报（理学版）》
CAS
CSCD
北大核心
2010年第1期99-103,共5页
基金
国家科技支撑计划项目基金(批准号:2007BAE17B04)
文摘
针对Mallat算法构造小波变换矩阵处理图像.为解决有限域脊波变换(FRIT)只能应用于素数像素大小的图像且图像处理中产生随机信号和"环绕"的问题,提出3种改进型FRIT方法,并将其与不同边界延拓方法相结合应用于图像去噪中.实验结果表明,所给方法在对于具有直线特征的图像去噪方面性能较优.
关键词
MALLAT算法
小波变换矩阵
有限域脊波变换(FRIT)
边界延拓
图像去噪
Keywords
Mallat algorithm
wavelet transform matrix
finite ridgelet transform （FRIT）
boundary extension
image denoising
分类号
TP391 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种融合FPGA和ISS技术的软硬件协同验证方法
王培东
李锋伟
杨俊成
《计算机工程与应用》
CSCD
北大核心
2009
1
在线阅读
下载PDF
职称材料
2
基于Petri网的工作流过程建模
陈慧灵
王宪增
邹宽城
《计算机工程与科学》
CSCD
2008
21
在线阅读
下载PDF
职称材料
3
基于小波变换矩阵的改进脊波变换图像去噪
王宏志
刘媛媛
孙琦
《吉林大学学报（理学版）》
CAS
CSCD
北大核心
2010
6
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
