• 한국정보과학회논문지:정보통신
• /
• 제32권2호
• /
• pp.123-133
• /
• 2005

서비스 탐색기법은 퍼베이시브 환경을 지향하는 홈 네트웍 환경에서 중요한 기술 중 하나로 연구되고 있다 그러나 기존의 연구들은 디바이스나 서비스가 갖는 시멘틱을 이해하지 못하고 단순히 구문검색에 의한 매칭기법만 제공하고 있다. 본 연구에서는 이와 같은 문제점을 해결하기 위하여 시멘틱 서비스 탐색을 위한 온톨로지를 개발하였다. 개발된 온톨로지는 시멘틱을 포함하여 퍼베이시브 홈 네트워크 환경 내의 디바이스나 서비스를 기술하고, 이들의 관계를 프리미티브 서비스 개념을 통해 효과적으로 기술하였다. 또한, 디바이스에 대한 프로퍼티를 표현하여, 퍼베이시브 환경에서 디바이스가 갖는 여러 가지 위치정보나 디바이스 상태 등의 정보가 기술되도록 하였다. 본 논문에서는 이와 같이 정의된 온톨로지를 사용하여 서비스를 검색하고, 그 유용성을 평가하기 위해 기존의 Jini 룩업서비스를 확장하여 시멘틱 서비스탐색 시스템을 개발하였다. 그리고 개발된 시스템에서 다양한 시나리오상의 서비스 탐색 실험을 통해, 온톨로지에 의한 시멘틱 탐색기법의 유용성을 입증하였다.

• 대한수학교육학회지:학교수학
• /
• 제5권4호
• /
• pp.477-506
• /
• 2003

본 연구는 중학교 3학년 학생들이 문자와 식, 방정식, 함수에 대한 문제 해결과정에서 미지수, 변수, 매개변수로 사용되는 문자의 의미를 어떻게 이해하고 있는지를 살펴봄으로써, 매개변수로서 문자가 이해되는 과정을 분석한다. 그리고 학생들이 문제를 해결할 때 매개변수로서의 문자의 의미를 이해하면서 유연하게 변환할 수 있도록 메타인지 사고전략을 활용한 수업 설계 모형인 '자기질문에 의한 자기조정형 수업모형을 제안한다. 분석결과, 학생들은 문제의 문맥에서 매개변수의 역할을 미지수, 변수의 역할과 비교해 볼 때 매개변수는 상수를 대신하는 문자로 인식하는 경향이 강했으며, 주어진 방정식의 매개변수였던 문자는 구문론적 조작을 거치면서 변수나 미지수의 역할로 변환하는 경우에 그 의미와 역할을 불확실하게 이해하고 있었다. 그리고, 문맥상 매개변수의 의미를 파악하여 생각하기보다는 문맥의 전후관계를 살피지 않고 연산과 기호조작을 이용하여 파악하는 경향이 강했으며, 직선의 그래프로 제시했을 때 학생들은 매개변수의 의미를 좌표평면 상에서 직선의 위치를 결정하는 요소로서 해석하는 능력이 부족하였다.

• 한국전자거래학회지
• /
• 제13권2호
• /
• pp.213-223
• /
• 2008

오늘날 XML 웹 서비스의 보급에 따라 많은 양의 서비스로부터 적합한 서비스들을 발견해 내는 문제는 중요한 문제로 부각되고 있다[7, 24]. 본 논문에서는 의미론적인 서비스 발견을 행하는 기존 연구와 다르게 구문적인 방법으로 서비스 발견 문제에 접근한다. 우리는 웹서비스 발견의 문제를 레지스트리에 저장된 웹 서비스 설명 정보들에 대한 정보 검색의 문제로 인식하고, 웹 서비스와 질의의 모델링과 유사도 측정을 통한 검색 기법을 고안하였다. 이 서비스 설명정보는 특정 구조를 가지는 XML 문서이며, 본 논문에서는 이를 대상으로 한 키워드 질의를 통해 서비스 발견을 수행한다. 본 논문의 특징은 다음과 같다. 사용자는 키워드 질의를 통해 순위화된 서비스 검색 결과를 제공받을 수 있다. 서비스 검색에 있어 기존 기법들과 달리 UDDI 레지스트리에 저장된 서비스 설명 정보와 WSDL 서비스 정의 모두를 활용한다. 또한 시스템은 기존 관계형 DBMS의 기능을 이용하여 구현됨으로써 의미적인 서비스 발견에 비해 구현이 용이하고, DBMS의 여러 장점을 취할 수 있다.

• 정보과학회 논문지
• /
• 제43권4호
• /
• pp.489-496
• /
• 2016

