• 한국수학교육학회지시리즈C:초등수학교육
• /
• 제21권4호
• /
• pp.375-395
• /
• 2018

본 연구는 수학적 활동에서 디지털 테크놀로지와의 신체적 상호작용이 수학적 의미 형성 과정에 주는 영향을 탐구하는 것을 연구 목표로 삼는다. 최근의 수학교육 연구는 역동적 환경과 멀티터치 입력의 결합에 주목하기 시작했는데, 이에 따라 신체적 움직임이 연구에서 적극적으로 고려해야 할 대상이 되었다. 이에 따라 이 연구는 유리수 조밀성의 수학적 의미가 형성되는 과정을 역동적 멀티터치 테크놀로지와 상호작용하는 신체의 움직임과 관련하여 살펴보고자 한다. 이를 위해 소규모 집단의 초등학생에 대한 교수실험 사례를 분석하며 미시 문화기술적 방법을 사용한다. 연구 결과, 주어진 활동을 통해 조밀성에 대한 더 높은 수준의 수학적 의미가 형성된 것을 확인할 수 있었는데, 이러한 의미 형성 과정 전반에 걸쳐 학습자가 터치패드를 이용하여 화면을 확대하고 축소하는 손가락 움직임이 결정적인 역할을 하는 것으로 드러났다.

• 한국감성과학회:학술대회논문집
• /
• 한국감성과학회 2000년도 춘계 학술대회 및 국제 감성공학 심포지움 논문집 Proceeding of the 2000 Spring Conference of KOSES and International Sensibility Ergonomics Symposium
• /
• pp.417-425
• /
• 2000

시각적 의미의 개발에 바탕을 둔 색채 디자인 연구는 인간의 감성을 중시하는 새로운 패러다임을 맞이하여, 보다 확장적이고 다양한 연구로 발전되고 있다. 특히 화장품 브랜드의 개발과정에서 색채연구의 기능과 역할은 보다 새로운 차원으로 확대, 발전될 수 있는 가능성이 많다. 본 연구의 목적은 허브 식물이 가진 치료 효과와 심신을 편안하게 해주는 감성적 요인을 이용하여, 다차원적 감성을 활용한 색채 연구 방법론을 개발하고 이를 통한 자연성 화장품 브랜드의 이미지 전략을 수립하는데 있다. 허브 식물과 사용자 간의 감성적 교류에 대한 다차원적 특성은 '프리메라'라는 자연성 화장품 브랜드를 위한 감성적 이미지 개발 전략의 사례연구를 통하여 연구되었다. 본 사례 연구에서는 여성의 피부 특성에 따른 세 종류의 시각적/촉각적 색채 이미지 접근 방법을 분석하고, 이를 통한 활용 색체 팔레트를 개발함으로써 프리메라가 갖고 있는 브랜드의 이미지를 확고히 전달할 수 있는 감성 언어 체계를 개발하였다.

• 정보보호학회논문지
• /
• 제7권3호
• /
• pp.79-94
• /
• 1997

분산 객체 시스템에서 보안 기술과 객체지향 기술의 통합은 중요한 요소이기 때문에 OMG(Object Management Group)에서는 객체 시스템에서 보안성을 다루기 위한 표준 보안 서비스 규격으로 CORBA(Common Object Request Broker Architecture) 보안 참조 모델(security reference model)을 제시하였다. CORBA 보안 참조 모델에서 접근 제어 기능은 특정 구현 메카니즘에 종속되지 않는 독립적인 개념으로 정의되고 있으며, 또한 보안 특성의 의미가 완전하게 기술되지 않는다. 이는 구현자와 사용자가 상호 일치되지 않은 개념을 갖을 가능성을 내포한다 따라서 본 논문에서는 CORBA 보안참조 모델에 기술된 접근 제어 기능이 갖는 의미가 정확히 기술될 수 있도록 집합론에 기초하는 정형화 언어인 Z 언어의 스키마 구조를 이용하여 CORBA 접근 제어 모델을 정형화한다.

• 디지털융복합연구
• /
• 제11권9호
• /
• pp.189-194
• /
• 2013

