• Communications of Mathematical Education
• /
• v.16
• /
• pp.81-91
• /
• 2003

이 논문에서는 학습자가 동적 수학 개념과 관련하여 오개념을 가지고 있는 현상에 주목하여 대학생들이 가지고 있는 동적 개념과 관계된 오개념을 분석하고 지도방법을 제시하고 있다. 오개념 분석은 대학생을 대상으로 한 설문조사결과를 바탕으로 하였으며, 그 결과 많은 학생들이 동적인 개념을 정적인 개념으로 이해하고 있는 것으로 나타났다. 이러한 오개념을 진단하고 처방하는 방법으로 동적 기하(Dynamic Geometry System)을 택하고, 이를 이용한 동적 수학 탐구학습이 가지는 특징을 살펴본다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.4 no.2
• /
• pp.55-70
• /
• 1994

본 논문은 데이타베이스의 동적 기능을 모형화하기 위해서 동적 규칙을 사건과 동적 규칙 객체로 취급하여 개념적 스키마에 표현하는 동적 객체지향 데이타 모델을 제안한다. 제안된 모델에서 정적 구조와 동적 구조에 대한 개념들을 정의하고 모형화 과정에서 사용자의 이해도를 증진시키는 모델의 구성요호에 대한 그래픽 다이어그램을 제시하였다. 그리고 동적 규칙이 데이타베이스 구조에 포함됨으로써 발생가능한 정보의 불법적인 노출 또는 변경을 방지하기 위해서 BLP모델의 보안 정책을 확장하여 제안된 모델에 대한 11가지 종류의 다단계 보안 성질들을 정의하였다. 또한, 정의된 다단계 보안 성질들이 타당한가를 조사하기 위해서 패트리네트를 확장하여, 보안 성질의 검증작업을 수행하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.11a
• /
• pp.1323-1326
• /
• 2011

모바일 디바이스가 널리 보급됨에 따라 복잡한 기능을 수행하는 모바일 어플리케이션의 수요도 많아지고 있다. 또한, 자원의 제약성을 가지는 모바일 디바이스에서 복잡한 기능의 어플리케이션을 수행하기 위하여 서비스 개념을 이용하는 것은 보편적인 방법이다. 그러나 이런 서비스 기반 모바일 컴퓨팅에서는 안정성 및 성능의 부족과 같은 해결해야 할 중요한 문제들이 있다. 이런 문제점을 해결하기 위하여 본 논문에서는 동적 서비스 디플로이먼트 기법 및 설계를 제안한다. 이를 위해 3장에서는 동적 디플로이먼트의 개념 및 장점을 설명한다. 4 장에서는 동적 디플로이먼트를 위한 설계를 보여주고, 5 장에서는 동적 디플로이먼트의 구현을 보여준다. 6 장에서는 실험을 통하여 동적 디플로이먼트의 효율성을 보여준다. 본 논문에서 제안하고 있는 동적 서비스 디플로이먼트 기법 및 설계는 서비스 기반 모바일 어플리케이션의 자원 사용량 감소, 성능 향상을 도와준다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2002.05a
• /
• pp.139-141
• /
• 2002

무선망에서 데이터를 전송 받기 위해서 이동단말은 자신의 정확한 위치를 망에 등록하여야 한다. 페이징 기술은 이동단말의 위치등록을 자주하지 않도록 함으로써 단말의 전력 소모를 줄일 수 있도록 해 준다. 망은 이동단말의 개략적인 위치를 관리하고 실제 전달할 데이터가 있는 경우에 페이징을 이용하여 정확한 위치를 찾게 된다. 최근 이러한 개념을 IP를 사용하는 망에서 사용하고자 하는 IP 페이징 기술들이 소개되고 있다. 본 논문에서는 IP 페이징의 개념 및 관련 연구를 소개하고, 효율적인 페이징 관리를 위한 동적 페이징 영역 설정 기법을 제시한다.

• Journal of the Korean School Mathematics Society
• /
• v.10 no.1
• /
• pp.91-111
• /
• 2007

This study investigated how high school students predict the rule, the sum of sequence for the concept of sequence, for the given patterns based on inductive approach using computers that provide dynamic functions and materials that are visual. Students for themselves were able to induce the formula without using the given formula in the textbook. Furthermore, this study examined how these technology and materials affect students' understanding of the concept of actual infinity for those who have the concept of the potential infinity which is the misconception of infinity in a infinity series. This study shows that students made a progress from the concept of potential infinity to that of actual infinity with technology and materials used I this study. Students also became interested in the use of computer and the visualized materials, further there was a change in their attitude toward mathematics.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.05a
• /
• pp.891-894
• /
• 2005

