A measure of logical complexity of programs

The research in software science has so far been concentrated on three measures of program complexity: (a) software effort; (b) cyclomatic complexity; and (c) program knots. In this paper we propose a measure of the logical complexity of programs in terms of the variable dependency of sequence of computations, inductive effort in writing loops and complexity of data structures. The proposed complexity mensure is described with the aid of a graph which exhibits diagrammatically the dependence of a computation at a node upon the computation of other (earlier) nodes. Complexity measures of several example programs have been computed and the related issues have been discussed. The paper also describes the role played by data structures in deciding the program complexity.

Logical design of a negative binary adder-subtracter

Two different designs for negative binary adder-subtracter are compared. Ono design uses the method of a hybrid-carry—borrow, while the other 11303 the method of polarization and addition.

Tendency to promote ferroelectric distortion in Pr-modified PbTiO3

Structural, microstructural, and dielectric studies have been carried out on Pr-modified PbTiO3. A comparative analysis with La-modified PbTiO3 suggests that for chemical modification by same amount, the Pr-modified system has larger tetragonal strain and Curie point. No clear feature of relaxor ferroelectric state is observed for Pr concentration as high as x=0.35, suggesting that Pr modification is less effective, as compared to La-modification, in inducing a relaxor ferroelectric state. Results suggest that inspite of increased chemical disorder, Pr modification partly tends to restore the ferroelectric distortion of the lattice through partial occupancy of the Pr4+ ions on the Ti4+ sites.

Tendency toward crossover of the effective susceptibility exponent from its doubled Ising value to its doubled mean-field value near a double critical point

The critical behavior of osmotic susceptibility in an aqueous electrolyte mixture 1-propanol (1P)+water (W)+potassium chloride is reported. This mixture exhibits re-entrant phase transitions and has a nearly parabolic critical line with its apex representing a double critical point (DCP). The behavior of the susceptibility exponent is deduced from static light-scattering measurements, on approaching the lower critical solution temperatures (TL’s) along different experimental paths (by varying t) in the one-phase region. The light-scattering data analysis substantiates the existence of a nonmonotonic crossover behavior of the susceptibility exponent in this mixture. For the TL far away from the DCP, the effective susceptibility exponent γeff as a function of t displays a nonmonotonic crossover from its single limit three-dimensional (3D)-Ising value ( ∼ 1.24) toward its mean-field value with increase in t. While for that closest to the DCP, γeff displays a sharp, nonmonotonic crossover from its nearly doubled 3D-Ising value toward its nearly doubled mean-field value with increase in t. The renormalized Ising regime extends over a relatively larger t range for the TL closest to the DCP, and a trend toward shrinkage in the renormalized Ising regime is observed as TL shifts away from the DCP. Nevertheless, the crossover to the mean-field limit extends well beyond t>10−2 for the TL’s studied. The observed crossover behavior is attributed to the presence of strong ion-induced clustering in this mixture, as revealed by various structure probing techniques. As far as the critical behavior in complex or associating mixtures with special critical points (like the DCP) is concerned, our results indicate that the influence of the DCP on the critical behavior must be taken into account not only on the renormalization of the critical exponent but also on the range of the Ising regime, which can shrink with decrease in the influence of the DCP and with the extent of structuring in the system. The utility of the field variable tUL in analyzing re-entrant phase transitions is demonstrated. The effective susceptibility exponent as a function of tUL displays a nonmonotonic crossover from its asymptotic 3D-Ising value toward a value slightly lower than its nonasymptotic mean-field value of 1. This behavior in the nonasymptotic, high tUL region is interpreted in terms of the possibility of a nonmonotonic crossover to the mean-field value from lower values, as foreseen earlier in micellar systems.

Design of logical topologies for wavelength-routed optical networks

his paper studies the problem of designing a logical topology over a wavelength-routed all-optical network (AON) physical topology, The physical topology consists of the nodes and fiber links in the network, On an AON physical topology, we can set up lightpaths between pairs of nodes, where a lightpath represents a direct optical connection without any intermediate electronics, The set of lightpaths along with the nodes constitutes the logical topology, For a given network physical topology and traffic pattern (relative traffic distribution among the source-destination pairs), our objective is to design the logical topology and the routing algorithm on that topology so as to minimize the network congestion while constraining the average delay seen by a source-destination pair and the amount of processing required at the nodes (degree of the logical topology), We will see that ignoring the delay constraints can result in fairly convoluted logical topologies with very long delays, On the other hand, in all our examples, imposing it results in a minimal increase in congestion, While the number of wavelengths required to imbed the resulting logical topology on the physical all optical topology is also a constraint in general, we find that in many cases of interest this number can be quite small, We formulate the combined logical topology design and routing problem described above (ignoring the constraint on the number of available wavelengths) as a mixed integer linear programming problem which we then solve for a number of cases of a six-node network, Since this programming problem is computationally intractable for larger networks, we split it into two subproblems: logical topology design, which is computationally hard and will probably require heuristic algorithms, and routing, which can be solved by a linear program, We then compare the performance of several heuristic topology design algorithms (that do take wavelength assignment constraints into account) against that of randomly generated topologies, as well as lower bounds derived in the paper.

