Incorporating PGMs into a BDI Architecture

In this paper, we present a hybrid BDI-PGM framework, in which PGMs (Probabilistic Graphical Models) are incorporated into a BDI (belief-desire-intention) architecture. This work is motivated by the need to address the scalability and noisy sensing issues in SCADA (Supervisory Control And Data Acquisition) systems. Our approach uses the incorporated PGMs to model the uncertainty reasoning and decision making processes of agents situated in a stochastic environment. In particular, we use Bayesian networks to reason about an agent’s beliefs about the environment based on its sensory observations, and select optimal plans according to the utilities of actions defined in influence diagrams. This approach takes the advantage of the scalability of the BDI architecture and the uncertainty reasoning capability of PGMs. We present a prototype of the proposed approach using a transit scenario to validate its effectiveness.

A Game-Theoretic Approach for Threats Detection and Intervention in Surveillance

Threat prevention with limited security resources is a challenging problem. An optimal strategy is to eectively predict attackers' targets (or goals) based on current available information, and use such predictions to prevent (or disrupt) their planned attacks. In this paper, we propose a game-theoretic framework to address this challenge which encompasses the following three elements. First, we design a method to analyze an attacker's types in order to determine the most plausible type of an attacker. Second, we propose an approach to predict possible targets of an attack and the course of actions that the attackers may take even when the attackers' types are ambiguous. Third, a game-theoretic based strategy is developed to determine the best protection actions for defenders (security resources).

Selective deuterium ion acceleration using the Vulcan petawatt laser

We report on the successful demonstration of selective acceleration of deuterium ions by target-normal sheath acceleration (TNSA) with a high-energy petawatt laser. TNSA typically produces a multi-species ion beam that originates from the intrinsic hydrocarbon and water vapor contaminants on the target surface. Using the method first developed by Morrison et al. [Phys. Plasmas 19, 030707 (2012)], an ion beam with >99% deuterium ions and peak energy 14 MeV/nucleon is produced with a 200 J, 700 fs, > 10 20 W/cm 2 laser pulse by cryogenically freezing heavy water (D<inf>2</inf>O) vapor onto the rear surface of the target prior to the shot. Within the range of our detectors (0°-8.5°), we find laser-to-deuterium-ion energy conversion efficiency of 4.3% above 0.7 MeV/nucleon while a conservative estimate of the total beam gives a conversion efficiency of 9.4%.

Collimated proton acceleration in light sail regime with a tailored pinhole target

A scheme for producing collimated protons from laser interactions with a diamond-like-carbon+pinhole target is proposed. The process is based on radiation pressure acceleration in the multi-species light-sail regime [B. Qiao et al., Phys. Rev. Lett. 105, 155002 (2010); T. P. Yu et al., Phys. Rev. Lett. 105, 065002 (2010)]. Particle-in-cell simulations demonstrate that transverse quasistatic electric field at TV/m level can be generated in the pinhole. The transverse electric field suppresses the transverse expansion of protons effectively, resulting in a higher density and more collimated proton beam compared with a single foil target. The dependence of the proton beam divergence on the parameters of the pinhole is also investigated. 

Exact and heuristic methods for solving Boolean games

Boolean games are a framework for reasoning about the rational behavior of agents whose goals are formalized using propositional formulas. Compared to normal form games, a well-studied and related game framework, Boolean games allow for an intuitive and more compact representation of the agents’ goals. So far, Boolean games have been mainly studied in the literature from the Knowledge Representation perspective, and less attention has been paid on the algorithmic issues underlying the computation of solution concepts. Although some suggestions for solving specific classes of Boolean games have been made in the literature, there is currently no work available on the practical performance. In this paper, we propose the first technique to solve general Boolean games that does not require an exponential translation to normal-form games. Our method is based on disjunctive answer set programming and computes solutions (equilibria) of arbitrary Boolean games. It can be applied to a wide variety of solution concepts, and can naturally deal with extensions of Boolean games such as constraints and costs. We present detailed experimental results in which we compare the proposed method against a number of existing methods for solving specific classes of Boolean games, as well as adaptations of methods that were initially designed for normal-form games. We found that the heuristic methods that do not require all payoff matrix entries performed well for smaller Boolean games, while our ASP based technique is faster when the problem instances have a higher number of agents or action variables.

