A Constrained Object Model for Configuration Based Workflow Composition

Automatic or assisted workflow composition is a field of intense research for applications to the world wide web or to business process modeling. Workflow composition is traditionally addressed in various ways, generally via theorem proving techniques. Recent research observed that building a composite workflow bears strong relationships with finite model search, and that some workflow languages can be defined as constrained object metamodels . This lead to consider the viability of applying configuration techniques to this problem, which was proven feasible. Constrained based configuration expects a constrained object model as input. The purpose of this document is to formally specify the constrained object model involved in ongoing experiments and research using the Z specification language.Comment: This is an extended version of the article published at BPM'05, Third International Conference on Business Process Management, Nancy Franc

Composition de Workflows à l'aide de la Configuration

http://www710.univ-lyon1.fr/~csolnonLa composition automatique ou assistée de workflows est un domaine d'intense recherche avec des applications au "world wide web" et à la modélisation de processus métiers (BPM), traditionnellement envisagée en utilisant des techniques de programmation logique et de démonstration automatique. L'originialité de cette recherche provient de l'observation que la construction d'un workflow composite est un problème de recherche de modèles finis, et que la plupart des languages de workflows peuvent être définis par des métamodèles objets contraints, comme UML ou YAWL. Cela conduit à envisager l'application de techniques de configuration à base de contraintes à ce problème, ce dont nous montrons la faisabilité. Nous présentons un modèle objet contraint pour la composition de workflows, s'appuyant sur un métamodèle contraint ainsi que des ontologies de processus et de flots de données. Des résultats expérimentaux sont donnés pour une implantation qui génère des workflows composites complexes mettant en jeu transformations, synchronisations et tests

Optimisation par colonie de fourmis pour la configuration

National audienceUne des difficultés inhérentes à la recherche énumérative est l'explosion combinatoire. Parmi les algorithmes incomplets qui tentent de résoudre ce problème, l'optimisation par colonie de fourmis (ACO - Ant Colony Optmisation), qui combine des méthodes aléatoires et heuristiques avec l'apprentissage par renforcement, a prouvé son efficacité sur de nombreux problèmes de satisfaction de contraintes (CSP). Cet article présente une application d'un algorithme basé sur ACO pour la configuration, ce qui à notre connaissance n'avait pas encore été étudié. Nous décrivons comment la nature des problèmes non-bornés de configuration influe sur l'approche ACO, notamment à cause de la présence de variables ensemblistes et de domaines ouverts. Nous proposons un algorithme et un modèle phéromonal original permettant de traiter ces difficultés. Nous montrons également l'utilisation de l'optimisation par essaim de particules (PSO) pour converger vers des ensembles de paramètres optimaux. Enfin, nous fournissons des résultats expérimentaux, à la fois pour des instances aléatoires et pour le problème d'optimisation des racks

Optical properties of water under high pressure

International audienc

Centronuclear myopathy in labrador retrievers: a recent founder mutation in the PTPLA gene has rapidly disseminated worldwide

Centronuclear myopathies (CNM) are inherited congenital disorders characterized by an excessive number of internalized nuclei. In humans, CNM results from ~70 mutations in three major genes from the myotubularin, dynamin and amphiphysin families. Analysis of animal models with altered expression of these genes revealed common defects in all forms of CNM, paving the way for unified pathogenic and therapeutic mechanisms. Despite these efforts, some CNM cases remain genetically unresolved. We previously identified an autosomal recessive form of CNM in French Labrador retrievers from an experimental pedigree, and showed that a loss-of-function mutation in the protein tyrosine phosphatase-like A (PTPLA) gene segregated with CNM. Around the world, client-owned Labrador retrievers with a similar clinical presentation and histopathological changes in muscle biopsies have been described. We hypothesized that these Labradors share the same PTPLA<sup>cnm</sup> mutation. Genotyping of an international panel of 7,426 Labradors led to the identification of PTPLA<sup>cnm</sup> carriers in 13 countries. Haplotype analysis demonstrated that the PTPLA<sup>cnm</sup> allele resulted from a single and recent mutational event that may have rapidly disseminated through the extensive use of popular sires. PTPLA-deficient Labradors will help define the integrated role of PTPLA in the existing CNM gene network. They will be valuable complementary large animal models to test innovative therapies in CNM

Everything Matters in Programmable Packet Scheduling

