• 정보처리학회논문지D
• /
• 제16D권6호
• /
• pp.911-920
• /
• 2009

항공 소프트웨어가 FAA(미국연방항공청)에 승인받기 위해서는 DO-178B 표준에 따라야 한다. DO-178B에서는 안전 필수 소프트웨어의 단위 테스트가 MC/DC 기준을 만족하기를 요구하고 있다. MC/DC에 따른 테스트는 안전성과 관련된 오류를 효과적으로 찾을 수 있는 수단으로 알려져 있지만 MC/DC를 만족하는 테스트 케이스를 생성하는 작업이 용이하지 않는 것도 사실이다. 이 논문에서는 MD-SAT이라고 명명한 SAT(SATisfiability) 기술을 사용하여 MC/DC를 만족하는 테스트 케이스를 자동으로 생성하는 도구에 대해 소개한다. 이 도구는 결정표 기반 테스트, 인과 그래핑 및 상태 전이 테스트 방법을 구현한 도구에서 보다 다양한 테스트 케이스 생성을 위해 사용될 수 있다.

• 대한전기학회논문지:전력기술부문A
• /
• 제54권6호
• /
• pp.284-292
• /
• 2005

Because all of the short-circuit testing laboratories have the limitation of test facilities, the synthetic making test methods have been used to estimate the short-circuit making performance of the ultra high-voltage circuit breaker as the alternative to direct test methods. So, KERI(Korea Eelctrotechnology Research institute) has completed the construction of the synthetic making test facilities using the low capacity step-up transformer method which fulfill the requirements specified in newly revised IEC 62271-100 Edition 1.1(2003) and have the testing capability up to 550kV, 63kA full-pole circuit breaker. The test facilities using the low capacity step-up transformer method presented in this paper are made up of the unit equipments such as HCS(High-speed Closing Switch), ITMC(Initial Transient Making Current) circuit and UP TR(low capacity step-up transformer) and have the operating range of 17.6$^{\circ}$ $\~$ 145.1$^{\circ}$ for testing the circuit breaker rated on up to 50kA and 43.1$^{\circ}$ $\~$ 119.6$^{\circ}$ for more than 50kA.

• 조명전기설비학회논문지
• /
• 제13권1호
• /
• pp.77-85
• /
• 1999

이 논문은 가공 배전선에서 단선, 극심한 국부부식이나 아연손실과 같은 열화상태를 검사하기 위하여 솔레노이드 와전류 센서를 이용한 비파괴검사 시스템의 실험적인 연구에 대하여 다룬다. ACSR과 ACSR-OC에 대한 부식기구가 검토되고 코일과 시료의 구조적인 파라미터들을 검사하기 위하여, 솔레노이드 센서의 임피던스도 간단히 해석된다. 정전류원, 신호처리 장치 및 모터 구동장치로 구성된 측정시스템이 제작되었다. 이 장비는 연속적으로 센서 출력을 검출하고 검사 도체의 결함을 추정하는 성능이 있다. 그 결과, 관통형 코일의 와전류 센서가 가공 배전선의 열화에 의한 직경 변화를 효과적으로 추정할 수 있음을 밝혔다.

• 비파괴검사학회지
• /
• 제22권6호
• /
• pp.609-620
• /
• 2002

It is well known that during tensile testing, a part of the mechanical work done on the specimen is transformed into heat energy. However, the ultimate temperature rise and the rate of temperature rise is related to the nature of the material, conditions of the test and also to the deformation behaviour of the material during loading. The recent advances in infrared sensors and image/data processing techniques enable observation and quantitative analysis of the heat energy dissipated during such tensile tests. In this study, infrared imaging technique has been used to characterise the tensile deformation in AISI type 316 nuclear grade stainless steel. Apart from identifying the different stages during tensile deformation, the technique provided an accurate full-field temperature image by which the point and time of strain localization could be identified. The technique makes it possible to visualise the region of deformation and failure and also predict the exact region of fracture in advance. The effect of thermal gradients on plastic flow in the case of interrupted straining revealed that the interruption of strain and restraining at a lower strain rate not only delays the growth of the temperature gradient, but the temperature rise per unit strain decreases. The technique is a potential NDE tool that can be used for on-line detection of thermal gradients developed during extrusion and metal forming process which can be used for ensuring uniform distribution of plastic strain.

• 한국농업기계학회:학술대회논문집
• /
• 한국농업기계학회 2000년도 THE THIRD INTERNATIONAL CONFERENCE ON AGRICULTURAL MACHINERY ENGINEERING. V.II
• /
• pp.227-235
• /
• 2000

Agricultural products are easily deformable its shape because of some external forces. However, these force behavior is difficult to measure quantitatively. Until now, many researches on the mechanical property was performed with various methods such as material testing, chemical analysis and non-destructive methods. In order to investigate force behavior on the cellular unit of agricultural products, electro-microscope based 3D image processing method will contribute to analysis of plant cells behavior. Before image measurement of plant cells, plant sample was cut off cross-sectioned area in a size of almost 300-400 ${\mu}$ m units using the micron thickness device, and some of preprocessing procedure was performed with fixing and dyeing. However, the wall structure of plant cell is closely neighbor each other, it is necessary to separate its boundary pixel. Therefore, image merging and shrinking algorithm was adopted to avoid disconnection. After then, boundary pixel was traced through thinning algorithm. Each image from the electro-microscope has a information of x,y position and its height along the z axis cross sectioned image plane. 3D image was constructed using the continuous image combination. Major feature was acquired from a fault image and measured area, thickness of cell wall, shape and unit cell volume. The shape of plant cell was consist of multiple facet shape. Through this measured information, it is possible to construct for structure shape of unit plant cell. This micro unit image processing techniques will contribute to the filed of agricultural mechanical property and will use to construct unit cell model of each agricultural products and information of boundary will use for finite element analysis on unit cell image.

