• 제목/요약/키워드: 제약조건

검색결과 2,124건 처리시간 0.024초

선형 계획법을 이용한 Timing Diagram의 테스트 입력 시퀀스 자동 생성 전략 (Test Input Sequence Generation Strategy for Timing Diagram using Linear Programming)

  • 이홍석;정기현;최경희
    • 정보처리학회논문지D
    • /
    • 제17D권5호
    • /
    • pp.337-346
    • /
    • 2010
  • Timing diagram은 시간에 따른 시스템의 행동을 표현하기 용이하고 표현된 행동을 쉽게 인식할 수 있는다는 장점 때문에 널리 사용되고 있다. Timing diagram으로 기술된 시스템을 테스트 하기 위해서는 여러 기술이 필요하다. 그 중의 하나는 테스트 케이스 목표들이 존재할 때, 시스템 모델이 원하는 상태에 도달하도록 하기 위해 입력 값들의 시퀀스를 생성하는 기술이다. 본 논문은 Timing diagram모델에 대한 테스트 케이스 목표로부터 테스트 입력 시퀀스를 자동으로 생성하는 방법을 제안한다. Timing diagram에서 테스트 입력 시퀀스를 자동으로 생성하기 위해서는 입력 waveform과 시간 제약으로 이루어진 시점의 전이 조건을 만족시키는 적절한 입력 집합을 필요로 한다. 이와 같은 문제를 해결하기 위해, 본 논문에서는 선형 계획법을 이용한 접근 방식을 택하였는데, 해결과정은 다음과 같다. 1) Timing diagram 모델을 입력으로 받아 이를 선형 계획 문제로 변형한다. 2)변형된 선형 계획 문제를 선형 문제 해결 도구를 사용하여 해결한다. 3) 선형 계획 문제의 해답으로부터 Timing diagram모델의 테스트 입력 시퀀스를 생성한다. 본 논문에서는 임의의 Timing diagram 모델에 대해 이를 선형 계획법으로 모델링 하는 방법을 형식적으로 기술하였고, 증명을 통해 본 논문의 접근 방법의 타당성을 보였으며, 또한 도구를 구현하여 Timing diagram 예제 모델로부터 테스트 입력 시퀀스를 생성함으로써 본 논문의 유용성을 입증하였다.

수평축 풍력 블레이드 공력 형상 최적화 설계 프로그램 개발 (Development of Aerodynamic Shape Optimization Program for Horizontal Axis Wind Turbine Blade)

  • 유철;손은국;황성목;최정철;이진재;김석우;이광세
    • 한국산학기술학회논문지
    • /
    • 제18권12호
    • /
    • pp.9-16
    • /
    • 2017
  • 본 논문에서는 풍력 발전기 블레이드 공력 설계 프로세스를 정립하고, 최적화 설계 전략을 제시 하였으며, 공력 설계 진행시에 반드시 검토 필요한 제약 조건들에 대해서 정리 하였다. 이를 토대로 하여 연구 목적뿐 아니라, 블레이드 설계자가 실제 업무에 쉽게 적용 가능하고, 초기 개념설계 단계부터 최종 3차원 형상 상세 설계 단계까지 통합적으로 수행이 가능한 BEMT 기반의 공력 설계 프로그램을 개발하였다. 개발된 프로그램 AeroDA는 개념 설계 모듈, 기본 설계 모듈, 최적 TSR 도출 모듈, 국부 형상 최적화 모듈, 성능 해석 모듈, 설계 검증 모듈 및 3차원 형상생성 모듈로 구성이 된다. 개발된 프로그램을 활용하여 NREL에서 공개 배포한 5MW 블레이드를 기반으로하여 하중저감을 위한 개선 설계를 진행하여 본 프로그램이 최적화 설계에 유용하게 사용 가능함을 확인 하였다. 또한 10kW 블레이드 공력 설계 및 터빈 상세 성능 해석을 진행하고, 이를 상용 전문 프로그램 DNV GL Bladed 결과와 비교하여 정확도를 검증하였다.

