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

• Journal of the Korean Institute of Traditional Landscape Architecture
• /
• v.32 no.3
• /
• pp.82-95
• /
• 2014

This study aims to draw up measures to planting tree and maintain a landscape in traditional space. Preceding comprehensive theoretical consideration of selected species of trees and tree maintenance. And analysis of present condition of planting in cases of Gwanghalluwon Garden, then draw a maintenance plans of planting through species of trees and landscape of planting recorded in literature. The results were as follows. First, Analysis of selected species of trees and tree maintenance that traditional space. A dispute about the selection species of trees in traditional space has been continued until today. Because unconditional reject of foreign trees are limited. In this context, should be sublated that hasty blind faith of records and dichotomous preparation plans such as removal of foreign trees and implicitly planting of native plants. Secondly, Planted trees in Gwanghalluwon garden was investigated and found to the species of trees used in traditional space such as Pine(Pinus densiflora S. et Z.), Sawleaf Zelkova(Zelkova serrata), Ginkgo(Ginkgo biloba), Crape Myrtle(Lagerstroemia indica L.). But, present planting irrelevant to traditional space, except Gwanghallu pavilion area from the spatiality. Thirdly, A look at the records or literature that maintenance of planting through historical research are limited. Because literature was recorded Salix spp., Crape Myrtle, Bambusoideae(Pseudosasa japonica), lotus only among planted trees in Gwanghalluwon garden. Fourth, Gwanghallu zone have nature of history and sense of place. And It was going to restore the appearance on historical. Consequently maintenance plan of planting of Gwanghallu zone should be maintain the current state. Wanwol pavillion zone can be recognized as the original form because they look similar to the Gwangallu zone's buildings. Therefore, it is necessary to secure the sense of place different from Gwanghallu zone by buffer planting for composition of transition space. Wolmaejip zone and lawn zone was marketplace in outside of castle and large forest. Accordingly, this area should be symbolic restoration of the Yulrim(栗林) and representation of the marketplace in outside of castle through aggregation of facilities and administrative facilities in Gwanghalluwon garden. East lawn of the Wanwol pavilion zone is should be maintained the current state that opened place in terms of using thought linked with the Wanwol pavilion zone. Boundary zone of the Gwanghalluwon garden is difficult to associate in terms of historical research and authenticity. Therefore, application of cultural landscape that appeared in literature is be worth.

• Atmosphere
• /
• v.23 no.4
• /
• pp.453-470
• /
• 2013

As a part of the KIAPS Observation Processing System (KOPS), we have developed the modules of satellite radiance data pre-processing and quality control, which include observation operators to interpolate model state variables into radiances in observation space. AMSU-A (Advanced Microwave Sounding Unit-A) level-1d radiance data have been extracted using the BUFR (Binary Universal Form for the Representation of meteorological data) decoder and a first guess has been calculated with RTTOV (Radiative Transfer for TIROS Operational Vertical Sounder) version 10.2. For initial quality checks, the pixels contaminated by large amounts of cloud liquid water, heavy precipitation, and sea ice have been removed. Channels for assimilation, rejection, or monitoring have been respectively selected for different surface types since the errors from the skin temperature are caused by inaccurate surface emissivity. Correcting the bias caused by errors in the instruments and radiative transfer model is crucial in radiance data pre-processing. We have developed bias correction modules in two steps based on 30-day innovation statistics (observed radiance minus background; O-B). The scan bias correction has been calculated individually for each channel, satellite, and scan position. Then a multiple linear regression of the scan-bias-corrected innovations with several predictors has been employed to correct the airmass bias.