基于有向图模型的卫星任务指令生成算法 被引量：8

1

作者 田志新 崔晓婷 +3 位作者 郑国成 杨柳青 李小娟 金涛 《航天器工程》 2014年第6期54-60,共7页

面向任务的卫星操控模式具有操作简便、星载资源使用效率高的优点,正在取代指令序列注入成为遥感卫星运控的新模式。文章提出一种基于有向图模型的遥感卫星任务指令序列生成算法,具有线性存储复杂度和计算复杂度,适合存储资源和计算资... 面向任务的卫星操控模式具有操作简便、星载资源使用效率高的优点,正在取代指令序列注入成为遥感卫星运控的新模式。文章提出一种基于有向图模型的遥感卫星任务指令序列生成算法,具有线性存储复杂度和计算复杂度,适合存储资源和计算资源受限的星载计算机应用。此算法已在某遥感卫星应用,测试试验表明,采用3个面向任务的高级指令即可生成52种指令序列,任务上行注入效率提升了5倍。本文方法根据有效载荷的使用约束条件,配置有向图模型参数,即可满足各种类型卫星使用。 展开更多

关键词 有向图模型 自主指令生成 面向任务的操作模式 计算和存储复杂度

在线阅读 下载PDF 职称材料

飞机空战仿真中机动指令生成器设计 被引量：6

2

作者 李世鹏 高正红 《西北工业大学学报》 EI CAS CSCD 北大核心 2005年第4期448-451,共4页

针对大规模空战体系对抗仿真研究过程中飞机运动仿真所需的3自由度质点动力学模型,分析了机动指令生成器设计原理,并以指挥自动化系统给出的航路导引指令为例,建立了航路飞行机动指令生成器数学模型。最后给出了1个飞机在航路导引指令... 针对大规模空战体系对抗仿真研究过程中飞机运动仿真所需的3自由度质点动力学模型,分析了机动指令生成器设计原理,并以指挥自动化系统给出的航路导引指令为例,建立了航路飞行机动指令生成器数学模型。最后给出了1个飞机在航路导引指令要求下的飞行仿真算例。正确的仿真结果验证了指令生成器数学模型的合理性。机动指令生成器能够完成仿真任务,从而将在飞机飞行仿真中得到广泛应用。 展开更多

关键词 空战仿真 机动飞行 机动指令生成器 航路飞行

在线阅读 下载PDF 职称材料

基于指令生成约束的RISC-V测试序列生成方法 被引量：1

3

作者 刘鹏 胡文超 +2 位作者 刘德启 韩晓霞 刘扬帆 《电子与信息学报》 EI CSCD 北大核心 2023年第9期3141-3149,共9页

为了避免处理器受到指令缺陷的威胁,该文提出基于指令生成约束的RISC-V测试序列生成方法,构建测试指令序列生成框架,实现测试指令生成及指令缺陷检测,解决现有测试指令序列生成方法约束定义困难和收敛速度慢的问题。在该方法中,首先,根... 为了避免处理器受到指令缺陷的威胁,该文提出基于指令生成约束的RISC-V测试序列生成方法,构建测试指令序列生成框架,实现测试指令生成及指令缺陷检测,解决现有测试指令序列生成方法约束定义困难和收敛速度慢的问题。在该方法中,首先,根据指令集架构规范和指令验证需求定义指令生成约束,包括指令格式约束、通用功能覆盖约束和特殊功能覆盖约束,以解决随着指令数量增多约束定义的困难,提高可复用性;然后,定义启发式搜索策略,通过统计覆盖信息,加快覆盖率收敛速度;最后,基于启发式搜索策略构造求解算法,实现满足指令生成约束的测试序列生成。实验结果表明,与现有方法相比,在覆盖所有指令验证需求的前提下,结构覆盖率和数值覆盖率的收敛时间分别减少了85.62%和57.64%。利用该框架对开源处理器进行检测,可以定位到在处理器译码和执行阶段引入的指令缺陷,为处理器指令缺陷检测提供了有效的方法。 展开更多

关键词 处理器 RISC-V 指令缺陷检测 约束指令生成

在线阅读 下载PDF 职称材料

面向ASAP自定义指令生成算法研究

4

作者 王军 周学海 《计算机工程》 CAS CSCD 北大核心 2010年第19期104-106,共3页

