• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.126-128
• /
• 2012

소프트웨어 시스템의 안전성을 보장하기 위해 여러 안전성 분석 기법들이 사용되고 있으며, 안전성 분석의 결과인 안전성 요구사항을 시스템이 만족하고 있는지 확인하는지 확인하는 안전성 평가과정이 수행되고 있다. 안전성 평가는 많은 시간과 비용이 드는 문제점을 가지고 있다. 본 논문은 안전성 평가에 드는 시간과 비용을 줄이기 위해 테스트 케이스를 이용하여 안전성 요구사항을 소프트웨어 개발의 가장 기본적인 검증기법인 테스팅을 이용하여 시스템이 만족하는지 확인하는 방법을 제안하고 핸드폰의 카메라 컨트롤러 예제를 이용한 사례 연구를 진행하였으며 이를 지원 위한 도구인 TC2SMV를 개발하였다. TC2SMV는 UML의 state chart diagram에서 생성된 test case들을 SMV 입력 프로그램으로 자동으로 변환하여 사용자가 SMV 모델체킹을 수행할 수 있는 환경을 제공한다.

• Annual Conference of KIPS
• /
• 2023.11a
• /
• pp.1119-1120
• /
• 2023

본 논문에서는 LiDAR 만을 이용한 자율주차 시스템을 제안한다. 목표하는 주차공간 양측에 위치한 차량을 감지하여 주차공간의 앞까지 이동한 후 조향장치를 제어하여 주차를 수행하는 알고리즘을 제시하였다. 또한 2023년도 제1회 성균관대학교 자율주행 SW 경진대회를 수행함으로써 해당 알고리즘의 유효성을 검증하였다.

• Annual Conference of KIPS
• /
• 2005.11a
• /
• pp.769-772
• /
• 2005

그동안 우리는 분산응용을 구성하는 자원들을 하나의 논리적인 그룹으로 관리하기 위한 연구를 수행하여 분산객체그룹 프레임워크(Distributed Object Group Framework, DOGF)를 구축하였다. 또한 DOGF 기반에서 분산응용의 복잡한 개발절차를 최소화하고, 이전에 개발된 분산자원들의 재사용성을 효율적으로 제고할 수 있는 분산프로그램 개발도구인 DPD-Tool(Distributed Programming Developing Tool)을 개발하였다. 본 논문에서는 우리가 개발한 GUI 지원 DPD-Tool을 이용한 분산응용의 개발 편리성과 DOGF가 지원하는 그룹관리 분산서비스의 수행성을 검증한다. 이를 위해 GUI 기반에서 분산응용의 예를 들어 서버와 클라이언트 측의 개발절차를 제시하며, 이로부터 DPD-Tool이 DOGF의 지원 서비스를 통하여 그룹화 분산응용 내 중복자원들을 효율적으로 이용하는지 그 수행결과를 확인한다.

• 한국경영정보학회:학술대회논문집
• /
• 2007.06a
• /
• pp.731-736
• /
• 2007

현재 정보시스템의 효율적 도입 및 운영 등에 관한 법률(ITA법)이 2005년 12월 30일에 제정 공포되고 새로운 정보시스템 감리기준이 2006년 10월 24일부터 정보통신부고시 제2006-42호에 의해 시행되고 있으나 정부의 정보기술아키텍쳐 수립에 따른 감리 중점검토항목이 없이 감리 수행 시 이를 반영시키지 못하는 단점이 있었다. 특히 2006년 7월부터 중앙행정기관은 물론 정부투자기관 및 산하기관, 지방자치단체 등에 정보기술아키텍쳐 도입이 의무화되고 감리 수행의 필요성이 대두되고 있다. 본 논문에서는 정보기술아키텍쳐 수립사업의 준거성(Campliant)검증을 위하여 감리 수행 시 적용되어야 할 감리중점검토항목을 개발하여 제안한다.

• Journal of the Korea Computer Industry Society
• /
• v.5 no.5
• /
• pp.721-728
• /
• 2004

OCSP (Online Certificate Status Protocol) server which checks the certificate status provides the real time status verification in the PKI (Public Key Infrastructure) system which is the essential system of certificate. However, OCSP server need the message authentication with the server and client, so it has some shortcomings that has slow response time for the demands of many clients concurrently and has complexity of the mathematical process in the public encryption system. In this research, simulation model of the certificate status vertification server is constructed of the DEVS (Discrete EVent system Specification) formalism. This sever model is constructed to practice the authentication with hash function when certificate is checked. Simulation results shows the results of increase of the certificate status verification speed and decrease of the response time to the client.

