• Journal of the Korea Society for Simulation
• /
• v.23 no.3
• /
• pp.33-40
• /
• 2014

Drifter is equipment which is hard to localize. Performance of prototype hasn't performed well compared to product of leading companies even though advanced foreign firm's product were dead copied. This study shows cases of approaching the factor which produces performance gap through drifter hydraulic analysis model which is core component of rock drill. Progression of procedure is following. 1) Securing reliability of the analysis model by comparing impact test result with analysis result. 2) Drawing a graph which indicates performance gap between prototype and drifter of advanced foreign firm by using analysis model. 3) Approaching the factor which produces performance gap with analysing variable of the analysis model. Software used for this analysis is SimulationX.

• Journal of KIISE:Software and Applications
• /
• v.33 no.9
• /
• pp.802-809
• /
• 2006

J2ME mobile programs have been widely used as mobile devices like mobile phones become popular. Efficient use of resources in mobile programs is very important because mobile programs are executed in mobile environment with insufficient resources. Moreover, most J2ME programs are event-driven, so effective event handling is important for reliability and efficient use of resource. In this research, we develop a dynamic event analysis system, which can show event handling in real-time. In this system, users can trace only interesting events by selecting some options, and can get event profile after execution.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.12 no.4
• /
• pp.13-24
• /
• 2016

Defense Acquisition Program Administration's weapon system software development and management guideline specifies the criteria of software reliability tests including static and dynamic tests mainly on C/C++ languages. Recently, Defense Acquisition Program Administration expanded the scope of software reliability test for the various languages including C#, java etc. but specific criteria for them are not established. This study suggests the reliability test procedures and standards on C# programming software in weapon system. For the static test, considering the nature of the C# which depends on .NET framework, this paper introduces applying coding rules recommended by Microsoft Corp. Visual Studio 2012. Block coverage provided by Visual Studio is applied on dynamic tests and the achievement objectives for block coverage according to the software levels(A, B, C) are suggested. Also, the software reliability test procedures and standards proposed by this paper are properly verified through the case study. The result of this study can be used for establishing the specific criteria of the software reliability test for C# programming software in weapon system.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.10d
• /
• pp.440-445
• /
• 2007

본 논문은 USN을 이용하여 최근 식중독의 원인을 체계적으로 제거하기 위해 식품 위해 요소 중점관리인 HACCP(Hazard Analysis and Critical Control Point) 안전관리시스템을 개발하였다. HACCP 안전관리시스템은 센서 네트워크, 패킷포워더, 관리서버로 구성된다. 각 주방기기에 부착한 센서 노드는 자율 네트워크를 구성하여 측정한 센싱 데이터를 관리서버로 송신하고, 관리서버는 수신한 데이터를 분석하여 사용자에게 HACCP 관련 서비스를 제공한다. 본 논문에서는 센서 노드용 펌웨어를 개발하고, 응용 소프트웨어를 개발하였다. 기존 HACCP 시스템에서 문제시되었던 통신망 구축 문제, 유지보수 문제를 본 논문에서 해결하였다. HACCP 안전관리시스템은 자율적인 모니터링과 CCP 기록을 자동적으로 작성하여 식품위해요소 관리에서 신뢰성 향상과 장애 발생 시 신속한 조치가 가능하게 할 수 있는 시스템이다. 유비쿼터스의 핵심 기술인 센서 네트워크 기술을 이용하여 기존 HACCP 시스템의 문제점은 개선할 수 있었다.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.20 no.6
• /
• pp.691-697
• /
• 2007

Numerical eigen analysis of beam-like structure can be easily and effectively done by various conventional beam theory-based methods. However, in case of the structures composed of composite-sectioned beams, the application of conventional numerical methods requires one to derive both equivalent material and geometry properties. In the present paper, these equivalent properties are derived by the transformed section method and the test FEM program is coded. The numerical accuracy of the proposed method is verified through the comparison with the ANSYS 3-D model.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.39 no.2
• /
• pp.153-161
• /
• 2011

