• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제14권6호
• /
• pp.2422-2443
• /
• 2020

This paper studies a single-user Mobile Edge Computing (MEC) system where mobile device (MD) includes an application consisting of multiple computation components or tasks with dependencies. MD can offload part of each computation-intensive latency-sensitive task to the AP integrated with MEC server. In order to accomplish the application faultlessly, we calculate out the optimal task offloading strategy in a time-division manner for a predetermined execution order under the constraints of limited computation and communication resources. The problem is formulated as an optimization problem that can minimize the energy consumption of mobile device while satisfying the constraints of computation tasks and mobile device resources. The optimization problem is equivalently transformed into solving a nonlinear equation with a linear inequality constraint by leveraging the Lagrange Multiplier method. And the proposed dual Bi-Section Search algorithm Bi-JOTD can efficiently solve the nonlinear equation. In the outer Bi-Section Search, the proposed algorithm searches for the optimal Lagrangian multiplier variable between the lower and upper boundaries. The inner Bi-Section Search achieves the Lagrangian multiplier vector corresponding to a given variable receiving from the outer layer. Numerical results demonstrate that the proposed algorithm has significant performance improvement than other baselines. The novel scheme not only reduces the difficulty of problem solving, but also obtains less energy consumption and better performance.

• 전자공학회논문지S
• /
• 제35S권6호
• /
• pp.46-54
• /
• 1998

본 논문은 파라미터 불확실성을 갖는 비선형 시스템을 안정화하며, 폐루프 시스템의 외란감쇠에 대한 $L_{2}$ 이득 제한조건을 만족시키는 견실 퍼지 $H^{\infty}$ 제어기 설계기법을 제시한다. 불확실성을 갖는 비선형 시스템을 불확실성을 갖는 Takagi-Sugeno(T-S) 모델로 표현하고 병렬 분산 보상(PDC : parallel distributed compensation)의 개념을 이용하여 제어기를 설계한다. 파라미터 불확실성을 갖는 T-S 퍼지모델에 대한 감쇠율을 만족하는 폐루프 시스템의 안정성 조건과 Lyapunov 함수를 이용하여 외란감쇠 조건을 유도하고, 선형 행렬 부등식(LMI: linear matrix inequality)을 이용하여 견실 퍼지 $H^{\infty}$ 제어기가 존재할 충분조건을 구한다. 마지막으로 불확실성을 갖는 비선형 시스템에 대한 퍼지 $H^{\infty}$ 제어기 설계 예를 보인다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권10호
• /
• pp.1304-1319
• /
• 2004

프로그램 시험 비용은 테스트 데이타를 생성하는 과정을 자동화함으로써 상당히 줄일 수 있다. 테스트 데이타 생성은 보통 선택된 프로그램 경로를 실행하는 입력 값들을 식별하는 데 주안점을 둔다. 지금까지 많은 연구가 있어왔지만 여전히 해결해야할 문제가 있다 그러한 문제들 중에 모양 문제가 있다. 모양 문제는 주어진 프로그램 경로를 수행하기 위해 요구되는 입력 자료구조를 밝혀내는 문제이다. 이 논문에서 이 모양 문제에 대한 새로운 방법을 제시한다. 이 방법은 주어진 경로를 포인터 역 참조가 없는 정적단일 할당문 (Static Single Assignment, SSA) 형태로 변환한다. 이는 주어진 경로 상에 존재하는 각 프로그램 문장을 등식이나 부등식과 같은 제약식으로 간주할 수 있게 해준다. 이러한 제약식에 대한 해는 각 입력 변수에 대한 'points-to relation' 형태로 나타난다. 간단한 예들을 통하여 제안한 방법에 대해 설명한다.에 대해 설명한다.

• 한국사회정책
• /
• 제19권2호
• /
• pp.69-97
• /
• 2012

이 연구는 중고령자의 근로여부와 근로시간 선호에 영향을 미치는 요인을 국가비교적 관점에서 경험적으로 분석하였으며, 특히 계층효과, 일에 대한 관점, 노동시장 구조의 배출효과와 사회보장제도 등의 유인요인 효과 등의 가설을 검증하기 위해 국제인식조사자료를 이용하여 18개국에 대한 다층분석을 수행하였다. 주요결과는 다음과 같다. 첫째, 계층과 관계없이 대다수의 고령자들이 일하기를 원하며, 따라서 대다수 중고령자의 비근로는 일을 하지 않으려는 자발적인 선택이 아닐 수 있는 가능성을 보여준다. 둘째, 55-64세 집단에 있어서는 계층이 높을수록 일을 계속할 가능성이 높은 계층간 불평등이 발견되었다. 셋째, 근로여부와 근로시간 선호는 사회보장제도의 관대성보다는 시간제 근로비중 등 고령자에게 적합한 유연한 일자리가 제공되느냐에 더 영향을 받음을 확인하였다. 결론적으로, 적어도 국가 비교적 관점에서 볼 때 고령자 근로의 핵심적인 문제는 노동공급측의 문제(즉 고령자의 근로의욕)라기보다는 노동수요측의 문제, 퇴직 유인의 문제보다는 일자리 상황과 구조의 문제라고 보여진다.

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

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

