• ETRI Journal
• /
• 제37권2호
• /
• pp.251-261
• /
• 2015

We present a novel method for real-time automatic license plate detection in high-resolution videos. Although there have been extensive studies of license plate detection since the 1970s, the suggested approaches resulting from such studies have difficulties in processing high-resolution imagery in real-time. Herein, we propose a novel cascade structure, the fastest classifier available, by rejecting false positives most efficiently. Furthermore, we train the classifier using the core patterns of various types of license plates, improving both the computation load and the accuracy of license plate detection. To show its superiority, our approach is compared with other state-of-the-art approaches. In addition, we collected 20,000 images including license plates from real traffic scenes for comprehensive experiments. The results show that our proposed approach significantly reduces the computational load in comparison to the other state-of-the-art approaches, with comparable performance accuracy.

• BMB Reports
• /
• 제45권4호
• /
• pp.213-220
• /
• 2012

Viruses have evolved to manipulate the host cell machinery for virus propagation, in part by interfering with the host cellular signaling network. Molecular studies of individual pathways have uncovered many viral host-protein targets; however, it is difficult to predict how viral perturbations will affect the signaling network as a whole. Systems biology approaches rely on multivariate, context-dependent measurements and computational analysis to elucidate how viral infection alters host cell signaling at a network level. Here we describe recent advances in systems analyses of signaling networks in both viral and non-viral biological contexts. These approaches have the potential to uncover virus- mediated changes to host signaling networks, suggest new therapeutic strategies, and assess how cell-to-cell variability affects host responses to infection. We argue that systems approaches will both improve understanding of how individual virus-host protein interactions fit into the progression of viral pathogenesis and help to identify novel therapeutic targets.

• Industrial Engineering and Management Systems
• /
• 제15권4호
• /
• pp.354-363
• /
• 2016

Due to uncertain environment, various parameters such as price, queuing length, warranty, and so on influence on inventory models. In this paper, an inventory-queuing-pricing problem with continuous review inventory control policy and batch arrival queuing approach, is presented. To best of our knowledge, (I) demand function is stochastic and price dependent; (II) due to the uncertainty in real-world situations, a fuzzy programming approach is applied. Therefore, the presented model with goal of maximizing total profit of system analyzes the price and order quantity decision variables. Since the proposed model belongs to NP-hard problems, Pareto-based approaches based on non-dominated ranking and sorting genetic algorithm are proposed and justified to solve the model. Several numerical illustrations are generated to demonstrate the model validity and algorithms performance. The results showed the applicability and robustness of the proposed soft-computing-based approaches to analyze the problem.

• 정보교육학회논문지
• /
• 제18권4호
• /
• pp.541-548
• /
• 2014

본 연구의 목적은 초등 교육현장에서 활용되는 로봇수업에서 학생들이 배양할 수 있는 역량으로 컴퓨팅 사고(Computational Thinking) 능력에 초점을 맞추고 이를 평가할 수 있는 평가 방안을 제안하는 것이다. 또한 지금까지 로봇수업의 평가로 개인 역량에만 치중하였던 것을 사회문화적 관점에서 조명하여 대인관계적 역량 및 협력의 경험을 평가할 수 있는 방안을 제안하였다. 이를 위해 초등학교 5학년 로봇수업에서 한 학기 동안 운영할 수 있는 프로그램을 고안하고 컴퓨팅 사고 능력 평가 설문 및 학습과정 모니터링 루브릭을 개발하여 평가를 실시하였다. 본 연구의 결과는 최근 이론적으로 주목받고 있고 컴퓨팅 사고 개념을 로봇교육과 연계한 평가 방안을 고안하고 사회문화적 관점인 대인간의 관계를 평가에 포함시킴으로써 그 범위를 확장하였다는 점에서 의의가 있다.

• 한국학교수학회논문집
• /
• 제25권4호
• /
• pp.423-446
• /
• 2022

본 연구는 덧셈 뺄셈 연산에서 보이는 수학적 전략을 한국과 미국의 예비 초등교사가 어떻게 분석하는지 비교 분석한다. 한국의 예비교사 26명과 미국의 예비교사 20명이 본 연구에 참여하였으며, 제시된 덧셈 뺄셈 연산에서 어떠한 수학적 오류가 있는지 서술하게 하였다. 수합된 46명의 예비교사의 기록은 연구의 주요 데이터로 근거 이론에 기반을 두어 오픈 코딩과 귀납 코딩하고, 통계 처리하여 혼합 연구를 진행하였다. 그 결과, 덧셈 연산에 대한 오류와 전략 분석에서 양국의 예비교사의 응답 양상은 유사하였으나, 뺄셈 연산에서는 차이가 있음을 확인하였다. 또한, 학생의 풀이 전략이 다단계로 구성이 되어 있거나 전형적이지 않을 때, 양국의 예비교사가 이를 분석하는데 어려워함을 확인하였다. 국제 비교 연구 결과를 바탕으로 양국의 예비교사 교육에 공통적인 시사점을 제공하고, 각국의 예비교사 교육에 새로운 방향을 논하였다.

• Journal of applied mathematics & informatics
• /
• 제3권2호
• /
• pp.129-148
• /
• 1996

