• 정보보호학회지
• /
• 제2권4호
• /
• pp.67-74
• /
• 1992

• 대한안전경영과학회:학술대회논문집
• /
• 대한안전경영과학회 2007년도 추계학술대회
• /
• pp.319-322
• /
• 2007

This paper presents geometrical product specifications of acceptance and verification tests for coordinate measuring machines(CMM). These specifications include vocabulary, measuring size, rotary table with fourth axis, scanning measuring mode, multiple-stylus probing systems, measuring, and, estimation of errors in computing Gaussian associated features.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 1998년도 추계종합학술대회 논문집
• /
• pp.763-766
• /
• 1998

This paper describes the microarchitecture of the integer processor unit of RAPTOR which is an on-chip multiprocessor. The integer processor unit implements the 64-bit SPARC-V9 architecture and supports by hardware out-of-order instruction execution. The unit is designed to be handy so that multiple copies of the unit cn be integrated with cache memories into a single chip. The design was proceeded in a top-down manner. The hardware description and its verfication were performed using Verilog-HDL.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (A)
• /
• pp.181-183
• /
• 2004

Mission-Critical한 실시간 반응형 내장 시스템들의 설계과정에 있어 high-level abstraction과 formal(software 기반) modeling은 없어서는 안될 중요한 부분이다. 실시간 반응형 내장 system의 OS는 정형 명세 기법을 이용하여 시스템의 주요 component들을 설계하고 OS의 Formal model들을 모든 가능한 input들 아래 OS의 behavior를 엄격하게 검증함으로써 error가 없는 완벽한 OS를 개발할 수 있다. 본 논문에서는 uC/OS-11의 OS Scheduling 부분을 반응형 시스템 언어인 Esterel의 SyncCharts로 명세, 명세한 시스템의 요구조건을 정형기법을 이용친서 검증해보고자 한다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2000년도 추계학술대회 논문집
• /
• pp.127-131
• /
• 2000

The paper presents both theoretical and experimental study for dynamic instabilities of a vertical cantilevered pipe with two attached lumped masses conveying fluid. The two attached lumped masses can be considered as valves or some mechanical parts in real pipe system. Eigenvalue behaviors depending on the flow velocity are investigated for the change of positions and magnitudes of an attached lumped mass and a tip mass. In order to verify appropriaty of numerical solutions, experiments were accomplished. Theoretical predictions have a good agreement with experimental ones.

• 미생물학회지
• /
• 제28권4호
• /
• pp.318-323
• /
• 1990

The bacterial secondary production was measured at 6 sites of Lake Soyang in October, 1989 by $^{3}$H-thymidine incorporation rate. Verfication for the method of bacterial secondary production measurement showed that $^{3}$H-thymidine incorporated into DNA, RNA and protein by average percentage of 38.45, 42.27 and 20.07%, respectively. THe more increased incoporated $^{3}$H-thymidine, the more increasde DNA fraction, but protein fraction was generally low. Incorporation of rate of /usp 3/H-thymidine. $^{3}$H-leucine into protein correlated with protein fraction of incorporated $^{3}$H-thymidine. Conversion factors were calculated as follows; $1.83*10 ^{20}$ cells/moles of thymidine incorporated/hr and 1.69*10$^{22}$ cells/moles of leucine incorporated/hr.

• 대한조선학회논문집
• /
• 제28권1호
• /
• pp.169-181
• /
• 1991

본 연구에서는 2축방향압축력(軸方向壓縮力)을 받는 주변단순지지평판(周邊單純支持平板)의 좌굴전(挫屈前), 좌굴강도(挫屈强度), 좌굴후(挫屈後) 거동(擧動), 최종강도(最終强度) 및 최종강도후거동(最終强度後擧動)에 대한 해석해(解析解)를 도출한다. 또한 본 연구에서는 도출한 해석해(解析解)를 적용하여 판(板)의 종횡비(縱橫比)와 세장비(細長比) 및 하중성분비(荷重成分比)의 변화에 따른 시리즈해석을 수행한다. 본(本) 해석해(解析解)는 각종 수치해석(數値解析) 및 실험결과(實驗結果)에 대한 기준치(基準値)로서 널리 사용될 수 있으리라 기대된다.

• 한국농공학회:학술대회논문집
• /
• 한국농공학회 1999년도 Proceedings of the 1999 Annual Conference The Korean Society of Agricutural Engineers
• /
• pp.708-714
• /
• 1999

For the assessment of the level of stream pollution, SWAT-WASP model linked with GIS was applied to a respresentative rural watershed and evaluated for its applicability through calibration and verfication using observed data. Using daily water yields, sediment yields and nutrient discharge simulated by SWAT model, WASP input file was build. Point source pollutant and water quality change in stream was considered in WASP model. For the model applicatiion , digital maps were constructed for watershed boundary, ladn-use , soil series , digital elevation, and topographic data of Bok-Ha watershed using GRASS. The model application results showed that the simulated runoff was in a good agreement with the observed data and indicated reasonable applicability of the model.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2006년도 하계종합학술대회
• /
• pp.457-458
• /
• 2006

This paper propose design and implementation methods of ensemble multiplexer which is the purpose of Terrestrial DMB Conditional Access Service. Also transmit ensemble stream which is scrambled through the proposed ensemble multiplexer, by descrambling or decoding received stream as the scramble mode which is applicated through receiving verfication platform and by desplaying it, verificate the performance of ensemble multiplexer.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2014년도 제50차 하계학술대회논문집 22권2호
• /
• pp.9-12
• /
• 2014

이 논문에서는 ISO/IEC JTC 1/SC 32/WG 2에서 개발한 메타데이터 관리 표준에 대한 검증 및 활용성 향상 방안을 제안한다. 메타데이터는 데이터의 데이터라고 정의하며 데이터를 표현하기 위한 다양한 데이터를 의미한다. 메타데이터는 데이터에 대한 해석 및 처리를 보다 용이하게 하기 위한 정보로서, 데이터에 대한 정확한 이해를 통해 데이터 불일치 문제를 해결하기 위해 이용된다. ISO/IEC JTC 1/SC 32는 데이터 교환 및 관리를 위한 표준을 개발하며 특히 WG 2는 메타데이터 관리를 위한 다양한 표준을 개발한다. WG 2에서 다양한 많은 표준을 개발하였으나 검증 및 활용성 측면에서 몇 가지 한계를 지닌다. 따라서 이 논문에서는 WG 2에서 개발한 표준에 대한 검증 및 활용성 향상을 위한 방안에 대하여 서술한다.