• 한국게임학회 논문지
• /
• 제18권2호
• /
• pp.121-130
• /
• 2018

대부분의 빈발 패턴은 패턴이 트랜잭션 데이터베이스에 나타나는 support를 패턴 interestingness의 핵심 척도로 다루어 왔으나 패턴의 횟수는 패턴의 completeness가 가지는 정보를 최대치로 가정하고 있다. 그러나 실제적으로는 임의의 패턴 X의 completeness는 트랜잭션에서 서로 다르게 나타나기 마련이다. 따라서 패턴이 가지는 정보의 손실을 줄이기 위해서는 가중치에 의한 support와 completeness에 의한 유용한 패턴 마이닝을 고려하여야 한다. 즉, 높은 completeness율을 갖는 패턴은 더 높은 recall로 이어질 수 있고 높은 빈도수를 갖는 패턴은 보다 높은 정밀도로 이어진다. 본 논문에서는 동적인 항목들의 가중치에 따른 적응된 support와 completeness를 고려하는 WSCFPM 패턴 마이닝 알고리즘을 제안한다. 제안한 방법은 모노톤 또는 반 모노톤 속성이 가중치에 의한 support와 completeness에 영향을 미치지 않기 때문에 탐색과정을 줄일 수 있다. 실험결과를 통하여 제안된 알고리즘이 효과적이며 확장성이 좋은 것임을 보인다.

• The Korean Journal of Pain
• /
• 제31권3호
• /
• pp.147-154
• /
• 2018

Fibromyalgia (FM) is a contested illness with ill-defined boundaries. There is no clearly defined cut-point that separates FM from non-FM. Diagnosis of FM has been faced with several challenges that occur, including patients' health care-seeking behavior, symptoms recognition, and FM labeling by physicians. This review focuses on important but less visible factors that have a profound influence on under- or over-diagnosis of FM. FM shows different phenotypes and disease expression in patients and even in one patient over time. Psychosocial and cultural factors seem to be a contemporary ferment in FM which play a major role in physician diagnosis even more than having severe symptom levels in FM patients. Although the FM criteria are the only current methods which can be used for classification of FM patients in surveys, research, and clinical settings, there are several key pieces missing in the fibromyalgia diagnostic puzzle, such as invalidation, psychosocial factors, and heterogeneous disease expression. Regarding the complex nature of FM, as well as the arbitrary and illusory constructs of the existing FM criteria, FM diagnosis frequently fails to provide a clinical diagnosis fit to reality. A physicians' judgment, obtained in real communicative environments with patients, beyond the existing constructional scores, seems the only reliable way for more valid diagnoses. It plays a pivotal role in the meaning and conceptualization of symptoms and psychosocial factors, making diagnoses and labeling of FM. It is better to see FM as a whole, not as a medical specialty or constructional scores.

• 한국멀티미디어학회논문지
• /
• 제10권4호
• /
• pp.421-431
• /
• 2007

이동 통신 기술의 급격한 발전으로, 이동 컴퓨팅 환경에서 데이터 서비스에 대한 수요가 점차 증가하고 있다. 이동 컴퓨팅 환경에서의 여러 단점을 극복하고자 캐쉬가 등장하게 되었다. 이동 호스트 내에 캐쉬가 존재하면, 통신 대역폭의 절약 및 질의에 대한 빠른 응답을 가져올 수 있지만, 이동 호스트가 서버 데이터와의 캐쉬 일관성(consistency)을 유지시켜야 한다는 문제가 생기게 된다. 본 논문에서는 기존의 기법들이 가지는 문제점들을 보완하기 위해 데이터의 주기성을 고려한 캐쉬 일관성 유지 기법을 제안한다. 제안한 기법은 데이터를 주기적, 비주기적 데이터로 분류하고 주기적 데이터에 만료시간을 삽입한다. 또한 무효화 메시지를 저장해서 단절 후에 선별적으로 캐쉬 데이터가 나누어질 수 있도록 해서, 캐쉬 내의 데이터가 접속 단절 후에 일방적으로 버려지는 것을 막을 수 있게 된다. 이렇게 함으로서 서버와 이동 호스트간의 통신에 사용하는 전체 대역폭의 낭비와 서버접속에 필요한 이동 호스트의 전력의 낭비를 줄일 수 있다. 마지막으로 기존의 기법과의 실험을 통해서 제안한 기법의 효율성을 알아보고자 한다.

• 한국콘텐츠학회논문지
• /
• 제15권10호
• /
• pp.447-456
• /
• 2015

