On synthesis of easily testable (k, K) circuits

A (k-, K) circuit is one which can be decomposed into nonintersecting blocks of gates where each block has no more than K external inputs, such that the graph formed by letting each block be a node and inserting edges between blocks if they share a signal line, is a partial k-tree. (k, K) circuits are special in that they have been shown to be testable in time polynomial in the number of gates in the circuit, and are useful if the constants k and K are small. We demonstrate a procedure to synthesise (k, K) circuits from a special class of Boolean expressions.

Determining Top K Nodes in Social Networks using the Shapley Value

In this paper, we consider the problem of selecting, for any given positive integer k, the top-k nodes in a social network, based on a certain measure appropriate for the social network. This problem is relevant in many settings such as analysis of co-authorship networks, diffusion of information, viral marketing, etc. However, in most situations, this problem turns out to be NP-hard. The existing approaches for solving this problem are based on approximation algorithms and assume that the objective function is sub-modular. In this paper, we propose a novel and intuitive algorithm based on the Shapley value, for efficiently computing an approximate solution to this problem. Our proposed algorithm does not use the sub-modularity of the underlying objective function and hence it is a general approach. We demonstrate the efficacy of the algorithm using a co-authorship data set from e-print arXiv (www.arxiv.org), having 8361 authors.

Distributed Source Coding for Sensor Data Model and Estimation of Cluster Head Errors Using Bayesian and K-Near Neighborhood Classifiers in Deployment of Dense Wireless Sensor Networks

The lifetime calculation of large dense sensor networks with fixed energy resources and the remaining residual energy have shown that for a constant energy resource in a sensor network the fault rate at the cluster head is network size invariant when using the network layer with no MAC losses.Even after increasing the battery capacities in the nodes the total lifetime does not increase after a max limit of 8 times. As this is a serious limitation lots of research has been done at the MAC layer which allows to adapt to the specific connectivity, traffic and channel polling needs for sensor networks. There have been lots of MAC protocols which allow to control the channel polling of new radios which are available to sensor nodes to communicate. This further reduces the communication overhead by idling and sleep scheduling thus extending the lifetime of the monitoring application. We address the two issues which effects the distributed characteristics and performance of connected MAC nodes. (1) To determine the theoretical minimum rate based on joint coding for a correlated data source at the singlehop, (2a) to estimate cluster head errors using Bayesian rule for routing using persistence clustering when node densities are the same and stored using prior probability at the network layer, (2b) to estimate the upper bound of routing errors when using passive clustering were the node densities at the multi-hop MACS are unknown and not stored at the multi-hop nodes a priori. In this paper we evaluate many MAC based sensor network protocols and study the effects on sensor network lifetime. A renewable energy MAC routing protocol is designed when the probabilities of active nodes are not known a priori. From theoretical derivations we show that for a Bayesian rule with known class densities of omega1, omega2 with expected error P* is bounded by max error rate of P=2P* for single-hop. We study the effects of energy losses using cross-layer simulation of - large sensor network MACS setup, the error rate which effect finding sufficient node densities to have reliable multi-hop communications due to unknown node densities. The simulation results show that even though the lifetime is comparable the expected Bayesian posterior probability error bound is close or higher than Pges2P*.

Anomalous temperature dependence of phonons and photoluminescence bands in pyrochlore Er(2)Ti(2)O(7): signatures of structural deformation at 130 K

We report a Raman study of single crystal pyrochlore Er(2)Ti(2)O(7) as a function of temperature from 12 to 300 K. In addition to the phonons, various photoluminescence (PL) lines of Er(3+) in the visible range are also observed. Our Raman data show an anomalous red-shift of two phonons (one at similar to 200 cm(-1) and another at similar to 520 cm(-1)) upon cooling from room temperature which is attributed to phonon-phonon anharmonic interactions. However, the phonons at similar to 310, 330, and 690 cm(-1) initially show a blue-shift upon cooling from room temperature down to about 130 K, followed by a red-shift, indicating a structural deformation at similar to 130 K. The intensities of the PL bands associated with the transitions between the various levels of the ground state manifold ((4)I(15/2)) and the (2)H(11/2) as well as (4)S(3/2) excited state manifolds of Er(3+) show a change at similar to 130 K. Moreover, the temperature dependence of the peak position of the two PL bands shows a change in their slope (d(omega)/d(T)) at similar to 130 K, thus further strengthening the proposal of a structural deformation. The temperature dependence of the peak positions of the PL bands has been analyzed using the theory of optical dephasing in crystals.