XML은 관계형 데이터는 물론 구조화 또는 반구조화된 데이터를 효과적으로 조직화하여 표현할 수가 있다. XQuery는 이러한 XML 데이터를 대상으로 필요한 정보를 편리하게 검색하는 질의어이다. 이 논문은 XQuery 작성기를 설계 및 구현하고, XQuery 처리기에 대한 인터페이스를 제공하여 적합한 프로세서를 등록할 수 있다. XQuery 작성기는 등록된 질의 처리기로 처리된 질의의 결과를 보여준다. 작성기는 파서를 내장하고 있기 때문에 파싱 트리의 영역 정보에 따라 영역 연산자를 사용함으로써 문맥에 따라 대응되는 다양한 대화상자에 의하여 대응하는 구문을 효과적으로 작성할 수 있다. 특히 작성기는 XML 문서의 DTD에 대응하는 엘리먼트의 트리를 그래픽으로 보여주기 때문에 경로식을 쉽게 작성할 수 있다. 엘리먼트의 계층구조에서 경로에 따라 노드를 체크함으로써 엘리먼트의 서술식을 포함하는 경로식을 자동적으로 작성한다.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 2002년도 춘계학술대회 논문집
• /
• pp.170-176
• /
• 2002

자바 언어는 다양한 플랫폼과 다양한 분야에서 사용되고 있는 대표적인 객체지향 언어이다. 자바 언어는 객체지향의 특징 때문에 전통적인 절차지향 언어 보다 프로그램의 구조가 단순하다. 그러나 복잡한 자바 프로그램을 디버깅하는 일은 쉽지 않다. 디버깅은 항상 소프트웨어 발전의 많은 비용이 드는 부분이다. 자바 프로그램의 구문 오류는 현재 디버깅 시스템에 의해서 쉽게 발견된다. 그러나 자바 프로그램에 포함된 논리적인 오류는 발견하기가 어렵다. 자바 프로그램을 위한 기존의 디버깅 기술은 절차지향언어에서 사용하는 순차적인 방법을 사용하고 있다. 불행히도, 이 전통적인 방법들은 종종 특별한 프로그램의 오류를 찾는데 적당하지 않다. 이는 프로그램의 크기가 커지고 복잡해짐에 따라 디버깅하는데 걸리는 시간이 프로그램을 개발하는 시간의 많은 부분을 차지하게 된다. 디버거 사용자가 자바 프로그램 내에 포함되어 있는 오류를 쉽게 찾아내는 일은 효율적인 소프트웨어 개발에서 매우 중요하다. 본 논문에서는 사용자가 자바프로그램을 좀 더 빠르게 디버깅을 할 수 있도록 알고리즈믹 디버깅 방법을 적용한다. 알고리즈믹 디버깅 방법은 함수의 호출관계를 실행 트리로 구성하고 이를 검사하여 에러가 포함 되어 있는 함수를 발견하는 방법이다. 따라서 기존의 순차적인 방법보다 디버깅하는 횟수를 줄일 수 있다.

• 한국전자거래학회지
• /
• 제12권2호
• /
• pp.111-132
• /
• 2007

웹 기능의 향상과 웹 관련 기술의 발전, 레거시 시스템과의 통합 필요성 증대, 자주 변하는 웹 콘텐츠와 구조 등으로 인하여 웹 애플리케이션을 개발하고 관리하는 일이 과거보다 훨씬 더 복잡하게 되었다. 그러나 이러한 다양한 요인들을 고려하는 포괄적인 웹 애플리케이션 설계 방법론은 아직 존재하지 않고 있다. 따라서 본 연구에서는 이러한 요인들을 고려한 컨텍스트 기반의 웹 애플리케이션 설계 방법론을 제시하고자 한다. 본 연구에서 제시하는 방법론에서는 웹 정보를 전달하는 메커니즘에 따라 구분되는 9 종류의 웹 페이지 형태와 웹 페이지 간의 다양한 의미 관계를 정의하는 7 종류의 링크 형태 및 설계 과정 중에 사용되는 여러 종류의 컴포넌트 역할을 구별하는 소프트웨어 컴포넌트 형태 등 다양한 종류의 모델링 기법들을 소개하고 있다. 뿐만 아니라 이 방법론은 '콤펜디엄(compendium)' 이라 불리는 일단의 관련된 정보 클러스터들로 이루어진 독창적인 웹 애플리케이션 모델을 사용하고 있다. 하나의 콤펜디엄은 주제(theme), 컨텍스트 페이지, 링크 및 컴포넌트로 구성된다. 이러한 접근 방법은 모듈 방식의 설계에 유용할 뿐만 아니라 항상 변하는 웹 애플리케이션의 콘텐츠와 구조를 관리하는데도 도움이 된다. 본 연구에서 제시한 방법론은 의미적으로 응집력이 있고 구문적으로 느슨히 결합된 유연한 웹 디자인 산출물을 생성하는데 도움이 될 것이다.

