• 한국언어정보학회지:언어와정보
• /
• 제15권2호
• /
• pp.47-65
• /
• 2011

A Korean adverb '거의(geoui)' modifies predicates to generate complex predicates which have meanings of 'nearly' complete or typical properties of the modified predicates in quantities, degrees, and frequencies. The modified predicates 'complete' or 'typical' properties are referred counterfactually as standards for the generated predicates' meanings of deficiencies. These counterfactual standards can be formalized by a counterfactual conditional operator of the intensional semantics in Cresswell(1990). The deficiencies in the quantities, degrees, or frequencies of the properties can be expressed formally introducing a world-independent measure of comparison. The measure can be manufactured out of relations between intensional things at indices and their equivalence classes. The world-independent measure of comparison has a semantic structure under-specified in quantity, degree, and frequency, and seems very well-suited in describing lexical meaning of '거의(geoui)'. The lexical-semantic analysis of '거의(geoui)' shows explicitly the plausibility of the indispensable existence of the comparing measure which works across real and counterfactual worlds in natural language meaning. On the other hand, we examined Kim, young-hee(1985)'s proposal of a transition of quantificational meaning for Korean degree adverbs, where he tried to explain the quantificational meaning of Korean degree adverbs in general including '거의(geoui)' with several syntactic and semantic constraints of 'contextual deletion'. But it is shown that the quantificational meanings of the degree adverbs which Kim(1985) discussed are also explained better by their under-specified meanings in quantities, frequencies and degrees with the world-independent measure of comparison applied to their paradigmatic lexical constraint rather than Kim(1985)'s transition of meaning.

• 대한교통학회지
• /
• 제27권6호
• /
• pp.147-156
• /
• 2009

본 논문에서는 기 운영되고 있는 도시부 대중교통을 대상으로 노선의 운행빈도 설계 문제의 모델링 및 해법 개발을 위한 방법론을 제시하였다. 개발된 운행빈도 모형은 이중구조 모형으로서 상위 운영자 모형은 이용 가능한 총 차량 대수제약과 최소/최대 운행빈도 제약 하에 비용과 수익을 모두 포함한 순비용을 최소화하는 비선형 최적화 모형이고, 하위 사용자 모형은 가변수요와 용량제약으로 인한 노선의 혼잡, 그리고 노선 간환승에 따른 지체를 고려한 확률적 사용자 평형수단/경로선택 모형이다. 모형의 해법으로는 상위 모형의 경우 목적함수의 그레디언트를 기반으로 하는 "그레디언트 투사 해법"을 제안하였고, 하위모형의 경우는 기존의 "반복조정해법"을 활용하였다. 또한, 구축된 모형과 해법을 소규모 예제네트워크에 적용하여 그 수렴성과 도출된 해를 분석하였다. 본 논문의 운행빈도 설계방법론은 노선의 운영 효율성을 진단 평가하고, 투입 차량대수 제약 하에 대중교통 운영 효율을 개선하는 방안을 마련하는 데 있어 이론적인 토대로 활용될 수 있을 것으로 기대된다.

• 전기학회논문지
• /
• 제63권10호
• /
• pp.1328-1336
• /
• 2014

This paper proposes Power System Health Index(PSHI) newly. The paper describes several kind of power system health indices based on two main categories, which are adequacy and security. In adequacy, four kinds of health indices of Frequency, Voltage, Reserve(Operating Reserve Power and Frequency Regulation Reserve Power) and Overload of lines and transformers are proposed. In security, four kinds of health indices of Voltage(154kV, 345kV and 765kV), Overload of lines and transformers, Power flow constraint among areas and SPS are proposed. All indices are mapped with three domains, which are indicated as Health, Margin and Risk, defined with expert interview. While domains of health, margin and risk is defined similar with the conventional well being analysis of power system. The criterion of the domains is proposed using an interview with expert operators and practical reliability codes in Korea. The several kinds of health index functions, which are linear ratio, piecewise linear ration and reverse ratio function etc. are developed in this paper. It will be expected that the developed health indices can help operators to control power system more successfully and also prevent power system from accident as like as black out in future because operator can make a decision immediately based on more easily visual information of system conditions from too much indices acquisition of complex power system.

• 한국인터넷방송통신학회논문지
• /
• 제12권4호
• /
• pp.201-209
• /
• 2012

