17 research outputs found

    A multi-physics compiler for generating numerical solvers from differential equations

    Full text link
    We develop a tool that enables domain experts to quickly generate numerical solvers for emerging multi-physics phenomena starting from a high-level description based on ordinary/partial differential equations and their initial and boundary conditions over a symbolic spacetime domain. This "multi-physics" compiler aims to bridge the gap between problem formulation and computation, which historically has spanned years or even decades. Specialized numerical solvers in areas such as computational fluid dynamics (CFD) often present a barrier to novice end users not well-versed in the intricacies of their underlying schemes, and requiring surgical modifications when coupling with additional physical components initially not accounted for by the solver. Through the use of an intermediate language that is neutral between classical and exterior calculus, the compiler generates correct-by-construction numerical source code that offers guarantees of immutable physical principles like conservation laws at the discrete level. We present a proof of concept for the multi-physics compiler through some examples involving compilation to OpenFOAM [1]. A specific use case that the compiler is well-suited for involves equation modification approaches, where the aim is to use simple numerical schemes such as central differencing through the additional of artificial terms to the original governing equations of the multi-physics problem [2, 3, 4]

    Internet, un moteur de transformation des organisations militaires ?

    No full text
    Longtemps considérées comme des milieux professionnels peu enclins à communiquer avec l’extérieur, les organisations militaires ont été confrontées à de nouveaux défis sous l’effet des nouvelles technologies de l’information et de la communication. Celles-ci offrent des possibilités inédites aux militaires, notamment pour faire circuler l’information et exprimer leur avis tout en court-circuitant les échelons hiérarchiques traditionnels. Dans ces organisations traditionnellement caractérisées par un degré élevé de contrôle, de nouvelles directives ont vu le jour afin de réguler ces échanges d’informations. C’est surtout le cas lors de déploiements opérationnels pour les informations sensibles dont la divulgation pourrait engendrer des risques pour la conduite des opérations ou pour la sécurité des militaires ou de leurs proches. A un autre niveau, alors que la plupart des armées font face à des problèmes de recrutement, l’utilisation de ces canaux représente également un vecteur important pour l’image de l’organisation auprès de l’opinion publique. Les dimensions abordées dans cet article visent, d’une part, à analyser l’utilisation qui est faite d’internet et des réseaux sociaux lors d’opérations militaires ainsi qu’à ses effets tant pour la conduite des opérations que pour le maintien de liens sociaux avec la famille et les proches. Dans un deuxième point, nous analyserons la manière dont les organisations militaires, de la Défense belge en particulier, essaient de répondre à ces changements. L’article repose sur des données quantitatives recueillies en 2008 et 2012 à l’aide de questionnaires standardisés administrés à des militaires belges déployés sur l’aéroport de Kaboul dans le cadre de la mission ISAF (International Security Assistance Force)

    Wat met werkplekleren?

    No full text
    status: publishe

    Impacto de la política crediticia en las ventas y morosidad de tiendas en Pucallpa - empresa Credivargas S.A. 2015-2016

    Get PDF
    TesisLa presente tesis fue elaborada para determinar en qué medida la morosidad con el modelo de Política de Crédito Restrictiva del año 2016, es menor que con el modelo de Política de Crédito Flexible del año 2015 en la empresa CREDIVARGAS S.A.. Este tipo de estudios tiene una gran importancia para toda empresa y/o institución cuya principal actividad está relacionada con las ventas al crédito, donde la tasa de morosidad es un indicador relevante. Para este estudio se ha formulado una METODOLOGÍA para evaluar la morosidad en base a los cuatro indicadores: - Monto de cuotas atrasadas, - Monto total atrasado, - Tiempo de atraso en meses, y - Número de cuotas atrasadas, las cuales se clasificaron según su gravedad de morosidad en: Frecuente- Aceptable. – Considerable, - Excesiva, y – Extrema. Para ello se ha empleado un MÉTODO descriptivo orientado a la contrastación de Pruebas de Diferencia de Medias para dos muestras y Pruebas para Medias Poblacionales, aplicadas con el 5% de significación estadística y los resultados obtenidos se presentaron mediante gráficos estadísticos, medidas de tendencia central y medidas de dispersión, a fin de hacer posible el contraste entre los periodos analizados. Por lo que pude llegar a la CONCLUSIÓN que en la empresa CREDIVARGAS S.A., el número de créditos involucrados ha disminuido aunque poco significativamente en el año 2016 respecto al año 2015. La proporción de morosidad ha aumentado en 3.0% llegando al 54.5% del total de créditos atrasados en el 2016, de manera que no se han presentado cambios significativos en los Niveles de Morosidad en esta empresa en el 2015 y 2016 y en estos años se ha mantenido la situación crediticia calificada como Morosidad Regular

    Key issues and open questions in GMO controls

    No full text
    International audienceThe introduction of genetically modifi ed organisms (GMO) induced the implementation of a set of regulations in Europe as well as in other countries. These regulations were meant to provide a freedom for the consumers to choose the products they want. Analytical methods and traceability shall ensure the reliability of the labelling, a requirement that is not always easy to meet. Technical, fi nancial and other challenges to labelling reliability are among the key issues in the GMO detection area and several of these are discussed here

    SARS-CoV-2 Variability in Patients and Wastewaters—Potential Immuno-Modulation during the Shift from Delta to Omicron

    No full text
    The continuous emergence of SARS-CoV-2 variants favors potential co-infections and/or viral mutation events, leading to possible new biological properties. The aim of this work was to characterize SARS-CoV-2 genetic variability during the Delta–Omicron shift in patients and in a neighboring wastewater treatment plant (WWTP) in the same urban area. The surveillance of SARS-CoV-2 was performed by routine screening of positive samples by single nucleotide polymorphism analysis within the S gene. Moreover, additionally to national systematic whole genome sequencing (WGS) once a week in SARS-CoV-2-positive patients, WGS was also applied when mutational profiles were difficult to interpret by routine screening. Thus, WGS was performed on 414 respiratory samples and on four wastewater samples, northeastern France. This allowed us to report (i) the temporally concordant Delta to Omicron viral shift in patients and wastewaters; (ii) the characterization of 21J (Delta) and 21K (Omicron)/BA.1-21L (Omicron)/BA.2-BA.4 mixtures from humans or environmental samples; (iii) the mapping of composite mutations and the predicted impact on immune properties in the viral Spike protein
    corecore