目标代码

作品数:70被引量:55H指数:3
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:史建琦黄滟鸿吕晨刘弘吕蕾更多>>
相关机构:深圳市腾讯计算机系统有限公司中国工商银行股份有限公司北京百度网讯科技有限公司华为技术有限公司更多>>
相关期刊:更多>>
相关基金:国家自然科学基金国家高技术研究发展计划创新研究群体科学基金国家重点新产品计划更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
CompCert编译器目标代码生成机制分析被引量:2
《计算机科学》2020年第9期17-23,共7页杨萍 王生原 
国家核高基重大专项(2017ZX01030-301-003)。
CompCert是著名的C语言可信编译器,是经过形式化验证的编译器的杰出代表,近年来被广泛应用于学术界和工业界的许多研发工作中。CompCert编译器的当前版本支持多种目标机结构。文中对CompCert编译器目标代码生成机制进行剖析,主要介绍其...
关键词:CompCert 形式化验证的编译器 目标代码生成 编译器重定向 
民用飞机A级别机载软件项目源代码到目标代码追溯性分析研究被引量:3
《科技视界》2016年第20期3-4,共2页童岳威 刘建方 
机载软件在某些特定情况下应该分析源代码和目标代码之间的对应关系,RTCA/DO-178B第6.4.4.2节指出:机载软件结构覆盖率分析可以在源代码层级进行,如果软件为A级别并且编译过程中生成了无法追溯到源代码的目标代码,则应该在目标代码层级...
关键词:机载软件 源代码 目标代码 追溯性分析 结构覆盖率 
对计算机程序保护中“同一作品”原则的质疑--兼评《著作权法(修订草案送审稿)》第5条第15项
《知识产权》2016年第6期54-61,共8页刘汉霞 
作者主持的广东省科技厅软科学研究项目“专利集中经营趋势下广东科技融资方法的创新--以专利证券化为中心的研究”(x2fxN 4140200)的中期研究成果之一
将计算机程序纳入著作权保护范围是世界通行做法,我国也不例外。计算机程序包含源程序和目标程序,我国《计算机软件保护条例》和《著作权法(修订草案送审稿)》将二者作为"同一作品"进行保护。但源程序为目标程序之"源",二者虽有较强的...
关键词:计算机程序 源程序 目标代码 著作权 商业秘密 
基于51单片机电子密码锁的Proteus仿真设计被引量:1
《电脑迷》2016年第1期37-37,共1页张崇铭 
0前言随着电子技术水平的提升,传统的设计方法无法良好的适应现有的电子技术水平,由此促使EDA设计软件的种类不断增多,Proteus就是一种EDA软件,在Proteus软件中,不仅可以设计与仿真模拟电路,更可以设计与仿真多种型号的单片机系统,实现...
关键词:PROTEUS 密码锁 仿真模拟 电子锁 仿真过程 仿真运行 下拉框 目标代码 仿真结果 七段数码管 
一种可用于自动扶梯设计的单片机应用开发方法
《中国电梯》2015年第19期27-29,共3页陈洁 
介绍了一种异于传统的单片机应用开发方法。其根据单片机应用系统的I/O配置,使用三菱PLC编程软件设计单片机应用系统控制梯形图程序,然后通过专用转换软件转换成HEX目标代码,再烧录到单片机芯片内。并将该方法应用在自动扶梯控制系...
关键词:单片机 应用开发方法 自动扶梯 梯形图 转换软件 目标代码 烧录 
DSP基于模型设计的单极性倍频SPWM波形生成被引量:3
《微电机》2015年第8期83-86,90,共5页逄海萍 费洪伟 
国家自然基金(60940018;61104004);山东省自然基金(ZR2011FQ006)
针对用C语言进行DSP软件设计时编程难度大、寄存器配置复杂等问题,研究DSP基于模型设计的软件开发方法,该方法可提高开发效率,实现控制算法从仿真模型到实时软件的无缝集成。首先给出基于模型设计的DSP软件开发流程,然后将其应用于单相...
关键词:DSP Matlab 目标代码自动生成 SPWM调制 
变频器有级调速的单片机控制
《电气时代》2015年第2期55-57,61,共4页陈玉红 
介绍了一种单片机控制板和MD280变频器的功能后,采用按钮控制通过单片机控制板对变频器实现多段速的有级调速。提出了使用三菱PLC编程软件设计单片机控制梯形图程序,然后通过专用转换软件转换成HEX目标代码,再烧录到单片机芯片内的开发...
关键词:有级调速 梯形图程序 按钮控制 目标代码 编程软件 控制板 制动电阻 电气原理图 操作面板 转换软件 
浅谈Common Lisp的宏编程
《程序员》2014年第3期65-69,共5页田春 
宏在Common Lisp中的地位 放眼所有计算机语言,Lisp家族是最特殊的一员,没有之一。几乎所有的编程语言,在其被编译或解释执行的过程中总要先有一个对整个源代码文件进行词法和语法分析的过程,然后再把语法分析的结果经过层层转化...
关键词:LISP 宏编程 语法分析 计算机语言 源代码文件 编程语言 目标代码 编译 
嵌入式软PLC编译系统的设计被引量:1
《机电一体化》2013年第9期73-76,共4页马远佳 
茂名市科技计划基金(No.2012B01052);广东石油化工学院青年创新人才培育基金(No.511008);广东省石化装备故障诊断重点实验室开放基金(No.512006)支持
基于IEC61131.3标准,在嵌入式平台上设计并实现了软PLC梯形图编译系统。介绍了系统的结构设计,包括梯形图编辑器模块、语法检查模块、梯形图指令表转换模块以及指令表的生成过程,重点介绍了生成微处理器对应的目标代码的方法。用实例验...
关键词:软PLC 指令表 编译系统 目标代码 
基于Matlab的2H级联逆变桥目标代码自动生成
《电力电子技术》2013年第7期86-88,共3页胡文华 
国家自然科学基金(51067004);江西省教育厅科学技术研究项目(GJJ13351)~~
提出了一种基于实时代码生成工具(RTW)的TMS320F2812型DSP控制系统,给出了基于Matlab/RTW的系统设计方法和开发流程。结合此集成一体化控制平台,给出了一种基于嵌入式目标代码自动生成的2H桥级联5电平逆变器正弦脉宽调制(SPWM)波产生方...
关键词:逆变桥 多电平 实时代码生成工具 正弦脉宽调制 
检索报告 对象比较 聚类工具 使用帮助 返回顶部