代码生成

作品数：757被引量：1241H指数：13
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：万建成侯金奎王晓雷杨志斌战德臣更多>>
相关机构：浙江大学中国工商银行股份有限公司国防科学技术大学清华大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划中央高校基本科研业务费专项资金国家科技重大专项更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=中央高校基本科研业务费专项资金x
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向IMA的AADL多范式建模及代码自动生成方法被引量：10
《小型微型计算机系统》2021年第10期2223-2233,共11页邱宝 杨志斌 周勇 谢健 王铁鑫 郭鹏 
航空科学基金项目(201919052002)资助;中央高校基本科研业务费专项(NP2017205)资助。
综合模块化航空电子系统(Integrated Modular Avionics,IMA)是安全关键领域中一类重要的复杂嵌入式系统,具有分布式、异构、计算资源和物理资源强耦合等特征,单一建模语言无法完全覆盖该类系统的建模要求.近年来,多范式建模方法(Multi-P...
关键词：IMA 多范式建模 AADL 同步语言 SDL 代码生成 
Verilog HDL代码生成与验证工具设计与实现
《实验室科学》2021年第2期132-135,共4页王洁 高宏发 杨晓桐 
国家自然科学基金(项目编号:61472100);中央高校基本科研业务费(项目编号:DUT2019ZD104);大连理工大学研究生教改基金(项目编号:JG_2019065)。
为规范代码设计模式,提高代码编写效率,减少编码错误,设计并实现了基于设计模式的可视化Verilog HDL代码生成与验证工具。对比现有代码生成方式,参考ZIPC表格设计思想,实现自定义模块模式、模板模式和在线编辑模式三种代码生成模式。最...
关键词：Verilog HDL代码 代码生成工具 生成模式 在线编辑 
法律合约与智能合约一致性综述被引量：9
《计算机应用研究》2021年第1期1-8,共8页刘琴 王德军 王潇潇 郑绪睿 孟博 
湖北省自然科学基金资助项目(2018ADC150);中央高校基本科研业务费专项基金资助项目(CZT20013,QSZ17007)。
从计算机科学的角度对法律合约与智能合约的一致性研究现状进行了总结和分析。首先,分别对法律合约描述语言和智能合约开发语言进行了分类和分析,总结了每种语言的特点;其次,根据合同自动化执行的三个发展阶段对法律合约和智能合约的一...
关键词：形式化模型 智能合约 合约模板 特定领域 代码生成 
同步语言多线程代码生成的语义保持证明方法被引量：2
《计算机学报》2020年第11期2216-2226,共11页袁胜浩 杨志斌 张博林 周勇 薛垒 BODELEIX Jean-Paul FILALI Mamoun 
国家自然科学基金(61502231);航空科学基金(201919052002);GF基础科研重点项目(JCKY2016203B011);中央高校基本科研业务费专项资金资助(NP2017205);南京航空航天大学研究生创新基地(实验室)开放基金(kfjj20181603)资助.
同步语言具有确定性并行和精确时间语义等特性,因此被广泛用于设计和验证安全关键软件.随着安全关键领域应用多核处理器逐渐成为趋势,同步语言的多线程代码生成及其语义保持证明研究成为研究热点.目前,已有同步语言代码生成方法还较少...
关键词：同步语言 安全关键软件 多任务代码生成 语义保持证明 COQ 
一种同步语言多线程代码自动生成工具被引量：13
《软件学报》2019年第7期1980-2002,共23页杨志斌 袁胜浩 谢健 周勇 陈哲 薛垒 Jean-Paul BODEVEIX Mamoun FILALI 
国家自然科学基金(61502231);国家重点研发计划(2016YFB1000802);GF基础科研重点项目(JCKY2016203B011);江苏省自然科学基金(BK20150753);中央高校基本科研业务费专项资金(NP2017205);国家自然科学基金委员会-中国民航局民航联合研究基金(U1533130);南京航空航天大学研究生创新基地(实验室)开放基金(kfjj20181603)~~
随着安全关键系统对计算性能要求的日趋提高,能够提供更强计算能力而又减少电子设备的体积、重量和功耗的多核处理器将在安全关键领域得到广泛应用。同步语言能够表达确定性并发行为且具有精确时间语义等特性,适用于安全关键软件的建模...
关键词：同步语言 同步多时钟卫式动作 多线程代码生成 
一种基于源码分析和代码生成的ORM开发工具——EasyPersist被引量：1
《电脑知识与技术（过刊）》2016年第7X期83-86,共4页瞿华 
中央高校基本科研业务费专项资金暨北京林业大学科技创新计划项目(No.BLX2012007);国家自然科学基金资助项目(71402006)
目前在开发信息系统时,数据持久化功能多采用ORM(对象——关系映射)框架,如Hiberate、MyBatis来进行。这类框架降低了数据持久化功能开发工作量,提升了软件开发和维护的效率,但同时也降低了系统的运行速度、消耗了更多的内存等资源。针...
关键词：数据持久化 ORM 源码分析 代码生成 
多处理器片上系统的线程迁移方法
《计算机应用研究》2015年第12期3697-3701,共5页胡腾 梅玲琪 黄凯 林威 张晓濛 修思文 严晓浪 
国家自然科学基金资助项目(61100074);国家科技重大专项资助项目(2012ZX01039-004);中央高校基本科研业务费专项资金资助项目(2013QNA5008);新一代智能电网片上系统芯片关键技术研究资助项目(SGRIWD-71-13-014)
针对如何在细粒度多线程系统中减少线程同步及通信开销以提高处理器利用率,提出了一种可用于多处理器片上系统的线程迁移策略,并将其应用于代码自动生成工具中。该线程迁移策略能够合理地选择线程迁移时机,减少线程过度迁移导致的性能...
关键词：线程迁移 线程划分 自动代码生成 SIMULINK 
基于代码生成的磁流变阻尼器控制试验研究被引量：3
《华中科技大学学报（自然科学版）》2013年第S1期167-170,共4页夏增强 陈恩伟 陆益民 刘正士 
国家自然科学基金资助项目(51279044);安徽省自然科学基金青年基金资助(11040606Q36);中央高校基本科研业务费专项资金资助项目(2011HGQC1035)
基于简化的高速列车的半主动悬架模型,以DSP2812为核心控制板,建立磁流变(MR)阻尼器的模糊控制系统.通过在Matlab/Simulink中建立仿真模型,比较模型在模糊控制和被动控制下的减振效果.模型验证可行后,利用代码自动生成技术实现控制系统...
关键词：半主动悬架 磁流变阻尼器 模糊控制 代码自动生成 被动控制 DSP控制板 
复杂开挖过程FLAC^(3D)力学仿真代码生成系统研究被引量：6
《岩土力学》2012年第8期2536-2542,共7页马长年 徐国元 江文武 刘晓明 
国家自然科学基金资助项目(No.51078151);中国博士后科学基金资助项目(No.2012M511417);中央高校基本科研业务费专项资金资助(No.2012QNZT027);中南大学贵重仪器设备开放共享基金(No.CSUZC2012021)
针对直接采用FLAC3D编制复杂开挖过程力学仿真程序所遇到的困难,开发了FLAC3D力学仿真程序代码生成系统(generating code system,简称GCS)。介绍了如何利用矿用地质软件Surpac,按空间、次序、结构功能及工程地质体属性对复杂开挖过程进...
关键词：FLAC3D 数值模拟 代码自动生成 SURPAC 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部