从处理器的指令集进行扩展的优势主要是降低系统设计时间和代价以及可减小代码大小、寄存器压力,从而降低取指频率和功耗。基于此,结合ASAP框架给出自定义指令生成的算法,通过数据流分析、指令簇标记、子图枚举、子图合并的方法,找出符... 从处理器的指令集进行扩展的优势主要是降低系统设计时间和代价以及可减小代码大小、寄存器压力,从而降低取指频率和功耗。基于此,结合ASAP框架给出自定义指令生成的算法,通过数据流分析、指令簇标记、子图枚举、子图合并的方法,找出符合自定义扩展指令的多个约束要求的候选指令集合。实验结果表明,该算法能够高效地找出目标应用的所有非平凡自定义指令集合。 展开更多

关键词 自适应处理器 指令集扩展 指令生成

在线阅读 下载PDF 职称材料

基于指令模板的通用处理器约束随机指令生成方法 被引量：3

5

作者 刘婧 王天成 +1 位作者 王健 李华伟 《计算机工程》 CAS CSCD 北大核心 2015年第10期309-313,共5页

随着集成电路设计的复杂度越来越高,功能验证成为设计流程中的瓶颈。而通用处理器是集成电路中功能最为复杂的设计之一,对其功能验证提出更高要求。为此,给出一种约束随机指令生成方法,对ARMv8处理器进行模拟验证。从指令集中提取指令模... 随着集成电路设计的复杂度越来越高,功能验证成为设计流程中的瓶颈。而通用处理器是集成电路中功能最为复杂的设计之一,对其功能验证提出更高要求。为此,给出一种约束随机指令生成方法,对ARMv8处理器进行模拟验证。从指令集中提取指令模板,用指令模板生成合法的ARMv8指令,通过调整约束支持各种功能场景的验证。基于结果自动比对的验证环境,对处理器进行充分验证,发现58处设计错误,可用在后续的FPGA硬件仿真中。验证结果表明,该方法可得到90%的结构覆盖率。 展开更多

关键词 功能验证 通用处理器 指令模板 指令生成 约束随机指令

在线阅读 下载PDF 职称材料

基于数据流图的专用指令生成方法 被引量：2

6

作者 李德贤 严晓浪 彭剑英 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2009年第1期103-107,共5页

提出了一种基于数据流图(DFG)的专用指令生成方法.以目标应用的高级语言参考代码为起点,通过编译器前端转化为三地址中间格式,得到有向数据流图.使用提出的基于处理器体系架构约束的静态搜索算法对得到的数据流图进行搜索,得到满足约束... 提出了一种基于数据流图(DFG)的专用指令生成方法.以目标应用的高级语言参考代码为起点,通过编译器前端转化为三地址中间格式,得到有向数据流图.使用提出的基于处理器体系架构约束的静态搜索算法对得到的数据流图进行搜索,得到满足约束的操作组合.结合典型测试序列的动态运行数据对搜索结果进行进一步的筛选,确定对于目标应用性能起关键作用的操作组合,以此作为专用加速指令.该方法实现了数据流图提取的自动化,并结合了静态数据流图搜索与动态结果筛选.通过在视频压缩专用处理器设计中的应用,证明此方法可以快速高效地进行专用指令的自动生成. 展开更多

关键词 专用指令集处理器 数据流图 指令生成

在线阅读 下载PDF 职称材料

基于SCV的MIPS指令集指令随机生成工具

7

作者 尚利宏 田冰 《计算机应用》 CSCD 北大核心 2007年第8期1991-1993,共3页

介绍了在SystemC的系统级建模与验证环境中,使用SCV实现用于M IPS指令集指令随机生成的工具。该随机指令生成工具包括静态生成与动态生成两种工作模式。并针对随机指令生成中会遇到的数据访问越界、分支/跳转地址越界等问题提出了解决... 介绍了在SystemC的系统级建模与验证环境中,使用SCV实现用于M IPS指令集指令随机生成的工具。该随机指令生成工具包括静态生成与动态生成两种工作模式。并针对随机指令生成中会遇到的数据访问越界、分支/跳转地址越界等问题提出了解决办法。此外还研究了针对流水线冲突进行验证的方法。 展开更多

关键词 随机指令生成 验证 SYSTEMC SCV MIPS

在线阅读 下载PDF 职称材料

基于GCC的TMS320C67xx汇编指令的生成

8

作者 王浩 张叶 《计算机应用》 CSCD 北大核心 2015年第A01期206-209,共4页

