• 대한기계학회논문집
• /
• 제14권4호
• /
• pp.810-817
• /
• 1990

본 연구에서는 국부질점 좌표계(natural convected coordinate system)를 이 용하여 변형을 묘사하는 대변형을 고려한 탄소성 증분수식을 유도하고 또 이에 해당하 는 유한 요소 방정식을 구하였다. 국부 질점 좌표계를 사용함으로써 변형도 성분이 나 구성 방정식의 성분들에 대한 좌표 변환 과정을 생략하도록 한다. 재료는 수직 이방성으로 가정하였다. 이 수식화의 타당성을 검증하기 위하여 원형 격막의 정수압 벌징을 해석하고 해석 결과는 실험 결과와 이미 발표된 실험 및 해석 결과와 비교하여 타당성을 검증하였다.

• 한국음향학회:학술대회논문집
• /
• 한국음향학회 1998년도 학술발표대회 논문집 제5권
• /
• pp.68-71
• /
• 1998

본 연구에서는 64(8$\times$8) 개의 마이크로폰 정방 배열에 의한 음장 가시화 시스템을 설계하고 , FFT 알고리즘과 원거리 음향 홀로그래피법 알고리즘을 이용한 음원 위치 추정에 관하여 기술한다. 본 연구에서 설계한 측정 시스템은 방사된 음들을 동시에 수음할수 있으며 실시간 데이터 처리가 가능하다. 또한 짧은 계측시간과 고분해능으로 실음장에서 안정하게 음원의 위치를 추정할 수 있다. 본 연구의 타당성을 검증하기 위해 시뮬레이션을 잉하여 마이크로폰 간격 및 측정면의 최적 조건을 구한 후 실음장 측정 실험에 적용하였다. 시뮬레이션 데이터와 실험 데이터를 비교.분석한 결과 타당성을 검증할 수 있었다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2009년도 춘계학술대회 논문집 에너지변화시스템부문
• /
• pp.146-148
• /
• 2009

본 논문에서는 매트릭스 컨버터의 입력 필터 설계를 하고, 시뮬레이션하여 타당성을 검증하고 분석한다. 매트릭스 컨버터는 18개의 양방향 스위치로 구성되어 있으며, 출력 전압을 합성하기 위해 각각의 스위치가 빠르게 온-오프 한다. 이러한 스위칭 과정에서 고차 고조파가 발생하고, 이 고조파는 매트릭스 컨버터 주위에 연결된 각종 기기에 영향을 미친다. 따라서 고차 고조파를 줄이기 위해 계통과 매트릭스 컨버터 사이에 입력 필터를 설치하여 이러한 영향을 줄여야 한다. 입력 필터의 L과 C, 그리고 공진 주파수 근처의 값을 줄이기 위한 댐핑 저항 값을 계산하는 방법을 소개하고, 타당성을 검증한다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2018년도 추계학술대회
• /
• pp.333-335
• /
• 2018

대부분의 해양사고는 인적요인에 의한 과실이 대다수이며 이 문제를 해결하기 위해 해양수산부는 국제 e-Navigation의 주도를 위해 한국형 이네비게이션 사업단을 선정하여 연구과제를 수행 중에 있다. 이네비 연구과제의 사고 취약선박 모니터링 지원 서비스는 선박, 해역, 환경의 취약상황을 반영한 항해 위험도를 산출하는 알고리즘을 개발한 바 있으나 개발한 알고리즘의 타당성 검증이 남아있는 상태이다. 이 연구는 개발된 위험도 산출 알고리즘을 검증하고 알고리즘의 지식베이스 및 인자를 검증하기 위한 툴 개발의 타당성을 보이며, 그 개발결과를 보인다.

• 환경기술인
• /
• 제24권통권247호
• /
• pp.56-60
• /
• 2007

본 연구에서는 은폼 개발 배경 및 제조 방법 설명과 이를 응용한 은폼 제품류에 대하여 시험 하였으며 그 결과 은폼은 천연 항생제로서 시험 성적서로 타당성을 검증하고 향후 다방면 적용에 대하여는 각각의 적용 시험을 통하여 검증하고자 함.

• 정보처리학회논문지D
• /
• 제14D권5호
• /
• pp.531-544
• /
• 2007

