• Annual Conference of KIPS
• /
• 2015.10a
• /
• pp.1027-1030
• /
• 2015

하드웨어 디자인 설계에서 초기 단계의 설계 오류 발견은 개발 비용 감소 및 설계 시간 단축 측면에서 그 효과가 매우 크다. 이러한 초기 설계 오류 발견을 위한 대표적인 방법으로는 정형 검증(formal verification)이 있으며, Cadence SMV(Symbolic Model Verifier)는 정형 검증을 위해 Verilog HDL(Hardware Description Language)을 SMV로 자동 변환 해주는 장점이 있지만, 사건 기반 구조(event based structures)의 sensitivity list에 대한 지원을 하지 않는 한계가 있다. 이에 본 논문에서는 Cadence SMV에서 디지털회로(digital circuit) 중 하나인 조합 논리회로(combinational logic circuit)를 sensitivity list가 고려된 검증이 가능하도록 하는 방법을 제안한다. 신뢰성 있는 실험을 위해 본 논문에서는 제안하는 방법의 일반적인 규칙을 도출하였고, 도출된 규칙이 적용된 SMV 파일을 생성하는 자동화 프로그램을 구현하여 실험하였다. 실험결과 제안한 방법을 적용한 경우 기존 Cadence SMV가 발견하지 못한 설계상의 오류를 발견할 수 있었다.

• Annual Conference of KIPS
• /
• 2012.11a
• /
• pp.633-636
• /
• 2012

최근 디지털카메라와 스마트 폰 등의 모바일 기기가 급속도로 발전 하면서 언제, 어디서나 손쉽게 사진을 찍을 수 있게 되었다. 이런 환경의 변화는 수없이 많은 사진을 양산하게 되었고, 손쉽게 많이 찍은 사진에 대한 분류에 불필요한 시간을 많이 보내게 되었다. 따라서 보다 편리하게 촬영된 사진들을 분류 관리하기에 적합한 자동화된 프로그램이 필요하게 되었다. 이 논문에서는 GPS나 시간 등의 메타 정보에 의존하지 않고 오직 사진의 주 색상을 이용한 히스토그램 특징과 Mean Shift 분류기를 사용하여 대략적인 분류를 시도하려했다. 실험결과를 토대로 살펴보면, 제안된 방법은 사진의 주 색상이 확실한 경우는 잘 분류할 수 있지만 여러 가지 색상이 복잡하게 혼합된 경우와 주 색상을 찾기 어려운 경우에는 분류에 한계가 있음을 알 수 있었다. 따라서 제안된 알고리즘은 사진과 영상들을 개략적인 분류를 실시할 때 주 색상 히스토그램특징이 의미 있는 전역적 특징(Global Feature)중의 하나로 생각된다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2014.05a
• /
• pp.257-260
• /
• 2014

Digital Forensics in the event of an accident, the system restore files and the only way to find evidence KT Website hacking happening now, credit card companies, and leakage of personal information by three recent spills occurred, such as Skin Food Home Up Customer Information hackers to find these crimes only means as well. This study attempted to bypass the KT website hacking attacks utilizing automated programs hacking programs, and if you try to experiment on whether any information has been disclosed and if so what home attacked forensics evidence for hackers to locate the can make a report is described.

• Journal of KIBIM
• /
• v.12 no.1
• /
• pp.23-34
• /
• 2022

In the current 2D-based design, design reliability is lowered due to interference and inconsistency between plans, errors in drawings and quantities, etc. At the time of transition to BIM-based 3D design, it is necessary to expand the reliability and usability of BIM by eliminating these errors from the design stage through securing the quality of the BIM digital model. Therefore, in the railway infrastructure design stage, the quality management process and standards of the BIM digital model were defined and quality management index were developed. Based on the rule extracted from the quality management index, a pilot quality management was conducted in connection with the commercial Model-Checker rule, problems and improvement plans were derived, and a rule-based automated quality management plan was prepared.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.45 no.3
• /
• pp.40-48
• /
• 2022

