• 한국정보처리학회논문지
• /
• 제3권6호
• /
• pp.1453-1467
• /
• 1996

소프트웨어를 개발하는 과정은 일련의 다양한 모델을 구축하는 과정이라고 할 수 있다. 그러나 개발자들이 작성된 모델을 검증할 수 있는 적당한 방법이 없었다. 기존 의 검증 도구들은 주로 구현 단계에서 사용되고 있으나 본 논문에서는 이러한 검증 도구의 원리를 개발의 초기 단계인 분석 단계에 적용해 보았다. 본 논문에서는 기존 의 객체 모델링 방법론에서 제시하였던 지침들 뿐만 아니라 시스템의 개발자가 객체 모델에 대해서 규정하고자 하는 지침들까지도 제약으로서 표현할 수 있는 제약 언어 를 정의하였다. 정의된 제약 언어를 이용하여 객체 모델 작성기에 의해 생성된 객체 모델의 품질 및 일관성을 향상할 수 있는 검증시스템을 구축하였다.

• 대한수학교육학회지:학교수학
• /
• 제5권3호
• /
• pp.297-314
• /
• 2003

수학학습에서 학생들은 교과서의 내용 지식 뿐 아니라 수학의 정의, 정리, 알고리즘, 논리적 사고, 발견술, 언어 등의 수학적 지식을 자신의 것으로 만들어 사용하고 활용하는 점유를 해야 한다. 수학적 지식에 포함되는 수학언어는 여러 기능을 담당하면서 수학적 지식 점유를 가능하게 한다. 수학적 지식을 점유할 수 있는 잠재적 수준에 이르기 위해서 학습자는 교사와의 상호작용 뿐 아니라 언어를 사용할 수 있는, 자신과 그리고 동료와의 상호작용이 필요하다. 본 연구는 Vygotsky의 근접발달영역에 기초하여 이러한 상호작용을 IZPD와 ZPP, ZAD의 아이디어로 제시하고 그것이 적용된 수학학습모델을 제시하였다. 두 학생의 학습을 예로 들었을 때, IZPD 뿐 아니라 ZPP와 ZAD의 상호작용 영역이 수학적 지식 점유에 필요했다.

• 한국융합학회논문지
• /
• 제6권6호
• /
• pp.263-270
• /
• 2015

제2언어 학습자들은 의사소통전략을 사용하여 그들이 구두 의사소통에서 직면하게 되는 문제들에 대처한다. 이 전략들이 의사소통과 언어학습에서 주요한 역할을 하기 때문에 제2언어 연구에서 의사소통을 용이하게 하는 전략을 찾아내는 것이 중요하다. 그러나 어떻게 전략을 확인하는가, 특히 연구 자료로 대화 자료, 회상인터뷰 자료, 또는 두 가지의 융합된 자료를 사용하는 것에 대해 논란이 있다. 이 연구에서는 융합자료 분석을 통해 제2언어 학습자들이 사용하는 의사소통전략을 발견해 내고자 하였다. 이 질적 사례연구를 위해 한국인 제2언어 학습자들의 대화 자료와 전략사용을 회고하는 인터뷰 자료가 수집되었다. 이 수집된 자료들의 융합분석을 통해 한국인 제2언어 학습자들이 사용하는 정의대치 전략, 메시지변환 전략, 시간얻기 전략, 이해전략 등의 다양한 의사소통전략들이 확인되었다. 이 연구는 제2언어 의사소통시의 문제점을 해결하는 데 의사소통전략들이 효율적임을 보여주며, 의사소통 연구에 융합자료 분석이 유용하다는 것을 시사해준다.

• 한국컴퓨터정보학회논문지
• /
• 제19권1호
• /
• pp.65-76
• /
• 2014

본 연구는 패킷 처리를 위한 고급 프로그래밍언어 eFlow를 제안하고 이를 지원하는 개발환경을 구현한다. 또한 개발자들이 가장 익숙하고 배우기 쉬운 C 언어를 기반으로 하여 C 언어의 문법과 의미를 유지하면서, 패킷 처리에 불필요한 기능들을 제거하고 패킷 처리에 필요한 패킷 데이터, 데이터베이스 및 스트링 바이트 정보 검사, 이벤트 처리 등을 수행하기 위한 고급 프로그래밍 언어를 설계하고, 기존의 언어나 컴파일러 기술을 적용하면서 패킷 처리를 위해 필요한 언어의 기능과 컴파일 과정을 설명한다. X11 등과 같은 DPIC 장비에 활용하기 위해 이식성과 확장성을 고려한 가상 기계인 eFVM을 설계하고, 이를 위한 컴파일러와 시뮬레이터 및 디버거와 같은 개발 환경을 갖추어 실제 많이 사용되고 있는 다양한 응용 프로그램을 실험하여 제안한 언어의 효용성을 평가하고 있다. 패킷 처리를 위해 갖추어야 할 고급 언어의 기능과 형식 및 그 의미를 정의한 연구가 거의 없이 이루어진 실험에 의의가 있다.

