Performance modelling of a fault-tolerant real-time multiprocessor using stochastic Petri nets

The fault-tolerant multiprocessor (ftmp) is a bus-based multiprocessor architecture with real-time and fault- tolerance features and is used in critical aerospace applications. A preliminary performance evaluation is of crucial importance in the design of such systems. In this paper, we review stochastic Petri nets (spn) and developspn-based performance models forftmp. These performance models enable efficient computation of important performance measures such as processing power, bus contention, bus utilization, and waiting times.

A study of placement algorithms through trial interchange of logic modules

Based on trial interchanges, this paper develops three algorithms for the solution of the placement problem of logic modules in a circuit. A significant decrease in the computation time of such placement algorithms can be achieved by restricting the trial interchanges to only a subset of all the modules in a circuit. The three algorithms are simulated on a DEC 1090 system in Pascal and the performance of these algorithms in terms of total wirelength and computation time is compared with the results obtained by Steinberg, for the 34-module backboard wiring problem. Performance analysis of the first two algorithms reveals that algorithms based on pairwise trial interchanges (2 interchanges) achieve a desired placement faster than the algorithms based on trial N interchanges. The first two algorithms do not perform better than Steinberg's algorithm1, whereas the third algorithm based on trial pairwise interchange among unconnected pairs of modules (UPM) and connected pairs of modules (CPM) performs better than Steinberg's algorithm, both in terms of total wirelength (TWL) and computation time.

On the invariants of coloured Petri Nets

In this paper, we develop a theorem that enables computation of the place invariants of the union of a finite collection of coloured Petri Nets when the individual nets satisfy certain conditions and their invariants are known. We consider the illustrative examples of the Readers-Writers problem, a resource sharing system, and a network of databases and show how this theorem is a valuable tool in the analysis of concurrent systems.

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.

Thiol-Disulfide Interchange Mediated Reversible Dendritic Megamer Formation and Dissociation

We report the formation of dynamic, reversible cross-linked dendritic megamers and their dissociation to monomeric dendrimers, through a thiol-disulfide interchange reaction. For this study, poly(alkyl aryl ether) dendrimers up to three-generations presenting thiol functionalities, were prepared. The series from zero to three generations of dendrimers were installed with 3, 6, 12, and 24 thiol functionalities at their peripheries. Upon synthesis, cross-linking of the dendrimer was accomplished through disulfide bond formation. The cross-linking of dendrimers was monitored through optical density changes at 420 nm. Dense cross-linking led to visible precipitation of dendritic megamers and the morphologies of the megamers were characterized by transmission electron microscopy. The disulfide cross-links between megamer monomers could be dissociated readily upon reduction of disulfide bond by dithiothreitol reagent. Preliminary studies show that dendritic megamers encapsulate C-60 and the efficiency of encapsulation increased with increasing generation of dendritic megamer.

Graphical simulation of Petri Nets

An interactive graphics package for modeling with Petri Nets has been implemented. It uses the VT-11 graphics terminal supported on the PDP-11/35 computer to draw, execute, analyze, edit and redraw a Petri Net. Each of the above mentioned tasks can be performed by selecting appropriate items from a menu displayed on the screen. Petri Nets with a reasonably large number of nodes can be created and analyzed using this package. The number of nodes supported may be increased by making simple changes in the program. Being interactive, the program seeks information from the user after displaying appropriate messages on the terminal. After completing the Petri Net, it may be executed step by step and the changes in the number of tokens may be observed on the screen, at each place. Some properties of Petri Nets like safety, boundedness, conservation and redundancy can be checked using this package. This package can be used very effectively for modeling asynchronous (concurrent) systems with Petri Nets and simulating the model by “graphical execution.”

Amine-Templated Aluminoborates Exhibiting Graphite and Diamond Nets

A solvothermal reaction of Al2O3, H3BO3, pyridine, and H2O at 180 degrees C/7 days in the presence of organic amine molecules gave rise to four new aluminoborates, [(C6H18N2)(AlB6O13H3)], I; [(C5H16N2) (AlB5O10)]center dot 2H(2)O, II; [(C5H16N2)-(AlB5O10)], III; and [(C5H17N3)(AlB5O10)] center dot H2O, IV, with two- and three-dimensional structures. All the structures have been formed by the connectivity involving Al3+ ions and [B5O10] cyclic pentaborate units. In 1, the 3-connected trigonal nodes form a layer that resembles a graphite structure has been observed. The compounds II, III, and IV, have 4-connected nodes that forms a diamond related three-dimensional structure. The formation of solvatomorphs in II and III is noteworthy and has been observed first time in a family of amine template aluminoborates. A comparison of the various aluminoborate structures reveals subtle relationships between the organic amines (length of the amines) and the final framework structures. The compounds have been characterized using a variety of techniques including IR, second-order optical behavior, and MAS NMR studies.

A new methodology for analyzing distributed systems modeled by petri nets

Distributed computing systems can be modeled adequately by Petri nets. The computation of invariants of Petri nets becomes necessary for proving the properties of modeled systems. This paper presents a two-phase, bottom-up approach for invariant computation and analysis of Petri nets. In the first phase, a newly defined subnet, called the RP-subnet, with an invariant is chosen. In the second phase, the selected RP-subnet is analyzed. Our methodology is illustrated with two examples viz., the dining philosophers' problem and the connection-disconnection phase of a transport protocol. We believe that this new method, which is computationally no worse than the existing techniques, would simplify the analysis of many practical distributed systems.

S-nets: A Petri net based model for performance evaluation of real-time scheduling algorithms

