• 대한기계학회논문집A
• /
• 제36권8호
• /
• pp.873-879
• /
• 2012

메타모델은 설계 프레임워크 안에서 높은 효율성과 우수한 예측 능력, 타 프로그램과 쉬운 연동성 때문에 공학분야에서 지난 10 년간 최적설계 기법들과 함께 발전해왔다. 메타모델을 구성하기 위해서는 실험계획법, 메타모델링 기법, 검증법과 같은 절차가 요구된다. 검증법은 메타모델의 정확성을 판단하기 때문에 순차적 크리깅 메타모델에서 정확한 크리깅 메타모델을 구성하기 위한 표본점의 개수를 결정한다. 크리깅 메타모델과 같은 보간모델은 표본점에서의 응답을 항상 지나기 때문에 기존 방법으로 메타모델의 정확성을 판단하기 위해서는 추가적인 해석이나 메타모델의 재구성이 요구된다. 본 연구에서는 이러한 추가적인 해석과 메타모델의 재구성을 요구하지 않는 메타모델의 해석적 민감도를 이용하는 민감도 검증법을 제안한다. 14 개의 2 차원 수학예제와 공학예제를 이용하여 이 방법의 타당성을 검증한다.

• 정보보호학회지
• /
• 제24권2호
• /
• pp.50-55
• /
• 2014

자동차 전장제품 활용의 급속한 증가에 대응하기 위하여 자동차 분야에서는 ISO 26262 안전설계절차를 도입하여 차량용 임베디드 시스템의 안전성을 확보하려고 노력하고 있다. ISO 26262는 자동차에서 발생 가능한 비정상상태(abnormal state)를 식별하고 그의 영향을 분석하며 전체 시스템의 안전을 검증하는 것을 목표로 하고 있다. 다양한 종류의 부품이 연동되는 복잡한 시스템의 안전 검증은 결함수목법과 고장모드영향분석법을 활용하는 위험분석법이 보편적으로 사용된다. 결함주입시험은 이러한 위험분석의 기반도구로서 안전성을 향상시키기 위하여 사용된 고장감내 기능의 동작여부 및 그에 따른 시스템의 안전성을 검증하는 목적으로 사용된다. 본 논문에서는 차량용 고신뢰성 임베디드 시스템에서 사용되는 고장감내 메카니즘들의 기능과 안전을 검증하는 방법과 사례를 소개한다. 최근의 복잡한 차량용 임베디드 시스템의 개발은 상위수준의 모델을 개발하여 지정된 위험 및 고장을 초래하는 결함을 시스템에 주입하고 그의 결과를 분석하여 안전을 검증하는 것이 일반적인 방법이다. 개발 목표 차량의 임베디드 시스템 모델을 개발하고, 식별된 결함의 결함모델을 준비한 뒤, 시스템 모델 기반 결함주입 도구를 이용하여 결함주입을 수행하는 시험방법과 그 결과에 대하여 논의한다. 하드웨어는 SystemC 하드웨어 설계언어를 이용하여 개발하고, 소프트웨어를 컴파일하여 실행화일을 확보하여 시험대상인 결함모델을 개발하고 이를 대상으로 결함주입시험에 대해 설명한다.

• 전산구조공학
• /
• 제11권4호
• /
• pp.169-176
• /
• 1998

불연속적 거동이 탁월한 벽식 프리캐스트 구조물을 해석하기 위한 방법으로 유한요소법과 강체요소법 등이 있으나, 이들 해석법은 접합부의 거동을 정확히 반영하지 못하고 있다. 본 연구에서는 패널은 강체적 거동을 하고, 판널과 판널 사이의 접합부는 고체적 거동을 가정하는 강체-고체 복합모델(Coupled Model by Rigid and Solid bodies)에 의한 해석법을 제안하며, 간단한 모델의 예를 통해 검증하였다.

• 대한가정학회지
• /
• 제30권3호
• /
• pp.271-283
• /
• 1992