为了克服手工编写汇编代码易于出错、难于维护等缺点,在GCC编译器的基础上生成了DSP TMS320C67xx芯片的汇编指令集。首先,研究了GCC中与机器描述相关的RTL模板,重点研究了RTL模板的组成结构及其各个部分的作用;然后,通过编写RTL模板完成... 为了克服手工编写汇编代码易于出错、难于维护等缺点,在GCC编译器的基础上生成了DSP TMS320C67xx芯片的汇编指令集。首先,研究了GCC中与机器描述相关的RTL模板,重点研究了RTL模板的组成结构及其各个部分的作用;然后,通过编写RTL模板完成了TMS320C67xx汇编指令的生成。在编写RTL模板的过程中,运用多种RTL模板编写技术实现了TMS320C67xx的指令集,同时针对实现难度较大的指令给出了解决方案。最后,对C语言源程序进行了编译,验证了TMS320C67xx所有6种类型的汇编指令都已被生成,所提方法具有一定的通用性和扩展性。 展开更多

关键词 GCC编译器 RTL模板 指令生成 后端移植

在线阅读 下载PDF 职称材料

FRTDS的仿真脚本优化和指令流生成策略 被引量：1

9

作者 徐莹 么莉 靳朝 《电力系统及其自动化学报》 CSCD 北大核心 2023年第4期68-74,92,共8页

为提高FRTDS的仿真规模,本文提出一种仿真脚本优化方案及指令流生成策略。在仿真脚本生成过程中,以子网络的预计算方法、框架网络的求解方法为优化对象,以仿真脚本的执行时间最短为优化目标,采用遗传算法对仿真脚本进行了综合优化。在... 为提高FRTDS的仿真规模,本文提出一种仿真脚本优化方案及指令流生成策略。在仿真脚本生成过程中,以子网络的预计算方法、框架网络的求解方法为优化对象,以仿真脚本的执行时间最短为优化目标,采用遗传算法对仿真脚本进行了综合优化。在指令流生成过程中,采用兼顾最晚执行时间和通信距离的多批次策略选择待执行任务及其运算核,按照通信资源消耗量确定待执行任务的数据源及其传输通道,减轻通信资源匮乏对仿真脚本执行时间的影响。对含106电平双端PFB-MMC交直交电力系统进行了实时仿真,验证了所提方法的有效性。 展开更多

关键词 电磁暂态 实时仿真 预计算方法 仿真脚本优化 指令流生成策略

在线阅读 下载PDF 职称材料

基于多级空洞金字塔网络的视频指令学习框架

10

作者 朱展模 陈俊洪 +1 位作者 杨振国 刘文印 《计算机应用与软件》 北大核心 2024年第5期118-125,146,共9页

为了从未修剪视频中生成操作指令,提出基于多级空洞金字塔网络(MS-APN)的视频指令学习框架。具体来说,使用空洞卷积金字塔模块捕捉视频多尺度动作特征,并采用多级网络结构优化分割结果,将未修剪视频分割成一系列视频片段并抽取动作特征... 为了从未修剪视频中生成操作指令,提出基于多级空洞金字塔网络(MS-APN)的视频指令学习框架。具体来说,使用空洞卷积金字塔模块捕捉视频多尺度动作特征,并采用多级网络结构优化分割结果,将未修剪视频分割成一系列视频片段并抽取动作特征。运用目标检测模型提取物体特征,并将其与动作特征进行融合,输入分类器识别主体和受体物体。通过定义指令四元组生成机器人指令。在MPII Cooking 2数据集上进行了实验,视频动作分割、操作物体分类、操作指令生成的准确率分别达到了84.1%、76.5%和62.4%,并成功将系统部署到Baxter机器人上进行验证。 展开更多

关键词 视频指令学习 机器人指令生成 动作分割 空洞卷积

在线阅读 下载PDF 职称材料

飞行仿真中机动指令跟踪器的设计 被引量：2

11

作者 王嘉 高正红 商重阳 《电光与控制》 北大核心 2008年第4期5-8,16,共5页

计算机自动飞行仿真中,由基于飞机质点动力学模型的机动指令生成器生成三自由度控制指令;为了将指令运用于控制飞机六自由度全量模型,从而较好地实现指令控制飞行,需设计机动指令跟踪器。对机动指令跟踪器的设计原理进行了分析;并采用... 计算机自动飞行仿真中,由基于飞机质点动力学模型的机动指令生成器生成三自由度控制指令;为了将指令运用于控制飞机六自由度全量模型,从而较好地实现指令控制飞行,需设计机动指令跟踪器。对机动指令跟踪器的设计原理进行了分析;并采用经典的根轨迹法对跟踪器进行了设计。仿真结果表明,该方法设计的指令跟踪器,对于航路飞行仿真可以获得良好的控制效果。 展开更多

关键词 飞行仿真 飞行控制 机动指令生成器 机动指令跟踪器

在线阅读 下载PDF 职称材料

基于指令的数字信号处理器验证 被引量：1

12

作者 杨修涛 谷小秋 《计算机工程》 CAS CSCD 北大核心 2015年第9期97-102,共6页

