• 한국강구조학회 논문집
• /
• 제10권3호통권36호
• /
• pp.369-381
• /
• 1998

본 연구에서는 대형교량의 전산화 모니터링 및 분석평가(Monitoring and Assessment: M&A)를 위한 시스템모형과 소프트웨어의 개발에 대한 새로운 접근방법과 개념을 제안하였다. 제안된 시스템모형은 대형교량의 M&A를 위한 최적의 방법을 반영한 모형이다. 이를 위하여 교량의 확률적 분석평가를 위한 신뢰성 모형이 개발되었고, 일련의 현장재하시험으로부터 계측된 실응답에 기초한 교량의 안전성과 신뢰성의 평가를 위해 신뢰성에 기초한 내하력 평가방법을 확립하였다. 또한 제안된 모델에 기초하여 대형교량의 전산화 M&A를 위한 시범소프트웨어(prototype software)를 개발하여 실제 사장교에 적용하였다. 본 연구에서 개발된 시스템모형 및 시범소프트웨어는 향후 사장교나 현수교와 같은 장대교량의 전산화 유지관리 시스템의 개발에 활용될 수 있다.

• Journal of Communications and Networks
• /
• 제17권5호
• /
• pp.453-462
• /
• 2015

Body area networks (BANs) have emerged as an enabling technique for e-healthcare systems, which can be used to continuously and remotely monitor patients' health. In BANs, the data of a patient's vital body functions and movements can be collected by small wearable or implantable sensors and sent using shortrange wireless communication techniques. Due to the shared wireless medium between the sensors in BANs, it may be possible to have malicious attacks on e-healthcare systems. The security and privacy issues of BANs are becoming more and more important. To provide secure and correct association of a group of sensors with a patient and satisfy the requirements of data confidentiality and integrity in BANs, we propose a novel enhanced secure sensor association and key management protocol based on elliptic curve cryptography and hash chains. The authentication procedure and group key generation are very simple and efficient. Therefore, our protocol can be easily implemented in the power and resource constrained sensor nodes in BANs. From a comparison of results, furthermore, we can conclude that the proposed protocol dramatically reduces the computation and communication cost for the authentication and key derivation compared with previous protocols. We believe that our protocol is attractive in the application of BANs.

• 한국시뮬레이션학회논문지
• /
• 제27권3호
• /
• pp.23-36
• /
• 2018

이산사건시스템명세(DEVS) 형식론은 이산사건시스템을 모듈러하고 계층적으로 모델링할 수 있는 잘 정의된 의미론을 제공하고 있어 이산사건시스템 모델링 시뮬레이션 (M&S)에 많이 사용되어 왔다. 이러한 수학적 표현 대신에 DEVS 다이어그램은 복잡한 시스템을 보다 직관적이며 편리한 표현력을 제공한다. 본 논문은 DEVS 다이어그램을 이용하여 표현된 모델을 시뮬레이션 코드로 체계적으로 구현하며 검증하는 DEVS 클린룸 프로세스를 제안하였다. 구체적으로, 주어진 다이어그램 모델의 적합성 검사, 테이블 DEVS 모델로의 변환, 마지막으로 시뮬레이션 소스코드로 변환하는 방법과 역으로 추적성을 기반으로 한 검사기법을 통해 정적 검증하는 구체적인 방법을 제시하였다. 간단한 예제를 통해 제안된 프로세스를 적용하는 구체적인 방법을 설명하였으며, 적용사례 통해 제안된 기법이 실용적으로 적용 가능한 효과적인 프로세스임을 확인하였다.

• 정보보호학회논문지
• /
• 제26권5호
• /
• pp.1151-1160
• /
• 2016

TrustZone의 시큐어 타이머를 이용한 커널 루트킷 탐지 시스템은 커널로부터 분리되고, 독립된 환경에서 커널을 보호할 수 있기 때문에 모니터링 시스템의 무결성을 보장할 수 있다. 하지만, 물리 메모리 주소를 기반으로, 커널 메모리를 주기적으로 모니터링하기 때문에 일시적인 공격에 취약하며, 페이지 테이블을 변조하여 가상-물리 메모리 주소 변환을 조작하는 공격을 탐지할 수 없다는 단점이 있다. 이를 해결하기 위해, 본 논문에서는 Snoop기반의 커널 검사 시스템을 제안한다. 이 시스템은 커널 메모리를 실시간으로 보호하기 위해 Snooper를 이용하여 모니터링 하며, 프로세스의 컨텍스트 스위칭 시마다 커널 페이지를 검사하여 주소 변환 공격 여부를 검증한다. 커널 검사 시스템은 TizenTV에서 구현되었으며, 실험결과들은 제안된 커널 검사 시스템이 커널 메모리 및 해당 페이지 테이블을 실시간으로 보호하며, 4.67%정도의 성능만 저하시킨다는 것을 보여준다.

• Journal of applied mathematics & informatics
• /
• 제30권3_4호
• /
• pp.365-380
• /
• 2012

