• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2015년도 추계학술대회 논문집
• /
• pp.177-178
• /
• 2015

본 논문에서는 수퍼커패시터 뱅크로 구성된 에너지 저장장치의 DC링크에 임의의 주파수성분의 AC전압과 전류를 통해 측정된 임피던스의 크기와 위상차를 통하여 실시간으로 커패시턴스를 추정하는 방법에 대한 검증 결과를 기술하고, 수퍼커패시터의 용량 및 계통의 변화에 따라 측정값의 결과를 비교 분석 하였다. 수퍼커패시터 뱅크는 정상 계통인 경우 평균 1.95F 으로 정격용량의 약 85%가 추정 되고 계통의 크기를 90%, 110%로 변화함에 있어서도 동일한 결과를 얻었다. 수퍼커패시터 뱅크의 커패시턴스에 변화를 주었을 경우에도 최대 오차율 약 1.5% 이내에 반복적으로 추정되는 것을 확인하여 수퍼커패시터 뱅크의 커패시턴스 추정방법이 타당함을 검증하였다.

• 전자공학회논문지
• /
• 제53권11호
• /
• pp.130-138
• /
• 2016

본 논문은 무기체계의 오류를 검증할 때 필요한 실시간 시스템 병렬시험 기법에 대해서 제안한다. 이전에 국방분야에서 사용되는 야전시험장비는 무기체계를 순차적으로 검증하는 방식을 사용하였다. 오류를 순차적으로 검증하는 방식은 내부유닛간의 상호 간섭에 의한 부분의 오류검증은 할 수 없었다. 이러한 이유로 인해 본 논문에는 기존에 무기체계 오류 검증 시 사용되는 순차적 시험기법이 아닌 임베디드 장치를 이용한 실시간 시스템 병렬시험 기법을 제안한다. 임베디드 모듈이 탑재된 스위칭 제어카드는 병렬시험을 수행하고 그 결과를 사용자의 제어장치로 전달한다. 이러한 방식은 기존의 방식에 비해 좀 더 정확하게 무기체계 내부의 상호 간섭에 대한 오류 검증을 할 수 있다.

• 한국정보통신학회논문지
• /
• 제10권8호
• /
• pp.1435-1442
• /
• 2006

안전성에 대한 이상적인 평가방법은 운영체제내의 모든 가능한 연산을 대상으로 실행 결과의 안정성 여부를 검사하는 것이다. 하지만 이는 현실적으로 불가능하다. 그러나 정형기법을 사용할 경우 운영체제 동작논리상의 안전성 보장 여부를 이론적으로 증명할 수 있다. 따라서 본 논문에서는 보안커널의 안정성 검증방법에 대하여 논하고, 정형검증의 대표적인 도구들에 대하여 비교분석을 수행하였다. 그리고 보안커널에 기반한 다중레벨 접근통제모델인 수정된 BLP(Bell & LaPadula) 모델을 검증하기에 적합한 PVS(Prototype Verification System) 검증도구를 선정하였다. 마지막으로 PVS 검증도구를 활용하여 정형명세를 작성하고, 작성된 정형명세의 검증을 통하여 수정된 BLP 모델이 안전한 보안모델이라는 것을 검증하였다.

• 윤리연구
• /
• 제94호
• /
• pp.249-275
• /
• 2014

본 연구는 도덕판단력 측정도구인 MJT를 한국상황에 맞게 표준화하는 것을 목표로 한다. MJT는 '근로자의 고민'과 '의사의 고민' 두 가지의 딜레마 이야기로 구성되어 있다. 표준화의 절차는 우선 번역을 하고, 수차례의 예비조사를 거쳐 질문지를 안착하고, 실제 조사를 통해 창안자가 제시한 기준에 부합되는지를 검증하고 질문지의 신뢰도를 검증하는 방식으로 진행되었다. 이 연구 결과 문항의 신뢰도는 .669로 양호한 편이었고, 도덕발달단계별 선호 위계 검증, 단계별 준단방향구조 검증, 인지-정서적 평행 검증 등의 측면에서 타당도도 유효한 것으로 입증되었다.

• 한국정보과학회논문지:데이타베이스
• /
• 제32권6호
• /
• pp.628-640
• /
• 2005

많은 웹 응용 영역에 XML이 적용되면서 트랜잭션의 변경과 접근에 대한 고립성을 만족시키는 XML 문서에 대한 병행수행은 중요한 이슈가 되고 있다. DTD(혹은 XML 스키마)의 규칙을 잘 지키는 문서를 유효한 XML 문서라 하는데, 유효한 XML 문서에 대한 갱신 연산은 연산 후의 XML 문서가 원래 DTD의 규칙을 그대로 유지해야하는 유효성 문제를 앉고 있다. 일반적인 유효성 검증 방법은 갱신 후의 XML 문서 전체에 대해 유효성을 검증하는 방법이다. 그러나, 위에서 언급한 유효성 검증 방법은 낮은 병행수행의 결과를 낳는다. 따라서, XML 문서의 유효성 검증 범위를 최소화하면서 높은 병행수행 정도를 보이는 새로운 유형성 검증 방법과 로킹 방법이 요구된다. 본 논문은 유효성 검증의 검증 범위를 최소화 시켜 유효성 검증이 효율적으로 수행될 수 있는 시퀀스 그룹 검증 기법을 제안한다. 또한 이 검증 기법의 정확성을 보장하면서 로킹되는 데이타 아이템의 수를 최소화 할 수 있는 경계 로킹 기법을 제안한다. 마지막으로 제안된 유효성 검증 기법과 경계 로킹 기법이 기존의 방법에 비해 트랜잭션의 병행수행 성능을 향상시키고 있음을 실험을 통해 보인다.

