• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 추계학술발표대회
• /
• pp.1551-1554
• /
• 2012

차량전장용 운영체제는 안전중요(safety-critical) 소프트웨어로써 엄밀한 검증과 테스트를 필요로 한다. 엄밀한 검증은 시스템의 모든 사용 가능한 시나리오의 도출을 필요로 하며, 이것을 수작업으로 생성하는 데에는 비용과 효율성에 문제가 있다. 본 연구에서는 차량전장용 운영체제의 국제표준인 OSEK/VDX 에 명시된 제약사항을 고려한 테스트 시나리오 자동 생성기와 이를 보조하는 OSEK/VDX 시뮬레이터를 개발하여 테스트 효율의 향상과 자동화를 도모하였다. 개발된 도구는 OSEK/VDX 기반 개방형 운영체제인 Trampoline 에 적용하여 효과를 입증하였다.

• 레드리본
• /
• 통권68호
• /
• pp.8-9
• /
• 2006

우리는 흔히 에이즈와 HIV를, 감염인과 환자를 혼용해서 사용하고 있다. 엄밀히 얘기하면 에이즈와 HIV, 감염인과 환자는 전혀 다른 개념이다. 2006년 신년호부터는 에이즈에 대한 기본적 지식을 원하는 독자들의 요구에 부응하여 6회에 걸쳐 에이즈에 대한 상식을 게재할 예정이다.

• 기계저널
• /
• 제21권3호
• /
• pp.187-196
• /
• 1981

이 글에서는 열역학에 연관된 기본법칙을 서술하고 에너지의 효율적 이용에 대하여 제 1 법명 하고자 한다. 여기서는 열학적에 연관된 각종의 정의나 설명 등에 있어 지나친 엄밀성은 피하 고자 한다.

• 대한기계학회논문집
• /
• 제14권1호
• /
• pp.13-22
• /
• 1990

본 연구에서는 일반적인 셸 요소에 대해 von Mises의 항복조건에 입각한 탄소 성 구성방정식과 total Lagrangian식을 바탕으로한 비선형 해석이론에 Lagrange Mult- iplier식을 이용한 구속조건(constraints)을 도입하여, 중첩된 비선형 구조물이 갖고 있는 제반 비선형성을 고려할 수 있도록 수식화하였으며, 이를 엄밀해를 구할 수 있는 두개의 외팔보가 중첩된 경우에 적용하여 엄밀해와 비교하였으며, 또한 실제적으로 국 산 핵연료 집합체에 사용되는 각 홀드다운 스프링 집합체에 대한 특성 해석을 수행하 여 그 결과를 실험치와 비교하여 그 비교치가 근사함을 보임으로써 본 방법의 신뢰성 과 효용성을 보였다.

• 한국전산구조공학회논문집
• /
• 제25권3호
• /
• pp.195-202
• /
• 2012

기하학적 비선형성을 고려한 두 개의 비선형 프레임요소의 co-rotational 정식화 과정을 제시한다. 운동학적으로 엄밀한 첫 번째 프레임요소는 변형된 상태의 총 변형성분으로부터 부재력을 산정하며, 정확한 접선강성행렬을 적용한다. 아울러 total Lagrangian 및 updated Lagrangian 정식화에 따른 첫 번째 요소의 엄밀한 접선강성행렬이 동일하다는 것을 보인다. 이에 반하여 두 번째 프레임요소는 절점과 절점사이의 변형을 무시하고 직선으로 가정하여 근사적인 접선강성행렬을 산정하고, 반복계산 시 증분변위로 부터 증분부재력을 구하여 총부재력을 산정한다. 두 개의 수치예제를 통해 첫 번째 프레임 요소가 기하비선형 거동을 추적하는데 있어서 더 정확하고 성능이 우수하다는 것을 입증한다. 특히 케이블부재의 비선형해석 예제를 통하여 첫 번째 프레임 요소가 휨강성을 고려한 케이블요소로 사용할 수 있음을 보인다.

• 한국전산구조공학회논문집
• /
• 제27권2호
• /
• pp.87-94
• /
• 2014

페리다이나믹 이론은 재료파괴 및 균열진전 해석에 적합하다. 그러나 적분 방정식을 풀기위해 많은 비국부 상호작용을 해석해야만 하기 때문에 일반적으로 사용되는 국부 모델들에 비해 비효율적이다. 따라서 효율적이면서 정확한 해석 모델을 구성하기 위해 페리다이나믹 모델과 다른 국부 모델을 연성하는 연성 해석법의 개발이 필요하다. 연성 방법론 개발을 위해서는 불연속성 혹은 응력 집중이 발생될 것으로 예상되는 영역에는 페리다이나믹 모델을 구성하고 상대적으로 변형 거동이 복잡하지 않은 영역은 국부 모델을 구성하는 방법이 많이 사용된다. 본 연구에서는 최근에 개발된 힘-기반 연성 방법론을 소개한다. 이 방법론에서는 블랜딩 함수를 활용하여 연성 영역을 사이에 두고 페리다이나믹 모델과 탄성체 모델을 연성한다. 수치예제를 통해 연성 모델이 집중하중 해석 혹은 정적파괴 해석 문제를 효율적이고 엄밀하게 해석할 수 있음을 확인하였다. 이와 같은 문제들은 일반적인 탄성체 모델을 사용해서는 엄밀한 해석이 어렵다. 반면에 페리다이나믹 모델은 엄밀한 해석이 가능하지만 계산 시간과 비용이 매우 많이 요구된다는 문제점이 있다.

