• Korean Journal of Cognitive Science
• /
• v.7 no.4
• /
• pp.141-162
• /
• 1996

• Korean Journal of Logic
• /
• v.15 no.3
• /
• pp.323-347
• /
• 2012

After Byeongdeok Lee(2008) argued against the so-called uncontested principle (UP), Song(2008) and Choi(2011) gave arguments against Lee(2008) and instead for UP. One important point to mention in their arguments is that they all accept that UP is justifiable in deduction. First, I show that there are some problems in their arguments. Next, I show that UP itself is not justifiable in deduction; it is only justifiable under some (restrictive) conditions.

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.594-595
• /
• 2011

본 논문에서 수요 자원의 수요 반응 프로그램 참여에 관한 정보들을 등록 정보와 참여 정보로 구분하여 수요 자원의 특성을 나타내는 지수들로 구분한다. 이 지수들은 수요 반응 참여 가능 용량, 기간, 횟수, 한계 비용에 관하여 정보를 제공하며 이들을 바탕으로 수요 자원을 하나의 발전 자원으로 평가한다. 이로써 수요 자원은 발전 자원과 직접적으로 경쟁할 수 있으며 계통 운영자는 수요 자원을 운영 계획에 포함한다. 계통 운영자는 발전 및 수요 반응 비용을 최소화하여 운영 계획을 수행하는데 이때 발전 자원과 수요 자원의 제약 조건을 위반하지 않아야 한다. 본 논문에는 기존 개발된 발전 자원의 제약 조건으로부터 수요 자원의 제약 조건을 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.04a
• /
• pp.683-686
• /
• 2002

본 논문은 시간 제약 조건하에서 수행 시간을 개선한 CPLD 기술 매핑 알고리즘을 제안하였다. 제안된 기술 매핑 알고리즘은 주어진 시간 제약 조건을 고려하여 가장 빠른 시간에 기술 매핑을 수행 할 수 있도록 속도의 개선에 중점을 두었다. 입력된 회로를 DAG로 표현한 후 입력부터 출력의 방향으로 노드들을 검색하여 매핑 가능 클러스터를 생성한다. 생성된 매핑 가능 클러스터들 중에서 시간 제약 조건에 적합한 매핑 가능 클러스터를 선택하여 기술 매핑을 수행함으로서 전체 수행 시간이 다른 알고리즘에 비해 빠르게 수행된는 결과를 나타내었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.43-45
• /
• 2004

XML은 인터넷 상에서의 표준 데이터 형식으로 XML 데이터에 대한 구조적 제약 조건들은 DTD나 XML Schema에 정의한다. XML Schema에 유효한 XML 문서는 XML Schema에 정의된 모든 구조적 제약 조건들을 만족해야 하며, 갱신이 발생한 후에도 대응되는 XML Schema에 대해 유효함이 보장되어야 한다. 본 연구는 DBMS에 저장되어 있는 XML Schema에 대해 유효한 XML 데이터를 갱신 할 때 필요한 효율적인 유효 검증 기법을 제안한다. 이 유효 검증 기법에서는 유효 검증 범위를 갱신과 관련된 영역에 한정시키고 갱신 이전에 유효 검증을 수행하여 유효 여부를 판단한다. 또한 본 연구에서는 유효 검증을 위한 유효 검증 제약 조건들과 XML Schema문서의 특성을 분석하여 유효 검증 시 필요한 스키마 정보만을 효율적으로 추출할 수 있는 XML Schema 저장 방법 및 그에 따른 스키마 정보 추출 방법을 제안하고 실험을 통해 그 성능을 보인다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.214-216
• /
• 2001

유사 시퀸스 검색에서 시간 왜곡 변환을 지원하기 위한 연구가 최근 활발히 이루어지고 있다. 음성 인식과 같은 몇몇 응용에서는 시간 왜곡 변환을 적용할 때 과도한 타이밍의 차이는 허용하지 않을 필요가 있다. 그래서 대부분의 경우 윈도우라는 제약 조건을 추가하게 된다. 이 논문에서는 윈도우 제약 조건이 있을 때 시간 왜곡 변환을 지원하는 유사 검색 방법으로 세그먼트 분할 기법(Segment Partition Approach:SFA)을 제안한다. SFA는 각 시퀸스를 세그먼트로 분할한 뒤 특징을 추출하여 다차원 인덱스를 구성한다. 유사 검색 질의를 수행할 때 이 인덱스를 검색하여 질의 시퀸스와 유사할 가능성이 큰 후보들을 빠르게 찾아낼 수 있고 찾아낸 후보들에 대해서만 정확한 시간 왜곡 변환 거리를 계산하기 때문에 전체 질의 처리 시간을 단축할 수 있다. SPA는 순차 검색에 비하여 좋은 성능을 보이며, 특히 거리 허용치가 작을 때 더욱 우수한 성능을 보인다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.11a
• /
• pp.640-643
• /
• 2010

