157 research outputs found
Discrete event approach to network fault management
Failure diagnosis in large and complex systems such as a communication network is a critical task. An important aspect of network management is fault management, i.e.,determining, locating, isolation, and correcting faults in the network. In the realm of discrete event systems Sampath et al proposed a failure diagnosis approach, and Jiang et al proposed an efficient algorithm for testing diagnosability. In this work, we adopt the framework of the communicating finite state machine (CFSM) of Miller et al for modeling networks and to investigate fault detection, fault identification and fault location using Sampath et al and Jiang et al methods. Our approach provides a systematic way of performing fault diagnosis aspects of network fault management
HIERARCHICAL HYBRID-MODEL BASED DESIGN, VERIFICATION, SIMULATION, AND SYNTHESIS OF MISSION CONTROL FOR AUTONOMOUS UNDERWATER VEHICLES
The objective of modeling, verification, and synthesis of hierarchical hybrid mission control for underwater vehicle is to (i) propose a hierarchical architecture for mission control for an autonomous system, (ii) develop extended hybrid state machine models for the mission control, (iii) use these models to verify for logical correctness, (iv) check the feasibility of a simulation software to model the mission executed by an autonomous underwater vehicle (AUV) (v) perform synthesis of high-level mission coordinators for coordinating lower-level mission controllers in accordance with the given mission, and (vi) suggest further design changes for improvement. The dissertation describes a hierarchical architecture in which mission level controllers based on hybrid systems theory have been, and are being developed using a hybrid systems design tool that allows graphical design, iterative redesign, and code generation for rapid deployment onto the target platform. The goal is to support current and future autonomous underwater vehicle (AUV) programs to meet evolving requirements and capabilities. While the tool facilitates rapid redesign and deployment, it is crucial to include safety and performance verification into each step of the (re)design process. To this end, the modeling of the hierarchical hybrid mission controller is formalized to facilitate the use of available tools and newly developed methods for formal verification of safety and performance specifications. A hierarchical hybrid architecture for mission control of autonomous systems with application to AUVs is proposed and a theoretical framework for the models that make up the architecture is outlined. An underwater vehicle like any other autonomous system is a hybrid system, as the dynamics of the vehicle as well as its vehicle level control is continuous whereas the mission level control is discrete, making the overall system a hybrid system i.e., one possessing both continuous and discrete states. The hybrid state machine models of the mission controller modules is derived from their implementation done using TEJA, a software for representing hybrid systems with support for auto code generation. The verification of their logical correctness properties has been done using UPPAAL, a software tool for verification of timed automata a special kind of hybrid system. A Teja to Uppaal converter, called dem2xml, has been created at Applied Reserarch Lab that converts a hybrid (timed) autonomous system description in Teja to an Uppaal system description. Verification work involved developing abstract models for the lower level vehicle controllers with which the mission controller modules interact and follow a hierarchical approach: Assuming the correctness of level-zero or vehicle controllers, we establish the correctness of level-one mission controller modules, and then the correctness of level-two modules, etc. The goal of verification is to show that any valid meaning for a mission formalized in our research verifies the safe and correct execution of actions. Simulation of the sequence of actions executed for each of the operations give a better view of the combined working of the mission coordinators and the low level controllers. So we next looked into the feasibility of simulating the operations executed during a mission. A Perl program has been developed to convert the UPPAAL files in .xml format to OpenGL graphic files. The graphic files simulate the steps involved in the execution of a sequence of operations executed by an AUV. The highest level coordinators send mission orders to be executed by the lower level controllers. So a more generalized design of the highest level controllers would help to incorporate the execution of a variety of missions for a vast field of applications. Initially, we consider manually synthesized mission coordinator modules. Later we design automated synthesis of coordinators. This method synthesizes mission coordinators which coordinate the lower level controllers for the execution of the missions ordered and can be used for any autonomous system
Gray Image extraction using Fuzzy Logic
Fuzzy systems concern fundamental methodology to represent and process
uncertainty and imprecision in the linguistic information. The fuzzy systems
that use fuzzy rules to represent the domain knowledge of the problem are known
as Fuzzy Rule Base Systems (FRBS). On the other hand image segmentation and
subsequent extraction from a noise-affected background, with the help of
various soft computing methods, are relatively new and quite popular due to
various reasons. These methods include various Artificial Neural Network (ANN)
models (primarily supervised in nature), Genetic Algorithm (GA) based
techniques, intensity histogram based methods etc. providing an extraction
solution working in unsupervised mode happens to be even more interesting
problem. Literature suggests that effort in this respect appears to be quite
rudimentary. In the present article, we propose a fuzzy rule guided novel
technique that is functional devoid of any external intervention during
execution. Experimental results suggest that this approach is an efficient one
in comparison to different other techniques extensively addressed in
literature. In order to justify the supremacy of performance of our proposed
technique in respect of its competitors, we take recourse to effective metrics
like Mean Squared Error (MSE), Mean Absolute Error (MAE), Peak Signal to Noise
Ratio (PSNR).Comment: 8 pages, 5 figures, Fuzzy Rule Base, Image Extraction, Fuzzy
Inference System (FIS), Membership Functions, Membership values,Image coding
and Processing, Soft Computing, Computer Vision Accepted and published in
IEEE. arXiv admin note: text overlap with arXiv:1206.363
Enhancement of dronogram aid to visual interpretation of target objects via intuitionistic fuzzy hesitant sets
In this paper, we address the hesitant information in enhancement task often caused by differences in image contrast. Enhancement approaches generally use certain filters which generate artifacts or are unable to recover all the objects details in images. Typically, the contrast of an image quantifies a unique ratio between the amounts of black and white through a single pixel. However, contrast is better represented by a group of pix- els. We have proposed a novel image enhancement scheme based on intuitionistic hesi- tant fuzzy sets (IHFSs) for drone images (dronogram) to facilitate better interpretations of target objects. First, a given dronogram is divided into foreground and background areas based on an estimated threshold from which the proposed model measures the amount of black/white intensity levels. Next, we fuzzify both of them and determine the hesitant score indicated by the distance between the two areas for each point in the fuzzy plane. Finally, a hyperbolic operator is adopted for each membership grade to improve the pho- tographic quality leading to enhanced results via defuzzification. The proposed method is tested on a large drone image database. Results demonstrate better contrast enhancement, improved visual quality, and better recognition compared to the state-of-the-art methods.Web of Science500866
Recommended from our members
A study of colchicine tubulin complex by donor quenching of fluorescence energy transfer
The utility of collisional quenching of energy donors in fluorescence energy transfer is described. In multi-donor single acceptor systems, which contain different classes of donors (as distinguished by their accessibility towards a collisional quencher), donor quenching may be used to assess the fraction of energy transfer from each class of donor. The tubulin-colchicine complex was used as a donor-acceptor system to show that two inaccessible tryptophans are at or near the colchicine binding site
Recommended from our members
A fluorescence spectroscopic study of glutaminyl-tRNA synthetase from Escherichia coli and its implications for the enzyme mechanism
Interaction between Escherichia coli glutaminyl-tRNA synthetase (GlnRS) and its substrates have been studied by fluorescence quenching. In the absence of other substrates, glutamine, tRNAGln and ATP bind with dissociation constants of 460, 0.22 and 180 µM, respectively. The presence of other substrates has either no effect or, at best a weak effect, on binding of ligands. Attempts to isolate enzyme-bound aminoacyl adenylate did not succeed. Binding of the phosphodiester, 5'-(methyl)adenosine monophosphate (MeAMP), to GlnRS was studied by fluorescence quenching and radioactive-ligand binding. tRNA also only has a weak effect on phosphodiester binding. Selectively pyrene-labeled GlnRS was used to obtain shape and size information for free GlnRS. A comparison with the GlnRS shape in the GlnRS/tRNAGln crystal structure indicates that no major change in shape and size occurs upon tRNAGln binding to GlnRS. 5,5'-Bis(8-anilino-1-naphthalene sulfonate) (bis-ANS), a non-covalent fluorescent probe, was also used to probe for conformational changes in GlnRS. This probe also indicated that no major conformational change occurs upon tRNAGln binding. We conclude that lack of tRNA-independent pyrophosphate-exchange activity in this enzyme is not a result of either lack of glutamine or ATP binding in the absence of tRNA, or formation of aminoacyl adenylate and slow release of pyrophosphate. A conformational change is implied upon tRNA binding, which promotes pyrophosphate exchange. Fluorescence studies indicate that this conformational change must be limited and local in nature
Recommended from our members
A cognate tRNA specific conformational change in glutaminyl-tRNA synthetase and its implication for specificity
Conformational changes that occur upon substrate binding are known to play crucial roles in the recognition and specific aminoacylation of cognate tRNA by glutaminyl-tRNA synthetase. In a previous study we had shown that glutaminyl-tRNA synthetase labeled selectively in a nonessential sulfhydryl residue by an environment sensitive probe, acrylodan, monitors many of the conformational changes that occur upon substrate binding. In this article we have shown that the conformational change that occurs upon tRNAGln binding to glnRS/ATP complex is absent in a noncognate tRNA tRNAGlu-glnRS/ATP complex. CD spectroscopy indicates that this cognate tRNAGln-induced conformational change may involve only a small change in secondary structure. The Van't Hoff plot of cognate and noncognate tRNA binding in the presence of ATP is similar, suggesting similar modes of interaction. It was concluded that the cognate tRNA induces a local conformational change in the synthetase that may be one of the critical elements that causes enhanced aminoacylation of the cognate tRNA over the noncognate ones
- …