• 대한수학회논문집
• /
• 제31권4호
• /
• pp.869-878
• /
• 2016

This paper presents an ecient fractional shifted Legendre polynomial method to solve the fractional Volterra's model for population growth model. The fractional derivatives are described based on the Caputo sense by using Riemann-Liouville fractional integral operator. The theoretical analysis, such as convergence analysis and error bound for the proposed technique has been demonstrated. In applications, the reliability of the technique is demonstrated by the error function based on the accuracy of the approximate solution. The numerical applications have provided the eciency of the method with dierent coecients of the population growth model. Finally, the obtained results reveal that the proposed technique is very convenient and quite accurate to such considered problems.

• 한국정밀공학회지
• /
• 제12권10호
• /
• pp.138-148
• /
• 1995

While Model-based Monitoring systems based on state observer theory have shown much promise in the laboratory, they have not been widely accepted by industry because, inpractice, these systems often have poor performance with respect to accuracy, band-width, reliability(false alarms), and robustness. In this paper, the linitations of the deterministic discrete-time state observer are investigated quantitatively from the machine monitoring viewpoint. The limitations in the transient and steady-state observer performance are quantified as estimation error bounds from which performance indices are selected. Each index represents the conditioning of the corresponding performance. By utilizing matrix norm theory, an unified main index is determined, that dominates all the indices. This index could from the basis for an observer design methodology that should improve the performance of model-based monitoring systems.

• 대한토목학회논문집
• /
• 제26권4A호
• /
• pp.647-657
• /
• 2006

허용응력설계법과 극한한계 상태 설계법에 근거한 케이블과 보강형을 갖는 PSC 사장교의 예를 통해서 통계학적 확률분포를 고려한 확률론적인 위험성을 평가하였다. 사용성 한계상태 및 극한 한계상태에서의 케이블요소의 파괴확률과 거더의 최대 정모멘트. 부모멘트 발생단면, 그리고 최대전단력의 작용단면에서 각각의 요소 파괴 확률을 설계변수의 응답면에서 검토하였다. 응답면 기법(RSM)은 복잡한 다자유도 구조물에서 MCS를 사용하여 얻을 수 없는 상대적으로 매우 작은 파괴 확률값을 얻기 위해 사용이 가능할 뿐만 아니라, FOSM으로 쉽게 얻을 수 없는 한계상태방정식의 미분형태에도 성공적으로 적용이 가능 하다. 케이블과 보강형으로 구성된 병렬저항구조를 시스템 해석을 위해 각각 직렬구조로 연결하여 전체구조물의 체계신뢰성을 평가하고, 제안된 붕괴모드조합 예측값과 비교분석하였다. 제안된 붕괴모드의 조합에 의한 파괴확률검토는 조건부 파괴에 대한 동일한 발생확률을 구하며, 순열방법보다 개선된 시간비용과 효율성을 제공하며, 상하한계파괴확률을 구하는 체계 신뢰성해석에서 검토되지 않는 요소파괴의 조합에 의한 시스템의 위험성 검토를 제공한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권9호
• /
• pp.1061-1072
• /
• 1999

한 개 이상의 사이트에 공간 데이타가 중복 저장된 분산 공간 DB에서, 동시에 수행될 수 있는 긴 트랜잭션의 변경은 일관성 제어를 위해 다른 사이트에 전파되어야 한다. 이때 같은 영역의 공간 데이타를 서로 다른 사이트에서 동시에 변경할 경우, 변경 상충 문제가 발생하거나 잠금 기법에 의한 오랜 대기 시간이 초래되는 문제가 있다. 또한 공간 객체는 잠금의 대상이 아닌 공간 관련성에 의한 종속성을 가진다.이 논문은 긴 트랜잭션으로 중복된 공간 데이타를 변경할 경우 중복 제어를 위한 변경 전파와 동시성 제어 문제를 다룬다. 중복된 공간 데이타의 변경 병렬성을 향상시키기 위해 영역 잠금 및 SR-bound WRITE 잠금 기법을 제시한다. 한 사이트에서 수정하는 객체들과 다른 사이트에서 수정하는 객체들 사이에 공간 관련성에 의한 종속성이 없을 경우 병렬 수정을 허용하도록 제어하며, 공간 관련성에 의한 종속성이 있을 경우 SR-based 2PC라 불리는, 확장된 2단계 완료 프로토콜로 협동작업을 수행해서 변경 상충을 해결하는 새로운 중복 제어 기법을 설계하고 구현한다.Abstract The update of a long transaction should be propagated to the other sites for consistency control, when spatial database are replicated at multiple sites to achieve availability, reliability, and performance. When the replicated spatial data are updated at the same time, the update of one site would be conflicted with the other or a user would not be able to access the replicated spatial data under the control of locking. Two spatial objects having spatial relationships should be cooperatively updated even if there are no conflicts of locking for them.This paper deals with the issues of concurrency control and update propagation of replicated spatial data. We present the concept of region lock and SR-bound WRITE lock for enhancing the parallelism of updating the replicated spatial data. If there are no spatial relationships between one site's objets and the other's objects, parallel update would be allowed. Concurrent update of two spatial objects having spatial relationships should be propagated and cooperated by using an extended two-phase commit protocol, called spatial relationship-based 2PC.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권1호
• /
• pp.60-73
• /
• 2010

