Sur une méthode algorithmique de synthése d'une machine séquentielle

Dans le problème de la synthèse d'une machine séquentielle, on peut, grosso modo, distinguer trois étapes : le passage des données du système à construire à la représentation tabulée (table de fluence ou table des phases, dans le cas d'un système asynchrone);le codage des états internes de cette table (de façon,dans le cas d'une machine synchrone, à obtenir si possible une décomposition en sous-machines, et,dans le cas d'une machine asynchrone, de façon à éviter les phénomènes de courses et d'aléas); enfin,l'écriture des équations et le dessin du schéma logique de la machine (en essayant par exemple de minimaliser le nombre de composants nécessaires à la. réalisation du circuit)

An Anticipative Effects-Based Approach (AEBA) for analyzing collaborative crisis management process

This paper aims at presenting an Anticipative Effects-Based Approach (AEBA) to evaluate the potential effects of a collaborative crisis management process response on the different elements concerned by the crisis evolution. This approach provides several concepts, model and reasoning mechanisms presented and illustrated in this paper. AEBA is currently developed within the French ISYCRI1 Project. It focuses on crisis occurring suddenly and unpredictably. Long time crisis such as famine, pandemic, enduring civilian wars, etc. are not taken into account

A Multi-dimensional Service Chain Ecosystem Model

International audienceThe globalised and moving economical environment leads enterprises to develop networked strategies. Such collaborative networks are by now often based on trusted and well known communities and require IT support agility and interoperability. The European Union promotes solutions to support and favor innovative business networks on the basis of an internet of services: these FP6 and FP7 projects results provide a consistent environment (including design, methods and developments related to Enterprise Service Bus (ESB) technology) to support technologically Business Service oriented organizations and the large-scale reinforcement of collaborative business and networked organization strategies. Nevertheless these works are mostly focused on an IT vision without taking into account business constraints. To overcome this limit, we propose a multi-dimensional service-chain ecosystem model, paying attention on service functional and non-functional properties description to support an efficient and consistent business service selection and composition process so that large-scale service based collaborative organization can emerge

Continuous and multidimensional assessment of resilience based on functionality analysis for interconnected systems

International audienceThe increasing number of disruptions, from natural disasters to terrorist attacks, is today a major concern of our modern society. As a result, to the interdependent nature of infrastructures, disruptions cause domino and cascade effects. For instance, a disruption in an energy infrastructure affects a rail-transportation infrastructure that further affects other infrastructures. Mitigating the negative effects means that the infrastructures must recover in minimum time, with minimum costs their initial functioning capacity, i.e., they must be resilient. So, stakeholders must analyse the resilience of infrastructures before any disruption to anticipate the right decisions. This article studies the concepts of resilience and resilience assessment to bridges the gap between rough stakeholders’ data and resilience evaluation for interdependent systems. The result is an original toolequipped approach that combines continuous with multidimensional resilience evaluation and assessment. The approach is based on simple and generic criteria that can be extended and adapted depending on the context and needs

Maturity Model for Interoperability Potential Measurement

Interoperability potential concerns the preparation level of an enterprise to establish an efficient collaboration with possible part- ners. In order to improve their interoperability, enterprises need to know witch level of maturity they have achieved. This article pro- poses a complete maturity model composed by a methodology and a reference set of parameters to measure interoperability potential. In order to clarify the proposal, an example of application in a real case is described.Campos, C.; Chalmeta, R.; Grangel, R.; Poler Escoto, R. (2013). Maturity Model for Interoperability Potential Measurement. Information Systems Management. 30(3):218-234. doi:10.1080/10580530.2013.794630S218234303Alfaro, J. J., Rodriguez-Rodriguez, R., Verdecho, M. J., & Ortiz, A. (2009). Business process interoperability and collaborative performance measurement. International Journal of Computer Integrated Manufacturing, 22(9), 877-889. doi:10.1080/09511920902866112Sabucedo, L. Á., & Rifón, L. A. (2010). Managing Citizen Profiles in the Domain of e-Government: The cPortfolio Project. Information Systems Management, 27(4), 309-319. doi:10.1080/10580530.2010.514181Berre, A.-J., Elvesæter, B., Figay, N., Guglielmina, C., Johnsen, S. G., Karlsen, D., … Lippe, S. (s. f.). The ATHENA Interoperability Framework. Enterprise Interoperability II, 569-580. doi:10.1007/978-1-84628-858-6_62Blanc, S., Ducq, Y., & Vallespir, B. (2007). Evolution management towards interoperable supply chains using performance measurement. Computers in Industry, 58(7), 720-732. doi:10.1016/j.compind.2007.05.011Campos, C., Martí, I., Grangel, R., Mascherpa, A. and Chalmeta, R. A methodological proposal for the development of an interoperability framework.Model Driven Interoperability for Sustainable Information Systems (MDISIS′08) (CAiSE′08). Vol. 340, pp.47–57. CEUR-WS. http://ceur-ws.org/Vol-340/paper04.pdfChalmeta, R., & Grangel, R. (2005). Performance measurement systems for virtual enterprise integration. International Journal of Computer Integrated Manufacturing, 18(1), 73-84. doi:10.1080/0951192042000213164Doumeingts, G. and Chen, D. Basic concepts and approaches to develop interoperability of enterprise applications.PRO-VE,IFIP Conference Proceedings. Edited by: Camarinha-Matos, L. M. and Afsarmanesh, H. Vol. 262, pp.323–330. Norwell, MA: Kluwer.Duque, A., Campos, C., Jimenez-Ruiz, E. and Chalmeta, R. An ontological solution to supprot interoperability in the textile industry.Second IFIP WG 5.8 International Workshop, IWEI 2009. Edited by: Poler, M. V. S. R. Vol. 38, pp.38–51. New York: Springer.Guédria, W., Naudet, Y., & Chen, D. (2008). Interoperability Maturity Models – Survey and Comparison –. Lecture Notes in Computer Science, 273-282. doi:10.1007/978-3-540-88875-8_48Hoving, R. (2007). Information Technology Leadership Challenges — Past, Present, and Future. Information Systems Management, 24(2), 147-153. doi:10.1080/10580530701221049Palomares, N., Campos, C., & Palomero, S. (2010). How to Develop a Questionnaire in Order to Measure Interoperability Levels in Enterprises. Enterprise Interoperability IV, 387-396. doi:10.1007/978-1-84996-257-5_36Walsham, G. (1995). Interpretive case studies in IS research: nature and method. European Journal of Information Systems, 4(2), 74-81. doi:10.1057/ejis.1995.

Prospective evaluation of lipid management following acute coronary syndrome in non-Western countries

Background: Half the global burden of cardiovascular disease (CVD) is concentrated in the Asia-Pacific (APAC) region. Hypothesis: Suboptimal control of low-density lipoprotein cholesterol (LDL-C) may play a large role in the burden of CVD in APAC and non-Western countries. Methods: The Acute Coronary Syndrome Management (ACOSYM) registry is a multinational, multicenter, prospective observational registry designed to evaluate LDL-C control in patients within 6 months after hospitalization following an acute coronary syndrome (ACS) event across nine countries. Results: Overall, 1581 patients were enrolled, of whom 1567 patients met the eligibility criteria; 80.3% of the eligible patients were men, 46.1% had ST-elevation myocardial infarction, and 39.5% had non-ST-elevation myocardial infarction. Most (1245; 79.5%) patients were discharged on a high-intensity statin. During the followup, only 992 (63.3%) patients had at least one LDL-C measurement; of these, 52.9% had persistently elevated LDL-C (>70 mg/dl). The patients not discharged on a highdose statin were more likely (OR 3.2; 95% CI 2.1–4.8) to have an LDL-C above the 70 mg/dl LDL-C target compared with those who were discharged on a high-dose statin. Conclusion: Our real-world registry found that a third or more of post-ACS patients did not have a repeat LDL-C follow-up measurement. In those with an LDL-C followup measurement, more than half (52.9%) were not achieving a <70 mg/dl LDL-C goal, despite a greater uptake of high-intensity statin therapy than has been observed in recent evidence. This demonstrates the opportunity to improve post-ACS lipid management in global community practice

Adult neural stem cells and multiciliated ependymal cells share a common lineage regulated by the Geminin family members

Adult neural stem cells and multiciliated ependymalcells are glial cells essential for neurological func-tions. Together, they make up the adult neurogenicniche. Using both high-throughput clonal analysisand single-cell resolution of progenitor division pat-terns and fate, we show that these two componentsof the neurogenic niche are lineally related: adult neu-ral stem cells are sister cells to ependymal cells,whereas most ependymal cells arise from the termi-nal symmetric divisions of the lineage. Unexpectedly,we found that the antagonist regulators of DNA repli-cation, GemC1 and Geminin, can tune the proportionof neural stem cells and ependymal cells. Our find-ings reveal the controlled dynamic of the neurogenicniche ontogeny and identify the Geminin familymembers as key regulators of the initial pool of adultneural stem cells

Towards a Sustainable Implementation of Interoperability Solutions: Bridging the Gap Between Interoperability Requirements and Solutions

Part 1: Full PapersInternational audienceThe main objective of this communication is to present and discuss the need, for partners, to suitable interoperability solution according to their expectations. First, the problematic of the selection of a solution is presented and the stakeholders’ needs to tackle this statement are highlighted. Then, existing works related to interoperability requirements and interoperability solutions are briefly presented and discussed. Finally, criteria - and associated examples - that guide stakeholders in their selection are presented

Interoperability analysis in critical collaborative processes: an application to the healthcare sector for complex patient assistance

International audienceDeveloping interoperability is a major issue in collaborative processes. For instance, interoperability is crucial for collaborative processes focused on crisis or healthcare-system management. Partners have to interact trustingly and efficiently. They need to share data, knowledge, best practices, resources and skills in terms of confidence, quality of exchanges and response times. They also need to be sure of the relevance and quality of their roles and actions throughout the process to achieve a desired outcome (crisis resolution, appropriate medical surgery, etc.). In this context, it is worthwhile trying to detect and solve interoperability problems prior to the execution of the process. This work focuses on interoperability in healthcare processes for complex patient assistance (diabetes, cardiovascular accidents, etc.), where different actors need to interoperate. The purpose is to show an approach for highlighting potential interoperability problems that can occur in a given process, with the support of formal verification techniques

Informatisation et automatisation de bioreacteurs

Diplôme : Fin d'étude