97 research outputs found
Recommended from our members
The use of Petri nets for modeling pipelined processors
This paper discusses the use of Petri Nets for modeling and analyzing pipelined processors. Petri Nets are particularly well-suited to modeling the synchronization, buffering, resource contention and delicate timing so common in pipelined processors. Tools for simulating, animating and analyzing the behavior of the models are described. The usefulness of the tools and the analysis methods they support in evaluating the performance and analyzing the detailed timing of pipelined microprocessors is illustrated through an example
Recommended from our members
Modeling and simulation of data communication networks using SARA
The selection of an appropriate simulation language can have a profound impact on the success of a simulation study. The available options range from domain-specific simulation languages to general-purpose programming languages. These languages are often supported by a collection of tools which form a simulation system. This paper examines UCLA's SARA (Systems ARchitects' Apprentice) system and explores its' usefulness in modeling and simulating a data communications network. Based on experimental use of SARA's tools, the system is evaluated with respect to required expertise, modeling power, as well as measurement and reporting capability
Recommended from our members
Computer-aided analysis of concurrent systems
The introduction of concurrency into programs has added to the complexity of the software design process. This is most evident in the design of communications protocols where concurrency is inherent to the behavior of the system. The complexity exhibited by such software systems makes more evident the needs for computer-aided tools for automatically analyzing behavior.The Distributed Systems project at UCI has been developing a suite of tools, based on Petri nets, which support the design and evaluation of concurrent software systems. This paper focuses attention on one of the tools: the reachability graph analyzer (RGA). This tool provides mechanisms for proving general system properties (e.g., deadlock-freeness) as well as system-specific properties. The tool is sufficiently general to allow a user to apply complex user-defined analysis algorithms to reachability graphs. The alternating-bit protocol with a bounded channel is used to demonstrate the power of the tool and to point to future extensions
Recommended from our members
Tools for efficient analysis of concurrent software systems
The ever increasing use of distributed computing as a method of providing added computing power and reliability has sparked interest in methods to model and analyze concurrent hardware/ software systems. Efficient automated analysis tools are needed to aid designers of such systems. The Distributed Systems Project at UCI has been developing a suite of tools (dubbed the P-NUT system) which supports efficient analysis of models of concurrent software. This paper presents the principles which guide the development of P-NUT tools and discusses the development of one of the tools: the Reachability Graph Builder (RGB). The P-NUT approach to tool development has resulted in the production of a highly efficient tool for constructing reachability graphs. The careful design of data structures and associated algorithms has significantly enlarged the class of models which can be analyzed
Recommended from our members
Performance analysis using timed Petri Nets
Petri Nets have been successfully used to model and evaluate the performance of distributed systems. Several researchers have extended the basic Petri Net model to include time, and have demonstrated that restricted classes of Petri Nets can be analyzed efficiently. Unfortunately, the restrictions prohibit the techniques from being applied to many interesting systems, e.g. communication protocols. This paper proposes a version of timed Petri Nets which accurately models communication protocols, and which can be analyzed using Timed Reachability Graphs. Procedures for constructing and analyzing these graphs are presented. The analysis is shown to be applicable to a larger class of Timed Petri Nets than previously thought. The model and the analysis technique are demonstrated using a simple communication protocol
Optimization of rain-fed intercropping system based on olive trees and annual crops in northern Morocco
info:eu-repo/semantics/publishedVersio
Recommended from our members
A guided tour of P-Nut (Release 2.2)
P-NUT is a suite of tools for constructing and analyzing Petri Net models. The tools have been developed at UCI to aid researchers in applying Petri Nets to the design of concurrent hardware/software. The tools support state-space analysis, simulation, performance evaluation and verification. While the tools are useful in their current state, the P-NUT system is just beginning to achieve its overall objective of aiding in the design of complex distributed real-time systems. This report provides a guided tour of the tools for researchers who are interested in exploring P-NUT's capabilities
Chitin/Chitosan’s Bio-Fertilizer: Usage in Vegetative Growth of Wheat and Potato Crops
This chapter consists of valuing the chitosan to create bio-fertilizers as fertilizers without going through the composting process because of their richness in the nutrient base elements of plants: nitrogen and phosphorus. Physicochemical analyses of the chitosan focused on pH, dry matter, organic matter, nitrogen, phosphorus and potassium as well as IR and XRD. The samples thus prepared were monitored for 15 days. PH, temperature and conductivity were monitored daily. According to the physicochemical analyses of waste (nitrogen, phosphorus and potassium) and the nutritional needs of our selected crop (soft wheat, Arrehane variety which are 90-90-50 U/ha), several doses are then determined for the purpose of the optimal formula after their application on the crop. An application of bio-fertilizer on the potato was also undertaken. Follow-ups were carried out during this study, such as the monitoring of the vegetative growth of wheat and the mineralization of the soil via its physicochemical analyses. The results show that our bio-fertilizer is rich in nitrogen with 4.98% and phosphorus with 1.42% and mineralizes quickly on the ground while leaving the soft wheat to absorb its nutrients effectively and improving its growth properties, then giving good yields
The derivation of performance expressions for communication protocols from timed Petri net models
Petri Net models have been extended in a variety of ways and have been used to prove the correctness and evaluate the performance of communication protocols. Several extensions have been proposed to model time. This work uses a form of Timed Petri Nets and presents a technique for symbolically deriving expressions which describe system performance. Unlike past work on performance evaluation of Petri Nets which assumes a priori knowledge of specific time delays, the technique presented here applies to a wide range of time delays so long as the delays satisfy a set of timing constraints. The technique is demonstrated using a simple communication protocol
Yield gaps and nutrients use efficiency of apple tree (golden delicious/MM106) in the middle Atlas Mountains of Morocco
The main objective of this work was to evaluate use efficiency of nitrogen, phosphorus, potassium, calcium and magnesium in adult apple orchards in the Middle Atlas of Morocco and to establish preliminary reference norms for fertilizing this crop under local conditions. The study was based on soil and leaf analysis and data with regard to farming practices and yield on forty apple orchards (cv. Golden delecious/MM106) where nineteen are growing on silty-clay soil and twenty-one on sandy-loam soil. The results showed significant correlations between leaf content for each nutrient and yield level following polynomial equations, thereby indicating local reference norms for apple leaf analysis. Moreover, correlations were significant between leaf and soil contents that permitted to determine apple needs in nitrogen fertilizer and references norms for soil richness in phosphorus, potassium, calcium and magnesium to obtain yield potential in the study region. However, the found norms are less than International standards because of feebleness of yield level in the study region, largely related to deficient cultural practices adopted by farmers. In addition, investigation of leaf nutrients ratios N/K, N/Ca, K/Ca, K/Mg and Ca/Mg showed that there was disharmony in uptake of these nutrients originating particularly from high soil richness in Ca and Mg. Taking into account these considerations, the found references norms can be applied only under the adopted farming practices. Nevertheless, by improving local practices, reference values may change
- …