저 전력 6LoWPAN 프로토콜 설계 (Low-power 6LoWPAN Protocol Design)

  • 김창훈;김일휴;차정우;남인길;이채욱
    • 융합신호처리학회논문지
    • /
    • 제12권4호
    • /
    • pp.274-280
    • /
    • 2011
  • 최근 연구가 활발히 전행되고 있는 IP기반 무선 센서네트워크 기술은 현대인들 삶의 질적 향상이나 요구사항을 만족시키기 위해 반드시 필요한 기술 중의 하나이다. IP기반 무선 센서네트워크의 대표 기술로는 6LoWPAN 프로토콜이 있다. 기존 6LoWPAN 프로토콜 상에서 제공되는 기능 중 단편화 기법은 여러 개의 IEEE 802.15.4 프레임이 나뉘어져 도착하는 것을 말하는데, 센서네트워크의 프로토콜 데이터 단위가 102바이트인데 반해 IPv6의 최대 전송 단위가 1280바이트로 큰 차이를 보이기 때문에 이를 극복하기 위한 기술로 단편 패킷 전송의 특성상 많은 에너지 소모가 일어난다. 본 논문에서 제안한 ID 기반 단편 패킷 전송 기법을 적용한 결과 주소 방식(16, 64bit)에 따라 약 7-22% 정도 전송횟수가 감소되었다. 뿐만 아니라, 기존 LOAD 라우팅 프로토콜을 사용하여 경로 설정을 할 경우 센서노드가 통신을 할 수 없는 경우가 아니면 한번 설정된 경로는 변하지 않는다. 이는 특정 노드의 에너지 고갈을 야기 시키고 네트워크 전체에 영향을 주기 때문에 적절한 에너지 분배가 이루어져야 한다. 에너지 분배를 고려할 수 있도록 제안한 LOAD 라우팅 프로토콜은 통신이 이루어질수록 전체 네트워크 내에 모든 노드들의 에너지는 균등하게 유지됨을 보였다. 또한 한 번의 라우팅 수행 시 이웃 노드들의 정보를 획득할 수 있어 원 홉 데어터 전송에 소모되는 에너지를 절약할 수 있다. 따라서 본 논문에서 제안된 6LoWPAN 프로토콜은 에너지 제약 조건이 심한 무선 센서네트워크 환경에 매우 적합하다 할 수 있다.

Rectangle Layout을 이용한 XML 기반 모바일 정보 시각화 시스템 (An XML based Mobile Information Visualization System for Mobile Devices using Information layout Techniques)

  • 유희용;전서현
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제33권9호
    • /
    • pp.776-786
    • /
    • 2006
  • 본 논문은 제한된 디스플레이를 가지는 모바일 디바이스 상에서 XML로 작성된 정보를 사용자에게 효과적으로 보여주는 rectangle layout을 이용한 XML 기반의 모바일 정보 시각화 시스템을 제안한다. 먼저 트리 형태의 정보뿐만 아니라 사이클이 존재하는 그래프 정보까지 기술하도록 XML 스키마를 정의한다. XML로 기술된 정보에 대해 디스플레이 화면상에 배치할 때, 사각형의 형태를 가지는 디스플레이 화면의 특징을 고려하여 기존 radial layout을 개선한 rectangle layout 방식을 적용한다. 그 다음 전체 정보와 사용자가 관심을 가지는 정보를 동시에 표현하기 위해 어안 뷰(fisheye view)알고리즘의 DOI를 rectangle layout에 표현된 모든 정보에 적용한다. 또한 사용자가 새로운 관심 대상 정보를 선택하였을 때, 정보들의 화면 재배치에 따른 변화에 사용자 혼란을 줄이고 사용자의 인지력을 향상시키기 위한 방법을 모바일 디바이스의 능력을 고려하여 제안한다. 제안된 focus+context 방식의 정보 시각화 시스템은 데스크 탑에 비해 CPU 계산 능력과 디스플레이 화면, 메모리 제약이 심한 PDA, 셀룰라 폰, 스마트 폰과 같은 모바일 디바이스 상에서 정보 검색에 효과적인 인터페이스를 제공한다. 본 논문에서는 제안한 정보 시각화 시스템을 PDA상에 구현하고 제안된 rectangle layout을 이용한 정보 시각화 방식과 기존 radial layout을 이용한 정보 시각화 방식에 다양한 조건을 적용하여 실험 및 평가를 진행한다.

