Circuit layout through an analogy with neural networks

Standard-cell design methodology is an important technique in semicustom-VLSI design. It lends itself to the easy automation of the crucial layout part, and many algorithms have been proposed in recent literature for the efficient placement of standard cells. While many studies have identified the Kerninghan-Lin bipartitioning method as being superior to most others, it must be admitted that the behaviour of the method is erratic, and that it is strongly dependent on the initial partition. This paper proposes a novel algorithm for overcoming some of the deficiencies of the Kernighan-Lin method. The approach is based on an analogy of the placement problem with neural networks, and, by the use of some of the organizing principles of these nets, an attempt is made to improve the behavior of the bipartitioning scheme. The results have been encouraging, and the approach seems to be promising for other NP-complete problems in circuit layout.

Modelling and analysis of the variance in parallelism in parallel computations

In this paper, we introduce an analytical technique based on queueing networks and Petri nets for making a performance analysis of dataflow computations when executed on the Manchester machine. This technique is also applicable for the analysis of parallel computations on multiprocessors. We characterize the parallelism in dataflow computations through a four-parameter characterization, namely, the minimum parallelism, the maximum parallelism, the average parallelism and the variance in parallelism. We observe through detailed investigation of our analytical models that the average parallelism is a good characterization of the dataflow computations only as long as the variance in parallelism is small. However, significant difference in performance measures will result when the variance in parallelism is comparable to or higher than the average parallelism.

Stochastic modelling of flexible manufacturing systems

Mathematical modelling plays a vital role in the design, planning and operation of flexible manufacturing systems (FMSs). In this paper, attention is focused on stochastic modelling of FMSs using Markov chains, queueing networks, and stochastic Petri nets. We bring out the role of these modelling tools in FMS performance evaluation through several illustrative examples and provide a critical comparative evaluation. We also include a discussion on the modelling of deadlocks which constitute an important source of performance degradation in fully automated FMSs.

Petri net-based modeling of a class of complex digital systems

We present through the use of Petri Nets, modeling techniques for digital systems realizable using FPGAs. These Petri Net models are used for logic validation at the logic design phase. The technique is illustrated by modeling practical circuits. Further, the utility of the technique with respect to timing analysis of the modeled digital systems is considered. Copyright (C) 1997 Elsevier Science Ltd

A decidable temporal logic with repeating values

Various logical formalisms with the freeze quantifier have been recently considered to model computer systems even though this is a powerful mechanism that often leads to undecidability. In this paper, we study a linear-time temporal logic with past-time operators such that the freeze operator is only used to express that some value from an infinite set is repeated in the future or in the past. Such a restriction has been inspired by a recent work on spatio-temporal logics. We show decidability of finitary and infinitary satisfiability by reduction into the verification of temporal properties in Petri nets. This is a surprising result since the logic is closed under negation, contains future-time and past-time temporal operators and can express the nonce property and its negation. These ingredients are known to lead to undecidability with a more liberal use of the freeze quantifier.

Coloured Petri net models for automated manufacturing systems

In this paper, we propose an approach, using Coloured Petri Nets (CPN) for modelling flexible manufacturing systems. We illustrate our methodology for a Flexible Manufacturing Cell (FMC) with three machines and three robots. We also consider the analysis of the FMC for deadlocks using the invariant analysis of CPNs.

A sharable instructable agent for information filtering

In this paper we present an information filtering agent called sharable instructable information filtering agent (SIIFA). It adopted the approach of sharable instructable agents. SIIFA provides comprehensible and flexible interaction to represent and filter the documents. The representation scheme in SIIFA is personalized. It, either fully or partly, can be shared among the users of the stream while not revealing their interests and can be easily edited. SIIFA is evaluated on the comp.ai.neural-nets Usent newsgroup documents and compared with the vector space method.

Temporal Logics of Repeating Values

Various logical formalisms with the freeze quantifier have been recently considered to model computer systems even though this is a powerful mechanism that often leads to undecidability. In this article, we study a linear-time temporal logic with past-time operators such that the freeze operator is only used to express that some value from an infinite set is repeated in the future or in the past. Such a restriction has been inspired by a recent work on spatio-temporal logics that suggests such a restricted use of the freeze operator. We show decidability of finitary and infinitary satisfiability by reduction into the verification of temporal properties in Petri nets by proposing a symbolic representation of models. This is a quite surprising result in view of the expressive power of the logic since the logic is closed under negation, contains future-time and past-time temporal operators and can express the nonce property and its negation. These ingredients are known to lead to undecidability with a more liberal use of the freeze quantifier. The article also contains developments about the relationships between temporal logics with the freeze operator and counter automata as well as reductions into first-order logics over data words.

