国家高技术研究发展计划(2002AA1Z1490)

作品数：39被引量：155H指数：6
导出分析报告
相关作者：曹阳李元香马秦生杨珺李德识更多>>
相关机构：武汉大学武汉理工大学中国人民解放军通信指挥学华南理工大学更多>>
相关期刊：《计算机应用》《武汉大学学报（信息科学版）》《武汉理工大学学报（信息与管理工程版）》《计算机学报》更多>>
相关主题：SOCSYSTEMC片上系统演化硬件事务级更多>>
相关领域：自动化与计算机技术电子电信更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
网络取证数据的人工免疫网络聚类过滤方法被引量：4
《武汉大学学报（工学版）》2012年第1期123-127,共5页杨珺 马秦生 王敏 刘源 
高等学校博士学科点专项科研基金(编号:20040486049);国家高技术研究发展计划(编号:2002AA1Z1490)
针对当前网络取证数据过滤方法对先验知识过度依赖的问题,提出一种基于人工免疫网络聚类的过滤网络取证数据的方法.该方法以取证数据作为抗原,以具有动态作用域的B细胞作为人工免疫网络的节点,依据抗原与人工免疫网络的隶属度、B细胞的...
关键词：计算机网络安全 计算机犯罪 计算机网络取证 聚类分析 过滤 人工免疫网络 
人工免疫行为轮廓取证分析方法被引量：2
《电子科技大学学报》2010年第6期911-914,919,共5页杨珺 曹阳 马秦生 王敏 
高等学校博士学科点专项科研基金(20040486049);国家高技术研究发展计划(2002AA1Z1490)
针对当前数据挖掘取证分析方法存在的取证分析效率低的问题,提出了采用免疫克隆算法来构建频繁长模式行为轮廓的取证分析方法。该方法以行为数据和频繁项集的候选模式分别作为抗原和抗体,以抗原对抗体的支持度作为亲和度函数,以关键属...
关键词：人工免疫 行为轮廓 计算机取证 计算机安全 数据挖掘 电子犯罪对策 信息分析 模式匹配 
多端口存储器控制器IP核的研究被引量：2
《西安电子科技大学学报》2010年第1期142-147,共6页马秦生 曹阳 杨珺 张宁 
国家863重大专项资助项目(2002AA1Z1490);教育部博士点基金资助项目(20040486049);华为技术有限公司高校合作研究基金资助项目
为了提高SoC系统中主设备访问外部存储器的访问带宽,设计了基于AHB总线的多端口存储器控制器IP核,并提出了基于提前仲裁和请求等待优先的仲裁策略.IP核中的多个主设备通过多个端口请求访问外部存储器,仲裁器在当前总线读/写操作完成前...
关键词：专用集成电路 IP 逻辑设计 控制设备 存储设备 可重用性 多端口 仲裁器 
事务级随机测试功能验证方法被引量：2
《华中科技大学学报（自然科学版）》2010年第1期73-76,共4页杨王君 曹阳 王敏 马秦生 
国家高技术研究发展计划重大专项资助项目(2002AA1Z1490);高等学校博士学科点专项科研基金资助项目(20040486049);华为技术有限公司高校合作研究基金资助项目
针对事务级和寄存器传输级(RTL)功能验证效率低的问题,提出了采用随机测试在片上系统(SoC)事务级进行功能验证的方法,用对比评估法论证了该方法的有效性.采用高级建模语言构建事务级的测试平台,并采用多种随机化机制生成测试向量.有效...
关键词：超大规模集成电路 功能验证 随机过程 测试平台 事务级 
事务级AHB总线模型研究被引量：2
《计算机应用研究》2009年第9期3246-3248,共3页马秦生 曹阳 杨珺 张宁 
国家"863"重大专项基金资助项目(2002AA1Z1490);国家教育部博士点基金资助项目(20040486049)
为了克服RTL级AHB总线模型的局限性,提出了采用标准C++扩充的软硬件统一建模语言SystemC构建事务级的AHB总线模型的方法。该方法利用端口来连接模块和通道,利用通道来实现接口中定义的方法。经仿真验证,时序完全符合AHB总线标准,运行速...
关键词：片上系统 AHB总线 事务级 建模 
基于提前仲裁和请求等待优先的仲裁策略被引量：2
《华南理工大学学报（自然科学版）》2009年第9期57-61,共5页杨珺 曹阳 马秦生 高洵 
国家"863"高技术计划项目(2002AA1Z1490);教育部高等学校博士学科点专项科研基金资助项目(20040486049);华为技术有限公司高校合作研究基金资助项目
为解决多端口片上系统仲裁调度中性能与代价之间的矛盾,提出了一种将提前仲裁机制和请求等待优先机制扩展到固定优先级仲裁算法之上的仲裁策略:提前仲裁机制利用数据传输时间段来裁决新的总线访问请求;请求等待机制对发出总线访问请求...
关键词：超大规模集成电路 知识产权 逻辑设计 电路仿真 多端口仲裁 提前仲裁 请求等待优先 
片上网络虚通道分配算法被引量：2
《华中科技大学学报（自然科学版）》2009年第3期54-57,共4页王力纬 曹阳 李晓辉 朱小虎 
国家高技术研究发展计划资助项目(2002AA1Z1490)
提出了一种可应用于虫孔路由片上网络(NOC)的虚通道分配算法.该算法针对传统的虚通道均匀分配方法导致的面积浪费与功耗上升的缺点,基于排队论建立了一个虫孔路由器分析模型.依据业务流量的特征,可计算路由器各输入通道的带宽利用率,仅...
关键词：互连网络 片上网络 虫孔路由 虚通道 虚通道分配 
基于随机测试的SoC系统级功能验证方法的研究被引量：1
《电子技术应用》2008年第12期149-152,共4页杨珺 曹阳 马秦生 张宁 冯浩 
国家863重大专项(2002AA1Z1490);国家集成电路设计深圳产业化基地研究生创新基金项目;华为技术有限公司高校合作研究基金项目
为了克服 RTL 级验证方法的局限性,提出了采用随机测试向量在 SoC 的系统级进行功能验证的方法。该方法采用高级建模语言来构建系统级的测试平台,采用多种随机化机制来生成测试向量。测试结果表明,该方法不仅能够获得较好的功能覆盖率,...
关键词：SOC 系统级功能验证 随机测试 
虫孔路由NOC的缓冲分配算法被引量：4
《北京邮电大学学报》2008年第4期29-32,共4页王力纬 曹阳 李晓辉 朱小虎 
国家“863计划”项目(2002AA1Z1490)
提出了一种可应用于虫孔路由片上网络(NOC)的缓冲分配算法.在满足系统总缓冲资源大小不变的情况下,该算法可以依据业务流量的特征在各个路由器的输入通道间分配缓冲资源.仿真结果表明,使用该算法后,系统缓冲资源得到了更有效的利用,数...
关键词：虫孔路由 片上网络 缓冲分配算法 
SOC的形式化验证方法
《武汉大学学报（工学版）》2008年第6期108-112,共5页李德识 陈健 孙涛 
国家863重大专项资助(编号:2002AA1Z1490)
针对SOC验证的需要,研究了形式化验证方法,重点分析了二元决策图(BDD)的等效性检查技术,设计了FSM等效性检查的程序,以及算法级描述控制流程到BDD转换方法;研究了利用计算树逻辑进行的模型检查技术,给出了CTL模型检查的处理流程;提出了...
关键词：形式化 BDD CTL 验证 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部