Space and time efficiency of the forest-of-quadtrees representation

A forest of quadtrees is a refinement of a quadtree data structure that is used to represent planar regions. A forest of quadtrees provides space savings over regular quadtrees by concentrating vital information. The paper presents some of the properties of a forest of quadtrees and studies the storage requirements for the case in which a single 2m × 2m region is equally likely to occur in any position within a 2n × 2n image. Space and time efficiency are investigated for the forest-of-quadtrees representation as compared with the quadtree representation for various cases.

Representation of functional dependencies in relational databases using linear graphs

Functional dependencies in relational databases are investigated. Eight binary relations, viz., (1) dependency relation, (2) equipotence relation, (3) dissidence relation, (4) completion relation, and dual relations of each of them are described. Any one of these eight relations can be used to represent the functional dependencies in a database. Results from linear graph theory are found helpful in obtaining these representations. The dependency relation directly gives the functional dependencies. The equipotence relation specifies the dependencies in terms of attribute sets which functionally determine each other. The dissidence relation specifies the dependencies in terms of saturated sets in a very indirect way. Completion relation represents the functional dependencies as a function, the range of which turns out to be a lattice. Depletion relation which is the dual of the completion relation can also represent functional dependencies and similarly can the duals of dependency, equipotence, and dissidence relations. The class of depleted sets, which is the dual of saturated sets, is defined and used in the study of depletion relations.

Linear time geometrical design rule checker based on quadtree representation of VLSI mask layouts

An efficient geometrical design rule checker is proposed, based on operations on quadtrees, which represent VLSI mask layouts. The time complexity of the design rule checker is O(N), where N is the number of polygons in the mask. A pseudoPascal description is provided of all the important algorithms for geometrical design rule verification.

The credit risk(+) model with general sector correlations

We consider an enhancement of the credit risk+ model to incorporate correlations between sectors. We model the sector default rates as linear combinations of a common set of independent variables that represent macro-economic variables or risk factors. We also derive the formula for exact VaR contributions at the obligor level.

Reflexive Incidence Matrx (RIM) Representation of Petr Nets

Although incidence matrix representation has been used to analyze the Petri net based models of a system, it has the limitation that it does not preserve reflexive properties (i.e., the presence of selfloops) of Petri nets. But in many practical applications self-loops play very important roles. This paper proposes a new representation scheme for general Petri nets. This scheme defines a matrix called "reflexive incidence matrix (RIM) c which is a combination of two matrices, a "base matrix Cb,,, and a "power matrix CP." This scheme preserves the reflexive and other properties of the Petri nets. Through a detailed analysis it is shown that the proposed scheme requires less memory space and less processing time for answering commonly encountered net queries compared to other schemes. Algorithms to generate the RIM from the given net description and to decompose RIM into input and output function matrices are also given. The proposed Petri net representation scheme is very useful to model and analyze the systems having shared resources, chemical processes, network protocols, etc., and to evaluate the performance of asynchronous concurrent systems.

Representation of functional dependencies in relational databases using linear graphs

Functional dependencies in relational databases are investigated. Eight binary relations, viz., (1) dependency relation, (2) equipotence relation, (3) dissidence relation, (4) completion relation, and dual relations of each of them are described. Any one of these eight relations can be used to represent the functional dependencies in a database. Results from linear graph theory are found helpful in obtaining these representations. The dependency relation directly gives the functional dependencies. The equipotence relation specifies the dependencies in terms of attribute sets which functionally determine each other. The dissidence relation specifies the dependencies in terms of saturated sets in a very indirect way. Completion relation represents the functional dependencies as a function, the range of which turns out to be a lattice. Depletion relation which is the dual of the completion relation can also represent functional dependencies and similarly can the duals of dependency, equipotence, and dissidence relations. The class of depleted sets, which is the dual of saturated sets, is defined and used in the study of depletion relations.

A new formalism for representation of binary thermodynamic data