An automated material handling system (AMHS) has been emerging as an important factor in the semiconductor wafer manufacturing industry. In general, an automated guided vehicle (AGV) in the Fab's AMHS travels hundreds of miles on guided paths to transport a lot through hundreds of operations. The AMHS aims to transfer wafers while ensuring a short delivery time and high operational reliability. Many linear and analytic approaches have evaluated and improved the performance of the AMHS under a deterministic environment. However, the analytic approaches cannot consider a non-linear, non-convex, and black-box performance measurement of the AMHS owing to the AMHS's complexity and uncertainty. Unexpected vehicle congestion increases the delivery time and deteriorates the Fab's production efficiency. In this study, we propose a Q-Learning based dynamic routing algorithm considering vehicle congestion to reduce the delivery time. The proposed algorithm captures time-variant vehicle traffic and decreases vehicle congestion. Through simulation experiments, we confirm that the proposed algorithm finds an efficient path for the vehicles compared to benchmark algorithms with a reduced mean and decreased standard deviation of the delivery time in the Fab's AMHS.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2022.10a
• /
• pp.133-135
• /
• 2022

With the development of IoT and AI technologies and media, various digital devices are being used, and unmanned and automation is progressing rapidly. In particular, high-level image processing technology is required in fields such as smart factories, autonomous driving technology, and intelligent CCTV. However, noise present in the image affects processes such as edge detection and object recognition, and causes deterioration of system accuracy and reliability. In this paper, we propose a filtering algorithm using fuzzy weights to reconstruct images damaged by complex noise. The proposed algorithm obtains a reference value using noise judgment and calculates the final output by applying a fuzzy weight. Simulation was conducted to verify the performance of the proposed algorithm, and the result image was compared with the existing filter algorithm and evaluated.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2021.05a
• /
• pp.207-209
• /
• 2021

In recent years, with the development of artificial intelligence and IoT technology, automation and unmanned technology are in progress in various fields, and the importance of image processing such as object tracking, medical images and object recognition, which are the basis of this, is increasing. In particular, in systems requiring detailed data processing, noise reduction is used as a pre-processing step, but the existing algorithm has a disadvantage that blurring occurs in the filtering process. Therefore, in this paper, we propose a filter algorithm using modified spatial weights to minimize information loss in the filtering process. The proposed algorithm uses mask matching to remove AWGN, and obtains the output of the filter by adding or subtracting the output of the modified spatial weight. The proposed algorithm has superior noise reduction characteristics compared to the existing method and reconstructs the image while minimizing the blurring phenomenon.

• The Transactions of the Korea Information Processing Society
• /
• v.13 no.5
• /
• pp.227-235
• /
• 2024

Since nuclear power plants (NPPs) increasingly employ digital I&C systems, reliability evaluation for NPP software has become crucial for NPP probabilistic risk assessment. Several methods for estimating software reliability have been proposed, but there is no available tool support for those methods. To support NPP software manufacturers, we propose a reliability measurement tool for NPP software. We designed our tool to provide reliability estimation depending on available qualitative and quantitative information that users can offer. We applied the proposed tool to an industrial reactor protection system to evaluate the functionality of this tool. This tool can considerably facilitate the reliability assessment of NPP software.

• Design & Manufacturing
• /
• v.18 no.2
• /
• pp.35-40
• /
• 2024

Injection molding is a process widely used across various industries for molding plastics, and it is the most commonly applied process in root industries utilizing molds. Among the different types of injection molding, insert injection molding, where busbars are used as inserts, is increasingly being applied in the electric vehicle industry. However, currently, the insert injection molding process is manually performed, with workers placing insert components by hand before injection molding. This results in issues related to productivity, safety, and quality. Additionally, there is a growing demand for automation of such production lines due to hazardous working conditions, economic difficulties in the manufacturing industry, and the decline in the labor force caused by an aging population. This study focuses on the application of an automated system for the insert injection molding process used in electric vehicles. The development of an automated system for the transport and insertion of insert components, as well as the inspection and stacking processes after injection, has resulted in over a 25% improvement in productivity and more than a 27% reduction in defect rates.

• Proceedings of KOSOMES biannual meeting
• /
• 2006.05a
• /
• pp.177-183
• /
• 2006

IMO and ITU-R have done an intensive study to develop performance standards and technical standards of maritime digital communication systems, respectively. In particular, each administration strives to develop new agenda items of adopting digital new technologies. IMO COMSAR submitted draft performance standard of LRIT to IMO MSC, so that IMO mandates carriage requirement of LRIT In addition to that, COMSAR is preparing performance standard of AIS-SART, and approved the utilization of mobile phones for SAR activities. On the other hand, a new agenda item concerning E-navigation strategy was submitted to MSC 81th meeting. These challenges toward enhanced maritime radio communication systems would make it change largely the concepts of traditional navigation We suggest future directions of maritime information communication systems, investigating the study results of IMO and ITU-R.