探讨接口无人机飞控系统接口信息形式化处理系统设计与实现生
最后更新时间:2024-02-02
作者:用户投稿本站原创
点赞:8371
浏览:24935
论文导读:37-38
本论文由www.7ctime.com,需要论文可以联系人员哦。摘要4-5
ABSTRACT5-9
第一章 引言9-13
4.
4.
生成层的设计38-39
5.
5.
致谢79-80
参考文献80-82
附录82-87
附录一:信息文件错误字82
附录二:测试用例模型文件的内容82-84
附录三:由测试用例产生的代码84-87
攻读硕士探讨生期间取得的成果87
4.5代码12下一页
摘要:无人机飞行制约系统接口信息是无人机内部飞控计算机与相关子系统之间的通信信息,这些信息中就包含了大量的飞行状态参数或飞行指令。因而,对于无人机飞行制约系统,接口信息显得十分重要。但是,由于国内对这些接口信息的处理方式目前还是以手工方式、文本编辑方式为主,对接口信息的设计、验证、利用等各方面都造成了不便,进而还会影响到无人机飞行制约系统的开发。所以,提出了以形式化的方式处理飞行制约系统接口信息的构想。本论文基于这一构想设计并实现了无人机飞控系统接口信息形式化处理系统,利用本系统就可以利用形式化策略实现对接口信息的处理。本论文首先通过对无人机飞行制约系统接口信息的整理,总结出接口信息的特点。并根据这些特点,设计并实现一种适合于存储接口信息的文件格式(也称形式化规格),使得具有这种存储格式的文件能够很好地展现接口信息。然后,以此类信息文件为接口信息源,在此基础上实现辅助接口设计、验证接口特点、快速生成利用接口信息代码的功能。最后,按照改善MVC设计方式,实现无人机飞控系统接口信息形式化处理系统,系统提供了实现上面陈述的功能的友好的用户操作界面。通过系统的用户界面,可以利用图形符号来设置接口之间关联与接口属于那个飞控子系统,可以利用一种自定义形式语言(也称接口定义语言)来构建接口特点信息,这样达到辅助接口设计的目的。在辅助接口设计的同时,系统会自动地更新信息文件中的接口信息。在设计好接口之后,还可以通过系统的用户界面启动接口特点验证的工作或快速生成利用接口信息代码的工作。测试表明,无人机飞控系统接口信息形式化处理系统基本实现了接口信息以形式化规格存储、接口信息以图形符号或形式语言设计、接口验证方便与利用接口信息代码可自动生成等功能。通过本系统对接口信息进行处理,可以使设计接口的同时接口信息同步更新,可以使设计接口方便、直观,可以提升设计接口的效率,可以缩短接口设计错误发现的时间,可以规范利用接口信息的代码,可以减少部分重复编码的劳动量。关键词:接口论文形式化策略论文MVC论文接口定义语言论文代码生成论文本论文由www.7ctime.com,需要论文可以联系人员哦。摘要4-5
ABSTRACT5-9
第一章 引言9-13
1.1 探讨背景9
1.2 国内外探讨近况9-11
1.3 主要工作11-12
1.4 论文结构12-13
第二章 技术基础13-202.1 形式化策略13-14
2.1.1 形式化策略流程13-14
2.1.2 形式化策略特点14
2.2 MVC设计方式14-152.3 代码自动生成技术15-18
2.3.1 代码自动生成的原理15-16
2.3.2 代码自动生成器的分类16-17
2.3.3 代码自动生成的特点17
2.3.4 代码自动生成的运用准则17-18
2.4 编译原理18
2.5 正则表达式18-20
第三章 需求浅析与总体设计20-283.1 接口信息的整理20-21
3.2 接口信息特点的归纳21-22
3.3 功能需求浅析22-23
3.1 辅助接口的设计22-23
3.2 验证接口23
3.3 快速生成利用接口信息的代码23
3.4 运用需求浅析23-24
3.5 总体设计24-28
3.5.1 形式化策略的设计24-25
3.5.2 系统层次结构的设计25-26
3.5.3 总体框架设计26-28
第四章 详细设计28-414.1 数据源中信息文件格式的设计28-32
4.1.1 信息文件类型的选择28-29
4.1.2 信息文件格式的设计原则29
4.1.3 信息文件格式的设计基础29
4.1.4 信息文件格式的设计内容29-32
4.2 数据访问接口层的设计32-344.
2.1 数据访问原理的设计32-33
4.2.2 数据访问接口种类的设计33
4.2.3 寻找待访问数据的策略33-34
4.3 接口模型设计层的设计34-364.
3.1 基于图形符号的设计方式34
4.3.2 基于形式语言的设计方式34-35
4.3.3 功能接口的设计35-36
4.4 接口验证层的设计36-384.1 接口验证原理的设计36
4.2 接口定义语言解释器的设计36-37
4.3 接口类的设计37-38
4.5 代码论文导读:浅析类48-505.2.4文件格式浅析类50-525.2.5通用访问接口类52-535.3接口模型设计层的实现53-575.3.1信息字符正则浅析引擎类53-545.3.2信息复制类54-565.3.3模型设计类56-575.4系统配置功能的实现575.5接口验证层的实现57-695.5.1接口定义字符串词法浅析类58-615.5.2接口定义字符串语法浅析类61-645.5.3接口定义字生成层的设计38-39
4.5.1 代码生成历程的设计38-39
4.5.2 C代码风格的设计39
4.6 视图层的设计39-41
第五章 系统实现41-745.1 数据源中信息文件的实现41-44
5.1.1 模型文件的实现41-43
5.1.2 模型配置文件的实现43-44
5.2 数据访问接口层的实现44-535.
2.1 信息树节点类44-46
5.2.2 信息文件扫描类46-48
5.2.3 词法浅析类48-50
5.2.4 文件格式浅析类50-52
5.2.5 通用访问接口类52-53
5.3 接口模型设计层的实现53-575.
3.1 信息字符正则浅析引擎类53-54
5.3.2 信息复制类54-56
5.3.3 模型设计类56-57
5.4 系统配置功能的实现575.5 接口验证层的实现57-69
5.1 接口定义字符串词法浅析类58-61
5.2 接口定义字符串语法浅析类61-64
5.3 接口定义字符串解释类64-65
5.4 接口类65-68
5.5 接口验证类68-69
5.6 代码生成层的实现69-70
5.7 用户界面的实现70-74
5.7.1 模型图绘制70-71
5.7.2 提升绘图效率71-72
5.7.3 软件界面72-74
第六章 系统测试74-786.1 测试用例74
6.2 辅助接口设计的测试74-76
6.3 验证接口的测试76
6.4 生成利用接口信息代码的测试76-78
第七章 总结与展望78-79致谢79-80
参考文献80-82
附录82-87
附录一:信息文件错误字82
附录二:测试用例模型文件的内容82-84
附录三:由测试用例产生的代码84-87
攻读硕士探讨生期间取得的成果87