The applicability of a formalism involving an exponential function of composition x1 in interpreting the thermodynamic properties of alloys has been studied. The excess integral and partial molar free energies of mixing are expressed as: $$\begin{gathered} \Delta F^{xs} = a_o x_1 (1 - x_1 )e^{bx_1 } \hfill \\ RTln\gamma _1 = a_o (1 - x_1 )^2 (1 + bx_1 )e^{bx_1 } \hfill \\ RTln\gamma _2 = a_o x_1^2 (1 - b + bx_1 )e^{bx_1 } \hfill \\ \end{gathered} $$ The equations are used in interpreting experimental data for several relatively weakly interacting binary systems. For the purpose of comparison, activity coefficients obtained by the subregular model and Krupkowski’s formalism have also been computed. The present equations may be considered to be convenient in describing the thermodynamic behavior of metallic solutions.

Representation and properties of para-Bose oscillator operators. II. Coherent states and the minimum uncertainty states

The energy, position, and momentum eigenstates of a para-Bose oscillator system were considered in paper I. Here we consider the Bargmann or the analytic function description of the para-Bose system. This brings in, in a natural way, the coherent states ||z;alpha> defined as the eigenstates of the annihilation operator ?. The transformation functions relating this description to the energy, position, and momentum eigenstates are explicitly obtained. Possible resolution of the identity operator using coherent states is examined. A particular resolution contains two integrals, one containing the diagonal basis ||z;alpha><−z;alpha||. We briefly consider the normal and antinormal ordering of the operators and their diagonal and discrete diagonal coherent state approximations. The problem of constructing states with a minimum value of the product of the position and momentum uncertainties and the possible alpha dependence of this minimum value is considered. Journal of Mathematical Physics is copyrighted by The American Institute of Physics.

Representation of Stereoisomers in ALWIN

Tlhe well-known Cahn-lngold-Prelog method of specifying the stereoisomers is introduced within the framework of ALWIN-Algorithmic Wiswesser Notation. Given the structural diagram, the structural ALWIN is first formed; the speclflcation symbols are then introduced at the appropriate places to describe the stereoisomers.

Natural frequencies of circumferentially truncated sector plates with simply supported straight edges

The classical Rayleigh-Ritz method in conjunction with suitable co-ordinate transformations is found to be effective for accurate estimation of natural frequencies of circumferentially truncated circular sector plates with simply supported straight edges. Numerical results are obtained for all the nine combinations of clamped, simply supported and free boundary conditions at the circular edges and presented in the form of graphs. The analysis confirms an earlier observation that the plate behaves like a long rectangular strip as the width of the plate in the radial direction becomes small.

Natural frequencies of circumferentially truncated sector plates with simply supported straight edges

The classical Rayleigh-Ritz method in conjunction with suitable co-ordinate transformations is found to be effective for accurate estimation of natural frequencies of circumferentially truncated circular sector plates with simply supported straight edges. Numerical results are obtained for all the nine combinations of clamped, simply supported and free boundary conditions at the circular edges and presented in the form of graphs. The analysis confirms an earlier observation that the plate behaves like a long rectangular strip as the width of the plate in the radial direction becomes small.

Energy use in Indian household sector - An actor-oriented approach

Over the years, significant changes have taken place with regard to the type as well the quantity of energy used in Indian households. Many factors have contributed in bringing these changes. These include availability of energy, security of supplies, efficiency of use, cost of device, price of energy carriers, ease of use, and external factors like technological development, introduction of subsidies, and environmental considerations. The present paper presents the pattern of energy consumption in the household sector and analyses the causalities underlying the present usage patterns. It identifies specific (groups of) actors, study their specific situations, analyse the constraints and discusses opportunities for improvement. This can be referred to ``actor-oriented'' analysis in which we understand how various actors of the energy system are making the system work, and what incentives and constraints each of these actors is experiencing. It analyses actor linkages and their impact on the fuel choice mechanism. The study shows that the role of actors in household fuel choice is significant and depends on the level of factors - micro, meso and macro. It is recommended that the development interventions should include actor-oriented tools in energy planning, implementation, monitoring and evaluation. The analysis is based on the data from the national sample survey (NSS), India. This approach provides a spatial viewpoint which permits a clear assessment of the energy carrier choice by the households and the influence of various actors. The scope of the paper is motivated and limited by suggesting and formulating a powerful analytical technique to analyse the problem involving the role of actors in the Indian household sector.