Effect of antimony addition on the thermal and electrical-switching behavior of bulk Se-Te glasses

The thermal properties and electrical-switching behavior of semiconducting chalcogenide SbxSe55-xTe45 (2 <= x <= 9) glasses have been investigated by alternating differential scanning calorimetry and electrical-switching experiments, respectively. The addition of Sb is found to enhance the glass forming tendency and stability as revealed by the decrease in non-reversing enthalpy Delta H-nr. and an increase in the glass-transition width Delta T-g. Further, the glass-transition temperature of SbxSe55-xTe45 glasses, which is a measure of network connectivity, exhibits a subtle increase, suggesting a meager network growth with the addition of Sb. The crystallization temperature is also observed to increase with Sb content. The SbxSe55-xTe45 glasses (2 <= x <= 9) are found to exhibit memory type of electrical switching, which can be attributed to the polymeric nature of network and high devitrifying ability. The metallicity factor has been found to dominate over the network connectivity and rigidity in the compositional dependence of switching voltage. which shows a profound decrease with the addition of Sb.

Glass forming ability and stability: Ternary Cu bearing Ti, Zr, Hf alloys

Four Cu bearing alloys of nominal composition Zr25Ti25Cu50, Zr34Ti16Cu50, Zr25Hf25Cu50 and Ti25Hf25Cu50 have been rapidly solidified in order to produce ribbons. All the alloys become amorphous after meltspinning. In the Zr34Ti16Cu50 alloy localized precipitation of cF24 Cu5Zr phase can be observed in the amorphous matrix. The alloys show a tendency of phase separation at the initial stages of crystallization. The difference in crystallization behavior of these alloys with Ni bearing ternary alloys can be explained by atomic size, binary heat of mixing and Mendeleev number. It has been observed that both Laves and Anti-Laves phase forming compositions are suitable for glass formation. The structures of the phases, precipitated during rapid solidification and crystallization can be viewed in terms of Bernal deltahedra and Frank-Kasper polyhedra.

Flow behavior of LDPE and its blends with LLDPE I and II: A comparative study

Studies on melt rheological properties of blends of low density polyethylene (LDPE) with selected grades of linear low density polyethylene (LLDPE), which differ widely in their melt flow indices, are reported, The data obtained in a capillary rheometer are presented to describe the effects of blend composition and shear rate on flow behavior index, melt viscosity, and melt elasticity. In general, blending of LLDPE I that has a low melt flow index (2 g/10 min) with LDPE results in a decrease of its melt viscosity, processing temperature, and the tendency of extrudate distortion, depending on blending ratio. A blending ratio around 20-30% LLDPE I seems optimum from the point of view of desirable improvement in processability behavior. On the other hand, blending of LLDPE II that has a high melt flow index (10 g/10 min) with LDPE offers a distinct advantage in increasing the pseudoplasticity of LDPE/LLDPE II blends.

First principles study of magnetism in divalent Eu perovskites

A comparative first principles study has been carried out for EuLiH3 (ELH) and EuTiO3 (ETO) using the generalized gradient approximation +U approach. While ELH exhibits ferromagnetic ground state for all volumes, the magnetic ground state of ETO has the tendency to switch from G-type antiferromagnetic to a ferromagnetic state with change in volume. The marked difference in magnetic behavior and magnitude of the nearest neighbors exchange interaction of both the compounds are shown to be related to the difference in their respective electronic structure near the Fermi level. The Ti 3d states are shown to play predominant role in weakening the strength of the exchange interaction in ETO.

Programming an FPGA to Emulate the Dynamics of DC Machines

This paper presents the programming an FPGA (Field Programmable Gate Array) to emulate the dynamics of DC machines. FPGA allows high speed real time simulation with high precision. The described design includes block diagram representation of DC machine, which contain all arithmetic and logical operations. The real time simulation of the machine in FPGA is controlled by user interfaces they are Keypad interface, LCD display on-line and digital to analog converter. This approach provides emulation of electrical machine by changing the parameters. Separately Exited DC machine implemented and experimental results are presented.

Biomethanation of herbaceous biomass residues using 3-zone plug flow like digesters - A case study from India

