Chapter 38: Gödel's Flight Training
Eight hours later, Wang Yinan, who had slept and was full of energy, gathered everyone together and prepared to start work.
Of course, the Ada siege lions of the 116th Institute looked at Wang Yinan's gaze and looked at the monsters at the bottom of the Five Elements Mountain, which was completely different.
As soon as the connoisseur stretched out his hand, he knew if there was any, before they were a little unconvinced by the boss of Wang Yinan, to be honest, dangling around the company all day long, bragging and farting, as if they didn't do anything. In terms of theory, Li Wenjing is a demon, and even the bigwigs obey her, there is nothing to say about this, but Wang Yinan, hum, have you ever written Ada, this is a military standard, a military standard.
It seems that Wang Yinan is not even a graduate student, just an ordinary undergraduate graduate, or a physics department. You said that you are an undergraduate in the physics department, and you honestly got your solid physics, and went to our family's own plot to fill it, a few meanings.
They carefully looked at Wang Yinan's results for three days, including C++ code and Ada modules. C++ aside, I knew that Wang Yinan C/C++ was very powerful, and most of the code of the Gödel system was written by him. However, it is not easy to get the whole process running in two days, although Wang Yinan seemed very simple when he explained the whole plan before.
It's Ada to Gcc to DragonEgg and finally LLVM's IR, but there are some special places in each step, such as the Ada extension used by 116, the operating environment of GCC, DragonEgg is even more ridiculous, the siege lion of 116 went to see this project in the past two days, and it turned out that it has been stagnant for two years! The latest code in the codebase can't be compiled.
It seems that the gang that started it all went to do something else...
Wang Yinan actually corrected all the compilation errors, and also made up for all the missing module code, and the version of DragonEgg he corrected supported the latest GCC and LLVM versions.
It turned out that it was not easy for Wang Yinan to get these things done well in the past few days.
When I opened Ada's directory and saw the dense Doc and Samples, the siege lions of the 116 Institute collapsed directly. It turned out that compiling the Ada program of the flight control system into the IR code of LLVM was just a warm-up, Wang Yinan built the framework of the entire flight control system, and the input was the flight altitude, speed and other points in the flight envelope. Formalized is the state of each control surface, including the output range of the engine, and the output is the actual obtained real or analog data.
In other words, Wang Yinan has actually completed an independent iterative system, which can be directly used for training on the Gödel system!
Of course, compared with the actual system, this system has made a lot of simplifications, for example, the original thrust curve of the engine is a complex staged irregular curve, Wang Yinan directly replaced it with a linear output.
In the actual system, the double vertical tail can be differentiated, that is, each has its own deflection angle, in order to simplify the problem, Wang Yinan directly set it to follow-up, that is, synchronous deflection.
However, in mathematical terms, there is topological equivalence between Wang Yinan's simplified system and the actual system, in other words, Wang Yinan has completed 95% of the work, and the rest of the things will take more time in terms of time, but in terms of difficulty, the most difficult part has been completed by Wang Yinan.
The rest is all about strength.
Zhao Tiancheng and Li Fei are used to this demonic boss, but those siege lions in 116 have never seen this. Under the thick spectacle lenses, there are little stars, and there is even a buddy, holding a few pages of printed programs, which must be signed by Wang Yinan.
If it is said that the wine is served by program, the two-page Ada code must be accompanied by at least two bottles of Lao Mao.
Wang Yinan quickly assigned the rest of the work, this time he didn't have to do it anymore, the siege lions of the 116 Institute and Zhao Tiancheng were all rushing to work, in Zhao Tiancheng's words,
"If we let the boss do it again this time, we can all die headfirst"
Soon, a week later, all the code that needed to be supplemented and improved was completed, and Wang Yinan and they used typical simulation data to pre-learn the neural network, which is actually equivalent to testing, finding the hidden problems in the code and correcting them.
Thanks to the Ada language designed by DOD (U.S. Department of Defense) for putting stability at the top of the list on day one,
Thanks to LLVM for providing such an excellent infrastructure and IR, Gödel was able to understand the Ada language. In fact, almost every one of us will use LLVM, because ios and MacOS are built using LLVM.
Of course, the most grateful thing is Wang Yinan's genius architecture ability, and the cow X thing that he made in three days.
After a week of iteration and regression of such a large and complex system, most of the serious bugs were fixed, and the rest were just some bugs such as format errors and warning messages, which Wang Yinan decided to ignore.
Over the weekend, the last set of test cases ran smoothly. Wang Yinan announced loudly in the company.
"Everything is ready, the Gödel system can start learning to fly!"
"Tomorrow is a holiday, everyone should have fun, should sleep",
"Next Monday"
Wang Yinan immediately called Chief Yang to tell him the good news and asked him when the data would come in.
The model flight data accumulated by 116, as well as the simulation data, are the secrets of the secrets, much more valuable than gold, and of course cannot be brought with a large army.
Chief Engineer Yang said that the data had been prepared a long time ago, and he was waiting for Wang Yinan's notice, so he immediately contacted the special plane of the Air Force and personally escorted him over tomorrow.
In the afternoon of the next day, an air force transport plane airlifted two containers, all of which were disk arrays, and Qian Zhonghua arranged for troops to escort them to Ronghe Company.
On Monday, everyone gathered in front of the Gödel system, and the two containers of goods could not be directly connected to all of them, and the power consumption alone would be terrible. During this time, the 116 Institute was not idle, and they specially made a kind of grouped storage cabinets, each cabinet is an independent storage unit.
It can be accessed by power, and then input into the Gödel system through optical fiber, so that the data can be accessed one cabinet at a time.
Wang Yinan was rarely humble, and he said to Chief Master Yang,
"We already had two systems before, both of which had their own nicknames, and one of them was called Doctor Goda."
"This artificial intelligence for flying machines, you can also name it"
Chief Master Yang thought for a while, "Let's call Brother Kunpeng",
"I hope it can do it, and it flies in anger, its wings like clouds hanging from the sky"
"The model fighter that can help us protect the sky of China"
"Good name", Wang Yinan praised from the bottom of his heart.
He checked the power supply, cooling, and access point again, and then said to Zhao Tiancheng,
"Let's get started"
In the silence, Zhao Tiancheng started the training script on the terminal. I don't know if it's an illusion, Wang Yinan felt that the buzzing current seemed to have become a little louder, and it had become a little more cheerful.
This training program, Wang Yinan and they have made some improvements, and debugging information will be output at some key nodes, so that they can be adjusted at any time if there is a problem during the training process.
Second, you can roughly estimate the progress of training.
Thirty minutes later, the terminal began to output various information line by line, and the first iteration node was completed.
"Well, everything is normal", he said to Chief Master Yang,
"Judging from the current speed, it will take about two weeks to complete the training of all samples",
"It's been so long," Chief Yang was a little surprised, "and after the training is completed, how long will it take to get the defects that will help us." “
"Based on our experience, the ratio of training time and analysis time is about five to one." Wang Yinan replied.
"In other words, in about 16 to 17 days, we can get results," asked Master Yang.
"If there are no special circumstances, this is the case," Wang Yinan replied.
"During this time, you can send someone to keep an eye here, there is no need for everyone to be here, we only need one or two people here to deal with some small anomalies"
"OK, I see"
"In addition, after the data training, I will ask Qian Zhonghua's people to help destroy it on the spot, there is a backup at home, although it is very safe to put it here, but the safest is to destroy it." Chief Yang arranged it.
"No problem", Wang Yinan sealed all the terminals, and no one could contact the Gödel system except for himself and Zhao Tiancheng, who was authorized for emergencies.
So in this quiet environment where no one disturbed, the Gödel system began to learn to fly.
In the information space within the Gödel system, structures that no one can understand are constantly emerging, evolving, and dying.
If there were higher-dimensional intelligent beings who could see the world of consciousness in the Gothic system and translate it into a picture that humans could understand, it would probably look like this.
At first there was nothing, but later, God said that there should be gravity, and if there was air, there would be gravity, and there would be air, and there would be resistance, and there would be lift.
Then objects of various shapes flew in the air, in the wind, in air currents of different densities and speeds, some rising and some falling.
Later, if anyone could see it, they would be surprised to find that the aerodynamic layout of various aircraft that had appeared and had not appeared in human history appeared in Gödel's world of consciousness.
Two-wing, three-wing, single vertical tail, double vertical tail, swept wing, and even forward-swept wing, lift body, wing-body fusion.
There are also catamarans, trimarans, rings, and so on.
Using the data provided by the 116 to 22T, Gödel learned to fly after two weeks of learning and evolving.
Flying machines of various shapes and layouts, under the control of Gödel, can already soar freely in the sky.
After the training is completed, the last step is left, which is to input the latest version of the flight control rate software of the 116 Institute into the Gödel system, and then perform simulation calculations to find the defects.
Chief Engineer Yang personally brought the hard disk with the latest flight control software to the imperial capital.
With the passage of time, the pressure on him is getting bigger and bigger, and even there are a lot of different voices within the 116 Institute, since the last meeting, Chief Yang has bet all the bets on Wang Yinan, and the flight control software has not even been updated.
Some people in the 116 Institute said that this was too risky, and there must always be a backup plan, and suggested that Chief Yang set up a separate team to improve the flight control software.
Chief Master Yang just said, anyway, I will resign in half a year, what do you like, during this time, don't make a mess.
Hand over the hard disk to Wang Yinan, Chief Teacher Yang said,
"This is my life, half a lifetime's reputation"
"Oh, guest officer, don't worry, although my store is small, it is also the first one in Sijiu City, you just wait for the good news."
Wang Yinan snatched the hard drive, "Little Case", casually connected to the Gödel system, and started the script.
After about thirty minutes, the improved system showed the estimated progress, 38 hours and 27 minutes.
"Okay, okay, two days off"
"Let's all go back and rest," Wang Yinan said.
"Lao Yang, do you want me to take you to play in the imperial capital for two days?"
"No, I'm just going to talk to a few old friends in the ministry, and I have to plan in advance in case I retire."
"Hehe", Wang Yinan laughed twice.
"I'm only concerned about how much you spend half of your flight control this year."