CN113703726A - 一种数字飞行器源代码构造决策知识提取归零迭代方法 - Google Patents
一种数字飞行器源代码构造决策知识提取归零迭代方法 Download PDFInfo
- Publication number
- CN113703726A CN113703726A CN202110989887.1A CN202110989887A CN113703726A CN 113703726 A CN113703726 A CN 113703726A CN 202110989887 A CN202110989887 A CN 202110989887A CN 113703726 A CN113703726 A CN 113703726A
- Authority
- CN
- China
- Prior art keywords
- decision
- digital aircraft
- basis
- source code
- artificial intelligence
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/20—Software design
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
- G06F8/31—Programming languages or programming paradigms
- G06F8/313—Logic programming, e.g. PROLOG programming language
Landscapes
- Engineering & Computer Science (AREA)
- Software Systems (AREA)
- General Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Computing Systems (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Stored Programmes (AREA)
Abstract
本发明公开了一种数字飞行器源代码构造决策知识提取归零迭代方法，包括：利用人工智能方法提取与数字飞行器相关的决策依据和专业知识，在软件工程学基础上形成编程风格；当专用人工智能处理具体问题时，由所述编程风格推理出决策逻辑依据，通过所述决策逻辑依据产生决策逻辑结果并执行，构建出数字飞行器源代码；通过代码模块对比或检查编译、运行错误日志，定位出现的问题；根据所述出现的问题，通过决策机理清楚、框架机理清楚和构建框架依据机理清楚，实现数字飞行器构造的全流程归零。该方法针对专用人工智能构造数字飞行器源代码进行全流程归零，从根本上保障数字飞行器源代码构造的质量，使专用人工智能方法能够替代人类程序员。
Description
技术领域
本发明涉及源代码构造方法技术领域，特别涉及一种数字飞行器源代码构造决策知识提取归零迭代方法。
背景技术
数字飞行器源代码构造是复杂系统的数字建模，人类程序员通过调试测试等闭环方法保障代码质量，而通用人工智能方法构造源代码是开环过程，无法改正出现的错误。不同单位、不同项目组构造的数字飞行器风格迥异，针对边缘计算和针对云服务计算的代码风格也不同，利用人工智能方法构造的数字飞行器不仅要满足功能需求，还要满足风格需求，才能真正替代人类程序员。
总结来说：1.通用人工智能不能像人一样闭环调试；2.人类程序员构造的数字飞行器风格迥异，而人工智能也需要具备构造不同风格代码的能力。
另外，归零是航天工程质量保障的基本方法，要求每个决策都给出逻辑依据，在工程实践中出现错误要审查决策的逻辑依据、推理的事实基础是否有问题，是否有规律没认识到，这样才能举一反三，既修正结果，又修正做出结果的逻辑过程，从根本上保障航天工程质量。航天归零方法是针对人的决策过程进行优化，不是针对人工智能方法构造源代码过程的优化。
同时航天归零方法只针对单位或项目组内的技术环节，包括生产工艺、结构设计等方面；和管理环节，包括规章制度、规范标准等方面，没有对决策依据专业知识进行提取，也没有统一多单位、项目组及计算方式的编程风格，更不能对这两点归零。
因此，针对数字飞行器源代码构造的质量保障问题，本领域技术人员亟需解决。
发明内容
本发明的目的在于，提出一种数字飞行器源代码构造决策知识提取归零迭代方法，可解决现有技术中数字飞行器源代码构造的质量保障问题。
为实现上述目的，本发明采取的技术方案为：
本发明实施例提供一种数字飞行器源代码构造决策知识提取归零迭代方法，包括：
S10、利用人工智能方法提取与数字飞行器相关的决策依据和专业知识，在软件工程学基础上形成编程风格；
S20、当专用人工智能处理具体问题时，由所述编程风格推理出决策逻辑依据，通过所述决策逻辑依据产生决策逻辑结果并执行，构建出数字飞行器源代码；
S30、通过代码模块对比或检查编译、运行错误日志，定位出现的问题；
S40、根据所述出现的问题，通过决策机理清楚、框架机理清楚和构建框架依据机理清楚，实现数字飞行器构造的全流程归零。
进一步地，步骤S10中，利用人工智能方法提取与数字飞行器相关的决策依据和专业知识，包括：
利用人工智能方法提取与数字飞行器相关的航天工程、控制工程、通信工程等专业学科知识的数值计算方法和数学描述。
进一步地，步骤S10中，在软件工程学基础上形成编程风格，包括：
在代码编写规范、空间使用规范、代码保护规范的基础上，构建编程风格；
所述编程风格包括：
高轨卫星、高轨和近地轨道卫星的不同种类星上代码边缘计算编程风格；
航天科技、科工、中科院、商业公司的不同项目组的边缘计算编程风格；
以及基于云服务技术的编程风格。
进一步地，步骤S40中，所述决策机理清楚为：审查决策依据产生过程的正确性；所述框架机理清楚为：审查编程风格和软件工程学基础之间关系的正确性；所述构建框架依据机理清楚为：审查决策依据和专业知识提取过程的正确性。
与现有技术相比，本发明具有如下有益效果：
本发明实施例提供的一种数字飞行器源代码构造决策知识提取归零迭代方法，包括：利用人工智能方法提取与数字飞行器相关的决策依据和专业知识，在软件工程学基础上形成编程风格；当专用人工智能处理具体问题时，由所述编程风格推理出决策逻辑依据，通过所述决策逻辑依据产生决策逻辑结果并执行，构建出数字飞行器源代码；通过代码模块对比或检查编译、运行错误日志，定位出现的问题；根据所述出现的问题，通过决策机理清楚、框架机理清楚和构建框架依据机理清楚，实现数字飞行器构造的全流程归零。该方法针对专用人工智能构造数字飞行器源代码进行全流程归零，从根本上保障数字飞行器源代码构造的质量，使专用人工智能方法能够替代人类程序员。
附图说明
图1为本发明实施例提供的数字飞行器源代码构造决策知识提取归零迭代方法流程图。
图2为本发明实施例提供的数字飞行器源代码构造决策知识提取归零迭代方法原理图。
具体实施方式
为使本发明实现的技术手段、创作特征、达成目的与功效易于明白了解，下面结合具体实施方式，进一步阐述本发明。
在本发明的描述中，需要说明的是，术语“上”、“下”、“内”、“外”“前端”、“后端”、“两端”、“一端”、“另一端”等指示的方位或位置关系为基于附图所示的方位或位置关系，仅是为了便于描述本发明和简化描述，而不是指示或暗示所指的装置或元件必须具有特定的方位、以特定的方位构造和操作，因此不能理解为对本发明的限制。此外，术语“第一”、“第二”仅用于描述目的，而不能理解为指示或暗示相对重要性。
在本发明的描述中，需要说明的是，除非另有明确的规定和限定，术语“安装”、“设置有”、“连接”等，应做广义理解，例如“连接”，可以是固定连接，也可以是可拆卸连接，或一体地连接；可以是机械连接，也可以是电连接；可以是直接相连，也可以通过中间媒介间接相连，可以是两个元件内部的连通。对于本领域的普通技术人员而言，可以具体情况理解上述术语在本发明中的具体含义。
参照图1所示，本发明实施例提供一种数字飞行器源代码构造决策知识提取归零迭代方法，包括：
S10、利用人工智能方法提取与数字飞行器相关的决策依据和专业知识，在软件工程学基础上形成编程风格；
S20、当专用人工智能处理具体问题时，由所述编程风格推理出决策逻辑依据，通过所述决策逻辑依据产生决策逻辑结果并执行，构建出数字飞行器源代码；
S30、通过代码模块对比或检查编译、运行错误日志，定位出现的问题；
S40、根据所述出现的问题，通过决策机理清楚、框架机理清楚和构建框架依据机理清楚，实现数字飞行器构造的全流程归零。
本实施例中，该方法包括以下步骤：参照图2所示，利用人工智能方法提取决策依据和专业知识，在软件工程学基础上，形成编程风格；当专用人工智能处理具体问题时，首先由编程风格推理出决策逻辑依据；再通过依据产生决策逻辑结果并执行，构建出数字飞行器源代码；通过代码模块对比或检查编译和运行错误日志，准确定位问题；通过决策机理清楚、框架机理清楚和构建框架依据机理清楚实现归零。数字飞行器源代码构造决策知识提取归零迭代方法解决了数字飞行器源代码构造的质量保障问题，使专用人工智能方法能够替代人类程序员。
上述步骤S10中决策依据和专业知识包括航天工程、控制工程、通信工程等专业学科知识的数值计算方法和数学描述。软件工程学基础包括代码编写规范、空间使用规范、代码保护规范等。编程风格既包括高轨、高轨和近地轨道卫星等不同种类卫星的星上代码边缘计算编程风格，又包括航天科技、科工、中科院、商业公司等不同项目组的边缘计算编程风格，还包括基于云服务技术的编程风格。步骤S10中编程风格的共性是将决策依据和专业知识统一到软件工程学原理的框架下，差异是不同应用场景及需求。
上述步骤S20中专用人工智能是指针对数字飞行器源代码构造而训练的人工智能方法。人工智能方法，涉及到的智能书写程序，其建立过程如下：对数字飞行器源代码进行多层次分解；建立数字飞行器源代码书写决策树；根据决策树分支情况建立执行规范书写操作的人工智能程序员，也就是智能书写程序；
人工智能程序员书写源代码规范决策与执行方法，包括：(1)对数字飞行器源代码进行多层次分解后的最小分解结果进行聚类，给出聚类后分支的适用对象和适用条件；
(2)将最小分解结果聚类后，建立决策树。
上述聚类依据包括通用性：
根据通用性对代码层次中的应用层代码进行聚类，包括所有飞行器通用、同一类型飞行器通用、不同飞行器型号特殊三部分；
根据适用范围、变化频率、变化方式因素对源代码书写执行方法进行选择，建立智能程序员；书写操作规范执行方法包括保存为文件、保存为数据库、将书写逻辑固定在人工智能程序员中，也就是智能书写程序中。
在上述步骤S30中，代码模块对比指对比专用人工智能和人类程序员构建代码的差异。
上述步骤S40中，决策机理清楚指审查决策依据产生过程的正确性。框架机理清楚指审查编程风格和软件工程学基础之间关系的正确性；构建框架依据机理清楚指审查决策依据和专业知识提取过程的正确性。
本发明实施例提供的数字飞行器源代码构造决策知识提取归零迭代方法，其提出决策逻辑依据专业知识提取方法，使专用人工智能通过学习可以给出决策逻辑依据，实现归零方法和人工智能方法的有机结合。并且提出编程风格框架，将多种数字飞行器源代码在软件工程学基础下统一，使专用人工智能构造的数字飞行器能应对多种多样的需求。最后归零过程也对上面两个步骤的依据进行审查，实现数字飞行器构造的全流程归零。数字飞行器源代码构造决策知识提取归零迭代方法，解决了数字飞行器源代码构造的质量保障问题，使专用人工智能方法能够替代人类程序员。
以上显示和描述了本发明的基本原理和主要特征和本发明的优点。本行业的技术人员应该了解，本发明不受上述实施例的限制，上述实施例和说明书中描述的只是说明本发明的原理，在不脱离本发明精神和范围的前提下，本发明还会有各种变化和改进，这些变化和改进都落入要求保护的本发明范围内。本发明要求保护范围由所附的权利要求书及其等效物界定。
Claims (4)
1.一种数字飞行器源代码构造决策知识提取归零迭代方法，其特征在于，包括：
S10、利用人工智能方法提取与数字飞行器相关的决策依据和专业知识，在软件工程学基础上形成编程风格；
S20、当专用人工智能处理具体问题时，由所述编程风格推理出决策逻辑依据，通过所述决策逻辑依据产生决策逻辑结果并执行，构建出数字飞行器源代码；
S30、通过代码模块对比或检查编译、运行错误日志，定位出现的问题；
S40、根据所述出现的问题，通过决策机理清楚、框架机理清楚和构建框架依据机理清楚，实现数字飞行器构造的全流程归零。
2.根据权利要求1所述的一种数字飞行器源代码构造决策知识提取归零迭代方法，其特征在于，步骤S10中，利用人工智能方法提取与数字飞行器相关的决策依据和专业知识，包括：
利用人工智能方法提取与数字飞行器相关的航天工程、控制工程、通信工程等专业学科知识的数值计算方法和数学描述。
3.根据权利要求2所述的一种数字飞行器源代码构造决策知识提取归零迭代方法，其特征在于，步骤S10中，在软件工程学基础上形成编程风格，包括：
在代码编写规范、空间使用规范、代码保护规范的基础上，构建编程风格；
所述编程风格包括：
高轨卫星、高轨和近地轨道卫星的不同种类星上代码边缘计算编程风格；
航天科技、科工、中科院、商业公司的不同项目组的边缘计算编程风格；
以及基于云服务技术的编程风格。
4.根据权利要求1所述的一种数字飞行器源代码构造决策知识提取归零迭代方法，其特征在于，步骤S40中，所述决策机理清楚为：审查决策依据产生过程的正确性；所述框架机理清楚为：审查编程风格和软件工程学基础之间关系的正确性；所述构建框架依据机理清楚为：审查决策依据和专业知识提取过程的正确性。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202110989887.1A CN113703726A (zh) | 2021-08-26 | 2021-08-26 | 一种数字飞行器源代码构造决策知识提取归零迭代方法 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202110989887.1A CN113703726A (zh) | 2021-08-26 | 2021-08-26 | 一种数字飞行器源代码构造决策知识提取归零迭代方法 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN113703726A true CN113703726A (zh) | 2021-11-26 |
Family
ID=78655327
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN202110989887.1A Pending CN113703726A (zh) | 2021-08-26 | 2021-08-26 | 一种数字飞行器源代码构造决策知识提取归零迭代方法 |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN113703726A (zh) |
Citations (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN108287959A (zh) * | 2018-01-15 | 2018-07-17 | 北京航空航天大学 | 人工智能程序员书写数字飞行器源代码规范决策执行方法 |
| CN108304166A (zh) * | 2018-01-18 | 2018-07-20 | 北京航空航天大学 | 一种人工智能程序员根据公式描述书写源程序的方法 |
| CN109117125A (zh) * | 2018-07-20 | 2019-01-01 | 北京航空航天大学 | 数字飞行器多平台多运行模式源代码的人工智能书写方法 |
| CN109388855A (zh) * | 2018-09-11 | 2019-02-26 | 北京航空航天大学 | 数字飞行器仿真结果人工智能比对与检验方法 |
| CN112732588A (zh) * | 2021-01-29 | 2021-04-30 | 优课达(南京)网络有限公司 | 一种基于云计算的人工智能代码验证系统、方法和装置 |
-
2021
- 2021-08-26 CN CN202110989887.1A patent/CN113703726A/zh active Pending
Patent Citations (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN108287959A (zh) * | 2018-01-15 | 2018-07-17 | 北京航空航天大学 | 人工智能程序员书写数字飞行器源代码规范决策执行方法 |
| CN108304166A (zh) * | 2018-01-18 | 2018-07-20 | 北京航空航天大学 | 一种人工智能程序员根据公式描述书写源程序的方法 |
| CN109117125A (zh) * | 2018-07-20 | 2019-01-01 | 北京航空航天大学 | 数字飞行器多平台多运行模式源代码的人工智能书写方法 |
| CN109388855A (zh) * | 2018-09-11 | 2019-02-26 | 北京航空航天大学 | 数字飞行器仿真结果人工智能比对与检验方法 |
| CN112732588A (zh) * | 2021-01-29 | 2021-04-30 | 优课达(南京)网络有限公司 | 一种基于云计算的人工智能代码验证系统、方法和装置 |
Non-Patent Citations (1)
| Title |
|---|
| 董云峰: ""数字卫星概念研究"", 《上海航天》, no. 231, pages 142 - 12 * |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Chan et al. | Model checking large software specifications | |
| Varró et al. | Designing the automatic transformation of visual languages | |
| Haesaert et al. | Robust dynamic programming for temporal logic control of stochastic systems | |
| US20080282108A1 (en) | Program synthesis and debugging using machine learning techniques | |
| CN110502447B (zh) | 一种基于图的回归测试用例优先排序方法 | |
| CN109582558A (zh) | 一种基于efsm模型的最小成本测试用例生成方法 | |
| Simmons et al. | Towards automatic verification of autonomous systems | |
| Rangel et al. | Behavior preservation in model refactoring using DPO transformations with borrowed contexts | |
| CN114238084B (zh) | 基于SysML的嵌入式软件安全性分析方法及其分析系统 | |
| CN113703726A (zh) | 一种数字飞行器源代码构造决策知识提取归零迭代方法 | |
| CN117827672A (zh) | 一种基于大型语言模型的编程问题调试方法 | |
| CN105528286A (zh) | 一种基于系统调用的软件行为评估方法 | |
| Wang et al. | Automatic test case generation from formal requirement model for avionics software | |
| Wang et al. | An optimal approach for combat system-of-systems architecture search under uncertainty | |
| Lin et al. | On the formalization of development and assessment process for digital twins | |
| Kalawsky et al. | Incorporating architecture patterns in a SoS optimization framework | |
| Gomes et al. | Generating Test Cases from Use Cases and Structured Scenarios: Experiences with the RSL Language | |
| Steenken | Verification of infinite-state graph transformation systems via abstraction. | |
| CN117993307B (zh) | 基于深度学习的地球系统模拟结果一致性评估方法 | |
| Mesbah et al. | Analyzing and repairing compilation errors | |
| Grafberger et al. | Towards declarative systems for data-centric machine learning | |
| US11693646B2 (en) | Place change driven software update method and apparatus, and readable storage medium | |
| Nastov | Contribution to model verification: operational semantics for Systems Engineering modeling languages | |
| Dang et al. | Precise model-driven transformations based on graphs and metamodels | |
| CN116882212B (zh) | 整车零件仿真的非因果方程的报错追溯方法、装置及设备 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| SE01 | Entry into force of request for substantive examination |