• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 2002년도 종합학술발표회논문집
• /
• pp.356-360
• /
• 2002

인터넷의 급속한 확대로 인해 컴퓨터 시스템 또는 네트워크 상에서 보안 문제는 점차 중요한 이슈로 다루어지고 있다. 시스템 또는 네트워크에서 보안 문제를 어떻게 다루느냐는 어떠한 보안정책을 구현하고 있느냐와 밀접하게 연결된다. 이 논문에서는 시스템 또는 네트워크에서 다루어지고 있는 기존 보안정책들을 표현할 수 있는, 그래픽 기반의 새로운 보안정책 언어를 제시한다. 이 언어는 객체 지향 기법에 기반을 두고 있는 그래픽 보안정책 기술 언어이다. 보안정책은 객체 내부 상황 및 객체들 사이 연관성을 표현하여 보안정책이 적용되는 상황을 기술하고 보안정책에서 만족되어야 하는 조건 및 행위 또한 객체 내부와 객체간의 연관성으로 표현된다. 객체지향 보안정책 언어는 그래픽 언어이기 때문에 명확하고 이해하기 용이하다는 장점이 있으며 UML의 클래스 다이어그램과 상태도로 대상 시스템을 표현할 수 있으므로 명시된 보안정책들에 대한 분석을 수행할 수 있다는 장점이 있다.

• 한국콘텐츠학회논문지
• /
• 제9권2호
• /
• pp.181-192
• /
• 2009

현대미술에 있어서 프린트는 시각이미지 분야에서도 판화가 지닌 특성을 유지하면서도 동시에 대중의 욕구를 충족하고 소통하는 데에 있어서 전위성을 띠고 있다. 그것은 판화의 형식이 르네상스 시기의 라인컷(Line Cut)에서부터 칼라 프린트의 프로세스, 사진, 20세기의 카툰의 시작, 그리고 광고와 예술, 그래픽 포스터로 이어지는 다양한 표현과 매개체의 변화에서 보듯이 고정적이기 보다는 유동적인 매체로서 복잡하고 다양한 문화 지형 속에서 말-언어보다는 개인들의 욕구와 특성을 원활히 소통할 수 있는 시각 언어 행위로써의 그 역할을 훌륭히 수행해왔음을 알 수 있다. 이 연구는 대중문화의 전위언어로서 프린트들, 즉 판화가 정치와 경제 분야에서 첫 번째, 언어와 그림언어간의 특성의 차이들과 그것들이 우리의 감각적인식이나 행동에 어떻게 작용하는 가를, 그래픽 포스터의 구체적인 특성에 초점을 맞추었으며, 두 번째로는 판화예술이 순수 예술로서 그 언어적인 행위를 어떻게 수행해 왔는가를 연구하는 데에 있다.

• 한국수학교육학회지시리즈C:초등수학교육
• /
• 제22권4호
• /
• pp.223-237
• /
• 2019

수학적 과정에서 나타나는 언어 구문론적 표현 체계와 정의적 표현 체계 사이에는 긴밀한 상호 작용이 이루어진다. 한편, 수학적 개념 체계도 본질적으로 은유적이므로 언어적 표현을 통해 나타나는 수학적 개념 구조에 대한 분석은 수학 학습에 작용하는 인지 정의적 장애 요인의 근원을 밝히는데 도움이 될 수 있다. 이에 본 연구에서는 수학 영재아의 문제해결 프로토콜을 인지언어와 메타정의의 관점에서 분석하여 텍스트 및 은유의 기능적 특성과 메타정의의 기능적 특성 사이의 관계성을 파악하였다. 그 결과 문제해결의 성공 여부에 따라 수학 영재아의 인지적, 정의적 특성이 반영된 행위의 양상이 서로 다르게 나타났다. 성공적이지 못한 문제해결의 경우에는 성공적인 경우에 비해 내부 표현 체계로서의 은유를 활용하는 행위가 상대적으로 빈번하게 나타났다. 또한 은유의 인지언어학적 측면이 문제해결에 중요하게 작용하면서 동시에 은유라는 외적 표현에는 메타정의적 속성이 긴밀하게 관련되어 나타났다.

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

본고는 한국어에 나타나는 동사의 연쇄현상(serialization in verbals)에 있어서 단일절(mono-clausal)내에서 소위 복합동사(compound verb)라 불리는 일련의 동사들의 결합 현상을 고찰한다. 연결사(linker/connective)를 매개로 서로 결합하는 동사 연쇄증에는, 일반적으로 동사하나가 하나의 사건을 나타내는데 비해 2개 이상의 동사가 배열됨에도 동시에 일어나 묶여질 수 있는 하나의 사건(single event)을 지칭하는 동사부류가 존재하는데, 이를 통해 동사 결합간 긴밀성을 우선적으로 유추할 수 있고, 역으로 통사적 현상에 의해 그 긴밀성이 확인된다는 점에서 문장 접속의 통어적 구성과는 다른 문법범주 형성을 뒷받침하는 개념적 근거가 된다. 여기에서는, 이러한 연속동사구성(연쇄동사)에 있어 행위성/비대격성을 지니는 동사들간의 연쇄현상을 제약하는 여러 원인들을 검토하고 아울러 이들의 의미적 범주선택을 고려한 거르개로서의 생성여과 규약을 제안한다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2000년도 추계학술대회 논문집
• /
• pp.208-212
• /
• 2000

