• 주택과사람들
• /
• s.207
• /
• pp.62-63
• /
• 2007

재건축 아파트 시장에서는 재건축 이후 신축되는 아파트의 평형 배정과 관련한 법원 판결이 나와 눈길을 끌었다. 서울고등법원은 기존의 큰 평형을 가진 조합원이 재건축 이후 평형을 우선적으로 선택할 수 있는 권리를 갖도록 한 경기 과천시 주고 3단지 재건축 조합의 관리처분계획이 무효라고 판결해 파장이 일고 있다. 이미 평형 배정을 끝낸 재건축 단지의 줄소송이 예상된다.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.7
• /
• pp.1801-1812
• /
• 1998

기존의 접근 제어 메커니즘인 강제적 접근 제어와 임의적 접근 제어는 무결성을 요구하는 상용 환경의 정보 보안에는 부족하여 이의 대안으로 직무 기반 접근 제어 (RBAC:Role Based Access Control)가 주목 받고 있으며, 직무를 수행하는 사용자의 의무 분리(Separation of Duty)에 대한 연구가 최근 이루어지고 있다. RBAC에서 사용자는 직무에 배정된 접근권한(Privilege) 만을 수행하여야 하는데 상호 배타적(Mutual exclusive)특성을 갖는 직무는 표현 및 접근 권한의 직무 배정과 수행에 있어서 어려움이 있다. 본 논문에서는 RBAC의 기본 특성을 분석하여 직무에 접근권한을 부여하고 사용자를 직무에 배정하는데 따른 안전한 접근 제어를 위하여 반순서 관계를 갖는 직무의 승계 속성에 따라 직무의 계층 형태를 분류하고, 직무에 배정되는 접근권한의 표현과 관리를 용이하게 하기 위하여 객체에 부여된 객체 접근권한을 분석하여 방향성 그래프를 이용하여 기본 접근권한으로 모델링한다. 접근권한 그래프(Privilege Graph)로 표현된 기본 접근권한에 직무를 배정하면 상호 배타적 직무의 접근권한과 의무 분리의 표현 및 관리를 용이하게 할 수 있다. 이를 기반으로 의무 분리를 포함한 RBAC의 안정성 특성과 접근권한 그래프를 이용한 직무의 의무 분리를 위한 직무 관리 알고리즘을 제시한다.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.8 no.3
• /
• pp.465-470
• /
• 2013

Dempster-Shafer Evidence Theory is available for multi-sensor data fusion. Basic Probability Assignment is essential for multi-sensor data fusion using Dempster-Shafer Theory. In this paper, we proposed a novel method of BPA calculation with signal assessment. We took notice of the signal that reported from the sensor mote at the time slot. We assessed the variation rate of the reported signal from the terminal. The trend of variation implies significant component of the context. We calculated the variation rate of signal for reveal the relation of the variation and the context. We could reach context inference with BPA that calculated with the variation rate of signal.

• Journal of Korean Society of Transportation
• /
• v.19 no.2
• /
• pp.53-60
• /
• 2001

본 논문의 목적은 대중교통 노선배정 시에 여러 수단간의 환승을 고려함으로써 다수단 대중교통망 내에서 수단선택과 노선선택을 동시에 수행할 수 있도록 확률적인 통행배분(traffic assignment) 모형의 하나인 다이알 알고리즘을 응용할 것을 제시하고 그 알고리즘의 속성을 정확하게 규명하는데 있다 승용차의 확률적 통행배분모형으로 잘 알려져 있는 Dial 알고리즘은 로짓모형에 기초한 것이므로 다수단간의 대중교통 수단선택과 노선선택과 같은 선택 행태를 동시에 설명할 수 있는 모형적 특성을 기본적으로 내재하고 있다. 본 연구에서 제시한 대중교통 노선선택에 적용될 수 있도록 수정된 다이알 알고리즘은 기존의 결정적 대중교 통 노선배정 모형들의 단점을 극복할 수 있는 특성을 갖고 있다. 즉 결정적 대중교통 노선배정모형은 기종점간 최단경로에 교통량을 전랑배분(All-or-Nothing)하여 통행자들의 행태적 속성을 제대로 반영하지 못하고 있으며, 다수단 대중교통망 내에서 환승을 포함한 복합 대중교통수단의 선택을 효용극대화 이론에 기초하지 않고 최소비용노선에 전량배분하는 모형의 한계점을 갖고 있다. 이러한 결정적 대중교통 노선배정모형의 단점을 수정된 다이알 알고리즘은 개선할 수가 있다. 본 연구에서는 알고리즘의 특성을 파악하기 위한 모의실험으로 Sioux Falls 형태의 대중교통 네트워크를 이용하여 기존의 알고리즘과 비교 분석하였다. 분석의 탄력성을 갖고 있는 수정된 대중교통 다이알 알고리즘이 현실적 대중교통 통행패턴을 기존 모형보다 합리적으로 설명할 수 있을 것으로 보이며, 특히 다수단 대중교통망이 형성된 대도시의 대중교통 정책분석에 적합한 기법이 될 수 있을 것으로 고려된다.

