• 정보처리학회논문지C
• /
• 제8C권5호
• /
• pp.607-614
• /
• 2001

정보통신과 컴퓨터기술의 발전으로 인하여 불법침입으로 인한 정보 파괴, 서비스거부공격 그리고 컴퓨터 바이러스 등에 의한 역기능이 날로 증가하고 있는 추세이다. 또한, 이러한 공격들로부터 네트워크를 보호하기 위해서 침입차단시스템(일명：방화벽), 침입탐지시스템, 접근제어시스템 등 많은 보안제품들이 개발 및 적용되고 있다. 그러나 이러한 보안 제품들에 대한 관리를 위해서는 많은 작업과 비용이 소요된다. 따라서, 이들 보안제품들에 대한 효율적인 관리와 일관된 보안 정책을 적용할 수 있는 정책 기반의 통합보안관리시스템의 정책모델이 필요하게 되었다. 본 논문에서는 정책계층의 개념을 기반으로 상위계층의 추상적이고 개념적인 정책을 보다 구체적인 형태의 정책으로 정제(refinement)하는 정책기반의 통합보안관리시스템의 계층적 정책모델을 제시하였다. 정책의 정형화된 표현을 위해서 Z-Notation을 적용하였으며, 이는 수학적 논리와 집합이론을 기반으로 스키마형태로 표현된다.

• 대한수학교육학회지:학교수학
• /
• 제11권2호
• /
• pp.243-260
• /
• 2009

이 연구에서는 예비중등교사들이 수학화를 실제적으로 경험하도록 일반화된 피보나치수열의 일반항을 구하는데 유용한 공식을 찾고, 연속하는 두 항의 비율에 대한 극한을 탐구하는 교수단원을 설계한다. 예비중등교사들은 이 교수단원을 통해 자연수 n의 Fm형 k-분할의 수 F(n, m; k)를 조합으로 표현하는 과정을 탐구함으로써 일반화된 피보나치수열의 각 항을 구하는 공식을 찾을 수 있다. 이러한 공식을 CAS형 그래핑 계산기에 직접 넣어 구체적인 피보나치수를 구할 수 있고, 일반화된 피보나치수열의 연속하는 두 항의 비율로 얻어지는 수열이 수렴한다는 추측을 할 수 있게 해 준다. 이러한 사실을 바탕으로 일반형의 피보나치수열의 연속하는 항의 비율로 만든 수열의 극한에 대해 논한다. 이 교수단원을 통해 예비중등교사들은 중복조합, 조합, 포함과 배제의 원리, 연속함수의 중간값의 정리, 이차방정식 및 삼차방정식의 해법을 되새기고 이를 활용하여 수학을 발명하는 경험을 할 수 있다.

• 대한교통학회지
• /
• 제22권6호
• /
• pp.101-108
• /
• 2004

서울시 대중교통개편에서 요금부과방안은 기본적으로 거리비례제체제(Distance-Based Fare System)에 근거하고 있다. 거리비례제에서 요금은 일정거리를 주행하는 기본요금과 수단간 환승에서 발생하는 환승요금, 일정거리 이상의 주행에 따른 할증요금으로 구분된다. 본 연구는 거리비례제에 따른 요금부과 시 최소요금경로를 탐색하는 방안을 제시한다. 이를 위한 다수의 수단이 존재하는 복합교통망의 환승지점에서 네트워크확장이 필요치 않도록 링크표지을 적용했다. 동일링크에서 복수통행수단의 표현이 가능하도록 수단에 따른 링크확장개념을 활용하였다. 따라서 본 연구에서는 제안하는 최소요금경로 알고리즘은 수단을 표현하기 위한 표식이 별도로 필요하지 않아, 기존의 링크표지 최적경로알고리즘의 적용이 가능하다. 또한 요금부과과정을 네트워크에 적용하기 위하여 출발지를 기준으로 표현된 연속된 두 링크에 대해 기본요금, 환승요금, 할증요금의 부과과정을 수식으로 표현하였다. 이 수식을 재귀(recursive)형태의 수식으로 전환하여 최소요금경로 탐색알고리즘을 제시하였다. 간단한 예제를 통하여 알고리즘 수행과정을 평가하였다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제16권2호
• /
• pp.22-26
• /
• 1978

($\alpha$$_{x}$, $\alpha$X)와 ($\alpha$$_{Y}$ , $\alpha$Y)를 T$_2$ 공간 X와 Y의 Alexandroff base Compactification이라 할 때 $\alpha$fㆍ$\alpha$$_{x}$=$\alpha$$_{Y}$ f를 만족하는 open이고 연속인 함수 $\alpha$f:$\alpha$X$\longrightarrow$$\alpha$Y가 존재하는 연속함수 f:X$\longrightarrow$Y는 유일한 $\alpha$-extension $\alpha$f를 가지며 Category ABC를 T$_2$ 공간과 위와 같은 연속함수 f들의 Category라고 할 때 open이고 연속인 함수와 Compact space들의 Category는 Category ABC의 epireflective subcategory임을 밝혔다.