• Journal of Korea Multimedia Society
• /
• v.3 no.2
• /
• pp.174-183
• /
• 2000

Formal methods for protocol description of a system is based on the implementation id S/W. However, the importance of H/W implementation for a parts of protocol design is increasing. The combination between H/W and IP technology is needed since the implementation environment is changing from S/W to H/W for implementation of specific application protocol. H/W implementation method starting with formal description procedure is essential to guarantree correctness and reliability of the implemented H/W by characteristic of formal description language. Inthis paper, for an automated H/W implementations, ESTELLE, a formal description method, is adopted. A transformation method from specification of ESTELLE to VHDL is suggested. This is an conceptual method that comparing and analyzing similarities between basic units of protocol description such as computation and communication unit and inter processors in H/W. Then we describe transformation model, and suggest example of transformation from ESTELLE to VHDL with Inres protocol.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.12 no.11
• /
• pp.2097-2104
• /
• 2008

Ubiquitous services are high duality and differentiated services which are provided for users by recognizing the context of users and environmental conditions actively. In this case, context-aware middleware is one of the most important technologies required to implement the ubiquitous services. In this paper, we propose a method for providing ubiquitous services in a specific user space effectively and monitoring human bio-signal sensors. That is, the design and implementation of intelligent home service middleware and monitoring human bio-signal sensor based on context awareness is discussed here. Context information from various sensors is gathered, and suitable services are inferred and provided to users by the middleware system. In our approach, user services can be modelled easily by using facts and rules, and the system can be extended easily to support various ubiquitous services other than intelligent home services also. The system can be integrated with external applications and legacy systems effectively by using various protocols such as RMI, socket and HTTP, XML and Zigbee etc. We have designed and evaluated various facts and rules for intelligent home services in real environments. Functionality evaluation with the system shows that ubiquitous services can be provided to users effectively in a home environment.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.16 no.3
• /
• pp.551-558
• /
• 2021

In this paper, we made the integrated intelligent air ventilation of the actuator module that can be remotely controlled based on IoT and sensors. we implemented a ventilation window system by configuring an algorithm design and a driving circuit to control the operation of the actuator to open and close the ventilation port based on a predetermined number of data that detects indoor gas/CO2/humidity temperature and outdoor fine dust related indoor/outdoor environment. It is difficult to store, manage, and analyze data due to the large number of sensors and conditions for the transmission data of indoor air circulation module. The remote monitoring and remote wireless control screens were constructed to automate the separation and operation conditions by extracting and managing the state. We apply MQTT to enhance big data transmission and construct the system using Rocket MQ to ensure safe transmission of operational big data against system errors.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.22 no.12
• /
• pp.1563-1570
• /
• 2018

Internet of Things technology is rapidly becoming a reality in many parts of our lives through various product services, and product development especially in the field of smart home is being actively carried out. Most controllers for controlling various smart home products use smart phone applications. However, smart phone applications are not suitable as smart home controllers, contrary to smart home services that emphasize intelligence and convenience. In order to provide intelligent smart home service, intuitive form of smart home controller is needed, which enables integrated control of smart home device. Therefore, this paper proposes a smart home remote control that can control the Internet devices and services of objects. The proposed smart home remote control provides an environment where users can build a smart home service through the IFTTT(If This Then That) automated service platform.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.41 no.4
• /
• pp.248-255
• /
• 2018

Ensuring the quality of molds is one of the major issues in mass production. In general, securing the quality of the molds is achieved by repeating grinding and die spotting after machining the molds based on engineer's decision. However, this heuristic method is affected by the engineer's skill and working environment. Therefore, a lot of time and resources are needed in order to ensure quality. In this study, ensuring the quality of molds using grinding map which is generated using automatic measurement is proposed. An automatic measuring system based on CMM (Coordinate Measuring Machine) is developed for measuring the molds. This system generates the measurement path automatically using the 3D CAD model of products. CAD (ComputerAided-Design), CAM (Computer-Aided-Manufacturing), and CAQ (Computer-Aided-Quality) technology is integrated using DMIS (Dimensional Measuring Interface Standard) format in the automatic measuring system. After measuring the molds, a grinding map is generated using the gap between the CAD model and measured values of mold. The grinding map displays the machining tendency and the required amount of grinding with values on a 3D map. Therefore, the quality of molds can be ensured with exactness and quickness based on the grinding map. This study shows that integrating the planning, measuring, and analyzing based on computer technology can solve the problem of quality assurance of mold using the proposed method, therefore the productivity can be increased.

• Journal of the Architectural Institute of Korea Planning & Design
• /
• v.35 no.9
• /
• pp.29-40
• /
• 2019

