• Proceedings of the KIPE Conference
• /
• 2015.11a
• /
• pp.177-178
• /
• 2015

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

• Journal of the Institute of Electronics and Information Engineers
• /
• v.53 no.11
• /
• pp.130-138
• /
• 2016

In this paper present the real-time system parallel testing techniques for weapon systems error verification. Previously field testing equipment in the military field was using the sequential testing method to maintain. This method could not check the error verification of interference. For this reason, in this paper propose the real-time system parallel testing techniques using an embedded module instead of the sequential testing techniques which is used in the weapon system error verification. Using the embedded module mounted switching control card conduct the parallel testing and then send the result to the PC. This method is possible to increase the reliability in the weapon system error verification.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.10 no.8
• /
• pp.1435-1442
• /
• 2006

The ideal method of safety evaluation is to verify results of execution against all possible operations within operating system, but it is impossible. However, the formal method can theoretically prove the safety on actual logic of operating system. Therefore we explain the contents of the art of the safety verification of security kernel, and make a comparative study of various standardized formal verification tools. And then we assigned PVS(Prototype Verification system) of SRI(Stanford Research Institute) to verify the safety of a modified BLP(Bell & LaPadula) model, the core access control model of multi-lavel based security kernel. Finally, we describe formal specification of the revised BLP model using the PVS, and evaluate the safety of the model by inspecting the specification of the PVS.

• Journal of Ethics
• /
• no.94
• /
• pp.249-275
• /
• 2014

This study aims to standardize Moral Judgment Test (MJT) for measure the level of moral judgment to apply to Korean society. The questionnaire of MJT was composed of two stories: Worker's Dilemma; Doctor's Dilemma. The procedure of this study was started with translation, making final questionnaire through several times pre-test, survey, then did analyze. The degree of reliability was .669. To verify validity, this study carried 3 kinds of tests as follows: the Order of Preferences, Quasi-simplex Structure, Cognitive-Affective Parallelism. Through these tests, this study showed that Korean-translated version questionnaire of MJT is significant and good base to measure moral judgment.

• Journal of KIISE:Databases
• /
• v.32 no.6
• /
• pp.628-640
• /
• 2005

The XML is well accepted in several different Web application areas. As soon as many users and applications work concurrently on the same collection of XML documents, isolating accesses and modifications of different transactions becomes an important issue. When an XML document correctly corresponds to the rules laid out in a DTD or XML schema, it is also said to be valid. The valid XML document's validity should be guaranteed after the document is updated. The validation method mentioned above, however, results in lower degree of concurrency. For getting higher degree of concurrency and minimizing the range of the XML document validity, a new validation method based on a specific locking method is required. In this paper we propose the sequence group validation method for minimizing the range of the XML document validity. We also propose the boundary locking method for isolating accesses and modifications of different transactions while supporting the valid XML document's validity. Finally, the results of some experiments show the validation and locking methods increase the degree of transaction concurrency.

• Journal of the Korean GEO-environmental Society
• /
• v.4 no.4
• /
• pp.73-84
• /
• 2003

In this study, the economic pile design procedure using the proof test results was proposed. In order to improve the inappropriate pile design routine, the proof test for 6 pile cases were performed and the construction saving effect were analyzed. The saving rate of construction cost with the small diameter piles and the large diameter drilled shafts were 34 - 47 and 0 - 55 %, respectively.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.598-600
• /
• 2002

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

• The Korean Journal of Financial Management
• /
• v.18 no.2
• /
• pp.145-168
• /
• 2001

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11c
• /
• pp.1633-1636
• /
• 2003

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

• Proceedings of the Korean Society of Disaster Information Conference
• /
• 2017.11a
• /
• pp.282-285
• /
• 2017

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