• Proceedings of the Optical Society of Korea Conference
• /
• 2006.07a
• /
• pp.209-210
• /
• 2006

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.20 no.8
• /
• pp.122-132
• /
• 2019

This study investigated the effects of preference reversal according to product characteristics and situation. To investigate the relationship between consumer preference reversal and selection change, three research problems were set up and multiple logistic regression analysis was performed considering categorical dependent variables. The results showed that the decrease in preference for the medical service products and general manufacturing products had a significant effect on selection change and selection delay. In addition, we found that selection change according to the importance of attributes in the medical service product was more sensitive than the general product, while selection change according to the preference reversal was higher in general products. This study examined the causal relationship between choices by illuminating the preference concept as the central value of consumers from a different viewpoint than the existing preference and preference inversion research. In addition, the results of this study suggest that it can include not only selective change according to preference reversal, but also alternatives such as selective delay.

• Journal of the Korea Society of Computer and Information
• /
• v.26 no.12
• /
• pp.323-330
• /
• 2021

In this paper, a study was conducted to understand how students' attitudes and tendencies toward reading affect the newly emerging coding education. Relevant data were collected by dividing it into three areas (reading, coding, and leisure). In the reading area, data on preference books, preferred types of reading and etc were collected. In the coding area, prior learning of coding, main tasks using a computer, time used for learning and etc were collected. In the leisure area, main leisure activities and hours of spent leisure time per one week were collected. Using the collected data, we classified and analyzed the data based on the preferred reading method to identify the problems of non-major students who have difficulties in coding education. In coding education, the excerpts reading student group showed the best achievement (average 60.1), and the extensive reading group showed the lowest achievement (average 48.4). The students who read extensively spent more time in coding study than the group of students who preferred other reading methods, but showed the lowest achievement.

• Journal of Korea Multimedia Society
• /
• v.3 no.1
• /
• pp.77-90
• /
• 2000

Real-Time verification is a procedure that verifies the correctness of specification related to requirement in time as well as in logic. One serious problem encountered in the verification task is that the state space grows exponentially owing to the unboundedness of time, which is termed the state space explosion problem. In this paper, we propose a real-time verification technique checking the correctness of specification by showing that a system model described in timed automata is equivalent to the characteristic of system property specified in timed modal-mu calculus. For this, we propose a local model checking method based on the value of the formula in initial state with constructing product graph concerned to only the nodes needed for verification process. Since this method does not search for every state of system model, the state space is reduced drastically so that the proposed method can be applied effectively to real-time system verification.

• Korean Journal of Logic
• /
• v.15 no.1
• /
• pp.17-53
• /
• 2012

Some Korean Philosophers has manifested their opinions on Sleeping Beauty problem. For example, Hasuk Song and Namjoong Kim stands for an thirder, while Hanseung Kim for a perspectivistic compatibilist. In order to fill a vacant position, I shall make an argument for halfers in this paper. My presumption is that the probability the question now given to sleeping beauty is the first question among several is greater than thirder's calculated value. Futhermore, I argue that the probability the coin landed heads on condition that the question now given to sleeping beauty is the first question is greater than 1/2.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10b
• /
• pp.408-411
• /
• 2006

유비쿼터스 컴퓨팅 환경에서 서비스를 제공함에 있어 지능적인 수행 능력은 사용자의 만족도를 높여주는 핵심 요소이다. 시스템의 지능을 부여하기 위해서는 지식을 관리, 처리, 활용하는 기능이 필요한데, 이들 기능은 그 지식이 어떻게 표현되어 있는지에 큰 영향을 받는다. 일차 술어 논리 기반 지식 표현 방법은 폭넓은 표현 범위와 유연한 지식 정의, 추론 방법으로 선호되고 있지만, 복잡한 계산 비용을 갖고 있기 때문에, 전문적인 지식 처리 시스템이 아닌 경우, 불필요한 계산 비용이 소요된다. Description Logic은 Frame기반 지식 표현 방식으로 일차 술어 논리를 사용하는 것보다 지식을 표현할 수 있는 범위는 제한적이지만, 빠른 추론 결과를 보장해 준다. 유비쿼터스 컴퓨팅 환경에서는 분산된 다양한 오브젝트들이 협력과정을 통해 사용자에게 지능적인 서비스를 제공하게 되고, 이들 개별적인 오브젝트들은 저사양의 계산능력을 갖고 있다고 가정된다. 그러므로, 저사양의 컴퓨팅 오브젝트들을 조합하여 지능적인 서비스를 성공적으로 제공하기 위해서, 각각의 오브젝트들은 제한된 지식을 효과적으로 관리할 수 있는 방법이 필요하다. 이를 위해 본 논문에서는 Frame 기반의 Description Logic을 기반으로 SUNHI의 표현 범위를 가진 인식론적 온톨로지 표현 언어를 제안하고, SUNHI의 표현 범위의 효율성을 증명하고자 한다.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.7 no.8
• /
• pp.233-247
• /
• 1999

