• 한국컴퓨터정보학회논문지
• /
• 제12권3호
• /
• pp.251-258
• /
• 2007

웹서비스 기술의 활성화와 더불어, XML 문서에 대한 접근통제기술이 새롭게 개발되었다. 그 결과, 기존의 접근통제시스템에서와 마찬가지로, 중요정보 자원에 대한 접근통제문제에 대한 연구가 큰 각광을 받고 있다. 본 논문에서는 XML 문서에 대한 접근통제정책을 정형명세언어인 CSP로 변환하는 방법을 제시한다. 이를 위해, 첫째, XPath 경로지정 언어로 표현된 XML 문서의 계층적 접근을 CSP 프로세스 알제브라로 변환하는 방법을 소개한다. 둘째, XML 스키마 문서를 오토마타 형태의 정형모델로 표현하는 방법을 설명한다. 셋째, XML 접근통제정책에 사용되는 적용 규칙 및 충돌규칙의 의미론을 프로세스 알제브라 언어로 표현하는 방법을 제시한다. 마지막으로, 본 논문에서 제시한 방법론의 타당성을 보이기 위해, XML 스키마 문서 및 경로지정 표현에 대한 CSP 명세 예제를 보여준다.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제3권2호
• /
• pp.121-135
• /
• 1999

This paper studies the problem of inverting minimal path sets to obtain minimal cut sets for complex system. We describe efficiency of inversion algorithm by the use of boolean algebra and we develop inclusion-exclusion algorithm and pivotal decomposition algorithm for reliability calculation of complex system. Several examples are illustrated and the computation speeds between the two algorithms are undertaken.

• 한국BIM학회 논문집
• /
• 제7권2호
• /
• pp.1-7
• /
• 2017

Urban planning involves many different disciplines. In order for the related stakeholders to have better understanding and acceptable outcomes, planners are required to present a methodology that would properly reflect people's interest. In order to justify the demand and distribute people's interest, planners actively utilized the suitability analysis. Accordingly, a suitability analysis to find the optimal route for high-speed rail was performed in this paper. With ArcGIS and geographic data sets, simple map algebra could be used. The final product of this research was a map indicating the suitable routes for high-speed rail using the shortest path analysis.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제28권1호
• /
• pp.65-79
• /
• 2014

스토리텔링 기법을 수학 교과서에 적용할 때, 스토리를 전개하는 방법에 따라 늘어나는 학습시간을 효율적으로 조절하는 것은 중요한 문제이다. 특히 고교과정의 수학은 중학교 과정과 비교하여 소화하여야 할 수학적 지식의 양과 질이 차별화 되므로, 각 단원에 적절한 스토리텔링 기법을 개발할 필요가 있다. 본 연구에서는 고등학교 미분적분학 단원을 중심으로, 공학적 도구를 활용하여 수학 문제 풀이에 요구되는 계산 시간을 줄여 개념학습 시간을 충분하게 확보하는 스토리텔링 교과서 개발 사례를 제시한다.

• 한국가스학회지
• /
• 제3권3호
• /
• pp.29-33
• /
• 1999

본 연구는 정량적 위험 평가의 기반 조성을 위해서 다양한 위험 평가 기법 중에서 이상 트리 분석(Fault Tree Analysis) 방법을 이용하여 빈도 분석 프로그램을 개발하였다. 빈도 분석 프로그램을 구축하기 위하여 계산 과정에서는 gate-by-gate 방법과 부울 대수 (Boolean algebra) 방법을 이용하였고, minimal cut set 방법을 이용하여 사고 발생 경로를 정량적으로 표현하였다 결론적으로 본 연구에서 개발한 빈도 분석 프로그램을 이용하여 사고 발생 빈도를 낮출 수 있다면 공정 전체의 안전성을 높이는데 큰 도움이 될 것이며, 기존에 사용되고 있는 외국의 S/W를 대체할 수 있을 것이라고 사료된다.

• 대한수학교육학회지:수학교육학연구
• /
• 제8권1호
• /
• pp.137-144
• /
• 1998

A common geoboard puzzel serves as the point of departure for an investigation that lends itself to whole-group discussion with a class of prospective secondary school teachers. Students are provided with opportunities to devise and carry out problem-solving strategies (called 'heuristics' by Polya); exploit inerrelationships among geometry, arithmetic and algebra; formulate generalizations and conjectures; plan and execute an computational project; construct mathematical arguments to establish theorems; and find counter-examples to dispose of a false conjecture. In recent tears, Eugene F. Krause wrote two papers having the same title except for the numeral In that papers he arrives at an theorem about the sizes of squares with lattice point vertices in the coordinate plane, In this paper we follow a different path genearlization to coordinate 3-space

• 한국수학사학회지
• /
• 제29권5호
• /
• pp.295-314
• /
• 2016

In tropical geometry, the sum of two numbers is defined as the minimum, and the multiplication as the sum. We learned that dynamic programming in tropical algebraic geometry can be used to find the shortest path in graphs. We have also learned about the Bezout's Theorem, which is a theorem concerning the intersections of tropical plane curves, and the stable intersection principle.

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

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

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2023년도 춘계학술대회
• /
• pp.59-60
• /
• 2023

컨테이너 터미널의 자동화는 항만 경쟁력을 좌우하는 중요한 요소로 글로벌 선진항만은 컨테이너 터미널 자동화를 통해 경쟁력을 강화하는 추세이다. 자동화 터미널의 필수 이송 장비인 AGV의 운영 효율화는 자동화 터미널의 생산성을 제고할 수 있다. 자동화 컨테이너 터미널에서의 AGV 운영은 기존 컨테이너 터미널의 이송 장비 운영과는 다르게, 지정된 경로에 따라 주행하는 등 자동화 시스템을 기반으로 운영되어 작업부하 및 교착, 충돌 등과 같은 문제들을 고려하여야 한다. 이러한 요소들을 방지하고 AGV 운영 효율화를 지향하기 위해서는 보다 정교한 모델이 필요하다. 따라서, 본 논문에서는 터미널 내 AGV 주행경로 및 작업 배정 상황을 고려한 AGV 스케줄링 모형을 제안한다. 해당 모형은 교착 상황에 대한 문제를 예방하고 AGV 대수 및 작업 개수 변경으로 다양한 Case를 생성해 AGV 주행상황을 만들어 알고리즘과 최적해 분석을 통해 제안한 알고리즘을 평가한다.

• Journal of Advanced Marine Engineering and Technology
• /
• 제39권2호
• /
• pp.159-165
• /
• 2015

Motion control schemes are generally classified into three categories (point stabilization, trajectory tracking, and path following). This paper deals with the problem which is associated with the initial deployment of a group of Unmanned Surface Vehicle (USVs) and corresponding point stabilization. To keep the formation of a group of USVs, it is necessary to set the relationship between each vehicle. A forcing functions such as potential fields are designed to keep the formation and a graph Laplacian is used to represent the connectivity between vehicle. In case of fixed topology of the graph representing the communication between the vehicles, the graph Laplacian is assumed constant. However the graph topologies are allowed to change as the vehicles move, and the system dynamics become discontinuous in nature because the graph Laplacian changes as time passes. To check the stability in the stage of deployment, the system is modeled with Kronecker algebra notation. Filippov's calculus of differential equations with discontinuous right hand sides is then used to formally characterize the behavior of USVs. The stability of the system is analyzed with Lyapunov's stability theory and LaSalle's invariance principle, and the validity is shown by checking the variation of state norm.