• Language and Information
• /
• v.5 no.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.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.17 no.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.

• Journal of Korean Institute of Industrial Engineers
• /
• v.29 no.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.

• Journal of Intelligence and Information Systems
• /
• v.10 no.3
• /
• pp.91-103
• /
• 2004

Multi-agent systems for semantic web applications require efficient implementation of agent architectures without sacrificing the flexibility and the level of abstraction that agent architectures provide. In this paper, we present an agent system, called VivAce, which is implemented in Java to achieve both high efficiency and the level of abstraction provided by the BDI agent architecture. VivAce (Vivid Agent Computing Environment) has the characteristics of a vivid agent through the BDI agent model. A vivid agent is a software-controlled system whose state comprises the mental components of knowledge, perceptions, tasks, and intentions, and whose behavior is represented by means of action and reaction rules. We first identify the requirements for multi-agent systems and then present the relevant features of VivAce and experimental results.

• Korean Journal of Computational Design and Engineering
• /
• v.1 no.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.

• Proceedings of the IEEK Conference
• /
• 2006.06a
• /
• 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학회:학술대회논문집
• /
• 2006.02a
• /
• 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
• /
• v.11 no.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.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.9
• /
• pp.2846-2856
• /
• 2000

Recently, according to the rapid development of web technology, a lot of applications based on web techniques have been developed. However, most of web applications have been developed relying on knowledge and experiences of the developer without systematic process. Web Applications are seldom developed in isolation. For web application designers, the simple and semantically rich methodology is needed to improve design and development process. In this paper, we propose a new development process methodology to improve low level technology based application development process which do not provide high level abstraction. We also suggest a new methodology to construct applications based on web. We describe a systematic web application development process by using Navigation Diagram as a analysis, design modeling method to develop web application with productivity and Quality. We apply the new development process to the EPBS(Electronic Problem Bank System) as examples. Web application development process proposed in this thesis can be maintained through reverse development, because it can be defined as high level abstraction for modeling. It is very easy to be understood as a process based on models. Also, analysis and design models can be reused as useful component whenever similar web application is developed.

• The Journal of Korean Association of Computer Education
• /
• v.19 no.6
• /
• pp.69-80
• /
• 2016

As a 21C core skill, computational thinking has been focused recently, and computer programming education is popular in primary and secondary schools. This paper aims to analyze the computer programming learning results based on gender difference and verify the reasons causing the difference. In this research, we focused on students' abstract thinking level as a variable and used C programming language and the RUR-PLE. Also, in this research, we focused on the concept of abstraction, one of the main component of computational thinking. And then, we analyze 587 high school students' abstract thinking level and survey them in order to find a new method for enhancing programming skill. In addition, we analyzed the causes for the difference in how the abstract thinking level applies when the students understand various structures of computer programs. From the results, we can propose a computer programming education method that enhances students' merits and compensates their drawbacks in the near future.