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.
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...
According to the theory of cylinder indexing cam mechanism, based on the modular design, the CAD/CAM system of cylinder indexing cam mechanism is developed by VB6.0 and Creo3.0. This system is a visual interface which is build by VB6.0and it can be used to output the three-dimensional coordinate data and processing date of the cylinder indexing cam through the basic parameters input of cam and the...
Dust or sand heavy environments cause many problems for the aircraft industry due to the impact of fine particles upon equipment lifespan. We created a CFD model and conducted the numerical simulations needed to determine the distribution of a granular secondary phase within a multiphase flow using the Eulerian Model. The flow consists of sand or dust laden hot air, used in a harsh environment testing...
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...
The need to improve the quality of management at minimum costs, the complexity of the structure of the management object, the functions performed by it, leads to an increase in uncertainties that need to be taken into account. Application of typification and unification will allow to reduce the cost of production of new products, to increase the level of automation of productions.
When testing a program without a test oracle, it is impossible to know whether a test case will lead to a failure or not. The infeasibility to identify a failed test case severely restricts the applicability of many testing, debugging and fault localization techniques. However, with the help of Metamorphic Testing (MT) which was proposed to alleviate the test oracle problem, we are able to estimate...
In order to perform efficient testing of software intensive safety-critical products, organisations often utilise hardware-in-the-loop simulation of the system under test surrounding environment. This way, the system could be invoked and its behaviour could be observed in a controlled setting rather than in the field. However, what effect simulation quality might have on the effectiveness of the testing...
The currently used hardware validation architectures for Application Specific Integrated Circuits intended for automotive Engine Control Unit development are reviewed and a new architecture is proposed. An alternative to hardware validation by different simulation architectures is proposed and analyzed.
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...
The paper presents the mathematical modeling and simulation of a system using a solar panel, a heat exchanger and a hot water storage tank for household consumption. Starting from mathematical equations which describe this system, the model was developed with the help of Matlab — Simulink program. As results, one can see the inlet and outlet temperatures evolution over time on primary and secondary...
Hydrokinetic river (HKT) and photovoltaic (PV) panels systems are of the promising technologies to be used for remote rural electrification. In rural areas with access to water and solar resources, renewable generation is a promising option for electrification. This paper presents a study by two sizing methods for a stand-alone hybrid generation system integrating renewable energies (PV panels and...
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.
This paper describes a humanitarian healthcare transformation strategy called Whole Person Integrated Care (WPIC). WPIC couples a Spreadsheet-based Software Framework (SSF) and a care delivery model that focus on increasing efficiency and effectiveness through evidence-based knowledge and action. This strategy: 1) integrates “sick care” (treatment of health problems) with “well care” (prevention and...
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.