• Review of KIISC
• /
• v.23 no.6
• /
• pp.5-12
• /
• 2013

본 논문은 최근 가장 이슈화 되고 있는 스미싱 위협의 방지에 대해 다루며, 단순히 스미싱 방지뿐만 아니라 탐지율 향상, 오탐률 감소를 위해 새로운 모델을 제안한다. 첫 번째 모델은 문자메시지 송/수신 시 특정 인증 값을 첨부/확인하여 정상 기관 인증을 수행하는 모델이며, 두 번째 모델은 문자메시지에 첨부된 URL을 사용자가 메시지 수신을 확인하기 전에 사전 검증하여 악성 유무를 판별하는 모델이다. 두 모델의 기본 동작 방식 제안과 설계를 통해 장점과 단점을 언급한다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2012.10a
• /
• pp.291-293
• /
• 2012

AMD 능동형 제진장치를 이용하여 플로팅 구조물을 제어하기 위해서는 수조실험을 통해 플로팅 함체 구조물의 롤링방향에 대한 동적 특성을 추정한 후 대상 구조물 특성에 적합한 제어알고리즘을 적용하여 수치시뮬레이션을 통한 제어의 가능성 확인 및 향후 실제 제진장치를 설치하여 검증실험을 통해 플로팅 구조물 능동제어의 효과를 검증해야 한다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.7
• /
• pp.425-433
• /
• 2016

The construction of a light rail transit (LRT) system is a large and complex infrastructure project involving hundreds of billions of won in construction costs for a single route, and it is very important to carry out such a project from a life-cycle perspective because of its long-term operation. Systems engineering is a means and methodology to successfully implement customers' needs, and it is useful in large projects such as light rail transit. An application model called Systems Engineering for Light Rail Transit (SELRT) was developed to support systems engineering activities in light rail transit projects. In order to utilize SELRT, it is necessary to ensure that system requirements are met. As such, in this paper, we present a verification procedure and architecture based on a systems engineering-based methodology, thereby identifying the system requirements and deriving the verification requirements to confirm the SELRT model for the proposed method. The results show that the traceability of the system requirements and verification requirements, the verification method for each requirement, and the demonstration results for computerized tools are mutually connected, and that the initial requirements are clearly implemented in the SELRT. The proposed method is valid for verifying the SELRT, which can also be utilized in a LRT project.

• Proceedings of the Korean Institute of Electrical and Electronic Material Engineers Conference
• /
• 2005.05b
• /
• pp.79-84
• /
• 2005

고속철도는 한번에 1천명에 달하는 승객을 태우고 시속 300km를 넘는 고속으로 주행하는 만큼 성능과 안전에 대한 철저한 사전 검증이 필수적이며, 특히 새로운 차량시스템의 개발은 철저한 성능검증 및 안전성을 확보하는 시험평가 과정을 반드시 거쳐야 한다. 본 논문에서는 최고속도 350km/h인 한국형 고속철도 차량시스템 개발사양의 성능요구 조건을 입증하기 위한 시험으로서, 핵심 개발품 단위별 구성품 시험, 개발품 단위간의 조합시험, 차량에서의 기능 동작 확인을 위한 완성차시험(단차시험 및 편성시험)및 전기신호 및 선로구축물 시스템과의 적합성 및 연계성을 확인하는 시운전 시험으로 구분하여 한국형 고속철도 차량시스템의 성능시험 체계 및 성능시험 기준(안)의 개발 내용을 소개하고자 한다.

• Journal of Korean Society of Steel Construction
• /
• v.28 no.4
• /
• pp.271-280
• /
• 2016

The need to accurate quantification of blast pressure loading in the near field is important because the focus of security design of critical infrastructure, buildings and bridges is for near-field detonations. Incident and reflected pressures for near-field detonations are very difficult to be measured by commercially available pressure transducers due to the high pressure and temperature, which requires a verified and validated computational fluid dynamics code to reasonably predict the near-field pressures and impulses. This paper presents numerical studies to verify and validate a CFD code for calculations of incident and reflected overpressures and impulses. The near field is emphasized and recommendations for mesh sizes to optimally simulate the near-field detonation are provided.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2005.05a
• /
• pp.1068-1071
• /
• 2005

