Requirements modelling and formal analysis using graph operations

The increasing complexity of enterprise systems requires a more advanced analysis of the representation of services expected than is currently possible. Consequently, the specification stage, which could be facilitated by formal verification, becomes very important to the system life-cycle. This paper presents a formal modelling approach, which may be used in order to better represent the reality of the system and to verify the awaited or existing system’s properties, taking into account the environmental characteristics. For that, we firstly propose a formalization process based upon properties specification, and secondly we use Conceptual Graphs operations to develop reasoning mechanisms of verifying requirements statements. The graphic visualization of these reasoning enables us to correctly capture the system specifications by making it easier to determine if desired properties hold. It is applied to the field of Enterprise modelling

Biomimetic knee design to improve joint torque and life for bipedal robotics

© Springer International Publishing AG, part of Springer Nature 2018. This paper details the design, construction, and performance analysis of a biologically inspired knee joint for use in bipedal robotics. The design copies the condylar surfaces of the distal end of the femur and utilizes the same crossed four-bar linkage design the human knee uses. The joint includes a changing center of rotation, a screw-home mechanism, and patella; these are characteristics of the knee that are desirable to copy for bipedal robotics. The design was calculated to have an average sliding to rolling ratio of 0.079, a maximum moment arm of 2.7 in and a range of motion of 151°. This should reduce wear and perform similar to the human knee. Prototypes of the joint have been created to test these predicted properties

Threading the Needle: Fluorescent Poly-pseudo-rotaxanes for Size-Exclusion Sensing

© 2016 American Chemical Society. Poly-pseudo-rotaxanes have been formed through the threading of cucurbit[n]urils (CB[n] ) onto the cationic electron-poor poly(pyridyl vinylene), PPyV. The threading of CB[n] onto the PPyV backbone is confirmed by a broadening and upfield shift in the PPyV 1 H NMR signals. Encapsulation of PPyV within the CB[n] macrocycles produces dramatic fluorescence enhancements with improved solubility. The threading ability of the CB[n] on the PPyV backbone is governed by the dimensions of the particular CB[n] portal, which grows with increasing number of methylene-bridged glycoluril repeat units. CB[5] is too small to thread onto the PPyV backbone. The portal of CB[6] requires extra time, suggesting high preorganization and/or macrocycle deformation are required to thread onto PPyV. Alternatively, the portal of CB[8] appears to be large enough such that it does not have sufficiently large dipole-dipole interactions with the PPyV chain to promote a strong threading equilibrium. However, we find that the portal of CB[7] is optimal for the threading of PPyV. The PPyV-CB[n] system was further exploited to demonstrate a dual-action sensor platform, combining the PL-responsive behavior demonstrated by PPyV toward electron-rich analytes with the size-exclusion properties imparted by volume of the respective CB[n] cavities. Thin films of PPyV-CB[7] were found to display reversible photoluminescence quenching when exposed to vapors of the biologically relevant molecule indole, which is recovered under ambient conditions, suggesting prospects for new size-exclusion based selective sensory schemes for volatile electron-rich analytes

Extensive HST ultraviolet spectra and multiwavelength observations of SN 2014J in M82 indicate reddening and circumstellar scattering by typical dust

SN 2014J in M82 is the closest detected Type Ia supernova (SN Ia) in at least 28 yr and perhaps in 410 yr. Despite its small distance of 3.3 Mpc, SN 2014J is surprisingly faint, peaking at V = 10.6 mag, and assuming a typical SN Ia luminosity, we infer an observed visual extinction of AV = 2.0 ± 0.1 mag. But this picture, with RV = 1.6 ± 0.2, is too simple to account for all observations. We combine 10 epochs (spanning a month) of HST/Space Telescope Imaging Spectrograph (STIS) ultraviolet through near-infrared spectroscopy with HST/Wide Field Camera 3 (WFC3), Katzman Automatic Imaging Telescope, and FanCam photometry from the optical to the infrared and nine epochs of high-resolution TRES (Tillinghast Reflection Echelle Spectrograph) spectroscopy to investigate the sources of extinction and reddening for SN 2014J. We argue that the wide range of observed properties for SN 2014J is caused by a combination of dust reddening, likely originating in the interstellar medium of M82, and scattering off circumstellar material. For this model, roughly half of the extinction is caused by reddening from typical dust (E(B - V) = 0.45 mag and RV = 2.6) and roughly half by scattering off Large Magellanic Cloud-like dust in the circumstellar environment of SN 2014J