시맨틱 웹은 웹에 있는 정보를 컴퓨터가 좀 더 이해할 수 있도록 도와주는 기술을 개발하여 검색, 데이터 통합, 자동화된 웹 서비스를 지원하는 것이다. 정보의 양이 증가하고 다양해지면서 사용자의 요구에 적합한 정보만을 효율적으로 추출 가공하여 제공하는 문제가 있다. 시맨틱 웹은 기존의 웹과 완전히 구별되는 것은 아니다. 현재 웹을 확장하여 웹에 게시되는 정보에 잘 정의된 의미를 부여하고 이를 통해 컴퓨터와 사람이 협동적으로 작업을 수행하게 한다. 시맨틱 웹을 구축하기 위해서는 HTML의 한계를 극복해야 한다. 기존의 접근 권한부여는 HTML 때문에 정보와 의미론을 고려하지 못하였다. HTML을 사용하여 여러 관련 문서를 확장하거나 통합하는 것은 어렵다. 사람이 아닌 프로그램이나 소프트웨어 에이전트가 자동으로 문서의 의미를 추출할 수가 없다. 본 연구에서는 시맨틱 웹 환경에서 접근 권한부여 정책 관리하는 방법을 제안한다. 따라서 본 연구에서 설계한 정책이 기존의 방법보다 권한부여 과정을 개선하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (C)
• /
• pp.307-312
• /
• 2006

멀티미디어의 비중이 커짐에 따라 컴퓨터 과학 각 분야에서 독자적인 기술들을 이용하여 실제 응용 및 시스템을 구축하고 있다. 하지만 멀티미디어 동영상 내에서 객체의 행위 단독적인 움직임을 수치로만 표현하여 자료를 처리함에 따라 의미를 해석하는 것이 부자연스럽고 정확한 숫자에 부합하는 행동의 검출이 어렵다. 본 논문에서는 멀티미디어 동영상의 기본적인 행위를 추출하고 이를 추상화, 정형화하여 보다 상위단계로 접근을 유도하여 멀티미디어 데이터에 대한 접근을 용이하게 하기위한 방법에 대하여 논의하였다.

• 산업경영시스템학회지
• /
• 제28권4호
• /
• pp.63-68
• /
• 2005

주어진 시스템에서 정보와 정보흐름에 대한 패턴인식을 하기 위해서는, 정보를 내포하고 있는 문맥이 내용에 따라서 다른 단어나 다른 정보를 추론하여 원래의미를 전달함에 있어 오도할 수 있기 때문에, 문맥의 분해에서 정보 조각의 묶음 형태로 전환하는 작업에서부터 연구는 시작되어야만 한다. 많은 연구자들이 정보의 저장, 재표현, 부호화, 검색 등에 관해 효과적인 방법론을 찾고자 노력해 오고 있다. 유사한 노력의 일환으로 본 논문에서는 군이론과 상황이론을 응용해서 정보 및 정보흐름의 패턴인식에 관한 새로운 모델링 기법을 제안하고자 한다. 정보처리에 관련된 선행연구와 비교해서, 본 연구에서 제안하는 방법은 수학이론인 군이론과 상황이론에서 사용되고 있는 개념과 정의를 사용하였다는 점에서 매우 새로운 접근방법이라 할 수 있다. 본 논문에서는 정보흐름의 패턴인식을 위한 모델링 기법으로 Abelian Pattern Semi-Group을 제시하는데 이러한 접근방법은 최근 중요한 연구 분야가 되고 있는 유비쿼터스 컴퓨팅 환경에서도 활용될 수 있을 것이다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (B)
• /
• pp.562-564
• /
• 2002

