• Journal of the Ergonomics Society of Korea
• /
• v.12 no.1
• /
• pp.75-86
• /
• 1993

Hypermedia systems allow the retrieval and representation of multimedia in- formation such as text, graphics, image and voice/sound using navigation and browsing mechanisms. In this study we developed a hypermedia system which provides hierarchical group, local map and cluster view for effective navigation in hyperspace. The system also supports hot link, reference link, move-to link and multiple link to browse the multimedia information space effectively. This system has been designed to integrate the navigation, browsing and searching function of the hypermedia system in hyman factor perspective and provides the user-friendly user interface mechanism.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1996.04a
• /
• pp.709-712
• /
• 1996

Generating a project network of a specific construction project is very time consuming and difficult task in the field. To effectiviely automate and support the planning process, we design a case-based project planning expert system inspired by the fact a human expert project planner uses previous cases for planning a new project. A construction project case consist of its specific characteristics and the corresponding project network (i.e. project plan). Using frame based representation. we represent the project features affecting the progress network and the entities composing the project plan such as the buildings, construction methods, WBS (work breakdown structure), activities, and resources. The project planning process runs through most similar case retrieval, case adaptation, and user requirement satisfaction. We represent the construction domain knowledge for each procedure using constraints and rules. We develop the methodology for constraint-based case adaption. Case adaptation process mainly consist of activity generation/deletion and predecence constraint satisfaction, for which we develop the dynamic constraint generation method and connect user-level requirement representation the system-level network modification knowledge. The methodology is being applied to the prototype for apartment construction project planning.

• 제어로봇시스템학회:학술대회논문집
• /
• 1988.10a
• /
• pp.501-506
• /
• 1988

This paper describes an experimental system for automatic robot programming, The SNU-ARPS (Seoul National University Automatic Robot Programming System). The SNU-ARPS generates executable robot programs for pick and place operation and some simple mechanical assembly tasks by menudriven dialog. It is intended to enable the user to concentrate on the overall operation sequence instead of the knowledge regarding the details of robot languages. To convert task specifications into manipulator motions, the SNU-ARPS uses an internal representation of the world. This representation initially consists of geometric database from CAD system and is updated at each operation step to reflect the state changes of the world.

• Computational Structural Engineering
• /
• v.9 no.3
• /
• pp.97-105
• /
• 1996

An integrated environment for optimum design has been developed using Motif. The integrated environment is composed of the preprocessor, the postprocessor and the optimization part. The preprocessor is part of making a finite element model for optimum structural design and the postprocessor displays results of optimum design and the optimization part is the part which execute optimization. It is designed to reduce user's difficulties in structural optimum design. It used Graphic User Interface for the concurrent representation of various inputs and outputs through the dialog box, mouse and keyboard. Structural optimum design can be done easily through dialog box, menu, concurrent representation of modeling process and results of structural optimum design can be understood easily through stress contour, deformed model and graph of cost function.

• Journal of Korean Library and Information Science Society
• /
• v.16
• /
• pp.129-157
• /
• 1989

Through this study, some considerations to be taken into account in order to construct the user model for the user friendly system which can provide each individuals user armed with varied intellectual level with the relevant information, can be summarized as follows : (1) The user' ability to use the system and users' subject knowledge, the distribution of the users' level knowledge should be considered for the decision of the typed of interaction between the users and the system. (2) the knowledge of the user models should include the following kinds of knowledge inharmony with one another, 1. Standard user knowledge which represents a general characteristic of user group, 2. individual user knowledge which represents an individual's unique characteristic, 3. Long-term user knowledge which represents the education level and subject background of users, 4. short-term user knowledge which represents the purpose of information science and information need by users (3) As knowledge generation technique, both the implicit method and explicit method should be a n.0, pplied, observation of the system during the interaction, and explicit method generates the knowledge by the user's answering the questions already made by the system. (4) The frame technique as the knowledge representation for the user-modelling in which user-knowledge is represented in a limited situation and in a qualitative aspects, can be recommended. The frame is adequated for the explanation of structured situation, and for the processing the present situation by inferring the previous experiences.