Traffic accidents are normally caused by late or faulty judgements due to the driver's inaccurate estimation of the distance, velocity, and acceleration from the surrounding vehicles as well as his carelessness or inattention. Thus, the development of collision avoidance systems is motivated by their great potential for increased vehicle safety. A typical collision avoidance system consists of the forward-looking sensor, the criteria for activation of collision warming and avoidance, the collision avoidance maneuvers, and the user interface. This thesis is concerned with the development of a collision warning algorithm in which the driver is warned of approaching collision with the visual and/or the audible signals . The warning algorithm based on fuzzy logic is presented here based on new warning criteria. It has been newly derived from the conventional warning equation by adding a new input variable of the required deceleration to avoid collision. The algorithm is also able to adapt to the individual driver's taste along with the different road conditions by externally controlling the warning intensity. Finally , the proposed algorithm has been validated using computer simulation.

• Journal of Korean Library and Information Science Society
• /
• v.49 no.2
• /
• pp.221-244
• /
• 2018

This study intends to implement an OPAC prototype based on FRBR(Functional Requirements for Bibliographic Records) model, which are reflected the users' information needs and search behavior. To the end, this study applies prototyping techniques that design, evaluate and improve an early sample model. Included in this study are as follows: (1) design a conceptual model of new OPACs based on the users' information needs about FRBR-based search services, (2) implement a FRBR-based prototype with WordPress 4.2 version, (3) evaluate the FRBR-based prototype from the viewpoint of users and experts(catalogers and professors). 50 college students and 6 experts participate in the final evaluation process.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• v.9 no.1
• /
• pp.820-823
• /
• 2005

개인의 경험을 통해 얻어지는 외부의 물리적 자극에 대한 복합적인 감성을 분석하여 공학적으로 처리함으로서 인간의 보다 편리하고 안락한 생활을 영위하도록 하는 연구가 진행되고 있다. 색채는 아동의 감성과 성격을 이해할 수 있는 중요한 요소이다. 또한 아동은 자신의 심리 상태나 갈등을 그리기나 낙서 등의 작업을 통해서 아동의 감성을 무의식적으로 표출하는 경우가 많다. 따라서 아동이 선호하는 색채를 통해 아동의 감성상태를 파악할 수 있다. 본 논문에서는 인간의 오감 즉, 시각, 청각, 후각, 미각, 촉각 중에서 시각(색채)에 따른 감성 상태를 파악하기 위하여 아동이 그린 그림의 색채를 분석한다. 그리고 퍼지 논리와 퍼지 추론 규칙을 적용하여 감성 상태를 파악하는 방법을 제안한다. 제안된 감성 처리 방법을 알슈울러와 해트윅(Alschuler and Hattwick)과 박재명의 색채에 따른 감성 상태에 적용한 결과, 제안된 감성 처리 방법이 효율적인 것을 확인하였다.

• Korean Journal of Optics and Photonics
• /
• v.13 no.5
• /
• pp.421-424
• /
• 2002

By using SOA (Semiconductor Optical Amplifier) based devices, an all-optical half adder has been successfully demonstrated at 10 Gb/s. All-optical XOR and AND gates are utilized to realize SUM and CARRY. Since SUM and CARRY have been simultaneously realized to form the all-optical half adder, complex calculation and signal processing can be achieved.