• Journal of Advanced Marine Engineering and Technology
• /
• v.24 no.3
• /
• pp.88-98
• /
• 2000

In this paper, a robust controller using $H_{\infty}$ control theory has been designed for the load frequency control of interconnected 2-area power system. The main advantage of the proposed $H_{\infty}$ controller is that uncertainties of power system can be included at the stage of controller design. Representation of uncertainties is modeled by multiplicative uncertainly. In the mixed sensitivity problems, disturbance attenuation and uncertainty of the system is treated simultaneously. The robust stability and the performance of model uncertainties are represented by frequency weighted transfer function. The design of load frequency controller for each area was based on state-space approach. The comparative computer simulation results for the proposed controller and the conventional techniques such as the optimal control and the PID one were analyzed at the additions of various disturbances. Their deviation magnitude of frequency and tie line power flow at each area were mainly evaluated. Also the testing results of robustness for the cases that the perturbations of the all parameters of power system were amounted to about 20% were introduced. It was approved that the resultant performances of the proposed $H_{\infty}$ controller with mixed sensitivity were more robust and stable than the one of conventional controllers.

• Computers and Concrete
• /
• v.19 no.5
• /
• pp.501-507
• /
• 2017

The predictive utility of a damage model depends heavily on its particular choice of a damage variable, which serves as a macroscopic approximation in describing the underlying micromechanical processes of microdefects. In the case of spatially perfectly randomly distributed microcracks or microvoids in all directions, isotropic damage model is an appropriate choice, and scalar damage variables were widely used for isotropic or one-dimensional phenomenological damage models. The simplicity of a scalar damage representation is indeed very attractive. However, a scalar damage model is of somewhat limited use in practice. In order to entirely characterize the isotropic damage behaviors of damaged materials in multidimensional space, a system theory of isotropic double scalar damage variables, including the expressions of specific damage energy release rate, the coupled constitutive equations corresponding to damage, the conditions of admissibility for two scalar damage effective tensors within the framework of the thermodynamics of irreversible processes, was provided and analyzed in this study. Compared with the former studies, the theoretical formulations of double scalar damage variables in this study are given in the form of matrix, which has many features such as simpleness, directness, convenience and programmable characteristics. It is worth mentioning that the above-mentioned theoretical formulations are only logically reasonable. Owing to the limitations of time, conditions, funds, etc. they should be subject to multifaceted experiments before their innovative significance can be fully verified. The current level of research can be regarded as an exploratory attempt in this field.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.12 no.3
• /
• pp.1189-1204
• /
• 2018

Detecting and capturing 3D human structures from the intensity-based image sequences is an inherently arguable problem, which attracted attention of several researchers especially in real-time activity recognition (Real-AR). These Real-AR systems have been significantly enhanced by using depth intensity sensors that gives maximum information, in spite of the fact that conventional Real-AR systems are using RGB video sensors. This study proposed a depth-based routine-logging Real-AR system to identify the daily human activity routines and to make these surroundings an intelligent living space. Our real-time routine-logging Real-AR system is categorized into two categories. The data collection with the use of a depth camera, feature extraction based on joint information and training/recognition of each activity. In-addition, the recognition mechanism locates, and pinpoints the learned activities and induces routine-logs. The evaluation applied on the depth datasets (self-annotated and MSRAction3D datasets) demonstrated that proposed system can achieve better recognition rates and robust as compare to state-of-the-art methods. Our Real-AR should be feasibly accessible and permanently used in behavior monitoring applications, humanoid-robot systems and e-medical therapy systems.

• Structural Engineering and Mechanics
• /
• v.67 no.1
• /
• pp.33-43
• /
• 2018

