• 제목/요약/키워드: state constraint

Search Result 335, Processing Time 0.969 seconds

시간 제약을 포함한 워크플로우 모델링 및 검증 (Modeling and Verification of Workflows with Time Constraints)

  • 정희택;이도헌;김문자;류영철
    • 한국정보처리학회논문지
    • /
    • 제6권2호
    • /
    • pp.261-274
    • /
    • 1999
  • 최근에 자동화된 업무처리 시스템으로써, 워크플로우 시스템에 대한 연구가 활발히 이루어지고 있다. 기존 연구에서는 태스크 자체에 시간적 특성을 고려하지 않고 태스크의 상태 변이 특성만을 고려하였다. 본 연구는 태스크의 최소 처리시간과 마감시간을 고려함으로써, 시간 제약을 포함한 워크플로우 모델링 및 검증방안을 제안한다. 이를 위해 첫째, 마감시간을 위배하지 않는 태스크의 철회에 대해 대안 태스크를 결정할 수 있는 우선 순위 함수를 제안한다. 우선 순위 함수는 대안 태스크에 대한 시간요소, 의미적 호환 수준을 고려함으로써, 가장 적절한 대안 태스크를 결정한다. 둘째, 기존 연구에서는 순차 및 병행 종속성만을 고려하였으나, 본 연구에서는 태스크간 종속성을 순차 종속성이외에 다양한 병행 종속성인 동시 수행 종속성, 동시시작 종속성, 동시종료 종속성, 간섭된 종속성, 그리고 중첩된 종속성으로 구분하여 제안한다. 셋째, 기술된 워크플로우에 존재할 수 있는 논리적 모순을 발견하기 위해 그래프를 이용한 검증기법을 제안한다.

  • PDF

Aerostatic instability mode analysis of three-tower suspension bridges via strain energy and dynamic characteristics

  • Zhang, Wen-ming;Qian, Kai-rui;Wang, Li;Ge, Yao-jun
    • Wind and Structures
    • /
    • 제29권3호
    • /
    • pp.163-175
    • /
    • 2019
  • Multispan suspension bridges make a good alternative to single-span ones if the crossed strait or river width exceeds 2-3 km. However, multispan three-tower suspension bridges are found to be very sensitive to the wind load due to the lack of effective longitudinal constraint at their central tower. Moreover, at certain critical wind speed values, the aerostatic instability with sharply deteriorating dynamic characteristics may occur with catastrophic consequences. An attempt of an in-depth study on the aerostatic stability mode and damage mechanism of three-tower suspension bridges is made in this paper based on the assessment of strain energy and dynamic characteristics of three particular three-tower suspension bridges in China under different wind speeds and their further integration into the aerostatic stability analysis. The results obtained on the three bridges under study strongly suggest that their aerostatic instability mode is controlled by the coupled action of the anti-symmetric torsion and vertical bending of the two main-spans' deck, together with the longitudinal bending of the towers, which can be regarded as the first-order torsion vibration mode coupled with the first-order vertical bending vibration mode. The growth rates of the torsional and vertical bending strain energy of the deck after the aerostatic instability are higher than those of the lateral bending. The bending and torsion frequencies decrease rapidly when the wind speed approaches the critical value, while the frequencies of the anti-symmetric vibration modes drop more sharply than those of the symmetric ones. The obtained dependences between the critical wind speed, strain energy, and dynamic characteristics of the bridge components under the aerostatic instability modes are considered instrumental in strength and integrity calculation of three-tower suspension bridges.

