http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Rust와 C/C++간 안전한 상호작용에 관한 연구의 맹점과 개선 모델 연구
노태현(Taehyun Noh),이호준(Hojoon Lee) 한국정보보호학회 2023 정보보호학회논문지 Vol.33 No.2
소프트웨어 개발이 가속화되고 프로그램들이 기하급수적으로 복잡해짐에 따라 취약점을 줄이고, 관리하는 비용도 같이 증가하였다. 이러한 흐름에서, 기존의 C/C++ 와 같이 비교적 취약점을 내포하기 쉬운 언어를 대체하고 소프트웨어의 안정성을 높이기 위해서 제시된 것이 바로 Memory Safety를 보장하는 Rust 프로그래밍 언어이다. 하지만, 구식 언어들과의 호환성 및 개발의 편리함을 높이기 위해 C/C++로 작성된 라이브러리를 Rust에서도 사용할 수 있도록 지원하고 있는데, 이러한 다중 언어 환경에서는 Rust 또한 안전하지 않다. C/C++에서 발생한 메모리 오염이 Rust 내에서 Null-pointer 역참조, Use-After-Free 및 Buffer-overflow 문제 등을 발생시킬 수 있는 원인이 된다. 이를 해결하기 위해 여러 Rust-C/C++ 격리 연구가 진행되었으나, 아직 기초 단계이다. 본 논문에서는 선행 연구들을 분석하여 공통적으로 간과된 맹점들을 실제 코드 분석과 함께 소개하고, 이를 바탕으로 Rust와 C/C++간의 안전한 상호작용 모델 연구의 올바른 방향을 제시한다. As software development progresses and programs become increasingly complex, the cost of reducing and managing software vulnerabilities has also increased. To address this issue, the Rust programming language, which guarantees Memory Safety, has been suggested as an alternative for more error-prone languages such as traditional C/C++. However, Rust also supports the use of libraries written in C/C++ to enhance compatibility with older languages and avoid redundant development, compromising its original guarantees. For example, memory corruption happened in C/C++ can lead to exploits such as buffer overflow, Use-After-Free and null-pointer dereferecing. To tackle this problem, recent studies have been conducted to secure interactino between Rust and C/C++ by isolation. This paper uncovers areas that have not been fully explored in previous studies, following limitation analysis on each. Finally, this paper suggests the future direction of research on safe interaction between Rust and C/C++.
A Study on Risk Management for Export Control on Strategic Trade in Supply Chain Management
노태현(Tae-Hyun Roh),박진희(Jin-Hee Park) 한국항해항만학회 2013 한국항해항만학회지 Vol.37 No.6
In this study, AHP analysis was conducted through a survey that was organized by 9 job categories. The results show that sustainable operation risks have the highest priority level among all criteria with management interest having the highest priority level within sustainable operation risks related attributes. The most important risk attributes among stakeholder risks appeared to be asset security and cargo and conveyance security, with education and training being the most important among regulatory risks. Effective management and response to the risks from export controls on strategic trade require an understanding of supply chain security and compliance programs, effective training programs, investments for development of security systems that meet international standards. In addition, the government needs to focus on developing professionals and providing support for companies with compliance programs, working closely with businesses.
대형 팬의 효율적 유량 조절을 위한 루버 개폐각 상관관계
노태현(T.H. Noh),이상진(S.J. Lee),장세명(S.M. Chang) 한국전산유체공학회 2007 한국전산유체공학회 학술대회논문집 Vol.2007 No.-
In this paper, we researched a parametric study in flow control system using louver with numerical method. Generally, for the large fans with constant rotational speed, the louver can be used to control the flow rate. The opening and closing of louver can make a some change of flow properties generated by a large fan. To develop the relation betwee the opening angle of louver and flow rate(or pressure difference), we simulated the flow past the modelled louver installed in a virtual wind tunnel. For the various angles, the mean flow properties are investigated and parameterized with a given boundary condition. The research result can be used directly to design the flow control system of large constant-speed fans, which are often applide to petrolic refinery system.
벡터자기회귀모형의 잔차 검정을 위한 와일드 붓스트랩 Ljung-Box 검정
노태현(Taehyun No),이태욱(Taewook Lee) 한국데이터정보과학회 2020 한국데이터정보과학회지 Vol.31 No.3
본 논문에서는 벡터자기회귀모형 적합 후 잔차 검정을 위한 Ljung-Box(LB) 검정통계량에 와일드 붓스트랩을 적용하는 연구를 진행하였다. 일반적인 시계열 자료와는 달리 조건부 이분산성이 존재하는 다변량 금융시계열 자료에서는 LB 검정통계량의 제 1종의 오류가 주어진 유의수준보다 매우 크게 나타난다. 이를 극복하기 위해 벡터자기회귀모형에 와일드 붓스트랩을 이용한 LB 검정법을 제안하였다. 모의실험을 실행한 결과 와일드 붓스트랩 LB 검정법의 제 1종의 오류가 주어진 유의수준을 잘 만족하고 있음을 확인하였다. In this paper, we studied the wild bootstrap-based Ljung-Box test statistic for testing residual autocorrelation of the fitted vector autoregressive models. It is well-known that Ljung-Box test for financial time series suffers from size distortion due to conditional heteroscedasticity. To overcome such defects, we propose the wild bootstrap-based Ljung-Box (LB) test and see whether type I error of the proposed LB tests is satisfied through a simulation study.
노태현(Tae-Hyun Noh),장세명(Se-Myong Chang) 대한기계학회 2006 대한기계학회 춘추학술대회 Vol.2006 No.9
Roll-Over Valve(ROV) is linked to a fuel tank. In the normal situation, it should be opened to remove the excess of carbon hydrolite(HC) vaporized from the fuel. If the vehicle is rolled over, however, this valve must work to lock the fuel supply. Generally, the canister has slightly negative gage pressure of -1.5 ㎪ due to the intake stroke of engine piston. In this paper, the authors developed a numerical method to estimate the time of settling time of pressure inside fuel tank from the given data of the orifice diameter and fuel ratio remained in the fuel tank. The result is a computer program that can be used in the preliminary estimation of ROV design.
노태현(Tae-Hyun Noh),장세명(Se-Myong Chang),서현수(Hyun-Soo Seo) 대한기계학회 2007 대한기계학회 춘추학술대회 Vol.2007 No.10
In this paper, we researched flow of 8000 ~ 24000 Reynolds number around a blade model of Savonius-type wind turbine with experimental and numerical method. For the blade shape of arc, we analyzed flowfield with streak-image flow visualization, measured wake, computed drag coefficients, and compared them for given angle of attacks. The result of research can be used to design aerodynamic performance of Savonius-type turbine rotor directly.