Simulation model of a twin-tail, high performance airplane [PDF]
The mathematical model and associated computer program to simulate a twin-tailed high performance fighter airplane (McDonnell Douglas F/A-18) are described. The simulation program is written in the Advanced Continuous Simulation Language.
Arbuckle, P. Douglas +2 more
core +1 more source
On formal methods for certifying floating-point C programs [PDF]
, 2009 This paper presents an implementation of an extension of the ACSL specication language in the Frama-C tool in order to prove the correctness of floating-point C programs.
Ayad, Ali
core +2 more sources
Ground truth flight data missions 55 and 56. Site 56, Mt. Lassen, Site 19, Sonora Pass, Site 3, Mono Craters [PDF]
Radiosonde measurement of temperature and moisture content in infrared spectrometer ...
Brennan, P. A. +3 more
core +1 more source
El acuerdo contra la siniestralidad laboral en el Ayuntamiento de Sevilla. Un pequeño paso de gigante en materia de salud laboral [PDF]
, 2005 El Acuerdo contra la Siniestralidad Laboral, firmado en el marco de una Administración local, con las organizaciones sindicales representativas, establece para las obras de titularidad municipal controles y obligaciones adicionales a los previstos en la
Román Vaca, Eduardo
core
Timing performance of phased-locked loops in optical pulse position modulation communication systems [PDF]
An optical digital communication system requires that an accurate clock signal be available at the receiver for proper synchronization with the transmitted signal.
Gardner, C. S., Lafaw, D. A.
core +1 more source
Provably Correct Floating-Point Implementation of a Point-In-Polygon Algorithm [PDF]
The problem of determining whether or not a point lies inside a given polygon occurs in many applications. In air traffic management concepts, a correct solution to the point-in-polygon problem is critical to geofencing systems for Unmanned Aerial ...
Feliu, Marco A. +3 more
core +1 more source
Improving crop productivity in agroforestry systems: low leaf respiration is a key trait [PDF]
, 2018 N/
Rosati, A.
core
Cell Communication and SignalingS-palmitoylation has emerged as a critical integrator of lipid overload and cardiovascular dysfunction. Disordered lipid metabolism inundates endothelial cells, vascular smooth muscle cells and macrophages with triglyceriderich lipoproteins, oxidized LDL
Jingwen Zhang +7 more
doaj +1 more source
Aeroelastic modeling for the FIT team F/A-18 simulation [PDF]
Some details of the aeroelastic modeling of the F/A-18 aircraft done for the Functional Integration Technology (FIT) team's research in integrated dynamics modeling and how these are combined with the FIT team's integrated dynamics model are described ...
Wieseman, Carol D., Zeiler, Thomas A.
core +1 more source
[Use of the ACSL simulation language for physiologic toxicokinetic models].
Medycyna pracy, 2001 For the description of the processes of absorption, excretion or elimination of chemicals, the open one- or two-compartment models have been used thus far. The latter consist mainly of the fast (central) and slow (peripheral) compartments. The toxicological studies were based on an assumption that the organic processes develop according to is the first
P, Kostrzewski, P, Jałowiecki
openaire +1 more source