针对数字信号处理器设计中因相关引发的故障,提出一种基于指令的验证方法。结合处理器的体系结构特点给出处理器表示矩阵,并利用该矩阵,根据所使用的功能单元对指令进行划分。在同一个划分内,指令使用相同的功能单元,对这些指令进行两... 针对数字信号处理器设计中因相关引发的故障,提出一种基于指令的验证方法。结合处理器的体系结构特点给出处理器表示矩阵,并利用该矩阵,根据所使用的功能单元对指令进行划分。在同一个划分内,指令使用相同的功能单元,对这些指令进行两两组合,生成验证指令序列。考虑测试的可观测性给出观测方法,从理论上证明该方法可以完备覆盖到所有数据相关故障。设计验证指令生成系统自动生成验证指令序列,针对DSPC-01处理器进行实验,并与流片后的测试结果比较分析,结果验证了该方法的有效性。 展开更多

关键词 验证 数字信号处理器 数据相关 指令生成 覆盖率 自动生成

在线阅读 下载PDF 职称材料

面向开源情报的信息抽取大语言模型 被引量：4

13

作者 赵勤博 王又辰 +3 位作者 陈荣 宋颖毅 栾真 田夫兰 《计算机工程与设计》 北大核心 2024年第12期3772-3778,共7页

针对开源情报信息抽取过程依赖多类专用模型和抽取属性限制强等问题,基于一种GLM大语言模型进行指令微调和上下文学习提高信息抽取准确率,利用指令自动化生成方法对原始问题进行泛化,构建SFT数据集。开展多任务统一的微调学习常见抽取模... 针对开源情报信息抽取过程依赖多类专用模型和抽取属性限制强等问题,基于一种GLM大语言模型进行指令微调和上下文学习提高信息抽取准确率,利用指令自动化生成方法对原始问题进行泛化,构建SFT数据集。开展多任务统一的微调学习常见抽取模式,通过自动思维链扩充提示增强模型推理能力。实验结果表明,该方法在开源情报命名实体识别、关系抽取和事件抽取任务上,微调模型能满足不同场景下的抽取要求,具有较好的抽取效果。 展开更多

关键词 开源情报 大语言模型 信息抽取 指令自动化生成 指令微调 上下文学习 自动思维链

在线阅读 下载PDF 职称材料

自主式无人机实施精确攻击的飞行仿真 被引量：1

14

作者 孔祥骏 高正红 《机械设计与制造》 北大核心 2008年第2期165-167,共3页

在机动指令生成器的基础上建立了自主式无人机攻击运动仿真模型。该模型简单实用,能够模拟对地精确打击过程中自主式无人机的运动;能够反映对地攻击任务特点,体现飞机飞行性能、品质等动力学特性对任务的影响。仿真结果验证了该模型的... 在机动指令生成器的基础上建立了自主式无人机攻击运动仿真模型。该模型简单实用,能够模拟对地精确打击过程中自主式无人机的运动;能够反映对地攻击任务特点,体现飞机飞行性能、品质等动力学特性对任务的影响。仿真结果验证了该模型的合理性和可行性。该模型能够满足无人机综合设计过程中仿真自主式无人机攻击运动的要求。 展开更多

关键词 自主式无人机 机动指令生成器 飞行仿真 精确攻击

在线阅读 下载PDF 职称材料

Chisel构建处理器模型的功能验证方法研究 被引量：2

15

作者 吴乐宁 王淼 陈福 《西北工业大学学报》 EI CAS CSCD 北大核心 2023年第5期1024-1032,共9页

