• 한국정밀공학회지
• /
• 제12권2호
• /
• pp.123-134
• /
• 1995

In this paper, the fast force algorithm has been studied so that it is used to calculate cutting forces and to develope the NC verification system. The NC verification using the fast force algorithm can verify excessive cutting force which is the cause of deflection and breakage of tool, and adjust the feed rate and spindle speed.

• 한국정보관리학회:학술대회논문집
• /
• 한국정보관리학회 1994년도 제1회 학술대회 논문집
• /
• pp.119-122
• /
• 1994

영화는 다양한 저작성을 가지고 있으면서도, 일반적으로 서명 아래 기입된다. 그러므로, 본 논문은 영화가 서명 아래 기입되는 관행을 살펴보고, 영화의 복잡한 저작성 조건을 검증해 봄으로써, 영화와 유사한 저작성 조건을 가지는 기타 자료의 기본기입수요에 부응하는 코드조정을 제안하고자 하는 것이다.

• 기계저널
• /
• 제49권12호
• /
• pp.32-35
• /
• 2009

가속시험은 사용조건보다 가혹한 시험조건을 사용하여 짧은 시간에 제품의 수명을 평가한다. 이 글에서는 가속시험에 활용되는 가속모델에 대한 개발절차와 유효성 검증방법을 간단하게 소개하고자 한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2007년도 제38회 하계학술대회
• /
• pp.228-229
• /
• 2007

현재까지 계통연계형 태양광 시스템의 최대전력추종(MPPT)방법에 대한 많은 연구가 진행되고 있다. 그 중 대표적인 최대 전력 추종 방법에는 일정전압 제어방식, P&O(Perturbation and Observation)제어방식, IncCond(Incremental Condutance) 제어 방식이 있다. 이 중 일정전압 제어방식은 일사량, 온도 등을 고려해 특정한 값의 태양전지 출력전압을 고정시키도록 하여, 최대전력점 근처에서 동작하도록 제어하는 방식이다. 이 방식은 태양전지 입력 전류 센서가 필요없고, 저일사량 조건에서 다른 기법에 비해 우수한 효율 특성을 나타내고 있다. 하지만, 온도 및 일사 조건에 따라 변하는 최대전력전압지점을 추종하지 못해 다양한 조건에서 최대전력추종효율이 떨어지는 단점이 있다. 이에 본 논문에서는 다양한 일사 조건 및 온도 조건에 대응하는 최대 출력전압을 실시간으로 산출하여, 이를 통해 최대전력추종제어를 하는 방법을 제안하고자 한다. 제안된 기법은 다양한 일사조건 및 온도변화에 대해 능동적으로 대응하여 우수한 추종효율 특성을 나타내고, 또한 입력 DC 전류 센서를 제거하고, 내부 연산이 간단함으로써 경제적인 면에서 유리하다. 본 논문에서 제안된 최대전력 추종기법의 타당성을 검증하기 위해서 PSIM 시뮬레이션을 통해 그 타당성을 검증 하였다.

• 재무관리연구
• /
• 제17권2호
• /
• pp.257-276
• /
• 2000

본 연구는 실질금리페리티(RIP, Real Interest Rates Parity)가 존재하기 위한 4가지의 균형조건을 설명하였으며 이 조건들을 한국과 일본의 시계열에 적용하였다. 4가지의 균형조건은 4개의 공적분백터를 의미하며 요한센의 다변량 공적분 방법을 이용하여 추정한 결과 2개의 공적분백터가 존재하였다. 따라서 한 일간의 RIP균형조건은 기각되었으며, 기대구매력평가설(EAPPP)과 노출된 이자율평가설(UIP)이 한국과 일본간에 성립하지 않는 것으로 나타났다.

• 재무관리연구
• /
• 제14권1호
• /
• pp.23-50
• /
• 1997

Shiller(1981)와 LeRoy-Porter(1951)에 의하여 시작된 분산한계검증(分散限界檢證)(variance bounds test)에 관한 연구는 주식시장에서 초과변동성(超過變動性)(excess volatility)의 존재를 통하여 주식시장(株式市場)의 효율성(效率性)을 검증하는 새로운 연구분야로서 주목을 받아왔다. 그리고 이들의 연구방법론을 응용하여 많은 효율적(效率的) 시장가설(市場假說)의 검증에 대한 연구가 이루어져 왔다. 본(本) 연구(硏究)는 이러한 연구(硏究)의 한 범주로써 한국주식시장(韓國株式市場)에서 분산한계검증(分散限界檢證)을 통하여 약형효율성(弱形效率性) 시장가설(市場假說)을 검증(檢證)하고자 하였으며 이를 위하여 먼저 Shiller (1981)의 배당평가모형(配當評價模型)을 이용한 사후적(事後的)인 합리적(合理的) 주가(株價)인 $P_t{^*}$의 추정방법(推定方法) 대신에 이 배당평가모형(配當評價模型)을 변형하여 $P_t{^*}$를 추정(推定)하는 방법을 제시하였다. 그리고 이 $P_t{^*}$를 기초로 Shiller(1981)의 분산한계검증식(分散限界檢證式)을 변형한 분산한계검증(分散限界檢證)의 조건식(條件式)을 유도하고 이에 의해 실증적(實證的) 검증(檢證)을 하였다. 한편, 이러한 검증과정(檢證過程)에서 시계열자료(時系列資料)의 특성상 사전적(事前的)으로 필요로 하는 실제주가(實際株價), $P_t$와 사후적(事後的)인 합리적(合理的) 주가(株價), $P_t{^*}$에 대한 단위근검정(單位根檢定)(unit root test)을 실시하였다. 아울러 $P_t$와 $P_t{^*}$의 선형관계(線形關係)의 안정성을 검정하기 위하여 공적분검정(共積分檢定)(cointegration test)도 실시하였다. 검증결과(檢證結果), Shiller(1981)의 분산한계검증식(分散限界檢證式)을 변형하여 유도된 효율성조건(效率性條件)을 만족시키는 범위(範圍)에 벗어나 한국주식시장(韓國株式市場)에서 주식시장(株式市場)의 비효율성(非效率性)을 배제할 수 없는 것으로 나타났다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2008년도 학술발표회 논문집
• /
• pp.664-668
• /
• 2008