The concept of smart city is understood as an indispensable component of urban regeneration projects in small cities in terms of providing a better urban environment and efficient living systems with a limited budget. Recently, the Korean government revised the law that related to the construction of the smart city and started to implement the smart city concept not only to new-large urban development but also to small-existed regeneration projects. However, it is difficult for small and medium-sized cities that are suffering from the insufficient professional workforce; knowledge supports for high-tech and lack of professional networks to proceed smart city planning and project that containing regional characteristics. This paper aims to examine the effective way of urban regeneration for small and medium-sized cities through smart city planning and strategy. As an important case, this paper looks at the 'Smart City Challenge' competition that was hosted by the US Department of Transportation in 2015. It examines the background and operation process of the smart city challenge competition, and then analyses each city's strategy and characteristics of seven finalists. This paper highlights the several key lessons to Korean cities: 1) the importance of national government's support in financial and professional resources; 2) the cooperation with local governments and IT corporations which provides realistic and detailed technical solutions; 3) the holistic and integrated approach to urban regeneration starting from transportation issues; 4) the necessity of the government's clear visions and guidelines toward the smart city.

• Journal of Digital Convergence
• /
• v.18 no.12
• /
• pp.69-79
• /
• 2020

This study is to explore factors to consider for effective operation of synchronous online education in college. Synchronous online education is expanding in higher education. However, there is insufficient to comprehensively identify key components based on the learners' experience and perception. Using qualitative analysis on content of group interview and multidimensional scale analysis, the experience and perception of learners were identified. For the effective operation, interaction should be considered important, and rapport between learners needs to be built. In addition to improving the system in which activity tools are integrated, instructors should play mainly facilitator role, and learners have to manage the environment for immersion. For the types of online education, learners were divided into the dimension of 'activity' and 'temporality'. Further, it is to develop optimized design strategies considering its characteristics.

• Journal of International Academy of Physical Therapy Research
• /
• v.12 no.1
• /
• pp.2261-2266
• /
• 2021

Background: Deep learning related research works on website medical images have been actively conducted in the field of health care, however, articles related to the musculoskeletal system have been introduced insufficiently, deep learning-based studies on classifying orthopedic manual therapy images would also just be entered. Objectives: To create a deep learning model that categorizes cervical mobilization images and establish a web application to find out its clinical utility. Design: Research and development. Methods: Three types of cervical mobilization images (central posteroanterior (CPA) mobilization, unilateral posteroanterior (UPA) mobilization, and anteroposterior (AP) mobilization) were obtained using functions of 'Download All Images' and a web crawler. Unnecessary images were filtered from 'Auslogics Duplicate File Finder' to obtain the final 144 data (CPA=62, UPA=46, AP=36). Training classified into 3 classes was conducted in Teachable Machine. The next procedures, the trained model source was uploaded to the web application cloud integrated development environment (https://ide.goorm.io/) and the frame was built. The trained model was tested in three environments: Teachable Machine File Upload (TMFU), Teachable Machine Webcam (TMW), and Web Service webcam (WSW). Results: In three environments (TMFU, TMW, WSW), the accuracy of CPA mobilization images was 81-96%. The accuracy of the UPA mobilization image was 43~94%, and the accuracy deviation was greater than that of CPA. The accuracy of the AP mobilization image was 65-75%, and the deviation was not large compared to the other groups. In the three environments, the average accuracy of CPA was 92%, and the accuracy of UPA and AP was similar up to 70%. Conclusion: This study suggests that training of images of orthopedic manual therapy using machine learning open software is possible, and that web applications made using this training model can be used clinically.

• Journal of Korea Water Resources Association
• /
• v.54 no.spc1
• /
• pp.1023-1035
• /
• 2021

The electricity cost of a desalination facility was also predicted and reviewed, which allowed the proposed model to be incorporated into the future design of such facilities. Input data from 2003 to 2014 of the Korea Hydrographic and Oceanographic Agency (KHOA) were used, and the structure of the model was determined using the trial and error method to analyze as well as hyperparameters such as salinity and seawater temperature. The future seawater quality was estimated by optimizing the prediction model based on machine learning. Results indicated that the seawater temperature would be similar to the existing pattern, and salinity showed a gradual decrease in the maximum value from the past measurement data. Therefore, it was reviewed that the electricity cost for seawater desalination decreased by approximately 0.80% and a process configuration was determined to be necessary. This study aimed at establishing a machine-learning-based prediction model to predict future water quality changes, reviewed the impact on the scale of seawater desalination facilities, and suggested alternatives.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.31 no.6
• /
• pp.1247-1260
• /
• 2021

For more efficient energy management of nodes in wireless sensor networks, research has been conducted on mobile sink nodes that deliver data from sensor nodes to server recently. UAV (Unmanned Aerial vehicle) is used as a representative mobile sink node. Also, most studies on UAV propose algorithms for calculating optimal paths and have produced rapid advances in the IoD (Internet of Drones) environment. At the same time, some papers proposed mutual authentication and secure key exchange considering nature of the IoD, which requires efficient creation of multiple nodes and session keys in security perspective. However, most papers that proposed secure communication in mobile sink nodes did not protect end-to-end data privacy. Therefore, in this paper, we propose integrated security model that authentication between mobile sink nodes and sensor nodes to securely relay sensor data to base stations. Also, we show informal security analysis that our scheme is secure from various known attacks. Finally, we compare communication overhead with other key exchange schemes previously proposed.