• 정보처리학회논문지D
• /
• 제11D권6호
• /
• pp.1295-1300
• /
• 2004

지금까지 제시된 정형 검증 기법들 중에서 모델 체킹이 가장 효과적이라는 평가를 받고 있지만, 모델 체킹이 실제 활용되기 위해서는 상태 폭발 문제를 극복해야 한다. 본 논문에서는 상태 폭발 문제를 방지하기 위해서, 원래 모델 M으로 부터 추상화 모델 M'을 얻는 방법을 제안하였다. 주어진 논리식의 모델 체킹에 필요한 변수만을 추출한 후. 모델의 상태 공간을 이들 변수들에 투영함으로서 추상화 모델 M'을 얻었다. M'은 M보다 크기가 작을 뿐만 아니라 더 적은 행위를 갖고 있기 때문에(M'$\leq$M), 추상화 모델 M'을 이용해서 수행한 도달성 분석 결과는 M 에서도 그대로 유효하다. 따라서 M을 모델 체킹할 때 상태 폭발이 발생하면, 축소된 모델 M'을 이용하여 모델 체킹할 수 있다. 제안된 추상화 기법을 푸쉬 푸쉬 게임 풀이에 적용했고, 모델 체커로는 Cadence SMV와 NuSMV를 사용하였다. 그 결과 상태 폭발 문제로 인해서 풀 수 없었던 게임을 추상화를 이용해서 해결하였다. 그리고 추상화를 적용하기 이전에 비해서 시간 절감 및 메모리 절감 효과가 있었다. Cadence SMV의 경우 평균 87%의 시간 절감 및 79%의 메모리 절감이 있었으며, NuSMV의 경우 83%의 시간 절감 및 56%의 메모리 절감이 있었다.

• 한국콘텐츠학회논문지
• /
• 제15권12호
• /
• pp.234-246
• /
• 2015

미디어가 주도하는 정보화시대의 도래로 문학은 문화의 중심적 지위를 영상 매체에 넘겨주게 되었고, 한국문학은 문학수요자의 이탈과 젊은 문학 수요자의 기반이 형성되지 못함에 따라 위기를 맞게 되었다. 1995년 지방자치제도 도입이래 급증하여 최소 110개에 달하는 문학제는 사회저변에 문학을 알리고 확산하는데 중요한 역할을 하였다. 이 논문은 문학제 가운데 이미 활발히 진행 중에 있는 만해축전을 선정하여 그 현황과 성과를 분석하고 개선방안을 도출하여 문학정책의 진흥에 도움이 되고자 한다. 만해축전은 시인이자 독립운동가인 만해 한용운을 기리는 문학축제로 강원도 인제라는 오지에서 개최됨에도 불구하고 만해대상 시상과 각종 문화예술 및 학술행사 등을 통해 국내 손꼽히는 문학제로 위상을 갖추고 있다. 이에 본 연구의 결과 향후 만해마을은 복합문화공간으로서, 흥이 있는 프로그램 개발을 통한 문학축제화 및 슬로시티와 문학 관광기행 특구 지정 등 정부의 정책적 지원이 더해지면서, 만해를 스타 브랜드화 하여 글로컬라이제이션을 추구할 경우 보다 발전적인 문학축제로 자리매김할 것으로 보인다. 이는 국내의 대부분의 문학제가 지역 문인 위주의 소규모 행사에서 머물고 있는 데 대해 시사점이 크다. 이제 문학제는 대중성을 확보한 가운데 지역축제의 장으로 승화시킬 필요가 있다. 한편, 국내 뿐 아니라 외국의 성공적인 문학진흥정책과 사례를 심도 있게 분석하는 등 연구의 외연을 넓혀 접근할 필요성이 있다.

• 정보처리학회논문지C
• /
• 제16C권1호
• /
• pp.65-72
• /
• 2009