Mechanistic Aspects for the Formation of Copper Dimer Bridged by Phosphonic Acid and Extending Its Dimensionality by Organic and Inorganic Linkers: Synthesis, Structural Characterization, Magnetic Properties, and Theoretical Studies

Six new copper metal complexes with formulas Cu(H2O)(2,2'-bpy) (H2L)](2) center dot H4L center dot 4 H2O (1), {Cu(H2O)(2,2'-bpy)-(H3L)}(2)(H2L)]center dot 2H(2)O (2), Cu(H2O)(1,10-phen)(H2L)](2)center dot 6H(2)O (3), Cu(2,2'-bpy)(H2L)](n)center dot nH(2)O (4), Cu(1,10-phen)(H2L)](n)center dot 3nH(2)O (5), and {Cu(2,2'-bpy)(MoO3)}(2)(L)](n)center dot 2nH(2)O (6) have been synthesized starting from p-xylylenediphosphonic acid (H4L) and 2,2'-bipyridine (2,2'-bpy) or 1,10-phenanthroline (1,10-phen) as secondary linkers and characterized by single crystal X-ray diffraction analysis, IR spectroscopy, and thermogravimetric (TG) analysis. All the complexes were synthesized by hydrothermal methods. A dinuclear motif (Cu-dimer) bridged by phosphonic acid represents a new class of simple building unit (SBU) in the construction of coordination architectures in metal phosphonate chemistry. The initial pH of the reaction mixture induced by the secondary linker plays an important role in the formation of the molecular phosphonates 1, 2, and 3. Temperature dependent hydrothermal synthesis of the compounds 1, 2, and 3 reveals the mechanism of the self assembly of the compounds based on the solubility of the phosphonic acid H4L. Two-dimensional coordination polymers 4, 5, and 6, which are formed by increasing the pH of the reaction mixture, comprise Cu-dimers as nodes, organic (H2L) and inorganic (Mo4O12) ligands as linkers. The void space-areas, created by the (4,4) connected nets in compounds 4 and 5, are occupied by lattice water molecules. Thus compounds 4 and 5 have the potential to accommodate guest species/molecules. Variable temperature magnetic studies of the compounds 3, 4, 5, and 6 reveal the antiferromagnetic interactions between the two Cu(II) ions in the eight membered ring, observed in their crystal structures. A density functional theory (DFT) calculation correlates the conformation of the Cu-dimer ring with the magnitude of the exchange parameter based on the torsion angle of the conformation.

Experimental Studies on the Kinematics of Cutting in Granular Materials

Slow flow in granular materials is characterized by high solid fraction and sustained inter-particle interaction. The kinematics of trawling or cutting is encountered in processes such as locomotion of organisms in sand; trawl gear movement on a soil deposit; plow movement; movement of rovers, earth moving equipment etc. Additionally, this configuration is very akin to shallow drilling configuration encountered in the mining and petroleum industries. An experimental study has been made in order to understand velocity and deformation fields in cutting of a model rounded sand. Under nominal plane strain conditions, sand is subjected to orthogonal cutting at different tool-rake angles. High-resolution optical images of the region of cutting were obtained during the flow of the granular ensemble around the tool. Interesting kinematics underlying the formation of a chip and the evolution of the deformation field is seen in these experiments. These images are also analyzed using a PIV algorithm and detailed information of the deformation parameters such as velocity, strain rate and volume change is obtained.

New Structural Topologies in a Series of 3d Metal Complexes with Isomeric Phenylenediacetates and 1,3,5-Tris(1-imidazolyl)benzene Ligand: Syntheses, Structures, and Magnetic and Luminescence Properties