현시선호와 진술선호 자료의 결합을 통한 조건부 가치측정법 소득조정계수의 추정 (An Empirical Test for CVM Calibration Factor through Combining Revealed and Stated Preferences Data)

  • 엄영숙
    • 자원ㆍ환경경제연구
    • /
    • 제13권3호
    • /
    • pp.337-366
    • /
    • 2004
  • 비시장재 가치평가기법 중의 하나인 조건부 가치평가법(CVM)은 응답자들이 가상적 환경질 변화에 대한 지불의사를 표시할 때 현실적 예산제약조건에 기초하지 않기 때문에 과다평가피는 경향이 있다는 비판을 받아왔다. 본 연구는 여행비용법에 기초한 레크리에이션 수요함수와 조건부 가치평가법에 기초한 지불의사함수를 효용이론의 틀 안에서 결합 추정하는 과정에서 CVM 응답과 관련된 소득조정계수(income calibration factor)를 추정함으로써 CVM의 유효성과 타당성을 분석하고자 한다. 수요함수와 지불의사함수의 결합추정모형은 최근 새만금 사업과 관련하여 논란이 되고 있는 만경강 유역의 수질개선을 사례로 분석하였다. 결함추정의 결과 중요 경제변수인 가격과 소득 그리고 수질변수들은 경제이론이 설명하는 바대로 수요함수와 지불의사 함수에 통계적으로 유효한 영향을 미쳤다. 소득조정계수 역시 통계적으로 1과 다르지 않은 것으로 나타나 실제 레크리에이션 수요행동에 비추어 가상적 수질개선에 대한 지불의사를 진술하는데 있어서, 적어도 예산과장의 측면에서 체계적인 편의는 관찰되지 않았다. 이러한 본 연구의 결과는 주의 깊게 설계된 CVM 연구가 비시장재인 환경질의 변화에 대한 소비자들의 지불의사를 도출하는데 유용한 자료를 제공할 수 있음을 실증적으로 시사하고 있다.

  • PDF

해양과학에서 mesocosm의 적용 사례 연구: 연성저질환경연구를 위한 도구 (Mesocosm as a Scientific Tool for Marine Science: Focused on the Soft-bottom Environment)

  • 양재삼;정용훈
    • 한국해양환경ㆍ에너지학회지
    • /
    • 제14권2호
    • /
    • pp.93-106
    • /
    • 2011
  • 본 연구는 mesocosm의 정의, 규모, 연구사례, 국내 외 연구동향, mesocosm 조성 시 일반적인 문제점, 해결방안을 거론하고, 끝으로 향후 발전방향을 제시하였다. 지면의 제약 때문에 주로 연성저질생태계(soft-bottom ecosystem)를 위한 mesocosm의 조성에 관련된 내용에 중점을 두었다. Mesocosm이란 규모적인 측면에서 "중형(1~1000 $m^3$)규모이며, 외부에서 먹이 공급 없이 스스로 유지가 가능하며, 환경의 일부 조건을 인위적으로 조절 가능한 인공생태계"를 말한다. 이러한 연구는 1960년대 중반부터 해양/담수생태계, 특히 해양식물플랑크톤이 주 연구 대상이었으나, 점차 확대되어, 최근에는 독성학, 육수학, 환경학, 환경공학, 지구화학 등 다양한 분야에서 흔히 사용하는 도구가 되었다. 과학적인 도구의 하나로서 mesocosm은 기본적으로, 1. 재현성(replicability), 2. 반복성(repeatability), 그리고 3.생태학적 현실성(ecological realism or accuracy)이 구비되어야 한다. 여기에 구체적으로 필요한 규모(scaling), 퇴적물과 해수의 조성, 광량, 난류(亂流), 물 교환율, 포식자 등 기술적인 문제에 대한 해결책을 상세히 언급하였다. Mesocosm이라는 과학적인 도구의 미래 발전 방향은 1. 다양한 통계기법을 통한 객관성의 확보, 2. 수치모델분야와 상호 보완하여 "생태계의 살아 움직이는 모델"로서 보다 더 광범위한 적용이 될 것이다. 앞으로 독성물질에 대한 생태계의 반응 및 독성물질의 거동과 지구온난화에 대한 생태계 및 지구환경의 반응 등을 예측하는데 mesocosm은 매우 유용한 도구가 될 것으로 확신한다.