소재대체법과 치수최적화 기법을 이용한 2층 고속열차 하이브리드 차체 구조물의 경량 설계 연구 (A Study on Lightweight Design of Double Deck High-Speed Train Hybrid Carbody Using Material Substitution and Size Optimization Method)

  • 임재문;정민호;김종연;신광복
    • Composites Research
    • /
    • 제32권1호
    • /
    • pp.29-36
    • /
    • 2019
  • 본 논문의 목적은 소재대체법과 치수최적화 기법을 이용한 2층 고속열차 알루미늄 압출재 차체의 경량 설계를 제시하는 것이다. 소재대체법을 수행하기 위해 위상최적화 기법을 이용하여 차체 구조물의 샌드위치 복합재 적용 부위를 결정하였다. 해석결과, 루프와 2층 언더프레임에 샌드위치 복합재가 적용 가능함을 보여주었다. 치수최적화는 알루미늄 압출재와 카본/에폭시 복합재의 두께를 결정하는데 사용되었다. 치수최적화를 수행하기 위해, 설계변수, 제약조건, 목적함수를 정식화 하였으며 이러한 조건에 의해 유효설계를 도출하였다. 경량 설계의 결과로 2층 고속열차 하이브리드 차체의 무게를 2.18 ton(17.70%)까지 줄일 수 있음을 보여주었다.

유한기억구조 스무딩 필터와 기존 필터와의 등가 관계 (A Finite Memory Structure Smoothing Filter and Its Equivalent Relationship with Existing Filters)

  • 김민희;김평수
    • 정보처리학회논문지:컴퓨터 및 통신 시스템
    • /
    • 제10권2호
    • /
    • pp.53-58
    • /
    • 2021
  • 본 논문에서는 제어 입력이 있는 이산 시간 상태 공간 모델에 대한 유한기억구조(Finite Memory Structure, FMS) 스무딩 필터(Smoothing filter)를 개발한다. FMS 스무딩 필터는 가장 최근 윈도우의 유한 관측값과 제어 입력값만을 이용하여 비편향성 제약조건하에서 최소 분산 성능 지표의 최적화 문제를 직접 해결함으로써 얻어진다. FMS 스무딩 필터는 비편향성(Unbiasedness), 무진동성(Deadbeat) 및 시불변성(Time-invariance)과 같은 내재적으로 좋은 특성을 갖는다. 또한, 관측값과 추정값이 구해지는 시간 사이의 지연 길이에 따라 FMS 스무딩 필터는 기존의 FMS 필터들과 동등함을 보인다. 마지막으로, 컴퓨터 시뮬레이션을 통해 제안된 FMS 스무딩 필터의 내재적인 강인성(Robustness)을 검증하기 위해 일시적인 모델 불확실성을 가진 시스템에 FMS 스무딩 필터를 적용해본다. 시뮬레이션 결과를 통해 제안된 FMS 스무딩 필터가 기존의 FMS 필터와 칼만(Kalman) 필터보다 우수할 수 있음을 보여준다.

차량 엣지 컴퓨팅 네트워크에서 로드 밸런싱을 위한 UAV-MEC 오프로딩 및 마이그레이션 결정 알고리즘 (UAV-MEC Offloading and Migration Decision Algorithm for Load Balancing in Vehicular Edge Computing Network)

  • 신아영;임유진
    • 정보처리학회논문지:컴퓨터 및 통신 시스템
    • /
    • 제11권12호
    • /
    • pp.437-444
    • /
    • 2022
  • 최근 무선 네트워크에서 발생하는 계산 집약적이고 지연시간에 민감한 태스크를 처리하기 위해 모바일 엣지 서비스에 대한 연구가 진행되고 있다. 하지만 지상에 고정되어 있는 MEC는 출퇴근 시간과 같이 태스크 처리 요청이 일시적으로 급증하는 상황에 대해 유연하게 대처할 수 없다. 이를 해결하기 위해 UAV(Unmanned Aerial Vehicle)를 추가로 이용해 모바일 엣지 서비스를 제공하는 기술이 등장하였다. UAV는 지상 MEC 서버와 달리 배터리 용량이 제한되어 있어 UAV MEC 서버 간 로드 밸런싱을 통해 에너지 효율성을 최적화 하는 것이 필요하다. 따라서 본 논문에서는 UAV의 에너지 상태와 차량의 이동성을 고려하며 유전 알고리즘 기반의 태스크 오프로딩과 Q-learning 기반의 태스크 마이그레이션을 통한 로드 밸런싱 기법을 제안한다. 제안 시스템의 성능을 평가하기 위해 차량 속도와 수에 따른 실험을 진행하고, 로드 분산, 에너지 사용량, 통신 오버헤드, 지연 시간 만족도 측면에서 성능을 분석하였다.

