• 시스템엔지니어링학술지
• /
• 제9권1호
• /
• pp.47-53
• /
• 2013

The object of this study is to define systematically for outputs of Verification Process among the system life cycle process based on ISO/IEC 15288 for power supply system, which is one of the importance sub-systems to configure the LRT system. Furthermore, to prevent various problem in advance that can occur in the Transition LRT's power supply to be completed Integration. For this purpose, traceability of verification requirement and outputs. should be managed to use verification for system requirement and data processing tool. by system engineering techniques of system life cycle process based on ISO/IEC 15288 to LRT system.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제13권12호
• /
• pp.6243-6259
• /
• 2019

As a foundation of next-generation air transportation systems, automatic dependent surveillance-broadcast (ADS-B) helps pilots and air traffic controllers create a safer and more efficient national airspace system. Owing to the open communication environment, it is easy to insert fake aircraft into the system via spoofing or the insertion of false messages. Efforts have thus been made in academic research and practice in the aviation industry to ensure the security of transmission of messages of the ADS-B system. An identity-based batch verification (IBV) scheme was recently proposed to enhance the security and efficiency of the ADS-B system, but current IBV schemes are often too resource intensive because of the application of complex hash-to-point operations or bilinear pairing operations. In this paper, we propose a lightweight IBV signature scheme for the ADS-B system that is robust against adaptive chosen message attacks in the random oracle model, and ensures the security of batch message verification and against the replaying attack. The proposed IBV scheme needs only a small and constant number of point multiplication and point addition computations instead of hash-to-point or pairing operations. Detailed performance analyses were conducted to show that the proposed IBV scheme has clear advantages over prevalent schemes in terms of computational cost and transmission overhead.

• 한국소음진동공학회논문집
• /
• 제22권7호
• /
• pp.605-618
• /
• 2012

In this study, the possibility of decision error is investigated to identify and improve the reliability of participants in the process of conducting the sound quality analysis for laser printers. So far, there is not a way to identify and express the possibility of individual participant quantitatively. Thus, the decision error model is proposed which is based on the expectation value between the perceived sounds. Through the experimental verification on the laser printers, it was found that the possibility of decision error is affected according to the normalized difference. The possibility of decision error has inversely proportional to the normalized difference between the perceived sounds. When the normalized difference becomes small value, the uncertainly between decisions is inversely increase, and then it is difficult to obtain the proper result in the process of the jury evaluation for laser printers. For this reason, in this study, the proposed decision error model is added in the previous step of the correlation verification. Comparing to the conventional process only using the correlation based method, after the reliability of each participant is verified, the correlation with the mean response of participants is verified. It was found that the participants who were recognized as having unusual preferences are actually identified as having the reliability problem. Based on the results of this study, the proposed decision error model will be helpful to identify and improve the reliability of participants in the following study for the sound quality analysis.

• 음성과학
• /
• 제12권3호
• /
• pp.105-114
• /
• 2005

It was verified that a speaker verification system improved its performances of EER by regularizing log likelihood ratio, using background speaker models. Recently the wireless mobile phones are becoming more dominant communication terminals than wired phones. So the need for building a speaker verification system on mobile phone is increasing abruptly. Therefore in this paper, we had some experiments to examine the performance of speaker verification based on mobile phone's voices. Especially we are focused on the performance variations in EER(Equal Error Rate) according to several background speaker's characteristics, such as selecting methods(MSC, MIX), number of background speakers, aging factor of speech database. For this, we constructed a speaker verification system that uses GMM(Gaussin Mixture Model) and found that the MIX method is generally superior to another method by about 1.0% EER. In aspect of number of background speakers, EER is decreasing in proportion to the background speakers populations. As the number is increasing as 6, 10 and 16, the EERs are recorded as 13.0%, 12.2%, and 11.6%. An unexpected results are happened in aging effects of the speech database on the performance. EERs are measured as 4%, 12% and 19% for each seasonally recorded databases from session 1 to session 3, respectively, where duration gap between sessions is set by 3 months. Although seasons speech database has 10 speakers and 10 sentences per each, which gives less statistical confidence to results, we confirmed that enrolled speaker models in speaker verification system should be regularly updated using the ongoing claimant's utterances.

• 한국농공학회:학술대회논문집
• /
• 한국농공학회 2005년도 학술발표논문집
• /
• pp.272-277
• /
• 2005

Initial mixing characteristics in near field regions were analyzed by FLOW-3D, for analyzing mixing behavior of submerged discharge from freshwater lake in sea water. FLOW-3D model was applied to the region near Geum-ho dike for its verification. Simulation results from FLOW-3D were compared to the observed data for the verification periods. FLOW-3D showed resonable prediction results compared to the observed data, except underestimation in area near outfall. Particularly, FLOW-3D showed a good prediction for movement of buoyancy jets. In addition, FLOW-3D model was applied to the region near Saemangeum dike, which is to be constructed in near future. It was expected that the results of model application to Saemangeum area could provide substantial information in planning submerged discharge facilities. Based on the model applications to Saemangeum area, it was recommended that outfall should be located to the distance which gave an enough depth of outfall from water surface.

