Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal software specification language LFC, which is designed to facilitate the acquisition and validation of formal specifications. LFC relies on a new kind of recursive functions, i. e. recursive functions on context-free langua...

In this paper, two robust decentralised proportional integral (PI) control designs are proposed for load frequency control (LFC) with communication delays. In both methodologies, the PI based LFC problem is reduced to a static output feedback (SOF) control synthesis for a multiple delay system. The first one is based on the optimal H1 control design using a linear matrix inequalities (LMI) tech...

A new robust load-frequency control (LFC) methodology is proposed for controlling uncertain nonlinear power systems. Critical nonlinearity in the power system—the valve position limit on the governor, and the parametric uncertainty are concerned. The Takagi–Sugeno fuzzy model of the power system under consideration is first constructed to design the robust fuzzy-model-based LFC. Sufficient cond...

In an interconnected power system, as a power load demand varies randomly, both area frequency and tie-line power interchange also vary. The objectives of load frequency control (LFC) are to minimize the transient deviations in theses variables (area frequency and tie-line power interchange) and to ensure their steady state errors to be zeros. When dealing with the LFC problem of power systems,...

BACKGROUND The role of Helicobacter pylori (HP) in the pathogenesis of nonalcoholic fatty liver disease (NAFLD) is unclear. OBJECTIVES The aim of this study was to evaluate the effect of HP eradication on liver fat content (LFC), liver function tests (LFT), lipid profile, and homeostasis model assessment-IR (HOMA-IR) index in NAFLD. PATIENTS AND METHODS Dyspeptic patients with increased ser...

Difficult concepts arise in many complex, formative , or poorly understood real-world domains. High interaction among the data attributes causes problems for many learning algorithms, including greedy decision-tree builders, extensions of basic methods, and even backpropagation and MARS. A new algorithm, LFC uses directed lookahead search to address feature interaction, improving hypothesis acc...