Results 31 to 40 of about 3,585,340 (204)
Космические аппараты и технологии, 2020 At present, the daily and combat activities of almost any army in the world are largely determined by the quality of information and space support. At the same time, the quality of support depends largely on the stability of the functioning of such ...
M. A. Prokhorov +2 more
doaj +1 more source
An Efficient Design-to-Verification Framework for CubeSat ADCS: Application to INHA RoSAT
AerospaceCubeSats are increasingly adopted for space missions due to their low cost and short development cycles. However, their attitude determination and control systems (ADCS) often suffer from limited verification environments and constrained hardware ...
Hye-Eun Yoo +4 more
doaj +1 more source
International Journal of Aviation, Aeronautics, and Aerospace, 2018 All pilots are required to calculate aircraft performance parameters prior to flight. This includes takeoff and landing distances. Traditionally, pilots in training have planned for takeoff and landing performance using paper charts provided by the ...
Tyler A Babb, Christina Hiers
doaj +1 more source
Journal of Aviation/Aerospace Education & Research, 2015 Embry-Riddle Aeronautical University’s (ERAU) Daytona Beach Campus operates as a certificated flight school under 14 Code of Federal Regulations (CFR) Part 141.
Robert Thomas, Christopher C. Lee
doaj +1 more source
Design and implementation of flight test data relay management unit
Dianzi Jishu Yingyong, 2018 In flight test, the test data captured is transported to ground system by telemetry link for real-time monitor, and the test data needs to be proceeded before telemetry transported.
Lv Ming, Teng Bin
doaj +1 more source
Using OpenSky Data for Teaching Software Engineering to Undergraduates
Engineering Proceedings, 2022 In the past year, the author has been using the OpenSky ressources for teaching purposes in the context of Software-Engineering courses for undergraduates at the Darmstadt University of Applied Sciences (Germany).
Kai Renz
doaj +1 more source
Auto-Coding UML Statecharts for Flight Software [PDF]
2nd IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT'06), 2006 Statecharts have been used as a means to communicate behaviors in a precise manner between system engineers and software engineers. Hand-translating a statechart to code, as done on some previous space missions, introduces the possibility of errors in the transformation from chart to code.
Benowitz, Ed, Clark, Ken, Watney, Garth
openaire +2 more sources
Formal Verification of Simulation Scenarios in Aviation Scenario Definition Language (ASDL)
Aerospace, 2018 Formal methods offer well-defined means for mathematical verification of the functional specifications of software systems. For model-based engineering, model checking is a verification technique that explores all possible system states.
Bharvi Chhaya, Shafagh Jafer, Umut Durak
doaj +1 more source
ON FUNDAMENTAL EVALUATION USING UAV IMAGERY AND 3D MODELING SOFTWARE [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2016 Unmanned aerial vehicles (UAVs), which have been widely used in recent years, can acquire high-resolution images with resolutions in millimeters; such images cannot be acquired with manned aircrafts.
K. Nakano +4 more
doaj +1 more source
Algorithm for Calculating the Flight Time of an Unmanned Aerial Vehicle for Aerial Photography
Сельскохозяйственные машины и технологии, 2023 The paper shows the possibility of using unmanned aerial vehicles with additional outboard equipment for aerial photography. It is noted that some parameters of the drone and additional suspension equipment are not taken into account by the software when
R. K. Kurbanov
doaj +1 more source