• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2023년도 춘계학술발표대회
• /
• pp.345-347
• /
• 2023

Rust has gained popularity as a memory safe systems programming language. At the center of its memory safety is a strict memory ownership model with stringent rules enforced by the compiler. This paper aims to shed light on this memory safety model and the role smart pointers play towards its success. We study specific smart pointers, their purposes and contribution to Rust's memory safety. We further explore weaknesses of these smart pointers and their APIs, and provide scenarios under which they may lead to memory vulnerabilities in Rust programs.

• 한국IT서비스학회지
• /
• 제13권3호
• /
• pp.165-181
• /
• 2014

This study proposes the accurate labor inducement coefficient (employment inducement coefficient/hiring inducement coefficient) of Korea software industry by analyzing the inter-industry relation using the modified inter-industry table. To rewrite the inter-industry table of Korea, some previous studies related to the inter-industry analysis were reviewed and the key problems were identified. First, in the current inter-industry table published by the Bank of Korea, the output of software industry includes not only the pure software related output but also the output of non-software section due to the misclassification of the industry. This causes the output to become bigger than the actual output of software industry. Therefore, if the inter-industry table is not modified, the labor inducement coefficient would be overestimated too much. Second, during rewriting the inter-industry table, the output is changing. The inter-industry table is the table in the form of rows and columns, which records the transactions of goods and services among industries which are required to continue the activities of each industry. Accordingly, if only an output of a specific industry is changed, the reliability of the table would be degraded because the table is prepared based on the relations with other industries. This possibly causes the labor inducement coefficient to be over or underestimated. This study tries to correct these problems to get the more accurate labor inducement coefficient of the software industry. First, to get the output of the pure software section only, the data from the Korea Electronics Association (KEA) was used in the inter-industry table. Second, to prevent the difference in the outputs during rewriting the inter-industry table, the difference between the output in the current inter-industry table and the output from KEA data was identified and then it was defined as the non-software section output for the analysis. The followings are the labor inducement coefficient obtained when the output is divided into the pure software section (package software, and IT service) and non-software section. As of 2011, the employment inducement coefficients of pure software section, package software section and IT service of Korea were 8.616, 13.998, and 7.773 respectively while the labor inducement coefficients of pure software section, package software section and IT service of Korea were 7.979, 13.332, and 7.083, respectively.

• JSTS:Journal of Semiconductor Technology and Science
• /
• 제14권5호
• /
• pp.588-593
• /
• 2014

Current crowding problem can worsen the internal quantum efficiency and the negative-voltage ESD of InGaN-based LEDs. In this paper, by using photon emission microscope and thermal emission microscope measurement, we confirmed that the electric field and the current of the InGaN-based LED sample are crowded in specific regions where the distance between p-type metal contact and n-type metal contact is shorter than other regions. To improve this crowding problem of electric field and current, modified metal contact geometry having uniform distance between the two contacts is proposed and verified by a numerical simulation. It is confirmed that the proposed structure shows better current spreading, resulting in higher internal quantum efficiency and reduced reverse leakage current.

• 한국대기환경학회지
• /
• 제23권6호
• /
• pp.689-698
• /
• 2007

Particular attention is paid to the validity of PM-10 measurement using beta attenuation method. In this study, the inter-comparison studies were undertaken for PM-10 sampler with different measuring methods. The three beta attenuation monitoring instruments (BAM1020, FH C-14, and DIGS-150) and filter based gravitational method using High Volume Air Sampler were collocated and mass concentrations were compared from August to November, 2006. The results of the investigation show that beta attenuation monitoring instruments are comparable with gravitational method within 10% of measurement error. For specific conditions under high humidity and high concentrations, the inter-comparison results also showed a relatively good agreement and this can be explained as the effect of inlet heating of beta attenuation instrument. Subsequently, this study shows that beta attenuation monitoring instruments can be equivalently used with reasonable validity when compared gravimetric method.

• 상하수도학회지
• /
• 제33권4호
• /
• pp.281-289
• /
• 2019

