• 대한수학회논문집
• /
• 제10권1호
• /
• pp.215-233
• /
• 1995

• 한국정보디스플레이학회:학술대회논문집
• /
• 한국정보디스플레이학회 2008년도 International Meeting on Information Display
• /
• pp.943-946
• /
• 2008

Many works have been done to enable computer, as brain of robot, to learn color categorization, most of them rely on modeling of human color perception and mathematical complexities. This paper aims at developing the innate ability of the computer to learn the human-like color categorization.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2016년도 제54차 하계학술대회논문집 24권2호
• /
• pp.101-102
• /
• 2016

본 논문에서는 차량의 특징점들 사이의 간격과 크기의 비례식으로 자동차의 차종을 식별하는 방법을 제시한다. 자동차 관련 영상은 그 편의성을 위하여 기본 RGB모델에서 Gray색상 모델로 변환시켜 사용한다. 자동차의 배경 제거는 Canny Edge Direction을 통하여 수행하고 외곽선 검을을 통하여 원하는 특징 점을 얻는다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제38권2호
• /
• pp.189-197
• /
• 1999

Discrete mathematics allows students to examine and explore unique, special problem situations which were not used to solve problems by paper-and-pencil procedures or applying common formulas. The use and integration of accessible computer-related technologies such as 'Mathematics' or 'Maple' software programs enables students to explore problem situation dramatically. This study shows that it is possible to introduce computer-based discrete mathematics focused on the Leslie matrix model as modeling age-specific population growth to high school students.

• 품질경영학회지
• /
• 제28권4호
• /
• pp.151-160
• /
• 2000

There can be a hierarchy among sensibility vocabularies by degree of abstractness. The higher degree of adstractness, the more difficult measuring satisfaction of sensibility. The objective of this study is to quantify customer satisfaction of his/her sensibility by using hierarchy of sensibility and Structural Equation Model(SEM).

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1990년도 한국자동제어학술회의논문집(국제학술편); KOEX, Seoul; 26-27 Oct. 1990
• /
• pp.1139-1144
• /
• 1990

In this paper, we consider linear periodic discrete-time control systems under periodic compensation. Such a closed-loop system generally represents a periodic time-varying system. We examine the problem of finding a compensator such that the closed-loop system is realized as LTI model (if possible) with the closed-loop stability being satisfied. We present a necessary and sufficient condition for solving such problem and also give the characterization of realizable LTI models.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 1989년도 가을 학술발표회 논문집
• /
• pp.15-18
• /
• 1989

The planar effects on the concrete pavements Is mainly due to the concrete shrinkage, subgrade friction, and thermal expansion or contraction. A complete understanding of analytical behavior of concrete pavement requires the development of computer model, stiffness matrix and equivalent nodal load matrices due to the effects mentioned above. A computer program, INPLANE II, has been written to evaluate the planar effects on concrete pavements. The planar effects determine to what degree the joint open and also help In determining factors which affect the joint stiffnesses and structural behavior of concrete Pavements.

• 소성∙가공
• /
• 제17권2호
• /
• pp.113-116
• /
• 2008

Computer simulation of microstructure evolution during hot forging process is of great interest in recent years. Recrystallization model and grain growth model which use a phenomenological approach were summarized. The upsetting and cogging processes of waspaloy were simulated using $DEFORM^{TM}$ and the change in grain size were investigated in each deformation procedure.

• 한국소성가공학회:학술대회논문집
• /
• 한국소성가공학회 2007년도 추계학술대회 논문집
• /
• pp.53-56
• /
• 2007

Computer simulation of microstructure evolution during hot forging process is of great interest in recent years. Recrystallization model and grain growth model which use a phenomenological approach were summarized. For the waspaloy, upsetting process and cogging process were simulated using $DEFORM^{TM}$ and the change in grain size were investigated in each deformation procedure.

• 한국컴퓨터정보학회논문지
• /
• 제8권4호
• /
• pp.21-27
• /
• 2003

본 논문에서는 정확한 분석 모델을 제시하기 위해서 객체 모델을 정의하고, 이 모델을 정형화와 표준화에 필요한 형식명세로 변환하는 방법을 제안한다. VDM 형식으로 변환된 모델은 정확성, 일관성, 완전성을 제공할 수 있다. 증명의 대상인 VDM 명세에서 오류가 발생한다면 초기 객체 모델 단계에 적용하여 객체 모델의 검증이 가능하다. 검증된 객체 모델을 설계 단계의 기반 명세로 사용하므로 추후 개발 단계의 비용과 노력을 최소화하고 객체 모델 선택의 정확성을 높일 수 있다.