• 호남수학학술지
• /
• 제4권1호
• /
• pp.179-183
• /
• 1982

• 월간포장계
• /
• 통권85호
• /
• pp.132-138
• /
• 2000

• 인지과학
• /
• 제11권2호
• /
• pp.19-35
• /
• 2000

예제에 의한 학습은 프로그래밍 언어를 포함한 다양한 주제들을 숙지하는데 효과적인 방법으로 밝혀져 왔다. 그러나 어떤 예제를 어떻게 제공하는 것이 바람직한가에 대한 보다 심층적인 연구는 많지 않다. 본 연구는 예제가 제시되는 방식과 제시되는 예제의 형태가 예제에 의한 프로그래밍 언어의 학습 성과에 영향을 미치는 두 가지 중요한 차원이라는 가설을 세웠다. 이 가설들을 자바 프로그래밍 언어의 학습 과정을 통하여 검증하기 위하여 컴퓨터 상에서 실험을 실시하였다. 예제의 제시 방식에서는 두 종류의 예제들을 부가적 설명 없이 제공하는 것이 부가적 설명과 함께 하나의 예제를 제공하는 것보다 더 효과적이라는 결과를 얻었다. 예제의 형태에서는 두 종류의 예제를 제공받았더라고 두 예제가 주어진 과제와 기능적으로 유사한 경우가 기능적으로 상이한 경우보다 더 나은 수행 결과를 나타냈다. 이와 같은 수행 결과의 차이에 대한 이유를 밝히기 위해 개별 피험자들의 프로그래밍 행동의 유형을 시간과 빈도의 관점에서 분석하였으며 또한 피험자들의 행위에 대한 보다 체계적인 설명을 위하여 GOMS 모델을 제시하였다. 결론적으로, 본 연구의 결과들은 프로그래밍 언어를 효과적으로 지도할 수 있는 교육 시스템 개발에 기여할 수 있을 것으로 기대된다.

• Tribology and Lubricants
• /
• 제30권3호
• /
• pp.183-188
• /
• 2014

In this paper, we present our analysis of tribological failure examples for an anti-lock brake system(ABS) in a car. The study range of this paper is to improve the quality of ABS system by analyzing with sensor, computer, actuator and oil lines. In the first example, the brake leak from hydraulic supply line in a caliper on the rear left side of the ABS hydraulic modulator. This produces the sponge phenomenon, where the car does not brake even when the driver operates the brake pedal. The hydraulic unit operating ABS is actuator that play role regulating drive condition according with the oil pressure supplied with wheel of a car. In the second example, the service man does not completely tighten the fixed bolt after repairing the car. This causes the ABS warning lamp to light up as the ABS wheel speed sensor cannot detect whether the ABS has been activated. In the third example, the ABS electronic control unit is separated from the soldered part of the inner circuit board. Consequently, the ABS fails in control because the ABS motor pump receives no-signal for the hydraulic unit. The wheel speed sensor has to large durability because of giving signal of acting condition to computer by detected the acceleration and deceleration of wheel of a car. In the fourth example, the ABS warning lamp lights up of when cracks propagate in the circuit board soldering part. The circuit of this computer is very important part for input and output the operating signal of system. Such failures can aggravate the durability of the ABS. Thus, the ABS needs to be optimized to eliminate malfunction phenomenon.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권4호
• /
• pp.264-272
• /
• 2010