최근 들어 기술을 담보로 하는 신용금융의 역할이 증대되면서 자금지원 대상기업의 기술평가 시스템 구축이 중요한 과제가 되고 있다. 국내에서는 기업 보유의 기술경영성과를 측정하여 한정된 자원의 효율적 배분을 위한 민간 투, 융자를 위한 기술신용평가모형'이 제시되었다 본 연구에서는 기술신용평가모델의 평가항목 타당성을 실증 분석한다. 모형의 항목 분류가 적절하게 되었는지를 검증하기 위하여 구조적 타당성을 평가하며 통계적 유의성을 검증하여 신뢰성을 평가한다. 구조적 타당성 검정을 위해 확인 요인분석을 수행하며 평가모형의 신뢰성을 검증하기 위해서는 다변량 통계방법 중의 하나인 판별분석을 수행한다. 본 연구는 기술개발 성공 및 부실발생의 예측력을 갖는 기술신용평가 시스템 구축을 위한 기초 자료로 활용될 수 있을 것이다.

• The Korean Journal of Financial Management
• /
• v.18 no.2
• /
• pp.145-168
• /
• 2001

본 연구는 아시아 11개국 환율변화율의 자료를 이용하여, 집단 간의 동질적 속성에 의한 의미 있는 경제적 분류를 시도하기 위하여, 탐색적인 수리적 분류기법의 소개 및 적용, 그리고 이러한 접근법에 의하여 아시아 외환시장을 집단화하는 동질적인 공통요인의 존재가능성을 평가하고자 하는 목적으로 검증하였으며, 관찰된 검증결과를 요약하면 다음과 같다. 첫째, 변화하는 시계열에 관계없이, 아시아 11개국의 외환시장에서는 일정하게 집단을 구성하는 계층적 구조관계를 확인할 수 있었다. 둘째, 검증결과에 의하여, 아시아 11개국의 외환시장을 동질적인 속성으로 집단화하는 공통요인의 존재가능성을 볼 수 있었다. 셋째, 의미 있는 경제적 분류에 의하여 형성된 동질적 속성의 시장구조관계는 공통적으로 영향을 미칠 수 있는 사건이 발생할 경우, 기존의 시장구조관계를 변화시킬 수 있다는 것을 관찰하였다. 넷째, 한국은 1990년 이후 국제화 정책을 국가적 차원에서 추진하였지만, 전반적인 검증결과에 의하면, 한국은 아시아 외환시장에서의 동질적인 속성에 의한 시장구조의 연결관계가 미약한 수준임을 확인할 수 있었다.

• Journal of Broadcast Engineering
• /
• v.21 no.5
• /
• pp.792-802
• /
• 2016

Real time verification is necessary, since there are several features that cannot be verified through design simulation in the design of multiband soundbar system. And then this paper describes an implementation of an FPGA-based real-time verification system for a soundbar SoC with an embedded processor. It is verified a real-time performance test and a listening test which are several features in the design stage that cannot be verified through a design simulation. The measurement of quantitative specifications such as SNR, THD+N, frequency response, etc. as well as the listening test were performed through the implemented FPGA system, and it was verified that test results satisfied the target specifications.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.41 no.1
• /
• pp.101-103
• /
• 2016

We propose a HTTP cookie-based identification of the public keys of Web sites for the case of failure to validate certificates. The proposed scheme effectively protects users from the phishing attacks of inducing them to access bogus sites. It incurs little performance overhead on the browser and the server of Web sites. It requires to implement the input processing of user credentials and the encryption and verification of cookie values, though.

• Journal of the Korea Society for Simulation
• /
• v.19 no.1
• /
• pp.153-160
• /
• 2010

Most part of errors in software development process are included during the stage of requirements definition and design. And correction or elimination of errors from those stages requires much more efforts and costs than those from the later part of software development process. However, despite of the importance of the validation of requirement definition and design stages, several kinds of problem have made it hard to be done successfully. Therefore, in this paper, we introduce a novel validation process for the preliminary design stage. The validation process is based on simulations of model and it can be used to validate requirements and model simultaneously. Models in the validation process will take only the behavior of software and be built on Ptolemy framework. The usability of our validation process is confirmed with a case study over DNS system environment. And the result of simulation shows well-known errors or vulnerabilities can be found with simulations of model which has the behavior of software. This means our validation process can be used as a process to validate requirements and models during the early stage of software development process.