In this article we present the syntheses, characterizations, magnetic and luminescence properties of five 3d-metal complexes, Co(tib)(1,2-phda)](n)center dot(H2O)(n) (1), Co-3(tib)(2)(1,3-phda)(3)(H2O)](n)center dot(H2O)(2n) (2), Co-5(tib)(3)(1,4-phda)(5)(H2O)(3)](n)center dot(H2O)(7n) (3), Zn-3(tib)(2)(1,3-phda)(3)](n)center dot(H2O)(4n) (4), and Mn(tib)(2)(H2O)(2)](n)center dot(1,4-phdaH)(2n)center dot(H2O)(4n) (5), obtained from the use of isomeric phenylenediacetates (phda) and the neutral 1,3,5-tris(1-imidazolyl)benzene (tib) ligand. Single crystal X-ray structures showed that 1 constitutes 3,5-connected 2-nodal nets with a double-layered two-dimensional (2D) structure, while 2 forms an interpenetrated 2D network (3,4-connected 3-nodal net). Complex 3 has a complicated three-dimensional structure with 10-nodal 3,4,5-connected nets. Complex 4, although it resembles 2 in stoichiometry and basic building structures, forms a very different overall 2D assembly. In complex 5 the dicarboxylic acid, upon losing only one of the acidic protons, does not take part in coordination; instead it forms a complicated hydrogen bonding network with water molecules. Magnetic susceptibility measurements over a wide range of temperatures revealed that the metal ions exchange very poorly through the tib ligand, but for the Co(II) complexes the effects of nonquenched orbital contributions are prominent. The 3d(10) metal complex 4 showed strong luminescence with lambda(max) = 415 nm (lambda(ex) = 360 nm).

A provably tight delay-driven concurrently congestion mitigating global routing algorithm

Routing is a very important step in VLSI physical design. A set of nets are routed under delay and resource constraints in multi-net global routing. In this paper a delay-driven congestion-aware global routing algorithm is developed, which is a heuristic based method to solve a multi-objective NP-hard optimization problem. The proposed delay-driven Steiner tree construction method is of O(n(2) log n) complexity, where n is the number of terminal points and it provides n-approximation solution of the critical time minimization problem for a certain class of grid graphs. The existing timing-driven method (Hu and Sapatnekar, 2002) has a complexity O(n(4)) and is implemented on nets with small number of sinks. Next we propose a FPTAS Gradient algorithm for minimizing the total overflow. This is a concurrent approach considering all the nets simultaneously contrary to the existing approaches of sequential rip-up and reroute. The algorithms are implemented on ISPD98 derived benchmarks and the drastic reduction of overflow is observed. (C) 2014 Elsevier Inc. All rights reserved.

Factors affecting distribution of fish within a tidally drained mangrove forest in the Andaman and Nicobar Islands, India

Mangrove forests in meso-tidal areas are completely drained during low tides, forming only temporary habitats for fish. We hypothesised that in such temporary habitats, where stranding risks are high, distance from tidal creeks that provided access to inundated areas during receding tides would be the primary determinant of fish distribution. Factors such as depth, root density and shade were hypothesised to have secondary effects. We tested these hypotheses in a tidally drained mangrove patch in the Andaman Islands, India. Using stake nets, we measured fish abundance and species richness relative to distance from creeks, root density/m(2), shade, water depth and size (total length) of fish. We also predicted that larger fish (including potential predators) would be closer to creeks, as they faced a greater chance of mortality if stranded. Thus we conducted tethering trials to examine if predation would be greater close to the creeks. Generalised linear mixed effects models showed that fish abundance was negatively influenced by increasing creek distance interacting with fish size and positively influenced by depth. Quantile regression analysis showed that species richness was limited by increasing creek distance. Proportion of predation was greatest close to the creeks (0-25 m) and declined with increasing distance. Abundance was also low very close to the creeks, suggesting that close to the creeks predation pressure may be an important determinant of fish abundance. The overall pattern however indicates that access to permanently inundated areas, may be an important determinant of fish distribution in tidally drained mangrove forests.

Accelerating method of moments based package-board 3D parasitic extraction using FPGA

In this article, a Field Programmable Gate Array (FPGA)-based hardware accelerator for 3D electromagnetic extraction, using Method of Moments (MoM) is presented. As the number of nets or ports in a system increases, leading to a corresponding increase in the number of right-hand-side (RHS) vectors, the computational cost for multiple matrix-vector products presents a time bottleneck in a linear-complexity fast solver framework. In this work, an FPGA-based hardware implementation is proposed toward a two-level parallelization scheme: (i) matrix level parallelization for single RHS and (ii) pipelining for multiple-RHS. The method is applied to accelerate electrostatic parasitic capacitance extraction of multiple nets in a Ball Grid Array (BGA) package. The acceleration is shown to be linearly scalable with FPGA resources and speed-ups over 10x against equivalent software implementation on a 2.4GHz Intel Core i5 processor is achieved using a Virtex-6 XC6VLX240T FPGA on Xilinx's ML605 board with the implemented design operating at 200MHz clock frequency. (c) 2016 Wiley Periodicals, Inc. Microwave Opt Technol Lett 58:776-783, 2016