• Journal of Korean Society of Transportation
• /
• v.17 no.5
• /
• pp.87-98
• /
• 1999

전통적인 교통계획 과정에서 이용되어 온 수요모형들은 대부분 수단선택과 통행배정을 나누어 실시하는 모형이 주를 이루어 왔다. 그러나 교통수단이 다양해짐에 따라 실제 통행자들은 통행 도중 환승을 통해 수단을 전환하는 경우가 발생하게 되며 이 경우 수단선택 과정과 통행배정 과정을 하나로 통합하여 분석할 필요가 있다. 따라서 기종점간 수단 분담율은 기점과 종점에서의 그 값이 다르지만 수단선택과 통행배정이 분리되어 있는 기존 모형을 적용할 경우, 출발과 도착시의 수단 분담율이 동일하게 나타나는 비현실적인 결과를 도출하게 된다. 이러한 문제는 통행수단을 통행의 기본단위로 보고, 수단통행량을 추정하기 때문에 그 수단을 이용하는 통행자들의 행태 대신 수단의 특성만이 모형화되기 때문이다. 따라서 기존의 교통계획 과정에서는 수단분담 과정과 통행배정과정이 분리됨에 따라 수단간 환승이 고려되지 않아 통행자들의 경로 구성과정을 정확히 표현하는데 어려움이 있었다. 또, 수단분담 모형으로 가장 많이 이용되는 로짓 모형의 경우 환승을 고려하면 비관련 대안간 독립성문제(CIA)가 발생하고, 환승경로 수요추정이 불가능해 사실상 통합 교통망과 같이 복수 수단이 운행하는 교통망은 분석하기 어렵게 된다. 본 연구에서는 이를 해결하기 위하여 사람통행(Person Trip)을 기반으로 하는 수단분담-통행배정 통합모형을 개발하고 기존의 결합모형과 그 결과를 비교하였다.

• Journal of Korea Society of Industrial Information Systems
• /
• v.18 no.6
• /
• pp.31-37
• /
• 2013

Modern graphic processors, multimedia processors and audio processors mostly use floating-point number. High-level language such as C and Java use both single precision and double precision floating-point number. In this paper, an algorithm which computes the reciprocal of double precision floating-point number using a 32 bit multiplier is proposed. It divides the mantissa of double precision floating-point number to upper part and lower part, and calculates the reciprocal of the upper part with Newton-Raphson algorithm. And it computes the reciprocal of double precision floating-point number with calculated upper part reciprocal as the initial value. Since the number of multiplications performed by the proposed algorithm is dependent on the mantissa of floating-point number, the average number of multiplications per an operation is derived from some reciprocal tables with varying sizes.

• Proceedings of the Safety Management and Science Conference
• /
• 2002.05a
• /
• pp.263-268
• /
• 2002

국내 공항에서 보유하고 있는 제한된 주기장에 대한 이용률과 주기되어 있는 항공기의 탑승에 소요되는 시간 및 도보거리는 공항의 운영 및 승객의 편리성 평가에 주요한 척도가 되고 있으며, 공항의 주요 운영 목표는 합리적인 항공기 주기장 배정을 통한 주기장 이용률의 최대화 및 터미널 이용 승객의 편리성 증대라 할 수 있다. 이에 본 연구에서는 대상 공항의 시설배치, 터미널 구조, 공항의 이용 승객 등을 고려하여 사용 가능한 주기장의 이용률의 최대화하고 터미널에서의 여객 이동거리를 최소화하는 주기장 배정 알고리즘의 개발과 그 결과를 국내 공항에 적용시키는 것을 그 목적으로 한다. 이를 위하여 기존의 GAP 정식화 모델을 최적화 소프트웨어인 LINGO를 활용하여 다중 시간 주기를 갖는 복잡한 문제를 단일 시간주기를 갖는 문제로 변환하기 위한 접근 방법을 제시함으로써 기존의 OR 접근 방법이 가지는 최적해 산출을 위한 긴 소요시간의 문제를 해결하고 실제 공항에 적용하여 실시간 의사결정을 위한 배정 결과를 제공하였다. 본 연구를 통하여 현재 발견적 기법에만 의존하여 수행되는 주기장 배정결과를 최적화 알고리즘을 통하여 산출함으로써 공항의 주요한 운영 목표인 항공사 및 여객의 시간 비용을 최소화할 수 있다. 또한 기상 악천후로 인한 항공기의 이착륙 지연이 발생할 경우 복잡한 문제를 배정 알고리즘에 의해 신속히 해결함으로써 공항 운영의 효율성뿐만 아니라 공항 안전에도 기여할 수 있을 것이다.