모바일 장치의 증가와 무선 네트워크 기술의 발전으로 인해 새롭게 모바일 애드혹 네트워크에 대한 관심이 증가하고 있다. 최근까지의 연구는 데이터 접근성(Accessibility) 향상을 위해 데이터 복사본 활용이 효율적임을 증명하였다. 그러나, 데이터 복사본이 모바일 애드혹 네트워크에서 활용되기 위해서는 원본과 복사본 사이에 일관성(Consistency)이 확보되어야만 한다. 기존의 연구에서 사용되고 있는 일관성 확보 기법은 원본을 가진 노드에게 복사본 사용 노드들이 매번 일관성을 가지는지 확인하는 기법이 활용되었다. 그러나, 시간제약을 가지는 응용의 경우 원본을 가진 노드에게 확인하는 기법은 효율적이지 못하거나 때로는 심각한 문제를 일으킬 수도 있다. 본 논문에서는 시간제약응용을 위한 캐쉬 무효화 기법을 제안하고 있다. 제안하는 기법을 통해 기존의 일관성 확인 기법에서 일어나는 ‘롤백(Rollback)’ 문제를 해결할 수 있었으며, 접근시간(Access time) 측면에서 성능향상을 얻을 수 있었다. 또한 본 논문에서는 임계값 기반의 보완 기법을 제안한다. 우리는 실험 결과를 통해 제안하는 기법이 약간의 현재성(Currency) 손해는 있지만, 접근시간 측면에서 효율적임을 증명하여 준다.

• 한국한의학연구원논문집
• /
• 제17권3호
• /
• pp.1-8
• /
• 2011

In the late Joseon Dynasty, a bulky volume of books, which had rarely been seen, poured out including "Imwongyeongjeji", "Japdongsani", "Songnamjapsik" and "Ohjuyeonmunjaangjeonsango". such sorts of books have a characteristic that an author collected various pieces of information, which were scatter away at that time, in one's own way and compiled them into a book rather than an author's own remarks or ideas. Most authors of such books were known to have made not a few book beside bulky books. Such a trend of the times doubled its revitalization with the influx of that books in a series that were popular especially in the period of Ming State & Ching State in China. The research work on such a trend once showed not a little progress by a few faithful researchers even under the circumstances where they were overwhelmed by the bulkiness of a book in a series itself and its target volume. However, in spite of not a little fruition of such studies, there has been no comments at all on the new factors of change faced by Oriental medicine in the climate of the intellect history in the late Joseon Dynasty. Thus, this study aimed at looking at the significance of medical-history-based studies on this matter on the basis of Park, Jiwon's "Keumryosocho", and Lee, Deokmu's "Iemokgushimseo", and suggesting the further task. The conclusions obtained from the analysis of "Keumryosocho" and "Iemokgusimseo" are as follows: 1.The prescriptions cited from the sorts of writings excluded entirely the medical theories on the principles of prescription, and they are composed of a single-medicine prescription or so, which made it easier even for those who lacked a special knowledge of medicine to use it; in addition, it was easy to get medicinal ingredients in most cases. It's presumed that such a composition of medicinal ingredients had a close relation with the difficulty in the supply of medicinal ingredients, which issue became a serious issue in the late Joseon Dynasty. 2. The prescriptions originating from the sorts of writings sometimes are mixed with the ones whose medical efficiency are doubted. This means the inherence of obstacles to delivering accurate medical knowledge couldn't be avoided because the initial purpose of such sorts of writings lay in popularity than practicality. 3. In spite of such problems, the prescriptions originating from writings seems to have not a few influences on the intellectuals in the late Joseon Dynasty, and it's possible for us to take a glance on the traces of their use of these prescriptions in an actual daily life. This fact is fully confirmed by the contents in the preface of "Keumryosocho" that Park-jiwon personally tried to write a prescription. Moreover, such facts can be also confirmed from the fact that the writings of China or our country are seen quite often among the writings which were incited by Seo, Yugu's "Injeji." Like this, the fact that the information of orthodox medicine and the one originating from general books other than medicine books were integrated at one place is plainly showing a phase of the intellect history in the late Joseon Dynasty deluged with information; because of such a characteristic, we can say that Oriental medicine became plentiful in the aspect of diversity with its expansion of denotation, but Oriental medicine could not but additionally assume the problem of having to distinguish good from bad in the midst of such a situation.

• Ecology and Resilient Infrastructure
• /
• 제7권4호
• /
• pp.388-395
• /
• 2020

