• Journal of The Korean Association of Information Education
• /
• v.8 no.4
• /
• pp.555-562
• /
• 2004

There are informal, semi-formal and formal methods in software specification. Among them, formal method which is based on mathematical theory had been used to remove ambiguity, incompleteness and contradiction efficiently. In this paper, we propose implementation steps from Z specification to EJB source code, Also, as a case study we show steps consisted of specifying stack data structure and implementing it in EJB. In conclusion, Z specification proved to be capable of implementing EJB interface, exception class, method, through refinement and definition of schema, interface, post-condition, pre-condition.

• International conference on construction engineering and project management
• /
• 2005.10a
• /
• pp.533-538
• /
• 2005

An outline of an Artificial Neural Network (ANN) model for bridge condition rating and the results of a pilot study are presented in this paper. Most BMS implementation systems involve an extensive range of data collection to operate accurately. It takes many years to effectively implement a BMS using existing methodologies. This is due to unmatched data requirements. Such problems can be overcome by adopting the ANN model presented in this paper. The objective of the proposed model is to predict bridge condition ratings using historical bridge inspection data for effective BMS operation.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.28 no.6B
• /
• pp.691-696
• /
• 2008

In this paper, a three-dimensional non-hydrostatic pressure model for free surface flows using a normalized vertical coordinate system is presented. To strongly couple the free surface and non-hydrostatic pressure in the momentum equations, a double predictor-corrector method is employed. This research is especially focused on implementing the dynamic boundary condition (a zero pressure condition) at the free surface. This boundary condition can be specified accurately with a small modification to existing models. Numerical results with and without this modification clearly show that a precise implementation of the dynamic boundary condition is paramountly important.

• The Journal of the Korea Contents Association
• /
• v.20 no.5
• /
• pp.204-211
• /
• 2020

This study investigates the 17 ordinances on the improvement of labor condition and status of social workers in the metropolitan city of Busan that has 16 administrative borough, or gu, and a central headquarter, and further verifies its implementation. Researchers identified the presence of 9 articles in each ordinances, followed by data request being made to all the administrative offices for their implementation. As a result, the articles on obligation, research on the actual condition, support plan and committee establishment have been excluded in many gus, which were in default of implementation or slower than ordinances stipulate. It is suggested that statements about the obligation of the head officers, preceding research on the actual condition before support plan and committee establishment should be made in the independent articles. Regarding its implementation, ordinances are required to have a regulatory power through penalty, reflect the actual demands of social workers in the field and go through a regular evaluation and monitoring on its implementation in order for purpose accomplishment.

• International Journal of Internet, Broadcasting and Communication
• /
• v.12 no.1
• /
• pp.130-136
• /
• 2020

There are many problems that occur currently in agriculture industries. The problems such as unexpected of changing weather condition, lack of labor, dry soil were some of the reasons that may cause the growth of the plants. Condition of the weather in local area is inconsistent due to the global warming effect thus affecting the production of the crops. Furthermore, the loss of farm labor to urban manufacturing jobs is also the problem in this industry. Besides, the condition for the plant like air humidity, air temperature, air quality index, and soil moisture are not being recorded automatically which is more reason for the need of implementation system to monitor the data for future research and development of agriculture industry. As of this, we aim to provide a solution by developing IoT-based platform along with the irrigation for increasing crop quality and productivity in agriculture field. We aim to develop a smart garden system environment which the system is able to auto-monitoring the humidity and temperature of surroundings, air quality and soil moisture. The system also has the capability of automating the irrigation process by analyzing the moisture of soil and the climate condition (like raining). Besides, we aim to develop user-friendly system interface to monitor the data collected from the respective sensor. We adopt an open source hardware to implementation and evaluate this research.

• Journal of Korean Society of Rural Planning
• /
• v.23 no.3
• /
• pp.107-120
• /
• 2017

