检索结果-内蒙古大学图书馆

作者：许哲懋叶人杰黄迅伦中国台湾新竹县

本发明公开了一种存储器仿真方法、装置以及模型产生器。该存储器仿真方法包括：提供一存储器模型，其中该存储器模型至少包括一阵列单元，该阵列单元包括一阵列宣告模块与一计算模块；通过阵列宣告模块在一存储装置中定义一虚拟阵列，... 详细信息

标准号: CN102467461A

本发明公开了一种存储器仿真方法、装置以及模型产生器。该存储器仿真方法包括：提供一存储器模型，其中该存储器模型至少包括一阵列单元，该阵列单元包括一阵列宣告模块与一计算模块；通过阵列宣告模块在一存储装置中定义一虚拟阵列，以仿真一物理存储器；接收一存取指示，且对于该虚拟阵列执行相应存取指示的一存取操作，依据一事务层级进行存取操作；以及通过计算模块依据该存取指示，估测在存取指示下相应存取操作的一存取时间或一延迟时间。本发明可以减少仿真存储器功能的复杂度，进而提升整体虚拟平台的模拟效能。

关键词：存取指示存取操作存储器仿真存储器模型计算模块虚拟阵列仿真存储器物理存储器存储装置存取时间虚拟平台延迟时间阵列单元估测复杂度层级仿真事务

来源：评论

学校读者我要写书评

暂无评论

用于调试存储器一致性模型的系统和方法

用于调试存储器一致性模型的系统和方法

引用

作者： J.多尔比 E.托拉克 M.瓦齐里美国纽约阿芒克

一种用于分析关于存储器模型（M）的测试程序（P）的方法和系统，包括将测试程序预处理为中间形式，以及将所述测试程序的中间形式转换（204）为关系逻辑表示。将所述关系逻辑表示与存储器模型（M）组合（206），以产生合法性公式。在... 详细信息

标准号: CN102597961A

一种用于分析关于存储器模型（M）的测试程序（P）的方法和系统，包括将测试程序预处理为中间形式，以及将所述测试程序的中间形式转换（204）为关系逻辑表示。将所述关系逻辑表示与存储器模型（M）组合（206），以产生合法性公式。在搜索所述存储器模型的空间或者所述合法性公式的核心上计算（208）界限的集合。求解（212）由所述合法性公式和所述界限的集合定义的关系可满足性问题，以判定所述测试程序的合法轨迹或者调试所述存储器模型。

关键词：存储器模型测试程序合法性关系逻辑中间形式预处理调试转换分析

来源：评论

学校读者我要写书评

暂无评论

随机动态经济调度问题的存储器建模及近似动态规划算法

引用

中国电机工程学报 2014年第25期34卷 4333-4340页

作者：简淦杨刘明波林舜江华南理工大学电力学院广东省广州市510640

将含有风电场和抽水蓄能电站的电力系统随机动态经济调度问题描述为随机型存储器问题,以考虑风电场出力所具有的随机性。该模型含数学期望的计算,且实际问题状态空间、决策空间都是高维的,难以对其准确求解。因此,采用近似动态规划算法... 详细信息

将含有风电场和抽水蓄能电站的电力系统随机动态经济调度问题描述为随机型存储器问题,以考虑风电场出力所具有的随机性。该模型含数学期望的计算,且实际问题状态空间、决策空间都是高维的,难以对其准确求解。因此,采用近似动态规划算法将值函数近似表示成分段线性函数的逼近形式,从而将随机存储器问题转化为一系列多阶段线性规划问题。通过扫描误差场景并相应求解所对应的线性规划问题,可实现对值函数进行训练,逐次修正各分段斜率值,直至值函数收敛后,再用来对预测场景下的线性规划问题进行求解,即得动态经济调度结果。该算法避免了求解准确解时面临的"维数灾"问题,具有较快的计算速度。以含风电场和抽水蓄能电站的小型测试系统和某省级实际电力系统为例,验证了所提模型与算法的可行性与有效性。

关键词：风电场抽水蓄能电站随机动态经济调度存储器模型近似动态规划法

来源：评论

学校读者我要写书评

暂无评论

Cortex-M全系统模拟器的研究和实现

Cortex-M全系统模拟器的研究和实现

引用

作者：周明君东华大学

学位级别：硕士

本文实现了一个ARM Cortex-M系列内核的全系统嵌入式模拟器。通过对不同类型的模拟器进行分类和比较,本文首先确定了整个系统的需求。并根据需求划分了内核模拟、调试接口、外设模拟、用户接口等模块。分析比较了各种不同的组织模块的方... 详细信息