외래생물은 경제 목적으로 수입되었으나, 최근에는 애완용으로 수입되는 사례가 증가하고 있다. 애완동물로 선호도가 높아진 리버쿠터와 중국줄무늬목거북은 2014년부터 사육개체수가 서서히 증가하다가 2017년에 180개체, 2019년에는 281개체를 기록하여 최대로 증가하였다. 그러나 수명이 긴 거북의 특성과 사육여건의 변화로 자연으로 버려진 개체가 발견되었다. 방출된 개체의 생태계위해성 평가를 통해 생물다양성법에 의해 생태계교란 생물로 지정되었다. 따라서 해당 거북 사육자가 계속 사육을 원할 경우 '생태계교란 생물 사육유예 허가 신청서'를 제출하여야 한다. 본 연구는 2020년 3월부터 9월까지 6개월간 접수된 신청서의 정보 (사육 시설의 적합성, 거북 개체수, 사육기간, 획득 방법, 사육자 지역 분포 현황 등)를 분석하고, 사육상태를 검토 결과를 제시하였다. 신청서는 총 614건이 접수되었으며, 사육자의 58%만이 적합한 사육상태를 조성한 것으로 평가되었기 때문에 사육자를 대상으로 동물복지 실현을 위해 적절한 사육 정보 제공과 생태계교란 예방을 위한 유기방지 교육이 필요한 것으로 사료된다. 또한, 신청서 내의 누락된 항목이 다수 발견된 점과 단발적인 신청에 따른 허가 방식으로 인한 문제 발생에 대비하여 대응방안을 만들고 지속적인 모니터링이 필요할 것으로 판단된다.

• 한국언론정보학보
• /
• 제57권
• /
• pp.202-226
• /
• 2012

본 연구는 중국에서 한국 대중문화 수용과 확산에 대해 어떻게 인식하고 있는가를 분석하기 위해 중국 일간지에 보도된 한류관련 기사의 프레임을 분석하였다. 분석 결과 세 일간지 모두 한류 관련 이벤트나 한국 드라마, 영화의 열풍, 한류 스타의 인기 등 특정 이슈에 따라 연도별로 기사 게재 건수에 큰 차이를 보였다. 이러한 보도경향은 기사의 구성방식에서도 나타나는데 세 일간지 모두 한류 현상을 심층적으로 분석하고, 해석하는 주제 중심적 프레임보다 단편적인 한류 현상이나 인물 정보를 감성적으로 전달하는 일화 중심적 프레임을 주로 사용하였다. 구체적인 기사 내용을 살펴보기 위해 귀납적 접근방법을 활용하여 지배적 뉴스 틀을 분석한 결과 한류를 '한국 대중문화에 대한 흥미와 관심'이라는 문화적 흥미 프레임으로 구성하여 긍정적인 평가를 내리는 프레임이 가장 많았고, 경제적 관점에서 한류를 설명한 경제 프레임과 중국 정부 당국의 시점에서 바라본 정책 프레임 기사의 순으로 나타났다. 이러한 뉴스내용의 틀은 일간지의 발행목적에 따라 다소 다르게 나타났다. 공산당 기관지인 ${\ll}$인민일보${\gg}$는 중국 정부의 정책을 보도하는 정책 프레임을 많이 다루고, ${\ll}$인민일보(해외판)${\gg}$는 대외적인 시각에서 경제 프레임을 많이 다루었고 상업지 성격이 강한 경화일보는 한류를 새로운 문화현상으로 다루는 문화적 흥미 프레임이 많았다. 전체적으로 중국일간지에 보도된 한류 관련 기사는 대부분 긍정적이고 호의적인 프레임의 뉴스가 많으며 한국 대중문화를 문화적인 관점뿐만 아니라 경제적인 교류의 관점, 한국과 중국 간의 교류를 활성화하기 위한 정책적인 관점등 비교적 다양한 관점에서 보도하고 있음을 알 수 있다.

• 지능정보연구
• /
• 제22권2호
• /
• pp.127-142
• /
• 2016

