Constraint rule-based programming of norms for electronic institutions

Norms constitute a powerful coordination mechanism among heterogeneous agents. In this paper, we propose a rule language to specify and explicitly manage the normative positions of agents (permissions, prohibitions and obligations), with which distinct deontic notions and their relationships can be captured. Our rule-based formalism includes constraints for more expressiveness and precision and allows to supplement (and implement) electronic institutions with norms. We also show how some normative aspects are given computational interpretation. © 2008 Springer Science+Business Media, LLC.

Electronic, structural, and reactive properties of ultrathin aluminum oxide films on Pt(111)

Low-energy electron diffraction, X-ray photoelectron spectroscopy, high-resolution electron energy-loss spectroscopy, scanning tunneling microscopy, and temperature-programmed reaction spectrometry results are reported for the structural and reactive behavior of alumina films grown on Pt(111) as a function of thickness and oxidation temperature. Submonolayer Al films undergo compete oxidation at 300 K, annealing at 1100 K resulting in formation of somewhat distorted crystalline gamma-alumina, Thicker deposits require 800 K oxidation to produce Al2O3, and these too undergo crystallization at 800 K, yielding islands of apparently undistorted gamma-alumina on the Pt(111) surface. Oxidation of a p(2 x 2) Pt3Al surface alloy occurs only at>800 K, resulting in Al extraction, These alumina films on Pt(lll) markedly increase the coverage of adsorbed SO4 resulting from SO2 chemisorption onto oxygen-precovered surfaces. This results in enhanced propane uptake and subsequent reactivity relative to SO4/Pt(111). A bifunctional mechanism is proposed to account for our observations, and the relevance of these to an understanding of the corresponding dispersed systems is discussed.

Optimization of image quality and dose for Varian aS500 electronic portal imaging devices (EPIDs)

This study was carried out to investigate whether the electronic portal imaging (EPI) acquisition process could be optimized, and as a result tolerance and action levels be set for the PIPSPro QC-3V phantom image quality assessment. The aim of the optimization process was to reduce the dose delivered to the patient while maintaining a clinically acceptable image quality. This is of interest when images are acquired in addition to the planned patient treatment, rather than images being acquired using the treatment field during a patient's treatment. A series of phantoms were used to assess image quality for different acquisition settings relative to the baseline values obtained following acceptance testing. Eight Varian aS500 EPID systems on four matched Varian 600C/D linacs and four matched Varian 2100C/D linacs were compared for consistency of performance and images were acquired at the four main orthogonal gantry angles. Images were acquired using a 6 MV beam operating at 100 MU min(-1) and the low-dose acquisition mode. Doses used in the comparison were measured using a Farmer ionization chamber placed at d(max) in solid water. The results demonstrated that the number of reset frames did not have any influence on the image contrast, but the number of frame averages did. The expected increase in noise with corresponding decrease in contrast was also observed when reducing the number of frame averages. The optimal settings for the low-dose acquisition mode with respect to image quality and dose were found to be one reset frame and three frame averages. All patients at the Northern Ireland Cancer Centre are now imaged using one reset frame and three frame averages in the 6 MV 100 MU min(-1) low-dose acquisition mode. Routine EPID QC contrast tolerance (+/-10) and action (+/-20) levels using the PIPSPro phantom based around expected values of 190 (Varian 600C/D) and 225 (Varian 2100C/D) have been introduced. The dose at dmax from electronic portal imaging has been reduced by approximately 28%, and while the image quality has been reduced, the images produced are still clinically acceptable.

A multiconfigurational time-dependent Hartree-Fock method for excited electronic states. I. General formalism and application to open-shell states

The solution of the time-dependent Schrodinger equation for systems of interacting electrons is generally a prohibitive task, for which approximate methods are necessary. Popular approaches, such as the time-dependent Hartree-Fock (TDHF) approximation and time-dependent density functional theory (TDDFT), are essentially single-configurational schemes. TDHF is by construction incapable of fully accounting for the excited character of the electronic states involved in many physical processes of interest; TDDFT, although exact in principle, is limited by the currently available exchange-correlation functionals. On the other hand, multiconfigurational methods, such as the multiconfigurational time-dependent Hartree-Fock (MCTDHF) approach, provide an accurate description of the excited states and can be systematically improved. However, the computational cost becomes prohibitive as the number of degrees of freedom increases, and thus, at present, the MCTDHF method is only practical for few-electron systems. In this work, we propose an alternative approach which effectively establishes a compromise between efficiency and accuracy, by retaining the smallest possible number of configurations that catches the essential features of the electronic wavefunction. Based on a time-dependent variational principle, we derive the MCTDHF working equation for a multiconfigurational expansion with fixed coefficients and specialise to the case of general open-shell states, which are relevant for many physical processes of interest. (C) 2011 American Institute of Physics. [doi: 10.1063/1.3600397]

