Central limit theorem for reducible and irreducible open quantum walks

In this work we aim at proving central limit theorems for open quantum walks on \({\mathbb {Z}}^d\). We study the case when there are various classes of vertices in the network. In particular, we investigate two ways of distributing the vertex classes in the network. First, we assign the classes in a regular pattern. Secondly, we assign each vertex a random class with a transition invariant distribution. For each way of distributing vertex classes, we obtain an appropriate central limit theorem, illustrated by numerical examples. These theorems may have application in the study of complex systems in quantum biology and dissipative quantum computation.     

Ideals and congruences of basic algebras

MV-algebras as well as orthomodular lattices can be seen as a particular case of so-called “basic algebras” which are an alter ego of bounded lattices whose sections are equipped with fixed antitone involutions. The class of basic algebras is an ideal variety. In the paper, we give an internal characterization of congruence kernels (ideals) and find a finite basis of ideal terms, with focus on monotone and effect basic algebras. We also axiomatize basic algebras that are subdirect products of linearly ordered ones.     

Path Loss Modelling for Location Service Applications

The aim of this paper is the path loss modelling for the radiolocation services in radio communication networks, particularly in cellular networks. The main results of the measurements obtained in the physical layer of the UMTS are introduced. A new method for the utilization of the multipath propagation phenomenon to improve the estimation of the distance between the MS （mobile station） and the BS （base station） is outlined. This method significantly increases the quality of location services in systems which use a radio interface with DS （direct sequence） CDMA （code division multiple access）.     

Validation of GOES and MODIS active fire detection products using ASTER and ETM+ data

In this study we implemented a comprehensive analysis to validate the MODIS and GOES satellite active fire detection products (MOD14 and WFABBA, respectively) and characterize their major sources of omission and commission errors which have important implications for a large community of fire data users. Our analyses were primarily based on the use of 30 m resolution ASTER and ETM+ imagery as our validation data. We found that at the 50% true positive detection probability mark, WFABBA requires four times more active fire area than is necessary for MOD14 to achieve the same probability of detection, despite the 16× factor separating the nominal spatial resolutions of the two products. Approximately 75% and 95% of all fires sampled were omitted by the MOD14 and WFABBA instantaneous products, respectively; whereas an omission error of 38% was obtained for WFABBA when considering the 30-minute interval of the GOES data. Commission errors for MOD14 and WFABBA were found to be similar and highly dependent on the vegetation conditions of the areas imaged, with the larger commission errors (approximately 35%) estimated over regions of active deforestation. Nonetheless, the vast majority (> 80%) of the commission errors were indeed associated with recent burning activity where scars could be visually confirmed in the higher resolution data. Differences in thermal dynamics of vegetated and non-vegetated areas were found to produce a reduction of approximately 50% in the commission errors estimated towards the hours of maximum fire activity (i.e., early-afternoon hours) which coincided with the MODIS/Aqua overpass. Lastly, we demonstrate the potential use of temporal metrics applied to the mid-infrared bands of MODIS and GOES data to reduce the commission errors found with the validation analyses.     

Efficient SAT-based bounded model checking for software verification

This paper discusses our methodology for formal analysis and automatic verification of software programs. It is applicable to a large subset of the C programming language that includes pointer arithmetic and bounded recursion. We consider reachability properties, in particular whether certain assertions or basic blocks are reachable in the source code, or whether certain standard property violations can occur. We perform this analysis via a translation to a Boolean circuit representation based on modeling basic blocks. The program is then analyzed by a back-end SAT-based bounded model checker, where each unrolling is mapped to one step in a block-wise execution of the program.     

Bringing law and order to IEEE 802.11 networks—A case for DiscoSec