딥러닝은 인공신경망(neural network)이라는 인공지능분야의 모형이 발전된 형태로서, 계층구조로 이루어진 인공신경망의 내부계층(hidden layer)이 여러 단계로 이루어진 구조이다. 딥러닝에서의 주요 모형은 합성곱신경망(convolutional neural network), 순환신경망(recurrent neural network), 그리고 심층신뢰신경망(deep belief network)의 세가지라고 할 수 있다. 그 중에서 현재 흥미로운 연구가 많이 발표되어서 관심이 집중되고 있는 모형은 지도학습(supervised learning)모형인 처음 두 개의 모형이다. 따라서 본 논문에서는 지도학습모형의 가중치를 최적화하는 기본적인 방법인 오류역전파 알고리즘을 살펴본 뒤에 합성곱신경망과 순환신경망의 구조와 응용사례 등을 살펴보고자 한다. 본문에서 다루지 않은 모형인 심층신뢰신경망은 아직까지는 합성곱신경망 이나 순환신경망보다는 상대적으로 주목을 덜 받고 있다. 그러나 심층신뢰신경망은 CNN이나 RNN과는 달리 비지도학습(unsupervised learning)모형이며, 사람이나 동물은 관찰을 통해서 스스로 학습한다는 점에서 궁극적으로는 비지도학습모형이 더 많이 연구되어야 할 주제가 될 것이다.

• 지능정보연구
• /
• 제20권3호
• /
• pp.19-43
• /
• 2014

전체 결과의 80%가 전체 원인의 20%에 의해 일어난다는 파레토 법칙(Pareto principle)은 상위 20%의 핵심 고객에 대한 우선적인 마케팅을 비롯하여 기업 경영의 많은 부분에서 적용되어 왔다. 파레토 법칙과는 대조적으로, 80%의 사소한 다수가 20%의 핵심적인 소수보다 우월한 가치를 창출한다는 롱테일 법칙(Long Tail theory)은 ICT(Information and Communication Technology)의 발전과 함께 새로운 경영 패러다임으로 주목 받아오고 있다. 본 연구의 목적은 경영 현장에서 양대 흐름을 형성해온 이러한 법칙들이 변화무쌍한 글로벌 가상화 환경에서 기업의 핵심적인 성공 요인이라고 할 수 있는 가상 지식 협업에는 어떻게 관련되는지를 규명하는 것이다. 이를 위해, 대표적인 가상 지식 협업 커뮤니티인 위키피디아에서 품질 최상위 등급인 피쳐드 아티클(Featured Article) 레벨로 승급된 2,978개의 아티클에 대한 협업 행위를 분석하였다. 즉, 각 아티클 그룹에서 편집 횟수 기준 상위 20%에 속하는 참여자들의 총 편집 횟수가 전체 편집 횟수에서 차지하는 비율인 파레토 비율(Pareto ratio)이 지식 협업 효율성과 어떤 관계를 가지고 있는지를 도출하였다. 그리고, 이러한 연구를 편집 참여를 통한 지식 공유에 대한 전체적인 불평등 정도를 나타내는 지니 계수(Gini coefficient)의 영향 및 그룹의 작업 특성을 반영하도록 확장하였다. 결과적으로, 지식 공유의 파레토 비율과 지니 계수가 증가하면 지식 협업 효율성도 높아지지만, 이러한 변수들이 일정 수준 이상으로 증가하면 오히려 지식 협업 효율성이 낮아지는 역 U자(inverted U-shaped) 관계가 있음을 확인하였다. 그리고, 이러한 관계는 인지적 노력을 상대적으로 더 많이 요구하는 학문적인 특성의 작업에서 더 민감하게 작용하는 것으로 보인다.

• 지능정보연구
• /
• 제25권1호
• /
• pp.179-196
• /
• 2019