Desalination plants are generally studied with higher operating costs compared to water supply facilities. This study was conducted to reduce the cost of water production and to preserve existing water resources. Therefore, the purpose of this study was to utilize the control valves to increase maximum efficiency, thereby reducing the power of the pumps and operating costs. Specific energy consumption was shown to reduce the process operating power by up to 1.7 times from 6.17 to $3.55kWh/m^3$ based on seawater reverse osmosis 60 bar. In addition, the water intake process was divided into pre, inter, and post-according to the use method of blasting, and the water treatment process was divided into pre, inter, and post blending. In order to reduce power consumption, the blending process was combined to operate the facility, which resulted in the reduction of power consumption in the order post > pre-inter> inter blending.

• Journal of Advanced Marine Engineering and Technology
• /
• 제34권1호
• /
• pp.46-52
• /
• 2010

본 논문에서는 천연가스 액화 플랜트 산업에서의 경쟁력 확보를 위한 핵심기술인 2단 압축 인터쿨러 방식을 적용한 액화공정에 대해 시뮬레이션을 수행하였다. 이 공정들은 기본 케스케이드 공정을 기초로 하였으며, 모든 공정에 2단 압축 방식을 적용하였다. 먼저 프로판, 에틸렌, 메탄 사이클에 각각 인터쿨러를 적용하였으며 성능 특성을 비교하였다. 모든 사이클에 인터쿨러를 적용한 공정의 COP가 13.7 ~ 20.5%로 가장 크게 증가하였고, LNG 단위 생산량 당 소요 에너지는 기본 케스케이드 공정에 비해 23.8% ~ 35%로 가장 크게 감소하였다.

• 한국동물학회:학술대회논문집
• /
• 한국동물학회 1997년도 한국생물과학협회 학술발표대회
• /
• pp.103.2-103
• /
• 1997

No Abstract, See Full Text

• 한국동물학회:학술대회논문집
• /
• 한국동물학회 1997년도 한국생물과학협회 학술발표대회
• /
• pp.104.1-104
• /
• 1997

No Abstract, See Full Text

• 한국작물학회:학술대회논문집
• /
• 한국작물학회 1997년도 추계 학술대회지
• /
• pp.26-27
• /
• 1997

• 대한화학회지
• /
• 제56권1호
• /
• pp.115-127
• /
• 2012

본 연구의 목적은 학문 통합적 접근 과학 교육에 대한 초중등 과학 교사들의 인식을 조사하는 것이다. 이를 통하여 학문 통합적 접근을 현장에 적용하는 것의 필요성 및 구체적인 접근 시기 및 방법, 장애 요인 등을 알아보고자 하였다. 본 연구를 통해 얻은 결과 및 결론은 다음과 같다. 첫째, 45.9%의 과학 교사가 학문 통합적 교육에 대해 알고 있으며 61.2%가 필요하다고 생각하는 것으로 나타났다. 그러나, 평가와 입시부담을 고려할 때, 학문 통합적 교육이 중,고등학교 보다 초등 저학년에 더 적합하며 시행 가능하다고 응답하였다. 학문 통합적 교육의 접근법에 대해서는 57.6%의 교사가 주제 중심 접근을 선택하였으며, 16.5%의 교사가 문제 중심 접근을 선택하였다. '주제 중심'을 선택한 교사들은 수업 자료의 구성 및 시행이 수월하기 때문이라고 응답하였고, '문제 중심'을 선택한 교사들은 문제를 중심으로 한 학문 통합적 접근이 교육적으로 필요하며 효과가 있을 것이기 때문이라고 응답하였다. 학문 통합적 교육의 어려움에 대해서는 '전공 교과 외의 타 교과에 대한 이해 부족'과 '교육 자료 구성을 위한 시간적 여유 부족'을 가장 큰 요인으로 선택하였는데 이는 학문 통합적 교육을 위해서는 구체적인 수업 전략 및 교육 자료의 안내가 필요함을 시사한다.