• Journal of KIISE:Computer Systems and Theory
• /
• v.31 no.5_6
• /
• pp.335-346
• /
• 2004

PtolemyII is an environment that supports heterogeneous modeling and design of concurrent systems such as embedded system. PtolemyII has several Domains which are physical rules to determine the way of communicating between components. PtolemyII has 11 domains such as PetriNet, Timed Multitasking, SR etc. Components of System can be specified using appropriate domains for their properties. Communicating Sequential Processes(CSP) is implemented as formally designed CSP domain, in PtolemyII. But CCS didn't be implemented as a domain. It is a kind of Process Algebra language which can be used for specifying and verifying concurrent systems formally. Thus, in this paper we implemented CCS domain. And that permitted developers using PtolemyII to use the same modeling pattern used in PtolemyII and to make system specifications in the base of the formal semantics of CCS. This caused the diversity of PtolemyII domains and the power of expression was improved. This paper will explain the structure of CCS domain implemented in PtolemyII and the way of implementing it.

• Journal of Drive and Control
• /
• v.13 no.1
• /
• pp.1-9
• /
• 2016

Nowadays automatic transmission equipped vehicles prevail in construction and agricultural equipment due to their convenience in driving and operation. Though domestic vehicle manufacturers install imported electronic controlled transmissions at present, overseas products will be replaced by domestic ones in the near future owing to development efforts over the past 10 years. For passenger cars, there are many kinds of shift control algorithms that enhance the shift quality such as feedback and learning control. However, since shift control technologies for heavy duty vehicles are not highly developed, it is possible to improve the shift quality with an organized control method. A feedback control algorithm for neutral-into-gear shift, which is enabled during the inertia phase for the master clutch slip speed to track the slip speed reference, is proposed based on the power transmission structure of TH100. The performance of the feedback shift control is verified by a vehicle test which is implemented with firmware embedded TCU. As the master clutch engages along the predetermined speed trajectory, it can be concluded that the shift quality can be managed by a shift time control parameter. By extending the proposed feedback algorithm for neutral-into-gear shift to gear change and shuttle shift, it is expected that the quality of the shift can be improved.

• Korean Journal of Remote Sensing
• /
• v.18 no.6
• /
• pp.359-367
• /
• 2002

In this paper, a new embedded wavelet packet image coder algorithm is proposed for an effective image coder using correlation between partitioned coefficients. This new algorithm presents parent-child relationship for reducing image reconstruction error using relations between individual frequency sub-bands. By parent-child relationship, every coefficient is partitioned and encoded for the zerotree data structure. It is shown that the proposed wavelet packet image coder algorithm achieves low bit rates and rate-distortion. It also demonstrates higher PSNR under the same bit rate and an improvement in image compression time. The perfect rate control is compared with the conventional method. These results show that the encoding and decoding processes of the proposed coder are simpler and more accurate than the conventional ones for texture images that include many mid and high-frequency elements such as aerial and satellite photograph images. The experimental results imply the possibility that the proposed method can be applied to real-time vision system, on-line image processing and image fusion which require smaller file size and better resolution.

• Smart Structures and Systems
• /
• v.19 no.1
• /
• pp.1-10
• /
• 2017

The operation of subway trains induces secondary structure-borne vibrations in the nearby underground spaces. The vibration, along with the associated noise, can cause annoyance and adverse physical, physiological, and psychological effects on humans in dense urban environments. Traditional tethered instruments restrict the rapid measurement and assessment on such vibration effect. This paper presents a novel approach for Wireless Smart Sensor (WSS)-based autonomous evaluation system for the subway train-induced vibrations. The system was implemented on a MEMSIC's Imote2 platform, using a SHM-H high-sensitivity accelerometer board stacked on top. A new embedded application VibrationLevelCalculation, which determines the International Organization for Standardization defined weighted acceleration level, was added into the Illinois Structural Health Monitoring Project Service Toolsuite. The system was verified in a large underground space, where a nearby subway station is a good source of ground excitation caused by the running subway trains. Using an on-board processor, each sensor calculated the distribution of vibration levels within the testing zone, and sent the distribution of vibration level by radio to display it on the central server. Also, the raw time-histories and frequency spectrum were retrieved from the WSS leaf nodes. Subsequently, spectral vibration levels in the one-third octave band, characterizing the vibrating influence of different frequency components on human bodies, was also calculated from each sensor node. Experimental validation demonstrates that the proposed system is efficient for autonomously evaluating the subway train-induced ambient vibration of underground spaces, and the system holds the potential of greatly reducing the laboring of dynamic field testing.

• Journal of the Korean Society of Hazard Mitigation
• /
• v.11 no.1
• /
• pp.59-66
• /
• 2011