Analog of Rabi oscillations in resonant electron-ion systems

Quantum coherence between electron and ion dynamics, observed in organic semiconductors by means of ultrafast spectroscopy, is the object of recent theoretical and computational studies. To simulate this kind of quantum coherent dynamics, we have introduced in a previous article [L. Stella, M. Meister, A. J. Fisher, and A. P. Horsfield, J. Chem. Phys. 127, 214104 (2007)] an improved computational scheme based on Correlated Electron-Ion Dynamics (CEID). In this article, we provide a generalization of that scheme to model several ionic degrees of freedom and many-body electronic states. To illustrate the capability of this extended CEID, we study a model system which displays the electron-ion analog of the Rabi oscillations. Finally, we discuss convergence and scaling properties of the extended CEID along with its applicability to more realistic problems. (C) 2011 American Institute of Physics. [doi: 10.1063/1.3589165]

Quantum chemistry studies on electronic properties of CN adsorbed on silver electrodes

The electronic properties of CN adsorbed on Ag electrodes at different potentials have been studied by using the method of self-consistent-charge discrete variational Xa (SCC-DV-Xa) cluster calculations. It is shown that the binding of NCAg is dominated by both electrostatic and polarization effects derived from the charge of CN, and that the transfer of s charge from CN to silver is the largest donation contribution. The electrode potential influences this charge transfer process and the interaction between CN adsorbate and silver electrode. The results of quantum chemistry calculations fit well with the experimental data of in situ spectroscopic studies on the CN/Ag electrode systems. © 1991.

Man-in-the-Middle Attack Test-bed Investigating Cyber-security Vulnerabilities in Smart Grid SCADA Systems

The increased complexity and interconnectivity of Supervisory Control and Data Acquisition (SCADA) systems in the Smart Grid has exposed them to a wide range of cyber-security issues, and there are a multitude of potential access points for cyber attackers. This paper presents a SCADA-specific cyber-security test-bed which contains SCADA software and communication infrastructure. This test-bed is used to investigate an Address Resolution Protocol (ARP) spoofing based man-in-the-middle attack. Finally, the paper proposes a future work plan which focuses on applying intrusion detection and prevention technology to address cyber-security issues in SCADA systems.

TLM2.0 based timing accurate modeling method for complex NoC systems

Scalability and efficiency of on-chip communication of emerging Multiprocessor System-on-Chip (MPSoC) are critical design considerations. Conventional bus based interconnection schemes no longer fit for MPSoC with a large number of cores. Networks-on-Chip (NoC) is widely accepted as the next generation interconnection scheme for large scale MPSoC. The increase of MPSoC complexity requires fast and accurate system-level modeling techniques for rapid modeling and veri-fication of emerging MPSoCs. However, the existing modeling methods are limited in delivering the essentials of timing accuracy and simulation speed. This paper proposes a novel system-level Networks-on-Chip (NoC) modeling method, which is based on SystemC and TLM2.0 and capable of delivering timing accuracy close to cycle accurate modeling techniques at a significantly lower simulation cost. Experimental results are presented to demonstrate the proposed method. ©2010 IEEE.

Dynamics of excess electronic charge in aliphatic ionic liquids containing the bis(trifluoromethylsulfonyl)amide anion

In a recent article (J. Am. Chem. Soc. 2011, 133, 20186) we investigated the initial spatial distribution of dry excess electrons in a series of room-temperature ionic liquids (RTILs). Perhaps unexpectedly, we found that in some alkylammonium-based systems the excess negative charge resided on anions and not on the positive cations. Following on these results, in the current paper we describe the time evolution of an excess electronic charge introduced in alkylammonium- and pyrrolidinium-based ionic liquids coupled with the bis(trifluoromethylsulfonyl)amide ([TfN]) anion. We find that on a 50 fs time scale an initially delocalized excess electron localizes on a single [TfN] anion which begins a fragmentation process. Low-energy transitions have a very different physical origin on the several femtoseconds time scale when compared to what occurs on the picosecond time scale. At time zero, these are intraband transitions of the excess electron. However after 40 fs when the excess electronic charge localizes on a single anion, these transitions disappear, and the spectrum is dominated by electron-transfer transitions between the fragments of the doubly charged breaking anion. © 2013 American Chemical Society.