• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2003년도 제15회 한글 및 한국어 정보처리 학술대회
• /
• pp.293-299
• /
• 2003

인간 게놈 프로젝트가 완료됨에 다라 생체서열과 언어 사이의 대응 관계가 부각되고 있다. 본고에서는 Lewis Carroll의 언어 유희 사례를 컴퓨터생물학의 측면에서 재조명하고, Carroll이 제시한 문제 중에서 간단한 anagram 문제의 해결을 다루고자 한다. 우선 DNA 컴퓨팅의 방법론을 적용한 DNAgram의 개념을 확장하여 plasmid-DNAgram의 개념을 새롭게 도입하였다. 이 개념을 형광단백질에 대한 DNAgram의 개념을 확장하여 plasmid-DNAgram의 개념을 새롭게 도입하였다. 이 개념을 형광단백질에 대한 FRET(fluorescent resonance energy transfer)분석기법의 응용 사례인 cameleon 형광단백질에 대한 FRET 분석기법에 적용함으로써 anagram 문제의 어휘론적, 구문론적, 의미론적, 화용론적 측면에 대응하는 바이오분자 컴퓨팅 방법론을 제안하였다.

• 한국인지과학회:학술대회논문집
• /
• 한국인지과학회 2000년도 춘계 학술대회
• /
• pp.164-170
• /
• 2000

본 논문은 과거 많은 학자들에 의해 제기된 주구조와 부구조, 하위구조 등의 담화 내 계층적 구조에 대한 증거로 일탈을 중심으로 부구조를 분석하였다. 먼저 주제 일탈의 구조와 정의에 관해 분석하고 중단과 화제 전환 등과의 차이를 설명하였다. 지식 표현 언어인 Sowa의 개념구조론의 체계 내에서 담화의 계층적 구조와 그 구조를 나타내는 언어적 표시인 담화 표지의 예를 기술하는 방법을 제시한다. 개념 관계로 일탈, 화제 전환, 틀의 관계를 설정하여 담화 내 계층구조와 담화 부분과의 화용적인 관계를 규명하였다. 기존의 개념구조론은 선택적 제약, 조응 등의 의미론적인 개념들을 간결하고 정확하게 기술할 수 있었는데 화용론적인 측면의 기술도 가능함을 보여준다.

• 대한수학교육학회지:학교수학
• /
• 제14권4호
• /
• pp.469-493
• /
• 2012

본 연구는 증명을 성공적으로 구성하는 학생들은 수학적 개념을 어떻게 이해하고 있으며, 증명을 어떻게 구성하는 지를 살펴보고 이를 통해 증명을 구성하는 다양한 방식과 개념 이해의 관련성을 분석하는 데 목적이 있다. 증명 구성에 도움이 되는 수학 학습에 제언을 얻기 위해서는 증명을 구성하는 과정과 그 과정에서 개념이 어떻게 반영되고 이용되는 지를 살펴볼 필요가 있다. 이를 위하여 4명의 수학교육과 학생들을 대상으로 사례연구를 실시하였다. 그 결과 구문론적 증명을 하는 학생들은 형식적 개념의 내용을 정확하게 알고 있을 뿐만 아니라 그 개념이 담겨있는 명제는 어떠한 방식으로 증명하는 지 그 방법까지 알고 있었다. 실제 증명에서도 평소 증명 경험을 통하여 학습한 증명 전개 방법을 이용하여 증명하는 것을 볼 수 있었으며, 이로부터 증명 방법에 대한 절차적 지식이 구문론적 증명에는 중요한 요소라는 결론을 얻을 수 있었다. 의미론적 증명을 하는 학생들은 형식적 개념의 내용을 정확하게 알고 있고 그 내용과 의미를 본인만의 언어나 그림으로 표현한 개념 이미지를 가지고 있었다. 구문론적 증명을 하는 학생들의 개념 이미지와 비교해보았을 때, 의미론적 증명을 하는 학생들의 개념 이미지는 구문론적 증명을 하는 학생들의 개념 이미지보다 형식적 개념의 내용을 잘 반영하고 있었다. 이러한 개념 이미지는 개념 이미지를 활용하여 증명의 아이디어를 생각하고, 생각한 아이디어를 증명의 형식에 맞게 표현하는 데 사용된다는 점에서 의미론적 증명에 필요한 요소라는 것을 발견할 수 있었다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2008년도 추계학술발표대회
• /
• pp.1563-1566
• /
• 2008

