نتایج جستجو برای: large scale photovoltaic systems

تعداد نتایج: 2423569  

Journal: :Proceedings of the ACM on programming languages 2022

Reasoning about memory aliasing and mutation in software verification is a hard problem. This especially true for systems using SMT-based automated theorem provers. Memory reasoning SMT typically requires nontrivial amount of manual effort to specify heap invariants, as well extensive alias from the solver. In this paper, we present hybrid approach that combines linear types with reasoning. We ...

Journal: :Applied sciences 2023

This paper investigates the dissipativity analysis of large-scale networked systems with linear time-invariant dynamics. The system is composed a large number subsystems whose connections are arbitrary, and each subsystem can have different A sufficient necessary condition for strict derived, which takes advantage block-diagonal structure parameter matrix sparseness characteristics interconnect...

Journal: :journal of electric power and energy conversion systems 0

0

Journal: :journal of artificial intelligence in electrical engineering 0
hossein nasiragdam journal of artificial intelligence in electrical engineering nariman najafian journal of artificial intelligence in electrical engineering

the growth in demand for electric power and the rapid increase in fuel costs, in whole of theworld need to discover new energy resources for electricity production. among of the nonconventionalresources, wind and solar energy, is known as the most promising deviceselectricity production in the future. in this thesis, we study follows to long-term generationscheduling of power systems in the pre...

Journal: :Electronic Commerce Research and Applications 2006

Journal: :Linear Algebra and its Applications 2006

Journal: :Proceedings of the National Academy of Sciences 2008

Journal: :the modares journal of electrical engineering 2015
mahdi sojoodi farzad soleymani

in this paper, we describe our implementation of an interior point algorithm for large scale systems. first we identify system with small and medium methods convex optimization, then we use interior point method for identification. finally we offer an interior point method that uses nonlinear cost function and see that we achieve a good trade-off between error and cpu time. actually, in this pa...

Unit commitment (UC) problem tries to schedule output power of generation units to meet the system demand for the next several hours at minimum cost. UC adds a time dimension to the economic dispatch problem with the additional choice of turning generators to be on or off.  In this paper, in order to improve both the exploitation and exploration abilities of the firefly algorithm (FA), a new mo...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید