• 터널과지하공간
• /
• 제21권3호
• /
• pp.174-180
• /
• 2011

횡등방성 암석의 강도해석에 활용할 목적으로 이방성 Mohr-Coulomb 파괴조건식을 제안하였다. 제안된 파괴조건식에서는 Pietruszczak & Mroz(2001)가 제안한 조직텐서를 도입하여 마찰각과 점착력을 조직텐서의 스칼라함수로 정의하였다. 두 강도정수의 이방성은 주응력좌표계와 재료 주좌표계의 상대적 회전을 바탕으로 계산된다. 이방성 파괴조건식을 최대로 하는 임계면을 찾는 방법이 Lagrange 승수법에 기초하여 제안되었다. 수치삼축압축 시험을 실시한 후 삼축압축강도와 파괴면 경사각 분석을 통하여 제안된 이방성 파괴함수의 성능을 검증하였다.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2010년도 정기 학술대회
• /
• pp.512-515
• /
• 2010

본 논문에서는 등기하 해석법을 이용하여 설계의존형 하중조건을 갖는 구조물에 대한 형상 최적설계를 수행하였다. 유한요소법 기반 형상 최적설계는 CAD 모델과 해석 모델의 차이로 인해, 설계영역 매개변수화에 어려움이 있다. 등기하 해석법은 CAD 모델과 동일한 NURBS 기저 함수와 조정점을 해석에 이용함으로써 설계의 기하학적 변화를 해석모델에 직접적으로 표현할 수 있는 장점을 가진다. 하중조건이 설계 영역이 변화함에 따라 변하는 최적설계 문제의 경우, 정확한 설계 영역 표현은 법선 벡터, 즉 변화하는 하중의 방향과 곡률과 같은 고차항의 정보를 정확하게 표현할 수 있고, 따라서 목적함수를 최소 또는 최대화시키는 최적의 해로 이끌어 낸다. 유한요소법 또는 밀도법을 이용한 형상 최적설계에서 설계의존형 하중조건을 갖는 구조물의 문제를 푸는 경우, 최적설계가 진행됨에 있어 변화하는 경계의 부정확성 때문에 정확한 설계민감도를 얻기가 어려운 점이 있다. 본 논문에서는, 수치 예제를 통해 등기하 해석 기반의 형상 최적설계 방법론이 설계의존형 하중조건을 갖는 구조물 문제에서 수월성을 가짐을 확인하였다.

• 한국산업정보학회논문지
• /
• 제27권6호
• /
• pp.105-114
• /
• 2022

본 연구에서는 조수조건이 고려된 벌크항만의 하역 최적화를 위한 정수계획모형을 제안한다. 특히, 본 연구에서는 실제 벌크항만의 운영 환경과 조건들을 반영하여 체선료(Demurrage Cost)와 조출료(Dispatch Money)를 모두 고려한 하역비용 최소화를 목적함수로 설정하고, 벌크항만의 서비스 수준을 결정하는 최소재고 제약조건 또한 고려한다. 일반적으로 비선형 함수 형태로 표현되는 체선료 계산식을 선형화(Linearize)하여 스케줄 해상도를 향상하고, 조수조건을 고려한 선석할당 문제의 경우 전통 자원할당 모형에서 필수적인 Big-M 제약식이 대체 가능함을 확인한다. 실험결과를 통해 기존 모형 대비 계산복잡도와 전역최적성이 크게 향상 가능함을 검증한다.

• 융합신호처리학회논문지
• /
• 제10권1호
• /
• pp.60-65
• /
• 2009

본 논문에서는 Chebychev 항등식과 Bessel 계수로부터 유도 될 수 있는 새로운 지수펄스모형함수를 제안하고 그 특성을 고찰한다. 제안된 지수펄스모형함수는 매개변수 변화에 따라 시간과 주파수영역에서 서로 다른 특성을 갖는 다양한 펄스 모형함수를 발생시킬 수 있다. 그리고 지수펄스모형함수의 미분함수로부터 여러 형태를 갖는 새로운 펄스모형함수를 얻을 수 있다. 미분으로부터 얻어지는 지수펄스함수의 짝수 계와 홀수 계 미분 함수간은 직교성을 유지한다. 이러한 기본적인 특성을 통상적인 Gaussian 펄스 모형함수와 비교 분석함으로써 그 유용성을 확인한다. 통신시스템의 요구 설계조건에 따라 최적의 지수펄스파형을 선택하여 사용할 수 있다.