본 논문에서는 데이터의 전처리과정으로 SNMP MIB 데이터에 대한 속성 부분집합의 선택 방법(attribute subset selection)을 사용하여 특징선택 및 축소(feature selection & reduction)를 실시하였다. 또한 데이터 마이닝의 대표적인 해석학적 분석 모델인 연관관계규칙기법(association rule mining)을 이용하여 트래픽 폭주 공격 및 공격유형별 SNMP MIB 데이터에 내재되어 있는 특징들을 규칙의 형태로 추출하여 분석하는 의미론적 심층해석을 실시하였다. 공격유형에 대한 패턴 규칙의 추출 및 분석은 공격이 발생한 프로토콜에 대해서만 서비스를 제한하고 관리할 수 있는 정책적 근거를 제공함으로써 보다 안정적인 네트워크 환경과 원활한 자원관리를 지원할 수 있다. 본 논문에서 제시한 트래픽 폭주 공격 및 공격유형별 데이터로부터의 자동적 특징의 규칙 추출 및 의미론적 해석방법은 침입탐지 시스템을 위한 새로운 방법론에 모멘텀을 제시할 수 있다는 긍정적인 가능성과 함께 침입탐지 및 대응시스템의 정책 수립을 지원할 수 있을 것으로 기대된다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 1989년도 한글날기념 학술대회 발표논문집
• /
• pp.65-72
• /
• 1989

이 논문은 국어 부정문의 의미분석을 위하여 바람직한 의미이론을 제안하려는 것이 목적이다. 특히, 이 논문에서는, 국어의 내부부정 (internal negation)은 물론 외부부정 (external negation)에 상응하는 문장부정의 통사구조가 있다는 것을 논의를 통하여 입증한다. 그러고, 이러한 부정문의 의미를 표상하기 위하여, 부정문 대한 기존의 이론을 수정, 보완할 것을 구체적으로 제안한다. 특히, 아리스토텔레스 (Aristotle)의 부정논리에 입각한 전통에 일치하는 몬테그 (Montague)의 부정문 규칙이 국어의 부정문 처리에는 만족스럽지 못한 점을 지적한다. 그러고, 이러한 문제를 해결하기 위하여 수정된 규칙을 제안한다. 이어서 최근에 발전된 상황의미론(situation semantics) 에서 국어의 문장부정을 다루는데 야기될 수 있는 문제를 지적하고, 이러한 문제를 처리 할 수 있는 이론적 대안을 마련한다. 특히 국어의 외부부정이 야기시키는 중의성의 문제를 잘 다룰 수 있는 바람직한 의미론을 세운다. 그리고 나아가서는 부정문에 대한 보편적 통사-의미론의 기틀을 마련하려는 것이다.

• 정보처리학회논문지D
• /
• 제13D권2호
• /
• pp.147-156
• /
• 2006

이벤트 로깅은 시스템 및 네트워크 관리에 있어 그 역할이 증대되고 있으며, syslog는 해당 분야에 있어 사실상의 표준으로 사용되고 있다. 그러나 대부분의 로그 분석은 반구조적 특징을 보이는 로그 형식으로 인하여 빈번히 출현하는 패턴에만 집중하고 있다. XML은 syslog 데이터를 구조화하는 데 있어 유용한 방식을 제공하고 정보 탐색을 용이하게 해 준다. 하지만 이전의 XML 형식들 및 어플리케이션들은 로그 데이터를 위한 순위 기반 검색이나 유사도 측정 등과 같은 의미론적 접근에 적합하지 않다. 본 논문에서는 XML 기반의 순위 키워드 검색 기법을 기초로, 새로운 로그 데이터 모델링을 통해 syslog 데이터를 위한 XML 트리 구조를 제안한다. 그리고 기존의 XML 구조보다 의미론적 검색에 적합함을 보인다.

