A systematic approach to error isolation in computerized wastewater simulation models

Activated sludge models are used extensively in the study of wastewater treatment processes. While various commercial implementations of these models are available, there are many people who need to code models themselves using the simulation packages available to them, Quality assurance of such models is difficult. While benchmarking problems have been developed and are available, the comparison of simulation data with that of commercial models leads only to the detection, not the isolation of errors. To identify the errors in the code is time-consuming. In this paper, we address the problem by developing a systematic and largely automated approach to the isolation of coding errors. There are three steps: firstly, possible errors are classified according to their place in the model structure and a feature matrix is established for each class of errors. Secondly, an observer is designed to generate residuals, such that each class of errors imposes a subspace, spanned by its feature matrix, on the residuals. Finally. localising the residuals in a subspace isolates coding errors. The algorithm proved capable of rapidly and reliably isolating a variety of single and simultaneous errors in a case study using the ASM 1 activated sludge model. In this paper a newly coded model was verified against a known implementation. The method is also applicable to simultaneous verification of any two independent implementations, hence is useful in commercial model development.

Enabling inter-domain transactions in bridge-based hybrid wired/wireless PROFIBUS networks

The marriage of emerging information technologies with control technologies is a major driving force that, in the context of the factory-floor, is creating an enormous eagerness for extending the capabilities of currently available fieldbus networks to cover functionalities not considered up to a recent past. Providing wireless capabilities to such type of communication networks is a big share of that effort. The RFieldbus European project is just one example, where PROFIBUS was provided with suitable extensions for implementing hybrid wired/wireless communication systems. In RFieldbus, interoperability between wired and wireless components is achieved by the use specific intermediate networking systems operating as repeaters, thus creating a single logical ring (SLR) network. The main advantage of the SLR approach is that the effort for protocol extensions is not significant. However, a multiple logical ring (MLR) approach provides traffic and error isolation between different network segments. This concept was introduced in, where an approach for a bridge-based architecture was briefly outlined. This paper will focus on the details of the inter-Domain Protocol (IDP), which is responsible for handling transactions between different network domains (wired or wireless) running the PROFIBUS protocol.

Analysis of pixel-mapping rounding on geometric distortion as a prediction for view synthesis distortion

We analyze the performance of the geometric distortion, incurred when coding depth maps in 3D Video, as an estimator of the distortion of synthesized views. Our analysis is motivated by the need of reducing the computational complexity required for the computation of synthesis distortion in 3D video encoders. We propose several geometric distortion models that capture (i) the geometric distortion caused by the depth coding error, and (ii) the pixel-mapping precision in view synthesis. Our analysis starts with the evaluation of the correlation of geometric distortion values obtained with these models and the actual distortion on synthesized views. Then, the different geometric distortion models are employed in the rate-distortion optimization cycle of depth map coding, in order to assess the results obtained by the correlation analysis. Results show that one of the geometric distortion models is performing consistently better than the other models in all tests. Therefore, it can be used as a reasonable estimator of the synthesis distortion in low complexity depth encoders.

Mutation analysis to verify feature matrices for isolating errors in simulation models

Software simulation models are computer programs that need to be verified and debugged like any other software. In previous work, a method for error isolation in simulation models has been proposed. The method relies on a set of feature matrices that can be used to determine which part of the model implementation is responsible for deviations in the output of the model. Currrently these feature matrices have to be generated by hand from the model implementation, which is a tedious and error-prone task. In this paper, a method based on mutation analysis, as well as prototype tool support for the verification of the manually generated feature matrices is presented. The application of the method and tool to a model for wastewater treatment shows that the feature matrices can be verified effectively using a minimal number of mutants.

Perceptually driven video error protection using a distributed source coding approach

In video communication systems, the video signals are typically compressed and sent to the decoder through an error-prone transmission channel that may corrupt the compressed signal, causing the degradation of the final decoded video quality. In this context, it is possible to enhance the error resilience of typical predictive video coding schemes using as inspiration principles and tools from an alternative video coding approach, the so-called Distributed Video Coding (DVC), based on the Distributed Source Coding (DSC) theory. Further improvements in the decoded video quality after error-prone transmission may also be obtained by considering the perceptual relevance of the video content, as distortions occurring in different regions of a picture have a different impact on the user's final experience. In this context, this paper proposes a Perceptually Driven Error Protection (PDEP) video coding solution that enhances the error resilience of a state-of-the-art H.264/AVC predictive video codec using DSC principles and perceptual considerations. To increase the H.264/AVC error resilience performance, the main technical novelties brought by the proposed video coding solution are: (i) design of an improved compressed domain perceptual classification mechanism; (ii) design of an improved transcoding tool for the DSC-based protection mechanism; and (iii) integration of a perceptual classification mechanism in an H.264/AVC compliant codec with a DSC-based error protection mechanism. The performance results obtained show that the proposed PDEP video codec provides a better performing alternative to traditional error protection video coding schemes, notably Forward Error Correction (FEC)-based schemes. (C) 2013 Elsevier B.V. All rights reserved.

