The Transactions of the Korean Institute of Electrical Engineers P
/
v.62
no.1
/
pp.30-35
/
2013
Many function of railway signalling system which is in charge of most core function in a railway system are being operated by the software according to the development of computer technology. Accordingly, the source code testing to verify the safety of the railway signalling system software becomes to be more important, and related international standards highly recommend verifications on the source code also. For this reason, several related studies on vital source code verification were executed from several years ago in Korea. This paper performed tests through the application to railway signalling system being applied to the existing actual domestic railway sites through automated testing tools for coding rules of signalling system software and another signaling system software under development in Korea recently, and analyzed their results.
Cyber penetration attacks can not only damage cyber space but can attack entire infrastructure such as electricity, gas, water, and nuclear power, which can cause enormous damage to the lives of the people. Also, cyber space has already been defined as the fifth battlefield, and strategic responses are very important. Most of recent cyber attacks are caused by malicious code, and since the number is more than 1.6 million per day, automated analysis technology to cope with a large amount of malicious code is very important. However, it is difficult to deal with malicious code encryption, obfuscation and packing, and the dynamic analysis technique is not limited to the performance requirements of dynamic analysis but also to the virtual There is a limit in coping with environment avoiding technology. In this paper, we propose a machine learning based malicious code analysis technique which improve the weakness of the detection performance of existing analysis technology while maintaining the light and high-speed analysis performance applicable to commercial endpoints. The results of this study show that 99.13% accuracy, 99.26% precision and 99.09% recall analysis performance of 71,000 normal file and malicious code in commercial environment and analysis time in PC environment can be analyzed more than 5 per second, and it can be operated independently in the endpoint environment and it is considered that it works in complementary form in operation in conjunction with existing antivirus technology and static and dynamic analysis technology. It is also expected to be used as a core element of EDR technology and malware variant analysis.
Journal of the Korea Institute of Information Security & Cryptology
/
v.28
no.3
/
pp.643-653
/
2018
Xamarin is a representative cross-platform development framework that allows developers to write mobile apps in C# for multiple mobile platforms, such as Android, iOS, or Windows Phone. Using Xamarin, mobile app developers can reuse existing C# code and share significant code across multiple platforms, reducing development time and maintenance costs. Meanwhile, malware authors can also use Xamarin to spread malicious apps on more platforms, minimizing the time and cost of malicious app creation. In order to cope with this problem, it is necessary to analyze and detect malware written with Xamarin. However, little studies have been conducted on static analysis methods of the apps written in Xamarin. In this paper, we examine the structure of Android apps written with Xamarin and propose a static analysis technique for the apps. We also demonstrate how to statically reverse-engineer apps that have been transformed using code obfuscation. Because the Android apps written with Xamarin consists of Java bytecode, C# based DLL libraries, and C/C++ based native libraries, we have studied static reverse engineering techniques for these different types of code.
Transactions of the Korean Society of Pressure Vessels and Piping
/
v.15
no.2
/
pp.1-8
/
2019
The integrity of the Reactor Pressure Vessel (RPV) is affected by the neutrons bombarding the vessel wall leading to embrittlement. This irradiation-induced embrittlement leads to reduction in the fracture toughness of RPV materials. This paper presents a comparative study of typical Optimized Power Reactor (OPR)1000 reactor pressure-temperature (P-T) limit curves using the pre-2006 American Society of Mechanical Engineers (ASME) editions used in the power plant and the current ASME edition of 2010. The current ASME Code utilizes critical reference stress intensity factor based on the lower bound of static, while the Pre-2006 ASME editions are based the critical reference stress intensity factor based on the lower bound of static, dynamic and crack arrest. Model-Based Systems Engineering approach was used to evaluate ASME Code Section XI Appendix G for generating the P-T limit curves. The results obtained from this analysis indicate decrease in conservatism in P-T limit curves constructed using the current 2017 ASME code, which can potentially increase operational flexibility and plant safety. Hence it is recommended to use ASME code edition after 2006 be used in all operating nuclear power plants (NPPs) to establish P-T limit curve.
Dynamic and static analyses of existing structures are very important to obtain reliable information relating to actual structural properties. For this purpose a series of material test, dynamic test and static collapse test of the existing two brick chimneys, in Tokoname, are carried out. From the material tests, Young's modulus and compressive strength of the brick used for these chimneys are estimated to be 3200 MPa and 7.5 MPa, respectively. The results of static collapse test of the existing two brick chimneys are discussed in this paper and composed with the results from FEA (Finite Element analysis). From the results of dynamic tests, the fundamental frequencies of Howa and Iwata brick chimneys are estimated to be about 2.69 Hz and 2.93 Hz, respectively. Their natural modes are identified by ARMAV (Autoregressive Moving Average Vectors) model. On the basis of the static and dynamic experimental tests, a numerical model has been prepared. According to the European code (Eurocode n. 8: "Design of structures for earthquake resistance") non-linear static (Pushover) analysis of the two chimneys is carried out and they seem to be vulnerable to earthquakes with 0.25 to 0.35 g.
This paper evaluates the seismic response of three dimensional steel space buildings using the spread plastic hinge approach. A numerical study was carried out in which a sample steel space building was selected for pushover analysis and incremental nonlinear dynamic time history analysis. For the nonlinear analysis, three earthquake acceleration records were selected to ensure compatibility with the design spectrum defined in the Turkish Earthquake Code. The interstorey drift, capacity curve, maximum responses and dynamic pushover curves of the building were obtained. The analysis results were compared and good correlation was obtained between the idealized dynamic analyses envelopes with and static pushover curves for the selected building. As a result to more accurately account response of steel buildings, dynamic pushover envelopes can be obtained and compared with static pushover curve of the building.
The Journal of the Korea institute of electronic communication sciences
/
v.10
no.4
/
pp.513-519
/
2015
Static analysis is one of the software source code analysis tools. 9 static analysis methods of three groups are recommended by international electro-technical commission about software safety related standard in IEC 62279. In this paper we choose the proper static analysis method from IEC 62279 about the train wayside communication system, Shorten the time of railway signalling software development using LDRA tools. And it wil be useful to improve the effective development of the safety-related software.
In this study, the static and modal analyses to find the characteristic of eigenvalues for a towed cable were with a free boundary condition at the bottom end carried out with numerical study. The resulting numerical code with finite element method was used to study sample problems for a cable with towing speeds. After tracing the equilibrium state with a towing speed through the static analysis, modal analysis on the basis of static results was performed. The static top tension for a critical towing speed is nearly 50 percent of what it was for a free hanging pipe. From static analyses, it is found that towing speed has a noticeable effect on top tension of a towed pipe. At a high towing speed, differences between the first and second periods become larger. Compared to the fundamental period for a free hanging pipe, that for a towed pipe with a critical towing speed is approximately 1.4 times larger. This result is very important point in that the lock in condition and tension of the towed cable system with top excitation can be predicted. The corrected close form solution to solve natural periods for a towed cable was presented in this study. The code is validated by comparison of the results of theoretical and numerical studies. Two results were in very good agreement. This study can contribute to predicting the lock-in condition and tension for a towed cable or pipe with top excitation.
In the sheet metal forming process, the drawbead is used to control the flow of material during the forming process. The drawbead provides proper restraining force to the material and prevents defects such as wrinkling or breakage. For these reasons, many studies for designing the effective drawbead have been conducted. For the analysis, the numerical method called the static-explicit finite element method was used. The finite element analysis code for this method has been developed and applied to the drawbead process problems. In result, convergence problem and computation time due to large non-linearity in the existing numerical analysis methods were no longer a critical problem. Futhermore, this approach could treat the contact friction problem easily by applying very small time intervals. It is expected that various results from the numerical analysis will give very useful information for the design of tools in sheet metal forming process.
Transactions of the Korean Society of Machine Tool Engineers
/
v.16
no.1
/
pp.40-46
/
2007
High speed machining has become the main issue of metal cutting. Due to increase of the rotational speed of the spindle, problems such as the run-out errors and reduced stiffness must be overcome to improve the machining accuracy. In order to solve the problems, it is important to determine the appropriate clamping unit and tooling system. This paper presents an investigation into an analysis of static stiffness in the main spindle interface. Finite element analysis is performed by using a commercial code ANSYS according to variation of cutting force, clamping force and rotational speed. From the finite element results, it is shown that the rotational speed and clamping force mostly influence on the variation of the static stiffness in the main spindle interface.
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나
그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며,
이를 위반시 정보통신망법에 의해 형사 처벌됨을 유념하시기 바랍니다.
[게시일 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일부터 적용되며, 종전 약관은 본 약관으로 대체되며, 개정된 약관의 적용일 이전 가입자도 개정된 약관의 적용을 받습니다.