scholarly journals A stronger recognizability condition for two-dimensional languages

2013 ◽  
Vol Vol. 15 no. 2 (Automata, Logic and Semantics) ◽  
Author(s):  
Marcella Anselmo ◽  
Maria Madonia
Keyword(s):  
Finite Automata ◽  
The Other ◽  
Two Dimensional ◽  
Minimal Size ◽  
One Dimensional ◽  
Tiling System ◽  
International Audience ◽  
The One

Automata, Logic and Semantics International audience The paper presents a condition necessarily satisfied by (tiling system) recognizable two-dimensional languages. The new recognizability condition is compared with all the other ones known in the literature (namely three conditions), once they are put in a uniform setting: they are stated as bounds on the growth of some complexity functions defined for two-dimensional languages. The gaps between such functions are analyzed and examples are shown that asymptotically separate them. Finally the new recognizability condition results to be the strongest one, while the remaining ones are its particular cases. The problem of deciding whether a two-dimensional language is recognizable is here related to the one of estimating the minimal size of finite automata recognizing a sequence of (one-dimensional) string languages.

Regions-based Two-dimensional Continua: The Euclidean Case

2018 ◽  
Author(s):  
Geoffrey Hellman ◽  
Stewart Shapiro
Keyword(s):  
Mathematical Induction ◽  
Dimensional Case ◽  
Two Dimensional ◽  
Entire Space ◽  
Euclidean Case ◽  
Free Basis ◽  
One Dimensional ◽  
Archimedean Property ◽  
The One

This chapter develops a Euclidean, two-dimensional, regions-based theory. As with the semi-Aristotelian account in Chapter 2, the goal here is to recover the now orthodox Dedekind–Cantor continuum on a point-free basis. The chapter derives the Archimedean property for a class of readily postulated orientations of certain special regions, what are called “generalized quadrilaterals” (intended as parallelograms), by which the entire space is covered. Then the chapter generalizes this to arbitrary orientations, and then establishes an isomorphism between the space and the usual point-based one. As in the one-dimensional case, this is done on the basis of axioms which contain no explicit “extremal clause”, and we have no axiom of induction other than ordinary numerical (mathematical) induction.

scholarly journals Assessing a Linear Nanosystem's Limiting Reliability from its Components

2008 ◽  
Vol 45 (03) ◽  
pp. 879-887 ◽  
Author(s):  
Nader Ebrahimi
Keyword(s):  
Present State ◽  
Size Range ◽  
Two Dimensions ◽  
The Other ◽  
One Dimension ◽  
Present Moment ◽  
One Dimensional ◽  
The One ◽  
Fixed Moment ◽  
Nanosized Systems

Nanosystems are devices that are in the size range of a billionth of a meter (1 x 10-9) and therefore are built necessarily from individual atoms. The one-dimensional nanosystems or linear nanosystems cover all the nanosized systems which possess one dimension that exceeds the other two dimensions, i.e. extension over one dimension is predominant over the other two dimensions. Here only two of the dimensions have to be on the nanoscale (less than 100 nanometers). In this paper we consider the structural relationship between a linear nanosystem and its atoms acting as components of the nanosystem. Using such information, we then assess the nanosystem's limiting reliability which is, of course, probabilistic in nature. We consider the linear nanosystem at a fixed moment of time, say the present moment, and we assume that the present state of the linear nanosystem depends only on the present states of its atoms.

Lower Bounds to the Eigenvalues in One-Dimensional Problems by a Shift in the Weight Function

1970 ◽  
Vol 37 (2) ◽  
pp. 267-270 ◽  
Author(s):  
D. Pnueli
Keyword(s):  
Lower Bound ◽  
Weight Function ◽  
Lower Bounds ◽  
Variational Formulation ◽  
Ritz Method ◽  
The Other ◽  
One Dimensional ◽  
Systematic Shift ◽  
The One ◽  
Detailed Computation

A method is presented to obtain both upper and lower bound to eigenvalues when a variational formulation of the problem exists. The method consists of a systematic shift in the weight function. A detailed procedure is offered for one-dimensional problems, which makes improvement of the bounds possible, and which involves the same order of detailed computation as the Rayleigh-Ritz method. The main contribution of this method is that it yields the “other bound;” i.e., the one which cannot be obtained by the Rayleigh-Ritz method.

MUTUAL EXCLUSION ON OPTICAL BUSES

2002 ◽  
Vol 12 (03n04) ◽  
pp. 341-358
Author(s):  
KRISHNA M. KAVI ◽  
DINESH P. MEHTA
Keyword(s):  
Mutual Exclusion ◽  
Two Dimensional ◽  
One Dimensional ◽  
Dimensional Array ◽  
Propagation Delays ◽  
Optical Buses ◽  
The One

This paper presents two algorithms for mutual exclusion on optical bus architectures including the folded one-dimensional bus, the one-dimensional array with pipelined buses (1D APPB), and the two-dimensional array with pipelined buses (2D APPB). The first algorithm guarantees mutual exclusion, while the second guarantees both mutual exclusion and fairness. Both algorithms exploit the predictability of propagation delays in optical buses.

scholarly journals DIFFERENTIAL EQUATION APPROACH FOR ONE- AND TWO-DIMENSIONAL LATTICE GREEN'S FUNCTION

2007 ◽  
Vol 21 (02n03) ◽  
pp. 139-154 ◽  
Author(s):  
J. H. ASAD
Keyword(s):  
Differential Equation ◽  
Green’S Function ◽  
Recurrence Relation ◽  
Green's Function ◽  
Two Dimensional ◽  
Dimensional Lattice ◽  
One Dimensional ◽  
The One ◽  
Lattice Green's Function ◽  
Lattice Green’S Function