本文实现了一个ARM Cortex-M系列内核的全系统嵌入式模拟器。通过对不同类型的模拟器进行分类和比较,本文首先确定了整个系统的需求。并根据需求划分了内核模拟、调试接口、外设模拟、用户接口等模块。分析比较了各种不同的组织模块的方式,基于多进程的架构,对不同的模块进程进行合并,最后将模拟器分为了数个进程进行实现。根据ARM Cortex-M系列指令集的特点,本文设计了一个模拟器内核,实现了包括指令集、中断控制器、地址空间等方面的模拟。对不同的指令集实现方式作出了比较,并用解释执行的方式实现了一个指令集执行引擎。根据ARM地址空间的特点,提出了一种存储器模型,将所有地址空间统一到一个模型中。并着重对Cortex-M系列的NVIC进行了分析,比较了NVIC与传统ARM异常中断处理机制的区别,实现了NVIC的中断优先级、中断嵌套等高级功能。本文通过首先对内核总体框架的构建,并介绍重要数据结构和接口函数的方式,给出了整个模拟器内核的具体实现。除模拟器内核之外,本文还针对嵌入式系统使用中非常重要的调试功能,设计并实现了模拟器的调试模块。基于GDB调试器和与之相关的RSP协议,分析了GDB远程调试的原理和实现机制。着重分析了RSP协议与GDB相关指令的映射关系,以及通过RSP协议与GDB通信的原理。在模拟器内核中添加了GDBStub,从而使得模拟器上运行的程序可以通过GDB来进行远程调试,利用了其优良的调试功能。根据嵌入式系统对处理器与外设之间的需求以及各种不同外设之间的区别和联系,本文提出了基于软件和基于硬件的外设模拟方式。在软件模拟方式中,提出了一种外部设备模型,并比较了多种软件模拟的架构,改进并实现了其中一种架构,并以Systick为例介绍了外部设备模型的具体实现。本文也提出了一种基于硬件的外设模拟方式,具体描述了其结构和原理,定义了一种硬件与模拟器内核通信的接口协议,并实现了其接口。文章在最后总结模拟器的实现过程中的不足,指出了在一些有待解决和改善的问题,并列出了可进一步开展的工作。

关键词：模拟器存储器模型 GDB Stub 外部设备模型硬件模拟外设

来源：评论

学校读者我要写书评

暂无评论

含风电场和抽水蓄能电站接入的安全约束随机经济调度

含风电场和抽水蓄能电站接入的安全约束随机经济调度

引用

作者：简淦杨华南理工大学

学位级别：硕士

近年来,风力发电作为一种可再生的清洁电源,越来越多地接入到电网中,以应对化石能源面临枯竭和环境污染问题。但是风力发电的随机性给系统优化调度带来了困难。抽水蓄能电站是一种技术成熟、运行成本低、响应速度快的电网层面大容量储... 详细信息

近年来,风力发电作为一种可再生的清洁电源,越来越多地接入到电网中,以应对化石能源面临枯竭和环境污染问题。但是风力发电的随机性给系统优化调度带来了困难。抽水蓄能电站是一种技术成熟、运行成本低、响应速度快的电网层面大容量储能装置,能够在一定程度上减轻随机性对系统的消极影响,充分消纳可再生能电源。本文针对含风电场和抽水蓄能电站接入的电力系统安全约束随机经济调度问题从模型和算法方面展开了研究。针对含单个风电场和单个抽水蓄能电站接入的电力系统随机经济调度问题,以风电场出力为随机变量、抽水蓄能电站水库储水等效电量为存储变量,构建了相对简易的随机存储器模型,考虑了机组出力上下限和爬坡率的物理约束。该模型含数学期望的计算,而且实际问题状态空间、决策空间都是高维的,面临“维数灾”,难以对其准确求解。本文采用近似动态规划法(approximate dynamic programming,ADP)对其进行求解,通过分段线性的形式来近似逼近值函数,以求得问题的近似解。首先基于风电场预测出力曲线,结合由历史数据统计而得的概率分布,对风电场出力进行抽样,产生足够多的误差场景。然后根据系统的信息对近似值函数进行适当的初始化,再采用求解随机存储器模型的SPAR(successive projective approximation routine,SPAR)算法扫描误差场景,对值函数进行训练,得到收敛的近似值函数。最后,在预测场景下,对收敛近似值函数所表达的模型进行优化求解,即可得到随机经济调度的近似最优日前方案。此外,近似值函数还可作为策略,指导系统在偏离预测场景的情况下进行随机经济调度决策。输电线路在运行过程中,其传输功率存在热稳定限值,需在经济调度过程中给予考虑。因此,各个随机性电源和存储装置在网络的地位不一样,不能简单合并,必须分开考虑。另一方面,调度过程中还应考虑从预测场景安全转移到误差场景的约束。针对以上两点,对模型和算法进行了适当的改进,以适应含多风电场、多抽蓄的电力系统安全约束随机经济调度问题。对测试系统和某省级电网的仿真计算结果表明,本文构建的模型和选取的方法能有效求得所研究问题的近似解,具有实用价值。

关键词：安全约束随机经济调度风电场抽水蓄能电站存储器模型近似动态规划

来源：评论

学校读者我要写书评

暂无评论