본 연구의 목적은 가족스트레스 이론과 선행연구를 바탕으로 하여 제안된 이론적 모델의 검증을 통하여 일과 가정생활의 두 역할을 병행하는 데서 기인하는 역할긴장이 매개변수인 가족자원과 대처방안에 의해 어떻게 중재되어 삶의 질에 영향을 미치는가를 규명하는데 있다. 다단계 추출법으로 미국 로스엔젤레스에 거주하는 한인교포 중 맞벌이부부를 연구대상으로 선정하여 질문지를 통해 남편과 아내의 자료를 표집하였지만 본 연구에서는 117명의 남편의 자료만을 결과 분석하였다. 분석방법은 이론적 검증에 유용한 LISREL Ⅶ 프로그램이 사용되었다. 처음에 제안된 이론적 모델의 검증에는 문제를 보였지만 PSI Matrix를 고정하고 가정생활의 역할 stressor와 가족자원의 경로를 첨가하여 수정된 모델은 자료에 의해 충분히 검증되었다. 그러나 남편의 이론적 모델은 가족스트레스 이론을 일반화시키지 못했기 때문에 일과 가정생활의 두 역할을 병행하는 데서 기인하는 남편의 역할긴장을 가족스트레스 이론으로 설명하는데는 문제가 있는 것으로 나타났다. 연구결과를 바탕으로 본 연구에서 제안된 이론적 모델의 의미와 제한점 등을 살펴본 후 미래연구가를 위한 방안이 제시되었다.

• 대한전자공학회논문지SD
• /
• 제40권12호
• /
• pp.39-45
• /
• 2003

칩의 크기가 증가함에 따라 VHDL 모델의 설계검증은 점점 어려워지고, 많은 시간을 소모하는 과정이 되고 있다. 최근에 VHDL 모델을 검증하기 위하여 베이지안 예측과 정지법(stopping rule)을 이용한 방법들이 소개되고 있다. 이 논문에서는 VHDL 모델을 검증하기 위하여 정지법을 사용할 때 클럭 사이클을 줄일 수 있는 2가지 방법을 제안한다. 첫 번째 방법은 세미랜덤변수를 정의하고, 정지법이 동작 중에 세미랜덤변수의 영역에 존재하는 데이터를 생략하여 정지점stopping point)을 줄이고, 두 번째 방법은 정지법의 페이즈가 변화시에 베이지안 파라미터의 기존 값을 그대고 유지하여 클럭 사이클을 줄이는 방법이다. 제안된 방법의 효율성을 입증하기 위하여 12개의 VHDL 모델에 대하여 분기검출율에 관한 모의실험을 하였으며, 기존의 방법과 비교하여 분기검출율은 0.6% 줄었지만 25% 이상의 클럭 사이클을 줄일 수 있었다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2002년도 추계학술대회 논문집
• /
• pp.91-97
• /
• 2002

DEVS 형식론을 비롯한 모듈러한 시스템 모델링 방법은 복잡한 시스템을 모델링 할 때 유리하다. 반면에, 모듈러한 구성요소 모델들은 타 구성요소 모델의 상태 정보를 참조, 복사함으로써 빈번한 메시지 전달을 야기 시켜 시뮬레이션 속도가 저하되는 단점이 있다. 모델 합성법(Composition)은 여러 개의 요소모델들을 하나로 통합시키는 연산으로서 시스템 검증 분야에서 많이 사용되어져 왔다. 본 논문은 모델 합성법을 이용하여 구성요소 모델들 간에 주고받는 메시지 수를 줄이고 시뮬레이션 속도를 개선시키는 방법을 제안한다. 간단한 예제를 통하여 제안한 방법을 자세히 보여주고자 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 추계학술발표논문집 (하)
• /
• pp.1973-1976
• /
• 2002