본 연구에서는 비정상상태 자유수면 모의를 위해 2차원 유한체적법을 이용한 수치모형을 개발하였으며, 이론적인 해석해 및 수리실험을 통한 실측자료를 이용하여 검증하였다. 개발된 모형은 지배방정식으로 비선형 및 보존형 2차원 천수방정식(shallow water equation)을 이용하였으며, 동적메모리 할당 기능이 포함된 Fortran-90으로 코딩되었다. 또한 구조화된 격자 및 비구조화 격자 시스템에도 적용될 수 있도록 모형을 구성하였으며, 불규칙한 하상지형에 의해 수치진동을 감소시키기 위해 본 모형에 well-balanced HLLC 기법을 적용하였다. 모형의 적용성을 검증하기 위하여 1차원의 경우 젖은/마른 하상 조건하에서의 댐 붕괴파 문제와 하상이 변화하는 지형 구간을 통과할 때 발생되는 천이류에 대한 문제 그리고 시간에 따라 변화하는 수위와 지형 조건에서의 wetting & drying에 대한 문제에 적용하였으며, 2차원의 경우 전통적인 댐 붕괴파 문제 및 구조물에 미치는 댐 붕괴파의 영향에 대한 수리모형실험을 통한 실측자료를 이용하여 검증하였다. 검증결과 본 모형을 통해 계산된 수치해는 이론적인 해석해와 실측자료에 거의 정확히 일치하였으며, 향후 실제 하천 자료를 이용하여 모형의 현장 적용성을 검증할 것이다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (1)
• /
• pp.415-417
• /
• 2002

실시간 시스템은 신뢰성이 중요하다. 특히 고안전성 시스템 (Safety-Critical System)은 안전과 직결되므로 높은 신뢰도가 요구된다. 본 논문에서는 Reactive System 의 모델링 및 검증을 위해 개발된 정형 검증 언어인 SyncCharts를 이용한 실시간 시스템의 스케줄가능성 분석(Schedulability Analysis)을 통해 시스템에 대한 요구조건의 만족여부와 태스크들의 수행가능성을 검증하는 방법을 제시한다.

• 한국콘텐츠학회논문지
• /
• 제21권2호
• /
• pp.113-120
• /
• 2021

RFID (Radio Frequency Identification) 요킹증명은 여러 객체의 물리적 근접성을 보장하기 위해 한 쌍의 RFID 태그를 하나의 리더 장치로 동시에 스캔하고 이를 검증하기 위한 방법을 제공한다. 최초 제안된 요킹증명 프로토콜들은 생성된 증명을 검증하기 위해 리더 장치와 온라인으로 연결된 온라인 검증자가 필수적이며, 이 조건은 요킹증명이 적용 가능한 환경을 제한한다. 이 같은 제한 조건을 완화하기 위해, 온라인 검증자가 필요하지 않은 오프라인 요킹증명에 대한 연구가 제안되었다. 그러나 이 프로토콜들은 안전한 요킹증명의 생성 및 검증을 보장하지 못하며, 최초 제안된 요킹증명 기법에 비해 상대적으로 더 많은 연산을 태그에게 요구한다. 본 논문에서는, 온라인 검증자가 필요 없는 안전하고 효율적인 오프라인 요킹증명 프로토콜을 제안한다. 제안하는 오프라인 요킹증명 프로토콜은 기존의 프로토콜들보다 상대적으로 적은 횟수의 연산으로 안전한 요킹증명의 생성 및 검증이 가능하며, 별도의 추가 장치 없이 한 쌍 이상의 태그에 대한 증명이 가능한 그룹증명으로의 확장도 지원한다. 분석 결과는 제안된 프로토콜이 안전하고 효과적으로 오프라인 검증을 제공한다는 것을 보인다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2016년도 전력전자학술대회 논문집
• /
• pp.109-110
• /
• 2016

본 논문에서는 현재 운행되고 있는 선형 유도전동기의 슬립주파수 고정 방식이 아닌 선형 유도전동기를 이용한 자기부상열차의 슬립주파수와 수직력 및 추진력과의 관계를 이용, 열차의 가감속시 운행패턴에 따라 운행 중 슬립주파수가 가변할 수 있는 슬립주파수 가변패턴을 형성, 선형유도전동기 자기부상시스템에서의 에너지 효율향상 가능성을 검증하였다. 슬립주파수와 수직력, 추진력과의 관계를 이용 슬립주파수 일정 실효치전류제어 알고리즘과 슬립주파수 일정 벡터제어 알고리즘을 사용하여 운전조건과 슬립주파수를 변경하며 운전조건에 따른 가장 효율적인 슬립주파수의 패턴을 형성하였다. 이 후 모의시험과 실차를 이용한 실험을 통해 알고리즘에 대한 정당성과 실제 효율의 증가를 통해 타당성을 검증하였다. 앞선 두 가지 알고리즘을 통해 열차부상에 영향을 미치지 않는 범위의 수직력을 가지는 범위내에서 슬립주파수를 가변 운전 조건에 따른 최적의 슬립주파수에 대한 정보를 기반으로 운행 중 가변하는 슬립주파수를 자동열차운전(ATO)시스템에 적용 모의실험을 통해 그 적용가능성과 효율을 검증하였다.