Programmable packet scheduling allows the deployment of scheduling algorithms into existing switches without need for hardware redesign. Scheduling algorithms are programmed by tagging packets with ranks, indicating their desired priority. Programmable schedulers then execute these algorithms by serving packets in the order described in their ranks. The ideal programmable scheduler is a Push-In First-Out (PIFO) queue, which achieves perfect packet sorting by pushing packets into arbitrary positions in the queue, while only draining packets from the head. Unfortunately, implementing PIFO queues in hardware is challenging due to the need to arbitrarily sort packets at line rate based on their ranks. In the last years, various techniques have been proposed, approximating PIFO behaviors using the available resources of existing data planes. While promising, approaches to date only approximate one of the characteristic behaviors of PIFO queues (i.e., its scheduling behavior, or its admission control). We propose PACKS, the first programmable scheduler that fully approximates PIFO queues on all their behaviors. PACKS does so by smartly using a set of strict-priority queues. It uses packet-rank information and queue-occupancy levels at enqueue to decide: whether to admit packets to the scheduler, and how to map admitted packets to the different queues. We fully implement PACKS in P4 and evaluate it on real workloads. We show that PACKS: better-approximates PIFO than state-of-the-art approaches and scales. We also show that PACKS runs at line rate on existing hardware (Intel Tofino).Comment: 12 pages, 12 figures (without references and appendices

Perbaikan Kualitas Proses Produksi Dengan Metode Six Sigma Di PT. Catur Pilar Sejahtera, Sidoarjo

PT. Catur Pilar Sejahtera atau yang biasa dikenal dengan nama PT. CPS merupakan perusahaan yang memproduksi tas berbahan dasar polyprophylene atau spunbond. Sebagai salah satu industri tas, PT. CPS harus bersaing dengan perusahaan lain yang bergerak di bidang yang sama. Dengan meningkatnya persaingan tersebut maka perusahaan harus memiliki kualitas yang baik dan sesuai dengan kebutuhan konsumen. Oleh karena itu, perusahaan harus berpikir bagaimana cara mengurangi persentase cacat guna mencapai kepuasan konsumen. Cara tersebut dapat dilakukan dengan menggunakan metode DMAIC (Define, Measure, Analyze, Improve, Control) dalam six sigma. Tujuan dari penggunaan metode ini adalah untuk mengukur sigma dan melakukan perbaikan guna menurunkan persentase cacat dan biaya kualitas pada proses produksi. PT. CPS memiliki 3 departemen yaitu departemen pemotongan, departemen pencampuran cat dan departemen penyablonan. Pada tahap define, dilakukan identifikasi masalah, penentuan obyek penelitian, dan pemetaan proses (process maping) untuk menentukan critical to quality (CTQ) dan jenis cacat dari masing-masing proses produksi. Jenis cacat yang ada pada ketiga departemen di PT. CPS adalah cacat ukuran, cacat lubang, cacat warna, cacat kotor dan cacat terbalik. Pada tahap measure, ditetapkan penentuan rencana pengumpulan data, pengukuran kinerja proses awal yang meliputi pengujian perbedaan parameter proses terhadap tingkat cacat, pembuatan control chart, perhitungan DPO, DPMO, yield, nilai kapabilitas sigma dan biaya kualitas awal dari masing-masing departemen. Nilai sigma dari proses awal yaitu, proses pemotongan memiliki nilai sigma sebesar 4.9 dan proses penyablonan memiliki sigma sebesar 3.9. Sedangkan biaya kualitas awal di PT. CPS sebesar Rp 216.847,176 / 8 hari. Pada tahap analyze dianalisis penyebab cacat yang terjadi pada proses pemotongan dan penyablonan dengan menggunakan digram Ishikawa dan FMEA (Failure Mode and Effect Analysis) sehingga untuk selanjutnya dapat dilakukan tindakan perbaikan yang dapat mengurangi cacat. Pada tahap improve dilakukan perbaikan untuk semua penyebab cacat yang ada dan perhitungan waktu dan output standar dari proses penyablonan. Setelah proses perbaikan dilakukan, dilakukan pengukuran kinerja ulang dengan cara membuat control chart, perhitungan DPO, DPMO, yield, nilai kapabilitas sigma dan biaya kualitas akhir dari masing-masing proses. Setelah dilakukan perhitungan, didapatkan bahwa nilai sigma pada proses pemotongan naik menjadi 5.2 dan sigma pada proses penyablonan naik menjadi 4.5. Sedangkan biaya kualitas akhir di PT. CPS adalah Rp 489.147,176 / 8 hari. Perhitungan waktu dan output standar juga dilakukan untuk menghitung kapasitas produksi yang dapat dilakukan oleh seorang operator sablon. Waktu standar pada proses penyablonan adalah sebesar 13.472 detik/unit dan output standar sebesar 2144 unit/8 jam kerja atau 2144 unit/hari. Dengan adanya waktu dan output standar diharapkan operator tidak mengeluhkan target produksi yang terlalu tinggi lagi kepada pihak manajemen. Pada tahap terakhir yaitu tahap control dilakukan pembuatan mekanisme kontrol dan instruksi kerja untuk setiap proses yang ada di PT. CPS. Instruksi kerja ini bertujuan sebagai alat kontrol untuk dapat terus mengendalikan kualitas proses produksi. Mekanisme kontrol dan instruksi kerja ini berisi kriteria, alat kontrol, periode kontrol dan penanggung jawab dari setiap intruksi kerja untuk memudahkan pelaksanaan tahap control

Concepts actuels de l'hyperaldostéronisme primaire

peer reviewe

F as in Fat: How Obesity Threatens America’s Future 2012

https://www.rwjf.org/content/dam/farm/reports/reports/2012/rwjf40131

Prévalence de la prise d’alcool pendant la grossesse à Lubumbashi, République Démocratique du Congo

En dépit de l'ampleur du risque sur le foetus, l'alcool est sans cesse consommé par les femmes enceintes. L'objectif de ce travail est d'étudier l'usage de l'alcool chez la femme enceinte dans la ville de Lubumbashi, d'examiner les dangers potentiels encourus par le foetus, et enfin de faire des recommandations éventuelles en vue de sécuriser la grossesse et la femme enceinte. Du 22 Août au 11 septembre 2012, 145 femmes enceintes suivies en consultation prénatale à l'Hôpital SENDWE ont été invitées à remplir un formulaire reprenant les  informations les concernant, le type d'alcool consommé et la période de consommation. 26,2% des femmes interrogées reconnaissent avoir consommé l'alcool et principalement au deuxième et au troisième trimestre de la grossesse pour diverses raisons. Cette étude montre que des efforts restent encore à déployer à Lubumbashi et particulièrement par le personnel soignant de l'Hôpital SENDWE afin de combattre l'utilisation de l'alcool chez la femme enceinte. Elle met également en exergue l'importance de l'information que le corps médical devrait véhiculer auprès des femmes enceintes sur les effets secondaires liés à la consommation de l'alcool pendant la grossesse.Key words: Alcool, grossesse, femme enceinte, effets secondaire