Analysis reuse exploiting taxonomical information and belief assignment in industrial problem solving

To take into account the experience feedback on solving complex problems in business is deemed as a way to improve the quality of products and processes. Only a few academic works, however, are concerned with the representation and the instrumentation of experience feedback systems. We propose, in this paper, a model of experiences and mechanisms to use these experiences. More specifically, we wish to encourage the reuse of already performed expert analysis to propose a priori analysis in the solving of a new problem. The proposal is based on a representation in the context of the experience of using a conceptual marker and an explicit representation of the analysis incorporating expert opinions and the fusion of these opinions. The experience feedback models and inference mechanisms are integrated in a commercial support tool for problem solving methodologies. The results obtained to this point have already led to the definition of the role of ‘‘Rex Manager’’ with principles of sustainable management for continuous improvement of industrial processes in companies

Trusta: Reasoning about Assurance Cases with Formal Methods and Large Language Models

Assurance cases can be used to argue for the safety of products in safety engineering. In safety-critical areas, the construction of assurance cases is indispensable. Trustworthiness Derivation Trees (TDTs) enhance assurance cases by incorporating formal methods, rendering it possible for automatic reasoning about assurance cases. We present Trustworthiness Derivation Tree Analyzer (Trusta), a desktop application designed to automatically construct and verify TDTs. The tool has a built-in Prolog interpreter in its backend, and is supported by the constraint solvers Z3 and MONA. Therefore, it can solve constraints about logical formulas involving arithmetic, sets, Horn clauses etc. Trusta also utilizes large language models to make the creation and evaluation of assurance cases more convenient. It allows for interactive human examination and modification. We evaluated top language models like ChatGPT-3.5, ChatGPT-4, and PaLM 2 for generating assurance cases. Our tests showed a 50%-80% similarity between machine-generated and human-created cases. In addition, Trusta can extract formal constraints from text in natural languages, facilitating an easier interpretation and validation process. This extraction is subject to human review and correction, blending the best of automated efficiency with human insight. To our knowledge, this marks the first integration of large language models in automatic creating and reasoning about assurance cases, bringing a novel approach to a traditional challenge. Through several industrial case studies, Trusta has proven to quickly find some subtle issues that are typically missed in manual inspection, demonstrating its practical value in enhancing the assurance case development process.Comment: 38 page

The Eastward Enlargement of the Eurozone: Trade and FDI

Trade and FDI, Economic Integration

Realistic Mathematics Education as a lens to explore teachers’ use of students’ out-of-school experiences in the teaching of transformation geometry in Zimbabwe’s rural secondary schools