Comparative Profitability of Women Dominated Fish-based Livelihood Activities in Southwest, Nigeria

  • Mafimisebi, T.E.;Ikuemonisan, E.S.;Mafimisebi, O.E
    • 융합경영연구
    • /
    • 제3권3호
    • /
    • pp.7-23
    • /
    • 2015
  • Women are more disadvantaged than men in many fronts and this confines them to informal sector livelihood activities. Any attempt to improve women's economic status will require information on the organization, cost and returns to investment in the livelihood activities in which they predominate. This is the issue for this study which compared yield performance in artisanal fishing and fresh fish marketing. Primary data collected through multi-stage sampling method were analyzed using inferential statistics, budgeting and regression models. Empirical findings revealed that about 75.0% of fisher folks either had no formal education or acquired only primary school education while 50.0% of marketers had secondary school education. The budgeting model revealed fisher-folks' and marketers' annual net profit to be N2,882,626.00 and N640,227.00, respectively. Profit from fishing was significantly higher than that of fish marketing. At 53.2% for fishing and 40.3% for marketing, returns to investment was better in fishing. Regression model results showed the significant factors influencing returns to each livelihood strategy to include fishing ground, distance covered and years of experience. The major constraint faced by operators of both livelihoods groups was insufficient credit. Despite this, the livelihood strategies were shown to be profitable ventures which contributed to households' consumption expenditure. Organizing women informal sector operators into groups to enhance access to government support and formal credit are recommended for improving livelihood strategy performance.

다중 릴레이, 다중 사용자 All-MIMO 시스템에서 릴레이 지역 채널 정보를 사용한 기지국 및 릴레이 전처리기 공동 설계 기법 (Joint Base Station and Relay Precoder Design with Relay Local Channel State Information for Multi-relay Aided Multi-user All-MIMO System)

  • 조영민;장승훈;김동구
    • 한국통신학회논문지
    • /
    • 제37권6A호
    • /
    • pp.405-419
    • /
    • 2012
  • 본 논문에서는 다중 릴레이와 다중 사용자가 존재하고, 모든 노드에 다중 안테나가 탑재된 시스템에서 기지국, 릴레이 전처리기 공동 설계 기법을 제안한다. 설계 기준은 릴레이가 각자의 지역 채널 정보만 취할 수 있고, 전체 릴레이 합 전력 제약 환경일 때, 사용자 평균 자승 오류의 합(sum mean square error, SMSE)을 최소화하는 것이다. 한 릴레이의 지역 채널 정보는, 시스템의 모든 첫 번째 홉 및 두 번째 홉 채널 중에서, 그 릴레이 자신이 접속된 채널의 정보로 정의된다. 블록 대각화 전처리기가 연결된 기지국 전처리기 구조를 사용하면, 각 릴레이가 지역 채널 정보만을 활용하여 자신의 전처리기 구조를 결정할 수 있다. 제안 하는 기법은 SMSE 쌍대성을 사용하여 기지국 전처리기와 릴레이 전처리기를 결정하는 1단계 및 사용자 수신 필터를 결정하는 2단계의 순차적 반복을 기반으로 한다. 제안한 기법은 반드시 수렴하며, 이론적으로 이를 검증할 수 있다. 제안하는 기법이 Simple amplify-and-forward(SAF), MMSE 릴레이 및 [1]에서 제안한 방식에 비해서 SMSE 성능, 합 전송률 성능 모두 우월한 것을 확인한다.

