Binary decompositions and acyclic schemes

It is well known that the notions of normal forms and acyclicity capture many practical desirable properties for database schemes. The basic schema design problem is to develop design methodologies that strive toward these ideals. The usual approach is to first normalize the database scheme as far as possible. If the resulting scheme is cyclic, then one tries to transform it into an acyclic scheme. In this paper, we argue in favor of carrying out these two phases of design concurrently. In order to do this efficiently, we need to be able to incrementally analyze the acyclicity status of a database scheme as it is being designed. To this end, we propose the formalism of "binary decompositions". Using this, we characterize design sequences that exactly generate theta-acyclic schemes, for theta = agr,beta. We then show how our results can be put to use in database design. Finally, we also show that our formalism above can be effectively used as a proof tool in dependency theory. We demonstrate its power by showing that it leads to a significant simplification of the proofs of some previous results connecting sets of multivalued dependencies and acyclic join dependencies.

Energy and cities

Any plan for decoupling growth from fossil fuel use needs to prioritise locally appropriate, integrated and multi-faceted outcomes. Such transitions can be highly complex, given the physical and institutional characteristics of existing electricity infrastructure as well as various financial, technical and practical challenges. This Chapter applies a whole systems perspective to developing decoupling solutions, reflecting on the Dutch Sustainable Technology Development Program and Townsville City (Queensland, Australia). Key aspects considered include the need for demonstrating outcomes to multiple stakeholders, using pilot projects with integrated monitoring and evaluation, fostering collaborative approaches to energy management, cultivating cultures of ‘learning by doing’, and seeking synergies across multiple agendas.

Extending lagrange interpolation to develop a 4-node quadrilateral element

Today finite element method is a well established tool in engineering analysis and design. Though there axe many two and three dimensional finite elements available, it is rare that a single element performs satisfactorily in majority of practical problems. The present work deals with the development of 4-node quadrilateral element using extended Lagrange interpolation functions. The classical univariate Lagrange interpolation is well developed for 1-D and is used for obtaining shape functions. We propose a new approach to extend the Lagrange interpolation to several variables. When variables axe more than one the method also gives the set of feasible bubble functions. We use the two to generate shape function for the 4-node arbitrary quadrilateral. It will require the incorporation of the condition of rigid body motion, constant strain and Navier equation by imposing necessary constraints. The procedure obviates the need for isoparametric transformation since interpolation functions are generated for arbitrary quadrilateral shapes. While generating the element stiffness matrix, integration can be carried out to the accuracy desired by dividing the quadrilateral into triangles. To validate the performance of the element which we call EXLQUAD4, we conduct several pathological tests available in the literature. EXLQUAD4 predicts both stresses and displacements accurately at every point in the element in all the constant stress fields. In tests involving higher order stress fields the element is assured to converge in the limit of discretisation. A method thus becomes available to generate shape functions directly for arbitrary quadrilateral. The method is applicable also for hexahedra. The approach should find use for development of finite elements for use with other field equations also.

Novel composite coded pattern for small angle measurement using imaging method -art.no.62891D

A novel approach for measurement of small rotation angles using imaging method is proposed and demonstrated. A plane mirror placed on a precision rotating table is used for imaging the newly designed composite coded pattern. The imaged patterns are captured with the help of a CCD camera. The angular rotation of the plane mirror is determined from a pair of the images of the pattern, captured once before and once after affecting the tilt of the mirror. Both simulation and experimental results suggest that the proposed approach not only retains the advantages of the original imaging method but also contributes significantly to the enhancement of its measuring range (+/- 4.13 degrees with accuracy of the order of 1 arcsec).

Reliability-based load and resistance factors for soil-nail walls

Existing soil nailing design methodologies are essentially based on limit equilibrium principles that together with a lumped factor of safety or a set of partial factors on the material parameters and loads account for uncertainties in design input parameter values. Recent trends in the development of design procedures for earth retaining structures are towards load and resistance factor design (LRFD). In the present study, a methodology for the use of LRFD in the context of soil-nail walls is proposed and a procedure to determine reliability-based load and resistance factors is illustrated for important strength limit states with reference to a 10 m high soil-nail wall. The need for separate partial factors for each limit state is highlighted, and the proposed factors are compared with those existing in the literature.

