• Proceedings of the KIPE Conference
• /
• 2020.08a
• /
• pp.298-299
• /
• 2020

Triple Active Bridge 컨버터의 경부하 조건에서의 효율 개선을 위해 브리지의 듀티와 위상을 동시에 변경하는 Dual Pulse Width Modulation(DPWM)기법을 적용하였다. 기존의 위상천이기법은 제어가 단순한 장점이 있으나 경부하 조건에서 효율이 급격히 감소하는 단점이 존재한다. 따라서 본 논문에서는 DPWM 방식을 통해 경부하 조건의 효율 개선을 위한 각 브리지 듀티, 위상각을 분석하였고, 시뮬레이션을 통해 이를 검증하였다.

• Journal of the Korea Concrete Institute
• /
• v.14 no.2
• /
• pp.171-179
• /
• 2002

This paper is a part of research series for the verification of the proposed Moon/Lim design equation. An analytical study was performed to examine the relation between the flexural behavior and the unbonded tendon stress of PSC members. The strain compatibility assumption was used in this study since previous studies showed that the stress variations of tendon had a close relation with the member displacements. The proposed equation has been developed with the same assumption of strain compatibility. Therefore the analytical procedure with the strain compatibility assumption was developed to compute the member displacements of previous tests. Then the analytical results were compared with tests results. The comparison showed that the strain compatibility assumption can be properly applicable to the design equation. Based on the analytical results, the relation between the tendon stress and the member flexural behavior at ultimate was examined. A parametric study also carried out with regard to the member displacements. As results, the parameters used for the proposed equation were proven to be proper for the computation of tendon stress.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.472-474
• /
• 1998

병렬 객체를 이용한 소프트웨어의 개발시, 병렬성에서 기인한 경쟁 조건의 만족 여부나 교착 상태, 기아 상태 등의 오류를 모델의 검증을 통하여 개발의 초기 단계에 발겨하고 수정하는 것은 개발의 효율성을 높일 수 있다. 이러한 병력 객체모델의 검증을 위해서는 객체간의 상호 메시지 교환과 동적 행위를 기술할 수 있는 모델링 언어가 필요하며, 검증하고자 하는 속성을 기술하기 위한 방법이 요구된다. 본 연구에서는 시스템의 모델링을 위해 SPIN에서 사용되는 PROMELA를 쓰레드 기반의 객체 모델링 언어인 SPIN++로 확장하고, 속성의 기술을 위해 확장된 선형 시제 논리를 제안하였으며, 유한 상태에서는 모델 검사(model checking) 도구인 SPIN을 이용하여 검증하는 방법을 제시하고자 한다. 이러한 연구를 통하여 병렬 객체 모델의 정형적인 검증을 수행할 수 있으며, 시스템 개발의 효율성을 높이는 데 도움을 줄 수 있다.

• Journal of KIISE:Databases
• /
• v.36 no.6
• /
• pp.422-433
• /
• 2009

As an effort to secure Semantic Web, in this paper, we introduce an RDF access authorization model based on an ontology hierarchy and an RDF triple pattern. In addition, we apply the authorization model to RDF query validation for approved access authorizations. A subscribed SPARQL or RQL query, which has RDF triple patterns, can be denied or granted according to the corresponding access authorizations which have an RDF triple pattern. In order to efficiently perform the query validation process, we first analyze some primary authorization conflict conditions under RDF subsumption inference, and then we introduce an efficient query validation algorithm using the conflict conditions and Dewey graph labeling technique. Through experiments, we also show that the proposed validation algorithm provides a reasonable validation time and when data and authorizations increase it has scalability.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2017.11a
• /
• pp.753-756
• /
• 2017

의료기기는 사람의 생명과 직접적으로 연관되어 있기 때문에 다른 분야의 기기보다 안전성에 대한 검증이 필수적이다. 의료 분야에서는 안전성 검증을 위해 기기의 허가 심사 조건으로서 소수의 피험자를 대상으로 수행되는 임상 시험이 존재한다. 그러나 임상 시험의 경우 의료기기를 직접 사람에게 적용하여 검증을 진행하기 때문에, 인체에 미칠 위해성을 고려하여 전임상 시험을 수행하고 있다. 하지만 전임상 시험은 동물이나 가상의 물체를 대상으로 수행하여 실제 사람에 대한 적용이 아니기 때문에, 임상 시험에 비해 검증에 대한 효력을 갖지 못한다. 따라서 본 연구에서는 피험자의 안전을 보장할 수 있고, 임상 빅데이터에 축적된 실제 환자의 사례를 활용한 신뢰성 있는 검증 방안을 제안하고자 한다. 그러나 현재 식품의약품안전처에서 제공되고 있는 의료기기 품목군은 개발하고자 하는 의료기기의 임상 빅데이터 기반 검증 가능성을 식별하기 어렵다. 그러므로 본 논문에서는 의료기기에 대한 다양한 특성 분석을 통해 임상 빅데이터 기반 검증 가능성을 식별하기 위한 프로세스를 제안한다. 제안하는 프로세스에서는 의료기기의 검증에 요구되는 데이터의 식별을 통해 임상 빅데이터를 이용한 테스트 데이터 수집 및 이를 활용한 신뢰성 높은 검증을 가능케 한다.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.12 no.3
• /
• pp.495-508
• /
• 1999

