• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제16권11호
• /
• pp.3479-3492
• /
• 2022

Longitudinal quantification of brain changes due to development, aging or disease plays an important role in the filed of personalized-medicine applications. However, due to the temporal variability in shape and different imaging equipment and parameters, estimating anatomical changes in longitudinal studies is significantly challenging. In this paper, a longitudinal Magnetic Resonance(MR) brain image segmentation algorithm proposed by combining intensity information and anisotropic smoothness term which contain a spatial smoothness constraint and longitudinal consistent constraint into a variational framework. The minimization of the proposed energy functional is strictly and effectively derived from a fast optimization algorithm. A large number of experimental results show that the proposed method can guarantee segmentation accuracy and longitudinal consistency in both simulated and real longitudinal MR brain images for analysis of anatomical changes over time.

• IEIE Transactions on Smart Processing and Computing
• /
• 제6권2호
• /
• pp.76-84
• /
• 2017

This paper presents an efficient method for generating spatiotemporal images in order to detect leukocyte motion in microvessels. Leveraging the constraint that leukocytes move along the contour line of the blood vessel wall, our proposed method efficiently generates spatiotemporal images for leukocyte motion detection. To that end, translational motion caused by in vivo movement is first removed by a template matching method. Second, the blood vessel region is detected by an automatic threshold selection method in order to binarize temporal variance images. Then, the contour of the blood vessel wall is expressed via B-spline function. Finally, using the detected blood vessel wall's contour as an initial curve, the plasma layer for the most accurate position is determined in order to find the spatial axis via snake, and the spatiotemporal images are generated. Experimental results show that the spatiotemporal images are generated effectively through comparison of each step with three images.

• Journal of Electrical Engineering and Technology
• /
• 제3권4호
• /
• pp.509-513
• /
• 2008

In this paper, we investigate how generators' ramp-rate constraints may influence their equilibrium strategy formulation. In the market model proposed in this study, the generators' ramp-rate constraints are explicitly represented. In order to fully characterize the inter-temporal nature of the ramp-rate constraints, a dynamic game model is presented. The subgame perfect Nash equilibrium is adopted as the solution of the game and the backward induction procedure for the solution of the game is designed in this paper. The inter-temporal nature of the ramp-rate constraints results in the Markov property of the game, and we have found that the Markov property of the game significantly simplifies the subgame perfect Nash equilibrium characterization. Finally, a simple electricity market numerical illustration is presented for the successful application of the approach proposed.

• Journal of Computing Science and Engineering
• /
• 제12권1호
• /
• pp.1-11
• /
• 2018

Human activities recognition is a challenging task due to its complexity of human movements and the variety performed by different subjects for the same action. This paper presents a recognition algorithm by using skeleton information generated from depth maps. Concatenating motion features and temporal constraint feature produces feature vector. Reducing dictionary scale proposes an improved fast classifier based on sparse representation. The developed method is shown to be effective by recognizing different activities on the UTD-MHAD dataset. Comparison results indicate superior performance of our method over some existing methods.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2001년도 춘계학술발표논문집
• /
• pp.57-61
• /
• 2001

MPEG-4 컨텐츠는 다양한 사용자 상호작용에 의하여 장면과 객체의 재생 시간이 동적으로 변화하는 특징이 있다. 본 논문에서는 MPEG-4 컨텐츠를 저작할 때, 사용자 상호작용에 의하여 변화하는 시간 관계에 대한 제약 조건을 모델링한다. 또한 모델링된 시간 제약 모델에 기반한 MPEG-4 컨텐츠 저작 시스템인 MPEG-4 Studio 에 대하여 기술한다. 이 MPEG-4 Studio는 사용자가 저작한 시간 제약에 딸라 MPEG-4 컨텐츠를 재생하는 중요한 연구이다.

• 지능정보연구
• /
• 제6권2호
• /
• pp.1-14
• /
• 2000

