• Journal of Korean language education
• /
• v.28 no.4
• /
• pp.337-366
• /
• 2017

This study examines the acquisition of the multiple semantic functions of the Korean adverbial particle -ey by L1 American English learners of Korean as a second language at U.S. institutions. Participants at beginning, intermediate, and advanced proficiency levels (N = 45) were tested on the ability to interpret and produce five of the meanings of -ey, which they had been taught in formal classroom settings in the first semester of their Korean language learning. The results show different developmental trajectories for the particle's different semantic functions. The findings of a statistical analysis indicate that the beginning and intermediate proficiency learners had largely acquired the time, goal, and stative location meanings, but not the contact and unit meanings; the advanced learners demonstrated acquisition of all except for the unit meaning. The study suggests that in addition to factors such as semantic complexity and cross-linguistic influence, several other factors including L2 frequency, the availability of linguistic input, and instructional method also contribute to the acquisition of -ey.

• School Mathematics
• /
• v.14 no.4
• /
• pp.469-493
• /
• 2012

The purpose of this study is find the relation between students' concept and types of proof construction. For this, four undergraduate students majored in mathematics education were evaluated to examine how they understand mathematical concepts and apply their concepts to their proving. Investigating students' proof with their concepts would be important to find implications for how students have to understand formal concepts to success in proving. The participants' proof productions were classified into syntactic proof productions and semantic proof productions. By comparing syntactic provers and semantic provers, we could reveal that the approaches to find idea for proof were different for two groups. The syntactic provers utilized procedural knowledges which had been accumulated from their proving experiences. On the other hand, the semantic provers made use of their concept images to understand why the given statements were true and to get a key idea for proof during this process. The distinctions of approaches to proving between two groups were related to students' concepts. Both two types of provers had accurate formal concepts. But the syntactic provers also knew how they applied formal concepts in proving. On the other hand, the semantic provers had concept images which contained the details and meaning of formal concept well. So they were able to use their concept images to get an idea of proving and to express their idea in formal mathematical language. This study leads us to two suggestions for helping students prove. First, undergraduate students should develop their concept images which contain meanings and details of formal concepts in order to produce a meaningful proof. Second, formal concepts with procedural knowledge could be essential to develop informal reasoning into mathematical proof.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2006.05a
• /
• pp.251-257
• /
• 2006

BPM에 대한 많은 관심은 표준의 필요성을 제기함과 동시에 제정된 표준의 보급을 위한 적절한 적용방법론을 요구하고 있다. 본 연구는 프로세스 모형화 측면에서 BPMN(Business Process Modeling Notation) 표준을 자사 BPMS 솔루션 개발에 적용하고자 하는 벤더들에게 유용한 적용 방법론을 제공하는 것을 목표로 시각화, 의미론 구현, 호환성 등의 관점에서 4단계의 표준 적용 수준을 정의하고, 각 단계에서의 수행 방법론과 이슈를 기술하였다. 본 연구를 통해 솔루션 벤더들이 자사의 BPMN 표준 적용 수준과 관련된 의사결정을 하는데 있어서 유용한 참조 모델로서 기능할 수 있을 것으로 기대한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.241-243
• /
• 2003

지능형 정보 에이전트 시스템에서 사용되는 디폴트 규칙 시스템의 결론 집합을 생성하기 위한 추론 과정에서 불일치를 발생할 수 있는 새로운 오순 상황을 제시하고, 이를 해결할 수 있는 새로운 의미론을 정의한다. 확장 논리 프로그램은 추론된 결과 집합에서 같은 심벌이 양의 부호와 음의 부호를 동시에 가진 형태로 존재하는 경우에 모순이 발생하게 된다. 막장 논리 프로그램에 기반을 둔 디폴트 추론 시스템에서도 이런 모순을 가지게 되며, 이 문제를 해결하기 위한 방법이 정의되어 있다. 하지만, 비단조 추론을 하는 디폴트 규칙 시스템에서는 이런 문제 외에도 모순이 발생하게 된다. 하지만, 기존의 연구에서는 이러한 문제를 해결하는 방범이 고려되지 않았다. 최근에 들어서 디폴트 규칙 시스템은 지능형 에이전트에 내재되면서 에이전트간의 협상과 업데이트 등에 많이 사용되고 있다. 만일, 에이전트 내에서 규칙 시스템이 모순 상황이 발생하는 경우 예기치 않은 손실이 발생하게 된다. 따라서 결론 집합을 일관성 있게 추론하는 것은 지능형 에이전트 시스템의 신뢰성을 높이기 위해서 반드시 필요한 사항이다. 더욱이 에이전트 시스템의 사용분야가 지속적으로 늘어나는 상황에서 기존에 제안된 모순 이외에 각 분야에서 특성에 따라서 발생 가능한 모순이 발생하게 되며, 이 문제를 해결하는 것이 중요한 문제이다. 본 논문에서는 기존에 정의된 모순 외에 발생 가능한 문제점을 제시하고 이를 해결하기 위한 새로운 규칙 시스템의 의미론을 정의하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.301-303
• /
• 2001