본 연구에서는 지식재산의 일종인 특허와 관련된 비즈니스 영역에서 스토리텔링을 융합한 특허 연계 스토리텔링의 모델을 새롭게 제안하였다. 특허와 관련된 스토리텔링의 대상고객, 목적, 응용분야의 다양성이라는 관점에서 기존의 OSMU 모델, 트랜스미디어스토리텔링 및 크로스미디어 스토레텔링과의 차이를 살펴보았다. 비즈니스에서는 특허 기술의 발명에서부터 특허 출원과 등록, 무효소송과 침해소송 및 손해배상소송 등의 법적분쟁, 특허를 이용한 상품화, 홍보 및 마케팅 등의 다양한 과정이 존재한다. 또한 하나의 특허가 다양한 응용분야에 융복합적으로 활용되는 점과 각각의 과정에서 요구되는 목적에 따라 갖가지 스토리의 원천이 다양하게 존재할 수 있고 설득하고자 하는 대상과 목적에 따라 스토리텔링을 다양하게 활용할 수 있다. 이러한 관점에서 다중출처-다중활용 또는 멀티소스-멀티유즈(MSMU, Multi-Source Multi-Use)의 특징을 가지는 특허 연계 스토리텔링의 모델을 새롭게 제안하였다. 또한 특허 연계 스토리텔링 사례를 통해 MSMU 모델의 효용성과 유용성을 제시하였다.

• 한국수학사학회지
• /
• 제24권3호
• /
• pp.37-58
• /
• 2011