Biomethanation of herbaceous biomass feedstock has the potential to provide clean energy source for cooking and other activities in areas where such biomass availability predominates. A biomethanation concept that involves fermentation of biomass residues in three steps, occurring in three zones of the fermentor is described. This approach while attempting take advantage of multistage reactors simplifies the reactor operation and obviates the need for a high degree of process control or complex reactor design. Typical herbaceous biomass decompose with a rapid VFA flux initially (with a tendency to float) followed by a slower decomposition showing balanced process of VFA generation and its utilization by methanogens that colonize biomass slowly. The tendency to float at the initial stages is suppressed by allowing previous days feed to hold it below digester liquid which permits VFA to disperse into the digester liquid without causing process inhibition. This approach has been used to build and operate simple biomass digesters to provide cooking gas in rural areas with weed and agro-residues. With appropriate modifications, the same concept has been used for digesting municipal solid wastes in small towns where large fermentors are not viable. With further modifications this concept has been used for solid-liquid feed fermentors. Methanogen colonized leaf biomass has been used as biofilm support to treat coffee processing wastewater as well as crop litter alternately in a year. During summer it functions as a biomass based biogas plants operating in the three-zone mode while in winter, feeding biomass is suspended and high strength coffee processing wastewater is let into the fermentor achieving over 90% BOD reduction. The early field experience of these fermentors is presented.

An algebraic theory of functional and multivalued dependencies in relational databases

Computation of the dependency basis is the fundamental step in solving the membership problem for functional dependencies (FDs) and multivalued dependencies (MVDs) in relational database theory. We examine this problem from an algebraic perspective. We introduce the notion of the inference basis of a set M of MVDs and show that it contains the maximum information about the logical consequences of M. We propose the notion of a dependency-lattice and develop an algebraic characterization of inference basis using simple notions from lattice theory. We also establish several interesting properties of dependency-lattices related to the implication problem. Founded on our characterization, we synthesize efficient algorithms for (a): computing the inference basis of a given set M of MVDs; (b): computing the dependency basis of a given attribute set w.r.t. M; and (c): solving the membership problem for MVDs. We also show that our results naturally extend to incorporate FDs also in a way that enables the solution of the membership problem for both FDs and MVDs put together. We finally show that our algorithms are more efficient than existing ones, when used to solve what we term the ‘generalized membership problem’.

The Implication Problem for Functional and Multivalued Dependencies

Computation of the dependency basis is the fundamental step in solving the implication problem for MVDs in relational database theory. We examine this problem from an algebraic perspective. We introduce the notion of the inference basis of a set M of MVDs and show that it contains the maximum information about the logical consequences of M. We propose the notion of an MVD-lattice and develop an algebraic characterization of the inference basis using simple notions from lattice theory. We also establish several properties of MVD-lattices related to the implication problem. Founded on our characterization, we synthesize efficient algorithms for (a) computing the inference basis of a given set M of MVDs; (b) computing the dependency basis of a given attribute set w.r.t. M; and (c) solving the implication problem for MVDs. Finally, we show that our results naturally extend to incorporate FDs also in a way that enables the solution of the implication problem for both FDs and MVDs put together.

Magnetic-properties of quasi-2-dimensional la1-xsr1+xmno4 and the evolution of itinerant electron ferromagnetism in the sro.(la1-xsrxmno3)n system

Quasi-two-dimensional oxides of the La,+,Sr,+,Mn04 system, possessing the KZNiF4 structure, show no evidence for ferromagnetic ordering in contrast to the corresponding three-dimensional La,+.Sr,MnO~ perovskites. Instead, there is an increasing tendency toward antiferromagnetic ordering with mcreasmg x m La,+,Sr,,, MnOp. Furthermore, these oxides are relatively high-resistivity materials over the entire compositional range. Substitution of Ba for Sr in La&r,.5Mn04 decreases the ferromagnetic interaction. Increasing the number of perovskite layers in SrO (La,-,Sr,MnO& causes an increase in electrical conductivity as well as ferromagnetic interaction. The oxide becomes a highly conducting ferromagnet when n 2 2.

Hantzsch 1,4-dihydropyridine esters and analogs: candidates for generating reproducible one-dimensional packing motifs

Examination of the symmetric Hantzsch 1,4-dihydropyridine ester derivatives of the prototypical nifedipine molecule indicates the tendency of this class of molecule to form a common packing motif. Crystal structure analysis of 2,6-dimethyl-1,4-dihydropyridine-3,5-dicarboxylic diesters and analogs reveals that they form extended chains, characterized as the C(6) packing motif, via intermolecular (amine) N-H...O=C (C3,C5 carbonyl) hydrogen bonds. In addition, all the prepared derivatives also satisfy the basic structural requirements for their high binding efficiency to the receptor. The reproducible C(6) packing motif observed among these compounds has a use in the design of solid-state materials.