예제기반 초해상도 영상복원은 영상 패치의 대한 학습 및 검색을 통해 저해상도 영상으로부터 고해상도 영상을 복원하는 방법으로써 성능이 좋고 한 장의 저해상도 영상에 대하여도 적용 가능하다. 그러나 복원 과정에서 패치 검색에 많은 비교 연산이 요구되기 때문에 속도가 매우 느리다. 복원 속도를 향상시키기 위해서는 효과적인 패치 검색 알고리즘이 요구된다. 본 논문에서는 패치 검색에 사용 가능한 다양한 고차원 특징 검색 방법들을 실제 초해상도 영상복원 시스템에 적용하여 그 성능을 비교하였다. 또한 문자 인식 분야에서 성공적으로 적용되어왔으나 초해상도 영상복원에서는 사용되지 않았던 단계적 후보축소 방법을 패치 검색 단계에 적용할 것을 제안한다. 실험 결과 기존의 방법 중에서는 LSH가 가장 좋은성능을 나타내었다. 본 논문에서 제안한 단계적 후보 축소에 의한 패치 검색 방법은 LSH보다 더욱 우수하여 $1024{\times}1024$ 영상의 복원 시 LSH보다 최대 3.12배 빠른 복원 속도를 나타내었다.

• 전자공학회논문지CI
• /
• 제37권3호
• /
• pp.1-11
• /
• 2000

예제 기반 기계번역 기법은 기존의 규칙 기반 기계번역에서 발생되는 다양한 문제점들을 해결하기 위해 제안된 새로운 기계번역 패러다임이다. 하지만 기존의 순수 예제 기반 기계번역의 경우 적당한 크기의 병렬 코퍼스를 사용하여 입력문과 거의 유사한 예문을 발견하는데는 한계가 있으며, 이러한 점이 번역문 생성 단계에서 부담으로 작용하게 된다. 본 논문에서는 예제 기반 기계번역 기법의 문제점을 보완하기 위한 새로운 대안으로서 패턴과 예문을 함께 사용하여 영한 변환을 수행하는 새로운 영한 변환 기법을 제안한다. 패턴은 크게 문장 패턴과 구 패턴으로 구분되며, 패턴의 메타 부분은 유사 예문 발견 확률을 높여서 예제 기반 기계 번역 기법을 보다 실용적으로 만들어준다. 실험 결과 기존의 표층 어휘 비교에 의한 순수 예제 기반 기계번역에 비해 비교적 적은 양의 예문을 가지고도 유사 예문 발견 확률이 높다는 것을 알 수 있었다.

• 정보교육학회논문지
• /
• 제16권2호
• /
• pp.265-273
• /
• 2012

현재 컴퓨터교육은 컴퓨터의 활용보다는 컴퓨터과학을 통한 창의성 신장 교육으로 비중을 높이고 있다. 이에 따라 창의성 교육의 측면에서 로봇을 활용하는 프로그래밍 교육은 컴퓨터교육 연구의 주요 과제로 떠오르고 있다. 로봇 프로그래밍에 관련된 기존 연구를 살펴보면 주로 로봇 프로그래밍 교육의 효과 및 교육과정 개발에 대한 연구가 주를 이루고 있으며, 점차 구체적인 학습 방법에 대한 연구로 초점이 이동되고 있는 추세이다. 본 연구에서는 로봇프로그래밍 학습 방법으로서 예제의 활용에 주목하고 있다. 예제는 프로그래밍을 가르치고 배우는데 중요한 역할을 하며, 학생과 교사 모두에게 유용한 유형의 학습 자료로 인식된다. 또한, 예제는 학습자가 프로그래밍을 할 때 기본틀, 가이드라인, 힌트 제공의 역할을 수행할 수 있다. 본 연구에서는 로봇 프로그래밍 교육을 위한 NXC 예제를 개발하고, 이를 학습자들이 쉽게 활용할 수 있는 지원 시스템을 개발하였다. 이 지원 시스템은 최근 관심이 집중되고 있는 스마트 교육의 동향에 따라 모바일 웹 애플리케이션으로 개발하였다.

• 복식
• /
• 제58권7호
• /
• pp.133-150
• /
• 2008

