Search results for "Computer Science::Databases"
showing 10 items of 183 documents
A Problem Structuring Method
1991
Given a formal definition of problem and a formal definition of system, the equivalence between both concepts is studied. Considering a problem as a 3-tuple , where D is the set of possible data, R is the set of possible results, and P the set of conditions of the problem, classes of problems are constructed as combinations of types of data, types of results and types of conditions. For example, data can be either literal or numerical, either with uncertainty or not; conditions can be determined by rules, tables, equations, it may have uncertainty, etc. As a case of application it is outlined how some of the most common problems (knowledge representation, search, reasoning and planning, etc…
Multiple Usage of Random Bits in Finite Automata
2012
Finite automata with random bits written on a separate 2-way readable tape can recognize languages not recognizable by probabilistic finite automata. This shows that repeated reading of random bits by finite automata can have big advantages over one-time reading of random bits.
Query automata
1999
A main task in document transformation and information retrieval is locating subtrees satisfying some pattern. Therefore, unary queries, i.e., queries that map a tree to a set of its nodes, play an important role in the context of structured document databases. We want to understand how the natural and well-studied computation model of tree automata can be used to compute such queries. We define a query automaton (QA) as a deterministic two-way finite automaton over trees that has the ability to select nodes depending on the state and the label at those nodes. We study QAs over ranked as well as over unranked trees. Unranked trees differ from ranked ones in that there is no bound on the num…
Reduction of UML Class Diagrams
2002
One and the same “real world” can be modeled by different UML class diagrams, which in such a case can be considered “intuitively equivalent”. A formalization of this “intuitive equivalence” of class diagrams is proposed. An algorithm is constructed that for two class diagrams determines if they model the same “real world”. This algorithm can be used in CASE tools to compare alternative models of a system, and for diagram “compression” to facilitate understanding of large diagrams.
Electron crystallography and non-linear optics
1999
Electron crystallography can be used to obtain specific information about molecular parameters such as the polarisability, dipole moment, and hyperpolarisability. In this, work we show how a combination of quantum mechanics and simulation methods can be used to solve several unknown organic structures and how the calculated molecular parameters can be used to predict the corresponding physical properties of the crystals.
Cluster matching in time resolved imaging for VLSI analysis
2014
International audience; If scaling has the benefit of enabling manufacturers to design tomorrow's integrated circuits, from the failure analyst point of view it also has the drawback of making devices more complex. The test sequence for modern VLSI can be quite long, with thousands of vector. Dynamic photon emission databases can contain millions of photons representing thousands of state changes in the region of interest. Finding a candidate location where to perform physical analysis is quite challenging, especially if the fault occurs on a single vector. In this paper, we suggest a new methodology to find single vector fault in dynamic photon emission database. The process is applied at …
Parabolic pulse generation through passive reshaping of gaussian pulses in a normally dispersive fiber
2007
We numerically and experimentally demonstrate that a Gaussian pulse can be reshaped into a pulse with a stable parabolic intensity profile during propagation in normally dispersive nonlinear fibers.
Orientation of Polar Molecules by Laser Induced Adiabatic Passage
2002
International audience; We show that two overlapping linearly polarized laser pulses of frequencies ω and its second harmonic 2ω can strongly orient linear polar molecules, by adiabatic passage along dressed states. The resulting robust orientation can be interpreted as a laser-induced localization in the effective double well potential created by the fields, which induces a preliminary molecular alignment. The direction of the orientation can be selected by the relative phase of the fields.
Vibrating and shaking soliton pairs in dissipative systems
2007
We show that two-soliton solutions in nonlinear dissipative systems can exist in various forms. As with single solitons, they can be stationary, periodic or chaotic. In particular, we find new types of vibrating and shaking soliton pairs. Each type of pair is stable in the sense that the bound state exists in the same form indefinitely. © 2006 Elsevier B.V. All rights reserved.
Near-field control of optical bistability in a nanocavity
2009
Micro- and nanocavities allow for strong light confinement in very small volume [1]. They give opportunities for new experiments such as cavity quantum electrodynamics, waveguiding, light slowing or trapping…[2] The increase of the electromagnetic (EM) field in the cavity enhances the interaction between light and matter, resulting in the possible observation of nonlinear effects [3]. Several studies have recently been published on the observation and characterisation of nonlinear silicon cavities [4]. As a step further, we propose and demonstrate the feasibility of an innovative way to mechanically control the bistable operating regime of a nanovavity. Using a near-field tip, we switch the…