Extended colored Petri net: An efficient tool for analyzing concurrent systems

This paper proposes a novel and simple definition of general colored Petri nets. This definition is coherent with that of (uncolored) Petri nets, preserves the reflexivity of the original net and is extended to represent inhibitors. Also suggested are systematic and formal merging rules to obtain a well-formed structure of the extended colored Petri net by folding a given uncolored net. Finally, we present a technique to compute colored invariants by selecting colored RP-subnets. On the average, the proposed technique performs better than the existing ones. The analysis procedure is explained through an illustrative example of a three-level interrupt-priority-handler scheme.

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.

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

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.

Multi-decadal variation of the net downward shortwave radiation over south Asia: The solar dimming effect

The solar radiation flux at the earth's surface has gone through decadal changes of decreasing and increasing trends over the globe. These phenomena known as dimming and brightening, respectively, have attracted the scientific interest in relation to the changes in radiative balance and climate. Despite the interest in the solar dimming/brightening phenomenon in various parts of the world, south Asia has not attracted great scientific attention so far. The present work uses the net downward shortwave radiation (NDSWR) values derived from satellites (Modern Era Retrospective-analysis for Research and Applications, MERRA 2D) in order to examine the multi-decadal variations in the incoming solar radiation over south Asia for the period of 1979-2004. From the analysis it is seen that solar dimming continues over south Asia with a trend of -0.54 Wm(-2) yr(-1). Assuming clear skies an average decrease of -0.05 Wm(-2)yr(-1) in NDSWR was observed, which is attributed to increased aerosol emissions over the region. There is evidence that the increase in cloud optical depth plays the major role for the solar dimming over the area. The cloud optical depth (MERRA retrievals) has increased by 10.7% during the study period, with the largest increase to be detected for the high-level (atmospheric pressure P < 400 hPa) clouds (31.2%). Nevertheless, the decrease in solar radiation and the role of aerosols and clouds exhibit large monthly and seasonal variations directly affected by the local monsoon system, the anthropogenic and natural aerosol emissions. All these aspects are examined in detail aiming at shedding light into the solar dimming phenomenon over a densely populated area. (C) 2011 Elsevier Ltd. All rights reserved.

Petri net based performance modeling for effective DVFS for multithreaded programs

Dynamic Voltage and Frequency Scaling (DVFS) is a very effective tool for designing trade-offs between energy and performance. In this paper, we use a formal Petri net based program performance model that directly captures both the application and system properties, to find energy efficient DVFS settings for CMP systems, that satisfy a given performance constraint, for SPMD multithreaded programs. Experimental evaluation shows that we achieve significant energy savings, while meeting the performance constraints.

Effect of Net-Fluence on waveguide formation in ultrafast laser inscribed chalcogenide glass

Waveguides were fabricated on GeGaSEr chalcogenide glass using ultrafast laser inscription method. The thermal diffusion model is discussed for understanding the light matter interaction and shown the effect of net-fluence in waveguide formation on chalcogenide glass. (C) 2012 Optical Society of America

Large-Scale Elastic Net Regularized Linear Classification SVMs and Logistic Regression

Elastic Net Regularizers have shown much promise in designing sparse classifiers for linear classification. In this work, we propose an alternating optimization approach to solve the dual problems of elastic net regularized linear classification Support Vector Machines (SVMs) and logistic regression (LR). One of the sub-problems turns out to be a simple projection. The other sub-problem can be solved using dual coordinate descent methods developed for non-sparse L2-regularized linear SVMs and LR, without altering their iteration complexity and convergence properties. Experiments on very large datasets indicate that the proposed dual coordinate descent - projection (DCD-P) methods are fast and achieve comparable generalization performance after the first pass through the data, with extremely sparse models.

Stabilization of Co-3 - Oxoclusters in a pcu Net: Synthesis, Structure, Solvent Exchange (Single Crystal to Single Crystal) and Magnetic Studies