컨테이너 터미널에서의 선석 및 크레인 일정계획은 일정 기간 동안 입항 예정인 선박들을 대상으로 선석을 배정하고 접안 시기와 기간을 결정하며, 또한 각 선박별로 컨테이너를 싣고 내릴 크레인을 배정하되 각 크레인의 서비스 시작과 완료시간까지 지정하는 전 과정을 포함한다. 이 문제는 본적으로 서로 시간적 공간적으로 복잡한 제약 관계에 있는 여러 선석들과 크레인들을 충돌 없이 각 선박에 할당하여야 하는 제약조건 만족 문제인 동시에, 각 선박의 희망 입출항 시간을 최대한 존중하면서 터미널의 운영비용을 최소화할 수 있는 계획안을 도출해야 하는 최적화 문제이기도 하 다. 본 논문에서는 이 문제의 해결을 위해 제약만족 탐색기법을 동원하여 먼저 제약조건을 만족하는 해를 찾은 뒤, 제약조건을 만족하는 범위 내에서 보다 최적의 해를 유도해 내기 위해 휴리스틱 교정 기법을 제약만족 탐색기법의 틀 내에서 반복적으로 적용하는 방안을 제시하고 있다. 실제 부산 신선대 컨테이너 터미널의 데이터를 이용한 실험 결과 현장 전문가가 만족할 만한 수준의 일정 계획을 신속하게 수립할 수 있음을 확인하였다.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권11호
• /
• pp.1333-1343
• /
• 1999

경성 실시간 시스템의 태스크들은 논리적으로 올바른 결과를 산출해야 하지만 또한 각자의 시간 제한 조건을 만족하여야 한다. 간격제한 스케줄링은 시간 제한 조건이 시간 간격 제한으로 주어지는 실시간 태스크들을 스케줄하기 위하여 도입되었다. 간격제한 스케줄링에서의 각 태스크들은 시간 간격 제한 조건을 갖는데, 이것은 태스크의 두 연속적인 수행의 종료시간에 대해 제한을 가한다. 다시 말해, 간격제한 스케줄링에서의 각 태스크 수행은 그 태스크의 직전 수행 완료 시간으로부터 발생하는 데드라인을 갖는다. 간격제한 태스크 스케줄링에 관한 많은 연구는 단순화 방법에 기초하고 있다. 그러나, 우리는 이 논문에서 단순화 방법을 사용하지 않고, 정적 우선순위 및 정적 분리 제한 정책을 채용한 새로운 간격제한 태스크 스케줄링 방법을 제안한다. 제안된 정적 할당 방법은 스케줄링 분석 및 구현을 매우 간단히 할 수 있으며, 또한 스케줄러의 실행시간 오버헤드를 줄일 수 있다.Abstract Tasks in hard real-time systems must not only be logically correct but also meet their timing constraints. The distance-constrained scheduling has been introduced to schedule real-time tasks whose timing constraints are characterized by temporal distance constraints. Each task in the distance-constrained scheduling has a temporal distance constraint which imposes restriction on the finishing times of two consecutive executions of the task. Thus, each execution of a task in the distance-constrained scheduling has a deadline relative to the finishing time of the previous execution of the task.Much work on the distance-constrained task scheduling has been based on the reduction technique. In this paper, we propose a new scheme for the distance-constrained task scheduling which does not use the reduction technique but adopts static priority and static separation constraint assignment policy. We show that our static assignment approach can simplify the scheduling analysis and its implementation, and can also reduce the run-time overhead of the scheduler.

• 한국산학기술학회논문지
• /
• 제11권12호
• /
• pp.5015-5022
• /
• 2010

기존의 패턴 탐사 기법들은 대부분 객체가 갖는 공간 정보의 연속적인 변화에 대한 패턴 탐사는 가능하나, 추출하고자 하는 패턴에 반드시 포함되어야 하는 공간 정보에 대한 제약이 없어 특정 지점들 사이의 최적 경로 탐색 문제나 단위기간 동안 이동 객체가 순회해야 하는 지점들에 대한 경로 예측 문제 등에 적용하기 어렵다. 본 논문에서는 Road Network 상의 특정한 지점들 사이를 이동한 객체의 위치 데이터들 중 최다 빈발 패턴과 시간 및 비용 등의 가중치를 복합적으로 고려하여 최적의 이동 경로를 탐색하는 방법(Spatial-Temporal Optimal Moving Pattern(with Frequency & Weight) algorithm)[13]을 이용하여, 공간 개념 계층에 따른 경로 탐색의 정확도를 분석한다. 분석의 결과는 패턴 탐사 과정에 있어 공간 제약을 적용하여 검색 데이터 범위를 축소함으로써 데이터베이스 검색 시간을 최소화함을 보이고, 또한 공간 추상 계층의 각 계층별 영역 내 포함여부를 고려함으로써 효율적으로 최적 이동 패턴을 탐색하여 제공하도록 한다.

