| 1. |
|
|
| 2. |
|
|
| 3. |
|
|
| 4. |
- Casimiro, A.C., et al.
(author)
-
A kernel-based architecture for safe cooperative vehicular functions
- 2014
-
In: Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, SIES 2014. - 9781479940233 ; , s. 228-237
-
Conference paper (peer-reviewed)abstract
- Future vehicular systems will be able to cooperate in order to perform many functions in a more effective and efficient way. However, achieving predictable and safe coordination of vehicles that autonomously cooperate in open and uncertain environments is a challenging task. Traditional solutions for achieving safety either impose restrictions on performance or require costly resources to deal with the worst case situations. In this paper, we describe a generic architectural pattern that addresses this problem. We consider that cooperative functions can be executed with multiple levels of service, and we rely on a safety kernel to manage the service level in run-time. A set of safety rules defined in design-time determine conditions under which the cooperative function can be performed safely in each level of service. The paper provides details of our implementation of this safety kernel, covering both hardware and software aspects. It also presents an example application of the proposed solutions in the development of a demonstrator using scaled vehicles.
|
|
| 5. |
- Khromov, Sergey, et al.
(author)
-
Atom probe tomography study of Mg doped GaN layers
- 2014
-
In: Nanotechnology. - : Institute of Physics Publishing (IOPP). - 0957-4484 .- 1361-6528. ; 25:27, s. 275701-
-
Journal article (peer-reviewed)abstract
- Atom probe tomography studies on highly Mg-doped GaN(0001) layers with concentrations 5×1019 cm-3 and 1×1020 cm-3 were performed. Mg cluster formation was observed only in the higher doped sample whereas in the lower doped sample the Mg distribution was homogeneous. CL measurements showed that the emission normally attributed to stacking faults was only present in the lower doped layers ([Mg] = 1.5×1019 and 5×1019 cm-3), but absent in the higher-doped layer, where Mg clusters were detected. Mg clusters are proposed to produce a screening effect thereby destroying the exciton binding on the SFs thus rendering them optically inactive.
|
|
| 6. |
- Wetzel, G., et al.
(author)
-
Validation of MIPAS-ENVISAT H2O operational data collected between July 2002 and March 2004
- 2013
-
In: Atmospheric Chemistry And Physics. - : Copernicus GmbH. - 1680-7316 .- 1680-7324. ; 13:11, s. 5791-5811
-
Journal article (peer-reviewed)abstract
- Water vapour (H2O) is one of the operationally retrieved key species of the Michelson Interferometer for Passive Atmospheric Sounding (MIPAS) instrument aboard the Environmental Satellite (ENVISAT) which was launched into its sun-synchronous orbit on 1 March 2002 and operated until April 2012. Within the MIPAS validation activities, independent observations from balloons, aircraft, satellites, and ground-based stations have been compared to European Space Agency (ESA) version 4.61 operational H2O data comprising the time period from July 2002 until March 2004 where MIPAS measured with full spectral resolution. No significant bias in the MIPAS H2O data is seen in the lower stratosphere (above the hygropause) between about 15 and 30 km. Differences of H2O quantities observed by MIPAS and the validation instruments are mostly well within the combined total errors in this altitude region. In the upper stratosphere (above about 30 km), a tendency towards a small positive bias (up to about 10 %) is present in the MIPAS data when compared to its balloon-borne counterpart MIPAS-B, to the satellite instruments HALOE (Halogen Occultation Experiment) and ACE-FTS (Atmospheric Chemistry Experiment, Fourier Transform Spectrometer), and to the millimeter-wave airborne sensor AMSOS (Airborne Microwave Stratospheric Observing System). In the mesosphere the situation is unclear due to the occurrence of different biases when comparing HALOE and ACE-FTS data. Pronounced deviations between MIPAS and the correlative instruments occur in the lowermost stratosphere and upper troposphere, a region where retrievals of H2O are most challenging. Altogether it can be concluded that MIPAS H2O profiles yield valuable information on the vertical distribution of H2O in the stratosphere with an overall accuracy of about 10 to 30% and a precision of typically 5 to 15% - well within the predicted error budget, showing that these global and continuous data are very valuable for scientific studies. However, in the region around the tropopause retrieved MIPAS H2O profiles are less reliable, suffering from a number of obstacles such as retrieval boundary and cloud effects, sharp vertical discontinuities, and frequent horizontal gradients in both temperature and H2O volume mixing ratio (VMR). Some profiles are characterized by retrieval instabilities.
|
|
| 7. |
- Dolev, Shlomi, et al.
(author)
-
Rationality authority for provable rational behavior
- 2011
-
In: Proceedings of the Annual ACM Symposium on Principles of Distributed Computing. - New York, NY, USA : ACM. - 9781450307192 ; , s. 289-290
-
Conference paper (peer-reviewed)abstract
- Players in a game are assumed to be totally rational and absolutely smart. However, in reality all players may act in non-rational ways and may fail to understand and find their best actions. In particular, participants in social interactions, such as lotteries and auctions, cannot be expected to always find by themselves the "best-reply" to any situation. Indeed, agents may consult with others about the possible outcome of their actions. It is then up to the counselee to assure the rationality of the consultant's advice. We present a distributed computer system infrastructure, named rationality authority, that allows safe consultation among (possibly biased) parties. The parties' advices are adapted only after verifying their feasibility and optimality by standard formal proof checkers. The rationality authority design considers computational constraints, as well as privacy and security issues, such as verification methods that do not reveal private preferences. Some of the techniques resembles zero-knowledge proofs. A non-cooperative game is presented by the game inventor along with its (possibly intractable) equilibrium. The game inventor advises playing by this equilibrium and offers a checkable proof for the equilibrium feasibility and optimality. Standard verification procedures, provided by trusted (according to their reputation) verification procedures, are used to verify the proof. Thus, the proposed rationality authority infrastructure facilitates the applications of game theory in several important real-life scenarios by the use of computing systems.
|
|
