11,118 research outputs found
Propagating chain-free normal forms for EOL systems
We establish two types of normal forms for EOL systems. We first show that each ε-free EOL language can be generated by a propagating EOL system in which each derivation tree is chain-free. By this we mean that it contains at least one path from the root to the grandfather of a leaf in which each node has more than one son. We use this result to prove that each ε-free EOL language can be generated by a propagating EOL system in which each production has a right side of length at most two and which does not contain nonterminal chainproductions, i.e., productions A → B for nonterminals A and B. As applications of our results we give a simple proof for the decidability of the finiteness problem for EOL systems and solve an open problem concerning completeness of EOL forms
Assessing computationally efficient isomerization dynamics: ΔSCF density-functional theory study of azobenzene molecular switching
We present a detailed comparison of the S0, S1 (n → π*) and S2 (π → π*) potential energy surfaces (PESs) of the prototypical molecular switch azobenzene as obtained by Δ-self-consistent-field (ΔSCF) density-functional theory (DFT), time-dependent DFT (TD-DFT) and approximate coupled cluster singles and doubles (RI-CC2). All three methods unanimously agree in terms of the PES topologies, which are furthermore fully consistent with existing experimental data concerning the photo-isomerization mechanism. In particular, sum-method corrected ΔSCF and TD-DFT yield very similar results for S1 and S2, when based on the same ground-state exchange-correlation (xc) functional. While these techniques yield the correct PES topology already on the level of semi-local xc functionals, reliable absolute excitation energies as compared to RI-CC2 or experiment require an xc treatment on the level of long-range corrected hybrids. Nevertheless, particularly the robustness of ΔSCF with respect to state crossings as well as its numerical efficiency suggest this approach as a promising route to dynamical studies of larger azobenzene-containing systems
Computational design of metal-supported molecular switches: transient ion formation during light- and electron-induced isomerisation of azobenzene
In molecular nanotechnology, a single molecule is envisioned to act as the basic building block of electronic devices. Such devices may be of special interest for organic photovoltaics, data storage, and smart materials. However, more often than not the molecular function is quenched upon contact with a conducting support. Trial-and-error-based decoupling strategies via molecular functionalisation and change of substrate have in many instances proven to yield unpredictable results. The adsorbate-substrate interactions that govern the function can be understood with the help of first-principles simulation. Employing dispersion-corrected density-functional theory (DFT) and linear expansion delta-self-consistent-field DFT, the electronic structure of a prototypical surface-adsorbed functional molecule, namely azobenzene adsorbed to (1 1 1) single crystal facets of copper, silver and gold, is investigated and the main reasons for the loss or survival of the switching function upon adsorption are identified. The light-induced switching ability of a functionalised derivative of azobenzene on Au(1 1 1) and azobenzene on Ag(1 1 1) and Au(1 1 1) is assessed based on the excited-state potential energy landscapes of their transient molecular ions, which are believed to be the main intermediates of the experimentally observed isomerisation reaction. We provide a rationalisation of the experimentally observed function or lack thereof that connects to the underlying chemistry of the metal-surface interaction and provides insights into general design strategies for complex light-driven reactions at metal surfaces
Effects of Storm Surges on the Beaufort Sea Coast, Northern Alaska
In 1970, a major storm surge caused by gale-force westerly winds inundated low-lying tundra plains and deltas as far as 5000 m inland and left a driftwood line as much as 3.4 m above normal sea level along the Beaufort Sea coast of Alaska. The height of the surge followed a predictable pattern and was highest along windward-facing shorelines. Coastal retreat and thermoerosion are greatly accelerated on such west-facing shores with eastward sediment transport opposite to normal littoral drift. Evidence suggests an approximate 100-year recurrence interval for similar surges, with potential for damaging the developing oil fields on the North Slope
Interfacial charge rearrangement and intermolecular interactions: Density-functional theory study of free-base porphine adsorbed on Ag(111) and Cu(111)
We employ dispersion-corrected density-functional theory to study the adsorption of tetrapyrrole 2H-porphine (2H-P) at Cu(111) and Ag(111). Various contributions to adsorbate-substrate and adsorbate-adsorbate interactions are systematically extracted to analyze the self-assembly behavior of this basic building block to porphyrin-based metal-organic nanostructures. This analysis reveals a surprising importance of substrate-mediated van der Waals interactions between 2H-P molecules, in contrast to negligible direct dispersive interactions. The resulting net repulsive interactions rationalize the experimentally observed tendency for single molecule adsorption
Interpretation of x-ray absorption spectroscopy in the presence of surface hybridization
X-ray absorption spectroscopy (XAS) yields direct access to the electronic and geometric structure of hybrid inorganic-organic interfaces formed upon adsorption of complex molecules at metal surfaces. The unambiguous interpretation of corresponding spectra is challenged by the intrinsic geometric flexibility of the adsorbates and the chemical interactions with the interface. Density-functional theory (DFT) calculations of the extended adsorbate-substrate system are an established tool to guide peak assignment in X-ray photoelectron spectroscopy of complex interfaces. We extend this to the simulation and interpretation of XAS data in the context of functional organic molecules on metal surfaces using dispersion-corrected DFT calculations within the transition potential approach. For the prototypical case of 2H-porphine adsorbed on Ag(111) and Cu(111) substrates, we follow the two main effects of the molecule/surface interaction onto the X-ray absorption signatures: (1) the substrate-induced chemical shift of the 1s core levels that dominates in physisorbed systems and (2) the hybridization-induced broadening and loss of distinct resonances that dominate in more chemisorbed systems
On the hydraulic and structural design of fluid and gas filled inflatable dams to control water flow in rivers
The German Federal Waterways and Shipping Administration operates about 280 weirs, half of which are more than 50 years old. Many of these weirs will therefore need to be refurbished in the near future, even though budget resources are shrinking. An inflatable dam is a relatively new gate type, which enables savings to be made on the capital spending and maintenance costs. It consists of a multi-ply rubber membrane (Figure 1), is filled with air or water and clamped to the weir body with one or two fixing bars (Figure 2). Inflatable dams
have a number of advantages when compared with steel gates [2]:
- The design is simple and does not include any moving parts (hinges, bearings); there are no problems due to corrosion or sealing and no lubricants used, which might be harmful to the environment. Inflatable dams are not affected by settlements or earthquakes.
- Drive mechanisms, such as hydraulic cylinders, electrical actuators or chains, which require a great amount of maintenance are not needed. Inflatable dams are controlled by inflating or deflating by injecting and discharging air or water.
- The cost of recesses and reinforcement is low and the transfer of forces into the weir sill is evenly distributed. Major refurbishments are thus facilitated considerably, especially if the existing concrete structure has to be included.
- Inflatable dams can be operated safely and can always be deflated to prevent blocking. The membranes can be installed or replaced within a few weeks so that the construction times and periods for inspection and refurbishment are considerably reduced
Revisiting Shared Data Protection Against Key Exposure
This paper puts a new light on secure data storage inside distributed
systems. Specifically, it revisits computational secret sharing in a situation
where the encryption key is exposed to an attacker. It comes with several
contributions: First, it defines a security model for encryption schemes, where
we ask for additional resilience against exposure of the encryption key.
Precisely we ask for (1) indistinguishability of plaintexts under full
ciphertext knowledge, (2) indistinguishability for an adversary who learns: the
encryption key, plus all but one share of the ciphertext. (2) relaxes the
"all-or-nothing" property to a more realistic setting, where the ciphertext is
transformed into a number of shares, such that the adversary can't access one
of them. (1) asks that, unless the user's key is disclosed, noone else than the
user can retrieve information about the plaintext. Second, it introduces a new
computationally secure encryption-then-sharing scheme, that protects the data
in the previously defined attacker model. It consists in data encryption
followed by a linear transformation of the ciphertext, then its fragmentation
into shares, along with secret sharing of the randomness used for encryption.
The computational overhead in addition to data encryption is reduced by half
with respect to state of the art. Third, it provides for the first time
cryptographic proofs in this context of key exposure. It emphasizes that the
security of our scheme relies only on a simple cryptanalysis resilience
assumption for blockciphers in public key mode: indistinguishability from
random, of the sequence of diferentials of a random value. Fourth, it provides
an alternative scheme relying on the more theoretical random permutation model.
It consists in encrypting with sponge functions in duplex mode then, as before,
secret-sharing the randomness
Vortex spectrum in superfluid turbulence: interpretation of a recent experiment
We discuss a recent experiment in which the spectrum of the vortex line
density fluctuations has been measured in superfluid turbulence. The observed
frequency dependence of the spectrum, , disagrees with classical
vorticity spectra if, following the literature, the vortex line density is
interpreted as a measure of the vorticity or enstrophy. We argue that the
disagrement is solved if the vortex line density field is decomposed into a
polarised field (which carries most of the energy) and an isotropic field
(which is responsible for the spectrum).Comment: Submitted for publication
http://crtbt.grenoble.cnrs.fr/helio/GROUP/infa.html
http://www.mas.ncl.ac.uk/~ncfb
- …