Spelling suggestions: "subject:"beta model"" "subject:"beta godel""
61 |
Proposition d'un cadre méthodologique pour le management intégré des risques et des processus d'entreprise / A Methodological framework for the integrated management of risks and business processesSienou, Amadou 26 June 2009 (has links)
L'ingénierie d'entreprise conçoit et met en application des projets d'amélioration de la structure et du fonctionnement des organisations de production de biens ou de services. Elle développe des démarches fondées sur la modélisation, en particulier la modélisation des processus métiers, pour assurer une qualité et une cohérence d'ensemble des projets. Aujourd'hui, la prise en compte du risque en ingénierie d'entreprise fait l'objet de nombreux développements, liés à un environnement perçu comme de plus en plus agressif et imprévisible. Des cadres de référence sont même publiés pour guider les entreprises dans ces nouvelles dimensions du pilotage de l'organisation autour du risque. Notre étude se consacre à la conception des processus métier dirigée par les risques comme une composante à part entière de l'ingénierie d'entreprise. Après avoir fait une synthèse des connaissances sur les univers du risque et des processus, un problème d'intégration de ces connaissances est formulé. Un cadre méthodologique pour le management intégré des risques et des processus est ainsi conçu et décrit. Il repose sur la coordination des cycles de vie de la gestion des risques et de la gestion des processus métier, sur la définition d'un cadre conceptuel unifié permettant d'identifier et de maîtriser les informations échangées entre eux, et enfin sur un langage de modélisation adapté à une description des situations et étendant les capacités d'un outil de modélisation du marché (ARIS Business Architect). Un cas d'études du domaine de la santé vient illustrer le bien fondé de l'application de ce cadre méthodologique sur un cas concret. / Enterprise engineering is concerned with the design of projects which aim to improve the structure and behaviour of organisations producing goods and services. It develops approaches based on modelling techniques, particularly on business process modelling in order to assure the quality and the global consistency of the project portfolio. Nowadays, risk consideration in enterprise engineering is a growing importance since the business environment is becoming more and more competitive and unpredictable. In fact, reference frameworks providing guidance for enterprise risk management are developed to tackle this. Our research focuses on risk driven business process design as an integral part of enterprise engineering. After delivering a synthesis of work related to risks and business processes, a research question concerning the integration of both has been addressed. A framework for the integrated management of risks and business processes is suggested. It is based on three components: a coordination of risk and business process management lifecycles, a unified conceptual framework supporting information exchanges between the coordinated lifecycles, and finally a modelling language adapted to the description of risky situations. The later extends the features of a commercial modelling tool (ARIS Business Architect). A case study from the health sector illustrates the foundation of the methodological framework.
|
62 |
Utvärdering av den upplevda användbarheten hos CySeMoL och EAAT med hjälp av ramverk för ändamålet och ISO/IEC 25010:2011Frost, Per January 2013 (has links)
This report describes a study aimed at uncovering flaws and finding potential improvements from when the modelling tool EAAT is used in conjunction with the modelling language CySeMoL. The study was performed by developing a framework and applying it on CySeMoL and EAAT in real life context networks. The framework was developed in order to increase the number of flaws uncovered as well as gather potential improvements to both EAAT and CySeMoL. The basis of the framework is a modified version of the Quality in use model from ISO/IEC 25010:2011 standard. Upon the characteristics and sub characteristics of this modified model different values for measuring usability where attached. The purpose of these values is to measure usability from the perspectives of both creating and interpreting models. Furthermore these values are based on several different sources on how to measure usability. The complete contents of the framework and the underlying ideas, upon which the framework is based, are presented in this report. The framework in this study was designed in order to enable it to be used universally with any modelling language in conjunction with a modelling tool. Its design is also not limited to the field of computer security and computer networks, although that is the intended context of CySeMoL as well as the context described in this report. However, utilization outside the intended area of usage will most likely require some modifications, in order to work in a fully satisfying. Several flaws where uncovered regarding the usability of CySeMoL and EAAT, but this is also accompanied by several recommendations on how to improve both CySeMoL and EAAT. Because of the outline of the framework, the most severe flaws have been identified and recommendations on how to rectify these shortcomings have been suggested.
|
63 |
Towards a Development Methodology for Adaptable Collaborative Audience Response SystemsKubica, Tommy, Shmelkin, Ilja, Schill, Alexander 13 May 2022 (has links)
The use of Audience Response Systems (ARSs) for tech-enhanced learning scenarios has proven to address issues occurring within higher education, e.g. the missing interaction between the lecturer and the students. Since the majority of these systems relies on a single supported didactic concept and therefore has a limited set of provided functions, ARSs are currently restricted to support classic content-based as well as enquiry-based learning. The support of more advanced didactic concepts in order to investigate studio-based learning is currently not possible due to the lacking collaborative and cooperative functionality. This paper presents a unified (meta-)model which is able to express various scenarios, targeting the holistic support of content-based, enquiry-based and studio-based learning. The created model is evaluated within a user study to reason about the applicability of its underlying concept as well as the defined function blocks. In addition, this paper purposes ideas for a future graphical editor, which will support the modeling process, and provides concrete details for a possible implementation of a system on top of the (meta-)model. Index Terms—audience response systems, collaborative learning, adaptability, meta-model, domain-specific language, highereducation, technology-enhanced learning
|
64 |
Une approche dirigée par les modèles pour le développement de tests pour systèmes avioniques embarqués / A model-driven development of tests for avionics embedded systemsGuduvan, Alexandru-Robert-Ciprian 18 April 2013 (has links)
Le développement de tests pour les systèmes d’avioniques met en jeu une multiplicité de langages de test propriétaires, sans aucun standard émergent.Les fournisseurs de solutions de test doivent tenir compte des habitudes des différents clients, tandis que les échanges de tests entre les avionneurs et leurs équipementiers / systémiers sont entravés. Nous proposons une approche dirigée par les modèles pour s’attaquer à ces problèmes: des modèles de test sont développés et maintenus à la place du code, avec des transformations modèle-vers-code vers des langages de test cibles. Cette thèse présente trois contributions dans ce sens. La première consiste en l’analyse de quatre langages de test propriétaires actuellement déployés. Elle nous a permis d’identifier les concepts spécifiques au domaine, les meilleures pratiques,ainsi que les pièges à éviter. La deuxième contribution est la définition d’un méta-modèle en EMF Ecore, qui intègre tous les concepts identifiés et leurs relations. Le méta-modèle est la base pour construire des éditeurs de modèles de test et des motifs de génération de code. Notre troisième contribution est un d´démonstrateur de la façon dont ces technologies sont utilisées pour l’élaboration des tests. Il comprend des éditeurs personnalisables graphiques et textuels pour des modèles de test, ainsi que des transformations basées-motifs vers un langage du test exécutable sur une plateforme de test réelle. / The development of tests for avionics systems involves a multiplicity of in-house test languages, with no standard emerging. Test solution providers have to accommodate the habits of different clients, while the exchange of tests between aircraft manufacturers and their equipment/system providers is hindered. We propose a model-driven approach to tackle these problems: test models would be developed and maintained in place of code, with model-to-code transformations towards target test languages. This thesis presents three contributions in this direction. The first one consists in the analysis of four proprietary test languages currently deployed. It allowed us to identify the domain-specific concepts, best practices, as well as pitfalls to avoid. The second contribution is the definition of a meta-model in EMF Ecore that integrates all identified concepts and their relations. The meta-model is the basis for building test model editors and code generation templates. Our third contribution is a demonstrator of how these technologies are used for test development. It includes customizable graphical and textual editors for test models, together with template-based transformations towards a test language executable on top of a real test platform.
|
65 |
Meta model-based multi-objective optimization of laser welded dissimilar material joints for battery componentsAndersson Lassila, Andreas January 2024 (has links)
During the assembly process of battery packs for electric vehicles, it is crucial to ensure that the cell-to-busbar joints can be produced with high quality, good reliability, and with minimal impact on the individual battery cells. This thesis project investigates the influence of different process parameters on the joint quality for laser welded dissimilar material cell-to-busbar joints. Nickel plated copper and steel plates, joined in an overlap configuration, are used as a simplified geometry, representing a cell-to-busbar joint. By the utilization of artificial neural network-based meta models, trained on numerical results from computational fluid dynamics simulations of the laser welding process, the joint quality is predicted and evaluated. The present thesis investigates how a set of optimized process parameters can be identified for the considered laser welded dissimilar material cell-to-busbar joints, in order to simultaneously maximize the interface width for the joints, and minimize the formation of undercuts and resulting in-process temperatures. NSGA-II is used to efficiently search for trade-off solutions, in an meta model-based multi-objective optimization approach, where the meta models are used to approximate the objectives, corresponding to the joint quality obtained from computational fluid dynamics simulations. With this, the time for one objective evaluation is reduced from approximately 9 hours, when the objectives are evaluated directly from computational fluid dynamics simulations, to only tenths of a second. With the proposed optimization approach, the Pareto-optimal front of trade-off solutions is identified, leading to the selection of three optimal solutions for validation. The validity of the proposed optimization approach, and the selected optimal solutions, are confirmed by means of both physical laser welding experiments and computational fluid dynamics simulations. It is shown that the selected optimal solutions, corresponding to three parameter setups, can be used to produce joints with large interface width and low in-process temperatures, without achieving a full penetration in the lower plate of the joint.
|
66 |
Capturing JUnit Behavior into Static Programs : Static Testing FrameworkSiddiqui, Asher January 2010 (has links)
<p>In this research paper, it evaluates the benefits achievable from static testing framework by analyzing and transforming the <em>JUnit3.8 </em>source code and static execution of transformed code. Static structure enables us to analyze the code statically during creation and execution of test cases. The concept of research is by now well established in static analysis and testing development. The research approach is also increasingly affecting the static testing process and such research oriented work has proved particularly valuable for those of us who want to understand the reflective behavior of <em>JUnit3.8 Framework</em>.</p><p><em> JUnit3.8 Framework</em> uses <em>Java Reflection API</em> to invoke core functionality (test cases creation and execution) dynamically. However, <em>Java Reflection API</em> allows developers to access and modify structure and behavior of a program. Reflection provides flexible solution for creating test cases and controlling the execution of test cases. Java reflection helps to encapsulate test cases in a single object representing the test suite. It also helps to associate each test method with a test object. Where reflection is a powerful tool to perform potential operations, on the other hand, it limits static analysis. Static analysis tools often cannot work effectively with reflection.</p><p>In order to avoid the reflection, <em>Static Testing Framework</em> provides a static platform to analyze the <em>JUnit3.8</em> source code and transform it into non-reflective version that emulates the dynamic behavior of <em>JUnit3.8</em>. The transformed source code has possible leverage to replace reflection with static code and does same things in an execution environment of <em>Static Testing Framework</em> that reflection does in <em>JUnit3.8</em>. More besides, the transformed code also enables execution environment of <em>Static Testing Framework</em> to run test methods statically. In order to measure the degree of efficiency, the implemented tool is evaluated. The evaluation of <em>Static Testing Framework</em> draws results for different Java projects and these statistical data is compared with <em>JUnit3.8</em> results to measure the effectiveness of <em>Static Testing Framework</em>. As a result of evaluation, <em>STF</em> can be used for static creation and execution of test cases up to <em>JUnit3.8</em> where test cases are not creating within a test class and where real definition of constructors is not required. These problems can be dealt as future work by introducing a middle layer to execute test fixtures for each test method and by generating test classes as per real definition of constructors.</p>
|
67 |
Ein komponentenbasiertes Meta-Modell kontextabhängiger Adaptionsgraphen für mobile und ubiquitäre Anwendungen / A Component-based Meta-Model of Context-Aware Adaptation Graphs for Mobile and Ubiquitous ApplicationsSpringer, Thomas 11 October 2004 (has links) (PDF)
Gegenwärtige Infrastrukturen für verteilte Dienste und Anwendungen, insbesondere das Internet, entwickeln sich zunehmend zu mobilen verteilten Systemen. Durch die Integration drahtloser Netze, mobiler bzw. dedizierter Endgeräte und nicht zuletzt durch die Mobilität der Benutzer steigt die Heterogenität und Dynamik der Systeme hinsichtlich der eingesetzten Endgeräte, Kommunikationstechnologien sowie Benutzeranforderungen und Anwendungssituationen. Diese Eigenschaften sind mobilen Systemen inhärent und bleiben trotz der fortschreitenden Entwicklung der Technologien bestehen. Daraus resultieren spezifische Anforderungen an Anwendungen und Dienste, denen insbesondere die Softwareentwicklung Rechnung tragen muss. In der vorliegenden Arbeit wird die Adaptivität von Softwaresystemen als wesentlicher Lösungsansatz für mobile verteilte Infrastrukturen thematisiert. Dazu werden wesentliche Mechanismen zur Adaption sowie der Überschneidungsbereich von Adaptionsmechanismen, &quot;Context-Awareness&quot; und Softwareentwicklung untersucht. Ziel ist es, Erkenntnisse über Basismechanismen und Grundprinzipien der Adaption zu gewinnen und diese zur systematischen Entwicklung adaptiver Anwendungen auszunutzen. Aus der Analyse des State-of-the-Art werden als erstes wichtiges Ergebnis der Arbeit wesentliche Basismechanismen zur Adaption identifiziert, umfassend klassifiziert und hinsichtlich eines Einsatzes in mobilen verteilten Infrastrukturen bewertet. Auf dieser Grundlage wird ein Meta-Modell zur systematischen Entwicklung adaptiver Anwendungen erarbeitet. Dieses erlaubt die Beschreibung adaptiver Anwendungen durch die Komposition von Basismechanismen zur Struktur- und Parameteradaption. Die Steuerung der Adaption durch Kontext und Meta-Informationen kann explizit beschrieben werden. Das Meta-Modell kann Entwickler beim Entwurf adaptiver Anwendungen unterstützen, stellt aber auch einen Ausgangspunkt für deren Analyse und Validierung sowie zur Kodegenerierung dar. Durch die explizite Beschreibung der verwendeten Adaptionsmechanismen und deren Abhängigkeiten von Kontext können Anwendungsmodelle außerdem zur Dokumentation verwendet werden. Im Rahmen der Validierung konnte die Integrierbarkeit der Basismechanismen und die flexible Anwendbarkeit des Modells zur systematischen Entwicklung adaptiver Anwendungen nachgewiesen werden.
|
68 |
Capturing JUnit Behavior into Static Programs : Static Testing FrameworkSiddiqui, Asher January 2010 (has links)
In this research paper, it evaluates the benefits achievable from static testing framework by analyzing and transforming the JUnit3.8 source code and static execution of transformed code. Static structure enables us to analyze the code statically during creation and execution of test cases. The concept of research is by now well established in static analysis and testing development. The research approach is also increasingly affecting the static testing process and such research oriented work has proved particularly valuable for those of us who want to understand the reflective behavior of JUnit3.8 Framework. JUnit3.8 Framework uses Java Reflection API to invoke core functionality (test cases creation and execution) dynamically. However, Java Reflection API allows developers to access and modify structure and behavior of a program. Reflection provides flexible solution for creating test cases and controlling the execution of test cases. Java reflection helps to encapsulate test cases in a single object representing the test suite. It also helps to associate each test method with a test object. Where reflection is a powerful tool to perform potential operations, on the other hand, it limits static analysis. Static analysis tools often cannot work effectively with reflection. In order to avoid the reflection, Static Testing Framework provides a static platform to analyze the JUnit3.8 source code and transform it into non-reflective version that emulates the dynamic behavior of JUnit3.8. The transformed source code has possible leverage to replace reflection with static code and does same things in an execution environment of Static Testing Framework that reflection does in JUnit3.8. More besides, the transformed code also enables execution environment of Static Testing Framework to run test methods statically. In order to measure the degree of efficiency, the implemented tool is evaluated. The evaluation of Static Testing Framework draws results for different Java projects and these statistical data is compared with JUnit3.8 results to measure the effectiveness of Static Testing Framework. As a result of evaluation, STF can be used for static creation and execution of test cases up to JUnit3.8 where test cases are not creating within a test class and where real definition of constructors is not required. These problems can be dealt as future work by introducing a middle layer to execute test fixtures for each test method and by generating test classes as per real definition of constructors.
|
69 |
Combined Computational-Experimental Design of High-Temperature, High-Intensity Permanent Magnetic Alloys with Minimal Addition of Rare-Earth ElementsJha, Rajesh 20 May 2016 (has links)
AlNiCo magnets are known for high-temperature stability and superior corrosion resistance and have been widely used for various applications. Reported magnetic energy density ((BH) max) for these magnets is around 10 MGOe. Theoretical calculations show that ((BH) max) of 20 MGOe is achievable which will be helpful in covering the gap between AlNiCo and Rare-Earth Elements (REE) based magnets. An extended family of AlNiCo alloys was studied in this dissertation that consists of eight elements, and hence it is important to determine composition-property relationship between each of the alloying elements and their influence on the bulk properties.
In the present research, we proposed a novel approach to efficiently use a set of computational tools based on several concepts of artificial intelligence to address a complex problem of design and optimization of high temperature REE-free magnetic alloys. A multi-dimensional random number generation algorithm was used to generate the initial set of chemical concentrations. These alloys were then examined for phase equilibria and associated magnetic properties as a screening tool to form the initial set of alloy. These alloys were manufactured and tested for desired properties. These properties were fitted with a set of multi-dimensional response surfaces and the most accurate meta-models were chosen for prediction. These properties were simultaneously extremized by utilizing a set of multi-objective optimization algorithm. This provided a set of concentrations of each of the alloying elements for optimized properties. A few of the best predicted Pareto-optimal alloy compositions were then manufactured and tested to evaluate the predicted properties. These alloys were then added to the existing data set and used to improve the accuracy of meta-models. The multi-objective optimizer then used the new meta-models to find a new set of improved Pareto-optimized chemical concentrations. This design cycle was repeated twelve times in this work. Several of these Pareto-optimized alloys outperformed most of the candidate alloys on most of the objectives. Unsupervised learning methods such as Principal Component Analysis (PCA) and Heirarchical Cluster Analysis (HCA) were used to discover various patterns within the dataset. This proves the efficacy of the combined meta-modeling and experimental approach in design optimization of magnetic alloys.
|
70 |
Parametrierbare Metamodelle zur Berechnung des Wärmeübergangs in HohlräumenPavliček, Florentina 24 October 2019 (has links)
Das thermische Verhalten von Werkzeugmaschinen verursacht geometrische Abweichungen an
Werkstücken. In vielen Forschungsarbeiten wurden wertvolle Beiträge zu deren Verbesserung
veröffentlicht. Dabei kommt die Finite-Elemente (FE)- Simulation zum Einsatz. Für diese ist unter
anderem der Wärmeübergangskoeffizient als Randparameter notwendig. Insbesondere für
Hohlräume, beispielsweise unter der Maschinenverkleidung, gibt es keine Methode diesen schnell
zu berechnen. Die vorliegende Arbeit liefert umfangreiche Untersuchungen zu den thermischen
Vorgängen in Hohlräumen und deren Auswirkungen auf die thermischen Verlagerungen an
Werkzeugmaschinen. Dafür erarbeitet diese Arbeit eine Methode, um Metamodelle für die schnelle
Berechnung des Wärmeübergangskoeffizienten in Hohlräumen zu erstellen. Mögliche
Hohlraumkonfigurationen werden dafür kategorisiert und für messtechnische Untersuchungen ein
Versuchsstand konzipiert. Der Einfluss des Mikroklimas auf die thermischen Verlagerungen wird
analysiert. Dabei wird der Einfluss von Konvektion und Strahlung, der Maschinenverkleidung und
des Öffnens der Arbeitsraumtüre untersucht. In dieser Arbeit werden zwei Metamodelle erstellt, für
einen Hohlraum mit einer Seitenwand als Wärmequelle und für einen Hohlraum mit mittig
platzierter Wärmequelle. Die Anwendung der Metamodelle wird mit der thermischen FE-Simulation
einer Werkzeugmaschine erläutert und eine Hilfestellung für die Übertragung auf weitere
Werkzeugmaschinen gegeben. / The thermal behavior of machine tools causes most of the geometric errors on workpieces. In
recent years, many authors published valuable contributions to the analysis, correction and
compensation of the thermal behavior of machine tools. One way is the finite element simulation,
where the heat transfer coefficient is needed as an input parameter. In particular, for enclosures,
for example under the machine housing, there is no method to calculate this coefficient quickly. As
state of the art the heat transfer coefficient is received from a computation-intensive fluid simulation
of the enclosure.
The present work provides investigations of enclosures, the microclimate in enclosures, its effect
on the thermal errors of machine tools and finally a method to develop metamodels for the fast
calculation of the heat transfer coefficient in enclosures and to use them in the finite element
simulation. Possible enclosure configurations are categorized and a test stand is designed for
metrological investigations. In basic investigations the thermal processes in different enclosures
are analyzed. The influence of the microclimate on thermal errors of machine tools is analyzed in
experiments. The influence of convection and radiation, the machine housing and the opening of
the working room door are examined. In this work two metamodels are developed. One for an
enclosure with a side wall as a heat source and one for an enclosure with a centrally placed heat
source. The application of the metamodels is explained in the thermal finite element simulation of a
machine tool.
|
Page generated in 0.5322 seconds