• 대한안전경영과학회:학술대회논문집
• /
• 대한안전경영과학회 2005년도 추계학술대회
• /
• pp.319-323
• /
• 2005

최근 들어 제조가 발생되는 모든 분야에서 정보의 의미론적 전달방법 및 체계를 정형화하는 작업이 표준화와 더불어 활발히 진행되고 있다. 제조시스템에서 문제가 발생하였을 때 간결하고 정확한 문제 진단에 대한 정보전달은 비용의 절감은 물론 생산성 향상을 위해서도 필수적인 요소이다. 본 연구에서는 제조시스템에서 최적화된 정보전달을 위한 상황이론적 방법론을 제시한다. 본 연구에서 제시하는 방법론의 궁극적인 목적은 실제 제조공정이나 현장에서 발생되는 복잡한 정보의 흐름, 표현, 관리를 효율적으로 할 수 있고 작업자, 관리자, 경영자 모두가 공통적으로 활용할 수 있는 정형화된 틀을 만드는데 있다. 본 연구에서 제시하는 방법론은 제조 현장에서 공정상의 문제점을 분석하고 검사할 수 있는 도구로 활용될 수 있을 것이다.

• 전자공학회지
• /
• 제44권8호
• /
• pp.31-36
• /
• 2017

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
• /
• pp.451-453
• /
• 2000

메시지 순서도(Message Sequence Chart,MSC)는 ITU-T에서 국제적인 표준으로 제안되어 주로 전기 통신 교환 시스템과 같은 실시간 시스템을 위한 통신 행위에 대한 개괄적인 표현 방법으로서 널리 사용되어지고 있으며 요구 명세, 인터페이스 명세, 시뮬레이션 및 검정을 위해 사용되어지고 있다. MSC의 장점이라면 표현된 시스템의 행위를 직관적으로 이해할 수 있게 해주는 그래픽 표현을 제공하는 것이다. 의미론 입장에서 보면 MSC는 폴세스 대수 ACP의 변형인 PA$\varepsilon$에 의해 의미를 부여받고 있긴 하지만 이해하기가 난해한 것이 사실이다. 본 논문에서는 MSC의 동작적 의미를 분석하며 ACSR로 변환하여 그 의미를 보다 쉽게 파악하는 방법론에 대해 다룬다.

• 한국지진공학회:학술대회논문집
• /
• 한국지진공학회 1997년도 춘계 학술발표회 논문집 Proceedings of EESK Conference-Fall 1997
• /
• pp.62-66
• /
• 1997

확률론적 방법을 적용하여 국내의 4개 원전 부지의 설계지진을 분석하였다. 본 연구에서 사용된 방법은, 지금까지 원전 부지의 안전성 분야에서 적용되어 왔던 기존의 확률론적 재해도분석과는 다른 새로운 방법으로서, 기준확률의 분석과 제어지진의 결정을 위한 지진재해도 분해의 두 과정으로 구성된다. 분석에 사용된 지진원과 지진활동 특성값은 기존의 확률론적 지진재해도 분석에 사용되었던 입력자료이다. 이로부터 계산된 기준확률은 스펙트럼 가속도 감쇄식에 크게 좌우되는 것으로 나타났다. 기준확률1.0$\times$10-5에 대하여, 4개 원전 부지의 제어지진은 평균거리가 13~26kg, 평균 규모가 5.7~6.1 사이에 분포하는 것으로 나타났다. 이 값은 단지 현재의 입력자료에 근거하였을 때의 결과로서, 값 자체의 수치적인 의미보다는 전체적인 분석 과정을 검토하고 또한 현재의 입력자료와 새로운 방법이 조합되었을 때 산출되는 결과의 대략적인 수준을 파악하는데 더 큰 의미가 있다.