多重处理与多道程序控制系统综述(上)

引用

计算机研究与发展 1965年第5期 1-8页

作者： A.J.Critchlow 莫莎

1.1 定义本文采用下列定义:1.多道程序控制——就是许多道按序工作的程序对一个处理机进行分时操作。所用的程序有很多道, 但某一时刻在存储器里实际被执行的程序却只有一道。目的程序由监督程序来控制。当许多道程序能够互相交替地以... 详细信息

1.1 定义本文采用下列定义:1.多道程序控制——就是许多道按序工作的程序对一个处理机进行分时操作。所用的程序有很多道, 但某一时刻在存储器里实际被执行的程序却只有一道。目的程序由监督程序来控制。当许多道程序能够互相交替地以最有效的方式来利用机器的设备时,系统的工作效率最高。一般说来,完成一道被选中的程序所需的时间要比完成单道程序的操作时间长一些。2.多重处理——用许多个重复装置所完成的独立与同时的处理。虽然具有独立输入输出通道的系统也可称为多重处理机,但我们所指的主要是重复的逻辑与运算装置。应当注意,“处理机”并不包

关键词：地址寄存器处理机输入输出软件子程序静算存储器模型

来源：评论

学校读者我要写书评

暂无评论

设计嵌入式系统必须权衡考虑

引用

电子设计技术 2000年第11期 36-36页

作者： Markus Levy 《EDN》技术编辑

设计嵌入式系统需要权衡考虑。《EDN》考察了五家大型半导体供应商的实验室,了解了各种处理器级及系统级权衡办法。

关键词：嵌入式系统 JPEG IDT 计算机系统外部总线处理器编译程序代码量编译器高速缓存存储器模型数据包

来源：评论

学校读者我要写书评

暂无评论

一种基于UVM的芯片验证测试方法、系统及电子设备

一种基于UVM的芯片验证测试方法、系统及电子设备

引用

作者：李浩强杨清刘宁付佳成何昌吕 518057 广东省深圳市南山区西丽街道松坪山社区高新北六道25号风云大厦2层

本发明公开了一种基于UVM的芯片验证测试方法、系统及电子设备，属于芯片验证技术领域，包括，步骤S1，在UVM验证环境中添加存储器模型，生成UVM_MEM模型；步骤S2，重载UVM_MEM模型中的uvm_reg_frontdoor和uvm_reg_backdoor类；以及，步... 详细信息

标准号: CN117312176B

本发明公开了一种基于UVM的芯片验证测试方法、系统及电子设备，属于芯片验证技术领域，包括，步骤S1，在UVM验证环境中添加存储器模型，生成UVM_MEM模型；步骤S2，重载UVM_MEM模型中的uvm_reg_frontdoor和uvm_reg_backdoor类；以及，步骤S3，重写重载的类中的body函数，形成自建body函数。本发明通过在UVM验证环境中的UVM_MEM模型的基础上封装一层公共的表项配置方式，使得在对不同芯片的存储器进行验证测试时，面对不同规格和类型的表项都能适配，减少模块级验证人员需维护的配置表项代码量，提高了验证测试的效率，提高了复用性及可移植性。

关键词：芯片验证验证测试验证重载存储器模型存储器表项配置电子设备可移植性配置表项代码量复用性表项适配重写封装芯片测试维护

来源：评论

学校读者我要写书评

暂无评论

一种基于UVM的芯片验证测试方法、系统及电子设备

一种基于UVM的芯片验证测试方法、系统及电子设备

引用

作者：李浩强杨清刘宁付佳成何昌吕 518057 广东省深圳市南山区西丽街道松坪山社区高新北六道25号风云大厦2层

标准号: CN117312176A

关键词：芯片验证验证测试验证重载存储器模型存储器表项配置电子设备可移植性配置表项代码量复用性表项适配重写封装芯片测试维护

来源：评论

学校读者我要写书评

暂无评论

一种实现存储器访问的方法、装置以及存储器

一种实现存储器访问的方法、装置以及存储器

引用

作者：张永 100086 北京市海淀区知春路1号1幢15层1514室

一种实现存储器访问的方法、装置以及存储器，所述方法，包括：在所述存储器模型中封装读写函数；对所述存储器及所述读写函数进行验证；通过所述读写函数对所述存储器的存储单元进行访问。由此，可以通过封装在存储器中的读写函数直接... 详细信息

标准号: CN113176861A

一种实现存储器访问的方法、装置以及存储器，所述方法，包括：在所述存储器模型中封装读写函数；对所述存储器及所述读写函数进行验证；通过所述读写函数对所述存储器的存储单元进行访问。由此，可以通过封装在存储器中的读写函数直接对存储单元进行访问，从而在对芯片进行测试时，可以直接通过读写函数从存储器中获取配置，而不需要消耗仿真时间，进而提高了仿真效率。

关键词：存储器读写存储单元封装存储器访问存储器模型仿真效率访问芯片验证测试消耗配置

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：