본 논문에서는 유 무선 네트워크 환경에서의 자료 일치성 유지를 위한 동기화 프로토콜(SyncML1.1)을 검증한다. 프로토콜 검증에 관한 기존 연구에서는 약한 일관성을 갖는 동기화 프로토콜은 다루어지지 않았으며 정리 증명 혹은 모델 채킹에 대한 선택적 접근으로인해 증명 영역이 제한적이었다. 본 연구에서는 프로토콜의 의미를 정의하고 행위 및 시스템 구조, 메시지 패싱에 대한 개별적 모델을 단계적으로 설계하는 한편, 동기화 프로토콜에서의 안전성 및 상호 배제, 궁극성 속성은 시퀀트 계산법에서의 역방향 전략으로 증명되며, 모델 채킹 기술을 하나의 증명 규칙으로 사용했다. 본 연구는 두가지 부분에서 특징과 의미을 갖는다. 첫째, 정리증명과 모델 채킹이 혼합된 검증 방법을 사용했다. 둘째, 객체 제약 언어 및 정형 명세 언어의 사용을 통해 모델의 생성을 보다 단계적이고 정형적으로 유도했으며 이를 통해 검증의 신뢰성 및 품질을 높였다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2008년도 하계학술대회 논문집
• /
• pp.295-297
• /
• 2008

슈퍼커패시터는 전력밀도가 높고 사이클 수명이 긴 무공해 소자로 신재생에너지원이나 배터리의 동특성 보상 및 수명연장을 목적으로 그 사용이 증대되고 있다. 본 논문에서는 이러한 슈퍼커패시터의 정확한 동특성 모델을 임피던스 분광법(Impedance Spectroscopy)을 이용하여 개발하고, 개발된 모델의 유용함을 시뮬레이션을 통해 검증하였다. 주파수영역에서 개발된 모델은 시간영역으로 등가 변환되어 Matlab/Simulink를 이용하여 시뮬레이션 되었고, 실험결과와 비교되었다. 다수의 제조사에서 제작된 비슷한 용량의 슈퍼커패시터들의 임피던스 모델을 개발하고 전압에 따른 커패시턴스의 변화를 비교하고 분석하였다. 또한, 상용 장비로는 모델링이 불가능한 고압 슈퍼커패시터 모듈의 모델링을 수행할 수 있는 새로운 방법을 제안하고, 제안된 방법에 의해 개발된 모델의 유용함을 실험을 통해 검증하였다.

• 실천공학교육논문지
• /
• 제14권2호
• /
• pp.305-312
• /
• 2022

본 논문에서는 기초적인 데이터 예측 모델을 만들고 최적화하는 교육에 초점을 맞추었다. 그리고 데이터 예측 모델을 최적화하는 데 널리 사용되는 머신러닝의 경사하강법 교육 방법을 제안하였다. 미분법을 적용하여 데이터 예측 모델에 필요한 파라미터 값들을 최적화하는 과정에 사용되는 경사하강법의 전체 동작과정을 시각적으로 보여주며, 수학의 미분법이 머신러닝에 효과적으로 사용되는 것을 교육한다. 경사하강법의 전체 동작과정을 시각적으로 설명하기위해, 스프레드시트로 경사하강법 SW를 구현한다. 본 논문에서는 첫번째로, 2변수 경사하강법 교육 방법을 제시하고, 오차 최소제곱법과 비교하여 2변수 데이터 예측모델의 정확도를 검증한다. 두번째로, 3변수 경사하강법 교육 방법을 제시하고, 3변수 데이터 예측모델의 정확도를 검증한다. 이후, 경사하강법 최적화 실습 방향을 제시하고, 비전공자 교육 만족도 결과를 통해, 제안한 경사하강법 교육방법이 갖는 교육 효과를 분석하였다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2003년도 춘계종합학술대회
• /
• pp.526-529
• /
• 2003

논 논문에서는 VHDL 모델을 검증하기 위하여 정지법을 사용할 때 클럭 사이클을 줄일 수 있는 2가지 방법을 제안한다. 첫 번째 방법은 세미랜덤변수를 정의하고, 정지법이 동작 중에 세미랜덤변수의 영역에 존재하는 데이터를 생략하여 정지점(stopping point)을 줄이고, 두 번째 방법은 정지법의 페이즈가 변화시에 베이지안 파라미터의 기존 간을 그대로 유지하여 클럭 사이클을 줄이는 방법이다. 제안된 방법의 효율성을 입증하기 위하여 12개의 VHDL 모델에 대하여 분기검출률에 관한 모의실험을 하였다.