• Plant Journal
• /
• v.13 no.2
• /
• pp.39-45
• /
• 2017

This paper is a study on FEED validation model that can be used in the bidding stage of small utility equipment in offshore plant industry using system engineering technique. Currently, domestic marine plant equipment industry companies are faced with the financial risk of project execution as they enter marine plant. The major cause was the insufficient ability to verify the FEED output from the contractor (Engineering or Procurement and Construction) of the equipment manufacturer (COMPANY or EPC). Therefore, we propose FEED design verification method that simplifies the system engineering method that sequentially applies requirements analysis, function, performance analysis and physical architecture building process. Also, we verified the suitability of the developed model by comparing the results of applying the developed FEED verification model and the verification method that depends on the existing experience for the small utility equipment (Air Compressor).

• Journal of the Korea Convergence Society
• /
• v.13 no.4
• /
• pp.397-407
• /
• 2022

This study examines the effect of deviant strategies on corporate value and future performance by departing from the same strategy as other firms in the same industry. Business strategy affects the development and growth potential of a firm and becomes an important factor in determining future performance and corporate value. Business strategies differ according to industrial characteristics, and a firm that implements a heterogeneous strategy within the same industry may have different future performance or corporate value compared to other firms. This study analyzed listed firms from 2011 to 2019 in order to verify the effect of strategic deviation on the relationship between future performance or corporate value. The analysis results are as follows. First, strategic deviation was found to have a positive (+) effect on corporate value, but it was found to have a negative (-) effect on future performance and also affect the persistence of performance. These results are meaningful in examining the effect of strategic deviation on corporate value or future performance and performance persistence by classifying strategies in prior studies and expanding the results that the type of strategy affects corporate value and future performance.

• The Journal of the Korea Contents Association
• /
• v.7 no.3
• /
• pp.197-206
• /
• 2007

The high commitment of a revenue officer makes to raise efficiency, can be directly related to task result and validity. The fundamental process through trust in superior, consisting the core of tax execution, needs to be studied significantly. This study is proposed to verify the practical influence of trust in superior with respect to productivity, participation in decision-making, and concentration. These factors are important prerequisites with respect to task processing of a tax revenue officer. As the result of analysis, the more trust in superior effects on the statue of productivity, participation in decision-making and concentration. It is the proof that the trust in superior procedure contributes in the aspects of productivity, participation in decision-making and concentration through the process of encouraging organizational validity.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2021.06a
• /
• pp.43-46
• /
• 2021

최근 기계 임무수행에 사용되는 데이터양이 증가함에 따라 기계를 위한 효율적인 영상 압축방식의 필요성이 높아졌다. 기존의 비디오 코덱은 HVS (Human Visual System) 특성을 고려한 기술이기 때문에 부호화 과정에서 기계 임무수행에 필요하지 않은 정보를 효과적으로 제거할 수 없다. 반면 심층신경망 기반 압축네트워크의 경우, 원본 영상으로부터 기계 임무수행에 필수적인 데이터만을 추출하여 부호화 하도록 학습할 수 있는 장점이 있다. 본 논문에서는 압축 심층신경망과 기계 임무수행 네트워크로 구성되는 VCM (Video Coding for Machine) 프레임워크를 제안하고 학습에 의한 압축효율 향상을 검증한다. 이를 위해 압축 심층신경망을 객체탐지 임무수행 네트워크와 함께 학습시킨 결과, VVC (Versatile Video Coding) 대비 평균 61.16%의 BD-rate 감소가 확인되었다. 뿐만 아니라, 학습된 압축 심층신경망은 객체분할 임무수행에서도 VVC 대비 평균 58.43%의 BD-rate 감소를 보여 다중 기계 임무의 효율적 수행이 가능함을 확인할 수 있었다.

• The Journal of the Convergence on Culture Technology
• /
• v.8 no.6
• /
• pp.341-346
• /
• 2022

With the recent paradigm shift towards 'sustainable management', corporate social responsibility is recognized as an important factor for the continuous and long-term growth of a company. This study examines how the perception of CRM performing companies and NGOs affect attitude toward donation. In addition, it was empirically investigates how the perception of donation affects the SNS word of mouth intention. In this study, a total of 180 usable responses were obtained for analysis, and SPSS and AMOS 26.0 were used to verify the validity and hypothesis of the study. As a result of the study, it was found that validity and reliability were secured. As a result of the hypothesis testing, all the hypotheses were supported, but the effect of the perception of the company implementing CRM on the donation attitude was very weakly supported. This study suggests that raising a positive awareness of CRM-performing companies and NGOs collaborating with them is an effective strategy to increase donation attitudes and SNS word-of-mouth intentions for CRM.