• 한국신뢰성학회지:신뢰성응용연구
• /
• 제7권4호
• /
• pp.137-148
• /
• 2007

Rapid increase of embedded systems in electronic and mechanical control systems requires reliable and error-free embedded software. State-based testing methods like FSM are usually used to assure the reliability of embedded software. However, because of possibility of explosion of test cases, only partial test cases are considered in practical tests, which cannot guarantee that all the possible errors are investigated. This study proposes a test procedure based on failure mechanisms that may occur in embedded systems, which can not only assure that certain kinds of possible errors are detected but reduce the testing time. The proposed procedure is applied to vehicle air control system.

• 대한임베디드공학회논문지
• /
• 제4권4호
• /
• pp.190-194
• /
• 2009

Iris recognition is a biometric technology which can identify a person using the iris pattern. Recently, using iris information is used in many fields such as access control and information security. But Perform complex operations to extract features of the iris. Because high-end hardware for real-time iris recognition is required. This paper is appropriate for the embedded environment using local gradient histogram embedded system with iris feature extraction methods based on USN(Ubiquitous Sensor Network). Experimental results show that the performance of proposed method is comparable to existing methods using Gabor transform noticeably improves recognition performance and it is noted that the processing time of the local gradient histogram transform is much faster than that of the existing method and rotation was also a strong attribute.

• Journal of information and communication convergence engineering
• /
• 제12권3호
• /
• pp.145-153
• /
• 2014

The improvements of embedded processors make future technologies including wireless sensor network and internet of things feasible. These applications firstly gather information from target field through wireless network. However, this networking process is highly vulnerable to malicious attacks including eavesdropping and forgery. In order to ensure secure and robust networking, information should be kept in secret with cryptography. Well known approach is public key cryptography and this algorithm consists of finite field arithmetic. There are many works considering high speed finite field arithmetic. One of the famous approach is Montgomery multiplication. In this study, we investigated Montgomery multiplication for public key cryptography on embedded microprocessors. This paper includes helpful information on Montgomery multiplication implementation methods and techniques for various target devices including 8-bit and 16-bit microprocessors. Further, we expect that the results reported in this paper will become part of a reference book for advanced Montgomery multiplication methods for future researchers.

• Structural Engineering and Mechanics
• /
• 제28권2호
• /
• pp.221-238
• /
• 2008

Numerical solution to buckling analysis of beams and columns are obtained by the method of differential quadrature (DQ) and harmonic differential quadrature (HDQ) for various support conditions considering the variation of flexural rigidity. The solution technique is applied to find the buckling load of fully or partially embedded columns such as piles. A simple semi- inverse method of DQ or HDQ is proposed for determining the flexural rigidities at various sections of non-prismatic column ( pile) partially and fully embedded given the buckling load, buckled shape and sub-grade reaction of the soil. The obtained results are compared with the existing solutions available from other numerical methods and analytical results. In addition, this paper also uses a recently developed technique, known as the differential transformation (DT) to determine the critical buckling load of fully or partially supported heavy prismatic piles as well as fully supported non-prismatic piles. In solving the problem, governing differential equation is converted to algebraic equations using differential transformation methods (DT) which must be solved together with applied boundary conditions. The symbolic programming package, Mathematica is ideally suitable to solve such recursive equations by considering fairly large number of terms.

• 한국지반공학회:학술대회논문집
• /
• 한국지반공학회 2008년도 추계 학술발표회
• /
• pp.559-566
• /
• 2008

This paper describes the state-of-the-art and -practice of embedded precast pile methods in Korea. The current status of embedded precast piling was reviewed in terms of its design, construction and quality assurance available for last decade in Korea. Based on the results obtained, some suggestions and authors' experience were proposed to design and construct the embedded precast pile foundations.

• 융합신호처리학회논문지
• /
• 제4권4호
• /
• pp.7-14
• /
• 2003