• 한국컴퓨터정보학회논문지
• /
• 제18권10호
• /
• pp.173-182
• /
• 2013

전자 문서의 초안 작성과정에서 추가되는 철자오류는 다른 유형의 오류보다 압도적으로 높은 비율을 차지한다. 입력 실수로 인한 이들 오류는 결과적으로 여전히 철자오류일 수도 있지만 상당수는 구문오류나 의미오류로 발전한다. 이러한 오류들 중 철자오류에서 발전된 가의미 오류는 순수 의미오류에 비해 문장 내에서 주변 단어의 의미에 대해 두드러진 상이성을 갖게된다. 따라서 이러한 의미 오류는 그것이 가지는 두드러진 문맥 상이성으로 인해 간단한 동시발생 빈도에 기초한 알고리즘으로 검출 및 교정이 가능하다. 본 논문에서는 이러한 오류들을 검출하고 교정하기 위한 동시발생 빈도에 기초한 알고리즘을 제안한다. 제안하는 방법에서 동시발생 빈도는 의존 구조상에서 직접 의존관계에 놓인 단어만을 대상으로 계산하며, 가의미 오류 여부를 판단하기 위해서 코사인 유사도 측정 방법을 사용한다. 제시하는 실험으로부터 제안한 방법은 전체 맞춤법 검사기 검출율을 약 2~3% 수준까지 향상 시킬 수 있을 것으로 예측하였다.

• 정보처리학회논문지D
• /
• 제11D권4호
• /
• pp.907-916
• /
• 2004

단일 시스템으로 개발된 기존 코드 생성 시스템은 분산 환경 상에서의 개발자나 유지 보수자들의 디자인패턴 정보를 공유하는 것이 원활하지 못했다. 본 논문에서는 웹환경 기반인 XML과 디자인 패턴을 이용한 JiKU/XML 객체지향코드 생성기를 설계하고 구현한파. 이것은 디자인 패턴 구조를 XML 코드로 변환하기 위해 UML을 이용하였으며 UML로 표현된 설계 정보를 XML 코드로 생성하기 위해 PIML 구문법에 맞게 코드생성을 한다. 이 JiKU/XML 객체지향코드 생성기는 열 단계로 코드를 생성하고 설계정보가 XML 코드로 생성되므로 웹 환경에 쉽게 적응 시킬 수 있다. 기존의 생성기인 F77/J++ 생성기의 단점을 보완했으며 UML과 패턴 정보를 이용하기 때문에 설계의 표준화를 이룰 수 있다. 기존 시스템과 적용사례를 비교 분석하여 본 연구에서 제안한 생성기가 더욱 향상된 기능을 제공한다.

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

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

• 한국산학기술학회논문지
• /
• 제20권3호
• /
• pp.617-631
• /
• 2019

본 4단계 교통수요예측모형의 통행분포단계에서 중력모형이 가장 일반적으로 활용하고 있다. 본 연구는 중력모형변수(통행시간, 통행비용 등)의 가변적인 한계를 보완하기 위해 접근성 속성을 단일 마찰인자로서 표현할 수 있는 보다 현실적이고 장래 활용이 용이한 신규 마찰인자를 개발하는데 그 목적이 있다. 이에 신규 마찰인자 도출을 위해 도시공간구조의 특성을 정량화할 수 있는 공간구문론(space syntax)을 활용하여 Link 단위 통합도를 도출 후 통행시간, 통행거리 관계를 이용해 일종의 대리변수로서의 신규 마찰인자를 도출하였다. 대수전환을 통한 마찰인자별 정산결과, 기존 마찰인자(최단거리, 통행시간) 대비 유사하거나 더 높은 수준을 보이는 것으로 분석되었다. 다양한, 검증지표를 활용하여 기존 마찰인자와의 비교시, 전체적으로는 기존 마찰인자와 유사하지만, 단거리 구간 및 장거리 구간에서 설명력이 뛰어난 것으로 분석되었다. 따라서, 기존 최단거리의 한계에서 벗어나 접근성을 보완할 수 있는 통합도 지표를 이용하여 신규마찰인자 도출 및 적용이 가능하고, 장래 활용성에서 좀 더 장점을 갖는 것으로 판단된다.