• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06a
• /
• pp.166-169
• /
• 2011

안전성이 중요한 실시간 내장형 시스템인 유도조종장치에서 시간 제약성을 만족하는 것은 매우 중요한 문제이다. 기존 유도조종장치 소프트웨어 개발에서는 주로 테스트 단계에서 시간 제약성 만족을 확인한다. 하지만 이 방법은 늦은 오류의 발견으로 인해 전체 소프트웨어 개발 비용이 커질 가능성이 있다. 이러한 단점을 극복하기위해 본 논문에서는 설계 단계에 정형 기법을 적용하여 유도조총장치 소프트웨어의 시간 제약성을 검증하고자 한다. 이를 위해서 실시간 시스템에 대한 모델링과 검증을 지원하는 TIMES 도구를 유도조종장치 소프트웨어 설계에 적용하는 사례 연구를 수혈하고 그 결과를 분석 및 평가하였다.

• Korean Journal of Labor Studies
• /
• v.14 no.2
• /
• pp.201-229
• /
• 2008

본 논문에서는 노동자문화정치의 관점에서 파업을 새롭게 정의하고, 파업을 비롯한 노동자 문화실천의 정치적 효과를 분석하기 위한 방법론적 요소들을 검토하였다. 여기서 파업은 참여주체들의 다양한 사고와 합리성들을 중심으로 형성되고 확장되는 내재적인 정치의 장인 동시에, 다양한 기표적 실천들이 전개되는 문화정치의 장으로 정의되었다. 파업의 발생과 전개의 각 과정과 국면에 대한 문화정치적 분석 요소로서 장소성, 공간, 시간, 정서, 기호자원, 담론이 고려되었고, 이 요소들에 초점을 두고 민주노조 파업에서 드러나는 문화정치적 제약들을 H사 노조 사례를 통해 검토하였다. 문화정치적 제약들은 노동자 문화의 생산과 수용에서의 제약으로 드러난다. 노동자문화 관련 텍스트들의 분석과 조사 자료를 통해서 볼 때, 그것들은 첫째로 노동자 문화 활동가들의 생산 실천 상의 제약과 관련있고, 둘째로, 노동자 대중의 노동자 문화 수용 혹은 소비에서의 도구성과 시 공간 상의 제약과 관련있는 것을 확인했다. 본 논문은 이러한 제약들이 70년대 이후에서 90년대 전반에 이르는 시기와는 달리, 현 시기 노동운동의 문화적 자원들이 신기술과 사회문화적 변화에 걸맞게 변화 확장되지 못하고 오히려 축소된 데 기인한다고 추론하였다. 따라서 지속적인 운동의 조건과 기반을 능동적으로 조성하기 위해서는, 파업을 비롯한 노동자 문화의 생산과 수용 전반에 걸쳐서 작용하는 재현체계 상의 제약, 특히 기호자원의 한계라는 근본적인 제약을 넘어서기 위한 노동자 문화정치의 필요성이 제안되었으며, 문화실천에 몸담고 있는 문화활동가나 노조활동가들이 파업과 일상 활동 속에서 문화정치적 주제들을 찾아 이론화하고 정책에 반영하는 문화활동 방안이 제안되었다.

• Proceedings of the KIEE Conference
• /
• 1999.11c
• /
• pp.509-511
• /
• 1999

실시간 제어시스템은 데드라인(deadline)이라는 시간 제약성을 가지며. 데드라인 이내의 작업수행 여부에 따라서 시스템의 안정성 및 신뢰성 보장을 평가할 수 있다. 본 연구에서는 실시간 시스템 제어기의 시간 지연에 의한 시스템의 영향과 이에 따른 시간 제약성에 대한 연구가 수행된다. 정상상태의 제어기의 시간 지연은 그 효과가 미약하여 일반적으로 고려하지 않는다. 그러나, 시스템의 고장상태 즉, 비정상적인 상태의 시간지연은 비록 랜덤하게 발생되나 발생시에는 전체시스템에 미치는 영향이 매우 크므로 이를 반드시 고려하고, 이에 대한 분석이 필요하다. 먼저, 단일작업을 수행하는 선형시불변 및 비선형시스템에 대한 데드라인 유도하고, Path-space approach 기법에 의해 신뢰도 상위 및 하위 경계값을 유도한다.

• The Korean Journal of Financial Management
• /
• v.15 no.1
• /
• pp.183-205
• /
• 1998