High dose prolonged treatment with nitazoxanide is not effective for cryptosporidiosis in HIV positive Zambian children: a randomised controlled trial

<p>Abstract</p> <p>Background</p> <p>Treatment of cryptosporidiosis in HIV infected children has proved difficult and unsatisfactory with no drugs having demonstrable efficacy in controlled trials except nitazoxanide. We hypothesised that a prolonged course of treatment with high dose nitazoxanide would be effective in treating cryptosporidiosis in HIV positive Zambian children.</p> <p>Methods</p> <p>We performed a double-blind, randomised, placebo controlled trial in paediatric patients in the UTH in Lusaka. The study included HIV positive children between one and eleven years of age if 2 out of 3 stool samples were positive for oocysts of <it>Cryptosporidium </it>spp. Children were given nitazoxanide suspension in a dose of 200 mg twice daily (bid) for 28 days (if 1-3 years old) or 400 mg bid for 28 days (if 4-11 years old), or matching placebo.</p> <p>Results</p> <p>Sixty children were randomised and 52 were fully evaluated. Only five children were 4 years of age or over and received the higher dose. In the primary efficacy analysis, 11 out of 26 (42%) in the active treatment group achieved a 'Well' clinical response compared to 8 out of 26 (35%) in the placebo group. Parasitological response was declared as 'Eradicated' in 27% in the active group and 35% in the placebo group. Mortality (16/52, 31%) did not differ by treatment allocation.</p> <p>Conclusion</p> <p>We found no significant benefit in children with cryptosporidiosis despite high dose and longer treatment duration. This is the second randomised controlled trial to suggest that in Zambian children with HIV-related immunosuppression nitazoxanide does not eradicate this infection nor provide clinical symptom reduction.</p> <p>Trial Registration</p> <p>The trial was registered as ISRCTN41089957.</p

Economic Outcomes of Patients Receiving Antiretroviral Therapy for HIV/AIDS in South Africa Are Sustained through Three Years on Treatment

BACKGROUND. Although the medical outcomes of antiretroviral therapy (ART) for HIV/AIDS are well described, less is known about how ART affects patients' economic activities and quality of life, especially after the first year on ART. We assessed symptom prevalence, general health, ability to perform normal activities, and employment status among adult antiretroviral therapy patients in South Africa over three full years following ART initiation. METHODOLOGY/PRINCIPAL FINDINGS. A cohort of 855 adult pre-ART patients and patients on ART for <6 months was enrolled and interviewed an average of 4.4 times each during routine clinic visits for up to three years after treatment initiation using an instrument designed for the study. The probability of pain in the previous week fell from 74% before ART initiation to 32% after three years on ART, fatigue from 66% to 12%, nausea from 28% to 4%, and skin problems from 55% to 10%. The probability of not feeling well physically yesterday fell from 46% to 23%. Before starting ART, 39% of subjects reported not being able to perform their normal activities sometime during the previous week; after three years, this proportion fell to 10%. Employment rose from 27% to 42% of the cohort. Improvement in all outcomes was sustained over 3 years and for some outcomes increased in the second and third year. CONCLUSIONS/SIGNIFICANCE. Improvements in adult ART patients' symptom prevalence, general health, ability to perform normal activities, and employment status were large and were sustained through the first three years on treatment. These results suggest that some of the positive economic and social externalities anticipated as a result of large-scale treatment provision, such as increases in workforce participation and productivity and the ability of patients to carry on normal lives, may indeed be accruing.South Africa Mission of the U.S. Agency for International Development (GHSA-00-00020-00, 674-A-00-09-00018-00, 674-A-00-02-00018); National Institute of Allergies and Infectious Diseases (PEPFAR 13, K01AI083097); APDA Advanced Center for Parkinson Research at UAB (NIH F30NS065661, NIH R01CA122930); National Institutes of Health Blueprint Core for Neuroscience Research (NS057098

Ethnic Variation in Inflammatory Profile in Tuberculosis

PMCID: PMC3701709This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited