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...

Foam composite panels made from hybrid fillers are materials developed to have low density with high mechanical properties. This work focuses on improving the properties of epoxy-based foam hybridized by combining hollow glass microspheres (HGM) and nanoclay. The HGM content was varied 1 wt.% 3 in composites panel, while nanoclay 5 each HGM-filled series these were fabricated using a convention...

Biosilicate® glass-ceramics are among the most valid alternatives to 45S5 Bioglass. They combine a similar bioactivity and bioresorbability as with superior mechanical strength, owing crystallization of Na–Ca silicate phase. This may be experienced upon viscous flow sintering fine glass powders, thus configuring sinter-crystallization process. As is seldom complete, can also applied semicrystal...

Although continuous casting is the state‐of‐the‐art method in steelmaking, ingot by bottom teeming has kept its relevance, for example, area of specialty steels. The main challenge to meet ever‐increasing quality requirements demanded customers. Regarding high‐performance steel applications, purity with respect content nonmetallic inclusions thereby special interest. Herein, foam templates tail...

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...

This article examines the Weibull statistical analysis that was used for investigating the effect of melt filtration on tensile properties and defects formed inside the casting. Forming and entrapping of double oxide films have been explained by using the context of critical velocity of melt in the runner. SutCast software results were used to examine the amounts of the velocity of melt as...