최적화기법을 이용한 기존 농업용 저수지에서의 부존 수력발전량 추정 (Optimization Technique for Estimation of Potential Hydroelectric Energy at Existion Ahricultural Reservoir)

  • 안태진;류희정;박정응
    • 한국수자원학회논문집
    • /
    • 제32권3호
    • /
    • pp.281-289
    • /
    • 1999
  • 기존 농업용 댐에서의 소수력발전 사업은 기존 저수지로부터의 방류량을 효율적으로 이용함으로써 전력의 추가 확보에 기여할 수 있다. 본 연구에서는 기존 농업용 댐에서의 부존 수력발전량을 추정하기 위하여 관개용수를 근거로 한 관개수량의 유황, 저수지 발전모의운영 및 비선형계획 모형을 적용하여 기존 농업용 저수지에서의 부존 수력발전량을 추정하였다. 비선형계획법은 소요관개용수 제약조건아래 최대발전량을 찾는 것으로 하였다. 유입량과 관개용수량이 주어진 표본 저수지에서, 채택된 방법 중 최적화 모형의 최적해에 의한 발전량이 가장 많았으며 저수지의 유입량에 관한 발전용수도 최적화 모형이 가장 많이 사용하였음을 알 수 있었다. 저수지 관리수위 상승으로 확보되는 저수량에 따른 발전량의 변화를 분석하기 위하여 연평균발전량을 추정한 결과, 관리수위 증가에 의한 발전량의 증가는 미미함을 알 수 있었다. 본 연구에서 제안한 부존발전량 추정 절차와 최적화 모형은 기존 농업용댐의 부존 발전량 추정에 적용할 수 있으며, 소수력발전 사업 경제성분석에 필요한 기초자료로 활용될 수 있을 것으로 판단된다.

  • PDF

산림지역에서 LiDAR 측량의 정확도 평가 (Accuracy Evaluation of LiDAR Measurement in Forest Area)

  • 이상훈;이병길;김진광;김창재
    • 한국측량학회지
    • /
    • 제27권5호
    • /
    • pp.545-553
    • /
    • 2009
  • 국가 공간정보 중 지형의 형태를 나타내기 위해 수치표고모형(DEM)을 사용한다. 수치표고모형을 생성하기 위한 다양한 방법 중 항공 LiDAR를 활용한 방법은 지형의 변화에 신속하게 자료를 획득할 수 있고, 사진측량기법에 비해 기상조건에 따른 제약을 덜 받는다. 이러한 항공 LiDAR는 최근 국가공간정보의 제작에 다양하게 활용되기 시작하였으나, 다양한 식생이 우거진 한반도의 산림지역에서 일반적으로 평가되고 있는 항공 LiDAR 측량의 정확도가 얻어지는 지에 대한 연구는 아직 이루어지고 있지 않다. 본 논문에서는 다양한 식생이 존재하는 산림지역을 연구대상지역으로 선택하여 수목의 특성에 따라 항공 LiDAR 자료의 정확도가 어떻게 다른지 평가하고자 하였다. 연구대상지역은 낮은 식생이 존재하는 나대지를 포함하고 있는 지역과 이 나대지의 경계부분과 인접하고 있는 다양한 수목이 존재하는 산림지역을 선정하였다. 선정된 지역에 대하여 대상지역에 고르게 분포하도록 검사점을 선점하고 GPS 측량을 실시하였다. 이렇게 측량된 검사점과 항공 LiDAR 자료와의 비교를 통하여 정확도를 평가하였다. 정확도 평가 결과, 활엽수 지역에서는 상당히 큰 오차가 발생할 수 있기 때문에 항공 LiDAR 측량에서도 촬영시기를 낙엽이 떨어진 이후로 하여야 함을 알 수 있었다.

