672 research outputs found
Verifying RoboCup Teams
Pocreeding of: 5th International Workshop on Model Checking and Artificial Intelligence. MOCHART-2008, Patras, Greece, july, 21st, 2008.Verification of multi-agent systems is a challenging task due to their dynamic nature, and the complex interactions between agents. An example of such a system is the RoboCup Soccer Simulator, where two teams of eleven independent agents play a game of football against each other. In the present article we attempt to verify a number of properties of RoboCup football teams, using a methodology involving testing. To accomplish such testing in an efficient manner we use the McErlang model checker, as it affords precise control of the scheduling of the agents, and provides convenient access to the internal states and actions of the agents of the football teams.This work has been partially supported by the FP7-ICT-2007-1 project ProTest (215868), a Ramón y Cajal grant from the Spanish Ministerio de Educación y Ciencia, and the Spanish national projects TRA2007-67374-C02-02, TIN2006-15660-C02- 02 (DESAFIOS) and S-0505/TIC/0407 (PROMESAS).Publicad
Barcoding and border biosecurity: Identifying cyprinid fishes in the aquarium trade
10.1371/journal.pone.0028381PLoS ONE71
A LUNAR POWER PLANT
A concept of a nuclear power plant to be assembled on earth and operated on the moon is presented. The two principal design objectives are reliability and high specific power. Wherever there is an incompatibility between these two objectives, the decision favors reliability. The design is based on the premise that the power plant must be designed on the basis of current technology and with a minimum amount of research and development. The principal components consist of a fast reactor in a direct cycle with a mercury-vapor turbine. The high- frequency generator, hydrogen compressor for the generator cooling system, mercury-recirculating pump, and condensate pump are on an extension of the turbine shaft. Ths mercury vapor is condensed and the hydrogen cooled in wing radiators. The reactor is of a construction quite similar to EBR-I Mark IlI for which there is a large amount of operating experience. The radiator is a vertical tube-and-fin type built in concentric cylindrical sections of increseing diameter. The curved headers are connected by swivel joints so that, upon arrival, the radiator can be quickly unfolded from the compact cylindrical package it formed during transportation. (auth
Effects of Interplanetary Dust on the LISA drag-free Constellation
The analysis of non-radiative sources of static or time-dependent
gravitational fields in the Solar System is crucial to accurately estimate the
free-fall orbits of the LISA space mission. In particular, we take into account
the gravitational effects of Interplanetary Dust (ID) on the spacecraft
trajectories. The perturbing gravitational field has been calculated for some
ID density distributions that fit the observed zodiacal light. Then we
integrated the Gauss planetary equations to get the deviations from the LISA
keplerian orbits around the Sun. This analysis can be eventually extended to
Local Dark Matter (LDM), as gravitational fields are expected to be similar for
ID and LDM distributions. Under some strong assumptions on the displacement
noise at very low frequency, the Doppler data collected during the whole LISA
mission could provide upper limits on ID and LDM densities.Comment: 11 pages, 6 figures, to be published on the special issue of
"Celestial Mechanics and Dynamical Astronomy" on the CELMEC V conferenc
Lichenometric dating (lichenometry) and the biology of the lichen genus rhizocarpon:challenges and future directions
Lichenometric dating (lichenometry) involves the use of lichen measurements to estimate the age of exposure of various substrata. Because of low radial growth rates and considerable longevity, species of the crustose lichen genus Rhizocarpon have been the most useful in lichenometry. The primary assumption of lichenometry is that colonization, growth and mortality of Rhizocarpon are similar on surfaces of known and unknown age so that the largest thalli present on the respective faces are of comparable age. This review describes the current state of knowledge regarding the biology of Rhizocarpon and considers two main questions: (1) to what extent does existing knowledge support this assumption; and (2) what further biological observations would be useful both to test its validity and to improve the accuracy of lichenometric dates? A review of the Rhizocarpon literature identified gaps in knowledge regarding early development, the growth rate/size curve, mortality, regeneration, competitive effects, colonization, and succession on rock surfaces. The data suggest that these processes may not be comparable on different rock surfaces, especially in regions where growth rates and thallus turnover are high. In addition, several variables could differ between rock surfaces and influence maximum thallus size, including rate and timing of colonization, radial growth rates, environmental differences, thallus fusion, allelopathy, thallus mortality, colonization and competition. Comparative measurements of these variables on surfaces of known and unknown age may help to determine whether the basic assumptions of lichenometry are valid. Ultimately, it may be possible to take these differences into account when interpreting estimated dates
Active Amplification of the Terrestrial Albedo to Mitigate Climate Change: An Exploratory Study
This study explores the potential to enhance the reflectance of solar
insolation by the human settlement and grassland components of the Earth's
terrestrial surface as a climate change mitigation measure. Preliminary
estimates derived using a static radiative transfer model indicate that such
efforts could amplify the planetary albedo enough to offset the current global
annual average level of radiative forcing caused by anthropogenic greenhouse
gases by as much as 30 percent or 0.76 W/m2. Terrestrial albedo amplification
may thus extend, by about 25 years, the time available to advance the
development and use of low-emission energy conversion technologies which
ultimately remain essential to mitigate long-term climate change. However,
additional study is needed to confirm the estimates reported here and to assess
the economic and environmental impacts of active land-surface albedo
amplification as a climate change mitigation measure.Comment: 21 pages, 3 figures. In press with Mitigation and Adaptation
Strategies for Global Change, Springer, N
Strangeness nuclear physics: a critical review on selected topics
Selected topics in strangeness nuclear physics are critically reviewed. This
includes production, structure and weak decay of --Hypernuclei, the
nuclear interaction and the possible existence of bound
states in nuclei. Perspectives for future studies on these issues are also
outlined.Comment: 63 pages, 51 figures, accepted for publication on European Physical
Journal
Optimization of the Strength-Fracture Toughness Relation in Particulate-Reinforced Aluminum Composites via Control of the Matrix Microstructure
The article of record as published may be found at http://dx.doi.org/10.1007/s11661-998-0119-9The evolution of the microstructure and mechanical properties of a 17.5 vol. pct SiC particulatereinforced
aluminum alloy 6092-matrix composite has been studied as a function of postfabrication
processing and heat treatment. It is demonstrated that, by the control of particulate distribution, matrix
grain, and substructure and of the matrix precipitate state, the strength-toughness combination in the
composite can be optimized over a wide range of properties, without resorting to unstable, underaged
(UA) matrix microstructures, which are usually deemed necessary to produce a higher fracture toughness
than that displayed in the peak-aged condition. Further, it is demonstrated that, following an
appropriate combination of thermomechanical processing and unconventional heat treatment, the
composite may possess better stiffness, strength, and fracture toughness than a similar unreinforced
alloy. In the high- and low-strength matrix microstructural conditions, the matrix grain and substructure
were found to play a substantial role in determining fracture properties. However, in the intermediate-
strength regime, properties appeared to be optimizable by the utilization of heat treatments
only. These observations are rationalized on the basis of current understanding of the grain size
dependence of fracture toughness and the detailed microstructural features resulting from thermomechanical
treatments.United States Army Research OfficeArmy Research LabratoryUnited States Air Force Office of Scientific ResearchWright Materials LabratoryDWA Composite
Theory and Applications of Non-Relativistic and Relativistic Turbulent Reconnection
Realistic astrophysical environments are turbulent due to the extremely high
Reynolds numbers. Therefore, the theories of reconnection intended for
describing astrophysical reconnection should not ignore the effects of
turbulence on magnetic reconnection. Turbulence is known to change the nature
of many physical processes dramatically and in this review we claim that
magnetic reconnection is not an exception. We stress that not only
astrophysical turbulence is ubiquitous, but also magnetic reconnection itself
induces turbulence. Thus turbulence must be accounted for in any realistic
astrophysical reconnection setup. We argue that due to the similarities of MHD
turbulence in relativistic and non-relativistic cases the theory of magnetic
reconnection developed for the non-relativistic case can be extended to the
relativistic case and we provide numerical simulations that support this
conjecture. We also provide quantitative comparisons of the theoretical
predictions and results of numerical experiments, including the situations when
turbulent reconnection is self-driven, i.e. the turbulence in the system is
generated by the reconnection process itself. We show how turbulent
reconnection entails the violation of magnetic flux freezing, the conclusion
that has really far reaching consequences for many realistically turbulent
astrophysical environments. In addition, we consider observational testing of
turbulent reconnection as well as numerous implications of the theory. The
former includes the Sun and solar wind reconnection, while the latter include
the process of reconnection diffusion induced by turbulent reconnection, the
acceleration of energetic particles, bursts of turbulent reconnection related
to black hole sources as well as gamma ray bursts. Finally, we explain why
turbulent reconnection cannot be explained by turbulent resistivity or derived
through the mean field approach.Comment: 66 pages, 24 figures, a chapter of the book "Magnetic Reconnection -
Concepts and Applications", editors W. Gonzalez, E. N. Parke
- …