Neural networks are being increasingly used for efficient decision making in the aircraft domain. Given safety-critical nature of applications involved, stringent safety requirements must be met by these networks. In this work we present a formal study two neural network-based systems developed Boeing. The Venus verifier is to analyse conditions under which can operate safely, or generate count...

A method is presented to analyze the stability of feedback systems with neural network controllers. Two theorems are given prove asymptotic and compute an ellipsoidal innerapproximation region attraction (ROA). The first theorem addresses linear time-invariant systems, merges Lyapunov theory local (sector) quadratic constraints bound nonlinear activation functions in network. second allows syst...

in this paper, simultaneous placement of distributed generation, capacitor bank and protective devices are utilized to improve the efficiency of the distribution network. the objectives of the problem are reduction of active and reactive power losses, improvement of voltage profile and reliability indices and increasing distribution companies’ profit. the combination of firefly algorithm, parti...

A fresh look at the system analysis helped us in finding a new way of calculating the risks associated with the system. The author found that, due to the shortcomings of RPN, more researches needed to be done in this area to use RPNs as a new source of information for system risk analysis. It is the purpose of this article to investigate the fundamental concepts of failure modes and effects ana...

a simple method is described for analysis of transients in power network. the method is developed for analysis of transformer and generator winding resonances due to their interaction with transmission lines caused by switching surges. the method is already used for calculation of overvoltages which had resulted in damages in the transformer winding of a hydro power plant. nonlinearity in the i...

Abstract: Nowadays knowledge is recognized as an important enabler for competitive advantages and many companies are beginning to establish knowledge management systems. Within the last few years many organizations tried to design a suitable knowledge management system and many of them were successful. This paper is to discover critical success factors (CSF) of knowledge management (KM) and the...