• 한국컴퓨터정보학회논문지
• /
• 제27권12호
• /
• pp.209-217
• /
• 2022

함정 전투관리체계는 다양한 센서, 무장 장비들이 연동 노드를 통해 연결되며 체계내 노드간 효율적인 통신을 위해 DDS(Data Distribution Service) 통신을 활용한다. DDS를 사용하기 위해 체계내 응용소프트웨어 사이에는 DDS토픽을 기본으로 하는 PUB/SUB(Publication/Subscribe)방식으로 통신한다. 이 PUB/SUB방식으로 통신하는 DDS 메시지 구조가 일치하지 않으면 송수신 응용소프트웨어에서 잘못된 명령처리 및 정보전달 등 문제가 발생한다. 이를 개선하기 위해 본 논문에서는 해시트리를 활용한 DDS 메시지 구조 무결성 검증 방법을 제안한다. 제안하는 방법의 전투관리체계에 적용가능성을 확인하기 위해, 제안하는 방법의 메시지 구조 무결성 검증률을 측정하고 전투관리체계의 운용과 개발과정에 미치는 영향을 확인하기 위해 전투관리체계 초기화 시간 비교, 메시지 해시트리의 생성시간 측정을 하였다. 이 시험을 통해 본 논문에서 제안하는 체계 안정성을 위한 메시지 구조 검증 방법이 함정 전투관리체계에 적용 가능함을 확인하였다.

• 한국통신학회논문지
• /
• 제16권8호
• /
• pp.793-800
• /
• 1991

본 연구는, 주민정보시스템에 인감시스템을 추가하여 운용할 수 있도록 설계한 인간조합시스템을 제안하였다. 조합처리의 핵심인 위치정합처리는 원주데이타를 이용했고, 조합판정처리는 XY화소분포를 이용했다. 조합판정실험결과 오조합율이 약 1%였으나, 감산/합산/중첩처리를 통하여 목측판정하므로써 주민관리시스템에 추가하여 운용할 수 있음을 확인했다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 춘계학술대회 논문집
• /
• pp.1016-1022
• /
• 2007

It is demanded to produce the safety evidence documents in other to approval safety characteristic of railway signaling system which stands is included, it is demanding from IEC 62425 standards. Also it is express clearly that safety assessment if signaling system has to be verification of these safety evidence documents. This Safety Case has the results of safety activity through system life-cycle, such as hazard lists, hazard identification and analysis, risk assessment and countermeasure, verification and test results. Consequently, first of all, the analysis and verification of these Safety Case documents has to be accomplished to approval and acceptance of signaling system safety. And also if the safety assessor was want, it is able to be experimental test auditory which is, arbitrary faults injection test, to above described documents verification. In this paper, the contents and architecture of Safety Case are presented as first steps of safety assessment technology establishment for railway signaling system.

• Journal of Biosystems Engineering
• /
• 제23권6호
• /
• pp.549-560
• /
• 1998

The dynamic model of a tractor-trailer system developed in the first part of this paper was verified in this article by comparing the simulated acceleration responses of the system with actually measured ones. A commercially available tractor and a trailer were used for the verification test. Values of the model parameters were measured or theoretically derived if the measurement was practically impossible. The tractor-trailer system was operated with different forward speeds over three equally spaced half-sine bumps on the flat concrete surface. Results of the verification tests showed that autospectra of the measured and simulated accelerations of the tractor-trailer system agreed well up to the frequencies slightly feater than the fundamental frequencies of the ground excitations and at the frequencies of engine excitations. The mean of normalized errors of the simulated responses to the measured ones was estimated to be less than 10% for all the test runs. The peak responses in the autospectra also coincided well both in the frequency and magnitude.

• 말소리와 음성과학
• /
• 제1권1호
• /
• pp.55-62
• /
• 2009

This paper proposes an improved method to verify a keyword segment that results from a word spotting system. First a baseline word spotting system is implemented. In order to improve performance of the word spotting systems, we use a two-pass structure which consists of a word spotting system and an utterance verification system. Using the basic likelihood ratio test (LRT) based utterance verification system to verify the keywords, there have been certain problems which lead to performance degradation. So, we propose a method which uses phone-level log-likelihood ratios (PLLR) patterns in computing confidence measures for each keyword. The proposed method generates weights according to the PLLR patterns and assigns different weights to each phone in the process of generating confidence measures for the keywords. This proposed method has shown to be more appropriate to word spotting systems and we can achieve improvement in final word spotting accuracy.