• 정보처리학회논문지D
• /
• 제10D권7호
• /
• pp.1103-1114
• /
• 2003

현재의 이동객체를 기반으로 하는 다양한 시공간 응용환경에서의 서비스 지원 시스템 개발을 위하여 중요한 문제 중의 하나는 방대한 이동객체의 위치 이동 데이터로부터의 의미 있는 지식인 시공간 이동 패턴을 탐사하는 것이다. 이를 위하여 시간적 위상관계, 공간적 위상관계 그리고 시공간적 위상관계에 대한 접근이 지식 탐사를 위하여 고려되어야 한다. 이 논문에서는 효율적인 시공간 이동 패턴 탐사 기법인 MPMine 알고리즘을 제안하였다. 제안한 기법은 시간 제약조건과 공간 제약조건 등을 함께 괴려하며 또한 공간 위상 연산인 contain()을 이용한 공간 개념화를 수행할 수 있다. 제안한 기법은 기존의 일반적인 시간 패턴 탐사 기법과 달리 이동객체 데이터 집합으로부터 위치 및 일반화를 통하여 탐색 공간을 줄일 수 있어 효율적으로 유용한 이동 패턴을 탐사할 수 있다.

• 대한지리학회지
• /
• 제43권3호
• /
• pp.358-374
• /
• 2008

본 연구에서는 자녀의 연령대에 따라 남녀간 그리고 여성 집단간에 차별화된 도시기회 접근성 경험이 어떻게 나타나는가를 살펴보았다. 미국 Portland Metro의 개인통행자료를 이용해 시간지리학적 분석틀에 기초한 GIS-기반 지오컴퓨테이션을 통해 시 공간적 접근성을 측정하고, 접근성의 시 공간적 특성을 중심으로 젠더화된 접근성 경험 양상을 분석하였다. 주요 결과는 다음과 같다. 첫째, 여성이 남성에 비해 시간제근무 비율이 훨씬 높아 시 공간 재량권이 많을 것으로 예상되지만, 실제로는 남성보다 접근성 수준이 높지 않았다. 이는 여성에게 또 다른 제약조건이 존재한다는 것을 의미하며, 젠더 불평등에 기인하는 것으로 해석할 수 있다. 둘째, 여성의 전근성 공간이 남성에 비해 훨씬 집에서 가까운 거리에서 주로 형성되는 패턴은, 모든 여성집단에서 보편적으로 나타나는 것이 아니라, 집약적 육아부담을 갖는 영 유아기 자녀를 둔 여성에게서 관찰되었다. 남성은 자녀 유무나 연령대에 상관없이 일정한 패턴을 유지하여 여성과 대조를 이루었다. 자녀가 없거나 초등학생 이상의 자녀를 둔 여성은 남성과 유사한 접근성의 시 공간 패턴을 보여, 시 공간적 구속성(spatial-temporal entrapment)으로 특징지을 수 있는 여성의 접근성 경험은 성별 즉 남녀(sex)의 문제라기보다는 젠더(gender) 즉 사회적 성 역할(gender roles)과 연관된 문제임을 알 수 있다 셋째, 직장과 자녀의 탁아/교육시설은 집과 더불어 접근성 공간을 결정짓는 중요한 공간적 축인데, 영 유아기 자녀를 둔 여성은 남성에 비해 훨씬 집에서 가까운 직장을 다니며 또 그보다 더 집에서 가까운 탁아시설을 주요 축으로 접근성 공간이 형성됨으로써 시 공간적 구속성이 극대화되어 나타나게 된다는 것을 알 수 있다.