511 research outputs found
Standards relevant to transformers - Part IX
The eleventh part of the column includes a list of international standards and CIGRE technical brochures covering the installation, operation and maintenance of power transformers, essential for ensuring their proper operation
Standards relevant to transformers â Part IX
This part of the column covers a list of standards on the range of accessories used with power transformers and reactors. These standards apply to a wide range of accessories and fittings mounted on power transformers and reactors. They outline the service conditions and mechanical
requirements common to all the accessories, as well as operational requirements specific to each device
Modeling pollen-mediated gene flow from glyphosate-resistant to -susceptible giant ragweed (\u3ci\u3eAmbrosia trifida\u3c/i\u3e L.) under field conditions
A field experiment was conducted to quantify pollen mediated gene flow (PMGF) from glyphosateresistant (GR) to glyphosate-susceptible (GS) giant ragweed under simulated field conditions using glyphosate resistance as a selective marker. Field experiments were conducted in a concentric design with the GR giant ragweed pollen source planted in the center and GS giant ragweed pollen receptors surrounding the center in eight directional blocks at specified distances (between 0.1 and 35 m in cardinal and ordinal directions; and additional 50 m for ordinal directions). Seeds of GS giant ragweed were harvested from the pollen receptor blocks and a total of 100,938 giant ragweed plants were screened with glyphosate applied at 2,520 g ae haâ1 and 16,813 plants confirmed resistant. The frequency of PMGF was fit to a double exponential decay model selected by information-theoretic criteria. The highest frequency of gene flow (0.43 to 0.60) was observed at â¤0.5 m from the pollen source and reduced rapidly with increasing distances; however, gene flow (0.03 to 0.04) was detected up to 50 m. The correlation between PMGF and wind parameters was inconsistent in magnitude, direction, and years
Interpolation Properties and SAT-based Model Checking
Craig interpolation is a widespread method in verification, with important
applications such as Predicate Abstraction, CounterExample Guided Abstraction
Refinement and Lazy Abstraction With Interpolants. Most state-of-the-art model
checking techniques based on interpolation require collections of interpolants
to satisfy particular properties, to which we refer as "collectives"; they do
not hold in general for all interpolation systems and have to be established
for each particular system and verification environment. Nevertheless, no
systematic approach exists that correlates the individual interpolation systems
and compares the necessary collectives. This paper proposes a uniform
framework, which encompasses (and generalizes) the most common collectives
exploited in verification. We use it for a systematic study of the collectives
and of the constraints they pose on propositional interpolation systems used in
SAT-based model checking
Emergent social NPC interactions in the Social NPCs Skyrim mod and beyond
This work presents an implementation of a social architecture model for
authoring Non-Player Character (NPC) in open world games inspired in academic
research on agentbased modeling. Believable NPC authoring is burdensome in
terms of rich dialogue and responsive behaviors.
We briefly present the characteristics and advantages of using a social agent
architecture for this task and describe an implementation of a social agent
architecture CiF-CK released as a mod Social NPCs for The Elder Scrolls V:
SkyrimComment: Originally a chapter for Game AI Pro, contains 14 pages, 3 figure
The software model checker BLAST: Applications to software engineering
BLAST is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, BLAST either statically proves that the program satisfies the safety property, or provides an execution path that exhibits a violation of the property (or, since the problem is undecidable, does not terminate). BLAST constructs, explores, and refines abstractions of the program state space based on lazy predicate abstraction and interpolation-based predicate discovery. This paper gives an introduction to BLAST and demonstrates, through two case studies, how it can be applied to program verification and test-case generation. In the first case study, we use BLAST to statically prove memory safety for C programs. We use CCURED, a type-based memory-safety analyzer, to annotate a program with run-time assertions that check for safe memory operations. Then, we use BLAST to remove as many of the run-time checks as possible (by proving that these checks never fail), and to generate execution scenarios that violate the assertions for the remaining run-time checks. In our second case study, we use BLAST to automatically generate test suites that guarantee full coverage with respect to a given predicate. Given a C program and a target predicate p, BLAST determines the program locations q for which there exists a program execution that reaches q with p true, and automatically generates a set of test vectors that generate such executions. Our experiments show that BLAST can provide automated, precise, and scalable analysis for C programs
User Modelling and Adaptive, Natural Interaction for Conflict Resolution
Confronting conflicts and coping with them is part of social life, since conflicts seem to arise in almost every context and developmental stage of human life. The personal and collective gains that follow conflict resolution have motivated scholars across many research fields to advocate the use of pro-social mechanisms for resolution. The Siren serious game aims to support teachers' role to educate young people on how to resolve conflicts, by employing user- and cultural adaptivity and affective, non-verbal interaction to provide interesting and relevant conflict scenarios and resolution approaches
TIME-DOMAIN AND FREQUENCY-DOMAIN REFLECTOMETRY TYPE SOIL MOISTURE SENSOR PERFORMANCE AND SOIL TEMPERATURE EFFECTS IN FINE- AND COARSE-TEXTURED SOILS
The performances of six time-domain reflectometry (TDR) and frequency-domain reflectometry (FDR) type soil moisture sensors were investigated for measuring volumetric soil-water content (θv) in two different soil types. Soil-specific calibration equations were developed for each sensor using calibrated neutron probe-measured θv. Sensors were also investigated for their performance response in measuring θv to changes in soil temperature. The performance of all sensors was significantly different (P\u3c0.05) than the neutron probe-measured θv, with the same sensor also exhibiting variation between soils. In the silt loam soil, the 5TE sensor had the lowest root mean squared error (RMSE) of 0.041 m3/m3, indicating the best performance among all sensors investigated. The performance ranking of the other sensors from high performance to low was: TDR300 (High Clay Mode), CS616 (H) and 10HS, SM150, TDR300 (Standard Mode), and CS616 (V) (H: horizontal installation and V: vertical installation). In the loamy sand, the CS616 (H) performed best with an RMSE of 0.014 m3/m3 and the performance ranking of other sensors was: 5TE, CS616 (V), TDR300 (S), SM150, and 10HS. When θv was near or above field capacity, the performance error of most sensors increased. Most sensors exhibited a linear response to increase in soil temperature. Most sensors exhibited substantial sensitivity to changes in soil temperature and the θv response of the same sensor to high vs. normal soil temperatures differed significantly between the soils. All sensors underestimated θv in high temperature range in both soils. The ranking order of the magnitude of change in θv in response to 1°C increase in soil temperature (from the lowest to the greatest impact of soil temperature on sensor performance) in silt loam soil was: SM150, 5TE, TDR300 (S), 10HS, CS620, CS616 (H), and CS616 (V). The ranking order from lower to higher sensitivity to soil temperature changes in loamy sand was: 10HS, CS616 (H), 5TE, CS616 (V), SM150, and TDR300 (S). When the data from all sensors and soils are pooled, the overall average of change in θv for a 1°C increase in soil temperature was 0.21 m3/m3 in silt loam soil and -0.052 m3/m3 in loamy sand. When all TDR- and FDR-type sensors were pooled separately for both soils, the average change in θv for a 1°C increase in soil temperature for the TDR- and FDR-type sensors was 0.1918 and -0.0273 m3/m3, respectively, indicating that overall TDR-type sensors are more sensitive to soil temperature changes than FDR-type sensors when measuring θv
- âŚ