Design and Analysis of Forward Error Control Coding and Signaling for Guaranteeing QoS in Wireless Broadcast Systems

Broadcasting systems are networks where the transmission is received by several terminals. Generally broadcast receivers are passive devices in the network, meaning that they do not interact with the transmitter. Providing a certain Quality of Service (QoS) for the receivers in heterogeneous reception environment with no feedback is not an easy task. Forward error control coding can be used for protection against transmission errors to enhance the QoS for broadcast services. For good performance in terrestrial wireless networks, diversity should be utilized. The diversity is utilized by application of interleaving together with the forward error correction codes. In this dissertation the design and analysis of forward error control and control signalling for providing QoS in wireless broadcasting systems are studied. Control signaling is used in broadcasting networks to give the receiver necessary information on how to connect to the network itself and how to receive the services that are being transmitted. Usually control signalling is considered to be transmitted through a dedicated path in the systems. Therefore, the relationship of the signaling and service data paths should be considered early in the design phase. Modeling and simulations are used in the case studies of this dissertation to study this relationship. This dissertation begins with a survey on the broadcasting environment and mechanisms for providing QoS therein. Then case studies present analysis and design of such mechanisms in real systems. The mechanisms for providing QoS considering signaling and service data paths and their relationship at the DVB-H link layer are analyzed as the first case study. In particular the performance of different service data decoding mechanisms and optimal signaling transmission parameter selection are presented. The second case study investigates the design of signaling and service data paths for the more modern DVB-T2 physical layer. Furthermore, by comparing the performances of the signaling and service data paths by simulations, configuration guidelines for the DVB-T2 physical layer signaling are given. The presented guidelines can prove useful when configuring DVB-T2 transmission networks. Finally, recommendations for the design of data and signalling paths are given based on findings from the case studies. The requirements for the signaling design should be derived from the requirements for the main services. Generally, these requirements for signaling should be more demanding as the signaling is the enabler for service reception.

Fault Tolerant Error Coding and Detection using Reversible Gates

In recent years, reversible logic has emerged as one of the most important approaches for power optimization with its application in low power CMOS, quantum computing and nanotechnology. Low power circuits implemented using reversible logic that provides single error correction – double error detection (SEC-DED) is proposed in this paper. The design is done using a new 4 x 4 reversible gate called ‘HCG’ for implementing hamming error coding and detection circuits. A parity preserving HCG (PPHCG) that preserves the input parity at the output bits is used for achieving fault tolerance for the hamming error coding and detection circuits.

An efficient scheme for the evaluation of coding performance of high speed links incorporating joint error behaviour based on Monte Carlo Method

While channel coding is a standard method of improving a system’s energy efficiency in digital communications, its practice does not extend to high-speed links. Increasing demands in network speeds are placing a large burden on the energy efficiency of high-speed links and render the benefit of channel coding for these systems a timely subject. The low error rates of interest and the presence of residual intersymbol interference (ISI) caused by hardware constraints impede the analysis and simulation of coded high-speed links. Focusing on the residual ISI and combined noise as the dominant error mechanisms, this paper analyses error correlation through concepts of error region, channel signature, and correlation distance. This framework provides a deeper insight into joint error behaviours in high-speed links, extends the range of statistical simulation for coded high-speed links, and provides a case against the use of biased Monte Carlo methods in this setting

Reliability comparison of transmit/receive diversity and error control coding in low-power medium access control protocols

Low-power medium access control (MAC) protocols used for communication of energy constraint wireless embedded devices do not cope well with situations where transmission channels are highly erroneous. Existing MAC protocols discard corrupted messages which lead to costly retransmissions. To improve transmission performance, it is possible to include an error correction scheme and transmit/receive diversity. It is possible to add redundant information to transmitted packets in order to recover data from corrupted packets. It is also possible to make use of transmit/receive diversity via multiple antennas to improve error resiliency of transmissions. Both schemes may be used in conjunction to further improve the performance. In this study, the authors show how an error correction scheme and transmit/receive diversity can be integrated in low-power MAC protocols. Furthermore, the authors investigate the achievable performance gains of both methods. This is important as both methods have associated costs (processing requirements; additional antennas and power) and for a given communication situation it must be decided which methods should be employed. The authors’ results show that, in many practical situations, error control coding outperforms transmission diversity; however, if very high reliability is required, it is useful to employ both schemes together.