공매(short sale)에 대한 제약이 없는 투자환경에 비해 공매에 대한 제약이 있는 투자환경에서는 주식과 같은 위험자산의 가격은 한동안 과대 평가된다. Figlewski & Webb (1993)는 공매에 대한 제약으로 인해 악재(bad news)가 주가에 과소 반영된다고 하였으며, Diamond & Verrecchia(1987)는 공매에 대한 여러 제약(short-sale constraints)으로 인해 주식시장에 호재로 작용하는 정보(favourable information)와 악재로 작용하는 정보(unfavourable information)가 주식시장에 비대칭적으로 반응하며, 악재가 주가에 더 늦게 반영된다는 것을 보였다. 그러나, 주가지수옵션의 거래는 여러 제약이 많은 공매제도로 인해 악재가 주식시장에 일시적으로 과소반영되는 비효율성을 해결해준다. 그래서 본 연구는 주가지수옵션이라는 파생금융상품의 도입으로 인해 악재의 주가 반응 속도에 어떠한 영향을 미치는 지에 대해 살펴보았다. 전환(switchig) GJR-MA(1) 모델을 이용한 실증분석 결과에 의하면, 주가지수옵션의 거래는 여러 제약이 많은 공매제도로 인해 악재가 주식시장에 늦게 반영되는 비효율성을 제거하게 되어, 옵션 도입 이후로 주식시장의 악재로 인한 변동성 충격(volatility shock)이 그 시장에 더욱 더 빨리 흡수되어 정보적 시장효율성(informational market efficiency)을 증대시키는 결과를 보였다.

• Journal of Korean Philosophical Society
• /
• v.126
• /
• pp.133-158
• /
• 2013

The main aim of this paper is to show that Gadamer's notion of historical constraint of interpretation is an unsuccessful theoretical postulation. Gadamer tries to present the limits of knowledge and interpretation in terms of his notion of understanding as an event. According to Gadamer, interpretation is bound to be incomplete by nature, and this leads to the thesis of "the uncertainty of interpretation". Although Gadamer seems to make his case successfully against the objective and ahistorical frame of interpretation, his thesis of the uncertainty of interpretation inevitably brings up the fear of nihilistic relativism. To meet this problem, Gadamer offers a constraint of hermeneutic situation, which is derived from the historicity underlying all forms of our existence. Nevertheless, the notion of historicity as the essence of human life does not seem to explain successfully how the actual content of an interpretation is constrained. Drawing on the experientialist notion of 'the embodied understanding", I suggest that the working constraint of interpretations can be appropriately found in the commonality of human experience which is conspicuous at the bodily and physical level of experience. In sum, interpretations, as part of mental and abstract level of experience, arise out of the bodily and physical level of experience, and at the same time strongly constrained by it.

• Proceedings of the Korea Database Society Conference
• /
• 1999.06a
• /
• pp.195-202
• /
• 1999

본 논문은 배전 계통에서 부하 제약조건과 운전 제약조건을 고려한 손실 감소와 부하 평형에 대해 시뮬레이티드 어닐링 알고리즘을 적용한 재구성 방법을 서술하였다. 네트워크 재구성은 수많은 연계 개폐기와 구분 개폐기의 조합에 의해 이루어지기 때문에 조합적인 최적화 문제이다. 이러한 문제는 수많은 조합에 제약조건까지 있어 해를 구하기가 쉽지 않을 뿐 아니라 국소 해에 빠질 가능성이 많다. 따라서 신경망 중에서 제약조건에 따라 신경망 구조에 영향을 미치지 않으면서 전역 최소해에 수렴하는 특성을 가진 시뮬레이티드 어닐링 기법을 이용하여 배전 계통의 선로를 재구성하였다. 시뮬레이티드 어닐링은 이론적으로 최적해가 보장되지만 무한대의 시간이 걸리기 때문에 현실적으로 적용할 때 해 공간을 탐색하는 규칙과 온도를 적절히 내리는 냉각 스케줄(cooling schedule)이 중요하다. 본 논문에서는 알고리즘 상에서 제약조건 위반 여부를 점검할 수 있는 제약조건과 페널티 상수(penalty factor)를 통해 목적함수에 반영하는 제약조건으로 나누어 모든 후보해를 가능해가 되게 하였고 기존에 사용되던 Kirkpatrick의 냉각 스케줄 대신에 후보해의 통계적 처리에 의해 온도를 내리는 다항-시간 냉각 스케줄(polynomial-time cooling schedule)을 사용하여 수행시간을 단축하고 수렴성을 높였다. 제안한 알고리즘의 효용성을 입증하기 위해 32, 69모선 예제 계통으로 테스트하였다.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 1999.03a
• /
• pp.195-202
• /
• 1999