• 한국우주과학회:학술대회논문집(한국우주과학회보)
• /
• 한국우주과학회 2009년도 한국우주과학회보 제18권2호
• /
• pp.29.1-29.1
• /
• 2009

이 연구는 별 관측을 통해 점 퍼짐 함수(PSF)를 측정하고 나이퀴스트 주파수에서 변조 전달 함수(MTF)을 계산하여 주파수 영역에서 저궤도 광학 위성의 영상품질 평가방법을 도출하였다. 가상 별 영상을 생성하고 IRAF로 2차원의 점 퍼짐 함수를 얻었고 MATLAB으로 점 퍼짐 함수를 2차원 푸리에 변환하여 변조 전달함수를 계산하였다. 공간 영역에서는 점 퍼짐 함수의 모양을 통해서도 영상품질을 검증할 수 있다. Along/Across-Track의 모양이 일치하고 중심에서 좌우대칭이며 델타함수에 가까울수록 좋은 품질의 영상을 의미한다. Along/Across-Track의 점 퍼짐 함수 모양차이는 Line Rate나 Time Delay and Integration(TDI)의 오차에서 기인한다. 별을 점광원으로 본다면 점 퍼짐 함수를 정의하기 쉽고 Along/Across 방향을 동시에 측정 가능하다는 장점이 있다. 궤도상에서 별을 관측하는 것은 지상을 관측하는 것보다 대기 환경의 효과가 크지 않기 때문에 영상 품질 평가에 유리하다. Yaw Steering이나 Nadir Pointing과 같은 자세제어의 효과를 배제할 수 있으므로 자세제어의 효과가 상당 부분 제거된 영상품질을 분석할 수 있다. 지상관측시간이나 배터리 충전시간이 아닌 지구 본영에서 별을 관측하므로 임무에 방해받지 않는다. 지상관측과 같은 효과를 내고 TDI를 사용하는 환경을 구현하기위해 Line Rate를 고려한 자세 기동 방법에 대해 연구하였다. 큰 각도의 자세 기동이 예상되어 쿼터니안을 이용하여 Inertial Pointing하도록 자세 제어하였고, 자세 Slew Rate 구속조건 하에서 제어가 필요하다.

• 논리연구
• /
• 제12권2호
• /
• pp.31-58
• /
• 2009

이 글은 직설법 조건문에 대한 스톨네이커의 의미론을 제시하고 옹호한다. 직설법적 조건문에 대한 스톨네이커의 가능세계의 의미론은 표준적인 가능세계와 조건문에 대한 선택함수 의미론, 그리고 직설법적 조건문에만 적용되도록 선택함수를 제한하는 화용론적 원리로 구성된다. 그의 의미론에 따르면, 직설법적 조건문은 강한 진리조건을 갖기 때문에 논란없는 원리는 받아들이지만, 이행원리가 보편적으로 성립한다는 것은 거부한다. 그럼에도 이행원리가 성립하는 경우가 있을 수 있는데 그것이 어떻게 가능한지를 설명함으로써 직설법적 조건문에 대해서 우리가 갖는 일반적인 직관을 잘 설명하는 이론임을 보인다. 또한 이 글은 스톨네이커의 이론에 대하여 제기되는 아담스주의적 비판과 기바드 현상의 문제에 대해서 답하고, 스톨네이커의 의미론은 지나치게 맥락의존적이라는 비판에 답함으로써 직설법적 조건문에 대한 가장 받아들일 만한 이론임을 주장한다.

• 정보보호학회논문지
• /
• 제5권1호
• /
• pp.3-16
• /
• 1995

본 논문에서는 저차의 부울 함수를 연접시켜 고차의 부울 함수를 생성하는 방법을 소개하고, 이러한 방법으로 생성된 함수의 균등성, 비선형성, 무상관도 등의 제반 성질을 새롭게 규명한다. 또한, 두 함수 사이의 'uncorrelated'개념을 확장하여 Differential Cryptanalysis에 강한 S-box가 가져야 할 필요 조건으로 Strict Uncorrelated Criterion(SUC) 개념을 정의하고, 이를 만족하는 부울 함수를 제시하여 그 존재성을 밝히고 특히, 특수한 형태의 연접으로 생성한 함수가 이를 유지함을 보인다. 그리고, Walsh-Hadamard 변환을 이용하여 부울 함수의 상관관계 특성을 조사하여 이를 연접 방식으로 확장 재생성한 부울 함수에 적용, 이들 함수의 상관관계 특성을 조사하여 이를 연접 방식으로 확장 재생성한 부울 함수에 적용, 이들 함수의 상관관계 특성을 규명한다. 더불어 bent 함수들의 연접으로 홀수차 벡터공간 위에서 semi-bent 함수를 정의하고 이 함수에 대한 상관관계 특성과 비선형치를 규명함과 동시에 SUC을 만족함을 증명하며 연접 방식에 의해서 확장 재생성된 다른 형태의 부울 함수와 비교하여 semi-bent 함수의 암호학적 우수성을 입증한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권8호
• /
• pp.501-511
• /
• 2008

