• 정보처리학회논문지A
• /
• 제15A권2호
• /
• pp.87-94
• /
• 2008

메시지전달 프로그램에서 발생하는 메시지경합은 프로그램의 비결정적 수행결과를 초래하므로 효과적인 디버깅을 위하여 탐지되어야 한다. 메시지경합을 탐지하는 기존의 도구는 임의의 메시지를 수신하는 모든 사건에서 경합이 발생한다고 보고한다. 그러나 메시지들이 전송되는 논리적인 통신채널이 서로 다르면 임의의 메시지를 수신하는 사건에서 경합이 발생하지 않을 수도 있으므로, 기존 도구의 부정확한 탐지정보는 프로그래머의 디버깅 작업을 더욱 어렵게 한다. 본 논문에서는 메시지 송수신 사건간의 병행성과 메시지들의 논리적 통신채널을 검사하여 보다 정확하게 메시지경합을 탐지하는 도구인 MPIRace-Check를 제안하다. 본 도구는 vector timestamp를 이용하여 프로그램 수행 중에 메시지를 전송하는 송수신 사건들간의 병행성을 검사하고, 메시지 부가정보를 이용하여 메시지들의 논리적인 통신채널이 동일한지를 검사하여 메시지경합을 탐지한다. 실험에서는 MPI_RTED와 벤치마크 프로그램을 이용하여 본 도구가 프로그램 수행 중에 효율적으로 모든 경합을 정확하게 탐지함을 보인다. 따라서 본 도구는 메시지경합을 정확하게 탐지하여 프로그래머의 디버깅 부담을 줄이고 신뢰성이 있는 병렬 프로그램의 개발을 가능하게 한다.

• 한국콘크리트학회:학술대회논문집
• /
• 한국콘크리트학회 1999년도 학회창립 10주년 기념 1999년도 가을 학술발표회 논문집
• /
• pp.635-638
• /
• 1999

The crack of concrete is one of the most important factors to evaluate the safety of the structures. The more important point for the safety-evaluation of the concrete structures is to check the crack development, the conventional window paper (Chang Ho Ji) have been used as a simple method in the past, and nowadays the strain gauge is used for more correct way to check the development of the concrete crack quantitatively. However the window-paper method is too simple and not so scientific, and the strain-gauge method is rather complicated for people in general. This Easy-Check Sensor provides the simple usage for the various concrete structures, but also the more correct results to evaluate the development of the concrete crack.

• 한국신재생에너지학회:학술대회논문집
• /
• 한국신재생에너지학회 2007년도 춘계학술대회
• /
• pp.565-568
• /
• 2007

The high pressure hydrogen gas refueling system is required for fuel cell vehicle. In this paper, a commercial computational fluid dynamics (CFD) code, FLUENT is adopted to investigate the gas flow characteristics inside the check valve for various refueling and tank pressures. The results showed that the choking phenomena can occur for certain refueling pressures, therefore refueling processes should be divided by multiple stages. And a design method to prevent the seal departure problem which reported in CNG usages is required.

• 한국멀티미디어학회논문지
• /
• 제20권4호
• /
• pp.660-670
• /
• 2017

In case of auditing of the information system development project applying agile methodology, it is not appropriate to carry out a comprehensive check on the establishment of information system with only the existing check on software. This study considers the characteristics of the agile methodology in terms of Information System Auditing. To improve inspection quality of development project with agile methodology by deriving detailed check items of test activities at each stage, this study proposes a strategy to improve the check on software for the test activities of the supervisory model that is suitable for agile methodology, which emphasizes repetitive work.

• 한국의학물리학회지:의학물리
• /
• 제25권2호
• /
• pp.65-71
• /
• 2014

