• 한국언어정보학회지:언어와정보
• /
• 제5권1호
• /
• pp.17-34
• /
• 2001

Kamp & Reyle's (1993) proposal to represent split antecedents to a plural pronoun in terms of sum- mation and abstraction is critically reviewed in this paper, In point our some weak- nesses of their analysis as well as wrong predictions they make. In propose to treat the partitive reading found in bare numeral constructions by separating the conven-tional DRS construction rules from the cognitively motivated DRS-operations at a different level. A preference rule is also proposed that would constrain the sortal structure of discourse referents when such operations as summation and abstraction are enforced at the DRS's of relevant levels. Evidence for the separate treatment of linguistically motivated processes apart from cognitively motivated ones comes from both English and Korean constructions involving definite plural pronouns and numeral classifiers.

• 한국지능시스템학회논문지
• /
• 제17권3호
• /
• pp.390-396
• /
• 2007

Fuzzy-CBR Collision Avoidance Support System is a system that finds a solution from past knowledge retrieved from the database and adapted to a new situation. Its algorithm has resulted to an adapting a solution for a new situation. However, ontology is needed in identifying concepts, relations and instances that are involved in a situation in order to improve and facilitate the efficient retrieval of similar cases from the CBR database. This paper proposes the way to apply ontology for identifying the concepts involved in a new environment and use them as inputs, for a ship collision avoidance support system., Similarity will be obtained through document articulation and using abstraction levels. A conceptual model of a maneuvering situation will be built using these ontologies.

• 대한산업공학회지
• /
• 제29권3호
• /
• pp.230-238
• /
• 2003

The configuration design of a mechanical product can be efficiently performed when it is based on the functional modeling. There are methodologies, which decompose function from the abstract level to the concrete level and match the functions to physical parts. But it is difficult to carry out an innovative design when the function is matched only to a pre-detined part. This paper describes the configuration design process of a mechanical product with a design expert system, which uses function taxonomy and TRIZ theory. The expert system can propose a functional modeling of a new part. which is not in the existing parts list. The abstraction levels of design knowledge are introduced, which describe the operation of mechanical product in the levels of abstraction. This is the theoretical background of using knowledge of function and TRIZ for configuration design. The expert system is adequate to control this design knowledge. which expresses knowledge of functional modeling, mapping rules between functions and parts, selection of parts, and TRIZ theory. The hierarchy of functions and machine parts are properly expressed by classes and objects in the expert system. A design expert system has been implemented for the configuration design of a train bogie, and a new brake system of the bogie is introduced with the aid of TRIZ's 30 function groups.

• 지능정보연구
• /
• 제10권3호
• /
• pp.91-103
• /
• 2004

다중 에이전트 시스템을 바탕으로 구축되는 시맨틱 웹 응용 프로그램은 에이전트 시스템이 제공하는 적절한 수준의 추상화에서 비롯되는 융통성을 유지하면서도 개발 및 운용의 효율성이 요구된다. 본 연구에서는 에이전트 수준의 추상화를 BDI 에이전트 구조를 기반으로 제공하면서 Java 기반 시스템의 효율성을 갖춘 새로운 에이전트 응용 프레임웍인 VivAce(Vivid Agent Computing Environment)를 소개하고 그 효율성을 대규모 에이전트 기반 시뮬레이션을 통하여 보인다. Vivid 에이전트는 소프트웨어에 의해 제어되는 시스템으로서 지식(knowledge), 지각(perception), 임무(task), 의도(intention)를 중심으로 상태(state)를 표현하며 활동(action)과 반응규칙(reaction rule)으로 행위(behavior)를 나타낸다. 본 논문에서는 먼저 에이전트 응용 프레임웍에 필요한 요소를 제시하고 이에 관련된 VivAce의 기능과 특징 및 이를 이용한 실험 결과를 제시한다.

• 한국CDE학회논문집
• /
• 제1권2호
• /
• pp.122-132
• /
• 1996

Features are generic shapes with which engineers associate certain attributes and knowledge useful in reasoning about the product. Feature-based modeling systems support additional levels of information beyond those available in geometric modelers. The objective of this study is to develop a PC level feature-based modeling system which explicitly represents dimensions of the part. The feature-based modeler retains all the benefits of traditional B-rep. solid models, and represents the dimensions at a high level of a abstraction so that dimension driven geometry can be achieved.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2006년도 하계종합학술대회
• /
• pp.965-966
• /
• 2006