随着航空硬件设计复杂度的提高,芯片验证技术已经成为了芯片设计的难点。为了有效缩短设计流程的总体工作时间,有必要在占据设计大量时间的验证中,研究出快速寻找设计错误的方法。被测设计是兼容ARM V4指令集架构(instruction set archi... 随着航空硬件设计复杂度的提高,芯片验证技术已经成为了芯片设计的难点。为了有效缩短设计流程的总体工作时间,有必要在占据设计大量时间的验证中,研究出快速寻找设计错误的方法。被测设计是兼容ARM V4指令集架构(instruction set architecture,ISA)的处理器模型ARMChisel,该处理器模型采用新型的硬件语言Chisel构建,是一个具有高复杂性的硬件设计。基于这一嵌入式处理器模型:①设计了支持ARM V4 ISA架构全部指令的随机指令生成器,提高了生成测试激励的速度;②根据新型构建语言Chisel的特点,针对被测处理器模型设计了Chisel层面初级验证、覆盖率快速验证、直接测试验证和复杂应用程序验证策略,确保达到预期的覆盖率;③在Chisel环境和Verilog环境中搭建了基于嵌入式处理器模型的测试平台,测试平台收集覆盖率同时能快速准确地发现错误并定位错误,提高了验证速度。采用FPGA(field programmable gute array)方法加速大型应用程序的验证,缩短了验证周期。 展开更多

关键词 Chisel 处理器模型验证 ARM架构 指令生成器 测试激励

在线阅读 下载PDF 职称材料

基于光学信息的导弹低空突防导引策略

16

作者 孙健 刘星 吴森堂 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2011年第4期379-383,共5页

为增加巡航导弹低空突防的概率,在离线规划好航迹后,要保证导弹以最小偏差沿航迹飞行.通过仿真发现,传统的角指令法存在航路点切换时导弹过载超过指标要求,导弹越过障碍物时有较大的过顶时间的问题.为解决这一问题,提出了一种导弹纵向... 为增加巡航导弹低空突防的概率,在离线规划好航迹后,要保证导弹以最小偏差沿航迹飞行.通过仿真发现,传统的角指令法存在航路点切换时导弹过载超过指标要求,导弹越过障碍物时有较大的过顶时间的问题.为解决这一问题,提出了一种导弹纵向和横侧向的航路导引方法和指令生成方法,并以某型导弹低空突防为例,设计了飞行控制律.通过地形跟随六自由度仿真,比较了两种航路导引方法对地形跟随性能的影响.仿真结果都表明:采用这种纵向和横侧向航路导引方法和指令生成方法以后,该型导弹的地形跟随飞行性能得到了明显提高. 展开更多

关键词 低空突防 导引方式 指令生成方式

在线阅读 下载PDF 职称材料

数码迷彩自动涂装系统研究 被引量：3

17

作者 谢卫 周志勇 +1 位作者 蔡云骧 穆景阳 《兵工学报》 EI CAS CSCD 北大核心 2015年第12期2396-2400,共5页

数码迷彩是一种新的迷彩伪装技术,具有较好的伪装效果。针对目前人工涂装效率较低的问题,通过解决装备三维正方形网格模型构建、三维数码迷彩图案模型生成、图案喷涂路径自动规划、喷枪位姿实时检测等问题,构建了数码迷彩自动涂装系统,... 数码迷彩是一种新的迷彩伪装技术,具有较好的伪装效果。针对目前人工涂装效率较低的问题,通过解决装备三维正方形网格模型构建、三维数码迷彩图案模型生成、图案喷涂路径自动规划、喷枪位姿实时检测等问题,构建了数码迷彩自动涂装系统,实现了目标数码迷彩自动喷涂作业。试验结果表明:使用自动作业方式可有效提高数码迷彩喷涂效率,从而推动码迷彩技术进一步发展。 展开更多

关键词 兵器科学与技术 伪装 数码迷彩 机器人 三维建模 指令生成 迷彩设计

在线阅读 下载PDF 职称材料

一种可重用RISCV验证平台的设计与实现 被引量：1

18

作者 胡小刚 孙维东 +1 位作者 唐屹晨 毛晓炜 《现代电子技术》 2023年第16期39-43,共5页

随着全球芯片技术的飞速发展,处理器的性能逐渐成为了制约各公司前进的短板。而RISCV开源处理器是一种新的精简指令集架构,与其他处理器最大的不同之处在于:它采用模块化的指令集,更易于扩展和组装。然而,目前可重用RISCV的验证平台还... 随着全球芯片技术的飞速发展,处理器的性能逐渐成为了制约各公司前进的短板。而RISCV开源处理器是一种新的精简指令集架构,与其他处理器最大的不同之处在于:它采用模块化的指令集,更易于扩展和组装。然而,目前可重用RISCV的验证平台还不成熟,这可能会造成验证不够充分且效率低等问题。为此,文中设计一种基于通用验证方法学(UVM)的可重用RISCV验证平台。该平台使用UVM搭建一整套RISCV验证环境,包括随机汇编指令自动生成平台、GNU编译器套件(GCC)对汇编指令的编译、C++参考模型的运行、RISCV处理器的运行和结果监测、Python脚本对最终结果的比较以及代码和功能覆盖率的收集等。同时,利用VCS和Verdi等EDA工具对RISCV处理器进行仿真功能测试。结果表明,所搭建的验证环境能够快速、有效地验证RISCV设计的正确性,且可重用程度高,可以更加全面快速地完成RISCV处理器的验证工作。 展开更多

关键词 RISCV处理器 UVM RISCV验证环境 随机指令生成 C++参考模型 Python脚本 功能覆盖率 可重用

在线阅读 下载PDF 职称材料