Non-negative matrix factorization (NMF) is a very efficient method to explain the relationship between functions for finding basis information of multivariate nonnegative data. The multiplicative update (MU) algorithm is a popular approach to solve the NMF problem, but it fails to approach a stationary point and has inner iteration and zero divisor. So the elementwisely alternating projected gradient (eAPG) algorithm was proposed to overcome the defects. In this paper, we use the fact that the equilibrium point is stable to prove the convergence of the eAPG algorithm. By using a classic model, the equilibrium point is obtained and the invariant sets are constructed to guarantee the integrity of the stability. Finally, the convergence conditions of the eAPG algorithm are obtained, which can accelerate the convergence. In addition, the conditions, which satisfy that the non-zero equilibrium point exists and is stable, can cause that the algorithm converges to different values. Both of them are confirmed in the experiments. And we give the mathematical proof that the eAPG algorithm can reach the appointed precision at the least iterations compared to the MU algorithm. Thus, we theoretically illustrate the advantages of the eAPG algorithm.

• 한국도로학회논문집
• /
• 제18권6호
• /
• pp.131-136
• /
• 2016

OBJECTIVES : The objective of this research is to determine the integrity of pavement structures for areas where voids exist. Furthermore, we conducted the study of voided-area analysis and remaining life prediction for pavement structures using finite element method. METHODS : To determine the remaining life of the existing voided areas under asphalt concrete pavements, field and falling weight deflectometer (FWD) tests were conducted. Comparison methods were used to have better accuracy in the finite element method (FEM) analysis compared to the measured surface displacements due to the loaded trucks. In addition, the modeled FEM used in this study was compared with well-known software programs. RESULTS : The results show that a good agreement on the analyzed and measured displacements can be obtained through comparisons of the surface displacement due to loaded trucks. Furthermore, the modeled FEM program was compared with the available pavement-structure software programs, resulting in the same values of tensile strains in terms of the thickness of asphalt concrete layers. CONCLUSIONS : The study, which is related to voided-area analysis and remaining life prediction using FEM for pavement structures, was successfully conducted based on the comparison between our methods and the sinkhole grade used in Japan.

• Journal of Electrical Engineering and Technology
• /
• 제10권4호
• /
• pp.1915-1920
• /
• 2015

ISO 26262 is an international standard for the functional safety of electric and electronic systems in vehicles, and this standard has become a major issue in the automotive industry. In this paper, a functional safety compliant electronic control unit (ECU) for an electric power steering (EPS) system and a demonstration purposed EPS system are developed, and a software and hardware structure for a safety critical system is presented. EPS is the most recently introduced power steering technology for vehicles, and it can improve driver’s convenience and fuel efficiency. In conformity with the design process specified in ISO 26262, the Automotive Safety Integrity Level (ASIL) of an EPS system is evaluated, and hardware and software are designed based on an asymmetric dual processing unit architecture and an external watchdog. The developed EPS system effectively demonstrates the fault detection and diagnostic functions of a functional safety compliant ECU as well as the basic EPS functions.

• 대한기계학회논문집A
• /
• 제27권3호
• /
• pp.416-423
• /
• 2003

During the last ten years, the need has been increased for reducing maintenance cost for aged equipments and ensuring safety, efficiency and profitability of petrochemical and refinery plants. RBI (Risk Based Inspection) methodology is one of the most promising technologies satisfying the need in the field of integrity management. In this study, a user-friendly software, realRBl for RBI based on the API 581 code was developed. This software has modules for evaluating qualitative and semi-quantitative risk level, analyzing quantitative risks using the potential consequences of a failure of the pressure boundary, and assessing the likelihood of failure. A quantitative analysis was performed for 16 columns in a domestic NCC (Naphtha Cracking Center) plant whose operating time reaches about 12 years. Each column was considered as two equipment parts by dividing into top and bottom. Generic column failure frequencies were adjusted based on likelihood data. After determining release rate, release duration and release mass for each failure scenario, flammable/explosive and toxic consequences were assessed. Current risks for 32 equipment parts were evaluated and risk based prioritization were determined as a final result.

• Journal of Information Processing Systems
• /
• 제10권3호
• /
• pp.355-364
• /
• 2014

Internet accessibility has been growing due to the diffusion of smartphones in today's society. Therefore, people can generate data anywhere and are confronted with the challenge that they should process a large amount of data. Since the appearance of relational database management system (RDBMS), most of the recent information systems are built by utilizing it. RDBMS uses foreign-keys to avoid data duplication. The transactions in the database use attributes, such as atomicity, consistency, isolation, durability (ACID), which ensures that data integrity and processing results are stably managed. The characteristic of RDBMS is that there is high data reliability. However, this results in performance degradation. Meanwhile, from among these information systems, some systems only require high-performance rather than high reliability. In this case, if we only consider performance, the use of NoSQL provides many advantages. It is possible to reduce the maintenance cost of the information system that continues to increase in the use of open source software based NoSQL. And has a huge advantage that is easy to use NoSQL. Therefore, in this study, we prove that the leverage of NoSQL will ensure high performance than RDBMS by applying NoSQL to database systems that implement RDBMS.

• 한국압력기기공학회 논문집
• /
• 제11권2호
• /
• pp.13-19
• /
• 2015

Steam generator is one of the most important component of nuclear power plant, and it's integrity and reliability are to be assured to high level by pre-service inspection and in-service inspection. To improve the reliability of steam generator heat exchanger tubes and to secure the management of nuclear power plant safely, KHNP CRI recently has developed eddy current testing system for steam generator. KHNP CRI have performed a series of experimental verification and field application to confirm the performance of the developed ECT system in accordance with ASME Code requirements. The ECT system consists of a remote data acquisition unit, an ECT signal acquisition and analysis software, a water chamber robot controller and a probe push-puller. In this paper, we will details of the developed ECT system and the software and their experimental performance. And also we will report the field applying performance and the issues for further steps.