영어권에서는 통계적 기반 의미 오류 검사기에 대한 연구가 활발하게 진행되었으나 한국어에서는 자주 나타나는 오류를 중심으로 오류 단어를 검사할 문맥이나 공기정보를 갖는 규칙 기반의 연구가 이루어져왔다. 본 논문에서는 표제어나 사전 기반 범주화 정보로 표현되고 있는 기존 문법 검사기의 성능을 개선하는 방안으로 한국어 명사 어휘 의미망인 KorLex를 활용하는 방법을 연구한다. 특히, 용언은 목적어나 주어에 사용되는 명사의 표제어가 의미 제약 조건으로 사용되는 예가 많다. 본 논문에서는 용언의 의미 제약 조건을 명사 표제어 단위에서 명사 의미 그룹(class) 단위로 확대하여 문법 검사기의 의미 오류 검사 규칙의 의미 오류 제약 조건을 일반화 하는 방안을 연구한다.

• Annual Conference on Human and Language Technology
• /
• 2023.10a
• /
• pp.289-294
• /
• 2023

대형 언어 모델(Large Language Model)은 방대한 데이터와 파라미터를 기반으로 문맥 이해에서 높은 성능을 달성하였지만, Human Alignment를 위한 문장 생성 제어 연구는 아직 활발한 도전 과제로 남아있다. 본 논문에서는 Instruction Tuning을 통한 문장 생성 제어 실험을 진행한다. 자연어 처리 도구를 사용하여 단일 혹은 다중 제약 조건을 포함하는 Instruction 데이터 셋을 자동으로 구축하고 한국어 언어 모델인 Polyglot-Ko 모델에 fine-tuning 하여 모델 생성이 제약 조건을 만족하는지 검증하였다. 실험 결과 4개의 제약 조건에 대해 평균 0.88의 accuracy를 보이며 효과적인 문장 생성 제어가 가능함을 확인하였다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.2
• /
• pp.136-144
• /
• 1999

정규 순환 방정식형태로 표현된 문제로부터 시스톨릭 어레이를 유도하기 위하여 일반적으로 공간-시간 사상 기법이 널리 이용되고 있다. 이 기법에서 공간 행렬은 주어진 문제 공간을 시스톨릭 어레이로 사상시키는 역할을 한다. 이러한 공간 행렬에 의해 유도되는 시시톨릭 어레이가 유효한 것이 되기 위해서 몇 가지의 제약 조건을 필요로 한다. 본 논문에서는 지역 의존 제약 조건을 기초로 하여 3차원의 문제 공간으로부터 2차원의 시스톨릭 어레이를 유도하는 공간 행렬의 계산 방법을 제시하고자한다. 먼저, 지역 의존 조건을 만족시키기위해 공간 행렬의 요소들이 가져야 하는 조건을 찾고 이 조건으로부터 가능한 트사 벡터들을 선정한다. 다음으로, 필요조건으로서 이러한 투사 벡터들로부터 지역 의존 조건을 만족시키는 공간 행렬을 가지는 투사 벡터들을 선별함으로써, 유효한 시스톨릭 어레이를 유도할 수 있는 모든 가능한 공간 행렬들을 구한다. 이렇게 구해진 가능한 모든 공간 행렬은 시스톨릭 어레이를 위한 캐드도구 또는 시뮬레이터에서 유용하게 이용될 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.349-351
• /
• 2003

무선 센서 네트웍은 동작 환경과 구조가 매우 특이하du 개발자들은 센서 네트웍의 노드를 디자인할 때 많은 제약 조건들과 요구 조건들을 고려해야 한다. 먼저 우선 센서 네트웍 상의 각 센서 노드에는 극도로 제한된 하드웨어 자원 조건 하에서도 무선 통신 기능뿐만 아니라 동시에 여러 이벤트를 재빠르게 처리할 수 있는 기능이 포함되어야 한다. 또한 환경과 응용 프로그램의 변화에 잘 대처하기 위해 런타임(run-time)에 각 센서 노드들을 동적으로 재구성할 수 있는 기능이 제공되어야 한다. 이러한 디자인 요구 조건들과 제약 조건들은 얼핏 서로 상반된 것처럼 보이는데, 무선 센서 노드들을 위한 실행 환경을 디자인할 때는 이러한 조건들을 모두 만족시킬 수 있는 운영 체제가 반드시 필요하다. 본 논문에서 우리는 무선 센서 노드들을 위한 매우 효율적이고 효과적인 유한 상태 머신(finite state machine) 기반의 운영체제, SenOS를 제안한다. 또한 새로운 운영 체제인 SenOS가 극도의 제한적인 자원에서도 동시성과 반응성, 재구성성의 요구 조건을 모두 만족시키면서 동작할 수 있다는 것을 보일 것이다.