• 해양환경안전학회지
• /
• 제26권6호
• /
• pp.715-722
• /
• 2020

본 연구는 시스템 다이내믹스를 기반으로 해양구조물 분리시스템(Separation system)의 설계검증 방법을 제안하였다. 해양구조물 분리시스템은 부가가치 측면에서 EPC 프로젝트의 성공 여부를 결정할 수 있는 상부구조(Topsides)의 가장 중요한 시스템 중 하나이다. 그럼에도 불구하고, 설계검증에 대한 지금까지의 실태는 설계 작업의 프로세스 진행이나 도면작성 및 제공에 국한되어 있어 기본설계 단계에서 설계검증의 미흡으로 인하여 계약 후 잦은 설계변경에 의한 기업손실이 발생되어 왔다. 이러한 맥락에서 본 연구의 목적은 해양구조물의 전체 프로젝트 수행 기간에 성공적인 사업수행을 도모하고자 설계검증 모델을 구축하여 적용하도록 하였다. 제안된 설계검증 방법은 상세 설계의 효과적인 실행뿐만 아니라 초기설계 단계에서 기술적 오류나 불일치 사항을 미리 찾아냄으로써 해양구조물의 엔지니어링, 조달 및 건조에 대한 경쟁력을 향상시키는데 기여 할 것으로 예상한다. 본 연구에서는 먼저 건조한 실적선 자료를 바탕으로 설계검증을 수행하여 FPSO 분리시스템에 적용하고 ISO 15288 국제 표준을 준수하였다. 결과적으로, 제안된 설계검증 방법이 해양구조물의 FEED 검증 프로세스에 적용될 수 있으며, 향후 해양 프로젝트의 성공적인 수행에 의한 이익창출을 도모할 수 있을 것이다. 또한, 해양구조물 건조 시 설계변경에 의한 막대한 손실을 최소화 할 수 있을 것으로 기대한다.

• 대한안전경영과학회:학술대회논문집
• /
• 대한안전경영과학회 2009년도 추계학술대회
• /
• pp.203-208
• /
• 2009

Government and company are unfolding greenhouse gas reduction activity to prevent the effects of global warming. Also, verification business through greenhouse gas inventory construction is spreaded variously. Greenhouse gas verification proceeds by document examination, risk analysis, field survey. Document investigates emission information, calculation standard, emission report, data management system. And through risk assessment result, establish field verification plan. Through study on risk assessment of greenhouse gas inventory verification, wish to reduce risk of verification.

• Journal of information and communication convergence engineering
• /
• 제8권2호
• /
• pp.140-144
• /
• 2010

This paper is a research on an evaluating method for the dynamic signature verification system. It is described about various factors such as error rate, the size of signature verification engine, the size of the characteristic vectors of a signature, the ability to distinguish similar signatures, the processing speed of signature verification and so on. This study identifies factors to consider in evaluating signature verification systems comprehensively and objectively without an officially approved signature database, examines the meaning of each of the factors, and proposes criteria for evaluating and analyzing the factors.

• 제어로봇시스템학회논문지
• /
• 제2권1호
• /
• pp.53-59
• /
• 1996

An automatic verification method has been studied to determine the safety and operability of programmable logic controller (PLC) based systems. For the systematic and efficient verification, we have developed a conversion method from relay ladder logic (RLL) to the verification system description. RLL is a common representation used to document PLC programs for the sequential logic of the system such as the safety interlocks and the startup/shutdown procedures. Once the modules are developed, complex RLLs can be represented by the combination of modules. As a result we can verify complex PLC systems using the verification method including RLL modules. The developed modules are used to verify alarm systems and show that the method is valid.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제6권3호
• /
• pp.247-254
• /
• 2006

Biometrics are getting more and more attention in recent years for security and other concerns. So far, only fingerprint recognition has seen limited success for on-line security check, since other biometrics verification and identification systems require more complicated and expensive acquisition interfaces and recognition processes. Hand-Geometry can be used for biometric verification and identification because of its acquisition convenience and good performance for verification and identification performance. It could also be a good candidate for online checks. Therefore, this paper proposes a Hand-Geometry recognition system based on geometrical features of hand. From anatomical point of view, human hand can be characterized by its length, width, thickness, geometrical composition, shapes of the palm, and shape and geometry of the fingers. This paper proposes thirty relevant features for a Hand-Geometry recognition system. This system presents verification results based on hand measurements of 20 individuals. The verification process has been tested on a size of $320{\times}240$ image, and result of the verification process have hit rate of 95% and FAR of 0.020.