This paper propose the inference mechanism for handling linear polynomial constraints called consistency checking algorithm based on the feasibility checking algorithm borrowed from linear pro-gramming. in contrast with other approaches proposed algorithm can efficiently and coherented by linear polynomial forms. The developed algorithm is successfully applied to the symbolic simulation that offers a convenient means to conduct multiple simultaneous exploration of model behaviors.

• Structural Engineering and Mechanics
• /
• 제11권2호
• /
• pp.199-210
• /
• 2001

Axially compressed circular cylinders repeat symmetry-breaking bifurcation in the postbuckling region. There exist stable equilibria with all symmetry broken in the buckled configuration, and the minimum postbuckling strength is attained at the deep bottom of closely spaced equilibrium branches. The load level corresponding to such postbuckling stable solutions is usually much lower than the initial buckling load and may serve as a strength limit in shell stability design. The primary concern in the present paper is to compute these possible postbuckling stable solutions at the deep bottom of the postbuckling region. Two computational approaches are used for this purpose. One is the application of individual procedures in computational bifurcation theory. Path-tracing, pinpointing bifurcation points and (local) branch-switching are all applied to follow carefully the postbuckling branches with the decreasing load in order to attain the target at the bottom of the postbuckling region. The buckled shell configuration loses its symmetry stepwise after each (local) branch-switching procedure. The other is to introduce the idea of path jumping (namely, generalized global branch-switching) with static imperfection. The static response of the cylinder under two-parameter loading is computed to enable a direct access to postbuckling equilibria from the prebuckling state. In the numerical example of an elastic perfect circular cylinder, stable postbuckling solutions are computed in these two approaches. It is demonstrated that a direct path jump from the undeformed state to postbuckling stable equilibria is possible for an appropriate choice of static perturbations.

• 전산구조공학
• /
• 제5권4호
• /
• pp.103-111
• /
• 1992

본 논문에서는 직사각형 형태의 사용후 핵연료 저장구조물에 대한 내진해석을 다루었다. Eulerian과 Lagrangian의 두가지 해석방법을 사용하여, 그 결과를 비교하였다. Eulerian접근방법에서는 유체 운동에 대한 Laplace방정식의 경계치 문제를 푼 반면, Lagrangian 접근방법에서는 저장구조물은 고체 유한요소로 모형화 하였고, 내부유체는 유체 유한요소로 모형화 하였다. 유체영역을 모형화 하는데 사용된 유체요소의 강성을 적절히 산정하기 위하여 (1*1)의 감차적분을 적용하였다. 응답스펙트럼해석법으로 유체-구조물 상관관계의 내진해석을 수행한 결과, 두 접근방법으로 구한 벽면에 작용하는 유동압이 잘 일치함을 알 수 있었다. 또한 벽면 유연성의 영향을 포함할 경우, 지진 발생시 벽면에 작용하는 유동압이 크게 증가할 수 있음을 알았다.

• Journal of Communications and Networks
• /
• 제18권5호
• /
• pp.846-856
• /
• 2016

Wireless sensor networks (WSNs) are widely applied in monitoring and control of environment parameters. It is sometimes necessary to disseminate data through wireless links after they are deployed in order to adjust configuration parameters of sensors or distribute management commands and queries to sensors. Several approaches have been proposed recently for data dissemination in WSNs. However, none of these approaches achieves both high efficiency and low complexity simultaneously. To address this problem, cluster-tree based network architecture, which divides a WSN into hierarchies and clusters is proposed. Upon this architecture, data is delivered from base station to all sensors in clusters hierarchy by hierarchy. In each cluster, father broadcasts data to all his children with instantly decodable network coding (IDNC), and a novel scheme targeting to maximize total transmission gain (MTTG) is proposed. This scheme employs a new packet scheduling algorithm to select IDNC packets, which uses weight status feedback matrix (WSFM) directly. Analysis and simulation results indicate that the transmission efficiency approximate to the best existing approach maximum weight clique, but with much lower computational overhead. Hence, the energy efficiency achieves both in data transmission and processing.

• 한국전산유체공학회:학술대회논문집
• /
• 한국전산유체공학회 2008년도 학술대회
• /
• pp.104-110
• /
• 2008

Detached Eddy Simulation (DES) is applied to an axisymmetric base flow at supersonic mainstream. DES is a hybrid approach to modeling turbulence that combines the best features of the Reynolds-averaged Navier-Stokes RANS) and large-eddy simulation (LES) approaches. In the Reynolds-averaged mode, the model is currently based on either the Spalart-Allmaras (S-A) turbulence model. In the large eddy simulation mode, it is based on the Smagorinski subgrid scale model. Accurate predictions of the base flowfield and base pressure are successfully achieved by using the DES methodology with less computational cost than that of pure LES and monotone integrated large-eddy simulation (MILES) approaches. The DES accurately resolves the physics of unsteady turbulent motions, such as shear layer rollup, large-eddy motions in the downstream region, small-eddy motions inside the recirculating region. Comparison of the results shows that it is necessary to resolve approaching boundary layers and free shear-layer velocity profiles from the base edge correctly for the accurate prediction of base flows. The consideration of an empirical constant CDES for a compressible flow analysis may suggest that the optimal value of empirical constant CDES may be larger in the flows with strong compressibility than in incompressible flows.