DCT 평면에서의 비정상 시변 근전도 신호의 인식과 병렬처리컴퓨터를 이용한 실시간 구현 (Identification of Nonstationary Time Varying EMG Signal in the DCT Domain and a Real Time Implementation Using Parallel Processing Computer)

  • 이영석;이진;김성환
    • 대한의용생체공학회:의공학회지
    • /
    • 제16권4호
    • /
    • pp.507-516
    • /
    • 1995
  • 근전도 신호(electromyogram)의 시변 비정상(time varying nonstationary) 특성은 신호의 정확한 모델링 및 인식에 제약 조건으로 받아들여 졌다. 특히, 최근 들어 장애자들을 위한 보철제어분야에서 근전도 신호를 이용한 기능적 전기 자극을 위한 FES(funcitonal electrical stimulation) 시스템에 있어 근전도 신호의 파라메터 인식은 중요한 요소로서 작용한다. 그러나, 근전도 신호는 자세의 변화 및 근육 피로도 등의 요인에 의해서 시변 비정상 특성을 띠고 있기 때문에 시간에 따라 변하는 인식 파라메터를 정확하게 인식할 수 있는 새로운 알고리즘의 개발과 실시간 처리가 가능한 컴퓨터 하드웨어의 설계가 요구된다. 따라서, 본 논문에서는 시평면의 근전도 신호를 이산 여현 변환(discrete cosine transform)을 이용하여 변환 평면으로 옮긴 다음 상태 방정식(state space equation)을 써서 변환 평면상에서의 AR(autoregressive) 모델을 세우고 주어진 근전도 신호에 대해 모델 파라메터를 추정하였으며, 제안한 알고리즘은 실시간 처리를 위하여 2개의 독립적인 중앙 연산 처리 장치를 갖춘 INMOS사의 IMS T-805 병렬 처리 컴퓨터를 이용하여 동시 다발적인 연산을 수행함으로서 알고리즘의 연산 효율을 높였다. 제안된 알고리즘의 타당성을 검증하기 위해 모델의 추정 오차에 영향을 미치는 입력 자기상관 행렬(input correlation matrix)의 condition number의 변화 및 평균자승오차(mean square error)를 구하여 기존의 SLS(sequential least square) 알고리즘과 비교하였다.

  • PDF