과거에 비해 최근에는 비즈니스 프로세스가 복잡해짐에 따라 비즈니스 프로세스를 디자인할 때 발생할 수 있는 문제점이 점차 증가하고 있다. 그러나 비즈니스 프로세스 검증의 중요성이 높아지고 있지만 많은 검증 방법이 제안되고 있지 않은 실정이다. 한편, 최근 BPMI에서 주도하는 BPMN은 비즈니스 프로세스를 위한 표준화된 그래픽 표기법으로써 BPMN을 지원하는 디자인 툴을 이용하면 다양하고 복잡한 프로세스 환경을 쉽게 디자인하고 분석할 수 있다. 본 논문에서는 이러한 BPMN으로 디자인할 때 발생한 수 있는 문제점들을 효율적으로 검증할 수 있는 몇 가지 검증기법을 제시한다. 이로 인해 비즈니스 프로세스 실행 시 발생할 수 있는 에러들을 사전에 검증하여 예기치 못한 큰 비용을 줄일 수 있다.

• 한국경영정보학회:학술대회논문집
• /
• 한국경영정보학회 2007년도 International Conference
• /
• pp.817-822
• /
• 2007

시스템 다이내믹스에서의 인가지도는 동적 환경의 문제를 분석하고, 분석된 내용을 논의할 수 있는 도구로써 활용되고 있다. 하지만, 인과지도는 복잡도가 높은 문제를 설명함에 있어서 문제에 대한 정보의 표현과 논리적인 전개에 한계가 존재한다. 그리고 인과지도의 작성 과정에서 연구자의 주관성을 배제 하고 오류를 검증하기 위한 객관적 기준이 미흡한 실정이다. 또한, 문제 해결을 위한 세부적인 개체 모델링과의 연계성이 부족하다. 이에 일각에서는 시스템 다이내믹스의 문제분석에 관한 방법론에 지적을 가하는 경우도 있다. 이에 본 연구에서는, 인과지도의 타당성 확보와 정보 표현력 향상을 위한 이론적 연구를 진행하고자 한다. 본문에서는 인과지도가 객관적인 논리에 의해 작성될 수 있도록 수리적, 논리적 근거들을 제시함과 동시에, 인과지도의 정보 표현력 향상을 통한 대화도구로서의 기능적 향상 방안에 대해서 연구를 진행하였다.

• 한국경영정보학회:학술대회논문집
• /
• 한국경영정보학회 2007년도 추계학술대회
• /
• pp.35-42
• /
• 2007

본 연구는 정보화 사업 및 전자정부 사업 평가를 위한 표준모델과 통합성과지표를 제시하고 관련법 검토와 중앙행정기관의 담당 공무원들의 설문조사를 토대로 이의 타당성을 검증하기 위한 연구이다.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1996년도 춘계학술발표회논문집(2)
• /
• pp.675-680
• /
• 1996

중대사고시 격납용기내의 열수력거동 및 에어로졸 제거능력을 해석할 수 있는 코드의 현황 파악과 모델의 타당성을 평가하기 위한 ISP 37에 참여, MELCOR코드를 이용하여 VANAM M3 실험을 해석하였으며 해석 결과를 실험과 비교함으로써 코드의 검증과 해석결과의 타당성을 검토하였다.

• 콘크리트학회지
• /
• 제11권2호
• /
• pp.127-137
• /
• 1999

본 연구와 관련한 이전의 연구에서는 본 연구자들이 제안한 설계식의 타당성을 검증하기 위하여 선정된 변수별로 실험체를 제작하여 실험을 실시하였고 실험결과를 분석하였다. 본 연구에서는 실험결과에 대하여 본 연구자들이 제안한 설계식과 기존의 설계식들에 의한 해석결과를 비교분석하여 본 연구자들의 설계식의 타당성을 검증하였다. 사용된 기존의 설계식은 현행의 ACI 규준식, AASHTO LRFO 규준시, 변형도 적합조건에 의한 해석식, Harajli/Kanj의 설계식, Chakrabarti의 설계식 등이다. 비교${\cdot}$분석결과에 의하면 본 연구자득이 제안한 설계식이 비부착 긴장재의 응력을 평가하는데 보다 적절한 방법임을 증명하였다.