New light on the optical equivalence theorem and a new type of discrete diagonal coherent state representation

In many instances we find it advantageous to display a quantum optical density matrix as a generalized statistical ensemble of coherent wave fields. The weight functions involved in these constructions turn out to belong to a family of distributions, not always smooth functions. In this paper we investigate this question anew and show how it is related to the problem of expanding an arbitrary state in terms of an overcomplete subfamily of the overcomplete set of coherent states. This provides a relatively transparent derivation of the optical equivalence theorem. An interesting by-product is the discovery of a new class of discrete diagonal representations.

Emissions from India's transport sector: Statewise synthesis

A decentralized emission inventories are prepared for road transport sector of India in order to design and implement suitable technologies and policies for appropriate mitigation measures. Globalization and liberalization policies of the government in 90's have increased the number of road vehicles nearly 92.6% from 1980-1981 to 2003-2004. These vehicles mainly consume non-renewable fossil fuels, and are a major contributor of green house gases, particularly CO2 emission. This paper focuses on the statewise road transport emissions (CO2, CH4, CO, N-x, N2O, SO2, PM and HC) using region specific mass emission factors for each type of vehicles. The country level emissions (CO2, CH4, CO, NOx, N2O, SO2 and NMVOC) are calculated for railways, shipping and airway, based on fuel types. In India, transport sector emits an estimated 258.10 Tg Of CO2, of which 94.5% was contributed by road transport (2003-2004). Among all the states and Union Territories, Maharashtra's contribution is the largest, 28.85 Tg (11.8%) Of CO2, followed by Tamil Nadu 26.41 Tg(10.8%), Gujarat 23.31 Tg(9.6%), Uttar Pradesh 17.42 Tg(7.1%), Rajasthan 15.17 Tg (6.22%) and, Karnataka 15.09 Tg (6.19%). These six states account for 51.8% of the CO2 emissions from road transport.

Geometric Representation of Graphs in Low Dimension Using Axis Parallel Boxes

An axis-parallel k-dimensional box is a Cartesian product R-1 x R-2 x...x R-k where R-i (for 1 <= i <= k) is a closed interval of the form [a(i), b(i)] on the real line. For a graph G, its boxicity box(G) is the minimum dimension k, such that G is representable as the intersection graph of (axis-parallel) boxes in k-dimensional space. The concept of boxicity finds applications in various areas such as ecology, operations research etc. A number of NP-hard problems are either polynomial time solvable or have much better approximation ratio on low boxicity graphs. For example, the max-clique problem is polynomial time solvable on bounded boxicity graphs and the maximum independent set problem for boxicity d graphs, given a box representation, has a left perpendicular1 + 1/c log n right perpendicular(d-1) approximation ratio for any constant c >= 1 when d >= 2. In most cases, the first step usually is computing a low dimensional box representation of the given graph. Deciding whether the boxicity of a graph is at most 2 itself is NP-hard. We give an efficient randomized algorithm to construct a box representation of any graph G on n vertices in left perpendicular(Delta + 2) ln nright perpendicular dimensions, where Delta is the maximum degree of G. This algorithm implies that box(G) <= left perpendicular(Delta + 2) ln nright perpendicular for any graph G. Our bound is tight up to a factor of ln n. We also show that our randomized algorithm can be derandomized to get a polynomial time deterministic algorithm. Though our general upper bound is in terms of maximum degree Delta, we show that for almost all graphs on n vertices, their boxicity is O(d(av) ln n) where d(av) is the average degree.