산지의 관광자원 활용과 마케팅

  • 김형서
    • 대한지리학회:학술대회논문집
    • /
    • 대한지리학회 2002년도 춘계학술대회 요약집
    • /
    • pp.49-53
    • /
    • 2002
  • 국토의 효율적 이용과 여가공간의 개발에 있어서 산악지형의 개발 잠재력은 무궁무진하다고 볼 수 있다. 그간에 산악지형의 개발은 관광자원으로서의 활용이라는 견지에서 무분별한 개발과 자연환경 훼손을 방치해왔던 것이 사실이다. 산악지형의 관광자원 활용은 그 범위에 있어서나 방법에 있어서 매우 다양한 방식을 채택할 수 있다. 한국의 산이 보유하고 있는 자연경관과 문화유적이 접목된 명산사찰을 활용한 문화관광, 자연자원의 보존과 경제 개발, 도시민의 위락 여가공간 제공이라는 세 가지 목적을 동시에 충족시킬 수 있는 산악형 자연공원, 동계스포츠 활동을 위한 스키리조트의 개발과 이용, 마지막으로 산악지형의 경제 발전을 위한 대체산업 육성이라는 취지 하에 등장한 산지 카지노리조트 등 사회, 문화, 경제, 보건, 오락 등 산지는 그 효용성을 날로 더해가고 있다. 산은 더 이상 인간과 격리된 공간이 아니라, 인간의 생활 공간이자 휴식공간이며, 다양한 여가행위를 위한 공간이다. 유럽 등 구미 관광 선진국에서는 이미 산악지형 고유의 경제적, 사회적 중요성에 입각하여 공간의 효율적인 정비를 통해 합목적적이고 친환경적인 산악형 리조트 건설을 통해 지속적인 개발을 추진하고 있으며, 개발에 일부제약이 뒤따르기는 하지만, 관광개발을 위해서 환경보존을 필수적인 조건으로 인식하고 있다. 다시 말하면 관광개발과 환경보존은 불가분의 관계에 놓여있다는 것이다. 따라서 산이 우리에게 가져다주는 이로운 점을 생각할 때 인간의 지나친 개발욕구와 몰지각한 자원활용을 위한 관점에서 산을 보아서는 아니될 것이다. 산을 개발하고 정비하여 관광자원으로 활용할 때보다 친환경적인 시각으로 접근해야 하며, 우리의 산이 우리에게 돌려줄 것을 생각하기 보다 우리가 산에게 해주어야 할 것이 무엇인지를 먼저 생각한다면, 산은 우리에게 경제적 이득과 함께 우리의 여가생활을 위한 최적공간으로 다가설 것이다(요약 및 결론에서 발췌)는pocyanidin C-1-3'-3" -3.'S _0-trigallate는 100rM에서 70%의 강한 저해효과를 나타냈으며,epigallocatechin-(4$\beta$$\longrightarrow$8)-epigallo-catechin-(4$\beta$$\longrightarrow$8)-catechin는 51%의 저해효과를 나타내었다. 산업적응용을 위해 분획한 폴리페놀군은 미백효과 검증실험인 tyrosinase 저해율 측정평가에서 폴리페놀 함량이 가장 높은 Fraction 111의 경우 Sooppm에서 74.2%의 높은 저해율을 나타내었다. 항산화력 실험에서는500pw1이상에서 강한 활성능을 보인 SOD 유사활성능을 제외한 나머지 DPPH와 xanthine oxidase 저해효과에서는 Fraction II와III 모두가50ppm이상에서 80% 이상의 높은 유리라디칼 소거능력을 나타내었다. 그리고 각 Fraction별 항균력 측정 결과 Fraction 르와 111이 우수하게 나타났고 항균활성은 그람음성균보다 그람양성균에서 효과적이었으며, 농도별 항균력시험 결과 농도가 증가할수록 비례하여 저해율도 증가함을 알 수 있었다. 첨가농도를 달리하여 미생물의 생육도를 측정한 결과, fraction II磎꼭\ulcorner경우 그람양성균에 대해 500 ppm 이상에서 뚜렷한 증식억제효과를 나타내었다.서 뚜렷한 증식억제효과를 나타내었다.min/+}$계 수컷 이형접합체 형질전환 마우스에 AIN-76A 정제사료만을 투여한 대조군은 1.40$\pm$0.24(100%)에 비하여 I3C 저농도 투여 실험군(Group 1; 0.85$\pm$0.23; 61%, P<0.01), 그리고 I3C 고농도 투여 실험군(Group 2 ; 1.32$\pm$0.2

  • PDF