본 연구의 목적은 한국어 수분류사 체계를 설정하고, 수분류사와 공기명사 간 의미관계 정보를 제공하는 한국어 수분류사 어휘의미망 "KorLexClas 1.5"의 정보구조와 구축방식을 소개하는 데 있다. KorLex 명사, 동사, 형용사, 부사가 영어 워드넷(Princeton WordNet)을 기반으로 참고구축 방식으로 개발된 것에 비해, KorLexClas 1.0버전과 이를 확장한 1.5버전은 직접구축 방식으로 개발하였다는 점에서, 수분류사의 계층구조와 언어단위 간 의미관계 설정은 매우 방대한 시간과 정교한 구축 방식을 요구한다. 따라서 작업의 효율성을 기함과 동시에, 구축된 어휘의미망의 신뢰성 및 확장성을 높이기 위해, (1) 다양한 기구축 언어자원을 활용하되 상호 검증하는 절차를 거치고, (2) 부분문장 분석방법을 이용하여, 수분류사 및 공기명사 목록을 확장하며, (3) 언어학적 준거를 기준으로 수분류사의 계층구조를 설정하고, (4) 수분류사와 공기명사 간 의미관계 정보를 제공하되 확장성을 확보하기 위해, KorLexNoun 1.5에 '최하위 공통상 위노드(LUB : Least Upper Bound)'를 설정하는 방식을 택한다. 이러한 특성을 가진 KorLexClas 1.5는 기계번역을 비롯한 한국어정보처리의 제 분야에 응용될 수 있다.

• 콘크리트학회지
• /
• 제5권4호
• /
• pp.167-178
• /
• 1993

본 논문의 목적은 R.C.보 최적설계에 이산수학계획법을 적용하여 상세설계를 포함하는 실제설계의 가능성을 연구하기 위한 것이다. 이산최적문제에서 설계변수로는 단면의 총높이, 폭, 유효높이 및 길이방향철근의 단면적 그리고 전단철근의 단면적과 길이 방향철근의 절단점과 같은 상세변수 등이 고려되었다. 목적함수는 경비함수로 취했으며, 제약조건으로는 강도설계법에 의한 설계휨강도, 전단강도, 연성, 사용성, 콘크리트 덮개 및 철근간격, 복부보강 그리고 정착길이와 길이방향철근의 절단점 등에 관한 시방서 요구사항을 고려하여 문제를 형성하였다. 이산변수를 갖는 최적설계를 효율적으로 실행하기 위해 첫째단계에서 Feasible Direction Methed를 이용하여 연속최적해를 구했으며, 둘째단계에서 분기한계법(Branch and bound method)을 이용하여 이산최적해를 얻는 최적화 알고리즘을 제안하였다. 제안된 알고리즘의 신뢰도를 검증하기 위해 2개의 이산설계변수를 갖는 수치예에 적용하여 도해법 및 rounde-up method와 그 결과를 비교하였고, 단순지지된 R.C.보 및 2경간연속 R.C.보에 적용하여 제안된 알고리즘의 신뢰도, 효율성 및 적용성을 입증하였다.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2016년도 춘계학술대회
• /
• pp.420-424
• /
• 2016

