In my Wish List, an Automated Tool for Fail-Secure Design Analysis: an Alloy-Based Feasibility Draft

A system is said to be fail-secure, sometimes confused with fail-safe, if it maintains its security requirements even in the event of some faults. Fail-secure analyses are required by some validation schemes, such as some Common Criteria or NATO certifications. However, it is an aspect of security which as been overlooked by the community. This paper attempts to shed some light on the fail-secure field of study by: giving a definition of fail-secure as used in those certification schemes, and emphasizing the differences with fail-safe; and exhibiting a first feasibility draft of a fail-secure design analysis tool based on the Alloy model checker.Comment: In Proceedings ESSS 2014, arXiv:1405.055

A model study of oceanic mechanisms affecting Equatorial Pacific sea surface temperature during the 1997-98 El Niño

In this study, the processes affecting sea surface temperature variability over the 1992–98 period, encompassing the very strong 1997–98 El Niño event, are analyzed. A tropical Pacific Ocean general circulation model, forced by a combination of weekly ERS1–2 and TAO wind stresses, and climatological heat and freshwater fluxes, is first validated against observations. The model reproduces the main features of the tropical Pacific mean state, despite a weaker than observed thermal stratification, a 0.1 m s−1 too strong (weak) South Equatorial Current (North Equatorial Countercurrent), and a slight underestimate of the Equatorial Undercurrent. Good agreement is found between the model dynamic height and TOPEX/Poseidon sea level variability, with correlation/rms differences of 0.80/4.7 cm on average in the 10°N–10°S band. The model sea surface temperature variability is a bit weak, but reproduces the main features of interannual variability during the 1992–98 period. The model compares well with the TAO current variability at the equator, with correlation/rms differences of 0.81/0.23 m s−1 for surface currents. The model therefore reproduces well the observed interannual variability, with wind stress as the only interannually varying forcing. This good agreement with observations provides confidence in the comprehensive three-dimensional circulation and thermal structure of the model. A close examination of mixed layer heat balance is thus undertaken, contrasting the mean seasonal cycle of the 1993–96 period and the 1997–98 El Niño. In the eastern Pacific, cooling by exchanges with the subsurface (vertical advection, mixing, and entrainment), the atmospheric forcing, and the eddies (mainly the tropical instability waves) are the three main contributors to the heat budget. In the central–western Pacific, the zonal advection by low-frequency currents becomes the main contributor. Westerly wind bursts (in December 1996 and March and June 1997) were found to play a decisive role in the onset of the 1997–98 El Niño. They contributed to the early warming in the eastern Pacific because the downwelling Kelvin waves that they excited diminished subsurface cooling there. But it is mainly through eastward advection of the warm pool that they generated temperature anomalies in the central Pacific. The end of El Niño can be linked to the large-scale easterly anomalies that developed in the western Pacific and spread eastward, from the end of 1997 onward. In the far-western Pacific, because of the shallower than normal thermocline, these easterlies cooled the SST by vertical processes. In the central Pacific, easterlies pushed the warm pool back to the west. In the east, they led to a shallower thermocline, which ultimately allowed subsurface cooling to resume and to quickly cool the surface layer

On the multidisciplinary control and sensing of a smart hybrid morphing wing

Morphing wing technology is of great interest for improving the aerodynamic performance of future aircraft. A morphing wing prototype using both surface embedded Shape Memory Alloys (SMA) and piezoelectric macro fiber composite (MFC) actuators has been designed for wind tunnel experiments. This smart wing is a mechatronic system that contains embedded sensors to measure the surrounding flow and control the actuators. This article will focus on the control of the cambering system which is achieved using a group of nested control loops as well as on the perspective of a novel control strategy using in-situ temperature measurements. It will be shown that by exploiting the inherent hysteretic properties of the SMAs cambering a significant reduction in power consumption is possible by appropriately tailoring the control strategy. Furthermore, by comparing the post-processed pressure signals recorded during the wind tunnel experiments to the aerodynamic performance gains a perspective for a novel in-situ control will be shown

Implementation of a hybrid electro-active actuated morphing wing in wind tunnel

Amongst current aircraft research topics, morphing wing is of great interest for improving the aerodynamic performance. A morphing wing prototype has been designed for wind tunnel experiments. The rear part of the wing - corresponding to the retracted flap - is actuated via a hybrid actuation system using both low frequency camber control and a high frequency vibrating trailing edge. The camber is modified via surface embedded shape memory alloys. The trailing edge vibrates thanks to piezoelectric macro-fiber composites. The actuated camber, amplitude and frequency ranges are characterized. To accurately control the camber, six independent shape memory alloy wires are controlled through nested closed-loops. A significant reduction in power consumption is possible via this control strategy. The effects on flow via morphing have been measured during wind tunnel experiments. This low scale mock-up aims to demonstrate the hybrid morphing concept, according to actuator capabilities point of view as well as aerodynamic performance

Smartphone software for department of computer science

