Efficient Synthesis of Network Updates

Software-defined networking (SDN) is revolutionizing the networking industry, but current SDN programming platforms do not provide automated mechanisms for updating global configurations on the fly. Implementing updates by hand is challenging for SDN programmers because networks are distributed systems with hundreds or thousands of interacting nodes. Even if initial and final configurations are correct, naively updating individual nodes can lead to incorrect transient behaviors, including loops, black holes, and access control violations. This paper presents an approach for automatically synthesizing updates that are guaranteed to preserve specified properties. We formalize network updates as a distributed programming problem and develop a synthesis algorithm based on counterexample-guided search and incremental model checking. We describe a prototype implementation, and present results from experiments on real-world topologies and properties demonstrating that our tool scales to updates involving over one-thousand nodes

Reduced glutamine synthetase activity alters the fecundity of female Bactrocera dorsalis (Hendel)

Glutamine synthetase (GS) is a key enzyme in glutamine synthesis and is associated with multiple physiological processes in insects, such as embryonic development, heat shock response, and fecundity regulation. However, little is known about the influence of GS on female fecundity in the oriental fruit fly, Bactrocera dorsalis. Based on the cloning of BdGSs, mitochondrial BdGSm and cytoplasmic BdGSc, we determined their expressions in the tissues of adult B. dorsalis. BdGSm was highly expressed in the fat body, while BdGSc was highly expressed in the head and midgut. Gene silencing by RNA interference against two BdGSs isoforms suppressed target gene expression at the transcriptional level, leading to a reduced ovarian size and lower egg production. The specific inhibitor L-methionine S-sulfoximine suppressed enzyme activity, but only the gene expression of BdGSm was suppressed. A similar phenotype of delayed ovarian development occurred in the inhibitor bioassay. Significantly lower expression of vitellogenin and vitellogenin receptor was observed when GS enzyme activity was suppressed. These data illustrate the effects of two GS genes on adult fecundity by regulating vitellogenin synthesis in different ways

The South American fruit fly : an important pest insect with RNAi-sensitive larval stages

RNA interference (RNAi) technology has been used in the development of approaches for pest control. The presence of some essential genes, the so-called "core genes," in the RNAi machinery is crucial for its efficiency and robust response in gene silencing. Thus, our study was designed to examine whether the RNAi machinery is functional in the South American (SA) fruit fly Anastrepha fraterculus (Diptera: Tephritidae) and whether the sensitivity to the uptake of double-stranded RNA (dsRNA) could generate an RNAi response in this fruit fly species. To prepare a transcriptome database of the SA fruit fly, total RNA was extracted from all the life stages for later cDNA synthesis and Illumine sequencing. After the de novo transcriptome assembly and gene annotation, the transcriptome was screened for RNAi pathway genes, as well as the duplication or loss of genes and novel target genes to dsRNA delivery bioassays. The dsRNA delivery assay by soaking was performed in larvae to evaluate the gene-silencing of V-ATPase, and the upregulation of Dicer-2 and Argonaute-2 after dsRNA delivery was analyzed to verify the activation of siRNAi machinery. We tested the stability of dsRNA using dsGFP with an in vitro incubation of larvae body fluid (hemolymph). We identified 55 genes related to the RNAi machinery with duplication and loss for some genes and selected 143 different target genes related to biological processes involved in postembryonic growth/development and reproduction of A. fraterculus. Larvae soaked in dsRNA (dsV-ATPase) solution showed a strong knockdown of V-ATPase after 48 h, and the expression of Dicer-2 and Argonaute-2 responded with an increase upon the exposure to dsRNA. Our data demonstrated the existence of a functional RNAi machinery in the SA fruit fly, and we present an easy and robust physiological bioassay with the larval stages that can further be used for screening of target genes at in vivo organisms' level for RNAi-based control of fruit fly pests. This is the first study that provides evidence of a functional siRNA machinery in the SA fruit fly

Pleiotropic and Novel Phenotypes in The \u3cem\u3eDrosophila\u3c/em\u3e Gut Caused by Mutation of \u3cem\u3eDrop-Dead\u3c/em\u3e

Normal gut function is vital for animal survival, and deviations from such function can contribute to malnutrition, inflammation, increased susceptibility to pathogens, diabetes, neurodegenerative diseases, and cancer. In the fruit fly Drosophila melanogaster, mutation of the gene drop-dead (drd) results in defective gut function, as measured by enlargement of the crop and reduced food movement through the gut, and drd mutation also causes the unrelated phenotypes of neurodegeneration, early adult lethality and female sterility. In the current work, adult drd mutant flies are also shown to lack the peritrophic matrix (PM), an extracellular barrier that lines the lumen of the midgut and is found in many insects including flies, mosquitos and termites. The use of a drd-gal4 construct to drive a GFP reporter in late pupae and adults revealed drd expression in the anterior cardia, which is the site of PM synthesis in Drosophila. Moreover, the ability of drd knockdown or rescue with several gal4 drivers to recapitulate or rescue the gut phenotypes (lack of a PM, reduced defecation, and reduced adult survival 10–40 days post-eclosion) was correlated to the level of expression of each driver in the anterior cardia. Surprisingly, however, knocking down drd expression only in adult flies, which has previously been shown not to affect survival, eliminated the PM without reducing defecation rate. These results demonstrate that drd mutant flies have a novel phenotype, the absence of a PM, which is functionally separable from the previously described gut dysfunction observed in these flies. As the first mutant Drosophila strain reported to lack a PM, drd mutants will be a useful tool for studying the synthesis of this structure