This study started with drawing problems of early implementation and suggesting improvement plans in order to lead a rural convergence industrialization district system to early settlement and management for its policy goals. The study aimed at 13 districts that were designated from 2014 to 2016 for analyzing an actual condition of promoting early implementation, and went ahead with it combining literature research, interview survey and specialist opinion investigation. The study examined and organized an outline, policy goal, and actual condition of rural convergence industrialization district. Furthermore, it analyzed an actual condition of promoting at each stage such as designating processes of rural convergence industrialization districts, operating body and system, regulation improvement, district supporting projects and relating projects, drew problems and finally suggested improvement plans. This study could be meaningful because it is the first study to grasp an actual condition of promoting early implementation and to remedy problems in order to manage rural convergence industrialization district system which was newly promoted since 2014 for its policy goal. In addition, it suggests that the further study of the result after managing district system for a certain period of time should be needed.

• Journal of Information Processing Systems
• /
• v.15 no.4
• /
• pp.890-903
• /
• 2019

The single carrier frequency domain equalization (SC-FDE) technology is an important part of the broadband wireless access communication system, which can effectively combat the frequency selective fading in the wireless channel. In SC-FDE communication system, the accuracy of timing synchronization directly affects the performance of the SC-FDE system. In this paper, on the basis of Schmidl timing synchronization algorithm a timing synchronization algorithm suitable for FPGA (field programmable gate array) implementation is proposed. In the FPGA implementation of the timing synchronization algorithm, the sliding window accumulation, quantization processing and amplitude reduction techniques are adopted to reduce the complexity in the implementation of FPGA. The simulation results show that the algorithm can effectively realize the timing synchronization function under the condition of reducing computational complexity and hardware overhead.

• 제어로봇시스템학회:학술대회논문집
• /
• 1988.10b
• /
• pp.1006-1013
• /
• 1988

We have shown how unstructured modeling was used to derive a general stability condition in Part 1. In Part 2, we focus on the particular dynamics (structures modeling) of the robot manipulator and environment. Using rigid body dynamics, the stability condition for the direct drive robots has been achieved in terms of the Jacobian and robot tracking controller. Combining the structured and unstructured modeling, a stability condition for a particular application can be obtained. This approach has been used to analyze compliant motion on the University of Minnesota robot using a feedforward torque controller. We have obtained a stability condition for this application. Through both simulation and experiment, the sufficiency of this condition has been demonstrated. For a sufficient stability condition, recall that if the condition is satisfied, then the stability is guaranteed; however, if the condition is violated, no conclusion can be made.

• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.38 no.11
• /
• pp.950-957
• /
• 1989

We have shown how unstructured modeling was used to derive a general stability condition in Part 1. In Part 2, we focus on the particular dynamics (structured modiling) of the robot manipulator and environment. Using rigid body dynamics, the stability condition for the direct drive robots has been achieved in terms of the Jacobian and robot tracking controller. Combining the structured and unstructured modeling, a stability condition for a particular application can be obtained. This approach has been used to analyze compliant motion on the University of Minnesota robot using a feedforward torque controller. We have obtained a stability condition for this application. Through both simulation and experiment, the sufficiency of this condition has been demonstrated. For a sufficient stability condition, recall that if the condition is satified, then the stability is guaranteed` however, if the condition is violated, no conclusion can be made.

• Journal of the Korean Society of Costume
• /
• v.59 no.1
• /
• pp.146-158
• /
• 2009

The purpose of this study was to identify hair salon's implementation strategies and current service condition for mass customization. The questionnaire was composed of 82 questions. 115 hair salon's directors were subjects of this study. The results were as follows: Hair salon's mass customization strategies were categorized into 6 factors such as staff's technique, communication service, electronic products, monetary support, man-to-man service, and dissatisfaction removal service. Hair salons were categorized into 2 groups of a high implementation group and a low implementation group. A high implementation group had a higher monthly sales and more regular customers and staff. The hair salons were franchises and were more spacious in the high group. They were located at fashion street, department store, or outlet mall, and offered fashionable hair styles. However, a low implementation group had a lower monthly sales and less regular customers and staffs. The size of hair salon was small in the low group. They were located in residential areas and offered basic hair styles.