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.
A graphical tool to qualitative analysis of underwater unmanned vehicles and cable-like flexible structures is presented. The software provides a realistic virtual environment where the dynamic behavior of different underwater systems can be studied from numerical simulation to generate animations.
In this paper we consider the problem of autonomous landing on a horizontally moving platform with vertical unpredictable oscillatory dynamics using a quadrotor system. The quadrotor is equipped with an external Raspberry PI as a companion computer used for communications. The task is divided in two subproblems: tracking and landing. We present the algorithms involved for the entire procedure; a PI...
Analytical reasoning is central to code correctness, and every computer science curriculum aims to teach students how to achieve this objective in one form or another. With the acceptance of object-based computing and component-based software engineering, the need for analytical reasoning that is based on formal contracts to establish correctness of software across module boundaries has become ever...
Model-based software estimation uses algorithms and past project data to make predictions for new projects. This paper presents a comparative assessment of four modeling approaches, including the original COCOMO, COCOMO calibration, k-Nearest Neighbors, and a combination of COCOMO calibration and k-Nearest Neighbors. Our results indicate that using kNN to select the nearest projects and calibrating...
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...
This article describes the development of a software module for modeling heat exchange processes in packing columns in the rectification columns applied to the gas industry. The peculiarity of the developed module is the orientation to solving one-dimensional problems on the basis of finite difference methods, high-performance graphical and tabular display of modeling results, open source code.
This paper presents a generalized modeling framework of fault detection and correction processes with bivariate distributions. The presented framework includes almost all existing software reliability growth models, namely the models in which both fault detection and correction processes are described by non-homogeneous Poisson processes. In our framework, the time dependency of fault correction time...
Using vision systems with SCARA robotic manipulators is beneficial in many industrial applications specially in automated object picking and placing tasks. In this paper, the equations of forward and inverse kinematics of a SCARA manipulator are derived using D-H parameters convention. The mechanical structure, as well as the electrical, electronic and pneumatic components of the manipulator were...
The questions of training simulators development technique for oil and gas industry automation control systems are considered. The possibility of using this technique for control systems based on mathematical and algorithmic control models is introduced. A mathematical model is used. The training simulator operating result is the process studying, learning management skills, adjusting parameters to...
We develop a cache-efficient RNA folding algorithm, ByBox, that is based on Zuker's method. Using a simple LRU cache model, we show that the traditional implementation, Zuker, of Zuker's method has a much higher number of cache misses than ByBox. Extensive experiments conducted on the Xeon E5 server show that cache efficiency translates into time and energy efficiency. Our benchmarking shows that,...
Monitoring the results of software reliability growth models (SRGMs) helps evaluate project's situations. SRGMs are used to measure the reliability of software by analyzing the relations between the number of detected bugs and the detected time to predict the number of remaining bugs within the software. For example, development managers apply a SRGM to the number of detected bugs and the detected...
In this paper the function of the initial heating has been received; the mathematical modeling of the process has been conducted as well as the analysis of the results. With the help of the obtained regulator hardware and software complex has been designed in the Pascal programming language, the complex allows to simulate the behavior of the temperature fields in the isotropic rod. The article presents...
Estimating the difficulty of tasks is imperative for project planning, task assignment, and cost calculation. However, little is known about how and for what purpose software practitioners estimate task difficulty in their day-to-day work. In this paper, we interviewed 15 professionals to understand their needs and perceptions when estimating task difficulty. We find that practitioners do estimate...
The liberalization of power markets has led to changes in the electricity pricing mechanism. Under this new paradigm, the introduction of competition in the generation segment entails a price determination according to an economic dispatch of generating units. However, transmission constraints usually imply a subsequent alteration of the supply costs, above those purely due to the power production...
This paper presents the application of the Monte Carlo method for non-detected failure analysis on the mobile seat platform across the dynamic system testing on the commercial vehicle. This method has been applied in automotive embedded software of OEM components to reduce project development time, provide standardization and to predict software errors and look towards quality improvement. With growing...
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...
This work presents a case of integration of a transient stability simulation algorithm in an Automatic Disturbance Analysis software. The transient stability simulation algorithm is presented in a step by step solution of the chosen case. The algorithm is available for free download1, in order to allow others engineers to reproduce the results and to discuss the developed code. The algorithm was validated...
The subject studied the relationship between tissue dynamics caused by Quadriceps muscles movement in the knee extension — flexion state and the signal measured from the EMG sensor. Establishment of force and momentum force equations generated by the muscle groups, EMG momentum and voltage equations. Using the Arduino Uno controller, read the signal from the EMG sensor, and save it to an SD memory...
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...
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.