219 research outputs found

    Enhanced Discrete Multi-modal Hashing: More Constraints yet Less Time to Learn (Extended Abstract)

    Get PDF
    This paper proposes a novel method, Enhanced Discrete Multi-modal Hashing (EDMH), which learns binary codes and hash functions simultaneously from the pairwise similarity matrix of data for large-scale cross-view retrieval. EDMH distinguishes itself from existing methods by considering not just the binarization constraint but also the balance and decorrelation constraints. Although those additional discrete constraints make the optimization problem of EDMH look a lot more complicated, we are actually able to develop a fast iterative learning algorithm in the alternating optimization framework for it, as after introducing a couple of auxiliary variables each subproblem of optimization turns out to have closed-form solutions. It has been confirmed by extensive experiments that EDMH can consistently deliver better retrieval performances than state-of-the-art MH methods at lower computational costs

    Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems

    Get PDF
    Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications. Although there is an extensive literature on qualitative properties such as safety and liveness, there is still a lack of quantitative and uncertain property verifications for these systems. In uncertain environments, agents must make judicious decisions based on subjective epistemic. To verify epistemic and measurable properties in multi-agent systems, this paper extends fuzzy computation tree logic by introducing epistemic modalities and proposing a new Fuzzy Computation Tree Logic of Knowledge (FCTLK). We represent fuzzy multi-agent systems as distributed knowledge bases with fuzzy epistemic interpreted systems. In addition, we provide a transformation algorithm from fuzzy epistemic interpreted systems to fuzzy Kripke structures, as well as transformation rules from FCTLK formulas to Fuzzy Computation Tree Logic (FCTL) formulas. Accordingly, we transform the FCTLK model checking problem into the FCTL model checking. This enables the verification of FCTLK formulas by using the fuzzy model checking algorithm of FCTL without additional computational overheads. Finally, we present correctness proofs and complexity analyses of the proposed algorithms. Additionally, we further illustrate the practical application of our approach through an example of a train control system

    Optimization of sub-grid scale model for abrasive flow machining curved tube based on large eddy simulation

    Get PDF
    Abrasive flow machining technology is a new type of precision machining technology. Due to its unique rheological properties, it can process any complex structure and size parts to meet the requirements that conventional machining cannot meet. Combined with the turbulent flow characteristics of the abrasive flow, the large eddy simulation numerical method is used to simulate the machining process of the abrasive flow. The influence of different sub-grid scale models on the simulation results is discussed. Taking curved tube as the research object, the static pressure, dynamic pressure and velocity of different sub-grid models are analyzed to find the best sub-grid scale model. Large eddy simulation method is used to simulate the complex flow channel parts, and the best sub-grid scale model suitable for complex flow channels is determined, which reveals the grinding and polishing rule of abrasive flow and provides academic support for future research. Therefore, it has frontier and important research value

    Intra-Urban Levels, Spatial Variability, Possible Sources and Health Risks of PM2.5 Bound Phthalate Esters in Xi'an

    Get PDF
    Phthalate esters (PAEs) are abundant semi-volatile organic compounds in fine particulate. PM2.5 bound PAEs can inhale into the body with breath, which can cause negative effects to human health. In this study, total of 266 PM2.5 samples dispersed from nineteen communities in Xi'an, were collected at December, 2013, the heavy pollution periods. Most of them are from residential areas, and four of them are in universities. Much high levels of PAEs were obtained in this study, which were from 271.7 to 2134 ng m(-3) (952.6 ng m(-3) on average). DEHP was the dominant species, with an average of 402.4 ng m(-3), and attributed for 42.2% of the total PAEs, followed by BBZP (146.8 ng m(-3) on average) and accounted for 15.4% of the total PAEs. Relative humidity and ventilation coefficient are the two meteorological factors affect the PAEs pollutions during the sampling periods. PAEs showed a declined trend from the urban to suburban. The principal component analysis (PCA) investigated that the release from plasticizer using in vinyl flooring, inks, synthetic leather, adhesives, and food contact wrapping; and emissions from cosmetics and personal care products, varnish, and volatilization from solid waste landfill or sewage sludge from wastewater treatment plant are the main sources for PAEs (86.8% of total PAEs). The daily inhalation and cancer risk assessment displayed that possible risk for all age group persons in this area, and infants are the most susceptible population

    Use of redundant exclusion PCR to identify a novel Bacillus thuringiensis Cry8 toxin gene from pooled genomic DNA

    Get PDF
    With the aim of optimizing the cloning of novel genes from a genomic pool containing many previously identified, homologous, genes we designed a redundant exclusion PCR technique. In RE-PCR a pair of generic amplification primers are combined with additional primers that are designed to specifically bind to redundant, unwanted genes that are a subset of those copied by the amplification primers. During RE-PCR the specific primer blocks amplification of the full length redundant gene. Using this method we managed to clone a number of cry8 or cry9 toxin genes from a pool of Bacillus thuringiensis genomic DNA while excluding amplicons for cry9Da, cry9Ea and cry9Eb. The method proved very efficient at increasing the number of rare genes in the resulting library. One such rare, and novel, cry8-like gene was expressed and the encoded toxin was shown to be toxic to Anomola corpulenta

    Whole Exome Sequencing Identifies a Novel Pathogenic RET Variant in Hirschsprung Disease

    Get PDF
    Hirschsprung disease is a birth defect characterized by complete absence of neuronal ganglion cells from a portion of the intestinal tract. To uncover genetic variants contributing to HSCR, we performed whole exome sequencing on seven members of an HSCR family. With the minor allele frequency (MAF) calculated by gnomAD, we finally filtered a total of 1,059 rare variants in this family (MAF < 0.1%). With the mode of inheritance and pathogenicity scores by bioinformatics tools, we identified an in-frameshift variant p.Phe147del in RET as the disease-causing variant. Further analysis revealed that the in-frameshift variant may function by disrupting the glycosylation of RET protein. To our knowledge, this is the first study to report the in-frameshift variant p.Phe147del in RET responsible for heritable HSCR

    Characterization of Geographical and Meteorological Parameters

    Get PDF
    [EN]This chapter is devoted to the introduction of some geographical and meteorological information involved in the numerical modeling of wind fields and solar radiation. First, a brief description of the topographical data given by a Digital Elevation Model and Land Cover databases is provided. In particular, the Information System of Land Cover of Spain (SIOSE) is considered. The study is focused on the roughness length and the displacement height parameters that appear in the logarithmic wind profile, as well as in the albedo related to solar radiation computation. An extended literature review and characterization of both parameters are reported. Next, the concept of atmospheric stability is introduced from the Monin–Obukhov similarity theory to the recent revision of Zilitinkevich of the Neutral and Stable Boundary Layers (SBL). The latter considers the effect of the free-flow static stability and baroclinicity on the turbulent transport of momentum and of the Convective Boundary Layers (CBL), more precisely, the scalars in the boundary layer, as well as the model of turbulent entrainment

    Mortality from gastrointestinal congenital anomalies at 264 hospitals in 74 low-income, middle-income, and high-income countries: a multicentre, international, prospective cohort study

    Get PDF
    Summary Background Congenital anomalies are the fifth leading cause of mortality in children younger than 5 years globally. Many gastrointestinal congenital anomalies are fatal without timely access to neonatal surgical care, but few studies have been done on these conditions in low-income and middle-income countries (LMICs). We compared outcomes of the seven most common gastrointestinal congenital anomalies in low-income, middle-income, and high-income countries globally, and identified factors associated with mortality. Methods We did a multicentre, international prospective cohort study of patients younger than 16 years, presenting to hospital for the first time with oesophageal atresia, congenital diaphragmatic hernia, intestinal atresia, gastroschisis, exomphalos, anorectal malformation, and Hirschsprung’s disease. Recruitment was of consecutive patients for a minimum of 1 month between October, 2018, and April, 2019. We collected data on patient demographics, clinical status, interventions, and outcomes using the REDCap platform. Patients were followed up for 30 days after primary intervention, or 30 days after admission if they did not receive an intervention. The primary outcome was all-cause, in-hospital mortality for all conditions combined and each condition individually, stratified by country income status. We did a complete case analysis. Findings We included 3849 patients with 3975 study conditions (560 with oesophageal atresia, 448 with congenital diaphragmatic hernia, 681 with intestinal atresia, 453 with gastroschisis, 325 with exomphalos, 991 with anorectal malformation, and 517 with Hirschsprung’s disease) from 264 hospitals (89 in high-income countries, 166 in middleincome countries, and nine in low-income countries) in 74 countries. Of the 3849 patients, 2231 (58·0%) were male. Median gestational age at birth was 38 weeks (IQR 36–39) and median bodyweight at presentation was 2·8 kg (2·3–3·3). Mortality among all patients was 37 (39·8%) of 93 in low-income countries, 583 (20·4%) of 2860 in middle-income countries, and 50 (5·6%) of 896 in high-income countries (p<0·0001 between all country income groups). Gastroschisis had the greatest difference in mortality between country income strata (nine [90·0%] of ten in lowincome countries, 97 [31·9%] of 304 in middle-income countries, and two [1·4%] of 139 in high-income countries; p≤0·0001 between all country income groups). Factors significantly associated with higher mortality for all patients combined included country income status (low-income vs high-income countries, risk ratio 2·78 [95% CI 1·88–4·11], p<0·0001; middle-income vs high-income countries, 2·11 [1·59–2·79], p<0·0001), sepsis at presentation (1·20 [1·04–1·40], p=0·016), higher American Society of Anesthesiologists (ASA) score at primary intervention (ASA 4–5 vs ASA 1–2, 1·82 [1·40–2·35], p<0·0001; ASA 3 vs ASA 1–2, 1·58, [1·30–1·92], p<0·0001]), surgical safety checklist not used (1·39 [1·02–1·90], p=0·035), and ventilation or parenteral nutrition unavailable when needed (ventilation 1·96, [1·41–2·71], p=0·0001; parenteral nutrition 1·35, [1·05–1·74], p=0·018). Administration of parenteral nutrition (0·61, [0·47–0·79], p=0·0002) and use of a peripherally inserted central catheter (0·65 [0·50–0·86], p=0·0024) or percutaneous central line (0·69 [0·48–1·00], p=0·049) were associated with lower mortality. Interpretation Unacceptable differences in mortality exist for gastrointestinal congenital anomalies between lowincome, middle-income, and high-income countries. Improving access to quality neonatal surgical care in LMICs will be vital to achieve Sustainable Development Goal 3.2 of ending preventable deaths in neonates and children younger than 5 years by 2030

    Measurement and Modeling of Vapor-Liquid Equilibria for the Octane plus Sulfuric Acid plus Water plus Ethanol System

    No full text
    Octane was considered to be a potential entrainer for the recovery of spent sulfuric acid by heterogeneous azeotropic distillation. The vapor-liquid equilibria (VLE) data were determined for octane + ethanol, octane +, water + ethanol, and octane + sulfuric acid + water + ethanol systems at (30, 60, 90, and 101.3) kPa using the ebulliometric method. The VLE data were used to regress the electrolyte nonramdom two-liquid interaction parameters with the help of Aspen Plus for pairs: C8H18-C2H6O, C8H18-H2O, H2SO4-C2H6O, C2H6O-[H3O](+):[HSO4](-), C2H6O-[H3O](+):[SO4](2-), C8H18-[H3O](+):[HSO4](-), and C8H18-[H3O](+):[SO4](2)-. The correlation fitted the experimental data well for all the systems. The maximum absolute deviation and average absolute deviation for temperature for the systems are 0.86 K and 0.26 K, respectively
    corecore