The study explores Mathematics educators’ use of students’ out-of-school experiences in the teaching of Transformation Geometry. This thesis focuses on an analysis of the extent to which students’ out-of-school experiences are reflected in the actual teaching, textbook tasks and national examination items set and other resources used. Teachers’ teaching practices are expected to support students’ learning of concepts in mathematics. Freudenthal (1991) argues that students develop their mathematical understanding by working from contexts that make sense to them, contexts that are grounded in realistic settings. ZIMSEC Examiners Reports (2010; 2011) reveal a low student performance in the topic of Transformation Geometry in Zimbabwe, yet, the topic has a close relationship with the environment in which students live (Purpura, Baroody & Lonigan, 2013). Thus, the main purpose of the study is to explore Mathematics teachers’ use of students’ out-of-school experiences in the teaching of Transformation Geometry at secondary school level. The investigation encompassed; (a) teacher perceptions about transformation geometry concepts that have a close link with students’ out-of-school experiences, (b) how teachers are teaching transformation geometry in Zimbabwe’s rural secondary schools, (c) the extent to which students’ out-of-school experiences are incorporated in Transformation Geometry tasks, and (d) the extent to which transformation geometry, as reflected in the official textbooks and suggested teaching models, is linked to students’ out-of-school experiences. Consistent with the interpretive qualitative research paradigm the transcendental phenomenology was used as the research design. Semi-structured interviews, Lesson observations, document analysis and a test were used as data gathering instruments. Data analysis, mainly for qualitative data, involved coding and categorising emerging themes from the different data sources. The key epistemological assumption was derived from the notion that knowing reality is through understanding the experiences of others found in a phenomenon of interest (Yuksel & Yildirim, 2015). In this study, the phenomenon of interest was the teaching of Transformation Geometry in rural secondary schools. In the same light, it meant observing teachers teaching the topic of Transformation Geometry, listening to their perceptions about the topic during interviews, and considering how they plan for their teaching as well as how students are assessed in transformation geometry. The research site included 3 selected rural secondary schools; one Mission boarding high school, a Council run secondary school and a Government rural day secondary school. Purposive sampling technique was used carefully to come up with 3 different types of schools in a typical rural Zimbabwe. Purposive sampling technique was also used to choose the teacher participants, whereas learners who sat for the test were randomly selected from the ordinary level classes. The main criterion for including teacher participants was if they were currently teaching an Ordinary Level Mathematics class and had gained more experience in teaching Transformation Geometry. In total, six teachers and forty-five students were selected to participate in the study. Results from the study reveal that some teachers have limited knowledge on transformation geometry concepts embedded in students’ out-of-school experience. Using Freudenthal’s (1968) RME Model to judge their effectiveness in teaching, the implication is teaching and learning would fail to utilise contexts familiar with the students and hence can hardly promote mastery of transformation geometry concepts. Data results also reveal some disconnect between teaching practices as espoused in curriculum documents and actual teaching practice. Although policy stipulates that concepts must be developed starting from concrete situations and moving to the abstract concepts, teachers seem to prefer starting with the formal Mathematics, giving students definitions and procedures for carrying out the different geometric transformations. On the other hand, tasks in Transformation Geometry both at school level and the national examinations focus on testing learner’s ability to define and use procedures for performing specific transformations at the expense of testing for real understanding of concepts. In view of these findings the study recommends the revision of the school Mathematics curriculum emphasising pre-service programmes for teacher professional knowledge to be built on features of contemporary learning theory, such as RME theory. Such as a revision can include the need to plan instruction so that students build models and representations rather than apply already developed ones.Curriculum and Instructional StudiesD. Ed. (Curriculum Studies

The Bulgarian Economic Thought since 1989: A Personal View

The objectives of this paper could be brought to three. First, a methodological one, to explain how economic knowledge disseminates and what its channels are, as well as the basic transmission mechanisms of economic theory in Bulgaria after the disintegration of the socialist bloc. Second, a purely informational objective, to present the major topics and issues studied over the period 1989-2009, and, of course, the economists working on them. And a third and parallel task to interpret theoretically the development of the Bulgarian economic thought during that period, its character and specificities.economic thought, economic knowledge, post-communist economy, Bulgaria

Embedding a Native State into a Random Heteropolymer Model: The Dynamic Approach

We study a random heteropolymer model with Langevin dynamics, in the supersymmetric formulation. Employing a procedure similar to one that has been used in static calculations, we construct an ensemble in which the affinity of the system for a native state is controlled by a "selection temperature" T0. In the limit of high T0, the model reduces to a random heteropolymer, while for T0-->0 the system is forced into the native state. Within the Gaussian variational approach that we employed previously for the random heteropolymer, we explore the phases of the system for large and small T0. For large T0, the system exhibits a (dynamical) spin glass phase, like that found for the random heteropolymer, below a temperature Tg. For small T0, we find an ordered phase, characterized by a nonzero overlap with the native state, below a temperature Tn \propto 1/T0 > Tg. However, the random-globule phase remains locally stable below Tn, down to the dynamical glass transition at Tg. Thus, in this model, folding is rapid for temperatures between Tg and Tn, but below Tg the system can get trapped in conformations uncorrelated with the native state. At a lower temperature, the ordered phase can also undergo a dynamical glass transition, splitting into substates separated by large barriers.Comment: 19 pages, revtex, 6 figure

The Eastward Enlargement of the Eurozone - State of the Art Report

European Monetary Union (EMU) and its enlargement to prospective members in central and eastern Europe is a politically highly desired process, given that everything works out smoothly. The future eurozone will show a much higher degree of heterogeneity than now. The CEEC are in the process of transition from a planned to a market economy. Despite considerable progress during the past decade, much remains to be done in economic, social, and political terms. However, it is important to note that monetary integration is not a stand alone project, but is preceded by the EU enlargement and its obligation to adopt the acquis communautaire. Both events will be mutually reinforcing: The acquis contains numerous rules and institutions to be followed or created by the prospective members, albeit enforcement will be a problem. The success of the eastward enlargement of the eurozone depends on these institutions and, thus, increases the costs of failure. On the other hand, a successfully introduced euro in the CEEC will facilitate the whole integration process.EMU, EU enlargement, monetary integration, state of the art report

Semantic Model Alignment for Business Process Integration

Business process models describe an enterprise’s way of conducting business and in this form the basis for shaping the organization and engineering the appropriate supporting or even enabling IT. Thereby, a major task in working with models is their analysis and comparison for the purpose of aligning them. As models can differ semantically not only concerning the modeling languages used, but even more so in the way in which the natural language for labeling the model elements has been applied, the correct identification of the intended meaning of a legacy model is a non-trivial task that thus far has only been solved by humans. In particular at the time of reorganizations, the set-up of B2B-collaborations or mergers and acquisitions the semantic analysis of models of different origin that need to be consolidated is a manual effort that is not only tedious and error-prone but also time consuming and costly and often even repetitive. For facilitating automation of this task by means of IT, in this thesis the new method of Semantic Model Alignment is presented. Its application enables to extract and formalize the semantics of models for relating them based on the modeling language used and determining similarities based on the natural language used in model element labels. The resulting alignment supports model-based semantic business process integration. The research conducted is based on a design-science oriented approach and the method developed has been created together with all its enabling artifacts. These results have been published as the research progressed and are presented here in this thesis based on a selection of peer reviewed publications comprehensively describing the various aspects