Lifeline Damages induced by earthquake loading brings not only a structure damage but the communication problems by the interruption of various energy utilities such as electric power, gas, and water resources. Earthquake loss estimation systems in USA and Japan, called as HAZUS (Hazard in US) and HERAS (Hazards Estimation and Restoration Aid System), respectively, have been established for the purpose of efficient responding to the earthquake hazard. Sufficient damage records are required to establish these systems. However, there are insufficient data set of damage records obtained from previous earthquakes in Korea. In this study, according to the construction specifications of the pipelines in both Korea and USA, the behavior of both ductile and brittle pipelines embedded in dense sand overlying various soils, such as clay, sand, and gravel were examined with respect to the pipeline characteristics under various earthquake loadings. The applicability of pipeline damage prediction used in HAZUS program to Korea has been investigated.

• Journal of Convergence for Information Technology
• /
• v.8 no.6
• /
• pp.217-223
• /
• 2018

Real-time controllability has been a major challenge that should be addressed to ascertain the practical usage of the management systems. In this regards, for the first time, we proposed and implemented an IoT(Internet of Things)-based water tank system to improve convenience and efficiency. The reservoir can be effectively controlled by notifying the user if the condition of the reservoir is unstable. The proposed system consists of embedded H/W unit for sensor data measuring and controling, application S/W for deployment of management server via web and mobile app, and efficient database structure for managing and monitoring statistics. And machine learning algorithms can be applied for further improvements of efficiency in practice.

• Journal of the Korean Geosynthetics Society
• /
• v.17 no.4
• /
• pp.179-188
• /
• 2018

A new style of panel-type reinforced earth wall is a more integrated structure by connecting the geosynthetic strip reinforcement with a folding groove directly to the front panel through C-shaped insertion hole embedded in the panel. In this study, field measurements were conducted on two reinforced earth walls constructed at different sites to assess the field applicability and structural stability of the new style of panel-type reinforced earth wall. The horizontal displacement of the front panel, tensile deformation of the geosynthetic strip reinforcement, and horizontal earth pressure acting on the panel were measured and analyzed through the field measurements. According to the field measurements, after completion of the reinforced earth wall construction, the maximum horizontal earth pressure applied to the front panel was less than two-thirds of the Rankine earth pressure, and the maximum horizontal displacement of the front panel was less than 0.5% of the wall height, and the maximum tensile strain generated on the reinforcement was less than 1.0%. Therefore, it was found that two reinforced earth walls constructed at different sites remained stable.

• Advances in nano research
• /
• v.7 no.5
• /
• pp.293-310
• /
• 2019

In this paper, thermal-buckling behavior of the functionally graded (FG) nanocomposite plates reinforced with graphene oxide powder (GOP) is studied under three types of thermal loading once the plate is supposed to be rested on a two-parameter elastic foundation. The effective material properties of the nanocomposite plate are considered to be graded continuously through the thickness according to the Halpin-Tsai micromechanical scheme. Four types of GOPs' distribution namely uniform (U), X, V and O, are considered in a comparative way in order to find out the most efficient model of GOPs' distribution for the purpose of improving the stability limit of the structure. The governing equations of the plate have been derived based on a refined higher-order shear deformation plate theory incorporated with Hamilton's principle and solved analytically via Navier's solution for a simply supported GOP reinforced (GOPR) nanocomposite plate. Some new results are obtained by applying different thermal loadings to the plate according to the GOPs' negative coefficient of thermal expansion and considering both Winkler-type and Pasternak-type foundation models. Besides, detailed parametric studies have been carried out to reveal the influences of the different types of thermal loading, weight fraction of GOP, aspect and length-to-thickness ratios, distribution type, elastic foundation constants and so on, on the critical buckling load of nanocomposite plates. Moreover, the effects of thermal loadings with various types of temperature rise are investigated comparatively according to the graphical results. It is explicitly shown that the buckling behavior of an FG nanocomposite plate is significantly influenced by these effects.

• Journal of the Korean GEO-environmental Society
• /
• v.20 no.1
• /
• pp.51-56
• /
• 2019

This paper presents a method to deice concrete pavement with carbon nanotube(CNT) as an heating material so as to avoid the adverse effects of conventional deicing method such as salt on the structure, function and environment. To this end, laboratory tests integrated with numerical simulations were conducted. In the laboratory tests, the CNT was embedded inside the concrete slab and generated the heat up to the target temperature of $60^{\circ}C$ in the freezer at temperature of $-10^{\circ}C$. Then, the surface temperature was measured to investigate how far the heat transfers on the surface at temperature of above $0^{\circ}C$. Also, three different spacings of 15, 20 and 30cm between CNTs were conducted to determine the maximum allowable spacing of CNT. Along with these experimental tests, heat transferring analysis conducted to validate the test results.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.21 no.1
• /
• pp.93-98
• /
• 2021

Due to the development of deep learning and AI, the scale of the model has grown, and it has been integrated into other fields to blend into our lives. However, in environments with limited resources such as embedded devices, it is exist difficult to apply the model and problems such as power shortages. To solve this, lightweight methods such as clouding or offloading technologies, reducing the number of parameters in the model, or optimising calculations are proposed. In this paper, quantization of learned models is applied to ONNX models used in various framework interchange formats, neural network structure and inference performance are compared with existing models, and various module methods for quantization are analyzed. Experiments show that the size of weight parameter is compressed and the inference time is more optimized than before compared to the original model.