西北工业大学研究生创业种子基金(Z2011123)
- 作品数:2 被引量:2H指数:1
- 相关作者:谷建华杨乾坤王云岚张春永杨科更多>>
- 相关机构:西北工业大学更多>>
- 发文基金:西北工业大学研究生创业种子基金国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术更多>>
- 面向科学计算的业务流程建模技术研究被引量:2
- 2012年
- 分析面向科学计算的业务流程的特点和需求,提出一种适用于科学计算的领域元模型及其智能流程建模语言(SPML),给出领域元模型的形式化描述以及SPML到业务流程执行语言的转换算法。在此基础上,设计并实现一种基于SPML的业务流程建模系统。分析结果表明,该系统既能帮助用户进行业务流程分析和抽象建模,又能生成可执行文件和部署文件,完成流程的自动化部署。
- 杨乾坤谷建华王云岚
- 关键词:元模型形式化描述
- 一种基于CPU-GPU协同的特征码匹配机制
- 2012年
- 在网络安全系统中,提出了一种基于CPU-GPU协同的特征码匹配机制。先用每个特征码表达式的n前缀,构建一个小的DFA(有限自动机);再在GPU上进行不完全匹配,剔除大量正常数据包,检测出可疑的数据包;然后再在CPU上对可疑数据包进行精确匹配。测试结果表明,该机制的匹配吞吐量能达到了19 Gbits/s。
- 杨科谷建华张春永
- 关键词:正则表达式GPU有限自动机