The origins of \formal methods" lie partly in language description (although applications of methods like VDM, RAISE or B to areas other than programming languages are probably more widely known). This paper revisits the language description task but uses operational (rather than denotational) semantics to illustrate that the crucial idea is thinking about an abstract model of something that on...

The aircraft that used in this research is Grob G 120TP-A. Purpose of support planning costs for scheduled maintenance the period 2020 and forecast on PI-600 flight hours 2021, so always a state airworthiness order to implementation operational activities as training Indonesian Air Force. Maintenance Periodic Inspection 600 120 TP-A include employee salaries, spare parts, consumable materials, ...

In this paper‎, ‎numerical solution of‎ ‎general Lane-Emden equation via collocation method based on‎ ‎Double Exponential DE transformation is considered‎. ‎The‎ ‎method converts equation to the nonlinear Volterra integral‎ ‎equation‎. ‎Numerical examples show the accuracy of the method.‎ ‎Also‎, ‎some remarks with respect to run-time‎, computational cost‎ ‎and implementation are discussed.

A popular smoothing technique commonly used in time series analysis is double exponential smoothing. Basically, it’s an improvement of simple exponential smoothing which does the exponential filter process twice. Many researchers had developed the technique, hence Brown’s double exponential smoothing and Holt’s double exponential smoothing. Here, we introduce a new approach of double exponentia...

This article discusses statistical models for solar flare interval distribution in individual active regions. We analyzed solar flare data in 55 active regions that are listed in the Geosynchronous Operational Environmental Satellite (GOES) soft X-ray flare catalog for the years from 1981 to 2005. We discuss some problems with a conventional procedure to derive probability density functions fro...

The quadratic assignment problem (QAP) is one of the NP-hard combinatorial optimization problems. An exponential chaotic tabu search using a 2-opt algorithm driven by chaotic neuro-dynamics has been proposed as one heuristic method for solving QAPs. In this paper we first propose a new local search, the double-assignment method, suitable for the exponential chaotic tabu search, which adopts fea...

The purpose of this study is to determine the appropriate forecasting method for predicting rainfall in Makassar City 2022. This research based on problems that are often experienced by people City, namely occurrence flooding which results traffic jams due high x continuously occurs. several days a row. With research, can see prediction and anticipate City. city data plot experience increases d...