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 paper we describe a formalization of the notion of a nominative data with simple names and complex values in the Mizar proof assistant. Such data can be considered as a partial variable assignment which allows arbitrarily deep nesting and can be useful for formalizing semantics of programs that operate in real time environment and/or process complex data structures and for reasoning about the...
This paper considers the statistical approach to model software degradation process from time series data of system attributes. We first develop the continuous-time Markov chain (CTMC) model to represent the degradation level of system. By combining the CTMC with system attributes distributions, a continuous-time hidden Markov model (CT-HMM) is proposed as the basic model to represent the degradation...
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...
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...
Medium frequency transformers are an essential part of new energy conversion systems, and are very often subject to non-sinusoidal excitation. Therefore, usual methods to represent magnetic materials behavior inside transformers with electrical equivalent scheme are very limited in this case. This paper focuses on the development of a new model based on the loss separation method. This model is implemented...
The two-dimensional mathematical model of rheological behavior of wood in non-isothermal moisture transfer conditions which consider the medium fractal structure, available memory and spatial correlation effects was synthesized. Difference schemes of differential equations of heat and moisture transfer and visco-elastic deformation in the two-dimensional area with appropriate boundary conditions was...
A problem-oriented processor on the basis FPGA for high-precision calculations in floating-point formats (64-, 80-, 128-bit) for solving poorly conditioned systems of linear algebraic equations by the Gauss method was developed.
The size of a software artifact influences the software quality and impacts the development process. In industry, when software size exceeds certain thresholds, memory errors accumulate and development tools might not be able to cope anymore, resulting in a lengthy program start up times, failing builds, or memory problems at unpredictable times. Thus, foreseeing critical growth in software modules...
In order to increase the load capacity of aerostatic bearings, a kind of continuous slot-restriction aerostatic thrust bearing was designed and manufactured. The CFD simulation and experiment methods were both used for studying it; the data about the load capacity was derived from the two methods. The calculation results of the CFD simulation method were compared with the experiment ones. The following...
The paper describes the development of a universal test functions generator to validate and setup the algorithms for investigating multiextremal systems characteristics. The main difference between the proposed functions and the set of known multiextremal test functions is their irregularity related to the extremes coordinate location and their respective quantitative values, since all known test...
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...
Optimization of ultrasound applications in medical diagnostics as well as in non-destructive testing demands accuracy in prediction of ultrasound propagation. Several attempts were used and few different simulation methods were proposed as a publicly available software toolboxes. Although the Field II, k-Wave, Creanuis belong to most popular ones, we propose new toolbox for the simulation of acoustic...
In this paper a log-MAP turbo decoding algorithm which incorporates reliability threshold based trellis branch elimination together with mean based early iteration termination has been proposed. The proposed algorithm reduces computational complexity by eliminating branches in trellis. Since the minimum Log Likelihood Ratio (LLR) obtained for each iteration varies with channel conditions, an early...
This paper provides a detailed description of developing a power hardware-in-loop (P-HIL) testbed for the simulation and testing of grid-connected battery systems. The test allows not only analyzing the impact of operating grid-tied batteries on the power grid, but also analyzing less addressed battery operational issues, such as temperature, balance, age, and premature capacity loss, as well as the...
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...
We introduce a machine learning approach for real life software development effort estimation. Our method uses state of the art developments such as distributed word embeddings in order to create a system that can estimate effort given only basic project management metrics and, most importantly, textual descriptions of tasks. We use an artificial neural network for automating the effort estimation...
In this paper, we present a newly constructed analyzer dedicated to measuring the activity of a variety of radioisotopes with an emphasis on the delayed coincidence method. The analyzer acquires arriving pulses whose amplitudes exceed the preset voltage threshold by selectively storing the sampled incoming voltage pulses. This creates data sets that are marked with additional time stamps. These data...
In Indonesia research on Humanoid is limited to Kid-Size only, while for Teen-Size is still rare. This encourages teams and researchers to create a Teen-size humanoid called “FLoW”. To perform flexible movements like humans is not easy to do robot. Some of the problems that arise and become the focus of this research is to organize the movement of the robot in order to move, synchronize the movement...
The estimation of software effort is an essential and crucial activity for the software development life cycle. Software effort estimation is a challenge that often appears on the project of making a software. A poor estimate will produce result in a worse project management. Various software cost estimation model has been introduced to resolve this problem. Constructive Cost Model II (COCOMO II Model)...
A capable of easy simulation program to help the design of a wheelchair is needed, because the design of wheelchair easy to move needs much time and cost. In this paper, we propose a capable of easy simulation program to help the design of a wheelchair. In our program G-code is used to control 3D model of electric wheel chair in computer numerical control (CNC). In addition, the 3D models derived...
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.