Uncertainty in Soft Temporal Constraint Problems:A General Framework and Controllability Algorithms forThe Fuzzy Case

In real-life temporal scenarios, uncertainty and preferences are often essential and coexisting aspects. We present a formalism where quantitative temporal constraints with both preferences and uncertainty can be defined. We show how three classical notions of controllability (that is, strong, weak, and dynamic), which have been developed for uncertain temporal problems, can be generalized to handle preferences as well. After defining this general framework, we focus on problems where preferences follow the fuzzy approach, and with properties that assure tractability. For such problems, we propose algorithms to check the presence of the controllability properties. In particular, we show that in such a setting dealing simultaneously with preferences and uncertainty does not increase the complexity of controllability testing. We also develop a dynamic execution algorithm, of polynomial complexity, that produces temporal plans under uncertainty that are optimal with respect to fuzzy preferences

CP-nets and Nash equilibria

We relate here two formalisms that are used for different purposes in reasoning about multi-agent systems. One of them are strategic games that are used to capture the idea that agents interact with each other while pursuing their own interest. The other are CP-nets that were introduced to express qualitative and conditional preferences of the users and which aim at facilitating the process of preference elicitation. To relate these two formalisms we introduce a natural, qualitative, extension of the notion of a strategic game. We show then that the optimal outcomes of a CP-net are exactly the Nash equilibria of an appropriately defined strategic game in the above sense. This allows us to use the techniques of game theory to search for optimal outcomes of CP-nets and vice-versa, to use techniques developed for CP-nets to search for Nash equilibria of the considered games.Comment: 6 pages. in: roc. of the Third International Conference on Computational Intelligence, Robotics and Autonomous Systems (CIRAS '05). To appea

Heuristics in Multi-Winner Approval Voting

In many real world situations, collective decisions are made using voting. Moreover, scenarios such as committee or board elections require voting rules that return multiple winners. In multi-winner approval voting (AV), an agent may vote for as many candidates as they wish. Winners are chosen by tallying up the votes and choosing the top-$k$ candidates receiving the most votes. An agent may manipulate the vote to achieve a better outcome by voting in a way that does not reflect their true preferences. In complex and uncertain situations, agents may use heuristics to strategize, instead of incurring the additional effort required to compute the manipulation which most favors them. In this paper, we examine voting behavior in multi-winner approval voting scenarios with complete information. We show that people generally manipulate their vote to obtain a better outcome, but often do not identify the optimal manipulation. Instead, voters tend to prioritize the candidates with the highest utilities. Using simulations, we demonstrate the effectiveness of these heuristics in situations where agents only have access to partial information

Local search for stable marriage problems

The stable marriage (SM) problem has a wide variety of practical applications, ranging from matching resident doctors to hospitals, to matching students to schools, or more generally to any two-sided market. In the classical formulation, n men and n women express their preferences (via a strict total order) over the members of the other sex. Solving a SM problem means finding a stable marriage where stability is an envy-free notion: no man and woman who are not married to each other would both prefer each other to their partners or to being single. We consider both the classical stable marriage problem and one of its useful variations (denoted SMTI) where the men and women express their preferences in the form of an incomplete preference list with ties over a subset of the members of the other sex. Matchings are permitted only with people who appear in these lists, an we try to find a stable matching that marries as many people as possible. Whilst the SM problem is polynomial to solve, the SMTI problem is NP-hard. We propose to tackle both problems via a local search approach, which exploits properties of the problems to reduce the size of the neighborhood and to make local moves efficiently. We evaluate empirically our algorithm for SM problems by measuring its runtime behaviour and its ability to sample the lattice of all possible stable marriages. We evaluate our algorithm for SMTI problems in terms of both its runtime behaviour and its ability to find a maximum cardinality stable marriage.For SM problems, the number of steps of our algorithm grows only as O(nlog(n)), and that it samples very well the set of all stable marriages. It is thus a fair and efficient approach to generate stable marriages.Furthermore, our approach for SMTI problems is able to solve large problems, quickly returning stable matchings of large and often optimal size despite the NP-hardness of this problem.Comment: 12 pages, Proc. COMSOC 2010 (Third International Workshop on Computational Social Choice

Plasma-puff initiation of high Coulomb transfer switches

The plasma-puff triggering mechanism based on a hypocycloidal pinch geometry was investigated to determine the optimal operating conditions for an azimuthally uniform surface flashover which initiates plasma-puff under wide ranges of fill gas pressures of Ar, He and N2. The optimal fill gas pressures for the azimuthally uniform plasma-puff were about 120 mTorr less than P(opt) less than 450 Torr for He and N2. For Argon 120 mTorr less than P(opt) less than 5 Torr for argon. The inverse pinch switch was triggered with the plasma-puff and the switching capability under various electrical parameters and working gas pressures of Ar, He and N2 was determined. It was also shown that the azimuthally uniform switching discharges were dependent on the type of fill gas and its fill pressure. A new concept of plasma-focus driven plasma-puff was also discussed in comparison with hypocycloidal pinch plasma-puff triggering. The main discharge of the inverse pinch switch with the plasma-focus driven plasma-puff trigger is found to be more azimuthally uniform than that with the hypocycloidal pinch plasma-puff trigger in a gas pressure region between 80 mTorr and 1 Torr. In order to assess the effects of plasma current density on material erosion of electrodes, emissions from both an inverse-pinch plasma switch (INPIStron) and from a spark gap switch under test were studied with an optical multichannel analyzer (OMA). The color temperature of the argon plasma was approximately 4,000 K which corresponded with the peak continuum emission near 750 nm. There are the strong line emissions of argon in the 650 - 800 nm range and a lack of line emissions of copper and other solid material used in the switch. This indicates that the plasma current density during closing is low and the hot spot or hot filament in the switch is negligible. This result also indicates considerable reduction of line emission with the INPIStron switch over that of a spark-gap switch. However, a strong carbon line emission exists due to vaporization of the plastic insulator used. In order to reduce the vaporization of the insulator, the plexiglass insulating material of INPIStron was replaced with Z-9 material. A comparative study of the INPIStron and a spark gap also reveals that the INPIStron, with a low impedance of Z equals 9 ohms, can transfer a high voltage pulse with a superior pulse-shape fidelity over that of a spark gap with Z equals 100 ohms

Hydrothermal sensitivities of seed populations underlie fluctuations of dormancy states in an annual plant community

Plant germination ecology involves continuous interactions between changing environmental conditions and the sensitivity of seed populations to respond to those conditions at a given time. Ecologically meaningful parameters characterizing germination capacity (or dormancy) are needed to advance our understanding of the evolution of germination strategies within plant communities. The germination traits commonly examined (e.g., maximum germination percentage under optimal conditions) may not adequately reflect the critical ecological differences in germination behavior across species, communities, and seasons. In particular, most seeds exhibit primary dormancy at dispersal that is alleviated by exposure to dry after-ripening or to hydrated chilling to enable germination in a subsequent favorable season. Population-based threshold (PBT) models of seed germination enable quantification of patterns of germination timing using parameters based on mechanistic assumptions about the underlying germination physiology. We applied the hydrothermal time (HTT) model, a type of PBT model that integrates environmental temperature and water availability, to study germination physiology in a guild of coexisting desert annual species whose seeds were after-ripened by dry storage under different conditions. We show that HTT assumptions are valid for describing germination physiology in these species, including loss of dormancy during after-ripening. Key HTT parameters, the hydrothermal time constant (θHT ) and base water potential distribution among seeds (Ψb (g)), were effective in describing changes in dormancy states and in clustering species exhibiting similar germination syndromes. θHT is an inherent species-specific trait relating to timing of germination that correlates well with long-term field germination fraction, while Ψb (g) shifts with depth of dormancy in response to after-ripening and seasonal environmental variation. Predictions based on variation among coexisting species in θHT and Ψb (g) in laboratory germination tests matched well with 25-yr observations of germination dates and fractions for the same species in natural field conditions. Seed dormancy and germination strategies, which are significant contributors to long-term species demographics under natural conditions, can be represented by readily measurable functional traits underlying variation in germination phenologies.This item from the UA Faculty Publications collection is made available by the University of Arizona with support from the University of Arizona Libraries. If you have questions, please contact us at [email protected]

Gender differences in skin and core body temperature during exercise in a hot, humid environment.

Background. It is universally accepted that men and women regulate heat differently during exercise in hot, humid environments. Despite this common knowledge, little empirical data is available to explain how gender differences effect core/skin temperature changes. Further, the data that is available includes only limited measurement sites and/or time points. Methods. The purpose of this study was to measure the heat regulatory patterns for both men and women during 60-min of exercise in a hot, humid environment. Twenty aerobically fit subjects (10 men; 10 women) completed an acclimation session followed by a 60-min exercise protocol in an environmental chamber set at 39.9 ± 1.1 °C and 46.4 ± 4% relative humidity. Each exercise protocol consisted of four intervals of an 8-min walk (mean ± SD; men: 4.0 ± 0.3, women: 3.0 ± 0.2 mph) and 7-min light jog (men: 5.4 ± 0.5, women: 5.0 ± 0.3 mph). Subjects were confirmed to be euhydrated (urine specific gravity) prior to exercise and were encouraged to drink water to maintain hydration during exercise. Pre- and Post-exercise body weights did not differ, thus it appears hydration was maintained during exercise. Skin temperatures (iButton wireless loggers) were recorded every minute at seventeen sites (right and left: upper chest, mid-chest, abdomen, upper back, mid-back, lower back, upper arm, and lower arm, and back of the neck). In addition, core body temperature (rectal), rating of perceived exertion (RPE), and heart rate (wireless telemetry) were also recorded at the end of each interval of the protocol. Statistical analysis was carried out using a 2 (gender) x 60 (time) repeated measures ANOVA. Other variables were analyzed using a 2 (gender) x 8 (time) ANOVA with repeated measures on the 2nd factor. Any non-normally distributed data was log transformed. Significance was set at p\u3c0.05 and location of effects will be determined using individual t-tests with a Bonferroni correction for multiple comparisons. Results. Analysis revealed significantly higher skin temperatures in four locations on men compared to women: right upper back (p=0.048), right mid-back (p=0.001), right lower back (p=0.001), and left upper back (p\u3c0.001). Additionally, these changes were seen despite no significant differences between genders in core body temperature, RPE, and heart rate. This latter finding supports the conclusion that a similar degree of exercise, heat stress was applied to both men and women. Conclusions. We found gender differences at four different skin temperature locations. These changes might suggest that men retain more metabolic heat in various locations on the back when exercising in a hot, humid environment compared to women. Further research is needed to understand how these changes may affect post-exercise recovery return to baseline skin and core temperature values

Comparing Three Methods of Measuring Skin Temperature during Exercise in a Hot, Humid Environment

Exercise in a hot, humid environment substantially increases the physiological stress of exercise. Most of the techniques that are currently used to monitor changes in skin temperature have been in use for more than 20 years with little innovation. The purpose of the present study was two-fold: 1) to compare three techniques for measuring skin temperature (wired skin electrode, wireless temperature data logger, and thermal imaging) and 2) to compare and contrast these measures in men and women completing 45-min of cycling in a hot (39±2°C), humid (45±5% RH) environment. The CPHS committee approved all procedures described in this report and subjects gave written consent to participate. Men (N=14) and women (N=18) completed all study requirements out of 45 subjects that were enrolled. Following a baseline screening session that included a measurement of body composition (whole body DXA scan) and an aerobic fitness test (VO2peak), subjects were scheduled for an experimental exercise trial between 0500 and 0800. Subjects arrived to the laboratory and were tested for hydration using urine specific gravity and if dehydrated, they were provided water to drink before starting the exercise trial. Exercise consisted of 50-min of cycling. After 50-min, subjects were asked to continue cycling until their rectal core body temperature exceeded 39.3°C. The time they were able to exercise beyond 50-min was recorded and compared between individuals. Wired skin temperature was monitored using YSI400 banjo probes, wireless skin temperature was monitored using a data logging system (iButton), and thermal skin temperature was measured from images taken with a thermal camera (RAZR Max-IR). These skin measurements were made on the bicep and abdomen. All body temperatures were recorded at rest, every 10-min during exercise, and immediately following the end of exercise. Data was statistically analyzed using a 2 (gender: men & women) x sensor method (wired, wireless, and thermal) x time (0, 10, 20, 30, 40, 50, end) ANOVA with repeated measures on the 2nd and 3rd factors. Significance was set a

Simulation to Support Local Search in Trajectory Optimization Planning

NASA and the international community are investing in the development of a commercial transportation infrastructure that includes the increased use of rotorcraft, specifically helicopters and civil tilt rotors. However, there is significant concern over the impact of noise on the communities surrounding the transportation facilities. One way to address the rotorcraft noise problem is by exploiting powerful search techniques coming from artificial intelligence coupled with simulation and field tests to design low-noise flight profiles which can be tested in simulation or through field tests. This paper investigates the use of simulation based on predictive physical models to facilitate the search for low-noise trajectories using a class of automated search algorithms called local search. A novel feature of this approach is the ability to incorporate constraints directly into the problem formulation that addresses passenger safety and comfort