• Proceedings of the KIEE Conference
• /
• 2000.07b
• /
• pp.1433-1435
• /
• 2000

Currently KERI is participating a project whose goal is to develop the Korean High-Speed Train(KHST) with maximum speed of 350kph. KERI's responsibility is the electrical system engineering that includes engineering design of an on-board computer system for diagnosis and control of train set and electrical/mechanical devices. A system engineering approach of the design is performed in order to guarantee the passenger safety and economically viable train for on-board control system construction, operation and maintenance. This paper presents the draft engineering des on-board computer system that ensures the s and reliability of KHST. The draft is focuse network interfaced distributed processing system.

• The Journal of Korean Academy of Prosthodontics
• /
• v.27 no.2
• /
• pp.271-277
• /
• 1989

The purpose of this preliminary report was to describe the operating procedure of T-scan system and to identify the location, timing and force of occlusal contact in patient with normal occlusion using computerized T-scan system. From the preliminary observation , the author obtained the following results. 1. T-scan system displayed 2 dimensional and 3 dimensional description of occlusion: contact locations, timing (sequence) and forces of occlusal contacts. 2. The T-scan sensor was the most important part of the T-scan system. 3. The data of T-scan system cannot be stored in computer diskett. 4. The T-scan system is thought to be the most effective system to detect occlusal contacts and can be applied to the followings : occlusal diagnosis, occlusal equilibration, crown and bridge restorative procedures, denture adjustment, implant procedures, splint adjustment, laboratory procedures, periodontal treatment, orthodontics, TMJ treatment and patient education etc.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.38 no.1
• /
• pp.21-29
• /
• 2015

A steady-state controllable M/G/1 queueing model operating under the {T:Min(T,N)} policy is considered where the {T:Min(T,N)} policy is defined as the next busy period will be initiated either after T time units elapsed from the end of the previous busy period if at least one customer arrives at the system during that time period, or after T time units elapsed without a customer' arrival, the time instant when Nth customer arrives at the system or T time units elapsed with at least one customer arrives at the system whichever comes first. After deriving the necessary system characteristics including the expected number of customers in the system, the expected length of busy period and so on, the total expected cost function per unit time for the system operation is constructed to determine the optimal operating policy. To do so, the cost elements associated with such system characteristics including the customers' waiting cost in the system and the server's removal and activating cost are defined. Then, procedures to determine the optimal values of the decision variables included in the operating policy are provided based on minimizing the total expected cost function per unit time to operate the queueing system under considerations.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.16 no.5
• /
• pp.151-156
• /
• 2016

The IoT technology and sensors used for collecting the environment information has rapidly increased the number and type. With the increasing need for this type of sensor effective system for selecting and testing the sensor nodes for the IoT to develop products and services. In this study, we design and implement IoT sensor testing system for IoT service and product. In order to support rapid prototyping, the proposed system provides testing and management tools for IoT sensor nodes. We analyze the requirements of the proposed system and design the system based on the functional component-specific design. Finally, we implement testing application to verify the functional elements of the proposed system.

• Journal of applied mathematics & informatics
• /
• v.12 no.1_2
• /
• pp.429-436
• /
• 2003

We study the asymptotic equivalence between the nonlinear differential system $\chi$'(t) = f(t, $\chi$(t)) and its variational system ν'(t) = f$\chi$(t, 0)ν(t) by using the comparison principle and notion of strong stability.

• Korean Journal of Mathematics
• /
• v.24 no.4
• /
• pp.723-736
• /
• 2016

This paper shows that the solutions to nonlinear perturbed differential system $$y^{\prime}= f(t,y)+{\int_{t_{0}}^{t}g(s,y(s))ds+h(t,y(t),Ty(t))$$ have bounded properties. To show the bounded properties, we impose conditions on the perturbed part ${\int_{t_{0}}^{t}g(s,y(s))ds,\;h(t, y(t),\;Ty(t))$, and on the fundamental matrix of the unperturbed system y' = f(t, y) using the notion of h-stability.

• Journal of the Chungcheong Mathematical Society
• /
• v.28 no.4
• /
• pp.499-511
• /
• 2015

This paper shows that the solutions to the perturbed dierential system $$y^{\prime}=f(t,y)+{\int}_{t_o}^{t}g(s,y(s))ds+h(t,y(t),Ty(t))$$ have bounded property. To show this property, we impose conditions on the perturbed part ${\int}^{t}_{t_o}g(s,y(s))ds+h(t,y(t),Ty(t))$ and on the fundamental matrix of the unperturbed system y' = f(t, y).

• Kyungpook Mathematical Journal
• /
• v.27 no.1
• /
• pp.35-41
• /
• 1987

Consider the system (i) x'=Ax. Let ${\Phi}$ be its fundamental matrix solution. If there is w>0 such that A(t+w)-A(t) commutes with ${\Phi}$ for all t, then we call this system a "generalized" Floquet system or a "G. F. system". We show that $A(t+w)-A(t)=B_1$=constant if and only if $A(t)=C+B_1t/w+Q(t)$, Q is periodic of period w>0. For this A(t) We prove that if all eigenvalues of $B_1$ have negative real parts, then the origin is asumptotically stable. We find a growth condition for a continuous D(t) which guarantees that all solutions of z'=[A(t)+D(t)]z are bounded if all solutions of the G. F. system (i) are bounded. Combining the foregoing results yield a class of perturbed G. F. operators all of whose solutions are bounded.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2017.05a
• /
• pp.58-59
• /
• 2017

Through the case study, we surveyed the performance of a CNC-T BAR system on irregular-shaped building construction project. By CNC T-BAR system, we mean a surface curvature control system has been used in aircraft and ship manufacturing by controlling entire surface points on shape. For the past 10 year, the number of irregularly-shaped building design and construction project has been increased, and also the studies on irregular-shaped construction methods have been conducted. However, the previous studies did not review on the performance of the CNC T-BAR system. We collected construction-completed cases in Korea, which applied the CNC T-BAR system, and we studied its performance by comparing with a segment system in terms of construction duration and its quality. The result shows that the CNC T-BAR system can shorten the construction duration comparing with segment-assembly system while maintaining high quality. The CNC T-BAR system is expected to apply on the more number of irregularly-shape building construction project.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.10 no.3
• /
• pp.139-150
• /
• 2015

The major components of IoT(Internet of Things) environment are IoT devices rather than the conventional desktop computers. One of the intrinsic characteristics of IoT devices is diversity in view of data type and data access method. In addition, IoT devices usually deal with real-time data. In order to use such IoT data for internal business or cloud services, an IoT platform capable of easy domain management and consistent data access interface is required. This paper proposes a Linux FUSE-based virtual file system connecting IoT devices on POSIX file system view. It is possible to manage IoT domain with the native Linux utilities such as mkdir, mknod, ls and find in the file system. Also, the file system makes it possible to access or control IoT devices through POSIX interface such as open(), read(), write() or close() without any separate APIs or utilities. A test result shows that the management performance of the file system is lower than that of linux file system negligibly.