현재 무선단말기 보급의 확대와 시간과 공간의 제약을 뛰어넘는 장점으로 무선 인터넷 환경이 급속도로 발전하고 있다. 그러나, 본 논문의 연구 분야인 모바일 지리정보 시스템(Mobile Geographic Information System)에서 무선인터넷을 통하여 실시간 지리 정보를 얻기 위해 사용자의 무선단말기와 서버 사이에 빈번한 데이터 송수신이 이뤄져야 하며 데이터의 빠른 변화를 수용해야 한다. 그러나, 아직 현저히 낮은 대역폭을 가진 채널을 통해 통신하며, 비싼 이용 요금과 오류로 인한 자발적 또는 비자발적 연결 끊김 현상 등은 서비스 제공에 한계를 가진다. 그러므로 본 논문에서는 이동 컴퓨팅 환경의 연구를 통해 연결 끊김 현상에서도 클라이언트의 지속적인 서비스 운영을 위한 비연결 연산으로 의미론적 캐시 기법과 캐시 교체 전략에 대해 알아보며, 본 논문에서는 Layer와 Region을 고려한 의미론적 캐싱 기법을 제안하여 무선 환경에서 동적인 지도서비스를 위한 기법을 제시하였다. 이 연구를 통해 아직 많은 한계를 지닌 무선인터넷 환경에서 지리정보뿐 아니라 위치기반의 다양한 서비스 분야에 응용될 수 있으리라 기대된다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2023.05a
• /
• pp.485-487
• /
• 2023

컴퓨터 비전의 하위 태스크(Task)인 의미론적 분할(Semantic Segmentation)은 자율주행, 해상에서 선박찾기 등 다양한 분야에서 연구되고 있다. 기존 FCN(Fully Conovlutional Networks) 기반 의미론적 분할 모델은 다운샘플링(Dowsnsampling)과정에서 공간정보의 손실이 발생하여 정확도가 하락했다. 본 논문에서는 공간정보 손실을 완화하고자 PSA(Polarized Self-attention)의 공간정보 강조 모듈을 HRNet(High-resolution Networks)의 합성곱 블록 사이에 추가한다. 실험결과 파라미터는 3.1M, GFLOPs는 3.2G 증가했으나 mIoU는 0.26% 증가했다. 공간정보가 의미론적 분할 정확도에 영향이 미치는 것을 확인했다.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2011.11a
• /
• pp.192-195
• /
• 2011

본 연구에서는 SVC 기반의 HTTP 스트리밍 서비스에서 스케일러블 임의 접근 (random access) 기능을 가능하게 하는 방법을 제안한다. ISO MPEG에서는 DASH (Dynamic Adaptive Streaming over HTTP) 기술을 표준화 하고 있는데, H.264/AVC 비디오에 대한 임의 접근 기능을 지원하는 구문론 (syntax)과 의미론 (semantics)은 현재 표준의 범위에 포함되어 있는 상황이지만 SVC 비디오에 대한 임의 접근 기능에 대한 기술은 포함되어 있지 않다. 본 연구에서는 SVC의 계층적 구조(layered structure)를 고려한 스케일러블 (scalable) 임의 접근 기능을 지원하기 위한 구문론 (syntax)과 의미론 (semantics)에 대해 제안한다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.4 no.3
• /
• pp.134-138
• /
• 2003

The purpose of this study is to analyse the argument alternations in terms of semantic perspective. Argument alternation has long been an interesting topic for the linguists regardless of their linguistic schools. Semantic analysis of argument alternation is attempted by Dowty(2001) based on the Levin(1993)'s classification. The study is focused on the phenomenon where meaning changes with argument alternations even though those sentences look the same syntactically and lineally. 1 tried not only to classify verbs according to the meaning changes but to explain the alternations in semantic point of view. The verbs are divided into 4 types- Touch type, Hit type, Cut type, and Break type. Each type of verbs are tested if they show special characteristics with three alternations-Middle alternation, Body-part possessor Ascension, and Conative Alternation. And semantic analysis is tried based on that classification.

• Proceedings of the Safety Management and Science Conference
• /
• 2005.11a
• /
• pp.319-323
• /
• 2005

최근 들어 제조가 발생되는 모든 분야에서 정보의 의미론적 전달방법 및 체계를 정형화하는 작업이 표준화와 더불어 활발히 진행되고 있다. 제조시스템에서 문제가 발생하였을 때 간결하고 정확한 문제 진단에 대한 정보전달은 비용의 절감은 물론 생산성 향상을 위해서도 필수적인 요소이다. 본 연구에서는 제조시스템에서 최적화된 정보전달을 위한 상황이론적 방법론을 제시한다. 본 연구에서 제시하는 방법론의 궁극적인 목적은 실제 제조공정이나 현장에서 발생되는 복잡한 정보의 흐름, 표현, 관리를 효율적으로 할 수 있고 작업자, 관리자, 경영자 모두가 공통적으로 활용할 수 있는 정형화된 틀을 만드는데 있다. 본 연구에서 제시하는 방법론은 제조 현장에서 공정상의 문제점을 분석하고 검사할 수 있는 도구로 활용될 수 있을 것이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.474-476
• /
• 2012

본 논문에서는 드라마 동영상의 의미 분절화(Semantic segmentation)를 위한 멀티 채널 기반 비모수적 베이지만 방법론을 소개한다. 기존 방법론은 매우 한정적인 특징만을 이용하여 분절화를 시도하거나 이미지 채널이나 오디오 채널과 같은 단일 채널에서만 유효한 방법론을 이용하여 데이터 분석을 시도하였기에, TV 드라마와 같이 예측할 수 없는 변화를 보여주는 스트림 데이터에 적용하기에는 어려움이 많았다. 이와 같은 단점을 극복하기 위해 우리는 주어진 동영상을 단일 모달리티의 채널로 분할한 후 각 채널 별로 분절화를 시도하고 각 채널의 분절 결과를 동적으로 결합하여 주어진 동영상에서의 의미 분절화를 근사하는 방법을 개발하였다. 제안 방법은 실제 TV 동영상의 의미 분절화에 적용되었으며 인간 평가자에 의한 의미 변화 구간과의 비교를 통해 그 성능을 확인하였다.