A Varian Portal Dosimetry system was compared to an isocentrically mounted MapCHECK 2 diode array for volumetric modulated arc therapy (VMAT) QA. A Varian TrueBeam STx with an aS-1000 digital imaging panel was used to acquire VMAT QA images for 13 plans using four photon energies (6, 8, 10 and 15 MV). The EPID-based QA images were compared to the Portal Dose Image Prediction calculated in the Varian Eclipse treatment planning system (TPS). An isocentrically mounted Sun Nuclear MapCHECK 2 diode array with 5 cm water-equivalent buildup was also used for the VMAT QAs and the measurements were compared to a composite dose plane from the Eclipse TPS. A ${\gamma}$ test was implemented in the Sun Nuclear Patient software with 10% threshold and absolute comparison at 1%/1 mm (dose difference/distance-to-agreement), 2%/2 mm, and 3%/3 mm criteria for both QA methods. The two-tailed paired Student's t-test was employed to analyze the statistical significance at 95% confidence level. The average ${\gamma}$ passing rates were greater than 95% at 3%/3 mm using both methods for all four energies. The differences in the average passing rates between the two methods were within 1.7% and 1.6% of each other when analyzed at 2%/2 mm and 3%/3 mm, respectively. The EPID passing rates were somewhat better than the MapCHECK 2 when analyzed at 1%/1 mm; the difference was lower for 8 MV and 10 MV. However, the differences were not statistically significant for all criteria and energies (p-values >0.05). The EPID-based QA showed large off-axis over-response and dependence of ${\gamma}$ passing rate on energy, while the MapCHECK 2 was susceptible to the MLC tongue-and-groove effect. The two fluence-based QA techniques can be an alternative tool of VMAT QA to each other, if the limitations of each QA method (mechanical sag, detector response, and detector alignment) are carefully considered.

• 한국방재학회 논문집
• /
• 제11권3호
• /
• pp.183-189
• /
• 2011

본 연구에서는 저수지내 퇴사저감을 위하여 댐 상류에 저사댐을 설치하여 퇴적토를 포착하는 방법의 적합성을 검토하기 위해 국내 10개 다목적댐 유역을 대상으로 저사댐을 설치할 경우의 퇴사 저감효과에 대하여 분석하였다. 총 27개 설치지점의 퇴사 저감효과를 분석한 결과, 연구대상 다목적 댐 중 대청댐유역의 본류인 금강 지점의 저사댐 설치시 퇴사 저감효과가 가장 큰 것으로 판단되었으며 저사댐 설치에 따른 수명연장효과는 미설치시 수명보다 약 60%가 연장되는 것으로 판단되었다. 또한 저사댐 설치로 인한 퇴사 저감률에 영향을 미치는 인자를 알아보기 위하여 회귀분석을 실시한 결과 유역면적비가 가장 큰 영향을 미치는 것으로 판단되었으며 유역면적비에 대한 회귀식을 도출 할 수 있었다. 본 연구결과를 통해 국내 저사댐 도입시 기대 퇴사저감 효과 산정이나 설치위치 검토를 위한 기초자료 활용될 수 있을 것으로 판단된다.

• 콘크리트학회지
• /
• 제7권4호
• /
• pp.44-49
• /
• 1995

• 소성∙가공
• /
• 제6권5호
• /
• pp.416-424
• /
• 1997

In the present study, a contact search and check algorithm for general tool surface described by triangular FE patch is proposed. To improve numerical stability, SEAM element using the linear Coons interpolation has been used. To check the proposed algorithm, both clover cup and L-shape cup deep drawing processes are calculated. The computed results shows that the proposed contact algorithm can be successfully applied for sheet metal forming processes with general shaped tools.

• 대한안전경영과학회지
• /
• 제8권4호
• /
• pp.119-127
• /
• 2006

This paper deals with the middleware and S/W development of real time automatic attendance check management system using ubiquitous 900Mhz RFID(Radio Frequency Identification). This system supports the real time automatic attendance check and necessary data processing in class management. We expect to decrease the effort for class management and to upgrade the status of real time management of class.

• 한국CDE학회논문집
• /
• 제7권2호
• /
• pp.102-109
• /
• 2002

This paper presents a method for automatic generating of check sheet to measure deep-drawn sheet metal. By using polyhedral model of CAD, the proposed procedure calculates measuring points automatically. The results of measure are exported to MS-Excel. The proposed method is implemented by API functions and C language using SPEED plus CAD/CAM system and MS-Window OLE.