• 한국지반환경공학회 논문집
• /
• 제4권4호
• /
• pp.73-84
• /
• 2003

본 연구에서는 검증시험결과를 활용한 말뚝기초의 경제적인 설계절차를 제안하였다. 그리고 비경제적인 말뚝기초의 설계관행을 해소하기 위하여 6개 사례를 선정하여 설계를 목적으로 한 말뚝 정재하시험 (즉, 검증시험)을 수행하고, 검증시험 결과를 활용하여 건설비용 절감효과를 분석하였다. 말뚝기초 건설비용 절감효과는, 말뚝의 하중지지능력을 확인할 수 있는 소구경 말뚝에서는 34 - 47 %로 나타났으며, 말뚝의 최대하중지지능력 확인이 곤란한 대구경 말뚝에서는 0 - 55 %로 나타났다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (A)
• /
• pp.598-600
• /
• 2002

메시지전달 병렬프로그램에서는 메시지들의 경합으로 인해서 의도하지 않은 다결정적인 수행결과가 초래되므로, 메시지들의 경합을 탐지하는 것은 중요하다. 이전 연구에서 경합을 탐지하는 다양한 기법들을 제안하였으나, 각 탐지기법의 기능을 검증할 수 있는 방법은 없다. 이는 기존 경합 탐지기법과 새롭게 개발되는 경합 탐지기법의 기능을 검증하기 어렵게 한다. 본 연구는 기존의 경합 탐지기법들을 구현하여 각 기법들의 탐지결과를 비교함으로써 그 기능을 검증할 수 있게 하는 시험도구를 제안한다. 본 시험도구의 사용자는 기존의 경합 탐지기법과 새로운 탐지기법을 선택하여 적용할 수 있고, 탐지된 결과에 대한 시각화 정보의 비교를 통해서 탐지기법들의 기능을 검증할 수 있다. 그러므로 본 도구는 새로운 경합 탐지기법의 개발을 위한 효과적인 기능시험을 가능하게 한다.

• 재무관리연구
• /
• 제18권2호
• /
• pp.145-168
• /
• 2001

본 연구는 아시아 11개국 환율변화율의 자료를 이용하여, 집단 간의 동질적 속성에 의한 의미 있는 경제적 분류를 시도하기 위하여, 탐색적인 수리적 분류기법의 소개 및 적용, 그리고 이러한 접근법에 의하여 아시아 외환시장을 집단화하는 동질적인 공통요인의 존재가능성을 평가하고자 하는 목적으로 검증하였으며, 관찰된 검증결과를 요약하면 다음과 같다. 첫째, 변화하는 시계열에 관계없이, 아시아 11개국의 외환시장에서는 일정하게 집단을 구성하는 계층적 구조관계를 확인할 수 있었다. 둘째, 검증결과에 의하여, 아시아 11개국의 외환시장을 동질적인 속성으로 집단화하는 공통요인의 존재가능성을 볼 수 있었다. 셋째, 의미 있는 경제적 분류에 의하여 형성된 동질적 속성의 시장구조관계는 공통적으로 영향을 미칠 수 있는 사건이 발생할 경우, 기존의 시장구조관계를 변화시킬 수 있다는 것을 관찰하였다. 넷째, 한국은 1990년 이후 국제화 정책을 국가적 차원에서 추진하였지만, 전반적인 검증결과에 의하면, 한국은 아시아 외환시장에서의 동질적인 속성에 의한 시장구조의 연결관계가 미약한 수준임을 확인할 수 있었다.

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

코드검증은 소프트웨어공학에서 제안한 개발 프로세스 상의 여러 절차 중 비용 대 효과 측면에서 가장 효과적이라고 알려져 있다. 그러나 코드검증 절차 도입 초기에는 적용에 따른 기대 수준이 낮으며, 추가 작업에 대한 개발자와 관리자의 부담이 높기 때문에 투입시간, 자원할당 등의 계획은 설득력 있는 근거를 바탕으로 체계적으로 수립되어야 한다. 본 논문에서는 기존 제품 개발 시 발생 되었던 결함의 원인 분석과 결함 제거에 투입된 공수 산출을 바탕으로 코드검증 절차를 개발 프로세스 상에 도입, 계획할 수 있는 방안을 제시한다.

• 한국재난정보학회:학술대회논문집
• /
• 한국재난정보학회 2017년 정기학술대회
• /
• pp.282-285
• /
• 2017

본 논문에서는 무인비행기를 활용하여 재철소에서 사용하고 있는 대량의 원재료인 고철의 체적을 산정하고 수량을 파악하여 기존의 재고량산정 방법의 문제를 개선하고 보다 효율적이며 객관적인 고철량을 파악하는 방법을 찾는데 목적이 있다. 고철량 산정에 있어 무게를 산정하기 위해서는 체적을 산정하여 비중값을 적용하여 산정한다. 본 연구에서는 무인비행기(UAV)를 이용하여 체적을 산정하고 정확성 검증을 위해 정형의 컨테이너 박스와 크기가 작은 휴지통을 촬영 분석하여 비교 검증한 후 고철의 체적 측정 시험을 시행하였다. 무인비행기는 고정익 드론을 사용하였으며 격자비행방식을 적용하여 촬영하였으며, 촬영 전 지상기준점을 구하고자하는 물제의 주변에 배치하고 측량하여 적용하였다. 분석결과 체적산정을 위한 검증시험에서는 측량한 치수 및 체적 값과 무인비행기분석 값이 유사하게 나타났다. 또한 제철소에서 검증한 고철의 무게와 체적을 기준으로 무인비행기를 이용한 체적 값을 비교한 결과 기존 방식에 비해 객관적이고 효율적인 값을 얻을 수 있는 것으로 판단된다.