The Co Cr S ternary diagram at 1223 K and applications to corrosion

Ternary phase relations in the Co-Cr-S system at 1223 K were determined using microprobe analysis of quenched samples. The results are consistent with the data available on the binary systems. A complete solid solution exists between cobalt monosulfide and chromium monosulfide. The CoCr2S4 thiospinel is the only ternary compound formed. A sulfur potential diagram was constructed for the region involving equilibrium between alloy and monosulfide based on thermodynamic data on the Co-Cr, Co-S, and Cr-S binary systems and the ternary information obtained in this study. The sulfidation behavior of Co-Cr alloys reported in the literature is discussed in light of the sulfur potential diagram.

Phase relations and activities in the Co Ni O system at 1373 K

The tie-lines delineating equilibria between CoO-NiO and Co-Ni solid solutions in the ternary Co-Ni-O system at 1373 K have been determined by electron microprobe andedax point count analysis of the oxide phase equilibrated with the alloy. The oxygen potentials corresponding to the tie-line compositions have been measured using a solid oxide galvanic cell with calcia-stabilized zirconia electrolyte and Ni + NiO reference electrode. Activities in the metallic and oxide solid solution have been derived using a new Gibbs-Duhem integration technique. Both phases exhibit small positive deviations from ideality; the values ofG E/X 1 X 2 are 2640 J mol−1 for the metallic phase and 2870 J mol−1 for the oxide solid solution.

Interference Alignment Algorithms for the K User Constant MIMO Interference Channel

This paper considers the degrees of freedom (DOF) for a K user multiple-input multiple-output (MIMO) M x N interference channel using interference alignment (IA). A new performance metric for evaluating the efficacy of IA algorithms is proposed, which measures the extent to which the desired signal dimensionality is preserved after zero-forcing the interference at the receiver. Inspired by the metric, two algorithms are proposed for designing the linear precoders and receive filters for IA in the constant MIMO interference channel with a finite number of symbol extensions. The first algorithm uses an eigenbeamforming method to align sub-streams of the interference to reduce the dimensionality of the interference at all the receivers. The second algorithm is iterative, and is based on minimizing the interference leakage power while preserving the dimensionality of the desired signal space at the intended receivers. The improved performance of the algorithms is illustrated by comparing them with existing algorithms for IA using Monte Carlo simulations.

Measurement and modeling of Alloy-Spinel-Corundum equilibrium in the Ni-Mn-Al-0 system at 1873 K

The oxygen content of liquid Ni-Mn alloy equilibrated with spinel solid solution, (Ni,Mn)O. (1 +x)A12O3, and α-Al2O3 has been measured by suction sampling and inert gas fusion analysis. The corresponding oxygen potential of the three-phase system has been determined with a solid state cell incorporating (Y2O3)ThO2 as the solid electrolyte and Cr + Cr2O3 as the reference electrode. The equilibrium composition of the spinel phase formed at the interface of the alloy and alumina crucible was obtained using EPMA. The experimental data are compared with a thermodynamic model based on the free energies of formation of end-member spinels, free energy of solution of oxygen in liquid nickel, interaction parameters, and the activities in liquid Ni-Mn alloy and spinel solid solution. Mixing properties of the spinel solid solution are derived from a cation distribution model. The computational results agree with the experimental data on oxygen concentration, potential, and composition of the spinel phase.

Phase equilibria in the Co Ni F system and activities in (CoxNi1 x)F2 solid solutions at 1373 K

The tie-lines delineating equilibria between CoF2-NiF2 and Co-Ni solid solutions in the ternary Co-Ni-F system at 1373 K have been determined by electron microprobe and EDAX point count analysis of the equilibrated phases. Activities in the fluoride solid solution have been derived from the knowledge of activitycomposition relation in the metallic solid solution and tie-line data,using a modified form of the Gibbs-Duhem integration. The fluorine potentials corresponding to the tie-line compositions have been calculated.The excess Gibbs' energy of mixing for the fluoride solid solution derived from the present data can be represented by the expression