Isolation and characterization of a neprilysin-like protein from Venturia canescens virus-like particles

Maternal protein secretions from endoparasitoid wasps are evolutionary adaptations to regulate host physiology as part of an extended wasp phenotype. Virus-like particles (VLPs) produced in the calyx region of Venturia canescens wasps are involved in immune evasion of the developing parasitoid inside the host. In contrast to polydnaviruses (PDVs), VcVLPs are devoid of any nucleic acids. To understand the role of these particles in the regulation of host physiology and phylogenetic relationship between VLPs and PDVs, it is essential to identify particle proteins. In this paper, we describe the isolation and molecular cloning of a neprilysin-like gene (VcNEP) coding for a 94 kDa VcVLP protein and discuss its possible role in host regulation.

Isolation and characterization of a novel venom protein from an endoparasitoid, Cotesia rubecula (Hym : Braconidae)

Insects are important vectors of diseases with remarkable immune defense capabilities. Hymenopteran endoparasitoids are adapted to overcome the host defense system and, therefore, are useful sources of immune-suppressing proteins. Not much is known about venom proteins in endoparasitoids, especially those that have a functional relationship with polydnaviruses (PDVs). Here, we describe the isolation and characterization of a small venom protein (Vn4.6) from an endoparositoid, Cotesia rubecula, which interferes with the activation of the host hemolymph prophenoloxidose. The coding region for Vn4.6 is located upstream in the opposite direction of a gene coding for a C rubecula PDV-protein (Crp32). Arch. Insect Biochem. Physiol. 53:92-100, 2003. (C) 2003 Wiley-Liss, Inc.

Isolation of dopamine D-2 receptor (D2R) promoters in Mugil cephalus

This paper reports the isolation of two putative D2R promoters from grey mullet, one 5' flanking and the other an intronic sequence immediately upstream of the first coding exon. Promoter activity of the intronic sequence was confirmed in vitro through functional analysis using luciferase as reporter gene. The functional characteristics of the region flanking the 5'-UTR is currently under investigation.

Cytochrome P450(cin) (CYP176A), isolation, expression, and characterization

Cytochromes P450 are members of a superfamily of hemoproteins involved in the oxidative metabolism of various physiologic and xenobiotic compounds in eukaryotes and prokaryotes. Studies on bacterial P450s, particularly those involved in monoterpene oxidation, have provided an integral contribution to our understanding of these proteins, away from the problems encountered with eukaryotic forms. We report here a novel cytochrome P450 (P450(cin), CYP176A1) purified from a strain of Citrobacter braakii that is capable of using cineole 1 as its sole source of carbon and energy. This enzyme has been purified to homogeneity and the amino acid sequences of three tryptic peptides determined. By using this information, a PCR-based cloning strategy was developed that allowed the isolation of a 4-kb DNA fragment containing the cytochrome P450(cin) gene (cinA). Sequencing revealed three open reading frames that were identified on the basis of sequence homology as a cytochrome P450, an NADPH-dependent flavodoxin/ferrodoxin reductase, and a flavodoxin. This arrangement suggests that P450(cin) may be the first isolated P450 to use a flavodoxin as its natural redox partner. Sequencing also identified the unprecedented substitution of a highly conserved, catalytically, important active site threonine with an asparagine residue. The P450 gene was subcloned and heterologously expressed in Escherichia coli at similar to2000 nmol/liter of original culture, and purification was achieved by standard protocols. Postulating the native E. coli flavodoxin/flavodoxin reductase system might mimic the natural redox partners of P450,in, it was expressed in E. coli in the presence of cineole 1. A product was formed in vivo that was tentatively identified by gas chromatography-mass spectrometry as 2-hydroxycineole 2. Examination of P450(cin) by UV-visible spectroscopy revealed typical spectra characteristic of P450s, a high affinity for cineole 1 (K-D = 0.7 mum), and a large spin state change of the heme iron associated with binding of cineole 1. These facts support the hypothesis that cineole 1 is the natural substrate for this enzyme and that P450(cin) catalyzes the initial monooxygenation of cineole 1 biodegradation. This constitutes the first characterization of an enzyme involved in this pathway.