To improve the tarnished reputation of WLAN security, the new IEEE 802.11i standard provides means for mutual user authentication and assures confidentiality of user data. However, the IEEE 802.11 link-layer is still highly vulnerable to a plethora of simple, yet effective attacks which further jeopardize the already fragile security of wireless communications.Some of these vulnerabilities are related to limited hardware capabilities of access points and their abuse may result in serious degradation of control over the wireless connection, which, especially in the case of broadcast communication, allows for client hijacking attacks. Although these issues are known and their impact is expected to be less prevalent on modern equipment, this work demonstrates the opposite. In our experimental analysis, we tested frequently used access points, and by forcing them to operate on their performance limits, we identified significant operational anomalies and demonstrated their impact on security by implementing a novel version of the Man-In-The-Middle attack, to which we refer as the Muzzle attack.Secondly, this work describes DiscoSec, a solution for “patching” WLANs against a variety of such link-layer attacks. DiscoSec provides DoS-resilient key exchange, an efficient frame authentication, and a performance-oriented implementation. By means of extensive real-world measurements DiscoSec is evaluated, showing that even on very resource-limited devices the network throughput is decreased by only 22% compared to the throughput without any authentication, and by 6% on more performance-capable hardware. To demonstrate its effectiveness, DiscoSec is available as an open-source IEEE 802.11 device driver utilizing well-established cryptographic primitives provided by the Linux Crypto API and OpenSSL library.     

Influence of grain boundary weak links on the nonequilibrium response of YBaCuO thin films to short laser pulses

The transient voltage response in both epitaxial and granular YBaCuO thin films to 80 ps pulses of YAGNd laser radiation of wavelength 0.63 and 1.54 m was studied. In the normal and resistive states both types of films demonstrate two components: a nonequilibrium picosecond component and a bolometric nanosecond one. The normalized amplitudes are almost the same for all films. In the superconducting state we observed a kinetic inductive response and two-component shape after integration. The normalized amplitude of the response in granular films is up to five orders of magnitude larger than in epitaxial films. We interpret the nonequilibrium response in terms of a suppression of the order parameter by the excess of quasiparticles followed by the change of resistance in the normal and resistive states or kinetic inductance in the superconducting state. The sharp rise of inductive response in granular films is explained both by a diminishing of the cross section for current percolation through the disordered network of Josephson weak links and by a decrease of condensate density in neighboring regions.     

L-Ascorbic acid in nonenzymatic reactions

The influence of the water content, molar ratio, time and temperature on the formation of nondialysable melanoidins produced by the interaction ofl-ascorbic acid and glycine has been studied. The isolated polymers have been characterized by spectrum analysis and fractionated using gel chromatography. The rate constants of the reaction for temperatures of 90°C, 100°C and 110°C have been calculated and are (0.84±0.29) x 10^?5 x s^?1, (1.33±0.14) x 10^?5 x s^?1 and (5.30±0.37) x 10^?5 x s^?1 respectively. The activation energy of the reaction has been determined to be 106.07±32.47 kJ/mol.     

The Edge Effects Boosting Hydrogen Evolution Performance of Platinum/Transition Bimetallic Phosphide Hybrid Electrocatalysts

Platinum (Pt) is regarded as a promising electrocatalyst for hydrogen evolution reaction (HER). However, its application in an alkaline medium is limited by the activation energy of water dissociation, diffusion of H⁺, and desorption of H*. Moreover, the formation of effective structures with a low Pt usage amount is still a challenge. Herein, guided by the simulation discovery that the edge effect can boost local electric field (LEF) of the electrocatalysts for faster proton diffusion, platinum nanocrystals on the edge of transition metal phosphide nanosheets are fabricated. The unique heterostructure with ultralow Pt amount delivered an outstanding HER performance in an alkaline medium with a small overpotential of 44.5 mV and excellent stability for 80 h at the current density of −10 mA cm⁻². The mass activity of as-prepared electrocatalyst is 2.77 A mg⁻¹_Pt, which is 15 times higher than that of commercial Pt/C electrocatalysts (0.18 A mg⁻¹_Pt). The density function theory calculation revealed the efficient water dissociation, fast adsorption, and desorption of protons with hybrid structure. The study provides an innovative strategy to design unique nanostructures for boosting HER performances via achieving both synergistic effects from hybrid components and enhanced LEF from the structural edge effect.