This paper describes CONFIG, an implemented hybrid modeling and simulation approach, within a discrete event system framework, and its application to control software validation. CONFIG system models are made up of connected evices and activities, and device models are made up of mode transition models, with behavior models for each mode. Behavior models can be discrete or continuous, and chara...

in the present paper, the idea of braking energy regeneration and reusing that energy during acceleration for a refuse truck is comprehended. according to their driving cycle, the refuse trucks have a good potential for braking energy regeneration. on the other hand, hydraulic hybrid is a powertrain with high power density which is appropriate for energy regeneration. in the primary stage of th...

in recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. in the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. in this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (oopls) us...

despite the crucial role of introductory sections in argumentative academic writing, the effects of genre- based approaches to writing introductory paragraphs have not been much explored yet. the present study aimed to investigate whether the provision of genre knowledge through modeling and non-modeling could enhance learners’ ability in writing introductory paragraphs of argumentative essays....