An Extended ED-H Real-Time Scheduling Algorithm for Supporting an Intelligent PMU-Based Energy Harvesting System

  • Park, Sangsoo
    • 한국컴퓨터정보학회논문지
    • /
    • 제27권12호
    • /
    • pp.17-27
    • /
    • 2022
  • 본 논문은 커패시터와 에너지 하베스터의 특성이 적용된 최적의 실시간 스케줄링 알고리즘인 ED-H 알고리즘을 적용할 때 적용되는 지능형 전원 관리 유닛에 의한 의도적인 전원 공급 차단 상태인 블랙아웃에서 시간 제약성을 만족하도록 알고리즘을 확장한다. 전원 공급 시스템에서 생산되는 에너지가 충분하지 않은 경우 회로와 커패시터를 보호하기 위해 전력 공급을 일시적으로 차단하고 커패시터가 충분히 충전되었을 때 다시 공급을 재개하므로 이러한 블랙아윳 시간 동안 태스크의 수행이 지연될 수 있으므로 해당 이벤트의 발생에 따른 시간을 계산하였다. 이러한 문제점을 극복하기 위해 원형 ED-H 알고리즘에 의해 태스크 수행이 지연되는 경우라 하더라도 본 논문에서 제안된 알고리즘은 뒤에 이어지는 시간 유닛 중에서 더 이상 태스크의 수행을 지연시킬 여력이 없는 경우, 즉 태스크를 이번 시간 유닛에 수행하지 않으면 시간 제약성을 위배하게 되는 경우의 잔여 시간을 계산하여 잔여 시간이 부족한 경우 시간 제약성을 만족하도록 강제로 스케줄링한다. 시뮬레이션을 통해 본 눈문에서 제안한 알고리즘이 ED-H 알고리즘에 대해 태스크 집합의 유형 특성에 따라 0.4%~7.7%까지 스케줄링 성능이 높은 것을 확인하였다.

Moving Cell Theory를 이용한 동적 교통망 부하 모형의 개발 (Dynamic Network Loading Model based on Moving Cell Theory)

  • 김현명
    • 대한교통학회지
    • /
    • 제20권5호
    • /
    • pp.113-130
    • /
    • 2002
  • 본 연구에서는 Moving Cell theory에 기반한 DNL(Dynamic Network Loading) 모형을 개발하고 이를 이용해 혼잡이 존재하는 교통망에서 교통류가 갖는 동적 특성을 분석하였다. 제시된 모형에서는 동일 시간대에 링크에 진입하는 교통량을 하나의 Cell로 형성하고 Cell following rule에 따라 링크에서 진행시킨다. 기존의 DNL 모형들은 링크에서 발생하는 물리적인 패기행렬을 묘사하기 위해 연속성을 갖는 단일 링크를 주행구간과 대기행렬 구간으로 분리하여 링크에서 발생하는 동적 상태(state)를 주행과 대기로 간단히 묘사하는 방법을 사용하고 있다. 하지만, 이러한 기법은 교통류의 다양한 동적 특성을 묘사하는데 한계점을 가지고 있었다. 이러한 문제점을 극복하기 위해 본 연구에서는 오염물질 확산분석 등에 주로 이용되었던 Lagrangian method과 차량 추종모형을 결합한 Moving Cell theory를 개발하였다. Moving Cell theory하에서 차량군(platoon)은 Cell로 표현되며, 각 Cell들은 추종이론에 따라 진행하게 된다. 이러한 Moving Cell 기반의 시뮬레이선 모형은 이미 Cremer et al.(1999)에 의해 제시된 바 있으나 그 분석 대상이 고속도로 본선구간이었기 때문에 합류나 분류문제를 풀 수 있는 모형을 제시하지 못하였고, Cell이 포함 가능한 차량대수를 인위적으로 설정하는 등 기초적인 수준을 크게 벗어나지 못하였다. 본 연구에서는 위의 연구들이 갖는 한계점을 극복할 수 있는 새로운 형태의 Moving Cell theory를 개발함으로서, 교통류의 연속적인 동적 특성 변화를 Cell의 이동과 상태 변화를 통해 재현하였다. 개발된 모형은 합류와 분류가 존재하는 간단한 가상교통망에서 실행되었고, 기존 DNL 모형에 비해 향상된 동적 교통류 묘사능력을 얻을 수 있었다.on constraint)을 토대로 다음 통행배정 시간대의 실시간 수요로서 반영할 수 있는 방안을 제시한다.여도 취소소송의 대상으로 삼도록 하는 보다 명확하고 일관성 있는 논의전개를 제안하였다.수 있었다.로 첨가하여 48시간 배양한 후 암항원 유전자 발현성을 측정한 결과 세포주에 따라 다소 차이는 있으나 대개 0.2 uM농도에서도 유전자 발현이 유도되었으며 1, 5 uM농도에서 매우 강하게 유도되었다. ADC 처리가 페암세포주의 MHC와 B7 발현을 증가시키는가를 알아보기 위해 1 uM 농도의 ADC를 72시간 처치한 후 FACS 분석을 실시한 결과 4개의 페암세포주에서 MHC 및 B7분자의 발현은 유도되지 않았다. 또 ADC농도가 세포성장에 미치는 영향을 알아보기 위하여 ADC를 0.2, 1, 5 uM농도로 96시간 처치 후 세포수를 측정하여 상대성장지수를 알아본 결과 ADC 처치 농도가 증가함에 따라 세포의 성장은 매우 감소하였다. 결론: 폐암세포주에서 ADC처치는 MAGE, GAGE 및 NY-ESO-1과 같은 세포독성 T 림프구 반응을 유도할 수 있는 암항원의 발현을 증가시킬 수 있으며, ADC의 세포독성과 항원 발현 유발시간을 분석할 때 1 uM 농도에서 48시간 처치한 후 ADC가 없는 배지에서 수일간 배양하는 것이 가장 효과적이라고 생각된다. 그러나, ADC를 처치하여도 MHC 및 B7의 발현의 변화는 없었으므로 ADC를 처치한 폐암세포를 암백신으로 사용하기 위해서는 MHC나 B7 및 cytokine의 발현을 증가시키는 추가적인 처치가 필요하다고 생각된다.ded.한 질소제거를 N-balance로부터 구해보면, R3 반응조의 경우가 가장 높은 제거율(40.9%)을 보였다. 이상의 결과들을 볼 때, Bncillus 균주는 호기적 탈질을 일으킬 수 있는 가능성이 있고, Bncillus 균주를 이용한 B3 공정은 탈질에 이용되는 탄소량이 거의 없고, 적은

