Search results for "Intersection"
showing 10 items of 213 documents
An automata-theoretic approach to the study of the intersection of two submonoids of a free monoid
2008
We investigate the intersection of two finitely generated submonoids of the free monoid on a finite alphabet. To this purpose, we consider automata that recognize such submonoids and we study the product automata recognizing their intersection. By using automata methods we obtain a new proof of a result of Karhumaki on the cha- racterization of the intersection of two submonoids of rank two, in the case of prefix (or suffix) generators. In a more general setting, for an arbitrary number of generators, we prove that if H and K are two finitely generated submonoids generated by prefix sets such that the product automaton associated to H ∩ K has a given special property then �(H ∩ K) ≤ �(H)�(K…
Nondeterministic Unitary OBDDs
2017
We investigate the width complexity of nondeterministic unitary OBDDs (NUOBDDs). Firstly, we present a generic lower bound on their widths based on the size of strong 1-fooling sets. Then, we present classically “cheap” functions that are “expensive” for NUOBDDs and vice versa by improving the previous gap. We also present a function for which neither classical nor unitary nondeterminism does help. Moreover, based on our results, we present a width hierarchy for NUOBDDs. Lastly, we provide the bounds on the widths of NUOBDDs for the basic Boolean operations negation, union, and intersection.
Intersection subgroups of complex hyperplane arrangements
2000
Abstract Let A be a central arrangement of hyperplanes in C n , let M( A ) be the complement of A , and let L ( A ) be the intersection lattice of A . For X in L ( A ) we set A X ={H∈ A : H⫆X} , and A /X={H/X: H∈ A X } , and A X ={H∩X: H∈ A \ A X } . We exhibit natural embeddings of M( A X ) in M( A ) that give rise to monomorphisms from π 1 (M( A X )) to π 1 (M( A )) . We call the images of these monomorphisms intersection subgroups of type X and prove that they form a conjugacy class of subgroups of π 1 (M( A )) . Recall that X in L ( A ) is modular if X+Y is an element of L ( A ) for all Y in L ( A ) . We call X in L ( A ) supersolvable if there exists a chain 0⫅X 1 ⫅⋯⫅X d =X in L ( A ) …
Tangency conditions for multivalued mappings
1996
We prove that interiority conditions imply tangency conditions for two multivalued mappings from a topological space into a normed vector space. As a consequence, we obtain the lower semicontinuity of the intersection of two multivalued mappings. An application to the epi-upper semicontinuity of the sum of convex vector-valued mappings is given.
About Graph Unions and Intersections
2020
Summary In this article the union and intersection of a set of graphs are formalized in the Mizar system [5], based on the formalization of graphs in [7].
Two- and three-state conical intersections in the electron capture dissociation of disulfides: The importance of multireference calculations
2011
The SS bond cleavage produced upon electron attachment to disulfides was generally assumed to be an adiabatic process because the added electron occupies the σ*(SS) antibonding orbital. This is clearly the case in the parent HSSH compound, but not necessarily in XSSX′ derivatives, where the substituents X and X′ are different. Through the use of MS-CASPT2 calculations, we have shown that the dissociation of the SS two-center-three-electron bond in these asymmetric XSSX′ compounds requires the interaction of at least two states, in order to localize the extra electron in one of the fragments upon dissociation. This is actually the case for the CH3SSNH2 derivative, where the most favorable di…
Modeling traffic safety at urban four leg-signalized intersections
2013
According to the state-of-the-art of the methodologies, the development of safety performance functions (SPFs) for road sections and intersections requires the employment of statistical models to predict expected crash frequencies on the basis of traffic volumes and site characteristics to be surveyed and used as input to models. Nevertheless, literature reports several studies on issues deriving from data features or methodological approaches that may invalidate the efficiency of the models and the accuracy of the estimates. Drawing inspiration from the above mentioned considerations, the objective of this study is to develop safety performance functions for a sample of urban four leg-sign…
Performance Analysis of Basic Turbo-Roundabouts in Urban Context
2012
AbstractA turbo roundabout is a new type of canalized multilane intersection in which the physical separation between lanes helps to prevent side collisions when crossing the roundabout. This paper presents an estimation of capacity, delays and level of service of basic turbo roundabouts in undersaturation conditions, considering both vehicle flow and pedestrian traffic. The traffic performance model was developed by evaluating the capacity for each entry lane. Owing to the geometric features of the intersection, the total entry capacity is obtained by considering different values of the pedestrian impedance factor and degree of saturation at both the right-turn and left-turn lanes.
Crossing a Multi-Lane Street: Irrelevant Cars Increase Unsafe Behavior
2011
Before crossing a road or an intersection, road users have to determine among the surrounding traffic whether or not they have enough time to safely complete their maneuver. Temporal judgments have been investigated for single cars approaching an intersection, however, close to nothing is known about how street-crossing decisions are being made when several vehicles are simultaneously approaching in two adjacent lanes. We conducted a simulator experiment in which observers indicated whether or not they had enough time to complete safe street crossing. Traffic gaps were presented either with a single or two oncoming cars on different lanes, in such a way that in all cases, only the shortest …
Estimation of air pollutant emissions in flower roundabouts and in conventional roundabouts
2013
Abstract The road pollutant emissions, above all in urban context, are correlated to many infrastructural parameters and to traffic intensity and typology. The research work on road junction geometry, carried out in European research centres, has recently allowed to design new road intersection types which are of undoubted interest, especially in terms of traffic functionality and safety, like the flower roundabouts (in which right-turn manoeuvres do not conflict with the circulating flow). The main objective of this paper is to propose a model for the estimation the capacity, delay, levels of service and the pollutant emissions into flower roundabouts. A comparative analysis between conven…