Improved Linear Transmit Processing for Single-User and Multi-User MIMO Communications Systems

In this paper, we propose a novel linear transmit precoding strategy for multiple-input, multiple-output (MIMO) systems employing improper signal constellations. In particular, improved zero-forcing (ZF) and minimum mean square error (MMSE) precoders are derived based on modified cost functions, and are shown to achieve a superior performance without loss of spectrum efficiency compared to the conventional linear and nonlinear precoders. The superiority of the proposed precoders over the conventional solutions are verified by both simulation and analytical results. The novel approach to precoding design is also applied to the case of an imperfect channel estimate with a known error covariance as well as to the multi-user scenario where precoding based on the nullspace of channel transmission matrix is employed to decouple multi-user channels. In both cases, the improved precoding schemes yield significant performance gain compared to the conventional counterparts.

Environmental context determines multi-trophic effects of consumer species loss

Loss of biodiversity and nutrient enrichment are two of the main human impacts on ecosystems globally, yet we understand very little about the interactive effects of multiple stressors on natural communities and how this relates to biodiversity and ecosystem functioning. Advancing our understanding requires the following: (1) incorporation of processes occurring within and among trophic levels in natural ecosystems and (2) tests of context-dependency of species loss effects. We examined the effects of loss of a key predator and two groups of its prey on algal assemblages at both ambient and enriched nutrient conditions in a marine benthic system and tested for interactions between the loss of functional diversity and nutrient enrichment on ecosystem functioning. We found that enrichment interacted with food web structure to alter the effects of species loss in natural communities. At ambient conditions, the loss of primary consumers led to an increase in biomass of algae, whereas predator loss caused a reduction in algal biomass (i.e. a trophic cascade). However, contrary to expectations, we found that nutrient enrichment negated the cascading effect of predators on algae. Moreover, algal assemblage structure varied in distinct ways in response to mussel loss, grazer loss, predator loss and with nutrient enrichment, with compensatory shifts in algal abundance driven by variation in responses of different algal species to different environmental conditions and the presence of different consumers. We identified and characterized several context-dependent mechanisms driving direct and indirect effects of consumers. Our findings highlight the need to consider environmental context when examining potential species redundancies in particular with regard to changing environmental conditions. Furthermore, non-trophic interactions based on empirical evidence must be incorporated into food web-based ecological models to improve understanding of community responses to global change.

Behavioural context of multi-scale species distribution models assessed by radio-tracking

Incorporating ecological processes and animal behaviour into Species Distribution Models (SDMs) is difficult. In species with a central resting or breeding place, there can be conflict between the environmental requirements of the 'central place' and foraging habitat. We apply a multi-scale SDM to examine habitat trade-offs between the central place, roost sites, and foraging habitat in . Myotis nattereri. We validate these derived associations using habitat selection from behavioural observations of radio-tracked bats. A Generalised Linear Model (GLM) of roost occurrence using land cover variables with mixed spatial scales indicated roost occurrence was positively associated with woodland on a fine scale and pasture on a broad scale. Habitat selection of radio-tracked bats mirrored the SDM with bats selecting for woodland in the immediate vicinity of individual roosts but avoiding this habitat in foraging areas, whilst pasture was significantly positively selected for in foraging areas. Using habitat selection derived from radio-tracking enables a multi-scale SDM to be interpreted in a behavioural context. We suggest that the multi-scale SDM of . M. nattereri describes a trade-off between the central place and foraging habitat. Multi-scale methods provide a greater understanding of the ecological processes which determine where species occur and allow integration of behavioural processes into SDMs. The findings have implications when assessing the resource use of a species at a single point in time. Doing so could lead to misinterpretation of habitat requirements as these can change within a short time period depending on specific behaviour, particularly if detectability changes depending on behaviour. © 2011 Gesellschaft für ökologie.