• 대한교통학회지
• /
• 제20권4호
• /
• pp.135-150
• /
• 2002

기 제안된 수리적 동적통행배정모형은 전체 시뮬레이션 기간동안 시간종속적 교통수요와 교통망의 교통상황이 이미 안정되어 있고 장래에도 예측가능 하다는 가정을 전제로 개발되었다. 이러한 가정은 실제 시시각각으로 변화하는 교통수요와 교통상황의 예측 불가능함 고려할 때 비현실적이라고 할 수 있다. 한편, Rolling Horizon Implementation(RHI)은 기종점간의 수요행렬(trip matrix)과 교통상황(traffic condition)이 단기간의 예측시간동안 현재의 예측정보를 기반으로 신뢰성 있게 모니터링 될 수 있고, 그 시점에서 보다 미래로 연장된 시간으로는 불확실성(uncertainty)의 증가를 고려한다는 가정을 전제로 제안되었다. 따라서, RHI개념과 부합되는 수리적 동적통행배정모형은 시뮬레이션 출발시점에 수요와 교통상황에 대한 확정적 정보가 이미 획득되어 있고, 그 기간이후의 정보에 대해서는 시간이 흐름에 따른 정보의 유용성을 근거로 각 운전자 그룹이 인지 (Perceived)하는 가로망의 통행비용(travel cost)을 최소화되도록 차량을 배정하는 것으로, 실시간적으로 인지된 교통수요와 교통망에 대한 정보를 통행배정초기에 입력변수로 사용하여 실시간 교통정보모형으로서 운영가능 하다는 장점을 제공한다. 본 연구는 수리적 동적통행배정모형이 RHI개념과 부합되어 교통상황과 수요변화를 실시간적으로 반영하여 운영되도록 모형의 기능을 확장하는 데 있다. 이를 위해, 다계층 이용자(multiple user classes) 동적통행배정모형을 변동등식(variational equality)이론에 근거한 모형식을 기반으로, 실시간 통행배정에서 발생하는 종점에 도착하지 못한 차량(unfinished trips)과 이들의 재배정(rerouting strategy) 문제를 인식하고, 이 차량들을 링크상의 교통량 전파조건(flow propagation constraint)을 토대로 다음 통행배정 시간대의 실시간 수요로서 반영할 수 있는 방안을 제시한다.

• 한국전자통신학회논문지
• /
• 제16권4호
• /
• pp.591-598
• /
• 2021

디지털 위상 고정 루프는 위상 동기화를 위해 사용되는 회로로 일반적으로 통신, 회로분야 등 다양한 분야에서 사용된다. 디지털 위상 고정 루프를 설계 시 상태추정기를 사용하는 경우 보통 칼만 필터와 같은 무한 임펄스 응답 상태추정기를 활용해왔다. 일반적으로 무한 임펄스 응답 상태추정기 기반 디지털 위상 고정 루프의 성능은 우수하지만, 초기값의 부정확, 모델 오차, 외란 등의 예상하지 못하는 상황에서 급격한 성능저하가 발생할 수 있다. 본 논문에서는 새로운 디지털 위상 고정 루프를 설계 하기 위해 최적의 측정값 구간 길이를 갖는 최소 공분산 유한 임펄스 응답 필터를 제안한다. 제안된 유한 임펄스 응답 필터의 중요 파라미터인 측정값 구간 길이를 구하기 위해 수치적 방법을 소개하며, 필터의 이득을 얻기 위해 비용함수로 오차의 공분산 행렬을 설정하고, 이를 최소화 하기 위하여 선형 행렬 부등식을 사용하였다. 제안된 디지털 위상 동기 루프의 우수성과 강인성을 검증하기 위해 노이즈 정보가 부정확한 상황에서 기존 방법과의 비교 및 분석을 위한 시뮬레이션을 수행하였다.