최근들어 B2C, B2B로 불리는 인터넷 기반의 전자상거래 시스템의 성공적인 구축이 기업의 비즈니스 성공의 열쇠로 간주될 만큼 그 중요성이 커지고 있다. 본 논문에서는 상거래 행위에 개입하는 다자간의 비즈니스 플로우를 효과적으로 모델링하여 분석할 수 있는 DEVS(Discrete Event Modeling System)이론에 기반한 새로운 비즈니스 모델링/해석 방법론을 제안한다 제안하는 방법은 비즈니스 플로우를 기술할 수 있는 언어를 정의하고, 정의된 언어를 이용하여 기술되는 전자상거래에 개입하는 개체간 거래 행위를 DEVS 모델로 자동 변환하는 방법을 제시한다. 변환된 모델은 이산사건 시뮬레이션 환경인 rDEVSim++ 시뮬레이션 소프트웨어를 이용하여 실행된 후에 그래픽 인터페이스 환경에서 비쥬얼화되어 시스템의 동작 및 성능을 분석 가능하도록 지원한다. 위의 전과정을 포함하도록 개발된 소프트웨어는 기업의 비즈니스 모델 구축용으로 활용이 가능할 뿐만 아니라 전자상거래 관련 인력 양성을 위한 교육용 소프트웨어로도 활용이 가능하다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.754-756
• /
• 2001

컴퓨터 사용증가와 함께 컴퓨터 바이러스 또한 증가하고 있다. 바이러스 검사 프로그램은 바이러스의 특정 문자열(signature)을 찾아 문자열 검색도구와 프로세스의 행동을 모니터링 하는 감시도구(general purpose monitor)의 두 가지 형태가 있으며, 각각은 미 발견 바이러스에 대한 취약성과 시스템 오버헤드를 단점으로 가지고 있다. 또한, 최근에 제안된 면역 시스템은 계산 복잡도나 시스템 구성면에서 지나친 부담을 가지고 있다. 본 논문에서는 바이러스들의 행위를 추출 할 수 있도록 하기 위하여, 언어 압축 알고리즘을 이용하여 바이러스 행동 패턴을 추출하는 방법을 고안하였고, 몇 가지 바이러스를 이용하여 실험해 보았다. 그 결과 실제 학습에 이용한 바이러스가 아니더라도 유사한 동작을 하는 바이러스에 대해서는 면역성을 가질 수 있었다.

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

자연스러운 문장을 생성하는 것은 자연미 생성에서 중요하다. 자연스러운 문장은 개념과 화자의 의도에 의해서 이루어진다. 따라서, 화자의 의도를 반영할 수 있는 한국어 생성 시스템의 설계가 필요하다. 본 논문에서는 언어 현상을 바탕으로 얻은 사람의 발화 모델에 대하여 살펴보고 설정한 한국어의 기본격에 대한 무표어순을 고찰한 후, 이를 바탕으로 화자의 의도를 반영할 수 있는 생성 시스템을 설계한다. 그리고, 이 시스템에서 몇 가지 사람의 언어 행위가 재현되는 과정을 보인다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(A)
• /
• pp.214-216
• /
• 2011

Statechart는 상태 기계를 기반으로 하는 정형 명세 언어로 반응형 시스템의 행위를 상태와 그 상태에서 받는 이벤트에 의한 전이로 표현한다. 프로세스 알제브라의 한 종류인 ACSR은 이벤트 기반으로 프로세스들 간의 통신과 프로세스의 우선 순위, 자원 소모 등의 표현 이 용이한 정형 명세 언어이다. 본 논문에서는 서로 다른 관점의 명세를 하는 이 두 가지 언어가 서로를 보완하여 ACSR을 이용하여 Statechart의 공유 자원에 대한 사용과 제어를 표현하여 보다 시스템을 정확하게 명세할 수 있는 언어를 제시한다. 이를 위해 두 언어의 연결을 위한 정형적 문법과 의미를 제시한다.

• 전자통신동향분석
• /
• 제14권6호통권60호
• /
• pp.38-50
• /
• 1999

적합성 시험(conformance test)은 통신 프로토콜 제품에 대해 그 제품이 프로토콜 표준에 따라 올바르게 구현되었는지를 검증하는 것이다. 그러므로 적합성 시험은 구현제품의 기능과 그 기능의 동작 행위가 프로토콜 표준에서 기술된 요구사항을 만족하는지를 조사하는 것을 요구하며 이를 시험규격으로 표현한다. 이때 프로토콜의 동작행위에 대한 시험 시나리오는 적합성 시험규격의 핵심을 이루는 것으로 시험을 기술하기 위한 국제표준 언어인 TTCN(Tree and Tabular Combined Notation)으로 기술한다. 본 논문에서는 적합성 시험 및 TTCN에 대하여 살펴보았다.

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

대화 시스템이란 자연어를 이용하여 인간과 정보를 교환하거나 업무를 수행하는 프로그램이다. 자연언어는 인간이 사용할 수 있는 쉽고 효율적인 인터페이스이기 때문에 이를 이용한 대화 시스템의 필요성이 증대되고 있다. 본 논문에서는 지금까지 주로 인식에 초점이 맞추어져 연구되어 왔던 계획 기반 대화 모델을 이용하여 발화하여 생성하는 시스템을 설계하고자 한다. 본 논문에서 설계하고자 하는 대화 시스템은 사용자의 질의에 응답할 뿐 아니라 자신의 행위를 능동적으로 수행할 수 있는 협조적 대화 시스템이다. 또한 대화의 효율성을 고려하여 사용자가 필요로 하는 정보를 능동적으로 제공하는 시스템이다. 대화의 효율성을 고려한 발화를 위해 본 논문에서는 새로운 시스템의 행위를 정의하여 실제 가능한 대화 예를 보이고자 한다.