The presented document provides an overview of the Smartphone Software for Department of Computer Science project development through out several phases: analysis of the project proposal, preliminary study of the concepts involved in the project, design decisions and modeling, implementation, experiments and conclusions obtained in the end, as well as a reflection on possible future system improvements. The final version of the system, which was built after the design and implementation decisions made through out the development of the project, is a prototype mainly composed of an application for Android smartphones leaning on a distributed architecture in order to provide all its expected functionalities. Thus, the system is based on a mixture of the two main distributed systems architectural models: client-server and peer-to-peer. The functionalities that lean on the client-server architecture are those whose data are relative to information of general interest and need to be always (ideally) available: consulting news, information and schedules for courses, frequently asked questions, maps and indoors positioning. On the other hand, functionalities such as the chat system and the possibility of contacting with the students of a certain course depend on the availability of the users, so a peer-to-peer architectural model was developed to support them. Regarding the system functionalities, the in-door localization and the chat system were determined as the most relevant ones. With the aim to provide those functionalities, the choice made was to implement an in-door positioning based on the RedPin model and, on the other hand, to make use of an already existing Java solution to build a chat system by means of multicast DNS and DNS Service Discovery: JmDNS

Monthly mean wind stress and Sverdrup transport in the North Atlantic: A comparison of the Hellerman-Rosenstein and Isemer-Hasse climatologies

The monthly mean wind stress climatology of Hellerman and Rosenstein (HR) is compared with the climatology of Isemer and Hasse (IH), which represents a version of the Bunker atlas (BU) for the North Atlantic based on revised parameterizations. The drag coefficients adopted by IH are 21% smaller than the values of BU and HR, and the calculation of wind speed from marine estimates of Beaufort force (Bft) is based on a revised Beaufort equivalent scale similar to the scientific scale recommended by WMO. The latter choice significantly increases wind speed below Bft 8, and effectively counteracts the reduction of the drag coefficients. Comparing the IH stresses with HR reveals substantially enhanced magnitudes in the trade wind region throughout the year. At 15°N the mean easterly stress increases from about 0.9 (HR) to about 1.2 dyn cm−1 (IH). Annual mean differences are smaller in the region of the westerlies. In winter, the effect due to the reduced drag coefficient dominates and leads to smaller stress values in IH; during summer season the revision of the Beaufort equivalents is more effective and leads to increased stresses. Implications of the different wind stress climatologies for forcing the large-scale ocean circulation are discussed by means of the Sverdrup transport streamfunction (ψs): Throughout the subtropical gyre a significant intensification of ψs takes place with IH. At 27°N, differences of more than 10 Sv (1 Sv ≡ 106 m3 s−1) are found near the western boundary. Differences in the seasonality of ψs are more pronounced in near-equatorial regions where IH increase the amplitude of the annual cycle by about 50%. An eddy-resolving model of the North Atlantic circulation is used to examine the effect of the different wind stresses on the seasonal cycle of the Florida Current. The transport predicted by the numerical model is in much better agreement with observations when the circulation is forced by IH than by HR, regarding both the annual mean (29.1 Sv vs 23.2 Sv) and the seasonal range (6.3 Sv vs 3.4 Sv)

Dynamics of a hybrid morphing wing with active open loop vibrating trailing edge by Time-Resolved PIV and force measures

A quantitative characterization of the effects obtained by high frequency-low amplitude trailing edge actuation is presented. Particle image velocimetry, pressure and aerodynamic forces measurements are carried out on a wing prototype equipped with shape memory alloys and trailing edge piezoelectric-actuators, allowing simultaneously high deformations (bending) in low frequency and higher-frequency vibrations. The effects of this hybrid morphing on the forces have been quantified and an optimal actuation range has been identified, able to increase lift and decrease drag. The present study focuses more specifically on the effects of the higher-frequency vibrations of the trailing edge region. This actuation allows manipulation of the wake turbulent structures. It has been shown that specific frequency and amplitude ranges achieved by the piezoelectric actuators are able to produce a breakdown of larger coherent eddies by means of upscale energy transfer from smaller-scale eddies in the near wake. It results a thinning of the shear layers and the wake's width, associated to reduction of the form drag, as well as a reduction of predominant frequency peaks of the shear-layer instability. These effects have been shown by means of frequency domain analysis and Proper Orthogonal Decomposition

Exciton and interband optical transitions in hBN single crystal

Near band gap photoluminescence (PL) of hBN single crystal has been studied at cryogenic temperatures with synchrotron radiation excitation. The PL signal is dominated by the D-series previously assigned to excitons trapped on structural defects. A much weaker S-series of self-trapped excitons at 5.778 eV and 5.804 eV has been observed using time-window PL technique. The S-series excitation spectrum shows a strong peak at 6.02 eV, assigned to free exciton absorption. Complementary photoconductivity and PL measurements set the band gap transition energy to 6.4 eV and the Frenkel exciton binding energy larger than 380 meV