• 전자공학회논문지B
• /
• 제30B권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.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1995년도 추계학술대회 논문집 학회본부
• /
• 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
• /
• 제19권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.

• 전산구조공학
• /
• 제7권2호
• /
• pp.69-75
• /
• 1994

시간영역에서는 경계요소법을 이용하여 실제점탄성체에 대한 응력 및 변위 해석과정을 논의하였다. 기본해와 응력커널들은 탄성-점탄성 대응원리를 사용하여 구하였다. 이완함수는 지수함수들의 합으로 전개되고, 변형된 기본해와 응력커널들은 실제시간 공간으로 수치적인 방법에 의해 전환된다. 제안된 과정정은 수치해석을 수행하는데 큰 노력을 요하지 않으며, 실제점탄성체 해석에 응용될 수 있다. 예저의 결과들은 제시된 방법의 효율성과 응용 가능성을 보여준다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2004년도 추계학술대회 논문집
• /
• 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.

• 제어로봇시스템학회논문지
• /
• 제16권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.

• 가족자원경영과 정책
• /
• 제5권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
• /
• 제17권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.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2004년도 추계학술대회논문집
• /
• 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.

• 대한수학회보
• /
• 제58권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.