基于Matlab的Virtex-4平台代码自动生成研究

在Matlab环境下,通过Simulink工具箱对Virtex-4平台建立系统模型,并进行软件仿真;再通过SystemGenerator生成基于目标板的硬件协仿真文件,进行硬件仿真并与软件仿真的结果进行比较.对系统模型进行验证,确定其满足设计要求后,通过System Generator生成该模型的HDL文件或网表,在X...     

多用户界面应用程序代码自动生成机制研究

设计和实现一种针对多用户界面应用系统的专用CASE平台，提出在这种CASE平台中具有新意且实用的代码自动生成方法．在论述作为代码自动生成机制的EFSM的定义基础上，通过实例介绍了在这种CASE平台中基于设计模型提取资源、建立EFSM模型，直到生成代码的全过程，进而验证了多用户界面应用系统平台上基于EFSM的代码自动生成机制的可行性。     

模型驱动的Dafny程序形式化生成与自动验证

Dafny是一种内置规范结构的编程语言和静态程序证明器,它能验证程序的功能正确性以及将证明过程自动化,这既提高了软件开发的效率,又极大增强了软件开发的可靠性.该文探索了一种模型驱动的Dafny程序形式化生成的方法.首先,从问题的Radl规约出发,根据规约变换技术得到其Radl算法;然后,根据PAR方法中循环不变式开发新策略得到问题的循环不变式;最后,在Radl算法和循环不变式基础上利用模型等价转换规则生成Dafny程序,并由Dafny证明器自动验证其功能正确性.用该方法解决了2个典型问题的算法程序开发与验证,证实了该方法能够有效地提高Dafny程序的生成效率和可靠性.     

AADL模型的ada代码自动生成及集成技术

基于模型驱动架构MDA方法，对AADL进行了研究，提出了AADL模型元素同ada语言元素之间的映射规则。开发了AADL模型的ada代码自动生成器Generator—ada，最后以实例证明将AADL模型自动转换为可执行的ada代码的有效性。     

基于系统代数的仿真模型自动生成研究

计算机仿真在现代科学研究和工程应用中起着重要的作用,而复杂系统模型的建立往往需要占用大量时间和资源。提出以系统代数为工具,建立仿真系统元模型,根据已知约束,对不同运行逻辑的系统仿真模型自动生成并运行。对系统代数提出Merge算子,使其更适合建立较复杂系统的仿真模型。并使用该方法分别对产品设计和简单物流系统进行了仿真。此方法能够快速产生多个仿真模型,节省了对同一系统的不同运行逻辑进行重复建模的时间,提高应用仿真方法对系统进行分析的效率。     

捷联惯导解算算法嵌入式代码自动生成技术及应用

在捷联惯导系统设计开发过程中,采用嵌入式代码自动生成技术,将理论设计过程中产生的Simulink仿真程序直接转换为可在嵌入式系统中执行的C语言代码,以达到缩短研发周期、降低成本的目的.经过实际验证,自动生成的代码可以完成系统功能要求,具有较高的实际使用价值.     

ICD数据导出及代码自动生成方法研究与应用

随着ICD（Interface Control Document）技术在航天领域的广泛运用,大量的ICD文档与接口定义代码需要编写,然而人工手动编写不但工作效率低,且编写好的文档也不易于管理.为解决以上问题,提出了一种ICD数据导出及代码自动生成方法,并集成于ICD数据库管理系统中.方法以ICD数据库管理系统的数据为基础,使用数据导出算法和代码自动生成算法可自动导出Word文档及所需的目标代码文档.测试结果表明,使用Office Open XML技术导出效率高,导出文件占用空间小,能够满足ICD数据导出的     

一种参数可配置的SRRC滤波器的结构设计及其代码的自动生成方法

提出了平方根升余弦(SRRC)滤波器的一种直接型对称折叠和流水线加法树的规整结构.鉴于这种结构的规则特性,提出了一种对滤波器的阶数、滤波器系数精度以及输入输出数据宽度进行配置的代码自动生成方法,采用该方法可以方便快捷地实现可应用于不同系统中的相同结构、不同阶数、精度的SRRC滤波器.采用该结构,一个257阶的SRRC滤波器,只消耗86 315门,即可达到168.9 MHz的工作频率,具有很好的速率面积比.     

一种数据库代码自动生成器的设计

介绍了一种数据库代码自动生成器的设计和实现方法,该方法可以自动为SQL Server数据库中的数据表生成用C#或VB.NET语言编写的读写模型控制类代码,也可以将Word中描述的文字型数据字典自动生成SQL Server数据库脚本语言,完成数据库的物理设计.经过验证,这种代码自动生成器的准确率达到95%以上,大大减轻程序员的编程工作量.     

基于模型驱动的业务建模平台研究

为解决管理信息系统软件开发过程中遇到的问题,根据模型驱动的思想,以及管理信息系统开发的特点,给出了一个基于模型驱动的软件开发平台.介绍了平台的设计和实现过程.     

一种基于遗传算法的自动组卷算法

对传统遗传算法进行改进,提出了一种基于遗传算法的分段十进制编码,采用分段的单点交叉操作,对于个体而言,实现的是多点交叉操作,最后提出了相应的组卷算法.     

实时系统中的报表自动生成模型

针对实时系统应用软件的特点,详细讨论了一种报表自动生成模型,并将其应用到某电力生产实时信息显示系统中,结果表明,该模型提高了软件的开发效率和系统的实时性,使系统具有较强的灵活性、可扩充性和实用性     

应用软件的自动生成

本文叙述采用人工智能技术研制的基于知识、基于交互对话的面向管理信息系统的自动设计和程序自动生成环境AGE。AGE由自动设计系统ISADS和基于知识的程序生成器KBPG所组成,前者用于产生满足用户需求的设计描述,后者则把这种用SDL语言描述的设计转换为C语言程序。这两个系统已在VAX-11/750机上用C语言建立了实现模型。     

平面有限元网格自动剖分法

提出了一套新的完整的平面有限元网络自动剖分方法，着重介绍网格自动剖分的基本原理、推导过程、程序设计思路以及其它计算数据的前处理。     

复杂传热数学模型的有限元网格自动划分方法

提出了一种网格自动划分的方法映射数值求解方法,并结合冶金中的传热问题,阐述其具体实施过程·以ＴｕｒｂｏＣ为开发工具,编制了复杂求解域的有限元网格自动划分程序,该程序在ＴｕｒｂｏＣ２０集成开发环境上,调试运行通过·通过验证,本方法不但对凸域行之有效,而且较成功地解决了凹域问题·     

复杂区域二维有限元网格的自动生成

提出了广义超单元法与前缘法相结合的自动生成二维三角形有限元网格的方法,使得由少量的数据信息自动生成像含有节理、夹层、断层及复杂的材料分区结构的合理的有限元网格成为可能。