프로브(probe) 디자인은 성공적인 DNA 마이크로어레이(DNA microarray) 실험을 위해서 필수적인 작업이다. 프로브가 만족시켜야 하는 조건은 마이크로어레이 실험의 목적이나 방법에 따라 다양하게 정의될 수 있는데, 대부분의 기존 연구에서는 각각의 조건에 대하여 각자 독립적으로 정해진 한계치(threshold) 값을 넘지 않는 프로브를 탐색하는 방법을 취하고 있다. 그러나, 본 연구에서는 프로브 디자인을 두가지 목적함수를 지닌 다중목적함수 최적화 문제(multiobjective optimization problem)로 정의하고, ${\epsilon}$-다중목적함수 진화 알고리즘(${\epsilon}$-multiobjective evolutionary algorithm)을 이용하여 해결하는 방법을 제시한다. 제시된 방법은 19종류의 고위험군 인유두종 바이러스(Human Papillomavirus) 유전자들에 대한 프로브 디자인과 52종류의 애기장대 칼모듈린 유전자군(Arabidopsis Calmodulin multigene family)에 대한 프로브 디자인에 각각 적용되었다. 제안한 방법론을 사용하여 기존의 공개 프로브 디자인 프로그램인 OligoArray 및 OligoWiz에 비해 목표유전사에 더 적합한 프로브를 찾을 수 있었다.

• 한국산학기술학회논문지
• /
• 제16권10호
• /
• pp.7189-7195
• /
• 2015

모멘트법(MoM)인 TE(transversw electric) 전장 적분 방정식(EFIE)으로 완전 전기도체(PEC) 원통을 산란 해석하였다. 이 과정에서 나타나는 특이점(singlarity)과 과대 특이점(hypersingularity)을 포함한 적분 계산은 어렵기 때문에 수치해석 방법으로 특이점을 고립시켜 자체항(self-term)을 얻었다. 모멘트법에서 base 함수와 test 함수의 선택은 수치해석 결과의 정확도와 수렴에 있어 매우 중요한 요인이됨은 알려져 있는 사실이다. basis 함수와 test함수를 달리하여 세 가지 방법으로 PEC 원통에 유도된 전류를 구하였다. 이렇게 구한 결과를 해석학적 방법과 모멘트법에서 얻은 전류와 비교하여 상대 효율 전류 오차를 구하였으며 어떤 결합 방법이 효율적인지 확인하였다. 또한 각 결합방법에 따른 상대 효율 전류 오차의 수렴율을 구하여 가장 정확한 결과를 얻을 조건을 찾았다. 전류 오차의 가장 빠른 수렴오더(order of convergence) 2.528은 펄스 base 함수/델타 test 함수 결함 조건에서 얻었다.

• 한국도로학회논문집
• /
• 제9권1호
• /
• pp.47-56
• /
• 2007

교통하중하의 포장구조에 대한 설계나 비선형 해석에 있어 도로하부 재료의 회복변형 특성이 활용되고 있다. 그러나 국내에서의 관련 연구가 매우 미진한 실정이다. 또한 매우 제한적인 범위의 자료만이 노상토의 회복탄성계수를 추정하는데 활용되고 있다. 이에 본 논문에서는 시험도로 입상 노상토를 대상으로 비선형 특성을 알아보기 위하여 반복재하 회복탄성계수 시험을 수행하였다. 현장조건을 반영하여 함수비와 응력조건을 고려한 회복탄성계수 구성방정식을 제안하였다. 이를 통하여 응력조건을 고려한 회복탄성계수 예측모델과 적합한 응력의존 모델을 결정하고 계절적인 함수비 변화가 고려된 회복탄성계수 모델을 각각 비교하였다.