Formal Analysis of Trust Dynamics in Human and Software Agent Experiments

Item does not contain fulltextRecognizing that trust states are mental states, this paper presents a formal analysis of the dynamics of trust in terms of the functional roles and representation relations for trust states. This formal analysis is done both in a logical framework and in a mathematical framework based on integral and differential equations. Furthermore, the paper presents formal specifications of a number of relevant dynamic properties of trust. The specifications provided were used to perform automated formal analysis of empirical and simulated data from two case studies, one involving two experiments with humans, and one involving simulation experiments in the context of an economic game.11th International Workshop on Cooperative Information Agents, CIA 2007, Delft, The Netherlands, September 19-21, 200

Mechanisms of proton-proton inelastic cross-section growth in multi-peripheral model within the framework of perturbation theory. Part 2

We demonstrate a new technique for calculating proton-proton inelastic cross-section, which allows one by application of the Laplace' method replace the integrand in the integral for the scattering amplitude in the vicinity of the maximum point by expression of Gaussian type. This in turn, allows one to overcome the computational difficulties for the calculation of the integrals expressing the cross section to sufficiently large numbers of particles. We have managed to overcome these problems in calculating the proton-proton inelastic cross-section for production (n \le 8) number of secondary particles in within the framework of \phi^3 model. As the result the obtained dependence of inelastic cross-section and total scattering cross-section on the energy \sqrt{s} are qualitative agrees with the experimental data. Such description of total cross-section behavior differs considerably from existing now description, where reggeons exchange with the intercept greater than unity is considered.Comment: 11 pages, 10 figures (v3: some inaccuracies corrected

TugaTAC Broker: A Fuzzy Logic Adaptive Reasoning Agent for Energy Trading

Smart Grid technologies are changing the way energy is generated, distributed and consumed. With the increasing spread of renewable power sources, new market strategies are needed to guarantee a more sustainable participation and less dependency of bulk generation. In PowerTAC (Power Trading Agent Competition), different software agents compete in a simulated energy market, impersonating broker companies to create and manage attractive tariffs for customers while aiming to profit. In this paper, we present TugaTAC Broker, a PowerTAC agent that uses a fuzzy logic mechanism to compose tariffs based on its customers portfolio. Fuzzy sets allow adaptive configurations for brokers in different scenarios. To validate and compare the performance of TugaTAC, we have run a local version of the PowerTAC competition. The experiments comprise TugaTAC competing against other simple agents and a more realistic configuration, with instances of the winners of previous editions of the competition. Preliminary results show a promising dynamic: our approach was able to manage imbalances and win the competition in the simple case, but need refinements to compete with more sophisticated market. (c) Springer International Publishing Switzerland 2016

Penetrating particle ANalyzer (PAN)

PAN is a scientific instrument suitable for deep space and interplanetary missions. It can precisely measure and monitor the flux, composition, and direction of highly penetrating particles ($> \sim$100 MeV/nucleon) in deep space, over at least one full solar cycle (~11 years). The science program of PAN is multi- and cross-disciplinary, covering cosmic ray physics, solar physics, space weather and space travel. PAN will fill an observation gap of galactic cosmic rays in the GeV region, and provide precise information of the spectrum, composition and emission time of energetic particle originated from the Sun. The precise measurement and monitoring of the energetic particles is also a unique contribution to space weather studies. PAN will map the flux and composition of penetrating particles, which cannot be shielded effectively, precisely and continuously, providing valuable input for the assessment of the related health risk, and for the development of an adequate mitigation strategy. PAN has the potential to become a standard on-board instrument for deep space human travel. PAN is based on the proven detection principle of a magnetic spectrometer, but with novel layout and detection concept. It will adopt advanced particle detection technologies and industrial processes optimized for deep space application. The device will require limited mass (~20 kg) and power (~20 W) budget. Dipole magnet sectors built from high field permanent magnet Halbach arrays, instrumented in a modular fashion with high resolution silicon strip detectors, allow to reach an energy resolution better than 10\% for nuclei from H to Fe at 1 GeV/n

Internal alignment and position resolution of the silicon tracker of DAMPE determined with orbit data

