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.

A Method for Evaluation of Product Lifecycle Alternatives under Uncertainty

In each stage of product development, we need to take decisions, by evaluating multiple product alternatives based on multiple criteria. Classical evaluation methods like weighted objectives method assumes certainty about information available during product development. However, designers often must evaluate under uncertainty. Often the likely performance, cost or environmental impacts of a product proposal could be estimated only with certain confidence, which may vary from one proposal to another. In such situations, the classical approaches to evaluation can give misleading results. There is a need for a method that can aid in decision making by supporting quantitative comparison of alternatives to identify the most promising alternative, under uncertain information about the alternatives. A method called confidence weighted objectives method is developed to compare the whole life cycle of product proposals using multiple evaluation criteria under various levels of uncertainty with non crisp values. It estimates the overall worth of proposal and confidence on the estimate, enabling deferment of decision making when decisions cannot be made using current information available.

Evaluation of the Quality of Drinking Water in Kerala State, India

The quality of tap water from water supplies from 14 districts of Kerala state, India was studied. Parameters like pH, water temperature, total dissolved solids, salinity, nitrates, chloride, hardness, magnesium, calcium, sodium, potassium, fluoride, sulphate, phosphates, and coliform bacteria were enumerated. The results showed that all water samples were contaminated by coliform bacteria. About 20% of the tap water samples from Alappuzha and 15% samples from Palakkad district are above desirable limits prescribed by Bureau of Indian Standards. The contamination of the source water (due to lack of community hygiene) and insufficient treatment are the major cause for the coliform contamination in the state. Water samples from Alappuzha and Palakkad have high ionic and fluoride content which could be attributed to the geology of the region. Water supplied for drinking in rural areas are relatively free of any contamination than the water supplied in urban area by municipalities, which may be attributed higher chances of contamination in urban area due to mismanagement of solid and liquid wastes. The study highlights the need for regular bacteriological enumeration along with water quality in addition to setting up decentralised region specific improved treatment system.

Evaluation of dynamic voltage and frequency scaling for stream programs

Dynamic Voltage and Frequency Scaling (DVFS) offers a huge potential for designing trade-offs involving energy, power, temperature and performance of computing systems. In this paper, we evaluate three different DVFS schemes - our enhancement of a Petri net performance model based DVFS method for sequential programs to stream programs, a simple profile based Linear Scaling method, and an existing hardware based DVFS method for multithreaded applications - using multithreaded stream applications, in a full system Chip Multiprocessor (CMP) simulator. From our evaluation, we find that the software based methods achieve significant Energy/Throughput2(ET−2) improvements. The hardware based scheme degrades performance heavily and suffers ET−2 loss. Our results indicate that the simple profile based scheme achieves the benefits of the complex Petri net based scheme for stream programs, and present a strong case for the need for independent voltage/frequency control for different cores of CMPs, which is lacking in most of the state-of-the-art CMPs. This is in contrast to the conclusions of a recent evaluation of per-core DVFS schemes for multithreaded applications for CMPs.

Evaluation of kissing bond in composite adhesive lap joints using digital image correlation: Preliminary studies

The assembly of aerospace and automotive structures in recent years is increasingly carried out using adhesives. Adhesive joints have advantages of uniform stress distribution and less stress concentration in the bonded region. Nevertheless, they may suffer due to the presence of defects in bond line and at the interface or due to improper curing process. While defects like voids, cracks and delaminations present in the adhesive bond line may be detected using different NDE methods, interfacial defects in the form of kissing bond may go undetected. Attempts using advanced ultrasonic methods like nonlinear ultrasound and guided wave inspection to detect kissing bond have met with limited success stressing the need for alternate methods. This paper concerns the preliminary studies carried out on detectability of dry contact kissing bonds in adhesive joints using the Digital Image Correlation (DIC) technique. In this attempt, adhesive joint samples containing varied area of kissing bond were prepared using the glass fiber reinforced composite (GFRP) as substrates and epoxy resin as the adhesive layer joining them. The samples were also subjected to conventional and high power ultrasonic inspection. Further, these samples were loaded till failure to determine the bond strength during which digital images were recorded and analyzed using the DIC method. This noncontact method could indicate the existence of kissing bonds at less than 50% failure load. Finite element studies carried out showed a similar trend. Results obtained from these preliminary studies are encouraging and further tests need to be done on a larger set of samples to study experimental uncertainties and scatter associated with the method. (C) 2013 Elsevier Ltd. All rights reserved.

Design and Evaluation of a Robust Optical Beam-Interruption-Based Vehicle Classifier System

This paper presents the design and development of a novel optical vehicle classifier system, which is based on interruption of laser beams, that is suitable for use in places with poor transportation infrastructure. The system can estimate the speed, axle count, wheelbase, tire diameter, and the lane of motion of a vehicle. The design of the system eliminates the need for careful optical alignment, whereas the proposed estimation strategies render the estimates insensitive to angular mounting errors and to unevenness of the road. Strategies to estimate vehicular parameters are described along with the optimization of the geometry of the system to minimize estimation errors due to quantization. The system is subsequently fabricated, and the proposed features of the system are experimentally demonstrated. The relative errors in the estimation of velocity and tire diameter are shown to be within 0.5% and to change by less than 17% for angular mounting errors up to 30 degrees. In the field, the classifier demonstrates accuracy better than 97.5% and 94%, respectively, in the estimation of the wheelbase and lane of motion and can classify vehicles with an average accuracy of over 89.5%.

