• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06c
• /
• pp.15-20
• /
• 2008

데이터베이스가 DTD를 가지는 valid XML을 관리하기 위해서는 XML 문서를 변경하는 트랜잭션들에 대한변경 유효성을 검사할 수 있는 메커니즘이 필요하게 된다. 그리고 이러한 유효성의 검증 범위는 유효성을 검증하기 위해 필요한 정보를 담고 있는 노드들을 나타낸다고 할 수 있는데 이것은 유효성 검증이 올바르게 수행되기 위해서는 검증 범위에 속하는 데이터 아이템들이 다른 트랜잭션들에 의해서 변경되지 않도록 보장하는 병행수행 제어 기법이 필요하다는 것을 의미하며 이를 위해 유효성과 병행수행에 대한 낙관적 처리 기법이 필요하게 된다. 본 논문에서는 효율적인 충돌 탐지와 같은 검증 범위에서의 유효성 검사를 통해 변경 연산의 트랜잭션들의 병행수행 성능을 향상시키는 기법을 제안하고 기존연구의 유효성 검증과 충돌 탐지 기법을 비교, 분석한다.

• Aerospace Engineering and Technology
• /
• v.6 no.2
• /
• pp.104-110
• /
• 2007

Analyzed is the spectral response profile specification used for the infrared (IR) channels of the meteorological imagers of GOES series geostationary satellites. The variation characteristics of effective wavelength and effective input radiance due to the change of the spectral response function profile within the imager performance specification are analyzed in order to propose how to understand the spectral response specification. As an analysis approach, at first a center symmetrical spectral response function and 4 worst case spectral response functions are selected within the spectral response specification, and then effective wavelength and effective input radiance are calculated for each spectral response function. As a result, the maximum allowable ranges of effective wavelength and effective input radiance are provided per the spectral response specification.

• Journal of the Korean Association of Geographic Information Studies
• /
• v.12 no.2
• /
• pp.120-131
• /
• 2009

This study measured the centripetal force and effective scope of the population spread from urban center and subcenters in order to diagnose the urban spatial structure of the formation of a multicentric city structure in Busan. The study analyzed the variability of the determination coefficient value (R square) with a negative exponential function derived from the population density model by extending the circular region into 5-km units. The aim of this study was to measure changes in the effective scope of the population centripetal force of the urban center and subcenter in 5-year intervals from 1995 to 2005 using census data. The explanatory adequacy of the population density function was examined with the bias of the function to calculate the distance error between the real location of the urban center and the optimal location, according to the population density function. To summarize the results, the value for the area of Jungangdong showed a continuous reduction, whereas Seomyeon (Bujeondong) maintained explanatory adequacy without a large change. As a whole, Busan was in the process of continuous diversification, in spite of its reduced population. Therefore, it appears necessary to strengthen the function of the urban center and subcenter and to supply adequate dwelling zones close to downtown to form a more efficient urban spatial structure. The results of the present study will be utilized as basic data for the formulation of a political approach to the efficient reorganization of spatial structure by correlating concrete spatial information with the population variability of Busan's urban center and subcenter.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2010.04a
• /
• pp.10-13
• /
• 2010

세그먼트 자중 등에 의한 휨모멘트와 케이블 수직압축력에 의한 합성응력이 발생되고 바닥판 경간비가 변하는 사장교의 시공단계에서는 전단지연의 영향범위가 다를 수 있다. 이 연구에서는 1면 케이블 콘크리트 박스 사장교를 대상으로 시공단계시 보강형에 고려되어야 할 합성응력에 의한 유효플랜지폭을 분석하였다. 그 결과 바닥판 경간비가 0.38 이하의 범위에서 보강형의 전폭을 유효플랜지폭으로 적용할 수 있는 것으로 해석되었다. 따라서 시공단계시 변화되는 바닥판 경간비의 크기에 관계없이 전폭을 유효플랜지폭으로 반영하는 실무관행은 안전측 설계가 되지 못할 수 가 있다. 바닥판 경간비가 작아짐에 따라서는 전폭과 캔틸레버 구조계로 유효플랜지폭을 결정하는 것이 타당하다. 이 연구에서는 수직력에 대한 도로교설계기준의 유효플랜지폭 규정에 대한 평가도 수행하였다.