수리 논리학의 발전은 상당 부분 힐버트 (D. Hilbert, 1862~1943)의 증명이론(Beweistheorie)에 뿌리를 두고 있다. 흔히 '힐버트 계획' (Hilbert's program)으로 불리는 이 계획의 목표는 형식적 공리론적 방법에 의해 수학의 모든 명제와 증명을 형식화하고 이 형식 체계의 완비성과 무모순성 증명을 통해 고전 수학을 '구원' 하고, 수학의 토대를 공고히 하자는 데에 있다. 1931년 괴델의 제 1정리에 의해 결정불가능 명제의 존재가 드러나면서 완전성이 위기를 맞고, 제 2정리에 의해 무모순성의 확립이 무산될 위기에 처한다. 그러나 '상대적' 내지 '부분적' 힐버트 계획은 효과적인 연구 프로그램으로서 살아 있다고 말하는 학자들이 적지 않다. 우리는 특히 힐버트 계획 이 오늘날 구성주의 수학의 발전에 동력을 제공하고 있다는 점을 커리-하워드 대응 (Curry-Howard Correspondence)을 통하여 부각시키고자 했다. 자연연역에서 증명 (proof) 이 바로 컴퓨터 프로그램 (computer program) 에 다름 아니라는 사실에 의해 수학의 형식화 (formalization)는 새로운 조명을 받게 된 것이다. 요컨대 힐버트 계획은 컴퓨터 과학에서 알고리듬 (algorithm) 이라는 핵심개념에 가장 잘 부합되는 것이다.

• 정보화연구
• /
• 제10권1호
• /
• pp.63-70
• /
• 2013

본 연구는 특허 선행기술 조사분석 및 서비스 전략에 대한 것으로, 주로 무선 충전기술 분야의 동향과 선행 특허를 조사하고 해당 기술을 스마트폰 및 비스마트폰, 기술 및 디자인 및 UX/UI, 각 무선 충전기술 등과 연계하여 사용하기 적합한 서비스 및 전략을 제시하는 것이다. 무선충전시장의 시장 전망은 꾸준히 상승하고 있으며, 최근의 경우 2010년 1억 2,390만 달러 수준에서 2011년 8억 8,580만 달러로 약 6배정도 성장하였으며, 2014년에는 180억 달러 규모에 이를 것으로 예상되고 있다. 이 기술분야에 대한 관심은 꾸준히 증가하고 있는 추세이며 관련 상품도 지속적으로 등장하고 있다. 따라서 전 세계적으로 무선 충전 기술을 활용할 수 있는 기틀이 마련되고 있으며, 이 기술을 응용한 서비스나 제품에 대한 개발 및 연구가 후속되려면 다양한 관심과 노력이 수반되어야 한다. 본 연구의 결과로는 무선 충전 기술관련 특허전략 및 특정 제품관련 특허 무효화 전략이나 라이센싱 혹은 권리화 전략이 가능하고, 또한 새로운 디자인 및 배터리 공유와 내구성 강화 등을 가능케 하는 신규 특허전략이 도출되었다.

• 한국정보처리학회논문지
• /
• 제4권3호
• /
• pp.821-830
• /
• 1997

디렉토리 기반의 캐쉬 일관성 유지 기법은 대규모 공유메모리 다중처리기에서 캐쉬 일관성 문제를 해결하기 위한 방법이다. 이제까지 기존 기법들은 디렉토리기 위해서 많은 메모리 요구와 긴 무효화 시간, 네트웍 통신량의 집중, 그리고 낮은 확장성 등의 문제점들을 가지고 있다. 본 논문에서는 이런 문제점을 해결하면서 확장성을 가진 새로운 디렉토리 기반의 캐쉬 일관성 유지 기법을 제안하였다. 이 기법에서는 새롭게 제안한 수 평형 이진 트리를 사용하였다. 수 평형 이진 트리는 디렉토리에 있는 노드 수에 따라모양이 일정하고, 최대 깊이가[log$_2$n]이며, 같은 노드 개수를 가진 이진 트리 중에서 가장 작은 단말 노드 수는 가지는 특성이 있다 이러한 특성은 캐쉬 디렉 토리의 메모리량, 무효화 시간 및 네트웍 통신량을 최소로 해 주고, 다중처리기의 높은 확정성을 보장해 준다.

• 한국중재학회지:중재연구
• /
• 제23권1호
• /
• pp.153-175
• /
• 2013

The issue of patent validity becomes a subject of dispute under the FTA and there is a definite difference of opinion between China, Japan, and Korea. In other words, the validity of a judgment on the patent was exclusively under the jurisdiction of the administrative agency at a particular patent office. Thus, the issue arises where there is a potential judgment on patent validity. In this case, the Supreme Court rather than the patent office can offer a judgment from a judicial institution and can make a judgment in the case of a medication. In China, however, the lowest possibility of judgment on patent validity is predicted to occur in judicial institutions. Such a judgment is recognized as the Grand Bench Decision in Korea, and the court can judge the patent validation rather than the patent office. That is just the case in the Kilby case-it is invalid for reasons obvious in Japan. Therefore, there is a substantial difference between the three countries. Especially in Japan, where after the Kilby case, they revised the patent law in 2004 to introduce Article 104-3, placing the judgment of patent validity in the court, even if the "Apparentness"is not requisite. Per this law, infringers can argue for patent invalidity not only the judgment of the patent invalidation but also the infringement lawsuit. From the point of view of Japan, Korea became the judgment of trademark validation by extension and obvious cases can become directly to judge through the Supreme Court about the right that needs to examinations and registrations. In terms of the mediation, it also provides a clue about the judgment of intellectual property validation and expands the scope of the mediation in the future. From now on, in order to have active mediation procedures in the three countries, China, Japan, and Korea would need to unify regulations and application scopes for mediation in the FTA negotiation and to look forward to achieve a vigorous mediation approach.

• 한국정보과학회논문지:데이타베이스
• /
• 제31권4호
• /
• pp.422-431
• /
• 2004

최근에 이동 컴퓨팅 환경에서 여러 데이타 전송 모델이 연구되고 있다. 특히 서버가 반복적으로 필요한 정보를 전파해주는 주기적 푸시 모델에 대한 연구가 활발히 진행되고 있다. 그러나 데이타 평균 대기 시간은 브로드캐스트 한 주기의 길이에 상당히 영향을 받으며, 또한 여러 사용자들간의 접근 데이타가 차이가 날 경우 응답시간에 상당히 나빠질 수 있다. 이 경우, 그 사용자들은 차라리 서버에게 명시적으로 데이타를 요청하기를 바랄 것이다. 이러한 두 가지 접근방식을 모두 지원하는 것을 복합 브로드캐스트라고 한다. 이 환경에서, 본 논문에서는 새로운 이동 트랜잭션 처리 알고리즘(O-PreH)을 개발하였다. 우선 서버가 관리하는 데이타는 주기적 브로드캐스트 방식으로 처리되는 Push_Data와 요구-처리방식으로 처리되는 Pull_Data로 나뉘어 진다. 즉, 사용자는 요구하는 데이타의 타입에 따라 접근하는 방식이 차이가 난다. 또한 서버는 이동 트랜잭션 일관성 유지를 돕기 위해 주기적으로 무효화 보고를 전송해준다. 만약 사용자가 무효화 보고에 의해 하나 이상의 충돌을 발견한다면, 일관성을 침해하지 않는 범위 내에서 그 충돌 순서를 결정한 후(pre-reordering) 나머지 연산들을 비관적으로 수행시킨다. 자세한 실험 과정을 거쳐 제안한 알고리즘의 성능 향상을 보였다.

• 한국정보처리학회논문지
• /
• 제4권7호
• /
• pp.1694-1705
• /
• 1997

미래의 이동 컴퓨팅 환경에서는 휴대 가능한 랩탑 등의 이동호스트가 무선 통신 채널을 통하여 데이타베이스에 접근하는 것이 일반화될 것이다. 이동호스트는 무선 통신의 낮은 대역폭으로 인한 문제를 해결하기 위하여 자주 사용하는 데이타를 캐쉬하며, 캐쉬 데이타의 정확성을 위항 캐쉬 일관성을 유지하여야 한다. 캐쉬 일관성은 이동호스트의 무제한적인 이동과 이동호스트 지원 서버와의 빈번한 통신 단절로 인하여 위배될 수 있다. 따라서 이동호스트를 효율적으로 지원하는 캐쉬 일관성 유지 정책이 요구된다. 본 논문에서는 2단계 완료 프로토콜을 지원하는 중복 데이타베이스의 이동 컴퓨팅 환경에서 갱신가능 메시지를 이용한 정책을 제안한다. 이 정책은 이동호스트가 다른 셀로 이동할 때 캐쉬 일관성이 위배되는 문제를 해결하기 위하여 갱신가능 메시지를 사용한다. 갱신가능 메시지의 이용은 수신하지 못한 무효화 메시지의 갱신 데이타만을 찾아 다시 캐쉬하도록 지원한다. 결과적으로 제안된 정책은 임의의 데이타 변경만으로 모든 캐쉬 데이타의 제거없이 캐쉬 일관성을 유지하기 때문에 대역폭을 효율적으로 사용하는 장점을 지닌다.