Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
In order to improve the electric car battery safety early warning ability and decrease the safe accident of electric vehicle charging, the electric vehicle charging safety factors are analyzed, the security early warning index selection ways and methods are studied, and a security early warning evaluation index system is set, the evaluation method of weight for safety index is discussed. Besides,...
Complex system development contains processes full of comprehensive integration, complicated iteration and highly coupling, and ultimately come into being hierarchical networks of risk evolution. This paper presents a new approach on risk evolution analysis by multi-resolution modeling describing complex system and Bayesian network learning risk relation networks. By simulation experiments, risk evolution...
The relationship between emitted energy spectrum and multipactor threshold of impedance transformer is investigated numerically in this paper. Secondary electron yield remains the same, while the emitted energy spectrum changes. Numerical simulations are provided for different cases of emitted energy spectrum. We analyze the practicability of this method in theory and simulation. Simulation results...
According to the statistics, there is low resource utilization and high energy consumption in traditional servers. To reduce the cost, more and more companies begin to build virtual servers. Sever virtualization implements the mapping from virtual resources to physical resources and deal with resource contention among all VMs. Because of complexity of virtualized server systems, it is necessary to...
Team has become one of the most important strategic resources in the organization. However, the overall effect of team is often difficult to achieve in the practical application of team in China's enterprises. According to the investigation of high technology innovation teams and the relative literature reviews, the team climate is an important influencing factor for achieving the overall effect of...
For a more accurate calculation vehicle pre-braking speed by the regression analysis data of vehicle braking speed, comparing and analyzing with LS estimation algorithm, instrumental variable estimation algorithm, generalized least squares estimation algorithm and Cor-LS algorithm, LS estimation algorithms is used to study on parameter estimation of the vehicle braking model, introducing multiple...
Agile software development is a kind of lightweight development method, which can satisfy to the changes of requirements. This paper applies formal methods into agile software development, and investigates the method to adopt the rCOS in agile software development through convincing examples to improve software trustworthiness.
In this article, the formal object-oriented specification notation (Rcos) is used to formally combine some UML models. From the combination we can study the consistency conditions among a number of related UML models. The refinement calculus for Rcos will then allow us to transform these related models to preserve the consistency and functionality of the models.
In this paper, we present the formal semantics of sequence diagrams. The semantics of a sequence diagram is interpreted as a consecutive execution of steps in UTP. The semantics clearly captures the consistency between the design class diagram and sequence diagrams. This may underpin development of model consistency checking functions in UML CASE tools. It may also be used to reason about the correctness...
Understanding multivariate relationships is an important task in multivariate data analysis. Unfortunately, existing multivariate visualization systems lose effectiveness when analyzing relationships among variables that span more than a few dimensions. We present a novel multivariate visual explanation approach that helps users interactively discover multivariate relationships among a large number...
Quickly and accurately predicting the performance based on the requirements for IP-based system implementations optimizes the design and reduces the design time and overall cost. This study describes a novel hybrid method for the word-length optimization of pipelined FFT processors that is the arithmetic kernel of OFDM-based systems. This methodology utilizes the rapid computing of statistical analysis...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.