• Proceedings of the KIEE Conference
• /
• 2005.07c
• /
• pp.2348-2350
• /
• 2005

LHM (Left Handed Material)은 특정 주파수 범위에서 음의 유전율과 투자율을 가지는 물질이며 유효 유전율과 투자율은 분산 특성을 가지고 로렌츠(Lorentz) 물질과 비슷한 형태를 가진다. 본 논문에서는 FDTD (Finite Difference Time Domain) 법을 바탕으로 한 PLRC (Piecewise Linear Recursive Convolution) 법을 이용하여 LHM 내의 유효 전파특성을 모의한다. 모의실험 결과는 음의 유전율과 투자율을 가지는 주파수 범위를 보여준다.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.41 no.11
• /
• pp.1099-1108
• /
• 2017

Data points obtained by conducting repetitive experiments under identical environmental conditions are, theoretically, required to correspond. However, experimental data often display variations due to generated errors or noise resulting from various factors and inherent uncertainties. In this study, an algorithm aiming to determine valid bounds of input variables, representing uncertainties, was developed using probabilistic and statistical methods. Furthermore, a reliability assessment was performed to verify and validate applications of this algorithm using bolt-fastening friction coefficient data in a sample application.

• Journal of the Korean Society of Radiology
• /
• v.15 no.2
• /
• pp.139-145
• /
• 2021

This study is to confirm the range of tube voltage for Chest X-ray in DR system by comparing with dose area product (DAP) and effective dose in efficient detector exposure index (DEI) range. GE definium 8000 was used to for the phantom study. The range of tube voltage is 60~130 kVp and of mAs is 2.5~40 mAs. The acquired images were classified into efficient DEI groups, then calculated effective dose with DAP by using a PC-Based Monte Carlo Program 2.0. The signal to noise ratio (SNR) was measured at 4 regions, including the thoracic spine, the lung area with the ribs, the lung area without the ribs, and the liver by using Picture Archiving and Communication System. The significance of the group for each tube voltage was verified by performing the kruskal-wallis test and the mann-whitney test as a post-test. When set to 4 groups dependned on the tube voltage, DAP showed significant differences; 60 kVp and 80 kVp, and 60 kVp and 90 kVp (p= 0.034, 0.021). Effective dose exhibited no statistically significant differences from the all of the group (p>0.05). SNR exhibited statistically significant differences from the all of the group in the liver except compared to 80 kVp and 90 kVp (p<0.05). Therefore, high tube voltages of 100 kVp or more need to be reconsidered in terms of patient dose and imaging in order to represent an appropriate chest X-ray image in a digital system.

• 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.

• The Korean Journal of Applied Statistics
• /
• v.27 no.7
• /
• pp.1197-1205
• /
• 2014

Typical clinical dose development studies consist of the comparison of several doses of a drug with a placebo. The primary interest is to find therapeutic window that satisfying both efficacy and safety. In this paper, we propose nonparametric method for identifying effective and safe doses in linear placement using score function. The Monte Carlo simulation is adapted to estimate the power and the family-wise error rate(FWE) of proposed procedure are compared with previous methods.

• Annual Conference of KIPS
• /
• 2019.10a
• /
• pp.680-683
• /
• 2019

개발자의 부담을 줄이고 소프트웨어의 품질을 향상시키기 위해 APR (Automated Program Repair) 기술을 개선해야 할 필요가 있다. 현재 사용되는 대부분의 APR 기술은 개발자가 수작업으로 작성한 테스트 케이스를 통과하는 유효 패치(Valid Patch)를 만드는 방식을 사용하기 때문에 QoP(Quality of Patch)는 많이 뒤떨어지는 단점을 가지고 있다. 본 논문에서는 테스트 범위가 충분히 높은 테스트 케이스를 자동으로 생성하는 기술을 이용하여 기존의 유효 패치를 강화하는 기술을 제안한다. 제안하는 내용을 Defects4J 의 일부 프로젝트에 적용하여 기존 기법 대비 FL 의 성능은 유지하면서 기존에 찾지 못했던 유효 패치를 추가적으로 찾을 수 있음을 확인하였다.