• 한국정보관리학회:학술대회논문집
• /
• 한국정보관리학회 1994년도 제1회 학술대회 논문집
• /
• pp.97-100
• /
• 1994

정보과학 분야에서 필요로 하는 의미해석 기술 개발에 중요한 역할을 하는 것이 시소러스이다. 정확한 관계 정의 및 대량정보 수용의 필요성은 시소러스 구축의 커다란 장애 요인이다. 시소러스 구축에은 다방면의 전문지식 활용과 막대한 비용 및 시간 투자가 요구된다. 기계적으로 관리 운영이 가능한 시소러스내의 관계는 BT, NT로 표현되는 계층관계와 USE, UF로 표현되는 등가관계로 이루어 진다. 본 연구는 개념적인 관계를 정의하는 두 관계를 기계적으로 추출하고, 기존의 평면적인 시소러스 구조를 실세계의 정보 구조에 적합하게 조직화하여 시소러스 구축에 있어서의 문제점을 개선하는데 그 목적이 있다. 제시되는 알고리즘은 단일 언어내의 시소러스 구축 뿐만 아니라, 구축된 시소러스들의 융합 및 다국어 시소러스 구축에도 적용된다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (B)
• /
• pp.109-111
• /
• 2004

대표적인 시맨틱 웹 서비스 발견 기술은 OWL-S와 MIT의 Process Handbook이 있다. 그러나. OWL-S는 개발 초기 단계이기 때문에, 아직 효과적인 웹 서비스 발견을 제공하기에는 몇 가지 제약 조건을 가지고 있다. 예를 들어. 정보 전송을 위한 제악 조건과 실행에 따른 상태 변환 정보를 정의하고 있지 않다. 또한. 사용자가 원하는 프로세스들의 시맨틱 정보들을 정의하고 있지 않다. 반면, MIT Process Handbook은 OWL-S와 같이 서비스 모델에 대한 상세한 정보들을 정의하고 있지 않아, 서비스 작성에 필요한 서비스들을 찾기가 어렵다. 그러므로, 본 논문에서는 Topic Maps 기반의 TM-S(Topic Maps for Service)를 제안하였다.

• 비교문화연구
• /
• 제43권
• /
• pp.7-50
• /
• 2016

자본주의화된 식민지 조선에서 기생은 위기감 속에서 경제적 구원자가 될 남성에 의존해서 사는 처지였지만 다른 한편으로는 근대와 자본주의가 부여한 변신의 기회를 갖기도 했다. 사회주의자 정칠성도 정치적 각성을 통해 그러한 변신의 기회를 활용한 사람 중 하나였다. 정칠성의 정치적 각성은 3.1운동이라는 역사적 계기와 십여 년 간 기생으로서 경험했던 개인의 노동 체험이라는 두 가지 요인이 작용한 결과이다. 3.1운동은 민족주의라는 외연을 띤 거대한 정치적 사건이었지만 정칠성이라는 한 여성의 개인적인 분노의 감정을 이끌어낸 계기이기도 했다. 또한 초기 자본주의 사회에서 직업을 가진 여성들은 직무 상의 역할 이외에도 순종적이면서도 아량이 넓어야 한다는 정서적인 역할을 강요받았다. 즉 초기 직업 여성들은 공적 영역에서 젠더 위계와 젠더 권력 속에 무방비로 노출됨으로써 분노와 수치, 모멸감 등의 감정을 겪어야 했고 이러한 감정들이 정칠성의 사례에서 나타나듯 어떤 정치적 각성에 이르게 함을 알 수 있다. 노동 경험과 감정의 문제를 매개로 한 정치적 각성은 정칠성으로 하여금 다른 여성 사회주의자들과는 달리, 여성의 경제적 독립이라는 이슈를 구체적이고 현실적으로 이해하게 만든 요인이었다. 그러나 사회주의 언어는 정칠성에게 자신의 체험을 설명할 수 있는, 당시로서는 상대적으로 가장 적절한 언어였지만 그녀의 체험은 엘리트 사회주의 언어로서는 설명될 수 없는 지점들을 갖고 있다. 따라서 그녀의 삶은 엘리트 중심의 사회주의 운동을 넘어서, 하층민 여성의 삶이 새로운 감성으로 분할되고 등재되어 정치적으로 가시화될 필요가 있음을 역설적으로 증명하고 있다.

