The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The purpose of this work is to explore the possibility of using (Multi-disciplinary Design and Optimization) MDO frameworks for complex system design of space experiment. Considering both launch and space environmental requirements, the multi-objective optimization of a novel nested flying vehicle for space science experiments is carried out by decreasing launch weight, frequency response, vacuum...
This paper proposes a model-based software safety analysis method for flight control software. Firstly, the AADL architecture model and error model of flight control software are constructed separately. Then we convert the AADL model of flight control software into extended Markov chain model. We can evaluate safety of software component by calculate the probability of component state in different...
As software programs become increasingly large and complex, it is more important to improve the quality of software maintenance. Many software programs rely on bug reports to correct errors in maintenance activities. Bug tracking systems were developed to guide maintenance activities of software developers. However, due to the excessive number of duplicate bug reports, developers spend much time to...
In civil engineering curriculum, coursework tends to focus on the theoretical fundamentals or manual calculation. As a result, students have difficulty to adapt requirements for huge and complicated computation in real design projects. A 32-lessons of structural computation (SC) using ANSYS has been developed. This paper describes goals for teaching SC in civil engineering. The methodology and infrastructure...
The most important thing of using model checking technology to verify production knowledge base is to build system model from rule set. It is a fundamental but time-consuming job. This paper presents an efficient formal method to verify production knowledge base. Two main contributions of this paper are as follows. Firstly, we propose a dynamic modeling method to build system model of knowledge base,...
Learning how to model and simulate structures such as a building or bridge is the necessary task for civil engineers. Modern software tools allow for a new approach to modeling which makes it accessible to civil engineering (CE) students. Software application for civil engineering (SACE) courses has recently been developed by the school of civil engineering, Dalian Jiaotong University, China. This...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.