The study aimed to classify and analyze about the winter cap in the literature of the Joseon Period, as the period of using, synonyms, user, shape and materials. The following are the result of the study. 1. The winter caps can be classified into two kinds of group by times. The first ones have been used continuously during the whole Joseon Dynasty, for example, Nanmo(煖帽, 暖帽), Ieom(耳掩) and Pigyeon(披肩). These names are winter caps for the bureaucracy. The second ones have been used a part of the Joseon Period. Some of the names used in the first half of the Joseon Period, for example, Mogwan(毛冠), Chopigwan(貂皮冠), Chogwan(貂冠) and Seobokpigwan(鼠腹皮冠). The other names used in the latter half of the Joseon Period, for example, Noepo(腦包), Nanja(暖子), Jeomgyeon, Chageompi(遮?皮), Pimaho(皮馬虎), Wibo, Chipo, pungryeong(風領), Nani(煖耳), Hohang(護項), Hwihang(揮項), Manseonduri, Pungcha(風遮), Samsangeon(三山巾), Iwi(耳衣), Aekeom(額掩), Yangjeongeon(凉轉巾), Bolkki, Ayam and Guile. 2. Synonyms with connoting relationship in which one name perfectly connotes meaning of another name are Nanmo, Nani and Pigyen, Nanmo connotes Ieom, Chomo, Homo, Iwi and Hwihang. Nani connotes Hwihang, Hoieom and Pungcha. Pigyen connotes Hwihang and Ieom. In these cases, the range of the meaning of clothing terms can be confirmed since names with broad meaning connote names with narrow meaning. 3. Some names related with the other names, as the user, shape and materials, for example, Ieom, Hwihang and Pungcha.

• 한국중재학회지:중재연구
• /
• 제19권2호
• /
• pp.155-178
• /
• 2009

The ODR can be categorized into four distinctive types. First type is the asynchronous non-demeanour method. Second type is the asynchronous demeanour method. Third type is the synchronous demeanour method. Fourth type is the synchronous demeanour method. A typical example of the asynchronous and non-demeanour method is e-mail. The example of the synchronous and non-demeanour method is tele conference. The example of the asynchronous demeanour method is video recordings. The example of synchronous and demeanour method is video conference. The primary benefit of e-mail is to avoid the physical violence. But the costs of email is the lack of emotional aspects of disputants. The benefits of tele conference is ease of use, and reduces the negative aspects of face to face communication. but the costs are limitation of the exchange of written information. The benefits of video conference is the approximation of face to face communication by providing oral as well as visual communication. but it is insufficient to represent eye contact. The common limitations of ODR are as follows. First is the lack of human face. Second is the neutrality of arbitrators and mediators. Third is the authenticity of electronic document. Fourth is the digital divide across South and North and generations. Fifth is the cross-cultural communication. The development strategy of ODR is the training and education of arbitrators and mediators in the area of writing skill. Furthermore, it is necessary to supplement the weakness of email via diverse kinds of expressions to show emotions. Finally, it is necessary to train neutrals in the area of cross-cultural communication.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권7호
• /
• pp.523-530
• /
• 2009

최근 내장형 시스템이 점점 많은 분야에 사용되며, 시스템에 특화된 운영체제 커널에 대한 필요성이 커지고 있다. 하지만, 커널 개발은 코드의 복잡성 등의 이유로 말미암아 테스팅에 큰 비용이 소요됨에도 불구하고, 높은 신뢰성을 달성하기가 어려운 실정이다. 이러한 커널 개발 및 테스팅의 어려움을 극복하기 위해, 운영체제 커널의 동시성 오류 검출을 지원하는 모델 기반의 커널 테스팅 (MOKERT) 프레임워크를 제안한다. MOKERT 프레임워크는 주어진 C 프로그램을 Promela 정형 명세 모델로 변환하고 나서 Spin 모델검증기를 사용하여 검증하고, 검증반례가 생성된 경우, 이 검증반례를 실제 커널 코드에서 실행을 시켜서 진위를 확인한다. 본 연구에서는 MOKERT 프레임워크를 리눅스 proc파일시스템에 적용하여, ChangeLog에 보고된 오류가 실제로 자원경쟁문제를 일으킴을 확인하였을 뿐만 아니라, 커널 패닉을 일으키는 새로운 오류도 발견하였다.