• 한국인터넷방송통신학회논문지
• /
• 제13권1호
• /
• pp.63-70
• /
• 2013

기존 연구에서는 비즈니스 프로세스 프레임워크에서 정보 추출 및 검색을 위해 비즈니스 프로세스 시스템 질의 언어(BPSQL)를 제안했고, 기존 질의(Query)언어를 그대로 사용하기 위해 비즈니스 프로세스 프레임워크 내 각 레이어 정보들을 테이블화했지만, 레이어 정보의 스펙을 가지고 데이터베이스 구축을 수작업하는 단점이 있다. 이런 문제를 해결하기 위해 메타모델 기반의 모델-텍스트 변환기법을 적용하여, 5 레이어의 비즈니스 프로세스 모델 스키마 기반의 구축 자동 방법을 제안한다. 이를 위한 단계절차는 전체 구조와 데이터베이스 스키마의 메타 모델 정의, 모델 변형 규칙 정의 순이다. 통합정보시스템 설계의 메타 모델링을 통한 각 레이어 스펙정의와 전체 레이어 모델정보 테이블 스키마 스펙을 정의하고, 이 두 스펙 정의를 가지고 모델-텍스트 변환기법을 통해 자동으로 전체 시스템이 구축 된다. 이를 통해서 통합정보시스템 구축이 효율적으로 될 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (2)
• /
• pp.244-246
• /
• 2004

차세대 웹 환경을 위한 시맨틱 웹에 대한 관심이 날로 증대되고 있다. 이와 더불어 시맨틱 웹에서 자원의 의미적인 관계를 표현하기 위한 언어들에 대한 연구가 활발히 진행중이다. 특히 이러한 연구의 시작점으로 RDF, DAML+OIL 같은 여러 온톨로지 언어들이 등장하였지만 자원의 특성에 대한 기술이나 그들간의 관계에 대한 정의를 명확하게 표현하기에는 미흡한 점이 많다. 그러나 최근에 제안된 OWL은 RDF나 RDF 스키마를 확장하여 보다 의미 있는 자원의 관계를 정의할 수 있다. 본 논문에서는 OWL로 표현된 문서를 저장하기 위한 구조를 관계형 데이터베이스를 기반으로 제안한다. 본 논문에서 제안한 저장 구조는 기존의 RDF와 RDF 스키마를 위한 저장 구조를 확장하여, OWL을 통해 제공되는 클래스나 속성간의 동일성, 또는 이질성, 여러 클래스의 집합 관계 등의 추가적 기능을 지원하는데 목적을 두고 있다. 또한 제안한 저장구조를 이용한 OWL 문서의 질의 형태를 분석하고 이를 기존 RQL을 이용하여 표현하기 위해 OWL의 특성을 반영하도록 RQL을 확장했다.

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

본 논문에서는 글꼴의 변화와 잡영을 흡수할 수 있도록 자소의 탐색 영역을 정의 하였으며 이 영역에 나타나는 횡모음과 종모음의 주획을 추출하는 방법을 기술하였다. 종모음 영역에서 추출한 수직획들과 횡모음 영역에서 추출한 수평획들을 각각 종모음과 횡모음의 주획이 될 수 있는 후보들로써 이들로 부터 종모음과 횡모음의 존재를 파악하는 것이 한글 유형 분류의 주된 내용이다. 그러나 다양한 글꼴에 나타나는 수평획들로부터 곧바로 횡모음의 존재를 파악하는 것은 쉬운 문제가 아니다 본 논문에서는 기존의 트리 분류기를 확장하여 복잡하고 다양한 특징을 단계별로 단순화시키고 트리 분류기의 상위 노드에서 결정된 정보와 제약 조건을 이용하여 유형을 분류하는 방법을 제안하였다. 제안된 방법은 한글 상위 빈도 1405자, 3가지 글꼴에 대하여 99.8 %의 유형 분류율을 보이고 있다.