Korea Aerospace Research Institute (KARI) has implemented an integrity monitor testbed (IMT) to provide archived GPS data and test results for integrity monitoring algorithm development. To verify that the system is implemented based on international standard requirements, this paper represents the basic functional verification test results of the implemented testbed as a GBAS reference station. It compares the IMT generated GBAS message fields with those of PEGASUS, which is a baseline toolset accepted by international GBAS experts, to show the validity of the correction information. It also verifies the integrity and availability of the system through analysis on GBAS user data in the range and position domain.

• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.11
• /
• pp.1056-1060
• /
• 2010

The software running on avionic systems is required to be highly reliable and productive. Due to these demands, the standard such as ARINC 653 has been suggested, which includes the abstraction of resource partitioning and defines interfaces between avionic operating system and applications. Though there are many manned aerial vehicles employing ARINC 653 based operating systems, Linux-based ARINC 653 for unmanned aerial vehicles has not been studied yet. In this paper, we propose the design of Linux-based ARINC 653 process model and present preliminary implementation. The experiment results present that the implementation is enough to support control software of unmanned helicopter.

• The Korean Journal of Applied Statistics
• /
• v.11 no.2
• /
• pp.377-387
• /
• 1998

A Markov Chain Monte Carlo method with data augmentation is developed to compute the features of the posterior distribution. For each observed failure epoch, we introduced latent variables that indicates with component of the Superposition model. This data augmentation approach facilitates specification of the transitional measure in the Markov Chain. Metropolis algorithms along with Gibbs steps are proposed to preform the Bayesian inference of such models. for model determination, we explored the Pre-quential conditional predictive Ordinate(PCPO) criterion that selects the best model with the largest posterior likelihood among models using all possible subsets of the component intensity functions. To relax the monotonic intensity function assumptions, we consider in this paper Superposition of Musa-Okumoto and Erlang(2) models. A numerical example with simulated dataset is given.

• Journal of Korea Society of Industrial Information Systems
• /
• v.13 no.1
• /
• pp.22-29
• /
• 2008

This paper describes the developed results of vision system for the recognition of material management characters, which was included in the billet image. The material management characters, which was marked at the surface of billet, should be recognized before billet moves to the next process. Our vision system for the character recognition includes that CCD camera system which acquire billet image, optical transmission system which transmit captured image to the long distance, input and output system for the interface with existing system and software for the character recognition. We have installed our vision system at the wire rod line of steel & iron plant and tested. Also, we have performed inspection of durability, reliability and recognition rate. Through the testing, we have confirmed that our system have high recognition rate, 98.6%.

• Journal of KIISE:Software and Applications
• /
• v.26 no.11
• /
• pp.1350-1358
• /
• 1999

이 논문에서는 유전밴드 영상신호에 포함되어 있는 지형적 특징을 이용하여 밝기의 변화가 일정하지 않은 유전밴드를 인식하는 방법을 연구하였다. 유전밴드는 동일인을 식별하는데 있어서 지문보다 높은 신뢰성을 가지고 있으므로, 유전밴드 영상에서 유전밴드의 유무와 위치를 자동적으로 검출하는 것은 매우 중요하다. 레인내의 밝기의 변화가 일정한 유전밴드는 미분연산자에 의해 검출할 수 있지만, 밝기의 변화가 일정하지 않은 레인내의 유전밴드는 일반적인 인식방법에 의해서는 검출하기 어렵다. 따라서 유전밴드 영상으로부터 지형적 특징을 추출하고, 이것으로부터 계산한 곡률(curvature)의 크기에 의해 유전밴드를 인식함으로써 레인의 밝기가 변화하는 경우에도 효과적으로 인식하였다.Abstract This paper presents recognition of DNA band using the topographical features of DNA band images. The DNA band provides a more reliable way of identification than fingerprints. Recognition based on differentiation operators can easily detect the DNA band if the brightness of lane in the image is almost uniform. When the brightness of the lane changes gradually, the DNA bands are hard to be recognized. Using the curvature magnitude of the lane computed from topographic features extracted from DNA images, the DNA bands are efficiently recognized in the lane whose brightness changes.