• Journal of Korean Society of Transportation
• /
• v.17 no.4
• /
• pp.71-84
• /
• 1999

The purpose of this study is to construct a dynamic traffic analysis model using the existing traffic flow theory in order to develope a dynamic traffic assignment technique. In this study the dynamic traffic analysis model was constructed using Daganzo's CELL TRANSMISSION THEORY which was considered more suitable to dynamic traffic assignment than the other traffic flow theories. We developed newly the diverging split module, the cost update module and the link cost function and defined the maximum waiting time decision function that Daganzo haven't defined certainly at his Papers. The output that resulted from the simulation of the dynamic traffic analysis model with test network I and II was shown at some tables and figures, and the analysis of the bottleneck and the HOV lane theory showed realistic outputs. Especially, the result of traffic assignment using the model doesn't show equilibrium status every time slice but showed that the average travel cost of every path maintains similarly in every time slice. It is considered that this model can be used at the highway operation and the analysis of traffic characteristics at a diverging section and the analysis of the HOV lane effect.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.2
• /
• pp.211-222
• /
• 1999

본 논문은 위성간 링크를 이용하여 저궤도 위성망을 구성할 때 발생하는 링크할당 문제를 효율적으로 풀기 위한 기법을 제안한다. 제안된 기법은 먼저 위성 궤도운동의 주기성에 기반하여 저궤도 위성망을 유한상태기계로 모델링한 후에, 유한상태기계의 각 상태에서 최적의 링크할당을 구하기 위해서 조합형 최적화 문제에 많이 쓰이는 시뮬레이팅드 어닐리을 이용한다. 제안된 기법의 이점은 저궤도 위성망을 유한상태기계로 모델링함으로써 도적인 움직임을 보이는 저궤도 위성망에서의 링크할당 문제를 고정된 위상을 가지는 망에서의 링크할당 문제로 단순화시키고 이를 토대로 최적화기법을 적용할 수 있다는 것이다. 시뮬레이티드 어닐링에 의하여 최적화된 링크할당의 성능은 정규링크할당과의 비교.분석을 통해서 평가된다. 최적화된 링크할당과 정규링크할당의 성능분석을 위하여 정적경로배정과 동적경로배정 기법이 고려된다. 시뮬레이션을 통한 실험결과는 정적경로배정을 적용한 최적링크할당 기법이 호 봉쇄확률 측면에서 최고의 성능을 가짐을 보여준다. 링크할당기법이 같은 경우에는 정적경로배정이 동적경로배정보다 우수한 성능을 보이는데 이는 동적경로배정의 경우에 상태전이 후에 경로배정 표가 안정화되기 위해서 많은 시간을 필요로 하기 때문이다. 본 논문에서는 제안된 링크할당 기법은 작은 용량의 위성간 링크를 가지고서 많은 호에대한 서비스를 제공하고자 할 때 유용하며, 호의 서비스를 위하여 실제로 필요한 위성간 링크의 용량은 실험결과로부터 유추될 수 있다.

• Journal of Korean Society of Transportation
• /
• v.18 no.5
• /
• pp.99-107
• /
• 2000

Path-based assignment(PBA) is valuable to dynamic traffic control and routing in integrated ITS framework. As one of widely studied PBA a1gorithms, Gradient Projection(GP) a1gorithm typically fields rapid convergence to a neighborhood of an optimal solution. But once it comes near a solution, it tends to slow down. To overcome this problem, we develop more efficient path-based assignment algorithm by combining Conjugate Gradient method with GP algorithm. It determines more accurate moving direction near a solution in order to gain a significant advantage in speed of convergence. Also this algorithm is applied to the Sioux-Falls network and verified its efficiency. Then we demonstrate that this type of method is very useful in improving speed of convergence in the case of user equilibrium problem.