As billion transistors system-on-chip (SoC) design becomes a reality, the productivity gap between rapidly increasing design complexity and designer productivity lagging behind is becoming a more serious problem to be solved. To reduce the gap, we present a system that generates executable transaction level models automatically. It speed up the SoC design space exploration process at various abstraction levels.

• 한국HCI학회:학술대회논문집
• /
• 한국HCI학회 2006년도 학술대회 1부
• /
• pp.960-965
• /
• 2006

Privacy and security are latent problems in pervasive healthcare system. For the sake of protecting health monitoring information, it is necessary to classify and categorize the various contexts in terms of obfuscation. In this paper, we propose the physiological context categorization and specification methodology by exploiting data fusion network for automatic context alignment. In addition, we introduce the methodologies for making various level of physiological context on the context aware application model, which is wear-UCAM. This physiological context has several layers of context according to the level of abstraction such as user-friendly level or parametric level. This mechanism facilitates a user to restrict access to his/her monitoring results based on the level of details in context.

• Journal of information and communication convergence engineering
• /
• 제11권3호
• /
• pp.167-172
• /
• 2013

Recently, mobile communication systems are suffering from exponentially increasing data traffic. As a promising solution to the increase in data traffic, a coordinated multi-point transmission and reception (CoMP) scheme has been proposed. Although a great deal of research has been done on this new technology, the performance of mobile communication systems with CoMP has not been evaluated properly in a typical indoor environment. To address this, we have developed a system-level simulator and evaluated the performance of mobile communication systems with CoMP. Unlike previous works, we have used an actual antenna pattern in our simulator and link-level results are properly taken into account through link-level abstraction. By using a system-level simulator, we have evaluated the performance of mobile communication systems with CoMP in an indoor environment and found that unlike an outdoor cellular environment, CoMP may not improve the performance of overall mobile communication systems in an indoor environment.

• 한국정보처리학회논문지
• /
• 제7권9호
• /
• pp.2846-2856
• /
• 2000

최근 웹 기술이 급속하게 발달함에 따라 웹 기반의 많은 에플리케이션이 개발되고 있다. 하지만 대부분의 웹 애플리케이션의 생성은 체계적인 프로세스 없이 개발자의 지식과 경험에 의존하여 개발되고 있다. 웹 기반의 응용시스템은 다양한 개발 기법이 요구되며 설계 및 개발 프로세스를 위해 풍부한 개발 방법론이 요구된다. 따라서, 본 논문에서는 추상화를 제공하지 않는 저수준 기술에 기반한 애플리케이션 개발을 개선하고 웹을 기반으로한 애플리케이션 구축을 위한 개발 프로세스를 제안한다. 또한, 웹 애플리케이션 개발 프로세스를 제시하며, 전자 문제은행 시스템(EPBS: Electronic Problem Bank System)에 이 프로세스를 적용하였다. 본 논문에서 제시한 웹 애플리케이션 개발 프로세스는 모델링을 위한 고수준의 추상화 정의를 가능하게 함으로써 역으로 개발을 통한 유지보수 정보획득으로 체계적 관리가 가능하며 모델 기반의 프로세스로써 이해하기 용이한 장점을 가진다. 또한, 분석과 설계 모델들은 이와 유사한 웹 애플리케이션 개발시 유용한 컴포넌트로써 재사용성을 기대할 수 있다.

• 컴퓨터교육학회논문지
• /
• 제19권6호
• /
• pp.69-80
• /
• 2016

21세기 핵심역량으로 컴퓨팅 사고력이 주목받으면서 컴퓨터 프로그래밍 교육이 초 중등학교에서 활발하게 이루어지고 있다. 본 연구는 학생들의 성별 차이에 따른 컴퓨터 프로그래밍 학습 결과를 분석하고 차이의 원인을 밝히는데 목적을 두었다. 또한 성별 차이와 더불어 학습결과의 차이를 가져오는 변수로서 학생들의 추상적 사고수준에 초점을 두었고 프로그래밍 언어로는 C언어와 러플(RUR-PLE)을 사용하였다. 컴퓨팅 사고력의 핵심 요소인 추상화(abstraction)의 개념에 초점을 두고 고등학생 587명의 추상적 사고수준을 조사한 후, 다양한 프로그램 구조를 이해하는데 있어서 남 여학생들이 추상적 사고수준이 어떤 영향을 미치는지 분석하였다. 이를 통해 향후 컴퓨터 프로그래밍 능력을 향상시키기 위하여 남녀학생들 장점은 향상시키면서 단점을 보완할 수 있는 컴퓨터 프로그래밍 교육방법을 제언하였다.