최근 인터넷 기술 및 멀티미디어 기술의 발전에 따라 인터넷은 많은 영역에서 새로운 응용 분야를 개발해 나가고 있다. 특히 교육 영역에 있어서는 인터넷의 응용으로 획기적인 발전을 이루어 내고 있으며 새로운 패러다임의 교육 방법을 제시하고 있다. 이중 온라인 학습을 이용한 학습은 기존의 전통적인 오프라인 교육에서 벗어난 새로운 방안의 교육 방법이며 이는 기존의 오프라인 학습과는 다르게 시간과 공간에 구애 받지 않고 언제 어디서나 강의를 수강할 수 있다는 점에서는 매우 효율적인 학습이다. 이러한 온라인 강의는 많은 장점에도 불구하고 여러 가지 문제점을 내포하고 있다. 학습의 공간이 온라인상에서 이루어진다는 점에서 학생들의 관리 및 학습효과, 평가의 신뢰도가 많이 부족한 단점이 있다. 본 연구에서는 이러한 여러 가지 문제점중 학습자의 능동적인 학습태도를 유도하고 학습자의 출결에 대한 신뢰도를 높이고자 얼굴검출 시스템을 이용한 학습자 학습 집중도 시스템을 제안하였다.

• 한국인터넷방송통신학회논문지
• /
• 제16권6호
• /
• pp.1-7
• /
• 2016

새로운 정보통신 기술의 발전과 더불어 보안 위협도 나날이 지능화 고도화되고 있다. 본 논문은 네트워크 장치나 사물인터넷 경량 장치에서 일련의 주기를 통해 연속적으로 입력되는 시계열 데이터를 통계적 기법을 활용하여 분석하고, 분석 정보를 기반으로 장치의 이상 유무나 비정상 징후를 탐지할 수 있는 시스템을 제안한다. 제안 시스템은 과거에 입력된 데이터를 기반으로 1차 비정상 탐지를 수행하고, 시간 속성이나 그룹의 속성을 기반으로 저장되어있는 시계열 데이터를 기반으로 신뢰구간을 설정하여 2차 비정상 탐지를 수행한다. 다단계 분석은 판정 데이터의 다양성을 통해 신뢰성을 향상시키고 오탐율을 줄일 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2008년도 한국컴퓨터종합학술대회논문집 Vol.35 No.1 (B)
• /
• pp.298-302
• /
• 2008

주어진 작은 크기의 칩 내부에 많은 기능 (예: 멀티미디어, 음성/영상 등)을 작동시키기 위해서는 고집적(high-integration)의 회로가 구현되게 된다. 이러한 고집적 회로는 작동할 때 상당한 양의 전력 소모를 유발하게 되어 결국 배더리 수명을 단축시키는 상황을 가지게 한다. 더욱 심각한 상황은 고 밀도의 칩 안에서의 많은 전력 소모는 열의 발생을 더욱 가속화 시키게 되며, 결국 칩 작동의 신뢰성(reliability)을 상당히 잃게 만든다. 본 연구에서는 칩의 작동에 따른 열 발생으로 유발되는 칩의 온도 상승을 감지하는 센서회로 구현에 관한 것이다. FPGA 칩은 주 목적의 기능을 수행하는 회로들을 구현함과 동시에 추가적으로 열 감지 센서 회로를 구현할 자원을 FPGA가 제공을 해 주어야 하는데, 주목적의 회로 공간(즉, 자원) 사용으로 인해 열 센서 회로 구현 자원이 충분하지 않을 경우나 여러 지역에 사용 가능한 자원이 소규모로 흩어진 경우 등 센서 구현을 위한 자원 탐색 및 구현 가능성에 대해 점검하는 알고리즘이 필요하다. 본 연구는 이러한 알고리즘을 개발하여 그 효용성을 실험을 통해 보이고 있다. 제안한 알고리즘의 특징은 Branch-and-Bound에 기반을 두고 있으며, 알고리즘의 수행 시간 단축을 위한 효과적인 search tree pruning 기법을 제안하고 있다.

• 전자공학회논문지SC
• /
• 제39권1호
• /
• pp.33-41
• /
• 2002

본 논문에서는 기존의 주파수하중 균형절단 기법과 주파수하중 한켈노옴 근사화 기법에 비하여 더 작은 H∞ 하중 축소오차를 가지는 새로운 알고리듬을 제시한다. 제시한 알고리듬은 제한 실 보조정리로부터 반복적인 두 단계의 선형행렬부등식 형태로 유도한다. 또한 제안한 알고리듬을 성능보장을 위한 제어기 차수축소기법에 적용한다. 수치적 예를 통하여 제안한 알고리듬의 타당성을 보이고 기존의 모델 차수축소기법과 비교 분석하며 HIMAT(highly maneuverable aircraft technology) 시스템의 예를 통하여 성능보장을 위한 제어기 차수축소 기법에 적용할 수 있음을 보인다.