일관성 있는 사용자 인터랙션 설계를 위한 방법론 개발 (A Methodology for Consistent Design of User Interaction)

  • 김동산;윤완철
    • 한국HCI학회:학술대회논문집
    • /
    • 한국HCI학회 2009년도 학술대회
    • /
    • pp.961-970
    • /
    • 2009
  • 지난 10여 년 동안 모바일폰과 같은 인터랙티브 기기들은 새로운 버전이 나올 때마다 새로운 기능들이 덧붙여지면서 점점 더 사용하기 복잡해졌다. 다기능 복합기기의 사용 복잡도를 줄이기 위한 한 가지 방법은 그것을 일관성 있게 설계하는 것이다. 일관성을 정의하기가 쉽지 않고 때로는 일관성 있게 디자인한 것이 오히려 사용성을 낮추는 경우도 존재하지만, 일반적으로 일관성 있게 설계된 시스템은 그 사용법을 더 배우기 쉽고, 기억하기 쉬우며, 에러가 덜 발생한다. 그러나 실제적으로 다기능 복합기기의 사용자 인터랙션 또는 인터페이스를 일관성 있게 설계하는 일은 쉽지 않다. 다기능 기기의 인터랙션 설계는 매우 많은 수의 설계 변수들과 그것들 간의 관계를 고려해야 하므로 많은 시간이 소요되고 디자인 에러가 발생하기 쉽다. 따라서, 이런 복잡한 설계 과정을 지원할 수 있는 방법론의 개발이 필요하다. 본 연구에서는 CUID (Consistent Design of User Interaction)라고 명명한 효과적이고 효율적인 인터랙션 설계 방법론을 개발하였다. CUID는 일관성 있는 인터랙션 설계를 위한 디자인 프로세스와 그것을 지원하는 소프트웨어 툴을 포함한다. 이 방법론은 물리적 또는 시각적인 일관성보다는 논리적 일관성에 초점을 맞추고 있으며, 태스크 절차의 설계, 각 시스템 상태에서 가능해야 하는 조작(기능)에 대한 결정, 그리고 가능한 조작(기능)들을 어떤 인터페이스 컨트롤(control)을 통해 수행하도록 할 것인지에 대한 결정을 주요한 설계 문제로 다룬다. 또한, 본 논문에서는 사례 연구를 통해 CUID의 효용성을 검증하였다.

  • PDF