• Asian Pacific Journal of Cancer Prevention
• /
• 제16권14호
• /
• pp.5889-5897
• /
• 2015

Background: The performance of combined testing visual inspection with acetic acid (VIA) and cervical cytology tests might differ from one setting to another. The average estimate of the testing accuracy across studies is informative, but no meta-analysis has been carried out to assess this combined method. Objective: The objective of this study was to estimate the average sensitivity and specificity of the combined VIA and cervical cytology tests for the detection of cervical precancerous lesions. Materials and Methods: We conducted a systematic review and a meta-analysis, according to the Cochrane Handbook for Systematic Review of Diagnostic Test Accuracy. We considered two cases. In the either-positive result case, a positive result implies positivity in at least one of the tests. A negative result implies negativity in both tests. In the both-positive case, a positive result implies having both tests positive. Eligible studies were identified using Pubmed, Embase, Website of Science, CINHAL and COCRANE databases. True positive, false positive, false negative and true negative values were extracted. Estimates of sensitivity and specificity, positive and negative likelihood (LR) and diagnostic odds ratios (DOR) were pooled using a hierarchical random effect model. Hierarchical summary receiver operating characteristics (HSROC) were generated and heterogeneity was verified through covariates potentially influencing the diagnostic odds ratio. Findings: Nine studies fulfilled inclusion criteria and were included in the analysis. Pooled estimates of the sensitivities of the combined tests in either-positive and both-positive cases were 0.87 (95% CI: 0.83-0.90) and 0.38 (95% CI: 0.29-0.48), respectively. Corresponding specificities were 0.79 (95% CI: 0.63-0.89) and 0.98 (95% CI: 0.96-0.99) respectively. The DORs of the combined tests in either-positive or both-positive result cases were 27.7 (95% CI: 12.5-61.5) and 52 (95% CI: 22.1-122.2), respectively. When including only articles without partial verification bias and also a high-grade cervical intraepithelial neoplasia as a threshold of the disease, DOR of combined test in both-positive result cases remained the highest. However, DORs decreased to 12.1 (95% CI: 6.05-24.1) and 13.8 (95% CI: 7.92-23.9) in studies without partial verification bias for the combined tests in the either-positive and both-positive result cases, respectively. The screener, the place of study and the size of the population significantly influenced the DOR of combined tests in the both-positive result case in restriction analyses that considered only articles with CIN2+ as disease threshold. Conclusions: The combined test in the either-positive result case has a high sensitivity, but a low specificity. These results suggest that the combined test should be considered in developing countries as a primary screening test if facilities exist to confirm, through colposcopy and biopsy, a positive result.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2015년도 추계 학술논문 발표대회
• /
• pp.132-133
• /
• 2015

In this research by examining the influence that low quality aggregate has on the strength of concrete through testing, the lowering of strength according to use of low quality coarse aggregate was reviewed. The results showed that when using low quality coarse aggregate, due to the quality of aggregate a high volume of units was required, and this caused the compression strength to be lowered. In conclusion it was confirmed that if the low quality aggregate was used as is without mix correction this would lead to faulty construction and if the aggregate was corrected to about 60 kg/m3 mix correction, this would lead to an economically infeasible concrete mix.

• 한국정밀공학회지
• /
• 제21권1호
• /
• pp.94-100
• /
• 2004

Most power steering systems obtain the power by a hydraulic mechanism. Therefore, it consumes more energy because the oil power should be sustained all the times. Recently, to solve this problem the electric power system has been developed and become widely equipped in passenger vehicles. In this research the simulation integration technique for an electric power steering system with MATLAB/SIMULINK and a full vehicle model with ADAMS has been developed. A full vehicle model interacted with electronic control unit algorithm is concurrently simulated with an impulsive steering wheel torque input. The dynamic responses of vehicle chassis and steering system are evaluated. This integrated method allows engineers to reduce the prototype testing cost and to shorten the developing period.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2005년도 춘계학술대회 논문집
• /
• pp.220-224
• /
• 2005

The technology trend of Flat Panel Display (FPD) equipments have been demanded that there are compact and multi-function. Therefore, nano/micro scale patterned on polymeric materials of Back Light Unit (BLU) in Liquid Crystal Display (LCD) that has been investigated. This paper describes a series of Horizontal Type Micro Tensile Tester that were carried out to investigate the load strain distance performance of typical polymeric material sheets. The polymeric materials film that micro size shaped specimens for tensile test are used by Cold-Isostatic-Press (CIP). Test equipment is Horizontal type Micro Tensile Tester that is presented to measure the micro scale mechanical property of thin film for FPD. This paper presents which easy testing tools measure for micro patterned on polyethylene (PET) specimens.

• 한국근적외분광분석학회:학술대회논문집
• /
• 한국근적외분광분석학회 2001년도 NIR-2001
• /
• pp.1052-1052
• /
• 2001

Hear infrared (NIR) spectra were measured, at five temperatures, for forty-eight samples of honey, from a variety of geographical and botanical sources, and the data has been used to explore the possibility of using NIR spectroscopy for testing label claims concerning the geographical and botanical source of honey being offered for sale to the public. These results demonstrate that the successful characterization of the botanical source of a honey may be obtained by NIR spectroscopy. Further work with large numbers of samples and groups will be required to realized this potential. Additional analysis of these data suggest that research into new ways of obtaining information on the change of absorption with temperature might be beneficial for a range of technologies.