• Journal of Information Processing Systems
• /
• v.13 no.1
• /
• pp.57-67
• /
• 2017

In this paper, Atanassov's intuitionistic fuzzy set theory is used to handle the uncertainty of students' knowledgeon domain concepts in an E-learning system. Their knowledge on these domain concepts has been collected from tests that were conducted during their learning phase. Atanassov's intuitionistic fuzzy user model is proposed to deal with vagueness in the user's knowledge description in domain concepts. The user model uses Atanassov's intuitionistic fuzzy sets for knowledge representation and linguistic rules for updating the user model. The scores obtained by each student were collected in this model and the decision about the students' knowledge acquisition for each concept whether completely learned, completely known, partially known or completely unknown were placed into the information table. Finally, it has been found that the proposed scheme is more appropriate than the fuzzy scheme.

• Management Science and Financial Engineering
• /
• v.5 no.1
• /
• pp.27-49
• /
• 1999

WebME is an Web-based integrated modeling environment that implements a multi-facetted modeling approach to mathematical model representation and management. Key features of WebME include the following: (i) sharing of modeling knowledge on the Web, (ii) a user-friendly interface for creating, maintaining, and solving models, (iii) independent management of mathematical models from conceptual models, (iv) object-oriented conceptual blackboard concept, (v) multi-facetted mathematical modeling modeling, and (vi) declarative representation of mathematical knowledge. This paper presents details of design and implementation issues that were encountered in the development of WebME.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.7 no.2
• /
• pp.29-37
• /
• 2011

Java bytecode verification is a critical process to guarantee the safety of transmitted Java applet on the web or contemporary embedded devices. We propose a design of framework which enables to analyze and verify java bytecode. The designed framework translates from a java bytecode into the intermediate representation which can specify a properties of program without using an operand stack. Using the framework is able to produce automatically error specifications that could be occurred in a program and express specifications annotated in intermediate representation by a user. Furthermore we design a verification condition generator which converts from an intermediate representation to a verification condition, a verification engine which verifies verification conditions from verification condition generator, and a result reporter which displays results of verification.

• Proceedings of the Korea Society of Design Studies Conference
• /
• 1999.05a
• /
• pp.12-13
• /
• 1999

일관성을 평가하기 위한 모형들이 맡은 인터페이스 모델링 연구자들에 의해서 개발되어 왔다. Reisner (1981)의 GRAL(Grammatical Representation of Action language) 모형으로부터 시작된 일관성 평가 모형 개발은 TAG(Task Action Grammar; Payne and Green, 1986), APT(Agent Partitioning Theory: Reisner, 1993), PROCOPE(Poitrenaud, 1995) 모형으로 발전되었다.(중략)

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.13 no.1
• /
• pp.254-276
• /
• 2019

Since the amount of information on the internet is growing rapidly, it is not easy for a user to find relevant information for his/her query. To tackle this issue, the researchers are paying much attention to Document Summarization. The key point in any successful document summarizer is a good document representation. The traditional approaches based on word overlapping mostly fail to produce that kind of representation. Word embedding has shown good performance allowing words to match on a semantic level. Naively concatenating word embeddings makes common words dominant which in turn diminish the representation quality. In this paper, we employ word embeddings to improve the weighting schemes for calculating the Latent Semantic Analysis input matrix. Two embedding-based weighting schemes are proposed and then combined to calculate the values of this matrix. They are modified versions of the augment weight and the entropy frequency that combine the strength of traditional weighting schemes and word embedding. The proposed approach is evaluated on three English datasets, DUC 2002, DUC 2004 and Multilingual 2015 Single-document Summarization. Experimental results on the three datasets show that the proposed model achieved competitive performance compared to the state-of-the-art leading to a conclusion that it provides a better document representation and a better document summary as a result.