EZW(Embedded Zerotree Wavelet) 알고리즘이 소개된 이래 일련의 내장형 웨이브렛 코딩 방법들이 제안되어져왔다. 이들의 하나의 공통된 특징은 EZW 알고리즘의 기본 아이디어를 근간으로 한다는 점이다. 특히 SPIHT(Set Partitioning in Hierarchy Trees) 알고리즘은 이들 중의 하나로서 산술 코더를 사용하지 않더라도 EZW와 같거나 혹은 더 나은 성능을 제공할 수 있기 때문에 널리 알려져 왔다. 본 연구에서는 내장형 영상코딩을 위한 재귀적 SPIHT(RSPIHT) 알고리즘을 제안하고 그 유효성을 실험적으로 가한다. 제안한 RSPIHT 알고리즘은 매우 단순하고 정형화된 형태를 지니면서 최악의 경우 시간복잡도 O(n)을 가진다. 실험영상들에 대해 T-layer 4 이상에서 SPIHT보다 평균 약 16.4%의 개선된 속도를 얻을 수 있었다. 압축률의 관점에서도 RSPIHT 알고리즘은 실험영상의 T-layer 7 이하에서는 SPIHT와 유사한 결과를 가지나 그보다 큰 T-layer에서는 개선된 결과를 보였다.

• 한국지반환경공학회 논문집
• /
• 제20권9호
• /
• pp.13-19
• /
• 2019

Dynamic earth pressure is considered an important parameter in the design of embedded structures. In current engineering design simplified methods developed either for yielding or non-yielding structures are utilized to predict resultant dynamic pressure. The applicability of these equations to embedded structures have not yet been reported. In this study we perform a suite of equivalent linear time history analysis for a range of embedded structure configurations. Numerically calculated dynamic pressure is shown to depend on the flexibility ratio (F), aspect ratio (L/H) of the embedded structure, and ground motion. Increase in L/H and intensity increases the magnitude of dynamic pressure. An increase in F decreases the dynamic pressure. Overall, the trends highlight the need for development of new method that accounts for F and L/H to calculate the dynamic pressure for the performance-based design of embedded structures.

• Communications for Statistical Applications and Methods
• /
• 제21권6호
• /
• pp.513-520
• /
• 2014

We study numerical methods to obtain the stationary probabilities of continuous-time Markov chains whose embedded chains are periodic. The power method is applied to the balance equations of the periodic embedded Markov chains. The power method can have the convergence speed of exponential rate that is ambiguous in its application to original continuous-time Markov chains since the embedded chains are discrete-time processes. An illustrative example is presented to investigate the numerical iteration of this paper. A numerical study shows that a rapid and stable solution for stationary probabilities can be achieved regardless of periodicity and initial conditions.

• 대한임베디드공학회논문지
• /
• 제2권4호
• /
• pp.214-220
• /
• 2007

Recently, most embedded systems have the multi-functions mixed the hardware with the software. The existing sequence programming methods are not suitable to implement the embedded system with multi-functions. So, it can be overcome the limit of a facility implementation by introducing the operating system in system. Also, due to the requirement about the better convenient and comfortable meeting or lecture environment, the necessity of electronic white-board is getting higher. Specially, the education using multimedia information is much more desirable for various and improved lecture at the high school and the university. But the sequence program which have been managed in existing electronic white-board system has some difficulties to achieve the software-oriented systems which has to accomplish many functions. In this paper, we propose the method to implement a facility of electronic white-board through using the embedded linux with excellent performance. The embedded linux presents the powerful software environment for the implementation of an embedded system and makes the realization of many various functions easy because it follows kernel characteristics of linux. In this paper, we describe the details for the structure of hardware, kernel source and device driver of a developed electronic white-board.

• 대한임베디드공학회논문지
• /
• 제5권1호
• /
• pp.29-38
• /
• 2010

It is highly requested that the more complicated embedded software is used for high performance and multiple functions of the systems. This is inevitably increasing the errors. Therefore the embedded software testing is getting important recently. There are not general testing methods which are able to be applied for any embedded systems, but via this research, we introduce a testing method which is based on TTCN-3, a testing standard, for embedded systems. A testing environment for network-based embedded software is implemented with considering the features of TTCN-3 testing which is based on message exchange. The testing environment has two additional parts with TTCN-3 test system, the network analyzer to access the network-based systems and the communication interface which is suggested for embedded systems in previous work, and we have implemented the whole testing environment with interacting these two parts. In addition to the normal testing domain, called single node testing as a unit testing of V-model, we suggest another concept to test multiple nodes in network. It could be achieved by adding keywords such as supervisor and object which are describing the feature of TTCN-3 testing component and generating the TTCN-3 Executable code which contains new keywords. The testing has done for embedded software which is based on CAN network and the demonstration of the testing environment has been shown in this paper.