mRegistry: a registry representation for fault diagnosis

Microsoft Windows uses the notion of registry to store all configuration information. The registry entries have associations and dependencies. For example, the paths to executables may be relative to some home directories. The registry being designed with faster access as one of the objectives does not explicitly capture these relations. In this paper, we explore a representation that captures the dependencies more explicitly using shared and unifying variables. This representation, called mRegistry exploits the tree-structured hierarchical nature of the registry, is concept-based and obtained in multiple stages. mRegistry captures intra-block, inter-block and ancestor-children dependencies (all leaf entries of a parent key in a registry put together as an entity constitute a block thereby making the block as the only child of the parent). In addition, it learns the generalized concepts of dependencies in the form of rules. We show that mRegistry has several applications: fault diagnosis, prediction, comparison, compression etc.

SOI strip waveguide microring resonator for homogeneous biosensing

We report the simulation and analytical results obtained for homogenous or bulk sensing of protein on Siliconon- insulator strip waveguide based microring resonator. The radii of the rings considered are 5 μm and 20 μm; the waveguide dimensions are 300 × 300 nm. A gap of (i) 200 nm and (ii) 300 nm exists between the ring and the bus waveguide. The biomaterial is uniformly distributed over a thickness which exceeds the evanescent field penetration depth of 150 nm. The sensitivities of the resonators are 32.5 nm/RIU and 17.5 nm/RIU (RIU - Refractive index unit) respectively.

SpecNet: Spectrum Sensing Sans Frontieres

While the under-utilization of licensed spectrum based on measurement studies conducted in a few developed countries has spurred lots of interest in opportunistic spectrum access, there exists no infrastructure today for measuring real-time spectrum occupancy across vast geographical regions. In this paper, we present the design and implementation of SpecNet, a first-of-its-kind platform that allows spectrum analyzers around the world to be networked and efficiently used in a coordinated manner for spectrum measurement as well as implementa- tion and evaluation of distributed sensing applications. We demonstrate the value of SpecNet through three applications: 1) remote spectrum measurement, 2) primary transmitter coverage estimation and 3) Spectrum-Cop that quickly identifies and localizes transmitters in a frequency range and geographic region of interest.

Performance Evaluation of Underground Mine Communication and Monitoring Devices: Case Studies

Communication and environmental monitoring play a major role in underground mining both from production and safety point of view. However, underground mining communication as well as monitoring devices encounter several challenges because of the nature of underground features and characteristics. Lack of real time information from underground workings may hamper production and create serious safety risks. Proper communication and monitoring devices are inevitable requirements for better production and improved safety. Communication and environmental monitoring devices are basic element of underground mine infrastructure. This paper describes the performance of communication and monitoring devices being used in underground mines. An attempt has been made to assess the safety risks by these devices which may dictate future research directions.

Snap-through and pull-in instabilities of an arch-shaped beam under an electrostatic loading

The snap-through and pull-in instabilities of the micromachined arch-shaped beams under an electrostatic loading are studied both theoretically and experimentally. The pull-in instability that results in a system collision with an electrode substrate may lead to a system failure and, thus, limits the system maximum displacement. The beam/plate structure with a flat initial configuration under an electrostatic loading can only experience the pull-in instability. With the different arch configurations, the structure may experience either only the pull-in instability or the snap-through and pull-in instabilities together. As shown in our computation and experiment, those arch-shaped beams with the snap-through instability have the larger maximum displacement compared with the arch-shaped beams with only the pull-in stability and those with the flat initial configuration. The snap-through occurs by exerting a fixed load, and the structure experiences a discontinuous displacement jump without consuming power. Furthermore, after the snap-through jump, the structures are demonstrated to have the capacity to withstand further electrostatic loading without pull-in. Those properties of consuming no power and increasing the structure deflection range without pull-in is very useful in microelectromechanical systems design, which can offer better sensitivity and tuning range.