변형된 라이저의 단위 접선벡터상의 운동학적 제약조건을 적용하여 심해저 라이저의 비선형 동적해석을 행한다. 이 조건의 적용으로 자유도수를 감소시킬 수 있으며 심한 비선형성으로 인한 해의 발산 가능성을 제거할 수 있다. 라이저의 거대변형으로 인한 기하학적 비선형성과 비선형 경계조건이 고려된다. 또한, 비선형성이 포함되는 수동학적 하중이 조류와 파랑에 의해 발생하여 내부에 정상류가 흐르는 라이저관의 외벽에 작용하게 된다. 이 외에도라이저 자체의 축방향 변형조건을 고려한다. Galerkin의 유한요소 근사화와 시간증분자를 적용하여 유한요소에 대한 평형 메트릭스 방정식을 유도하고, 수치해석을 위한 알고리즘을 제안하며 API 보고서의 결과와 비교함으로써 제안된 모델이 검증된다. 또한, 기하학적 비선형성으로 인한 영향을 조사하였다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2002.05a
• /
• pp.140-143
• /
• 2002

본 논문에서는 자율수중운동체(AUV, Autonomous Underwater Vehicle)의 실시간 충돌회피에 적용되는 휴리스틱 탐색기법에 적합한 퍼지조건연산자와 알파절단(aleph-cut)의 선택에 관해 논한다. 퍼지조건연산자와 알파절단은 두 퍼지관계에서 새로운 퍼지관계를 생성시키는 퍼지삼각논리곱의 연산에 적용되는데 이것은 휴리스틱탐색기법의 이론적 기반이 된다. 본 논문은 평가함수를 이용한 새로운 휴리스틱탐색기법을 설계하고, 이에 가장 적합한 퍼지조건연산자와 알파절단을 제안한다. 제안된 퍼지조건연산자와 알파절단의 검증을 위해 경로경비와 합리적인 경로를 생성하는 알파절단의 개수 관점에서 모든 경우의 퍼지조건연산자와 알파절단에 대해 시뮬레이션 한다. .

• Proceedings of the KIEE Conference
• /
• 2006.07d
• /
• pp.1751-1752
• /
• 2006

이 논문에서는 불확적성을 지닌 시간지연 선형시스템에 대한 새로운 안정화 조건을 유도한다. 기존의 안정화 조건보다 향상된 안정화 조건은 이전의 Lyapunov-Krasovskii 후보 함수를 보다 일반화 한 새로운 Lyapunov-Krasovskii 후보 함수와 LMI 변수들간의 관계성을 표현해주는 자유행렬 변수의 개념을 이용한 개선된 형태의 벡터-행렬 등식에 의하여 유도되어진다. 새로운 안정화 조건은 LMI 형태로 제시되었기 때문에 제시된 안정화 조건의 유용성을 쉽게 검증 가능할 뿐만 아니라 주어진 예제를 통한 기존의 결과들과의 비교를 통해 이전의 결과들보다 보다 더 큰 시간지연 값 및 불확정량에 대하여도 안정성을 보장해 줌을 확인할 수 있다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.40 no.2
• /
• pp.101-107
• /
• 2012

In this study, Constraint Force Equation Methodology (CFEM) is used to develop a multi-body dynamic analysis program with constraints. Seven constraint models are implemented to analyze constraint motions of multiple bodies. The augmented equations with the constraints are solved with the 4th order Runge-Kutta method for higher degree of accuracy. The analysis code is verified by comparing the analysis results of the motion of bodies with various constraints to published results.

• 한국방재학회:학술대회논문집
• /
• 2010.02a
• /
• pp.41.2-41.2
• /
• 2010

하천, 해상 등에 위치한 교량 설계시 선박충돌을 방지하기 위해 교각 위치를 변화시킬 필요성이 발생한다. 이 때, 교각 위치에 따른 변단면을 갖는 PSC(Prestressed concrete) 박스거더의 형상 변화를 효과적으로 변경하기 위해 고려해야하는 구속조건을 추출하고 정의하였다. PSC 박스거더는 변단면 시공에 일반적으로 적용되는 FCM(Free cantilever method) 공법이 착용된 교량을 착용했으며, 구속조건 정의를 위해 설계지침서를 분석하여 구속조건으로 작용하는 매개변수를 추출하였다. 정의한 구속조건의 적용성을 검증하기 위해 파라메트릭 모델링을 수행하였으며, 그 결과로 생성된 모델에 대한 물량을 산출하여 대상교량에서 산출된 실제 물량과 비교 분석하였다.