The dynamic output-feedback robust control method based on linear matrix inequality (LMI) method is presented for suppressing vibration response of a functionally graded material (FGM) beam with piezoelectric actuator/sensor layers in this paper. Based on the reduced model obtained by using direct mode truncation, the linear fractional state space representation of a piezoelectric FGM beam with material properties varying through the thickness is developed by considering both the inherent uncertainties in constitution material properties as well as material distribution and the model error due to mode truncation. The dynamic output-feedback robust H-infinity control law is implemented to suppress the vibration response of the piezoelectric FGM beam and the LMI method is utilized to convert control problem into convex optimization problem for efficient computation. In numerical studies, the flexural vibration control of a cantilever piezoelectric FGM beam is considered to investigate the accuracy and efficiency of the proposed control method. Compared with the efficient linear quadratic regulator (LQR) widely employed in literatures, the proposed robust control method requires less control voltage applied to the piezoelectric actuator in the case of same control performance for the controlled closed-loop system.

• Journal of KIISE:Software and Applications
• /
• v.34 no.8
• /
• pp.743-751
• /
• 2007

Model checking has been successfully applied to hardware verification. Software is more subtle than hardware with respect to formal verification due to its infinite state space. Although there are many research activities in this area, bounded model checking is regarded as a promising technique. Bounded model checking uses an upper bound to unroll its model, which is the main advantage of bounded model checking compared to other model checking techniques. In this paper, we applied bounded model checking to verify BIR which is the input model for the model checking tool BOGOR. Some BIR examples are verified with our technique. Experimental results show that bounded model checking is better than explicit model checking provided by BOGOR. This paper presents the formalization of BIR and the encoding algorithm of BIR into CNF.

• Smart Structures and Systems
• /
• v.14 no.2
• /
• pp.191-207
• /
• 2014

In this research, an internal model based method is proposed to estimate the structural displacements and velocities under ambient excitation using only acceleration measurements. The structural response is assumed to be within the linear range. The excitation is assumed to be with zero mean and relatively broad bandwidth such that at least one of the fundamental modes of the structure is excited and dominates in the response. Using the structural modal parameters and partial knowledge of the bandwidth of the excitation, the internal models of the structure and the excitation can be respectively established, which can be used to form an autonomous state-space representation of the system. It is shown that structural displacements, velocities, and accelerations are the states of such a system, and it is fully observable when the measured output contains structural accelerations only. Reliable estimates of structural displacements and velocities are obtained using the standard Kalman filtering technique. The effectiveness and robustness of the proposed method has been demonstrated and evaluated via numerical simulations on an eight-story lumped mass model and experimental data of a three-story frame excited by the ground accelerations of actual earthquake records.

• Journal of Power Electronics
• /
• v.13 no.3
• /
• pp.419-428
• /
• 2013

The modular multilevel cascade converter (MMCC) is a new family of multilevel power converters with modular realization and a cascaded pattern for submodules. The MMCC family can be classified by basic configurations and submodule types. One member of this family, the Hexverter, is configured as Double-Delta Full-Bridge (DDFB). It is a novel multilevel AC/AC converter with direct power conversion and comparatively fewer required components. It is appropriate for connecting two three-phase systems with different frequencies and driving an AC motor directly from a utility grid. This paper presents the dq model of a Hexverter with both of its AC systems by state-space representation, which then simplifies the continuous time-varying model into a periodic discrete time-invariant one. Then a generalized multivariable optimal control strategy for regulating the Hexverter's independent currents is developed. The resulting control structure can be adapted to other MMCCs and is flexible enough to include other control criterion while guaranteeing the original controller performance. The modeling method and control design are verified by simulation results.

• Journal of Positioning, Navigation, and Timing
• /
• v.11 no.4
• /
• pp.251-261
• /
• 2022