최근의 '똑똑한 소비자(Smart Consumer)'라 불리는 소비자가 많아지고 있는데, 이들은 제조사나 광고를 통해 전달되는 정보에 의존하지 않고, 기존 사용자나 전문가들의 후기, 여러 과학 지식을 획득하여 제품에 대한 이해를 높이고, 본인 스스로가 직접 판단하여 구매하고 있다. 특히나 화장품 분야는 인체 유해성과 같은 부정적인 요소에 대한 민감도가 높고, 자신의 고유한 피부 특성과의 조화도 고려되어야 하기 때문에, 전문적인 지식과 타인의 경험, 본인의 과거 경험 등을 종합적으로 생각하여 구매 의사결정을 내려야 하고, 이에 대해서 적극적인 소비자가 많아지고 있다. 이러한 움직임은 '셀프 뷰티' 와 같은 '셀프' 문화의 열풍과 함께, 문화 현상인 '그루밍족'의 등장, 사회적 트렌드인 'K-뷰티' 와도 동행한다고 할 수 있다. 맞춤형 화장품에 대한 관심의 급부상도 이러한 현상 중 하나라 볼 수 있다. 소비자들의 맞춤형 화장품의 니즈를 충족시키기 위해, 화장품 제조사나 관련 기업들은 ICT기술과의 융합을 통하여 프리미엄 서비스를 중심으로 소비자의 니즈에 대응하고 있다. 그러나 기업 및 시장 현황이 맞춤형 화장품을 향해 진화하고 있지만, 소비자의 피부 상태, 추구하는 감성, 실제 제품이나 서비스까지 소비자 경험을 전체적으로 완전하게 다루는 지능형 데이터 플랫폼은 부재한다. 본 연구에서는 소비자 경험에 대한 지능형 데이터 플랫폼 구축을 위한 첫 단계로 소비자 언어 기반의 화장품 감성 분석을 수행하였다. 소비자들 개인의 선호나 취향이 분명한 앰플/세럼 카테고리를 중심으로 매출 순위 1위에서 99위까지의 99개 제품을 선정하여, 블로그와 트위터 등의 SNS 상에 언급되는 후기 내에 화장품 경험에 대한 소비자 감성을 수집하였다. 총 357개의 감성 형용사를 수집하였고, 고객 여정 워크샵을 통해 유사 감성을 합치고, 중복 감성을 통합하는 작업을 수행하였으며, 최종 76개 형용사를 구축했다. 구축한 형용사에 대한 SOM 분석을 통해 화장품에 대한 소비자 감성에 대한 클러스터링을 실시했다. 분석 결과, 총 8개의 클러스터를 도출했고, 클러스터 별 각 노드의 벡터 값을 기준으로 소비자 감성 Top 10을 도출했다. 소비자 감성을 기준으로 클러스터별 소비자 감성에 서로 다른 특징이 발견됐으며, 소비자에 따라 다른 소비자의 감성을 선호, 기존과는 다른 소비자 감성을 고려한 추천 및 분류 체계가 필요함을 확인했다. 연구 결과를 통해 감성 분석의 활용 도메인이 화장품만이 아닌 다양한 영역으로 확장될 수 있음 확인했으며, 감성 분석을 통한 소비자 인사이트를 도출할 수 있다는 점을 시사했다. 또한, 본 연구에서 활용한 디자인 씽킹(Design Thinking)의 방법론의 적용하여 화장품 특화된 감성 사전을 과학적인 프로세스로 구축했으며, 화장품에 대한 소비자의 인지 및 심리에 대한 이해를 도울 수 있을 것으로 기대한다.

• 지능정보연구
• /
• 제24권4호
• /
• pp.33-49
• /
• 2018

TV 드라마는 타 장르에 비해 시청률과 채널 홍보 효과가 매우 크며, 한류를 통해 산업적 효과와 문화적 영향력을 확인시켜줬다. 따라서, 이와 같은 드라마의 흥행 여부를 예측하는 일은 방송 관련 산업에서 매우 중요한 부분임은 주지의 사실이다. 이를 위해서 본 연구에서는 2003년부터 2012년까지 10년간, 지상파 채널을 통해 방송된, 총 280개의 TV 미니시리즈 드라마를 분석하였다. 이들 드라마 중 평균 시청률 상위 45개, 하위 시청률 45개를 선정하여 흥행 드라마의 시청시간 분포 (5%~100%, 11-Step) 모형을 만들었다. 이들 기준 모형과 신규 드라마의 시청시간 분포와의 이격 거리를 Euclidean/Correlation으로 측정한 유사도(Similarity)를 통해, 시청자의 초기(1~5회) 시청시간 분포로 신규 드라마의 성패 여부를 예측하는 모델을 만들었다. 또한 총 방송 시간 중 70% 이상 시청한 시청자를 열혈 시청층(이하 열혈층) 으로 분류하고, 상위/하위 드라마의 평균값과 비교하여, 신규 드라마의 흥행여부를 판별할 수 있도록 설계하였다. 연구 결과 드라마의 초반 시청자 충성도(시청시간)는 드라마의 대흥행 여부를 예측하는데 중요한 요소임을 밝혔으며, 최대 75.47%의 확률로 대흥행 드라마의 탄생을 예측할 수 있었다.