• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.30B no.5
• /
• pp.43-51
• /
• 1993

A new Hangul code called Truecode is developed for accomodating to the future computing environments of graphical user interface and multimedia as well as for corresponding with the invention principle of Hangul. Truecode is not a forced two-byte code of syllable unit, as completion-type of combination-type, currently used, but a one byte code of phoneme unit, which can represent initial consonant, vowel, and final consonant each. It is quite different from three-byte code of syllable unit and also does not require the fill code used for three-byte code. We expect great contribution to the Hangul culture from Truecode's some important following features. It can express all the Korean characters we may imagine and does not cause any problem in communication. As well as we may use direct connection font, we can assign ont-to-one correspondence between Truecode and a keyboard with three sets. Truecode has a good advantage in developing application softwares of Hangul and it can nicely be applied to the fields of speech recognition and artificial intelligence using natural language.

• Proceedings of the KIEE Conference
• /
• 1995.11a
• /
• pp.587-589
• /
• 1995

The safe navigation of a mobile robot requires the recognition of the environment in terms of vision processing. To be guided in the given path, the robot should acquire the information about where the wall and corridor are located. Also unexpected obstacles should be detected as rapid as possible for the safe obstacle avoidance. In the paper, we assume that the mobile robot should be navigated in the flat surface. In terms of this assumption we simplify the correspondence problem by the free navigation surface and matching features in that coordinate system. Basically, the vision processing system adopts line segment of edge as the feature. The extracted line segments of edge out of both image are matched in the free nevigation surface. According to the matching result, each line segment is labeled by the attributes regarding obstacle and free surface and the 3D shape of obstacle is interpreted. This proposed vision processing method is verified in terms of various simulations and experimentation using real images.

• Steel and Composite Structures
• /
• v.19 no.6
• /
• pp.1511-1529
• /
• 2015

This article provides an analysis of the complex character of stress distribution in concrete in stub columns consisting of two HE160A steel sections held together with batten plates and filled with concrete. In such columns, evaluating the effect of concrete confinement and determining the extent of this confinement constitute a substantially complex problem. The issue was considered in close correspondence to rectangular cross section tubular elements filled with concrete, concrete-encased columns, as well as to steel-concrete columns in which reinforcement bars are connected with shackles. In the analysis of concrete confinement in two-chord columns, elements of computational methods developed for different types of composite cross sections were adopted. The achieved analytical results were compared with calculations based on test results.

• Computational Structural Engineering
• /
• v.7 no.2
• /
• pp.69-75
• /
• 1994

The procedure for the stress and displacement analysis of realistic viscoelastic materials by time domain boundary element method(BEM) has been discussed. The fundamental solutions and stress kernels have been obtained using the elastic-viscoelastic correspondence principle. The relaxation function is expanded in a sum of exponentials and the transformed fundamental solutions and stress kernels are inverted numerically into real time space. The proposed procedure requires a small computational effort and it is applicable in time domain boundary element analysis of realistic viscoelastic problems. Numerical results of example problem show the effectiveness and applicability of the proposed method.

• Proceedings of the KSR Conference
• /
• 2004.10a
• /
• pp.1241-1246
• /
• 2004

The verification confirms a correspondence between requirements and a specification before implementing. The problem in the formal method verifying a protocol specification using model checking is that the protocol behaviors must be always specified in L TS(Label Transition System). But if Region Automata is applied to the model checking, it is enable to verify whether properties are true on specification specified in I/O FSM(Input/Output Finite State Machine) as well as LTS. In this paper, we verify the correctness of rail signal control protocol type 1 specified in I/O FSM by using model checking method and region automata. This removes many errors and ambiguities of an informal method used in the past and saves down expenditures and times required in the protocol development. Therefore it is expected that there will be an increase in safety, reliability and efficiency in terms of the maintenance of the signaling system by using the proposed verification methods.

• Journal of Institute of Control, Robotics and Systems
• /
• v.16 no.1
• /
• pp.18-24
• /
• 2010

In this paper, we address an active ranging system based on laser structured light image for mobile robot application. Since the burdensome correspondence problem is avoidable, the structured light image processing has efficient computation in comparison with the conventional stereo image processing. By using a cylindrical lens in the laser generation, it is possible to convert a point laser into a stripe laser without motorized scan in the proposed system. In order to achieve robustness against environmental illumination noise, we propose an efficient integro-differential image processing algorithm. The proposed system has embedded image processing module and transmits distance data to reduce the computational burden in main control system.

• Journal of Family Resource Management and Policy Review
• /
• v.5 no.1
• /
• pp.15-31
• /
• 2001

The purpose of this study is to identify participation-types of the family in the purchasing decision-making on items of commodities (TV, refrigerator, furniture, passenger car, housing, vacation, saving, husbands’clothing and children’s clothing). The other thing is to find who is major factors in each of the decision-making stages(the recognition of problem, the searching of information, the evaluation of alternatives and purchasing) among the subjects of decision-making (husband, wife, couple combination and family combination). To complete the purpose, the data were collected through questionnaire which 549 wives living in Seoul answered. From the data, frequency, percentage and correspondence analysis were executed by SPSS. The results of this study were briefly summarized as follows; Wives played an important role on all of decision-making stages for refrigerator, furniture, children’s clothing and husbands’clothing. Husbands played an important role on vacation and passenger car. And in case of saving, TV and housing, couple combination played an important role. It means that wives have a major influence on the purchasing process.

• Journal of the Korean Data and Information Science Society
• /
• v.17 no.3
• /
• pp.677-685
• /
• 2006

During the previous few years, local universities have experienced a rapid decrease in registration of new student for admission because of the problem of excessive concentration to Seoul metropolitan area and decrease in the number of population under school ages. Even though they are tring to survive from the difficulties by developing new strategies to increase the number of new students, it has no meaning if there is no standpoint of marketing. So, this study suggests that introduction of demander focused marketing concept actively is needed breaking the general and conservative method when the university devise entrance examination strategy. Also, using of positioning map is suggested and the examples are showed as finding differentiation factors with competitive university.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2004.11a
• /
• pp.954-957
• /
• 2004

Based on the authors' previous work, where a geometric constraint handling technique for stiffener layout optimization problem using geometry algorithms was proposed, stiffener layout optimization to maximize natural frequencies of a curved three-dimensional shell structure was performed with a projection method. The original geometry of the shell structure was first projected on a two-dimensional plane, and then the whole optimization process was performed with the projected geometry of the shell except that the original shell structure was used for the eigenproblem solving. The projection method can be applied to baseline structures with a one-to-one correspondence between original and projected geometries such as automobile hoods and roofs.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.1
• /
• pp.71-111
• /
• 2021

We consider the boundary value problem for the deflection of a finite beam on an elastic foundation subject to vertical loading. We construct a one-to-one correspondence �� from the set of equivalent well-posed two-point boundary conditions to gl(4, ℂ). Using ��, we derive eigenconditions for the integral operator ��M for each well-posed two-point boundary condition represented by M ∈ gl(4, 8, ℂ). Special features of our eigenconditions include; (1) they isolate the effect of the boundary condition M on Spec ��M, (2) they connect Spec ��M to Spec ����,α,k whose structure has been well understood. Using our eigenconditions, we show that, for each nonzero real λ ∉ Spec ����,α,k, there exists a real well-posed boundary condition M such that λ ∈ Spec ��M. This in particular shows that the integral operators ��M, arising from well-posed boundary conditions, may not be positive nor contractive in general, as opposed to ����,α,k.