사람은 누구나 책이나 문서를 읽을 매 중요한 부분에 강조, 헤선 인명을 위한 행위로 표시를 하거나 글을 입력한다. 이렇게 입력된 부가 정보를 Annotation이라고 한다[7]. 차후 이 부분에 대한 참조를 할 때 생성한 Annotation을 이용하면 책이나 문서에 대한 이해도를 높일 수 있다 결과 Annotation은 한번 사용하고 그치는 정보가 아닌 재사용할 수 있는 정보임을 의미한다[1,2,3] 따라서 이러한 Annotation 기능을 웹 문서에 적용하게 되면 종이문서에서 얻을 수 있는 장점뿐만 아니라 웹 환경의 특징인 공유[5], 검색[4], 재편집 등의 기능을 얻을 수 있다. 이에 관한 Annotation 연구가 많이 있지만, 여러 Annotation들 간의 무의미만 출력 근서 , 문서와 Annotation 간의 위치 관계, Annotation 출력으로 인한 문서 구조 변경 등의 문제점으로 사용자들이 쉽게 사용및 이해할 수 있는 Annotation 인터페이스에 대한 연구가 부족한 실정이다 그러므로 본 논문에서는 Annotation들 간의 의미적 관계와 적절한 Annotation의 우선 접근을 위해 계층적 Annotation 구조론 제안하고. Annotation 출력으로 인한 문서 변경 문제를 해결하기 위해 문서와 인접한 위치에 Annotation을 출력하되 Annotation을 사용자가 원하는 위치로 이동시킬 수 있는 유동적 Annotation 인터페이스를 제안한다

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2003년도 춘계종합학술대회논문집
• /
• pp.171-176
• /
• 2003

클래스 로딩에서 핵심은 타입 안전을 보장하는 것이다. 타입 안전은 자바 보안에서 아주 중요한 부분을 차지한다. 하지만 자바 가상 머신에서 타입 안전에 대한 메커니즘은 매우 복잡하고, 접근이 명확하지 않아서 지금 까지 많은 버그가 발생하여 타입 안전에 문제가 되었다. 본 논문은 자바 가상 머신에서 동적인 클래스 로더의 동작을 분석하고, 연산적 의미론(operational semantics)으로 추상화하고 현재 로드되어진 클래스와 추가된 제한 등을 이용하여 이전에 제시되었던 타입 안전에 대한 문제를 분석한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (D)
• /
• pp.214-219
• /
• 2007

생성 규칙(Production Rule)과 이를 기반으로 하는 규칙 엔진(Rule Engine)을 기반으로 한 OWL 추론 엔진은 메타 규칙((Meta Rule)에 의존해 왔다. 메타 규칙은 OWL의 의미론 (Semantics)을 표현하기 용이하여 보다 손쉽게 OWL 추론 엔진을 구현할 수 있다는 장점을 제공하였으나 OWL 추론 성능에 있어 추론 속도와 대용량 온톨로지 처리 측면에서 모두 만족할 만한 성과를 얻지 못하였다. 본 논문은 DLP(Description Logic Programming)의 번역 접근법을 기반으로 한 번역 규칙(Translation Rules)을 메타 규칙과 혼용하는 OWL 추론 기법을 소개한다. LUBM 벤치마크를 통해 이 기법이 메타 규칙만을 이용했을 때 보다 100% 이상 추론 성능을 향상시켰을 뿐 아니라 메모리 사용량도 대폭 축소시켰음을 확인할 수 있었다. 또한, 번역을 통해 제한없는 차수 제약(Cardinality Restriction) 관련 추론을 지원하는 등 보다 넓은 범위의 OWL 추론을 지원할 수 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 춘계학술발표논문집 (하)
• /
• pp.1785-1788
• /
• 2003

자바의 동적 클래스 로딩은 실행 시간에 소프트웨어 컴포넌트를 동적으로 로딩하기 위한 강력한 메커니즘이다. 다른 시스템에서도 동적 료딩과 링킹을 제공하지만 지연 로딩, 타입 안전 링크, 사용자 정의 클래스 로딩 정책, 그리고 나중 이름공간 둥은 자바가 가진 중요한 특징이다. 자바에서 클래스 로딩의 핵심은 타입 안전에 대한 확신이다. 하지만 자바 가상머신에서 타입 안전에 대한 메커니즘은 매우 복잡하고 또 정확성에 대한 접근이 명확하지 않아서 지금까지 많은 버그가 발생되었고 따라서 타입 안전에 문제가 되어왔다. 본 논문은 간단한 자바 소스 코드를 이용하여 동적인 클래스 로더의 동작을 분석하여 도식화하고, 연산적 의미론으로 추상화하여 이전에 제시되었던 타입 안전에 대한 문제를 분석한다.