유비쿼터스 환경에서 컨텍스트의 의미가 점차 중요해진다. 시간이 지날수록 더욱 더 많은 컨텍스트가 우리 주위를 장식해가고 많은 정보들을 제공해 줄 것이다. 이러한 상황에서는 새롭게 추가되는 컨텍스트를 유지하고 관리하는 기법들이 중요한 이슈로 자리잡게 된다. 하지만, 기존의 Context Toolkit 에서 이렇게 동적으로 변하는 컨텍스트들을 효율적으로 유지, 관리할 수 있는 방법이 없었다. 이에 따라, 우리는 새롭게 추가되는 컨텍스트들을 유지, 관리하고 동적으로 어플리케이션에 게 바인딩 해 주어 미리 컨텍스트들에 대한 환경 설정을 해야 하는 부담을 줄일 수 있도록 하는 DWB (Dynamic Widget Binder)에 대한 개념을 소개한다. 어플리케이션이 어떠한 컨텍스트를 사용하려고 할 때, 어플리케이션은 DWB 에게 컨텍스트를 요청한다. DWB 에서는 요청한 컨텍스트가 존재하는지 확인한 이후, 컨텍스트가 존재한다면 요청한 어플리케이션으로 콜백을 걸어주고, 컨텍스트가 존재하지 않는다면, 시간이 지나 요청한 컨텍스트가 추가 될 때, 어플리케이션으로 관련 내용을 통보해 준다. 새로운 컨텍스트가 추가되었을 때, 컨텍스트는 DWB 에 자신을 등록하여 DWB 가 자신을 요청하는 어플리케이션과 바인딩 시켜줄 수 있도록 한다. 이처럼 컨텍스트를 유지, 관리하는 DWB 의 개념을 추가하여 어플리케이션은 동적으로 추가, 삭제되는 다양한 종류의 컨텍스트를 쉽게 이용할 수 있다. 우리의 연구는 DWB 의 개념 정립과 더불어 Context Toolkit 에 관련 모듈을 추가하여 구현함을 목표로 한다.

• The KIPS Transactions:PartC
• /
• v.10C no.7
• /
• pp.929-936
• /
• 2003

We Propose the Suity Cryptography File System to encrypt or decrypt a plaintext or an encrypted tort by using the dynamic linking mechanism In the Linux kernel. The dynamic linking mechanism gives the flexibility of the kernel without changing the kernel. The Sorority Cryptography File System uses the blowfish algorithm to encrypt or decrypt a data. To overcome the overhead of the key server, I use key generating algorithm which is installed in the same Security Cryptography File System. The Security Cryptography file System is fitted into the Linux system.

• Journal of Korean Society of Transportation
• /
• v.22 no.3 s.74
• /
• pp.159-166
• /
• 2004

The capacity concept presented in the Highway Capacity Manual is for steady-state traffic flow assuming that there is no restriction in downstream flowing, which is traditionally used for planning, design, and operational analyses. In the congested traffic condition, the control objective should be to keep the congested regime from growing and to recover the normal traffic condition as soon as possible. In this control case, it is important to predict the spatial-temporal pattern of congestion evolution or dissipation and to estimate the throughput reduction according to the spatial-temporal pattern. In this context, the new concept of dynamic capacity for managing congested traffic is developed in terms of spatial-temporal evolution of downstream traffic congestion and in view of the 'input' concept assuming that flow is restricted by downstream condition rather than the 'output' concept assuming that there is no restriction in downstream flowing (e.g. the mean queue discharge flow rate). This new capacity is defined as the Maximum Sustainable Throughput that is determined based on the spatial-temporal evolution pattern of downstream congestion. And the spatial-temporal evolution pattern is estimated using the Newell's simplified q-k model.

• Magazine of the Korean Society of Agricultural Engineers
• /
• v.34 no.4
• /
• pp.97-105
• /
• 1992

The main purpose of this paper is to present the buckling loads of tapered columns due to dynamic concept. The ordinary differential equation governing the bucking loads for tapered columns is derived on the basis of dynamic concept. Three kinds of cross sectional shape are considered in the governing equation. The Improved Euler method and Determinant Search method are used to perform the integration of the differential equation and to determine the buckling loads, respectively. The hinged-hinged, hinged-clamped, clamped-clamped and free-clamped end constraints are applied in numerical examples. The buckling loads are reported as the function of section ratio, and the effects of cross-sectional shapes are investigated. The buckling load equation, which are fitted by numerical data, are proposed as a function of section ratio. It is expected that these equations can be utilized in structural engineering field.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.145-147
• /
• 2000

Statechart는 기존 상태추이도를 확장한 것으로서, 반응시스템을 명세하기 위해 제안된 가시적 정형기법이다. 그러나 statechart에서의 비결정성은 실시간 시스템에서의 예측가능성에 심각한 문제를 유발할 수 있다. 또한, 이를 해결하기 위한 기존의 우선순위 표현방법은 statechart의 비결정성을 완전히 해결하지 못하고 있을 뿐 아니라 실시간 시스템에서 요구하는 다양하고 동적인 우선순위 변화를 표현하기에 부적합하다. 이와 같은 문제점을 해결하기 위하여 본 논문에서는 미리 예측가능하고 동적으로 우선순위 변화에 표현하기에 부적합하다. 이와 같은 문제점을 해결하기 위하여 본 논문에서는 미리 예측가능하고 동적 우선순위를 변화시킬 수 있는 동적 우선순위 개념을 제안한다.