Accurate modeling of the wind energy conversion system is necessary to design and implementation of the control loop for the generator and the frequency converter, in order to extract maximum power from the wind and to investigate the effects of interconnection between wind farms and power system. In this paper the combination of a permanent magnet synchronous generator loaded with a diode rect...

We study the possibility of developing far-from-equilibrium computational systems, in analogy with corresponding self-organizing physical systems. We review the computational models developed in analogy with physical systems converging towards equilibrium and the research related to the self-organization of far-from-equilibrium physical systems. Based on this review, we define several nonequili...

This paper introduces model checking, originally conceived for checking finite state systems. It surveys its evolution to encompass finitely checkable properties of systems with unbounded state spaces, and its application to software and other systems.

This paper expands upon the finite state machine approach for the formal analysis of digital evidence. The proposed method may be used to support the feasibility of a given statement by testing it against a relevant system model. To achieve this, a novel method for modeling the system and evidential statements is given. The method is then examined in a case study example.

appropriate scheduling and sequencing of tasks on machines is one of the basic and significant problems that a shop or a factory manager encounters; this is why in recent decades extensive studies have been done on scheduling issues. one type of scheduling problems is just-in-time (jit) scheduling and in this area, motivated by jit manufacturing, this study investigates a mathematical model for...

This paper presents an economic production quantity (EPQ) model with a periodic order quantity (POQ) policy, product reliability and periodic demand. The machine reliability has decreased over time; therefore, the rates of perfect and defective products reduce and increase over time, respectively. A fixed percentage of these products are reworked while the rest is wasted. Some equipment in thei...

In this paper, we study phase transitions of the q-state Potts model through a number unsupervised machine learning techniques, namely Principal Component Analysis (PCA), k-means clustering, Uniform Manifold Approximation and Projection (UMAP), Topological Data (TDA). Even though in all cases are able to retrieve correct critical temperatures $$T_\textrm{c}(q)$$ , for $$q=3,4$$ 5, results show ...