The atomic force microscope (AFM) can be used to perform surface force measurements in the quasi-static mode (cantilever is not oscillating) to investigate nanoscale surface properties. Nevertheless, there is still a lack of literature proposing a complete systematic and rigorous experimental procedure that enables one to obtain reproducible and significant quantitative data. This article focuses on the fundamental experimental difficulties arising when making force curve measurements with the AFM in air. On the basis of this AFM calibration procedure, quantitative assessment values were used to determine, in situ, SAM (or Self Assembled Monolayer)-tip thermodynamic work of adhesion at a local scale, which have been found to be in good agreement with quoted values. Finally, determination of surface energies of functionalised silicon wafers (as received, CH3, OH functionalised silicon wafers) with the AFM (at a local scale) is also proposed and compared with the values obtained by wettability (at a macroscopic scale). In particular, the effect of the capillary forces is discussed. 相似文献
We consider infinite two-player games on pushdown graphs. For parity winning conditions, we show that the set of winning positions of each player is regular and we give an effective construction of an alternating automaton recognizing it. This provides a DEXPTIME procedure to decide whether a position is winning for a given player. Finally, using the same methods, we show, for any ω-regular winning condition, that the set of winning positions for a given player is regular and effective. 相似文献
The problem of reconstructing a pattern of an object from its approximate discrete orthogonal projections in a 2-dimensional grid, may have no solution because the inaccuracy in the measurements of the projections may generate an inconsistent problem. To attempt to overcome this difficulty, one seeks to reconstruct a pattern with projection values having possibly some bounded differences with the given projection values and minimizing the sum of the absolute differences.
This paper addresses the problem of reconstructing a pattern with a difference at most equal to +1 or −1 between each of its projection values and the corresponding given projection value. We deal with the case of patterns which have to be horizontally and vertically convex and the case of patterns which have to be moreover connected, the so-called convex polyominoes. We show that in both cases, the problem of reconstructing a pattern can be transformed into a Satisfiability (SAT) Problem. This is done in order to take advantage of the recent advances in the design of solvers for the SAT Problem. We show, experimentally, that by adding two important features to CSAT (an efficient SAT solver), optimal patterns can be found if there exist feasible ones. These two features are: first, a method that extracts in linear time an optimal pattern from a set of feasible patterns grouped in a generic pattern (obtaining a generic pattern may be exponential in the worst case) and second, a method that computes actively a lower bound of the sum of absolute differences that can be obtained from a partially defined pattern. This allows to prune the search tree if this lower bound exceeds the best sum of absolute differences found so far. 相似文献
To be efficient, the simulation of multibody system dynamics requires fast and robust numerical algorithms for the time integration of the motion equations usually described by Differential Algebraic Equations (DAEs). Firstly, multistep schemes especially built up for second-order differential equations are developed. Some of them exhibit superior accuracy and stability properties than standard schemes for first-order equations. However, if unconditional stability is required, one must be satisfied with second-order accurate methods, like one-step schemes from the Newmark family.Multistage methods for which high accuracy is not contradictory with stringent stability requirements are then addressed. More precisely, a two-stage, third-order accurate Implicit Runge–Kutta (IRK) method which possesses the desirable properties of unconditional stability combined with high-frequency dissipation is proposed.Projection methods which correct the integrated estimates of positions, velocities and accelerations are suggested to keep the constraint equations satisfied during the numerical integration. The resulting time integration algorithm can be easily implemented in existing incremental/iterative codes. Numerical results indicate that this approach compares favourably with classical methods. 相似文献
Determining for a given deterministic complete automaton the sequence of visited states while reading a given word is the core of important problems with automata-based solutions, such as approximate string matching. The main difficulty is to do this computation efficiently. Considering words as vectors and working on them using vectorial operations allows to solve the problem faster than using local operations.
In this paper, we show first that the set of vectorial operations needed by an algorithm representing a given automaton depends on the language accepted by the automaton. We give precise characterizations for star-free, solvable and regular languages using vectorial algorithms. We also study classes of languages associated with restricted sets of vectorial operations and relate them with languages defined by fragments of linear temporal logic.
Finally, we consider the converse problem of constructing an automaton from a given vectorial algorithm. As a byproduct, we show that the satisfiability problem for some extensions of LTL characterizing solvable and regular languages is PSPACE-complete. 相似文献
The authors tested functional hemispheric asymmetry through word dichotic listening and lateralized lexical decision tasks in tinnitus patients and controls stimulated by a continuous tinnitus-like noise to test the influence of a tinnitus-like external stimulation. A classic right-ear advantage was shown in the auditory task for all but right-ear tinnitus patients, who performed as equally badly when the stimuli were presented to the right and left ears. Concerning the visual task, all participants demonstrated the expected right visual field advantage for word stimuli. Moreover, those who submitted to external stimulation demonstrated normal asymmetric patterns. These data suggest a specific effect of tinnitus on central processing and provide evidence for a functional reorganization induced by this auditory phantom perception. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献