Since web applications are accessed by anonymous users via web, more security risks are imposed on those applications. In particular, because security vulnerabilities caused by insecure source codes cannot be properly handled by the system-level security system such as the intrusion detection system, it is necessary to eliminate such problems in advance. In this paper, to enhance the security of web applications, we develop a static analyzer for detecting the well-known security vulnerability of PHP file inclusion vulnerability. Using a semantic based static analysis, our vulnerability analyzer guarantees the soundness of the vulnerability detection and imposes no runtime overhead, differently from the other approaches such as the penetration test method and the application firewall method. For this end, our analyzer adopts abstract interpretation framework and uses an abstract analysis domain designed for the detection of the target vulnerability in PHP programs. Thus, our analyzer can efficiently analyze complicated data-flow relations in PHP programs caused by extensive usage of string data. The analysis results can be browsed using a JAVA GUI tool and the memory states and variable values at vulnerable program points can also be checked. To show the correctness and practicability of our analyzer, we analyzed the source codes of open PHP applications using the analyzer. Our experimental results show that our analyzer has practical performance in analysis capability and execution time.
Matrix dominant properties of composites are largely degraded under harmful environments such as temperature and humidity. Therefore we should consider the harmful environmental factors in the design of an UAV integral fuel tank subjected to high temperature and high humidity. The harmful environment experiment was performed for carbon/epoxy composites made of a unidirectional prepreg USN175B, and a plain woven fabric prepreg WSN3. The immersion experiment was performed under $90^{\circ}C$. The specimens were tested when the weight gam of specimen was saturated. The specimens were tested under $74^{\circ}C$ to obtain tensile and inplane shear properties. The results showed that the matrix dominant properties were extremely degraded by hygrothermal environment. To consider the variability of load, the anti-optimization method was applied. By using this method, the worst load case was found by comparing the load convex model and stability boundary. The stability boundary was obtained by analysis of the integral wing fuel tank of UAV using degraded properties. To do this, it was known that the worst load case of the integral wing fuel tank was the hovering mode load case.
Lee, Jong-Youl;Cho, Dong-Geun;Kim, Seong-Gi;Choi, Heui-Joo;Lee, Yang
Journal of Nuclear Fuel Cycle and Waste Technology(JNFCWT)
/
v.6
no.3
/
pp.217-224
/
2008
In deep geological disposal system, the integrity of a disposal canister having spent fuels is very important factor to assure the safety of the repository system. This disposal canister is one element of the engineered barriers to isolate and to delay the radioactivity release from human beings and the environment for a long time so that the toxicity does not affect the environment. The main requirement in designing the deep geological disposal system is to keep the buffer temperature below 100$^{\circ}C$ by the decay heat from the spent fuels in the canister in order to maintain the integrity of the buffer material. Also, the disposal canister can endure the hydraulic pressure in the depth of 500 m and the swelling pressure of the bentonite as a buffer. In this study, new concept of the disposal canister for the CANDU spent fuels which were considered to be disposed without any treatment was developed and the thermal stability and the structural integrity of the canister were analysed. The result of the thermal analysis showed that the temperature of the buffer was 88.9$^{\circ}C$ when 37 years have passed after emplacement of the canister and the spacings of the disposal tunnel and the deposition holes were 40 m and 3 m, respectively. In the case of structural analysis, the result showed that the safety factors of the normal and the extreme environment were 2.9 and 1.33, respectively. So, these results reveal that the canister meets the thermal and the structural requirements in the deep geological disposal system.
From the beginning of the construction stage, the fire protection regulation for the nuclear power plants conforms to the design requirements for the acquisition of the license permit. This regulation is based on the plant status of the normal operation, but it is not enough to be used as an application standard for fire protection at the transient mode of the plant and the outage time for refueling as well as for the plant decommissioning. While the advanced fire protection requirement that has been developed in America recently suggests the performance-based requirement and management rule applicable to the overall life time of the plant, it simply represents the conceptual application. It means that it can not be treated as appropriate standards because it does not deal with the qualitative and quantitative approach in specific ways. By the way, with the use of the performance-based fire risk analysis, the dynamic behavior of the heat and smoke at the fire compartment of the nuclear power plants can be analyzed and the thermal effect to the safety-related equipment and cables can be evaluated as well. At this paper, it suggests the ways to change the applicable fire protection regulations and the required evaluation items for the fire risk resulted from the plant configuration change with an intent to introduce the state-of-the-art quantitative fire risk analysis technology at the domestic nuclear power plants.
Currently, low and intermediate level radioactive waste is being disposed of at the Gyeongju disposal site for permanent isolation. Since 2006, the Korea Radioactive Waste Agency has been conducting site characteristics surveys continuously verifying changes in the site based on the site monitoring and investigation plan. The hydrogeochemical environment of the disposal site is considered for the evaluation of natural barriers. However, the seawater must be considered because of the regional characteristics of Gyeongju, which is near the East Sea. Therefore, this study, collected 30 samples for deriving the groundwater quality data from seven wells and compared with two seawater samples collected from October 2017 to June 2022. Additionally, the study explores the groundwater monitoring method using statistical tools such as clustering and background concentration analysis. The groundwater samples in the study area were classified into two to four clusters depending on their chemical constituents-especially, EC, HCO3, Na, and Cl-using statistical analysis, molar ratio, and K-means clustering.
Kim, Jiyoung;Han, Young Man;Seo, Seung Beom;Kim, Daeha;Kim, Tae-Woong
Journal of Korea Water Resources Association
/
v.57
no.3
/
pp.225-236
/
2024
To prepare for the impending climate crisis, it is necessary to establish policies and strategies based on scientific predictions and analyses of climate change impacts. For this, climate change should be considered, however, in conventional scenario-led approach, researchers select and utilize representative climate change scenarios. Using the representative climate change scenarios makes prediction results high uncertain and low reliable, which leads to have limitations in applying them to relevant policies and design standards. Therefore, it is necessary to utilize scenario-neutral approach considering possible change ranges due to climate change. In this study, hydrologic risk was estimated for Boryeong after generating 343 time series of climate stress and calculating drought return period from bivariate drought frequency analysis. Considering 18 scenarios of SSP1-2.6 and 18 scenarios of SSP5-8.5, the results indicated that the hydrologic risks of drought occurrence with maximum return period ranged 0.15±0.025 within 20 years and 0.3125±0.0625 within 50 years, respectively. Therefore, it is necessary to establish drought policies and countermeasures in consideration of the corresponding hydrologic risks in Boryeong.
Kim, Myungsoo;Sung, Dae Han;Park, Young-Bin;Park, Kiwon
Composites Research
/
v.30
no.1
/
pp.26-34
/
2017
This research presents studies on an improved method to predict the thermal conductivity of woven fabric composites, the effects of geometric structures of woven fabric composites on thermal conductivity, and structural optimization to improve the thermal conductivity using a genetic algorithm. The geometric structures of woven fabric composites were constructed numerically using the information generated on waviness, thickness, and width of fill and warp tows. Thermal conductivities of the composites were obtained using a thermal-electrical analogy. In the genetic algorithm, the chromosome string consisted of thickness and width of the fill and warp tows, and the objective function was the maximum thermal conductivity of woven fabric composites. The results confirmed that an improved method to predict the thermal conductivity was built successfully, and the inter-tow gap effect on the composite's thermal conductivity was analyzed suggesting that thermal conductivity of woven fabric composites was reduced as the gap between tows increased. For structural design, optimized structures for improving the thermal conductivity were analyzed and proposed. Generally, axial thermal conductivity of the fiber tow contributed more to thermal conductivity of woven fabric composites than transverse thermal conductivity of the tows.
Journal of Nuclear Fuel Cycle and Waste Technology(JNFCWT)
/
v.9
no.3
/
pp.169-179
/
2011
There are two types of nuclear reactors in Korea and they are PWR type and CANDU type. The safe management of the spent fuels from these reactors is very important factor to maintain the sustainable energy supply with nuclear power plant. In Korea, a reference disposal system for the spent fuels has been developed through a study on the direct disposal of the PWR and CANDU spent fuel. Recently, the research on the demonstration and the efficiency analyses of the disposal system has been performed to make the disposal system safer and more economic. PWR spent fuels which include a lot of reusable material can be considered being recycled and a study on the disposal of HLW from this recycling process is being performed. CANDU spent fuels are considered being disposed of directly in deep geological formation, since they have little reusable material. In this study, based on the Korean Reference spent fuel disposal System (KRS) which was to dispose of both PWR type and CANDU type, the more effective CANDU spent fuel disposal systems were developed. To do this, the disposal canister for CANDU spent fuels was modified to hold the storage basket for 60 bundles which is used in nuclear power plant. With these modified disposal canister concepts, the disposal concepts to meet the thermal requirement that the temperature of the buffer materials should not be over $100^{\circ}C$ were developed. These disposal concepts were reviewed and analyzed in terms of disposal effective factors which were thermal effectiveness, U-density, disposal area, excavation volume, material volume etc. and the most effective concept was proposed. The results of this study will be used in the development of various wastes disposal system together with the HLW wastes from the PWR spent fuel recycling process.
Lee In-Bok;Yun Nam-Kyu;Boulard Thierry;Roy Jean Claude;Lee Sung-Hyoun;Kim Gyoeng-Won;Hong Se-Woon;Sung Si-Heung
Journal of Bio-Environment Control
/
v.15
no.4
/
pp.296-305
/
2006
The heterogeneity of crop transpiration is important to clearly understand the microclimate mechanisms and to efficiently handle the water resource in greenhouses. A computational fluid dynamic program (Fluent CFD version 6.2) was developed to study the internal climate and crop transpiration distributions of greenhouses. Additionally, the global solar radiation model and a crop heat exchange model were programmed together. Those models programmed using $C^{++}$ software were connected to the CFD main module using the user define function (UDF) technology. For the developed CFD validity, a field experiment was conducted at a $17{\times}6 m^2$ plastic-covered mechanically ventilated single-span greenhouse located at Pusan in Korea. The CFD internal distributions of air temperature, relative humidity, and air velocity at 1m height were validated against the experimental results. The CFD computed results were in close agreement with the measured distributions of the air temperature, relative humidity, and air velocity along the greenhouse. The averaged errors of their CFD computed results were 2.2%,2.1%, and 7.7%, respectively.
The initiation and growth processes of cyclic ice body in porous systems are affected by the thermo-physical and mass transport properties, as well as gradients of temperature and chemical potentials. Furthermore, the diffusivity of deicing chemicals shows significantly higher value under cyclic freeze-thaw conditions. Consequently, the disintegration of concrete structures is aggravated at marine environments, higher altitudes, and northern areas. However, the properties of cyclic freeze-thaw with crack growth and the deterioration by the accumulated damages are hard to identify in tests. In order to predict the accumulated damages by cyclic freeze-thaw, a regression analysis by the response surface method (RSM) is used. The important parameters for cyclic freeze-thawdeterioration of concrete structures, such as water to cement ratio, entrained air pores, and the number of cycles of freezing and thawing, are used to compose the limit state function. The regression equation fitted to the important deterioration criteria, such as accumulated plastic deformation, relative dynamic modulus, or equivalent plastic deformations, were used as the probabilistic evaluations of performance for the degraded structural resistance. The predicted results of relative dynamic modulus and residual strains after 300 cycles of freeze-thaw show very good agreements with the experimental results. The RSM result can be used to predict the probability of occurrence for designer specified critical values. Therefore, it is possible to evaluate the life cycle management of concrete structures considering the accumulated damages due to the cyclic freeze-thaw using the proposed prediction method.
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나
그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며,
이를 위반시 정보통신망법에 의해 형사 처벌됨을 유념하시기 바랍니다.
[게시일 2004년 10월 1일]
이용약관
제 1 장 총칙
제 1 조 (목적)
이 이용약관은 KoreaScience 홈페이지(이하 “당 사이트”)에서 제공하는 인터넷 서비스(이하 '서비스')의 가입조건 및 이용에 관한 제반 사항과 기타 필요한 사항을 구체적으로 규정함을 목적으로 합니다.
제 2 조 (용어의 정의)
① "이용자"라 함은 당 사이트에 접속하여 이 약관에 따라 당 사이트가 제공하는 서비스를 받는 회원 및 비회원을
말합니다.
② "회원"이라 함은 서비스를 이용하기 위하여 당 사이트에 개인정보를 제공하여 아이디(ID)와 비밀번호를 부여
받은 자를 말합니다.
③ "회원 아이디(ID)"라 함은 회원의 식별 및 서비스 이용을 위하여 자신이 선정한 문자 및 숫자의 조합을
말합니다.
④ "비밀번호(패스워드)"라 함은 회원이 자신의 비밀보호를 위하여 선정한 문자 및 숫자의 조합을 말합니다.
제 3 조 (이용약관의 효력 및 변경)
① 이 약관은 당 사이트에 게시하거나 기타의 방법으로 회원에게 공지함으로써 효력이 발생합니다.
② 당 사이트는 이 약관을 개정할 경우에 적용일자 및 개정사유를 명시하여 현행 약관과 함께 당 사이트의
초기화면에 그 적용일자 7일 이전부터 적용일자 전일까지 공지합니다. 다만, 회원에게 불리하게 약관내용을
변경하는 경우에는 최소한 30일 이상의 사전 유예기간을 두고 공지합니다. 이 경우 당 사이트는 개정 전
내용과 개정 후 내용을 명확하게 비교하여 이용자가 알기 쉽도록 표시합니다.
제 4 조(약관 외 준칙)
① 이 약관은 당 사이트가 제공하는 서비스에 관한 이용안내와 함께 적용됩니다.
② 이 약관에 명시되지 아니한 사항은 관계법령의 규정이 적용됩니다.
제 2 장 이용계약의 체결
제 5 조 (이용계약의 성립 등)
① 이용계약은 이용고객이 당 사이트가 정한 약관에 「동의합니다」를 선택하고, 당 사이트가 정한
온라인신청양식을 작성하여 서비스 이용을 신청한 후, 당 사이트가 이를 승낙함으로써 성립합니다.
② 제1항의 승낙은 당 사이트가 제공하는 과학기술정보검색, 맞춤정보, 서지정보 등 다른 서비스의 이용승낙을
포함합니다.
제 6 조 (회원가입)
서비스를 이용하고자 하는 고객은 당 사이트에서 정한 회원가입양식에 개인정보를 기재하여 가입을 하여야 합니다.
제 7 조 (개인정보의 보호 및 사용)
당 사이트는 관계법령이 정하는 바에 따라 회원 등록정보를 포함한 회원의 개인정보를 보호하기 위해 노력합니다. 회원 개인정보의 보호 및 사용에 대해서는 관련법령 및 당 사이트의 개인정보 보호정책이 적용됩니다.
제 8 조 (이용 신청의 승낙과 제한)
① 당 사이트는 제6조의 규정에 의한 이용신청고객에 대하여 서비스 이용을 승낙합니다.
② 당 사이트는 아래사항에 해당하는 경우에 대해서 승낙하지 아니 합니다.
- 이용계약 신청서의 내용을 허위로 기재한 경우
- 기타 규정한 제반사항을 위반하며 신청하는 경우
제 9 조 (회원 ID 부여 및 변경 등)
① 당 사이트는 이용고객에 대하여 약관에 정하는 바에 따라 자신이 선정한 회원 ID를 부여합니다.
② 회원 ID는 원칙적으로 변경이 불가하며 부득이한 사유로 인하여 변경 하고자 하는 경우에는 해당 ID를
해지하고 재가입해야 합니다.
③ 기타 회원 개인정보 관리 및 변경 등에 관한 사항은 서비스별 안내에 정하는 바에 의합니다.
제 3 장 계약 당사자의 의무
제 10 조 (KISTI의 의무)
① 당 사이트는 이용고객이 희망한 서비스 제공 개시일에 특별한 사정이 없는 한 서비스를 이용할 수 있도록
하여야 합니다.
② 당 사이트는 개인정보 보호를 위해 보안시스템을 구축하며 개인정보 보호정책을 공시하고 준수합니다.
③ 당 사이트는 회원으로부터 제기되는 의견이나 불만이 정당하다고 객관적으로 인정될 경우에는 적절한 절차를
거쳐 즉시 처리하여야 합니다. 다만, 즉시 처리가 곤란한 경우는 회원에게 그 사유와 처리일정을 통보하여야
합니다.
제 11 조 (회원의 의무)
① 이용자는 회원가입 신청 또는 회원정보 변경 시 실명으로 모든 사항을 사실에 근거하여 작성하여야 하며,
허위 또는 타인의 정보를 등록할 경우 일체의 권리를 주장할 수 없습니다.
② 당 사이트가 관계법령 및 개인정보 보호정책에 의거하여 그 책임을 지는 경우를 제외하고 회원에게 부여된
ID의 비밀번호 관리소홀, 부정사용에 의하여 발생하는 모든 결과에 대한 책임은 회원에게 있습니다.
③ 회원은 당 사이트 및 제 3자의 지적 재산권을 침해해서는 안 됩니다.
제 4 장 서비스의 이용
제 12 조 (서비스 이용 시간)
① 서비스 이용은 당 사이트의 업무상 또는 기술상 특별한 지장이 없는 한 연중무휴, 1일 24시간 운영을
원칙으로 합니다. 단, 당 사이트는 시스템 정기점검, 증설 및 교체를 위해 당 사이트가 정한 날이나 시간에
서비스를 일시 중단할 수 있으며, 예정되어 있는 작업으로 인한 서비스 일시중단은 당 사이트 홈페이지를
통해 사전에 공지합니다.
② 당 사이트는 서비스를 특정범위로 분할하여 각 범위별로 이용가능시간을 별도로 지정할 수 있습니다. 다만
이 경우 그 내용을 공지합니다.
제 13 조 (홈페이지 저작권)
① NDSL에서 제공하는 모든 저작물의 저작권은 원저작자에게 있으며, KISTI는 복제/배포/전송권을 확보하고
있습니다.
② NDSL에서 제공하는 콘텐츠를 상업적 및 기타 영리목적으로 복제/배포/전송할 경우 사전에 KISTI의 허락을
받아야 합니다.
③ NDSL에서 제공하는 콘텐츠를 보도, 비평, 교육, 연구 등을 위하여 정당한 범위 안에서 공정한 관행에
합치되게 인용할 수 있습니다.
④ NDSL에서 제공하는 콘텐츠를 무단 복제, 전송, 배포 기타 저작권법에 위반되는 방법으로 이용할 경우
저작권법 제136조에 따라 5년 이하의 징역 또는 5천만 원 이하의 벌금에 처해질 수 있습니다.
제 14 조 (유료서비스)
① 당 사이트 및 협력기관이 정한 유료서비스(원문복사 등)는 별도로 정해진 바에 따르며, 변경사항은 시행 전에
당 사이트 홈페이지를 통하여 회원에게 공지합니다.
② 유료서비스를 이용하려는 회원은 정해진 요금체계에 따라 요금을 납부해야 합니다.
제 5 장 계약 해지 및 이용 제한
제 15 조 (계약 해지)
회원이 이용계약을 해지하고자 하는 때에는 [가입해지] 메뉴를 이용해 직접 해지해야 합니다.
제 16 조 (서비스 이용제한)
① 당 사이트는 회원이 서비스 이용내용에 있어서 본 약관 제 11조 내용을 위반하거나, 다음 각 호에 해당하는
경우 서비스 이용을 제한할 수 있습니다.
- 2년 이상 서비스를 이용한 적이 없는 경우
- 기타 정상적인 서비스 운영에 방해가 될 경우
② 상기 이용제한 규정에 따라 서비스를 이용하는 회원에게 서비스 이용에 대하여 별도 공지 없이 서비스 이용의
일시정지, 이용계약 해지 할 수 있습니다.
제 17 조 (전자우편주소 수집 금지)
회원은 전자우편주소 추출기 등을 이용하여 전자우편주소를 수집 또는 제3자에게 제공할 수 없습니다.
제 6 장 손해배상 및 기타사항
제 18 조 (손해배상)
당 사이트는 무료로 제공되는 서비스와 관련하여 회원에게 어떠한 손해가 발생하더라도 당 사이트가 고의 또는 과실로 인한 손해발생을 제외하고는 이에 대하여 책임을 부담하지 아니합니다.
제 19 조 (관할 법원)
서비스 이용으로 발생한 분쟁에 대해 소송이 제기되는 경우 민사 소송법상의 관할 법원에 제기합니다.
[부 칙]
1. (시행일) 이 약관은 2016년 9월 5일부터 적용되며, 종전 약관은 본 약관으로 대체되며, 개정된 약관의 적용일 이전 가입자도 개정된 약관의 적용을 받습니다.