53 research outputs found
Unique determination of “subatomic” contrast by imaging covalent backbonding
The origin of so-called “subatomic” resolution in dynamic force microscopy has remained controversial since its first observation in 2000. A number of detailed experimental and theoretical studies have identified different possible physicochemical mechanisms potentially giving rise to subatomic contrast. In this study, for the first time we are able to assign the origin of a specific instance of subatomic contrast as being due to the back bonding of a surface atom in the tip−sample junction
Component-wise incremental LTL model checking
Efficient symbolic and explicit-state model checking
approaches have been developed for the verification of linear
time temporal
logic (LTL) properties. Several attempts have been made to
combine the advantages of the various algorithms. Model
checking LTL
properties usually poses two challenges: one must compute the
synchronous product of the state space and the automaton
model of the
desired property, then look for counterexamples that is
reduced to finding strongly connected components (SCCs) in
the state space
of the product. In case of concurrent systems, where the
phenomenon of state space explosion often prevents the
successful
verification, the so-called saturation algorithm has proved
its efficiency in state space exploration. This paper
proposes a new
approach that leverages the saturation algorithm both as an
iteration strategy constructing the product directly, as well
as in a
new fixed-point computation algorithm to find strongly
connected components on-the-fly by incrementally processing
the components
of the model. Complementing the search for SCCs, explicit
techniques and component-wise abstractions are used to prove
the absence
of counterexamples. The resulting on-the-fly, incremental LTL
model checking algorithm proved to scale well with the size
of
models, as the evaluation on models of the Model Checking
Contest suggests
Synthesis and characterization of triangulene
Triangulene, the smallest triplet-ground-state polybenzenoid (also known as Clar's hydrocarbon), has been an enigmatic molecule ever since its existence was first hypothesized1. Despite containing an even number of carbons (22, in six fused benzene rings), it is not possible to draw Kekulé-style resonant structures for the whole molecule: any attempt results in two unpaired valence electrons2. Synthesis and characterization of unsubstituted triangulene has not been achieved because of its extreme reactivity1, although the addition of substituents has allowed the stabilization and synthesis of the triangulene core3, 4 and verification of the triplet ground state via electron paramagnetic resonance measurements5. Here we show the on-surface generation of unsubstituted triangulene that consists of six fused benzene rings. The tip of a combined scanning tunnelling and atomic force microscope (STM/AFM) was used to dehydrogenate precursor molecules. STM measurements in combination with density functional theory (DFT) calculations confirmed that triangulene keeps its free-molecule properties on the surface, whereas AFM measurements resolved its planar, threefold symmetric molecular structure. The unique topology of such non-Kekulé hydrocarbons results in open-shell π-conjugated graphene fragments6 that give rise to high-spin ground states, potentially useful in organic spintronic devices7, 8. Our generation method renders manifold experiments possible to investigate triangulene and related open-shell fragments at the single-molecule level
The role of reactive surface sites and complexation by humic acids in the interaction of clay mineral and iron oxide particles
Aggregation and dispersion of mineral particles spontaneously take place under changing environmental conditions in natural systems. The structure of particle network in soils, the retardation or release of colloidal particles, and their mobility and transport are inherently influenced by natural organic matter bound to the mineral matrix. Since the surface properties of clay mineral and metal oxide particles, and the electrified mineral-water interfaces play a major role in formation, structure and strength of aggregates, any surface modification, especially by polyanionic organic complexants such as humic substances, has a significant affect on particle interaction in a mineral assemblage. The permanently and/or conditionally charged clay minerals (montmorillonite and kaolinite) and iron oxides (hematite and magnetite), as known major mineral components in natural waters, were selected for studying their surface charge characteristics and pH dependent interactions. We discuss how the surface charge correlates with particle aggregation through some characteristic examples for homo and heterocoagulation of similar and dissimilar mineral particles under acidic condition (at pH similar to4) in the dilute and concentrated systems studied by means of light scattering and theology, respectively. The adsorption of a brown coal derived humic acid, and its influence on the surface charge character and particle aggregation of clay and iron oxide particles were also studied in dilute and concentrated suspensions. Humic acids can be bound to the most reactive surface sites of clay and oxide particles, i.e. to Al-OH mainly at the edges of clay lamellae, and to Fe-OH on iron oxides, in surface complexation reaction, therefore their role in particle aggregation is specific. Relations between surface complexation, surface charge modification, and particle aggregation in pure and mixed montmorillonite-iron oxide systems are explained. (C) 2003 Elsevier Ltd. All rights reserved
Graphene on SiC(0001) inspected by dynamic atomic force microscopy at room temperature
10.3762/bjnano.6.93Beilstein Journal of Nanotechnology61901-90
Combined Afm And Stm Measurements Of A Silicene Sheet Grown On The Ag(111) Surface
In this paper, we present the first non-contact atomic force microscopy (nc-AFM) of a silicene on a silver (Ag) surface, obtained by combining non-contact atomic force microscopy and scanning tunneling microscopy (STM). STM images over large areas of silicene grown on the Ag(111) surface show both (√13 × √13)R13.9° and (4 × 4) superstructures. For the widely observed (4 × 4) structure, the observed nc-AFM image is very similar to the one recorded by STM. The structure resolved by nc-AFM is compatible with only one out of two silicon atoms being visible. This indicates unambiguously a strong buckling of the silicene honeycomb layer. © 2013 IOP Publishing Ltd
Tunneling induced decomposition of Mo(CO)(6) onto TiO2(110) surface
International audienceTunneling induced decomposition of Mo(CO)(6) from the gas phase was studied on TiO2(110) surface by scanning tunneling microscopy (STM) and spectroscopy (STS). The efficiency of the procedure was followed by measuring the dot volume as a proportional indicator of the amount of the decomposed precursor. It was found that below 1 x 10(-5) Pa background pressure of Mo(CO)(6), there is no measurable effect and above 1 x 10(-4) Pa, the nanodot size is too large compared to the curvature of the tip (20-40 nm). A threshold bias of +3.1(+/- 0.1) V on the sample was measured for the decomposition of Mo(CO)(6) in gas ambient. In the absence of the precursor, dot formation was observed only above +3.7(+/- 0.2) V, in good agreement with the results reported in our earlier work about nanolithography on clean TiO2(110) substrate (E. Krivan, A. Berko: J. Vac. Sci. & Tech. B 15(1) (1997)25). By applying voltages in the range of 3.1-3.5 V, a systematic enlargement of the created nanodots was found in the range of 2-20 s of duration and 0.01-1.0 nA of tunneling current. The I-V curves detected on the top of the nanodots have shown that the created features are of insulator character. This observation indicates that the decomposition of Mo(CO)(6) is also accompanied by oxidation of the deposited Mo species. (C) 2011 Elsevier Ltd. All rights reserved
Polyyne formation via skeletal rearrangement induced by atomic manipulation
Rearrangements that change the connectivity of a carbon skeleton are often useful in synthesis, but it can be difficult to follow their mechanisms. Scanning probe microscopy can be used to manipulate a skeletal rearrangement at the single-molecule level, while monitoring the geometry of reactants, intermediates and final products with atomic resolution. We studied the reductive rearrangement of 1,1-dibromo alkenes to polyynes on a NaCl surface at 5 K, a reaction that resembles the Fritsch-Buttenberg-Wiechell rearrangement. Voltage pulses were used to cleave one C-Br bond, forming a radical, then to cleave the remaining C•-Br bond, triggering the rearrangement. These experiments provide structural insight into the bromo-vinyl radical intermediates, showing that the C=C•-Br unit is nonlinear. Long polyynes, up to the octayne Ph-(C≡C)8-Ph, have been prepared in this way. The control of skeletal rearrangements opens a new window on carbon-rich materials and extends the toolbox for molecular synthesis by atom manipulation
- …