시점기반 복합 이벤트 처리는 각 이벤트에 하나의 타임스탬프를 사용하여 즉각적인 이벤트를 처리한다. 하지만, 시점기반의 이벤트 처리로는 이벤트의 활동 기간이 중요한 역할을 하는 금융, 멀티미디어, 의학, 기상학 같은 분야에서 복합적인 시제 관계를 표현하기에는 불충분하다. 실세계의 애플리케이션 분야에서, 이벤트는 기간을 가지며, 두 종류 이상의 이벤트는 시간적으로 겹쳐질 수도 있고, 하나의 이벤트가 다른 이벤트를 포함할 수도 있다. 이런 종류의 이벤트들에 대한 관계는 시점기반 이벤트처럼 연속적이지 않을 수도 있다. 본 논문에서는 기간기반 이벤트를 사용하여 복합 이벤트의 패턴을 검출하는 방법을 설계하고 구현한다. 기간기반 이벤트는 시점기반 이벤트가 다룰 수 없는 이벤트들 사이의 겹침과 포함관계를 표현할 수 있다. 기간기반 이벤트 연산자는 시작 끝점과 종료 끝점을 사용하여 이벤트의 기간을 나타내고, 기간기반 이벤트의 시퀀스를 표현하여 복합 이벤트 패턴을 검출할 수 있다. 본 논문에서는 복합 이벤트 패턴 검출의 효율성을 높이기 위해 활성 인스턴스 스택을 사용하는 알고리즘을 제시하며, 이벤트의 시퀀스를 구성할 때 중간 결과의 개수를 줄이기 위해 윈도우 푸시다운 기법을 적용하여 수행시간과 메모리의 효율을 높인다.

• 대한핵의학회지
• /
• 제38권6호
• /
• pp.486-491
• /
• 2004

목적: 요소분석법. 독립성분분석법 등이 PET을 이용하여 심근혈류를 비침습적으로 측정하기 위하여 사용되어 왔다. 이론적으로 뛰어나고 새로운 방법인 앙상블 독려성분분석법을 이용하여 $H_2^{15}O$ 동적 심근 PET데이터의 정량분석방법을 개발하였다. 이 연구에서 사용한 앙상블 독려성분분석법을 이용하여 환자의 혈류를 정량화 하였다. 대상 및 방법: 관동맥질환이 의심되어 관류 SPECT를 시행한 환자 20명을 대상으로 $H_2^{15}O$ 동적 심근 PET을 시행한 후 앙상블 독립성분분석법을 이용하여 심근 독립성분영상을 추출하였으며, 좌심실영역과 심근영역에 대한 영상대조도를 조사하였다. 앙상블 학습은 독립성분과 가중치 행렬에 대한 확률분포를 가정하고 베이지안 이론에 의해서 혼합자료에 대한 확률분포를 추정한다. 이렇게 추정한 혼합자료의 확률분포와 실제 분포간의 차이인 Kullback-Leibler 발산치가 최소가 되도록 독립성분과 가중치 행렬을 순차적으로 변화시켜가며 최종 해를 찾는 방식이다. 이 연구에서 사후확률분포는 동적 핵의학 영상에 적합한 비음성제약조건과 함께 수정된 가우시안 분포를 이용하여 최적화 하였다. 혈류량은 심첨부, 중벽 네 부분, 하벽 네 부분의 9개 영역으로 나누어 측정하였으며, 측정결과에 대해 관류 SPECT 소견과 관동맥조영술의 소견과 비교하였다. 결과: 전체 20명의 휴식기 및 부하기 영상에서 5명을 제외한 15명의 데이터에 대해 심근혈류를 측정할 수 있었다. $H_2^{15}O$ 동적 심근 PET에서 앙상블 독립성분분석법을 이용하여 정량화한 휴식기 혈류량은 $1.2{\pm}0.40$ ml/min/g, 부하기 혈류량은 $1.85{\pm}1.12$ml/min/g이었다. 같은 영역에 대해 두 번 측정했을 때 측정된 심근혈류값의 상관계수는 0.99로 재현성이 높았다. 분리된 독립성분영상에서 영상대조도는 좌심실에 대한 심근영역의 비는 평균 1:2.7이었다. 관동맥 조영술을 시행한 9명에서 협착이 없는 분절과 협착이 있는 분절의 혈류예비능에 유의한 차이가 있었다(P<0.01). 또한, 관동맥조영술에서 협착이 확인된 66분절의 심근관류 SPECT 소견에서 가역적 혈류감소를 보인 분절의 혈류예비능이 더 많이 감소되는 경향을 보였으나 통계적 유의성을 보이지는 않았다. 결론: 앙상블 학습을 이용한 독립성분분석방법을 이용하여 심근혈류가 측정이 되었다. 앙상블 독립성분분석법을 이용한 $H_2^{15}O$ 동적 심근 PET 분석방법이 관상동맥 질환의 분석 및 동적 핵의학 영상 데이터의 연구에 도움이 될 것으로 기대된다.