期刊文献+
共找到20篇文章
< 1 >
每页显示 20 50 100
基于总线模型和Json的Ajax安全开发模型 被引量:8
1
作者 王沛 谢俊元 《计算机工程与设计》 CSCD 北大核心 2008年第3期586-589,628,共5页
针对Ajax开发中可能出现的安全问题,提出了一种安全开发模型。该模型基于总线模型实现,能够在单一的点上进行安全策略控制;数据传输使用Json协议,这在Ajax中能够提供高灵活性和高效率的数据传输;安全策略文件使用XML,易于理解和维护,只... 针对Ajax开发中可能出现的安全问题,提出了一种安全开发模型。该模型基于总线模型实现,能够在单一的点上进行安全策略控制;数据传输使用Json协议,这在Ajax中能够提供高灵活性和高效率的数据传输;安全策略文件使用XML,易于理解和维护,只需妥善编辑这个安全策略文件,便能够对整个应用程序提供完善的安全保护。 展开更多
关键词 WEB开发 安全 异步JavaScript和XML 总线模型 JavaScript对象通知协议
在线阅读 下载PDF
一种基于总线模型的数据清洗方法 被引量:2
2
作者 杨梦宁 赵鹏 +1 位作者 张小洪 李朋 《计算机科学》 CSCD 北大核心 2010年第4期224-226,共3页
数据清洗是保证数据质量的重要环节。已有的清洗方法往往过于依赖特定应用,不容易得到重用。从提高数据清洗方法的可重用性和可扩展性的角度出发,提出一种基于总线模型可复用的数据清洗框架。具有相对独立功能的清洗工具以组件的形式,... 数据清洗是保证数据质量的重要环节。已有的清洗方法往往过于依赖特定应用,不容易得到重用。从提高数据清洗方法的可重用性和可扩展性的角度出发,提出一种基于总线模型可复用的数据清洗框架。具有相对独立功能的清洗工具以组件的形式,通过适配器挂接到清洗总线上,通过总线控制对清洗组件实现清洗。最后用具体应用来描述基于总线模型的数据清洗方法的工作流程。实践结果证明该方法具有良好的性能和应用价值。 展开更多
关键词 数据清洗 总线模型 组件 可复用
在线阅读 下载PDF
基于SystemC的总线模拟模型研究与实现 被引量:1
3
作者 吴悦 任志清 杨洪斌 《上海大学学报(自然科学版)》 CAS CSCD 北大核心 2007年第5期539-544,共6页
该文探讨了一种基于SystemC的总线模拟模型构建方法,建立了一个基于接口方法调用机制的总线模拟模型,该模型作为片上系统的片上总线行为级模拟模型,已达到了总线的功能要求,设有多种设备类型接口,具有良好的设备可扩充性.
关键词 SOC SYSTEMC 总线模拟模型 接口方法调用
在线阅读 下载PDF
总线级故障模型的分析与生成 被引量:2
4
作者 孙峻朝 杨孝宗 刘嘉林 《计算机工程》 CAS CSCD 北大核心 2000年第2期65-67,共3页
针对总线级故障模型,对其属性进行了分析,讨论了模型的生成过程,以一个应用实例说明了文中所提方法的有效性。
关键词 容错机制 故障注入 总线级故障模型 双向模拟
在线阅读 下载PDF
基于总线功能模型的全系统FPGA验证环境设计 被引量:1
5
作者 薛利强 于真 《航空发动机》 2017年第1期13-16,共4页
为了解决发动机控制领域中可编程门阵列设计复杂性日益增长而导致的验证困难问题,提出了1种FPGA的全系统验证方案,用以实现全面高效的功能验证。根据控制系统设计方案,对照控制器电路结构进行验证平台的搭建,通过基于总线功能模型的方... 为了解决发动机控制领域中可编程门阵列设计复杂性日益增长而导致的验证困难问题,提出了1种FPGA的全系统验证方案,用以实现全面高效的功能验证。根据控制系统设计方案,对照控制器电路结构进行验证平台的搭建,通过基于总线功能模型的方法对系统中FPGA所控制的外设进行建模,并在验证平台中进行与电路完全一致的连接。按照系统测试计划编制测试用例对全系统进行模拟仿真。测试结果表明:全系统FPGA的验证能够模拟控制器实际运行状态,提升了验证层次与效率,对发动机数控系统的设计质量提升有显著作用。 展开更多
关键词 可编程门阵列 验证平台 总线功能模型 全权限数字电子控制系统 航空发动机
在线阅读 下载PDF
基于软构件模型的农业智能系统平台 被引量:12
6
作者 赵春江 吴华瑞 +3 位作者 杨宝祝 孙想 王纪华 顾静秋 《农业工程学报》 EI CAS CSCD 北大核心 2004年第2期140-143,共4页
详细分析了农业智能系统平台的软构件构造流程,提出了一种面向构件设计的自适应软总线模型,依据模型可以进行系统功能构件的组装和组装推导。建立了一个可扩展、可裁减的公共构件底层框架,该框架对构件的接口、约束和交互协议进行了描述... 详细分析了农业智能系统平台的软构件构造流程,提出了一种面向构件设计的自适应软总线模型,依据模型可以进行系统功能构件的组装和组装推导。建立了一个可扩展、可裁减的公共构件底层框架,该框架对构件的接口、约束和交互协议进行了描述,并通过XML格式提供构件扩展机制。在框架研究基础上,开发了一个构件化农业智能系统平台,为农业信息技术人员提供了统一规范、方便快捷的二次开发环境,可显著提高农业智能系统的开发质量,并缩短系统开发周期。 展开更多
关键词 农业智能系统 开发平台 构件 自适应软总线模型 软件重用
在线阅读 下载PDF
基于公共连接件环境的构件访问模型 被引量:1
7
作者 段覃昭 王耀青 《计算机工程与科学》 CSCD 2004年第1期77-79,共3页
基于构件的软件开发方法是当前人们正在积极研究的一种新的软件开发方法。本文描述 了作者实现的分布式构件系统中构件间信息交互平台的总线模型。
关键词 软件开发 构件访问模型 公共连接件环境 软构件 分布式构件系统 信息交互平台 总线模型
在线阅读 下载PDF
总线型卫星电子系统T-时延离散PETRI网建模
8
作者 吴限德 孙兆伟 张世杰 《系统仿真学报》 CAS CSCD 北大核心 2009年第14期4528-4531,共4页
小卫星综合电子系统是整个卫星的管理中心,能够完成参数采集,数据处理,信息提取和各种控制模式的实施等任务,综合电子系统设计方案直接决定小卫星的性能和可靠性等指标。给出小卫星基于总线的综合电子系统方案,针对以总线为核心的电子... 小卫星综合电子系统是整个卫星的管理中心,能够完成参数采集,数据处理,信息提取和各种控制模式的实施等任务,综合电子系统设计方案直接决定小卫星的性能和可靠性等指标。给出小卫星基于总线的综合电子系统方案,针对以总线为核心的电子系统方案,建立了T-时延离散Petri网(TTDPN)模型,并对该模型进行了性能分析与评价,数学仿真结果表明,基于总线的电子系统方案能够有效满足系统实时性要求。 展开更多
关键词 TTDPN 电子系统 小卫星 总线模型
在线阅读 下载PDF
PRAM和LARPBS模型上有向序列翻转距离并行算法(英文)
9
作者 沈一飞 陈国良 张强锋 《软件学报》 EI CSCD 北大核心 2007年第11期2683-2690,共8页
分别在两种重要并行计算模型中给出计算有向基因组排列的反转距离新的并行算法.基于Hannenhalli和Pevzner理论,分3个主要部分设计并行算法:构建断点图、计算断点图中圈数、计算断点图中障碍的数目.在cREW-PRAM模型上,算法使用O(n^2)处理... 分别在两种重要并行计算模型中给出计算有向基因组排列的反转距离新的并行算法.基于Hannenhalli和Pevzner理论,分3个主要部分设计并行算法:构建断点图、计算断点图中圈数、计算断点图中障碍的数目.在cREW-PRAM模型上,算法使用O(n^2)处理器,时间复杂度为D(log^2n);在基于流水光总线的可重构线性阵列系统(linear array with a reconfigurable pipelined bus system,LARPBS)模型上,算法使用O(n^3)处理器,计算时间复杂度为D(logn). 展开更多
关键词 并行算法 总线并行模型 反转距离 基因组重排 序列比较 CREW-PRAM模型
在线阅读 下载PDF
IP可重用的AMBA AXI总线验证平台设计与实现 被引量:8
10
作者 侯秋菊 沈海华 《计算机工程与设计》 CSCD 北大核心 2008年第7期1713-1715,1753,共4页
总线结构和互联是SoC设计的核心,因此基于总线的验证成为SoC功能验证的重点和难点。针对AMBA AXI总线的特点以及验证平台可重用性的要求,提出了一种基于IP可重用的、层次化的AMBAAXI总线协议的验证架构,并给出了该架构下激励生成、自检... 总线结构和互联是SoC设计的核心,因此基于总线的验证成为SoC功能验证的重点和难点。针对AMBA AXI总线的特点以及验证平台可重用性的要求,提出了一种基于IP可重用的、层次化的AMBAAXI总线协议的验证架构,并给出了该架构下激励生成、自检测及覆盖率分析机制。实验结果表明,该架构适用于各种基于AXI总线结构的IP和SoC的验证,能达到较理想的覆盖率,并且具有很好的收敛性。 展开更多
关键词 系统集成芯片 总线功能模型 断言 代码覆盖率 功能覆盖率
在线阅读 下载PDF
Linux系统下基于SPI总线的外部A/D驱动设计 被引量:2
11
作者 赵盼 李俊 周海峰 《仪表技术与传感器》 CSCD 北大核心 2016年第10期90-93,共4页
为了满足工业控制系统的测控要求,设计了一种Linux系统下基于SPI总线的外部A/D驱动程序。通过总线设备模型的方法编写驱动程序能动态地加载和卸除设备驱动,A/D和ARM之间通过SPI总线进行数据交互,应用程序通过数据处理进程和数据收发进... 为了满足工业控制系统的测控要求,设计了一种Linux系统下基于SPI总线的外部A/D驱动程序。通过总线设备模型的方法编写驱动程序能动态地加载和卸除设备驱动,A/D和ARM之间通过SPI总线进行数据交互,应用程序通过数据处理进程和数据收发进程进行数据采集计算和传输,两者通过消息队列实现同步。具有设备动态加载、可移植性强等特点,不仅提高了系统转换精度,还提高了总线的传输速率,经测试表明该驱动的设计可行。 展开更多
关键词 嵌入式操作系统 外部模数转换器 字符设备驱动 总线设备模型
在线阅读 下载PDF
基于CPCI的ARINC429总线通信卡的WDM驱动程序开发 被引量:2
12
作者 魏超 苗克坚 杨成果 《计算机工程与科学》 CSCD 2008年第10期156-158,F0003,共4页
本文介绍了Windows 2000下WDM的基本原理及ARINC429总线通信卡的硬件组成。以该通信卡的驱动程序设计为例,本文详细阐述了利用DDK、Driver Studio和VC++工具开发Windows平台下具有内存和I/O方式读写及中断处理的WDM驱动程序的方法和注... 本文介绍了Windows 2000下WDM的基本原理及ARINC429总线通信卡的硬件组成。以该通信卡的驱动程序设计为例,本文详细阐述了利用DDK、Driver Studio和VC++工具开发Windows平台下具有内存和I/O方式读写及中断处理的WDM驱动程序的方法和注意事项,同时介绍了应用程序如何及时响应硬件事件。 展开更多
关键词 ARINCA29总线Windows设备驱动程序模型 设备驱动程序开发包 I/O请求包 设备对象
在线阅读 下载PDF
一种RTL级数据通路ODC低功耗优化算法 被引量:2
13
作者 孟建熠 丁永林 +1 位作者 严晓浪 葛海通 《电子学报》 EI CAS CSCD 北大核心 2010年第7期1654-1659,共6页
本文提出了一种具有高计算效率和低硬件开销的门控时钟低功耗优化算法.该算法在RTL级搜索数据通路的不可观察性(Observability Dont′Care).采用RTL级逻辑信号总线ODC模型和基于路径ODC的有向图遍历模型,减少了ODC计算负荷,提升了计算效... 本文提出了一种具有高计算效率和低硬件开销的门控时钟低功耗优化算法.该算法在RTL级搜索数据通路的不可观察性(Observability Dont′Care).采用RTL级逻辑信号总线ODC模型和基于路径ODC的有向图遍历模型,减少了ODC计算负荷,提升了计算效率,使ODC适用于超大规模集成电路的低功耗优化.引入数据通路ODC条件概率作为门控信号产生的重要依据,对ODC条件概率高的通路优先插入门控逻辑,可以极低硬件开销实现高效门控时钟网络.实验结果显示,本算法与传统ODC算法相比计算负荷平均降低8倍,功耗平均下降12.35%,面积开销平均减少13.44%. 展开更多
关键词 数据通路低功耗 总线ODC模型 路径ODC模型 ODC条件概率
在线阅读 下载PDF
通用PCI目标控制器的设计与实现 被引量:1
14
作者 王新胜 王晨旭 付明旺 《计算机工程》 CAS CSCD 北大核心 2009年第5期227-229,共3页
在研究PCI总线规范的基础上,完成PCI目标控制器的功能描述和验证,从整体设计、数据通路和控制路径的建立上阐述对目标控制器的设计,实现了FIFO型数据接口和寄存器型数据接口,以满足通用性。使用总线功能模型完成对PCI目标控制器的功能验... 在研究PCI总线规范的基础上,完成PCI目标控制器的功能描述和验证,从整体设计、数据通路和控制路径的建立上阐述对目标控制器的设计,实现了FIFO型数据接口和寄存器型数据接口,以满足通用性。使用总线功能模型完成对PCI目标控制器的功能验证,测试结果显示该模型满足功能要求,同时进行了FPGA实现,完全符合PCI v2.2规范要求。 展开更多
关键词 PCI总线 目标控制器 总线功能模型
在线阅读 下载PDF
一种融合FPGA和ISS技术的软硬件协同验证方法 被引量:1
15
作者 王培东 李锋伟 杨俊成 《计算机工程与应用》 CSCD 北大核心 2009年第30期73-75,79,共4页
建立了一种基于硬件加速器FPGA和指令集模拟器ISS对嵌入式系统功能进行软硬件协同验证的方法。针对此方法的实现,分析了协同验证过程中软硬件交互技术,并给出总线功能模型BFM结构及其实现方法。经实例验证分析表明,基于FPGA和ISS的协同... 建立了一种基于硬件加速器FPGA和指令集模拟器ISS对嵌入式系统功能进行软硬件协同验证的方法。针对此方法的实现,分析了协同验证过程中软硬件交互技术,并给出总线功能模型BFM结构及其实现方法。经实例验证分析表明,基于FPGA和ISS的协同验证方法,在对嵌入式应用系统验证中与其他几种常用方法比较具有较明显的优势。 展开更多
关键词 软硬件协同验证 现场可编程门阵列 指令集模拟器 总线功能模型
在线阅读 下载PDF
基于VPM和随机激励的处理器核仿真建模
16
作者 许彤 张仕健 吕涛 《计算机工程》 CAS CSCD 北大核心 2010年第20期19-21,24,共4页
为提高处理器核仿真模型的效率,提出基于SimpleScalar架构对龙芯1号处理器进行虚拟处理器模型行为建模,IPC平均误差为2.3%,速度达到每秒1 000 000条指令。基于可控随机事件机制实现的总线功能模型可以为片上系统(SoC)设计提供激励主动... 为提高处理器核仿真模型的效率,提出基于SimpleScalar架构对龙芯1号处理器进行虚拟处理器模型行为建模,IPC平均误差为2.3%,速度达到每秒1 000 000条指令。基于可控随机事件机制实现的总线功能模型可以为片上系统(SoC)设计提供激励主动生成方案和片上互连验证功能。实验结果证明,该方法对处理器IP仿真建模具有普适意义,能够被无缝融入SoC流程中。 展开更多
关键词 IP仿真模型 SimpleScalar模拟器 可控随机事件 总线功能模型 龙芯1号处理器
在线阅读 下载PDF
物流空间信息组织体系的构架研究
17
作者 邓军 《江西农业大学学报》 CAS CSCD 北大核心 2006年第4期625-629,共5页
物流管理是供应链管理的核心,是制造企业迅速组织生产的关键。基于供应链上的各种对象与G IS的关系,指出了物流技术与空间信息技术融合成物流空间信息技术的必然性;提出了采用总线型G IS模型作为物流空间信息系统的结构模型,并由此进行... 物流管理是供应链管理的核心,是制造企业迅速组织生产的关键。基于供应链上的各种对象与G IS的关系,指出了物流技术与空间信息技术融合成物流空间信息技术的必然性;提出了采用总线型G IS模型作为物流空间信息系统的结构模型,并由此进行物流空间信息的组织体系的构架设计,该构架充分利用了中间件热插拔的特性,能够很好地满足物流空间信息所涉及的异构分布式复杂信息集成要求。 展开更多
关键词 物流空间信息技术 总线型GIS模型 中间件 供应链管理
在线阅读 下载PDF
通信系统中SystemC可重用验证平台的设计 被引量:2
18
作者 王琛 陈永洲 《光通信研究》 北大核心 2010年第3期11-13,25,共4页
文章以SystemC为验证语言的通信系统的可重用验证平台的设计思路,通过层次化设计,将验证平台划分为4个层次:用户层、配置管理层、总线功能模型层和待测设计层。介绍了各层接口的通信方式,着重介绍了用户层模块、算法模块、端口模块、激... 文章以SystemC为验证语言的通信系统的可重用验证平台的设计思路,通过层次化设计,将验证平台划分为4个层次:用户层、配置管理层、总线功能模型层和待测设计层。介绍了各层接口的通信方式,着重介绍了用户层模块、算法模块、端口模块、激励产生模块、总线功能模块以及结果比较模块重用设计方法,依照此方法能快速高效地搭建可重用的验证平台。 展开更多
关键词 验证平台 可重用性 受控随机激励 总线功能模型
在线阅读 下载PDF
八通道多协议串行通信控制器的功能验证
19
作者 周吉吉 何书专 +3 位作者 李伟 娄孝祥 张仲金 李丽 《半导体技术》 CAS CSCD 北大核心 2008年第11期1036-1040,共5页
超大规模集成电路芯片的验证是一项复杂的任务,占据了整个芯片设计工作量的70%。实现了一款八通道多协议串行通信控制器芯片的功能验证,介绍了基于总线功能模型验证平台的建立方法,并根据此芯片的设计特点,研究了该芯片的验证策略,设计... 超大规模集成电路芯片的验证是一项复杂的任务,占据了整个芯片设计工作量的70%。实现了一款八通道多协议串行通信控制器芯片的功能验证,介绍了基于总线功能模型验证平台的建立方法,并根据此芯片的设计特点,研究了该芯片的验证策略,设计了验证平台,同时完成了芯片的后仿真和样片测试。实践证明,该验证策略具有较高的功能覆盖率,验证平台具有较好的复用性,对同类具有复杂通信协议电路的功能验证有一定的参考价值。 展开更多
关键词 功能验证 验证平台 总线功能模型
在线阅读 下载PDF
基于ARM核的片上可编程系统的功能验证
20
作者 金轶丰 《计算机工程》 EI CAS CSCD 北大核心 2005年第6期192-194,共3页
介绍了一种快速准确的片上系统验证方法。这种方法改善了针对当今高性能的系统设计的验证过程,从而减少了开发整个系统所需要的成本。
关键词 验证 VERILOG硬件描述语言 AHB 总线功能模型 测试基
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部