• Journal of Institute of Control, Robotics and Systems
• /
• v.9 no.1
• /
• pp.1-9
• /
• 2003

An active control of the lateral vibration of a translating tensioned Euler-Bemoulli beam is investigated. The dynamics of the translating tensioned beam is represented by a non-linear hyperbolic partial differential equation. A right boundary control law based upon the Lyapunov's second method is derived. The transverse motion of the translating tensioned beam is controlled by a time-varying external force besides a passive damping applied at the right boundary. Exponential stability of the closed loop system is proved. Simulation results demonstrate the effectiveness of the proposed controller.

• The KIPS Transactions:PartD
• /
• v.15D no.6
• /
• pp.777-784
• /
• 2008

Recently in the field of model checking, to overcome the state explosion problem, the method of using a SAT-solver is mainly researched. To use a SAT-solver, the system to be verified is translated into CNF and the Boolean cardinality constraint is widely used in translating the system into CNF. In BCC it is dealt with set of boolean variables, but there is no translating method of the sequence among Boolean variables. In this paper, we propose methods for translating the problem, which is extracting a subsequence with length k from a sequence of Boolean variables, into CNF formulas. Through experimental results, we show that our method is more efficient than using only BCC.

• International Journal of Control, Automation, and Systems
• /
• v.2 no.1
• /
• pp.55-67
• /
• 2004

In this paper, an active vibration control of a translating steel strip in a zinc galvanizing line is investigated. The control objectives in the galvanizing line are to improve the uniformity of the zinc deposit on the strip surfaces and to reduce the zinc consumption. The translating steel strip is modeled as a moving belt equation by using Hamilton’s principle for systems with moving mass. The total mechanical energy of the strip is considered to be a Lyapunov function candidate. A nonlinear boundary control law that assures the exponential stability of the closed loop system is derived. The existence of a closed-loop solution is shown by proving that the closed-loop dynamics is dissipative. Simulation results are provided.

• Korean Journal of Computational Design and Engineering
• /
• v.18 no.5
• /
• pp.329-337
• /
• 2013

At shipyards, to enable design cooperation with engineering companies or to meet ship owner's requirements, there is a need to translate ship models from one ship CAD system to another ship CAD system. In this paper, a method for translating pipe models from Aveva Marine to SmartMarine3D is introduced. Related data and architecture of translation system are addressed and specific details to be considered during translation are explained. The introduced method has been implemented and tested in a shipyard.

• Journal of Ocean Engineering and Technology
• /
• v.14 no.4
• /
• pp.17-22
• /
• 2000

As the offshore oil fields are moved to the deep ocean, the oil production system of FPSO(Floating Production Storage and Offloading System) Type are constructed frequently these days. So, it is very important to estimate the drift motion and damping effects due to the drift motion simultaneously. The components of slow drift motion damping consist of viscous, wave radiation effect and wave drift damping. It is needed to estimate the wave drift damping more accurately than others. The wave drift damping signifies the time-rate of mean wave drift force on oscillating ship or ocean structure which constant speed. In order to calculate this, the 3-Dimensional panel method is employed with the translating and pulsating Green function in the frequency domain. The calculation is carried out for a Series 60 ($C_B$/=0.7) and the results are compared with other numerical ones.

• Journal of the Korean Society for Precision Engineering
• /
• v.16 no.11
• /
• pp.204-212
• /
• 1999

In this paper, the vibrational motion of a flexible beam clamped on a translating base and carrying a moving mass is investigated. The equations of motion which describe the total dynamics of the beam-mass-cart system are derived and the coupled dynamic equations are solved by unconstrained modal analysis. In modal analysis, the exact normal mode solutions corresponding to the eigenfrequencies for the position of the moving mass and the ratios of the mass of the flexible beam, the moving mass and the base cart are used. Proper transformations of the time solutions between the normal modes for a position and those for the next position of the moving mass are also adopted. Numerical simulations are carried out to obtain the open-loop responses of the system in tracking the pre-designed path of the moving mass.

• International Journal of Computer Science & Network Security
• /
• v.21 no.2
• /
• pp.130-141
• /
• 2021

This paper is in the intersection of software engineering and system engineering, two intimately intertwined disciplines. A dominating theme in this paper is the integral conceptualization of systems at large, as well as an underlying concern with software systems. In the software development life cycle, challenges still exist in translating requirements into a design artifact and then into an implementation (e.g., coding), then validating the results. From our perspective, software engineering requires an integrating paradigm toward a unified modeling orientation. Many methodologies, languages, and tools exist for facilitating system development processes. This paper is a venture into project development. To focus the materials, we concentrate on Harel's novel (and classic) development environment, which integrates a scenario-based engineering object orientation and statecharts through developing a railcar system. The railcar system is used as a detailed sample of translating requirements into a design artifact and then into an implementation, then validating the result. The project is re-cased as a single integrated modeling endeavor to be contrasted with the scenario and statecharts' development. The result of this scheme is an enriched understanding through experimenting with and contrasting various development methods of software projects.

• Journal of the Institute of Convergence Signal Processing
• /
• v.14 no.4
• /
• pp.235-242
• /
• 2013

In this paper, the system which can translate sign language through motion recognition of Kinect camera system is developed for the communication between hearing-impaired person or language disability, and normal person. The proposed algorithm which can translate sign language is developed by using core function of Kinect, and two ways such as length normalization and elbow normalization are introduced to improve accuracy of translating sign langauge for various sign language users. After that the sign language data is compared by chart in order to know how effective these ways of normalization. The accuracy of this program is demonstrated by entering 10 databases and translating sign languages ranging from simple signs to complex signs. In addition, the reliability of translating sign language is improved by applying this program to people who have various body shapes and fixing measure errors in body shapes.

• Journal of Korea Society of Industrial Information Systems
• /
• v.4 no.4
• /
• pp.40-46
• /
• 1999

This paper introduce a Koran-Japanese machine translation system which is a module in the spoken language interpreting system It is implemented based on the TDMT(Transfre Driven Machine Translation). We define a new unit of translation so called TOKEN. The TOKEN-based translation method resolves nonstructural feature in Korean sentences and increases the quaity of translating results. In our system, we get rid of useless effort for traditional parsing by performing semi-parsing. The semi-parser makes the dependency tree which has minimum information needed generating module. We constructed the generation dictionaries by using the corpus obtained from ETRI spoken language database. Our system was tested with 600 utterances which is collected from travel planning domain The success-ratio of our system is 87% on restricted testing environment and 71% on unrestricted testing environment.

• International Journal of Control, Automation, and Systems
• /
• v.3 no.4
• /
• pp.601-611
• /
• 2005

In this paper, an active vibration control of a tensioned, elastic, axially moving string is investigated. The dynamics of the translating string are described with a non-linear partial differential equation coupled with an ordinary differential equation. A right boundary control to suppress the transverse vibrations of the translating continuum is proposed. The control law is derived via the Lyapunov second method. The exponential stability of the closed-loop system is verified. The effectiveness of the proposed control law is simulated.