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.

A methodology for spirocyclopentannulation. Stereoselective total synthesis of (+/-)-tochuinyl acetate and (+/-)-dihydrotochuinyl acetate

A methodology based on Claisen rearrangement and Wacker oxidation for the spirocyclopentannulation of ketones, and its application to a highly stereoselective first total synthesis of dihydrotoch

Radical Cyclization Methodology to Lignans: Synthesis of (.+-.)- Enterolactone

Synthesis of enterolactone, the first lignan of human origin, starting from 3-methoxycinnamyl alcohol employing a 5-exo-trig radical cyclisation reaction of mixed bromoacetal as the key step is described.

Structured systems methodology for evaluation of random interruptions in continuous process type manufacturing systems

A structured systems methodology was developed to analyse the problems of production interruptions occurring at random intervals in continuous process type manufacturing systems. At a macro level the methodology focuses on identifying suitable investment policies to reduce interruptions of a total manufacturing system that is a combination of several process plants. An interruption-tree-based simulation model was developed for macroanalysis. At a micro level the methodology focuses on finding the effects of alternative configurations of individual process plants on the overall system performance. A Markov simulation model was developed for microlevel analysis. The methodology was tested with an industry-specific application.

A convenient enantiospecific methodology for (-)-(1R,5S)-1,5-dimethylbicyclo[3.3.0]octa-2,7-dione: A formal total synthesis of (-)-ceratopicanol

An enantiospecific formal total synthesis of (-)-ceratopicanol starting from the readily and abundantly available monoterpene (R)-limonene is described. A combination of Claisen rearrangement-intramolecular diazo-ketone cyclopropanation-regiospecific reductive cyclopropane cleavage reactions are employed for the stereo- and regiospecific generation of the two vicinal ring junction quaternary carbon atoms.

Synthesis based on cyclohexadienes Part 36: an efficient methodology for the construction of spiro[4.5]decanes: a formal synthesis of acorone

An efficient strategy for the contruction of spiro[4.5] decanes is described and involves a bridgehead substitution of a methoxyl group by a methyl group followed by an oxidative cleavage of the tricyclo[5.2.2.0(1,5)] undecane 25 to produce the spiro[4.5] decanes 31 & 32 which are intermediates in the synthesis of acorone. A novel one-pot conversion of alpha-methoxy carboxylic acid to alpha-methyl carboxylic acid is described.

A design methodology for selecting and placement of sensors in multimedia surveillance systems

This paper addresses the problem of how to select the optimal number of sensors and how to determine their placement in a given monitored area for multimedia surveillance systems. We propose to solve this problem by obtaining a novel performance metric in terms of a probability measure for accomplishing the task as a function of set of sensors and their placement. This measure is then used to find the optimal set. The same measure can be used to analyze the degradation in system 's performance with respect to the failure of various sensors. We also build a surveillance system using the optimal set of sensors obtained based on the proposed design methodology. Experimental results show the effectiveness of the proposed design methodology in selecting the optimal set of sensors and their placement.

A Refined Methodology for Durability-Based Service Life Estimation of Reinforced Concrete Structural Elements Considering Fuzzy and Random Uncertainties

A reliable method for service life estimation of the structural element is a prerequisite for service life design. A new methodology for durability-based service life estimation of reinforced concrete flexural elements with respect to chloride-induced corrosion of reinforcement is proposed. The methodology takes into consideration the fuzzy and random uncertainties associated with the variables involved in service life estimation by using a hybrid method combining the vertex method of fuzzy set theory with Monte Carlo simulation technique. It is also shown how to determine the bounds for characteristic value of failure probability from the resulting fuzzy set for failure probability with minimal computational effort. Using the methodology, the bounds for the characteristic value of failure probability for a reinforced concrete T-beam bridge girder has been determined. The service life of the structural element is determined by comparing the upper bound of characteristic value of failure probability with the target failure probability. The methodology will be useful for durability-based service life design and also for making decisions regarding in-service inspections.