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.
In the modern industry, human-robot collaboration is becoming more and more important. With the quick development of the small production, the demand of flexibility is growing heavily. Gesture recognition is important for the collaborative work of humans and robots. In industrial applications, the performance of such systems affects the safety of human workers and their manufacturing efficiency. In...
When using formal verification on critical software, an important question involves whether we have we specified enough properties for a given implementation model. To address this question, coverage metrics for property-based formal verification have been proposed. Existing metrics are usually based on mutation, where the implementation model is repeatedly modified and re-analyzed to determine whether...
The use of cognitive maps in support of solving practical problems of analysis of ill-structured situations and large-scale systems in economics, medicine, ecology, education and military-political sphere is growing. The problem of visual perception and understanding of cognitive maps is proven to be extremely urgent and practically important. The set of visualization methods that provide better perception...
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...
Software requirements analyst work is considered crucial in the software development lifecycle. This paper presents a descriptive study on the software requirements analyst profile, considering Brazilian and Mexican markets, two countries that lead IT investment ranking in Latin America. To identify the competences expected by the Brazilian and Mexican markets for software requirements professionals...
The approach to the intelligent modeling system development is proposed in the paper. Such system should be used for identification, classification and definition of the parameters of motion of marine facilities. Modeling system structure, conceptual model of modeling system and intellectual methods that are used for data processing are described. The ontology model is used for modeling system data...
System Analysis Modeling Language (SAML) is a formal language which helps in expressing and analyzing the qualitative and quantitative aspects of the software as well as hardware models. This can be used in model-based safety analysis (MBSA) which provides the means of identifying, localizing and analyzing hazards in these real-time Safety-Critical Systems. This paper describes the work carried out...
In this paper, details the functioning of a plant of control, air suspension of a sphere, through which it will analyze its mathematical model, its nonlinear behavior, which must be linearized in a point of operation, to subsequently generate a PID control of it, in order to verify the correct behavior of the plant against several perturbations, their respective testing and simulation using MATLAB...
The purpose of this study is to create a model of a relationship in which the dependent variable is the result of a project and the independent variables are the characteristics of human resources. We attempted a comparative evaluation of discriminant analyses with a statistical model and a machine learning model using assessments of the results of projects and team characteristics derived from questionnaire...
As with the increase of software complexity, software failure has become an important threat to the reliability of software intensive systems. Software fault propagation behaviors, which are prevalent in complex software systems, have a ubiquitous influence on software reliability design and evaluation process. Software fault propagation is a necessary condition for the failure of complex software...
Transport infrastructure of cities faces big challenges when hosting major international sport events. At present within the context of the upcoming 2018 FIFA World Cup, municipal authorities are planning to build some new streets and modify road junctions in the city of Samara. The study aims to investigate the effect of these improvements on the transport situation in the city. To achieve this goal...
The idea of this paper is to show the power of modelling activities to analyze multidisciplinary phenomena and to bridge the gap between secondary and university mathematics. For that, we are using a methodology emerged from the anthropological theory of the didactic whose result is the design of a teaching device called study and research path. This device uses exhaustively the ICT like a facilitator...
Performance prediction is critical in embedded system design for reducing the turnaround time of software. Using simulation to measure the performance of the whole source code is often too slow, particularly after the modification of the source code due to changes in problem specification. In this paper we present a comprehensive method that combines analytical modeling and statistical approach to...
Traffic capacity in an accident site of the lane is investigated by analyzing the urban road traffic accident. The accident is caused by the vehicles in the upstream intersection traffic jam time. A hypothesis model is established to describe a relationship between the vehicle queue length and the cross-sectional actual capacity in the accident. In order to verify the rationality of the assumptions...
We introduce a tool-supported method for the automated refinement of continuous-time Markov chains (CTMCs) used to assess quality properties of component-based software. Existing research focuses on improving the efficiency of CTMC analysis and on identifying new applications for this analysis. As such, ensuring that the analysis is accurate by using CTMCs that closely model the behaviour of the analysed...
We discuss the use of web notebooks as an integrated tool for conducting and managing engineering trade studies. The value of the notebook form is the ability to capture all typical components of an engineering trade study in a common interactive document form. The notebook form can also be displayed in a slide show mode for interaction with decision makers. An example trade is shown to represent...
Large data handling and analysis either on industrial level or on research level has always been facing problems. These problems increase with the increase in machine dedicated software packages. Large data processing and analysis is prone to errors and is time consuming while moving data from data generation to data analysis. In this paper, first-methods of data generation, methods to move data from...
In recent times, use of third-party libraries has become prevalent practice in contemporary software development. Much like other code components, unmaintained libraries are a cause for concern, especially when it risks code degradation over time. Therefore, awareness of when a library should be updated is important. With the emergence of large libraries hosting repositories such as Maven Central,...
Cyber-physical systems (CPSs) mix software, hardware, and physical aspects with equal importance. Typically, the use of models of such systems during run time has concentrated only on managing and controlling the cyber (software) aspects. However, to fully realize the goals of a CPS, physical models too have to be treated as first-class models. This approach gives rise to three main challenges: (a)...
There are many situations in the modern world where influence is a subtle, but significant, factor. Business and politics abound with a myriad of instances that each must be analyzed and understood for the right course of action to be determined and followed. This paper proposes a model for analyzing these situations without resorting to constructing entirely new software systems for each. The reuse...
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.