The Centimeter Level Augmentation Service (CLAS) is the Precise Point Positioning (PPP) - Real Time Kinematic (RTK) correction service utilizing the Quasi-Zenith Satellite System (QZSS) L6 (1278.65 MHz) signal to broadcast the Global Navigation Satellite System (GNSS) error corrections. Compact State-Space Representation (CSSR) corrections for mitigating GNSS measurement error sources such as satellite orbit, clock, code and phase biases, tropospheric error, ionospheric error are estimated from the ground segment of QZSS CLAS using the code and carrier-phase measurements collected in the Japan's GNSS Earth Observation Network (GEONET). Since the CLAS service begun on November 1, 2018, users with dedicated receivers can perform cm-level precise positioning using CSSR corrections. In this paper, CLAS-based VRS-RTK performance evaluation was performed using Global Positioning System (GPS) observables collected from the refence station, TSK2, located in Japan. As a result of performing GPS-only RTK positioning using the open-source software CLASLIB and RTKLIB, it took about 15 minutes to resolve the carrier-phase ambiguities, and the RTK fix rate was only about 41%. Also, the Root Mean Squares (RMS) values of position errors (fixed only) are about 4cm horizontally and 7 cm vertically.

• Journal of Positioning, Navigation, and Timing
• /
• v.10 no.2
• /
• pp.75-82
• /
• 2021

Fields of high-precision positioning applications are growing fast across the mass market worldwide. Accordingly, the industry is focusing on developing methods of applying State-Space Representation (SSR) corrections on low-cost GNSS receivers. Among SSR correction types, this paper analyzes Safe Position Augmentation for Real Time Navigation (SPARTN) messages being offered by the SAfe and Precise CORrection DAta (SAPCORDA) company and validates positioning algorithms based on them. The first part of this paper introduces the SPARTN format in detail. Then, procedures on how to apply Basic-Precision Atmosphere Correction (BPAC) and High-Precision Atmosphere Correction (HPAC) messages are described. BPAC and HPAC messages are used for correcting satellite clock errors, satellite orbit errors, satellite signal biases and also ionospheric and tropospheric delays. Accuracies of positioning algorithms utilizing SPARTN messages were validated with two types of positioning strategies: Code-PPP using GPS pseudorange measurements and PPP-RTK including carrier phase measurements. In these performance checkups, only single-frequency measurements have been used and integer ambiguities were estimated as float numbers instead of fixed integers. The result shows that, with BPAC and HPAC corrections, the horizontal accuracy is 46% and 63% higher, respectively, compared to that obtained without application of SPARTN corrections. Also, the average horizontal and vertical RMSE values with HPAC are 17 cm and 27 cm, respectively.

• International Journal of Computer Science & Network Security
• /
• v.22 no.8
• /
• pp.97-104
• /
• 2022

European integration processes have acted as a catalyst for the emergence of a new type of educational environment, which is characterized by competent flexibility of specialists. Therefore, the article focuses on professional training of teachers in the context of European integration processes using information technology and the search for innovative methods of training specialists. One of the educational priorities in Europe is to create a new model of a teacher who has an academic education, knows innovative methods, is able to perform functions and tasks efficiently and professionally, adequately, quickly and correctly respond to changes and innovations. The tasks facing education in the European dimension are formulated. The main trends in the education of teachers in modern Europe are described: the need to deepen and expand subject training programs in pedagogical institutions of Higher Education, which will allow autonomy of activity, awareness of responsibility for independent creative decisions, create favorable conditions for the development of professionalism through the use of Information Technology and the search for innovative methods of training specialists. At the present stage, various models of teacher training are being developed based on the University and practical concept using information technology and searching for innovative methods of training specialists. On this basis, two different theories of perception of teacher education were formed: as preparation of teachers for work throughout their professional career; as preparation for the first years of professional work, which is periodically repeated in the process of continuous professional training and improvement. Among the advantages that the use of Information Technology and the search for innovative methods of training specialists to implement the learning process, it is worth mentioning the following: simultaneous use of several channels of perception of the student or student in the learning process, thanks to which the integration of information processed by different sensory organs is achieved; the ability to simulate complex real experiments; visualization of abstract information by dynamic representation of processes, etc.