The DArk Matter Particle Explorer (DAMPE) is a space-borne particle detector designed to probe electrons and gamma-rays in the few GeV to 10 TeV energy range, as well as cosmic-ray proton and nuclei components between 10 GeV and 100 TeV. The silicon-tungsten tracker-converter is a crucial component of DAMPE. It allows the direction of incoming photons converting into electron-positron pairs to be estimated, and the trajectory and charge (Z) of cosmic-ray particles to be identified. It consists of 768 silicon micro-strip sensors assembled in 6 double layers with a total active area of 6.6 m$^2$. Silicon planes are interleaved with three layers of tungsten plates, resulting in about one radiation length of material in the tracker. Internal alignment parameters of the tracker have been determined on orbit, with non-showering protons and helium nuclei. We describe the alignment procedure and present the position resolution and alignment stability measurements

The DArk Matter Particle Explorer mission

The DArk Matter Particle Explorer (DAMPE), one of the four scientific space science missions within the framework of the Strategic Pioneer Program on Space Science of the Chinese Academy of Sciences, is a general purpose high energy cosmic-ray and gamma-ray observatory, which was successfully launched on December 17th, 2015 from the Jiuquan Satellite Launch Center. The DAMPE scientific objectives include the study of galactic cosmic rays up to $\sim 10$ TeV and hundreds of TeV for electrons/gammas and nuclei respectively, and the search for dark matter signatures in their spectra. In this paper we illustrate the layout of the DAMPE instrument, and discuss the results of beam tests and calibrations performed on ground. Finally we present the expected performance in space and give an overview of the mission key scientific goals.Comment: 45 pages, including 29 figures and 6 tables. Published in Astropart. Phy

Direct detection of a break in the teraelectronvolt cosmic-ray spectrum of electrons and positrons

High energy cosmic ray electrons plus positrons (CREs), which lose energy quickly during their propagation, provide an ideal probe of Galactic high-energy processes and may enable the observation of phenomena such as dark-matter particle annihilation or decay. The CRE spectrum has been directly measured up to $\sim 2$ TeV in previous balloon- or space-borne experiments, and indirectly up to $\sim 5$ TeV by ground-based Cherenkov $\gamma$-ray telescope arrays. Evidence for a spectral break in the TeV energy range has been provided by indirect measurements of H.E.S.S., although the results were qualified by sizeable systematic uncertainties. Here we report a direct measurement of CREs in the energy range $25~{\rm GeV}-4.6~{\rm TeV}$ by the DArk Matter Particle Explorer (DAMPE) with unprecedentedly high energy resolution and low background. The majority of the spectrum can be properly fitted by a smoothly broken power-law model rather than a single power-law model. The direct detection of a spectral break at $E \sim0.9$ TeV confirms the evidence found by H.E.S.S., clarifies the behavior of the CRE spectrum at energies above 1 TeV and sheds light on the physical origin of the sub-TeV CREs.Comment: 18 pages, 6 figures, Nature in press, doi:10.1038/nature2447

Evidence for the h_b(1P) meson in the decay Upsilon(3S) --> pi0 h_b(1P)

Using a sample of 122 million Upsilon(3S) events recorded with the BaBar detector at the PEP-II asymmetric-energy e+e- collider at SLAC, we search for the $h_b(1P)$ spin-singlet partner of the P-wave chi_{bJ}(1P) states in the sequential decay Upsilon(3S) --> pi0 h_b(1P), h_b(1P) --> gamma eta_b(1S). We observe an excess of events above background in the distribution of the recoil mass against the pi0 at mass 9902 +/- 4(stat.) +/- 2(syst.) MeV/c^2. The width of the observed signal is consistent with experimental resolution, and its significance is 3.1sigma, including systematic uncertainties. We obtain the value (4.3 +/- 1.1(stat.) +/- 0.9(syst.)) x 10^{-4} for the product branching fraction BF(Upsilon(3S)-->pi0 h_b) x BF(h_b-->gamma eta_b).Comment: 8 pages, 4 postscript figures, submitted to Phys. Rev. D (Rapid Communications