A new class of nets, called S-nets, is introduced for the performance analysis of scheduling algorithms used in real-time systems Deterministic timed Petri nets do not adequately model the scheduling of resources encountered in real-time systems, and need to be augmented with resource places and signal places, and a scheduler block, to facilitate the modeling of scheduling algorithms. The tokens are colored, and the transition firing rules are suitably modified. Further, the concept of transition folding is used, to get intuitively simple models of multiframe real-time systems. Two generic performance measures, called �load index� and �balance index,� which characterize the resource utilization and the uniformity of workload distribution, respectively, are defined. The utility of S-nets for evaluating heuristic-based scheduling schemes is illustrated by considering three heuristics for real-time scheduling. S-nets are useful in tuning the hardware configuration and the underlying scheduling policy, so that the system utilization is maximized, and the workload distribution among the computing resources is balanced.

Small strong epsilon nets

Let P be a set of n points in R-d. A point x is said to be a centerpoint of P if x is contained in every convex object that contains more than dn/d+1 points of P. We call a point x a strong centerpoint for a family of objects C if x is an element of P is contained in every object C is an element of C that contains more than a constant fraction of points of P. A strong centerpoint does not exist even for halfspaces in R-2. We prove that a strong centerpoint exists for axis-parallel boxes in Rd and give exact bounds. We then extend this to small strong epsilon-nets in the plane. Let epsilon(S)(i) represent the smallest real number in 0, 1] such that there exists an epsilon(S)(i)-net of size i with respect to S. We prove upper and lower bounds for epsilon(S)(i) where S is the family of axis-parallel rectangles, halfspaces and disks. (C) 2014 Elsevier B.V. All rights reserved.

Interpenetrated and Catenated Zinc Thiosulfates Frameworks with dia and qtz Nets: Synthesis, Structure, and Properties

Reactions between Zn(NO3)(2)center dot 6H(2)O, Na2S2O3, 4,4'-bipyridine (bpy), 1,2-bis(4-pyridyl)ethene (bpe), 1,2-bis (4-pyridyl) ethane (bpa), and 1,3-bis(4-pyridyl)propane (bpp) under solvothermal conditions resulted in four new zinc thiosulfate hybrid compounds. Compound I has four-membered zinc thiosulfate rings connected by the ligand, 1,3-bis(4-pyridyl)propane (bpp) forming a two-dimensional structure. Compounds II-IV have one-dimensional zinc thiosulfate chains connected by the ligands, bpy (II), bpe (III), and bpa (IV) giving rise to three-dimensional structures. All the four-structures exhibit 3-fold interpenetration. Proton conductivity studies indicate reasonable proton mobility at 34 degrees C and at 98% relative humidity. The compounds also exhibit Lewis acid character and good photocatalytic activity for the decomposition of cationic dyes.

A Synthetic Model for the Inhibition of Glutathione Peroxidase by Antiarthritic Gold Compounds

In this paper, inhibition of the glutathione peroxidase activity of two synthetic organoselenium compounds, bis[2-(N,N-dimethylamino)benzyl]diselenide (5) and bis[2-(N,N-dimethylamino)benzyl]selenide (9), by gold(I) thioglucose (1), chloro(triethylphosphine)gold(I), chloro(trimethylphosphine)gold(I), and chloro(triphenylphosphine)gold(I) is described. The inhibition is found to be competitive with respect to a peroxide (H2O2) substrate and noncompetitive with respect to a thiol (PhSH) cosubstrate. The diselenide 5 reacts with PhSH to produce the corresponding selenol (6), which upon treatment with 1 equiv of gold(I) chlorides produces the corresponding gold selenolate complexes 11−13. However, the addition of 1 equiv of selenol 6 to complexes 11−13 leads to the formation of bis-selenolate complex 14 by ligand displacement reactions involving the elimination of phosphine ligands. The phosphine ligands eliminated from these reactions are further converted to the corresponding phosphine oxides (R3PO) and selenides (R3PSe). In addition to the replacement of the phosphine ligand by selenol 6, an interchange between two different phosphine ligands is also observed. For example, the reaction of complex 11 having a trimethylphosphine ligand with triphenylphosphine produces complex 13 by phosphine interchange reactions via the formation of intermediates 15 and 16. The reactivity of selenol 6 toward gold(I) phosphines is found to be similar to that of selenocysteine.

Medium-Coupled Bus-Based INS-GPS Sensor Fusion for Accurate and Reliable Positioning

A scheme for integration of stand-alone INS and GPS sensors is presented, with data interchange over an external bus. This ensures modularity and sensor interchangeability. Use of a medium-coupled scheme reduces data flow and computation, facilitating use in surface vehicles. Results show that the hybrid navigation system is capable of delivering high positioning accuracy.

Jump Reorientation of Water Molecules Confined in Narrow Carbon Nanotubes

We used molecular dynamics (MD) simulations to study the reorientational dynamics of water molecules confined inside narrow carbon nanotubes immersed in a bath of water. Our simulations show that the confined water molecules exhibit bistability in their reorientational relaxation, which proceeds by angular jumps between the two stable states. The angular jump of a water molecule in the bulk involves the breaking of a hydrogen bond with one of its neighbors and the formation of a hydrogen bond with a different neighbor. In contrast, the angular jump of a confined water molecule corresponds to an interchange of the two hydrogen atoms that can form a hydrogen bond with the same neighbor. The free energy barrier between these two states is a few k(B)T. The analytic solution of a simplified two-state jump model that qualitatively explains the reorientational behavior observed in simulations is also presented.