• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2003년도 하계종합학술대회 논문집 II
• /
• pp.939-942
• /
• 2003

Design verification problem is emerging as an important issue to detect any design errors at the early stage of the design. Conventionally, design verifications have been done using a simulation technique. However, this technique has been proved not to cover all potential design errors. Therefore, formal technique is often used to verify digital circuits as an alternative. In this paper we adopted formal verification technique and verified some important properties derived from our pipelined digital systems, using SMV (Symbolic Model Verifier). Our example shows that model checking method (one of formal verification techniques) can be effectively performed in verifying the large digital systems.

• 소음진동
• /
• 제2권3호
• /
• pp.181-192
• /
• 1992

A method of measuring the transmission loss of silencer using two microphone technique is described. Two microphone methol is used to elliminate the measurement error due to reflected wave spectra in inlet/outlet duct of silencer. Errors associated with the measurement method are studied. Henceforth the methods to effectively supress the influence are presented. Based on these considertions, the appropriate procedure of experimental set-up to measure the transmission loss a silencer is described with experimental verifications.

• Water Engineering Research
• /
• 제4권4호
• /
• pp.175-185
• /
• 2003

A numerical model to analyze dam break flows has been developed based on approximate Riemann solver. The governing equations of the model are the nonlinear shallow-water equations. The governing equations are discretized explicitly by using finite volume method and the numerical flux are reconstructed with weighted averaged flux (WAF) method. The developed model is verified. The first verification problem is about idealized dam break flow on wet and dry beds. The second problem is about experimental data of dam break flow. From the results of the verifications, very good agreements have been observed

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2005년도 춘계학술발표대회
• /
• pp.349-352
• /
• 2005

USE는 OCL(Object Constraint Language)로 작성된 UML 다이어그램의 제약조건을 검증해볼 수 있는 가장 뛰어난 도구이다. USE는 다이어그램에 적용되는 제약조건을 미리 저장해두고 검증 다이어그램을 명령어 형태로 입력받아 정확성 또는 일관성을 검증하는데 사용된다. 본 연구에서는 이러한 검증과정의 복잡함을 줄이기 위하여, UML 모델링 시에 검증 대상이 되는 다이어그램의 USE 명령어를 생성하는 효율적인 도구를 설계하고 구현한다.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 1998년도 가을 학술발표회 논문집
• /
• pp.117-124
• /
• 1998

New Thrie-Beam guardrail section has been developed. The Characteristic of its geometry, energy absorbing capability and response to impact has been studied and compared with those of conventional W-Beam guardrail system. To compare the response to impact computer simulation using Barrier Ⅶ program was made. Stretch tests and static loading tests were conducted for the performance verifications.

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

무선랜을 사용한 비밀통신은 공격에 노출되기 쉽기 때문에 반드시 보안 환경이 필요하다. 보안을 위한 방법으로 IEEE 802.11 에서 제시하는 WEP (Wired Equivalent Privacy)가 사용된다. 구현이 쉽고 연산 속도가 빠르기 때문이다. 하지만 현재 WEP 를 기반으로 보호된 네트워크는 공격자에게 언제나 노출되어 있다. 이 논문에서는 WEP 의 문제점을 분석하고 이를 이용한 공격 기법을 제안하고 일반적인 환경에서 WEP 의 유효성을 실험을 통해 밝힌다.

• 한국지진공학회논문집
• /
• 제20권4호
• /
• pp.235-243
• /
• 2016

Korea is part of a region of low to moderate seismicity located inside the Eurasian plate with bedrock located at depths less than 30 m. However, the spectral acceleration obtained from site response analyses based on the geologic conditions of inland areas of the Korean peninsula are significantly different from the current Korean seismic code. Therefore, suitable site classification scheme and design response spectra based on local site conditions in the Korean peninsula are required to produce reliable estimates of earthquake ground motion. In this study, site-specific response analyses were performed at more than 300 sites with at least 100 sites at each site categories of $S_C$, $S_D$, and $S_E$ as defined in the current seismic code in Korea. The process of creating a huge database of input parameters - such as shear wave velocity profiles, normalized shear modulus reduction curves, damping curves, and input earthquake motions - for site response analyses were described. The response spectra and site coefficients obtained from site response analyses were compared with those proposed for the site categories in the current code. Problems with the current seismic design code were subsequently discussed, and the development and verifications of new site classification system and corresponding design response spectra are detailed in companion papers (II-development of new site categories and design response spectra and III-Verifications)

• 한국항공우주학회지
• /
• 제45권11호
• /
• pp.998-1005
• /
• 2017

본 논문에서는 계층구조로 설계된 항공전자시스템의 체계적 검증을 위해 장비 모델을 활용하여 각 서브시스템 별 개별 검증, 다수 서브시스템들 간 통합 검증, 전체 시스템의 통합 검증 등으로 이루어진 단계적 검증 절차를 소개하였으며, 이를 기반으로 여러 단계의 시험이 1대의 통합시험환경으로 동시에 수행 가능한 다중모드 통합시험환경 개발 방안을 제안하여 기존의 순차적 시험 방식에 비해 시험 시간을 줄일 수 있음을 수학적으로 증명함으로써, 시험 효율성을 향상에 따른 검증 기간 단축과 비용 절감 효과를 입증하였다.

• 임상간호연구
• /
• 제15권1호
• /
• pp.5-17
• /
• 2009

Purpose: This study was to develop a factor-type patient classification system for general nursing unit based on nursing needs (KPCS; Korean patient classification system for nurses). Method: We reviewed workload management system for nurses(WMSN) of Walter Reed Medical Center, Korean patient classification system for ICU, and nursing activities in nursing records and developed the first version of KPCS. The final version KPCS was evaluated via validity and reliability verifications based on panel discussions and data from 800 patient classifications. Content validity was performed by Delphi method and concurrent validity was verified by the correlation of two tools (r=.71). Construct validity was also tested by medical department (p<.001), patient type (p<.001), and nurse intuition (p<.001). These verifications were performed from April to October, 2008. Results: The KPCS has 75 items in classifying 50 nursing activities, and categorized into 12 different nursing area (measuring vital sign, monitoring, respiratory treatment, hygiene, diet, excretion, movement, examination, medication, treatment, special treatment, and education/emotional support). Conclusion: The findings of the study showed sound reliability and validity of KPCS based on nursing needs. Further study is mandated to refine the system and to develop index score to estimate the necessary number of nurses for adequate care.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2005년도 춘계학술대회 논문집 전기설비전문위원
• /
• pp.51-53
• /
• 2005

Grounding systems are responsible rot the safe operation of a power system whetehr power system fault occures or not, their performance guarantees equipmet protection and personnel safety by limited the ground potential rise and touch voltages as well as step voltages under ground fault condition. therefore, it is necessary to measure the ground resistance frequently for checing the performance of grounding system. In order to verigy the designed grounding measurement system feasibility, two comparison verifications, which are the ground resistnace measurements using the designed system on power service and off power service, are carried out for the same substation.