• 대한조선학회논문집
• /
• 제28권2호
• /
• pp.187-194
• /
• 1991

양단이 병진 및 회전에 대해 탄성구속되고 다양한 중간구속조건 즉, 임의 갯수의 집중질량, 병진 스프링, 회전스프링 구속이 있는 보-기둥의 진동에 대해 우선 Hamilton 원리, Laplace 변환방법을 원용한 엄밀해법을 제시했다. 그러나 이 방법이 중간구속조건이 여러 개 있을 경우 그 연산과정이 매우 복잡함을 고려하여 기준계 즉, 중간구속 조건이 없는 계의 고유함수를 이용하는 Rayleigh-Ritz 방법에 의한 근사해법도 검토했다. 근자에 발표된 타연구 결과와의 비교검토목적의 다양한 수치계산예를 통해, 첫째 본 연구의 엄밀해의 타당성이 확인되었고, 또 기준계의 고유함수를 이용하는 Rayleight Ritz방법이 중간구속조건의 다양한 변화에 대해 동일함수를 이용하는 장점과 더불어 진동파형가정함수의 항수에 따른 수렴성도 양호하며 좋은 정도를 보장하면서 편리하게 적용될 수 있음이 확인되었다.

• 대한원격탐사학회지
• /
• 제26권4호
• /
• pp.439-449
• /
• 2010

이 논문에서는 KOMPSAT-2 스테레오 영상의 PAN밴드에 존재하는 미세한 크기의 Y시차가 발생하는 원인을 규명하고 이를 개선하기 위한 일련의 실험 및 분석과정을 보고한다. 분석결과, Y시차가 발생하는 원인이 KOMPSAT-2 영상을 생성할 때 PAN밴드를 MS밴드와 일치하도록 Warping처리하는 과정에서 발생한 Resampling 오차 때문인 것으로 판단할 수 있었다. 또한 엄밀한 PAN밴드의 Warping 방식을 적용하여 Resampling 오차를 제거함으로써 Y 시차문제가 상당부분 개선될 수 있음을 확인하였다. 또한 KOMPSAT-2 영상 PAN밴드에서 관측된 밝기값 밀림현상도 엄밀한 Warping처리를 통해서 개선될 수 있음을 확인하였다. 따라서, 보다 엄밀한 Warping기법이 KOMPSAT-2 영상처리과정에 적용될 수 있다면 KOMPSAT-2 영상의 기하정확도 및 복사정확도가 많이 개선될 수 있을 것으로 기대한다.

• 한국전산구조공학회논문집
• /
• 제16권2호
• /
• pp.197-206
• /
• 2003

임의의 경계조건과 변두께를 갖는 축대칭 반구형 쉘과 반구형체의 진동수와 모우드형상을 결정하는 3차원적 해석법이 소개되었다. 수학적으로 2차원적인 전통적인 쉘이론과는 달리 본 연구의 해석법은 3차원 동적 탄성방정식을 사용하였다 자오선방향 (Φ), 법선방향(z), 원주방향(θ)으로의 변위성분인 μ/sub Φ/, μ/sub z/, μ/sub θ/는 시간에 대해서는 정현적으로, θ에 대해서는 주기적으로, 와 z 방향에 대해서는 대수다항식으로 표현될 수 있다. 축대칭 반구형 쉘의 변형률 에너지와 운동 에너지를 정식화하고, 리츠법으로 고유치문제를 계산하였다. 진동수의 최소화과정을 통해 엄밀해의 상위 경계치 진동수를 구하였으며, 이 때, 다항식의 차수를 증가시키면 진동수는 엄밀해에 수렴하게 된다. 자오선방향으로 선형적으로 꿩 두께가 변하는 반구형 쉘과 반구형체치 3차원적 진동수를 최초로 계산하였으며, 축방향으로 난 조그만 원추형 구멍이 진동수에 미치는 영향도 분석하였다. 상두께와 자유경계조건을 갖는 두꺼운 축대칭 반구형 쉘에 대한 3차원적 리츠해와 3차원적 유한요소법에 의한 진동수를 서로 비교하였다.

• 한국전산구조공학회논문집
• /
• 제16권3호
• /
• pp.251-260
• /
• 2003

원형단면의 깊은 테이퍼봉과 보의 진동수와 모드형상을 결정하는 3차원 해석방법이 제시되었다. 수학적으로 1차원인 전통적인 봉과 보이론과는 달리, 본 연구에서는 3차원 동탄성방정식을 근간으로 하였다. 반경방향(r), 원주방향(θ), 축방향(z)으로의 변위성분인 u/sup r/, u/sub θ/, u/sub z/를 시간에 대해서는 정현적으로, θ에 대해서는 주기적으로, r과 z방향으로는 다수다항식의 형태로 표현하였다. 봉과 보의 위치(변형률)에너지와 운동에너지를 정식화하고, 고유치문제를 해결하기 위해 Ritz법을 사용하였으며, 진동수의 최소화과정을 통해 엄밀해의 상위경계치의 진동수를 구하였다. 이때 다항식의 차수를 증가시키면 진동수는 엄밀해에 수렴하게 된다. 봉과 보의 하위 5개의 진동수에 대해서 유효숫자 4자리까지의 수렴성 연구가 이루어졌다. 축방향으로 1차 직선적, 2차 및 3차 곡선으로 테이퍼된 9가지 형상의 봉과 보의 수치결과를 3차원 이론을 이용하여 최초로 계산하였다. 또한 선형 테이퍼 보의 예를 통해 3차원 Ritz법과 고전적인 1차원 Euler-Bernoulli 보이론과의 비교가 이루어졌다.