http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 권기현(Kwon, Kihyun) (검색결과 341 건)
- 무료
- 기관 내 무료
- 유료
-
권기현,이태훈,Kwon, Gi-Hwon,Lee, Tae-Hoon 한국정보처리학회 2003 정보처리학회논문지D Vol.10 No.5
모델 검사는 모델이 속성을 만족하는지를 판정하기 위해서 모델의 상태 공간을 철저하게 조사한다. NuSMV는 모델 검사를 자동으로 수행하는 도구로서 본 논문에서는 이와 같은 NuSMV를 이용하여 푸쉬 푸쉬 게임을 해결한다. 모델이 속성을 만족하지 않는 경우 NuSMV는 그 이유를 설명하는 반례를 생성하게 되는데 NuSMV에 구현되어 있는 반례 생성 방식은 상태 공간을 2번 탐색하기 때문에 게임 풀이에 비효율적이다. 본 논문에서는 반례 생성시 상태 공간을 한 번만 탐색하도록 NuSMV를 재 구현 하였다. 그 결과 게임 풀이에 있어서 원래 NuSMV 보다 약 62%의 시간 절감과 11%의 공간 절감이 있었다. This paper solves Push-Push game with the model checker NuSMY which exhaustively explores all search space to determine whether a model satisfies a property. In case a model doesn't satisfy properties to be checked, NuSMV generates a counterexample which tells where this unsatisfaction occurs. However, the algorithm for generating counterexample in NuSMV traverses a search space twice so that it is inefficient for solving the game we consider here. To save the time to be required to complete the game, we revise the part of counterexample generation so that it traverses a search space once. As a result, we obtain 62% time improvement and 11% space improvement in solving the game with modified NuSMV.
-
권기현,Kwon, Ki-Hyun 한국식품연구원 2012 食品技術 Vol.25 No.1
한국 식품화의 위상은 구이류 및 전골류 조리시 발생하는 냄새, 연기, 기름 튐 등의 문제로 인해 낮게 평가 되고 있는 실정이다. 현재 사용하고 있는 불판 및 가열원료가 다양하여 맛의 균일화가 어렵고 사용 후 세척처리가 번거로운데다 환경오염까지 발생시킨다. 구이 및 전골에 소비되는 에너지가 잔량을 모두 섭취할 동안 연속적으로 공급하므로 에너지 소비 및 내부 공기조건이 열악한데 반해 연기 및 냄새와 관련된 제품의 개발과 생산에 참여하는 업체는 증가하고 있다. 하지만 기술력 및 자본력이 미미한 수준에 있어 많은 기술적 측면의 보완이 요구된다. 또 소스, 양념, 부재료 등의 가공처리를 외국인의 식문화에 적합하도록 맛, 향, 관능의 관점에서 규격화 및 현지화도 요구되며, 공급되는 원재료의 고기종류, 규격, 등급 등의 조건들이 국내 관능뿐만 아니라 외국인의 관능적인 관점에서 표준화가 시급하다. 주한 외국인을 대상으로 한 설문에서 59%가 한국음식의 세계화가 가능하고 89.9%가 한식메뉴를 소개할 의사가 있는 것으로 조사되었다. 이는 외국인 소비자의 인지도에서 불고기와 갈비 등의 구이류가 다른 한식보다 선호도가 증가하는 것이기 때문인 것으로 분석된다. 2009년 농림수산식품부가 '한식 세계화 프로젝트'를 선포하여 1만여 곳의 해외식당을 2017년까지 4만 곳으로 증가할 예정이다. 따라서 한식문화의 표준화를 위한 용어 재료 기구 단위 등의 표준화 기반개발을 바탕으로 조리 및 식문화의 표준화가 요구되고 있다. 우리나라는 구이전문점들이 일반주거 및 아파트 단지에 위치하고 있어 연기와 냄새에 대한 민원 및 분쟁이 발생되고 있다. 이에 집진, 제연 설비의 설치비용이 많이 소요되고 있으며 대부분의 구이설비가 수입제품으로 규모가 매우 크다. 일본의 경우 2002년도부터 음식점에서 발생하는 연기에 관한 규제를 법제화하였다. 위의 기술적, 경제 산업적, 사회 문화적 측면의 필요성을 바탕으로 본 연구는 연기 음식 냄새 저감 성능이 뛰어난 친환경 저에너지의 가열조리 기구 개발 및 국내외 현장적용 산업화 모델 구축을 통해 한식당 시설 개선 및 고급화를 유도하고 세계시장에서의 한식문화 경쟁력을 확보코자 한식문화 경쟁력 확보와 경제, 문화, 산업적 성공 비즈니스 모델을 제시하였다.
-
차세대 멀티미디어 통신을 위한 후각정보 측정데이터의 독립성분분석
권기현,최형진,황성호,주상렬,Kwon, Ki-Hyeon,Choi, Hyung-Jin,Hwang, Sung-Ho,Joo, Sang-Yeol 한국정보통신학회 2009 한국정보통신학회논문지 Vol.13 No.8
후각 정보의 실감성을 높일 수 있는 멀티미디어 통신 시스템에서 후각정보 전달을 위한 오더(odor) 센싱 시스템 및 관련 신호 처리 기술 개발은 차세대 멀티미디어 산업을 위한 핵심 과제로 떠오르고 있다. 오더 센싱 시스템의 성능 측정에 전통적으로 많이 사용된 방법은 주성분분석(PCA)이다. PCA는 분산에 기반한 도구로서 많은 경우 잘 동작한다. 그러나 오더 센싱 측정 데이터에 대해서는 의미 있는 값을 표시하는 것에 한계가 있다. 이 논문은 독립성분분석(ICA)을 사용하여 오더 센싱 데이터를 분석하는 방법을 설명한다. PCA와 ICA의 차이를 실질적인 측정데이터를 사용하여 비교하도록 한다. 실험을 통해 ICA가 개선된 변별력으로 센서의 경향 분석, 차원축소, 보다 적합한 데이터 표현 등에 있어 PCA보다 나은 결과를 도출함을 보인다. Odor sensing system that is electronic nose device and its signal processing technique has potential to become a critical service for the people who require tangibility of sense of smell in the multimedia communication. PCA(Principal Component Analysis) have been used for dimensionality reduction and visualization of multivariate measurement data. PCA is good for estimating importance value by variance of data but, have some limitation for getting meaningful representation from odor sensing system. This paper explain about how to analyze the data of odor sensing system by ICA(Independent Component Analysis). We show that ICA can give better result like sensor drift analysis, dimensionality reduction and data representation by improved discrimination.
-
-
-
Implementation of Non-SQL Data Server Framework Applying Web Tier Object Modeling
권기현,천상호,최형진,Kwon Ki-Hyeon,Cheon Sang-Ho,Choi Hyung-Jin The Korean Institute of Communications and Informa 2006 韓國通信學會論文誌 Vol.31 No.4B
엔터프라이즈 애플리케이션 개발을 위한 분산 아키텍처를 개발할 때는 여러 고려 사항 중에서 계층(tier)의 응집력(cohesion)을 높이고 계층간 연결 결합력(coupling)을 낮추기 위해 페이지 작성자와 소프트웨어 개발자의 역할을 명확히 분리하는 것과 비즈니스 로직의 단위가 되는 엔터티(entity)를 정의하고 데이터베이스 연결과 트랜잭션 처리에 엔터티의 사용 및 역할에 대해 정의하는 것이 우선적으로 필요하다. 이 논문에서는 DONSL(Data Server of Non SQL query) 아키텍처를 제시하여 이러한 문제점을 해결하고자 한다. 이 아키텍처는 웹 티어 오브젝트 모델링 방법을 사용하며 계층(tier)간의 결합도를 낮추고, 데이터베이스 연결에 반드시 사용되는 DAO(Data Access Object)와 엔터티를 효과적으로 분리하여 이러한 문제점을 해결 한다. 핵심 내용으로 DAO에서 엔터티 객체를 제거하는 방안을 통해 DAO 개발을 용이하게 하는 방법과 SQL 질의 자동 생성을 통해 트랜잭션 처리 자동화 방법, 그리고 트랜잭션 처리시 AET(Automated Executed Transaction)와 MET(Manual Executed Transaction)를 효율적으로 운용하는 방법에 대해 제시하고 시스템을 구현하였다. Various aspects should be taken into account while developing a distributed architecture based on a multi-tier model or an enterprise architecture. Among those, the separation of role between page designer and page developer, defining entity which is used for database connection and transaction processing are very much important. In this paper, we presented DONSL(Data Server of Non SQL query) architecture to solve these problems applying web tier object modelling. This architecture solves the above problems by simplifying tiers coupling and removing DAO(Data Access Object) and entity from programming logic. We concentrate upon these three parts. One is about how to develop the DAO not concerning the entity modification, another is automatic transaction processing technique including SQL generation and the other is how to use the AET/MET(Automated/Manual Execute d Transaction) effectively.
-
권기현 ( Gi Hwon Kwon ) 한국정보처리학회 2004 정보처리학회논문지D Vol.11 No.6
Although model checking has gained its popularity as one of the most effective approaches to the formal verification, it has to deal with the state explosion problem to be widely used in industry. In order to mitigate the problem, this paper proposes an abstraction technique to obtain a reduced model M' from a given original model M. Our technique identifies the set of necessary variables for model checking and projects the state space onto them. The abstract model M' is smaller in both size and behavior than the original model M, written M'≤M. Since the result of reachability analysis with M' is preserved in M, we can do reachability analysis with model checking using M' instead of M. The abstraction technique is applied to Push Push games, and two model checkers-Cadence SMV and NuSMV-are used to solve the games. As a result, most of unsolved games with the usual model checking are solved with the abstraction technique. In addition, abstraction shows that there is much of time and space improvement. With Cadence SMV, there is 87% time improvement and 79% space one. And there is 83% time improvement and 56% space one with NuSMV.
-
-
-
ScienceON
KISS연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