• 한국물환경학회지
• /
• 제27권1호
• /
• pp.30-35
• /
• 2011

2D pollutant transport model was applied to the simulation of contaminant transport in the channel. At first, two kinds of virtual channels having different slopes were designed. The distribution of contaminant, which flows from one of the three drainages to the main channel, was simulated by each 2D model. Concentrations of 745 nodes were converted to input data of neural network model (Multi-perceptron) for training and verification using matrix. The first three cases (Case A-1, A-2, A-3) were used for training Multi-perceptron, the other three cases (Case B-1, B-2, B-3) were used for verification. As a result, Multi-perceptron reasonably divided the cases into the three characteristics which have different contaminant distributions due to the different input point of water pollution source. It can be a useful methodology for the water quality monitoring and backtracking.

• 한국항공우주학회지
• /
• 제36권9호
• /
• pp.867-873
• /
• 2008

모델 기반의 가상 비행제어 시스템 구성은 동시공학이 중요시되는 개발환경에서 FBW 비행제어 시스템 검증 및 확인에 매우 유용하게 사용된다. 본 논문에서는 가상 비행제어 시스템을 구성하기 위한 이중구조 개념에 대해서 살펴보고, 고고도 정찰용 무인기에 적용된 이중구조 시스템에 대해서 분석하였다. 마지막으로, 분석된 비행제어 시스템을 바탕으로 Simulink 기반의 가상 비행제어 시스템을 구성하였고, 치명적인 고장모드에 대한 시스템의 동작 상태를 검증하였다.

• 한국BIM학회 논문집
• /
• 제11권3호
• /
• pp.1-11
• /
• 2021

BIM is one of the means of reducing the economic loss caused by design errors. These features of BIM have led to increased use of BIM. With the increasing use of BIM, several studies have been conducted to analyze the performance of BIM. As the importance of BIM staff is emphasized in the performance analysis of BIM, the human resource allocation of BIM staff can become an important research issue. However, there are few studies to measure the workforce effectiveness of BIM staff. Ham et al (2020) measured BIM workforce efficiency using FCFS queue model rules. Since design errors can have different effects on the project depending on the type, there are design errors that must be dealt with first. Therefore, in this study, a priority queue was used to solve design errors with high priority first. The performance of BIM-based design verification was analyzed by quantitatively analyzing the performance of BIM staff when the priority rule was applied to the design error processing sequence.

• ETRI Journal
• /
• 제36권5호
• /
• pp.696-703
• /
• 2014

In this paper, we present a walking guidance system for the visually impaired for use at subway stations. This system, which is based on environmental knowledge, automatically detects and recognizes both exit numbers and arrow signs from natural outdoor scenes. The visually impaired can, therefore, utilize the system to find their own way (for example, using exit numbers and the directions provided) through a subway station. The proposed walking guidance system consists mainly of three stages: (a) sign detection using the MCT-based AdaBoost technique, (b) sign recognition using support vector machines and hidden Markov models, and (c) three verification techniques to discriminate between signs and non-signs. The experimental results indicate that our sign recognition system has a high performance with a detection rate of 98%, a recognition rate of 99.5%, and a false-positive error rate of 0.152.

• 인터넷정보학회논문지
• /
• 제8권6호
• /
• pp.135-144
• /
• 2007

특성 모델(Feature Model)은 소프트웨어 제품 라인 개발 시 도메인 공학 단계에서 제품들 사이의 공통된 개념들과 서로 다른 개념들을 모델링하는데 널리 사용된다. 특성 모델로부터 특정 제품에 포함될 특성들을 선택한 결과를 특성 구성(Feature Configuration)이라고 하며, 이것은 특정 제품에 대한 요구 사항을 나타낸다. 현재 소프트웨어 제품 라인 개발 시 특성 모델과 특성 구성을 어떻게 구축하고 이용하는지에 대한 연구는 많이 되어 있지만, 이들에 대한 정형적 시맨틱과 논리적 추론에 대한 연구는 부족하다. 본 논문에서는 소프트웨어 제품 라인 공학에서의 표준 문제로 제안된 Graph Product Line을 예제로 하여 규칙 기반 시스템인 JESS를 이용한 특성 구성 검증 기법을 제안한다. 본 논문의 기법은 특성 구성의 불일치성을 일으키는 원인을 명확히 제시하는 장점을 가지며, 자바 언어와의 결합성이 뛰어난 JESS 시스템에 기반을 두었기 때문에 다른 소프트웨어 제품 라인 개발 환경과 쉽게 통합될 수 있다.