A first-order differential equation of Green's function, at the origin G(0), for the one-dimensional lattice is derived by simple recurrence relation. Green's function at site (m) is then calculated in terms of G(0). A simple recurrence relation connecting the lattice Green's function at the site (m, n) and the first derivative of the lattice Green's function at the site (m ± 1, n) is presented for the two-dimensional lattice, a differential equation of second order in G(0, 0) is obtained. By making use of the latter recurrence relation, lattice Green's function at an arbitrary site is obtained in closed form. Finally, the phase shift and scattering cross-section are evaluated analytically and numerically for one- and two-impurities.

Substrate induced freezing, melting and depinning transitions in two-dimensional liquid crystalline systems

2022 ◽  
Author(s):  
Bharti bharti ◽  
Debabrata Deb
Keyword(s):  
Molecular Dynamics ◽  
Liquid Crystals ◽  
Molecular Dynamics Simulations ◽  
Liquid Crystalline ◽  
Two Dimensional ◽  
One Dimensional ◽  
The One ◽  
Dynamics Simulations

We use molecular dynamics simulations to investigate the ordering phenomena in two-dimensional (2D) liquid crystals over the one-dimensional periodic substrate (1DPS). We have used Gay-Berne (GB) potential to model the...

scholarly journals The influence of resistivity gradients on shock conditions for a Petschek reconnection geometry

2016 ◽  
Vol 34 (4) ◽  
pp. 421-425
Author(s):  
Christian Nabert ◽  
Karl-Heinz Glassmeier
Keyword(s):  
Magnetic Field ◽  
Necessary Conditions ◽  
The Other ◽  
Diffusion Region ◽  
Two Dimensional ◽  
Characteristic Velocity ◽  
Magnetohydrodynamic Equations ◽  
One Dimensional ◽  
The Magnetic Field ◽  
Alfven Velocity

Abstract. Shock waves can strongly influence magnetic reconnection as seen by the slow shocks attached to the diffusion region in Petschek reconnection. We derive necessary conditions for such shocks in a nonuniform resistive magnetohydrodynamic plasma and discuss them with respect to the slow shocks in Petschek reconnection. Expressions for the spatial variation of the velocity and the magnetic field are derived by rearranging terms of the resistive magnetohydrodynamic equations without solving them. These expressions contain removable singularities if the flow velocity of the plasma equals a certain characteristic velocity depending on the other flow quantities. Such a singularity can be related to the strong spatial variations across a shock. In contrast to the analysis of Rankine–Hugoniot relations, the investigation of these singularities allows us to take the finite resistivity into account. Starting from considering perpendicular shocks in a simplified one-dimensional geometry to introduce the approach, shock conditions for a more general two-dimensional situation are derived. Then the latter relations are limited to an incompressible plasma to consider the subcritical slow shocks of Petschek reconnection. A gradient of the resistivity significantly modifies the characteristic velocity of wave propagation. The corresponding relations show that a gradient of the resistivity can lower the characteristic Alfvén velocity to an effective Alfvén velocity. This can strongly impact the conditions for shocks in a Petschek reconnection geometry.

scholarly journals Water storage in wetted strips under irrigated coffee trees with different criteria of irrigation management

2013 ◽  
Vol 33 (2) ◽  
pp. 249-257 ◽  
Author(s):  
Alberto Colombo ◽  
Lívia A. Alvarenga ◽  
Myriane S. Scalco ◽  
Randal C. Ribeiro ◽  
Giselle F. Abreu
Keyword(s):  
Dimensional Analysis ◽  
Drip Irrigation ◽  
Irrigation Management ◽  
Water Storage ◽  
Moisture Distribution ◽  
Water Volume ◽  
Two Dimensional ◽  
One Dimensional ◽  
Irrigation Interval ◽  
The One

The increasing demand for water resources accentuates the need to reduce water waste through a more appropriate irrigation management. In the particular case of irrigated coffee planting, which in recent years presented growth with the predominance of drip irrigation, the improvement of drip irrigation management techniques is a necessity. The proper management of drip irrigation depends on the knowledge of the spatial pattern of soil moisture distribution inside the wetted strip formed under the irrigation lines. In this study, grids of 24 tensiometers were used to determine the water storage within the wetted strip formed under drippers, with a 3.78 L h-1 discharge, evenly spaced by 0.4 m, subjected to two different management criteria (fixed irrigation interval and 60 kPa tension). Estimates of storage based on a one-dimensional analysis, that only considers depth variations, were compared with two-dimensional estimates. The results indicate that for high-frequency irrigation the one-dimensional analysis is not appropriate. However, under less frequent irrigation, the two-dimensional analysis is dispensable, being the one-dimensional sufficient for calculating the water volume stored in the wetted strip.

Computationally Efficient Model for 2D Ion Implantation Simulation

1997 ◽  
Vol 490 ◽  
Author(s):  
Misha Temkin ◽  
Ivan Chakarov
Keyword(s):  
Ion Implantation ◽  
Efficient Method ◽  
Two Dimensional ◽  
Computationally Efficient ◽  
Crystalline Materials ◽  
One Dimensional ◽  
The One

ABSTRACTA computationally efficient method for ion implantation simulation is presented. The method allows two-dimensional ion implantation profiles in arbitrary shaped structures to be calculated and is valid for both amorphous and crystalline materials. It uses an extension of the one-dimensional dual Pearson approximation into the second dimension.

Sign in / Sign up

Export Citation Format

Share Document