The solvothermal reaction of CoCl(2)4H(2)O and 4,4-sulfonyldibenzoic acid (H(2)SDBA) resulted in the formation of a three-dimensional coordination polymer Co-3(C14H8O6S)(3)(DMA)(2)(MeOH)].DMA (Ia) consisting of trinuclear Co-3 oxo-cluster units. The Co-3 trimeric units are connected by SDBA(2-) anions leading to a three dimensional structure with a pcu topology. The terminal methanol molecules could be exchanged in a single crystal to single crystal (SCSC) fashion by other similar solvent molecules (ethanol, acetonitrile, water, ethyleneglycol). Magnetic studies on the parent compound, Ia, indicate antiferromagnetic interactions between the central metal atoms.

Net-like Ferromagnetic Mnsb Film Deposited on Porous Silicon Substrates

MnSb films were deposited on porous silicon substrates by physical vapor deposition (PVD) technique. Modulation effects due to the substrate on microstructure and magnetic properties of the MnSb film's were studied by scanning electron microscope (SEM), X-ray diffraction (XRD) and measurements of hysteresis loops. SEM images of the MnSb films indicate that net-like structures were obtained because of the special morphology of the substrates. The net-like MnSb films exhibit some novel magnetic properties different from the unpatterned referenced samples. For example, in the case of net-like morphology, the coercive field is as low as 60 Oe.

The Rise and Fall of Water Net (Hydrodictyon reticulatum) in New Zealand

During the late 1980s to early 1990s a range of aquatic habitats in the central North Island of New Zealand were invaded by the filamentous green alga, water net Hydrodictyon reticulatum (Linn. Lagerheim). The alga caused significant economic and recreational impacts at major sites of infestation, but it was also associated with enhanced invertebrate numbers and was the likely cause of an improvement in the trout fishery. The causes of prolific growth of water net and the range of control options pursued are reviewed. The possible causes of its sudden decline in 1995 are considered, including physical factors, increase in grazer pressure, disease, and loss of genetic vigour.

Desarrollo de la herramienta Admintool usando tecnología .NET

Desarrollo de la herramienta ADMINTOOL para administración de la plataforma Microsoft (Active Directory , Permisos NTFS), en base a tecnologia .NET

A methodology for the semiautomatic annotation of EPEC-RolSem, a basque corpus labeled at predicative level following the PropBank-Verb Net model

In this article we describe the methodology developed for the semiautomatic annotation of EPEC-RolSem, a Basque corpus labeled at predicate level following the PropBank-VerbNet model. The methodology presented is the product of detailed theoretical study of the semantic nature of verbs in Basque and of their similarities and differences with verbs in other languages. As part of the proposed methodology, we are creating a Basque lexicon on the PropBank-VerbNet model that we have named the Basque Verb Index (BVI). Our work thus dovetails the general trend toward building lexicons from tagged corpora that is clear in work conducted for other languages. EPEC-RolSem and BVI are two important resources for the computational semantic processing of Basque; as far as the authors are aware, they are also the first resources of their kind developed for Basque. In addition, each entry in BVI is linked to the corresponding verb-entry in well-known resources like PropBank, VerbNet, WordNet, Levin’s Classification and FrameNet. We have also implemented several automatic processes to aid in creating and annotating the BVI, including processes designed to facilitate the task of manual annotation.

A schematic analysis and discussion of species taken by otter trawl net by the research vessel Orion from July, 1965 to June 1966 in the Chesapeake Bay and major tributaries

From July 1965 to June 1964 the Natural Resources Institute's Research Vessel ORION took 16 minute tows with a forty (40) foot otter trawl net at 38 selected locations in Chesapeake Bay from the south of the Potomac River to Turkey Point at the head of the Bay and including some tributaries. Shallow and deep hauls were taken at most stations with depths ranging from 5 to 140 feet. A schematic summary of the 54 different species caught was compared with "Fishes of the Chesapeake Bay" by S. F. Hildebrand and W. C. Schroeder. Sixteen species including five not contained in the above references were selected for discussion. (PDF contains 21 pages)