본 논문은 배전 계통에서 부하 제약조건과 운전 제약조건을 고려한 손실 감소와 부하 평형에 대해 시뮬레이티드 어닐링 알고리즘을 적용한 재구성 방법을 서술하였다. 네트워크 재구성은 수많은 연계 개폐기와 구분 계폐기의 조합에 의해 이루어지기 때문에 조합적인 최적화 문제이다. 이러한 문제는 수많은 조합에 제약조건까지 있어 해를 구하기가 쉽지 않을뿐 아니라 국소 해에 빠질 가능성이 많다. 따라서 신경망 중에서 제약조건에 따라 신경망 구조에 영향을 미치지 않으면서 전역 최소해에 수렴하는 특성을 가진 시뮬레이티드 어닐링 기법을 이용하여 배전 계통의 선로를 재구성하였다. 시뮬레이티드 어닐링은 이론적으로 최적해가 보장되지만 무한대의 시간이 걸리기 때문에 현실적으로 적용할 때 해 공간을 탐색하는 규칙과 온도를 적절히 내리는 냉각 스케줄(cooling schedule)이 중요하다. 본 논문에서는 알고리즘 상에서 제약조건 위한 여부를 점검할 수 있는 제약조건과 페널티 상수(penalty factor)를 통해 목적함수에 반영하는 제약조건으로 나누어 모든 후보해를 가능해가 되게 하였고 기존에 사용되는 Kirkpatrick의 냉각 스케줄 대신에 후보해의 통계적 처리에 의해 온도를 내리는 다항-시간 냉각 스케줄(polynomial-time schedule)을 사용하여 수행시간을 단축하고 수렴성을 높였다. 제안한 알고리즘의 효용성을 입증하기 위해 32,69모선 예제 계통으로 테스트하였다.

• Journal of the Korean Data and Information Science Society
• /
• v.6 no.2
• /
• pp.17-27
• /
• 1995

We propose a framework for representing and processing uncertain knowledge on the basis of constraint satisfaction. A system of equations and/or inequalities can be considered as a set of constraints that should be solved, and each constraint in the set is transformed into a corresponding logical formula which can be solved through a constraint solving program. Most of rule-based systems, for instance, use a simple probabilistic theory in order to maintain uncertain knowledge, therefore uncertain knowledge can be represented and processed in the constraint satisfaction program quite efficiently.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2002.06a
• /
• pp.10-38
• /
• 2002

본고는 한국어 영형 대명사의 적절한 해석을 위해 개념적으로 전혀 새로운 이론을 제안한다. 일련의 다양한 제약들이 서로 연관되어 있음을 보인 후, 그러한 규칙의 다양성을 적절히 포착하기 위해 적절성 이론 (Optimality Theory)을 도입할 것을 제안하고, 그 토대 위에 다양한 제약들을 형식화한 후, 그 규칙들의 위계관계를 설정한다. 가장 우선순위를 갖는 제약으로 인접 요소간 어휘의미자질들이 일치해야 한다는 어휘의미제약(*Feature Mismatch)과 통사적 결속규칙을 의미론적으로 재해석한 결속원리 B(Principle B)를 선정한다. 그 다음 순위를 갖는 제약으로, 가능한 한 선행명사를 지칭하도록 요구하는 대용존중제약(DOAP: Don't Overlook Anaphoric Possibilities)과, 센터링 이론의 전이방식 개념을 도입하여 정의한 계속선호제약 (CONTINUE)을 제안한다

• Annual Conference on Human and Language Technology
• /
• 2011.10a
• /
• pp.102-106
• /
• 2011

본 논문에서는 사전 원어정보를 이용한 기존 방법에 나이브 베이즈 분류기를 추가로 이용하는 의미제약 기술에 대하여 소개한다. 의미제약은 의미 분석의 전처리 단계로서 부분적으로 중의성을 해소하여 입력된 복합명사의 분석 정확도 뿐만 아니라 전체적인 분석시간의 단축에도 큰 도움을 준다. 나이브 베이즈 분류기를 이용하는 방법은 사전의 의존성으로 인해 제약할 수 없는 2-gram을 대상으로 제약을 시도한다. 분류기를 위한 학습데이터는 의미 태깅된 기분석 2-gram사전을 이용하여 U-WIN의 관계정보와 사전 그리고 패턴들에 의해 생성된다. 원어정보로 해결하지 못하는 34.63%의 2-gram중 2.83%에 대해 추가로 제약에 성공 하였다.