The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
There have been some social constructivist learning approaches used in computing sciences (CS) education, but none of them has actually validated the student reflection process, which is a critical component of the action learning associated with them. The step of reflection within the social constructivist pedagogy has a crucial role in building the learner's mental model and in refining the existing...
The paper presents recent technological advancements that have been made by Siemens PLM in its simulation tools for multi-body analyses and multi-physics simulation in order to run physics-based high fidelity models in real-time. The motivation is enable reuse of simulation models developed during the engineering phase during the validation phase with hardware or humans in the loop. To demonstrate...
The paper presents the validation of the implementation made by the user of the standard wall function for the standard k-ε turbulence model against the built-in standard wall function for the standard k-ε turbulence mode, in numerical computation software (ANSYS Fluent). A comparison was made between the results of two flow simulations: the first case consisted in using the built-in standard wall...
A classical difficult isomorphism testing problem is to test isomorphism of p-groups of class 2 and exponent p in time polynomial in the group order. It is known that this problem can be reduced to solving the alternating matrix space isometry problem over a finite field in time polynomial in the underlying vector space size. We propose a venue of attack for the latter problem by viewing it as a linear...
One of the biggest benefits of virtual education is the ability to easily explain complex processes and principles using animations and interactive 3D models. The purpose of this study is to determine which 3D software product should be used for the display of interactive graphic engineering documents, so that the visualization and manipulation of 3D models provide useful support to students of industrial...
In this paper, we propose a computational modeling method to investigate head-eye coordination in face-to-face behavior. The method looks into probability density of individuals' head orientation during looking at others' face. We conducted experiment under two different scenarios in human-human interaction. Under each scenario, individuals' head orientation could be fitted with one Gaussian distribution...
This paper presents the application outcomes of a three-dimensional virtual environment which simulates a farm, called Fazenda 3D, in the Technical Course on Agriculture and Farming of the Federal Institute of Education, Science and Technology of Amazonas, at Parintins city. The purpose of the software is to support the technical subjects studies of the course. In order to evaluate the software we...
Software model checking constitutes an undecidable problem and, as such, even an ideal tool will in some cases fail to give a conclusive answer. In practice, software model checkers fail often and usually do not provide any information on what was effectively checked. The purpose of this work is to provide a conceptual framing to extend software model checkers in a way that allows users to access...
This design provides a kind of double CPU communication between solution, using PROTUES software structures, basic simulation circuit, the load KEIL software written in HEX file, USES the RS232 interface standard, simple circuit structure, solve the problem of the complicated parallel communication lines, applies to close range, low rate of communication occasions.
In this paper we present some preliminary results and conclusions about the experience of using a tool designed and developed as a support for the teaching of relational algebra. Through the tool you can design queries in relational algebra, check their operation and performance, step by step, visually. The experiences were applied to an introductory course of databases in the Engineering in Software...
Tangible User Interfaces (TUI) have garnered significant interest in the past years as a potential solution to embed smarter technologies for education. The intrinsic ability of this technology to engage and intrigue students in active learning pedagogies has recently been successfully proven across all ages using various techniques. Predominantly amongst the effective technologies, has been the development...
Reducing carbon dioxide emissions is an important issue for the environment. The amine-based carbon capture system is a complex system with high energy consumption, and the system needs to be operated flexibly in a wide range. Therefore, advanced control technology is required and an appropriate model is a necessary condition for controller design. To this end, this paper investigates the nonlinearity...
When I worked for AT&T over 20 years ago, we knew that, if we messed up, the results could get onto the front page of the New York Times. This was not hyperbole; someone made a tiny change to telephone switch software, the change was thought too small to be worth verifying, and due to some obscure interactions between telephone switches, much of the East Coast of the United States lost service.
Symbolic controller synthesis offers the ability to design controllers enforcing a rich class of specifications such as those expressible in temporal logic. Despite the promise of symbolic controller synthesis and correct-by-design control software, this design methodology is not yet widely applicable due to the complexity of constructing finite-state abstractions for large continuous systems. In...
System specifications can be modeled using various types of notations and diagrams regarding applications of the particular model. In this paper, we present an overview of the existing solutions, focusing on UML, BPMN and DMN models and the diagrams provided by these notations. We perform a comparison of these approaches and provide examples of representing system requirements in these notations.
Estimating effort is a very important task in any organization. Significant over or under-estimates can be very expensive for software project companies. The use of computing intelligence methods has been recently proposed for software development effort estimation. In this study, we present new models to estimate the effort required for the development of software projects. These new models were...
Trade-off analysis through goal model evaluation has been a valuable tool for requirements elicitation and analysis. This is also true in the context of reuse. When goal models are used to describe reusable artifacts and to represent the impacts of reusable artifacts on high-level goals and qualities, they can guide the selection of reusable artifacts to build reuse hierarchies. In previous work,...
In Systems Biology, Boolean models are gaining popularity in modeling and analysis of qualitative dynamics of gene regulatory mechanisms. With the development of advanced high-throughput technologies, the availability of experimental data on gene-gene, gene-protein interactions is ever increasing. Consequently, modern Boolean models are increasing in size and complexity. Software simulation of Boolean...
We present CoSTest, a tool that supports the validation of Conceptual Schemas by using testing. The tool implements techniques for transforming instantiations from a Requirements Model into test case implementations by supporting a Model-driven architecture.
Dependability of cyber-physical systems rests crucially on the fidelity of formal models to their real-world physical subject matter; yet little explicitly focused research has been devoted to this concern. This talk sketches the concern and commends it as a focus for future research in the RE community.
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.