Evaluation of document binarization using eigen value decomposition

A necessary step for the recognition of scanned documents is binarization, which is essentially the segmentation of the document. In order to binarize a scanned document, we can find several algorithms in the literature. What is the best binarization result for a given document image? To answer this question, a user needs to check different binarization algorithms for suitability, since different algorithms may work better for different type of documents. Manually choosing the best from a set of binarized documents is time consuming. To automate the selection of the best segmented document, either we need to use ground-truth of the document or propose an evaluation metric. If ground-truth is available, then precision and recall can be used to choose the best binarized document. What is the case, when ground-truth is not available? Can we come up with a metric which evaluates these binarized documents? Hence, we propose a metric to evaluate binarized document images using eigen value decomposition. We have evaluated this measure on DIBCO and H-DIBCO datasets. The proposed method chooses the best binarized document that is close to the ground-truth of the document.

Pre-clinical toxicity & immunobiological evaluation of DNA rabies vaccine & combination rabies vaccine in rhesus monkeys (Macaca mulatta)

Background & objectives: Pre-clinical toxicology evaluation of biotechnology products is a challenge to the toxicologist. The present investigation is an attempt to evaluate the safety profile of the first indigenously developed recombinant DNA anti-rabies vaccine DRV (100 mu g)] and combination rabies vaccine CRV (100 mu g DRV and 1.25 IU of cell culture-derived inactivated rabies virus vaccine)], which are intended for clinical use by intramuscular route in Rhesus monkeys. Methods: As per the regulatory requirements, the study was designed for acute (single dose - 14 days), sub-chronic (repeat dose - 28 days) and chronic (intended clinical dose - 120 days) toxicity tests using three dose levels, viz. therapeutic, average (2x therapeutic dose) and highest dose (10 x therapeutic dose) exposure in monkeys. The selection of the model i.e. monkey was based on affinity and rapid higher antibody response during the efficacy studies. An attempt was made to evaluate all parameters which included physical, physiological, clinical, haematological and histopathological profiles of all target organs, as well as Tiers I, II, III immunotoxicity parameters. Results: In acute toxicity there was no mortality in spite of exposing the monkeys to 10XDRV. In sub chronic and chronic toxicity studies there were no abnormalities in physical, physiological, neurological, clinical parameters, after administration of test compound in intended and 10 times of clinical dosage schedule of DRV and CRV under the experimental conditions. Clinical chemistry, haematology, organ weights and histopathology studies were essentially unremarkable except the presence of residual DNA in femtogram level at site of injection in animal which received 10X DRV in chronic toxicity study. No Observational Adverse Effects Level (NOAEL) of DRV is 1000 ug/dose (10 times of therapeutic dose) if administered on 0, 4, 7, 14, 28th day. Interpretation & conclusions: The information generated by this study not only draws attention to the need for national and international regulatory agencies in formulating guidelines for pre-clinical safety evaluation of biotech products but also facilitates the development of biopharmaceuticals as safe potential therapeutic agents.

Evaluation of the intrinsic magneto-dielectric coupling in LaMn0.5Co0.5O3 single crystals

The magneto-dielectric coupling in (l00) oriented LaMn0.5Co0.5O3 single crystals has been investigated using temperature, frequency, and magnetic field dependent dielectric response. Electronic transport data divulges that polaronic hopping arises due to Emin-Holstein adiabatic small polarons. Spin realignment through external magnetic field favors faster polaronic hopping by lowering activation energy for dielectric relaxation. Finally, positive magneto-dielectricity and magnetoloss under increasing magnetic field at high frequency of the exciting ac field confirms intrinsic magneto-dielectric effect in disordered ferromagnetic-insulator LaMn0.5Co0.5O3. This study also emphasizes the need to use single crystals as well as the frequencies higher than the corresponding inverse relaxation time. (C) 2014 AIP Publishing LLC.

Multicomponent Adducts of Pyridoxine: An Evaluation of the Formation of Eutectics and Molecular Salts

Cocrystallization of pyridoxine (vitamin B6) with several biologically important molecules was undertaken with the intent of successfully designing various hydrogen bonded adducts such as salts, cocrystals, and eutectics. Pyridoxine formed eutectics with isoniazid (an antitubercular drug) and nicotinic acid (vitamin B3) and molecular salts with para-aminobenzoic acid (a bioactive) and saccharin (an artificial sweetener), respectively, in accordance to our design strategy. A salt cocrystal, a precisely conjugate acid-base cocrystal, was obtained for the pyridoxine-para-nitrobenzoic acid combination. The role of supramolecular affinity of hydrogen bonding functional groups and Delta pK(a) differences leading to the formation of above diverse adducts was discussed. This study underpins the need for full-fledged supramolecular compatibility studies of multivitamin/drug combinations toward the development of optimal and/or synergistic combination formulations.

An Evaluation of the Effectiveness of a Charged Bilayered Conducting Fine Mesh as a Dust Filter

Aim: To develop a mesh meant to be mounted on a windowpane that will act as a barrier for dust, while allowing wind to pass freely. Materials and Methods: Two small metal meshes separated at 1 cm, connected to an electrostatic generator and holding opposite charges are used. A videographic analysis has been performed. Results: The charged bilayered mesh was able to prevent a large portion of dust from passing through. Conclusion: The device is a simple, economical, and reliable way of reducing the entry of dust into a room, easing the need for periodic cleaning, and thus creating a healthier environment for the inhabitants of the building. It also has potential space applications.