• 디지털콘텐츠학회 논문지
• /
• 제10권3호
• /
• pp.375-380
• /
• 2009

컴퓨터 프로그래밍 교육은 학생들의 논리적인 사고력과 문제해결 능력을 키워줄 수 있으므로 알고리즘적 사고를 증진시키기 위한 도구로서 필수적이다. 우리는 두리틀과 스퀵 프로그래밍 언어가 초등학생의 논리적 사고력에 미치는 영향에 대하여 연구하였다. 이를 위해 초등학교 6학년 두 개 반을 대상으로 6주 동안 각 실험집단에 두리틀과 스퀵 프로그래밍 교육을 실시하고 초등학생의 논리적 사고력과 그 하위논리를 비교 분석하였다. 그 결과 두리틀은 논리적 사고력 신장을 보였으나 스퀵은 유의미한 차이가 없었다.

• Computers and Concrete
• /
• 제1권2호
• /
• pp.131-150
• /
• 2004

We present in this work a coupled phenomenological chemo-mechanical model that represents the degradation of concrete-like materials. The chemical behaviour is described by the nowadays well known simplified calcium leaching approach. And the mechanical damage behaviour is described by a continuum damage model which involves the gradient of the damage quantity. The coupled nonlinear problem at hand is addressed within the context of the finite element method. For the equation governing the calcium dissolution-diffusion part of the problem, special care is taken to treat the highly nonlinear calcium conductivity and solid calcium functions. The algorithmic design is based on a Newton-type iterative scheme where use is made of a recently proposed relaxed linearization procedure. And for the equation governing the damage part of the problem, an augmented Lagrangian formulation is used to take into account the damage irreversibility constraint. Finally, numerical simulations are compared with experimental results on cement paste.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 1998년도 창립기념 춘계학술대회 논문집
• /
• pp.427-435
• /
• 1998

In this paper will be presented an algorithm for designing of a railway interlocking table which is a document describing the functional specification of the interlocking device. The ability to produce an interlocking table has been handed down in the signalling engineers society. And the signalling engineer makes the most of his expertise to produce an interlocking table. But, the expertise has not yet been organized into technical system, the core of the expertise is a hard nut to crack. Therefore, we analyze into signal engineering expertise, and propose a generalization of interlocking notion. Also, an algorithm is drawn up based on a train route setting principle to solve practical and general problems by computer And the performance of the algorithm is evaluated for test program based on AutoCAD technology. The evaluation result shows that it can be utilized as the effective algorithm for computer control of the signalling system as interlocking device, that it improved in safety

• 한국정보교육학회:학술대회논문집
• /
• 한국정보교육학회 2009년도 하계학술대회
• /
• pp.73-78
• /
• 2009

본 논문은 초등정보교육과정의 "문제해결방법과 절차" 영역에 필요한 알고리즘적 사고를 향상시키고자 초등 컴퓨터과와 수학과를 통합한 교수 학습 과정을 연구하고 적용하였다. 그리고 연구한 교수 학습과정을 적용한 실험군과 적용하지 않은 통제군을 비교하여 알고리즘적 사고력의 향상도, 통합된 교수 학습과정의 효과성에 대한 분석을 통해 본 논문에서 적용한 초등 컴퓨터과-수학과를 통합한 교수 학습 방법이 문제해결과정 구성 능력에 해당하는 알고리즘적 사고력 향상에 효과가 있는지 검증 및 분석하였다.

• 전자공학회논문지B
• /
• 제31B권8호
• /
• pp.64-73
• /
• 1994

In this paper we present an algorithmic technique for determining a feedback compensator which will stabilize the interval dynamic system specifically the robust regulator design for interval plants. The approach taken here is to allow the system parameters to live within prescribed intervals then design a dynamic feedback compensator which guarantees closed-loop system stable. The main contribution of this paper is the idea of introducting a "simplified Kharitonov`s results" for low order polynomials to search for suitable compensator parameters in the compensator parammeter space to make the uncertain system robust. We also design the robust regulator which will $D_{\phi}$ -stabilize (have the closed-loop poles in the left sector only) the dynamic interval system while having good performance. the numerical examples are given to show the substantially improved robustness which results from our approach.

• 한국CDE학회논문집
• /
• 제14권1호
• /
• pp.10-17
• /
• 2009

Surface detection and parameter estimation in point cloud is a relevant subject in CAD/CAM, reverse engineering, computer vision, coordinate metrology and digital factory. In this paper we present a software for a fully automatic surface detection and parameter estimation in unordered, incomplete and error-contaminated point cloud with a large number of data points. The software consists of three algorithmic modules each for object identification, point segmentation, and model fitting, which work interactively. Our newly developed algorithms for orthogonal distance fitting(ODF) play a fundamental role in each of the three modules. The ODF algorithms estimate the model parameters by minimizing the square sum of the shortest distances between the model feature and the measurement points. We demonstrate the performance of the software on a variety of point clouds generated by laser radar, computer tomography, and stripe-projection method.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1998년도 하계학술대회 논문집 G
• /
• pp.2275-2277
• /
• 1998

This paper presents an algorithmic sensor value validation technique that can systematically explore the embedded sensor redundancies in complex physical systems and maximize their utilization in validating sensor values. The confidency criteria are developed for checking the consistency of sensor relationships called Causal Relations. Development results are applied to a tubular type supercritical pressure type thermal power plant with rated operational data to demonstrate the effectiveness of the proposed technique.

• Genomics & Informatics
• /
• 제7권1호
• /
• pp.1-12
• /
• 2009

An alternative way of constructing ancestral graphs, which is different from the coalescent-based approach, is proposed using population linkage disequilibrium (LD) data. The main difference from the existing method is the construction of the ancestral graphs based on variants instead of individual sequences. Therefore, the key of the proposed method is to use the order of allele ages in the graphs. Distinct from the previous age-estimation methods, allele ages are estimated from full haplotype information by examining the number of generations from the initial complete LD to the current decayed state for each two variants depending on the direction of LD decay between variants. Using a simple algorithmic procedure, an ancestral graph can be derived from the expected allele ages and current LD decay status. This method is different in many ways from previous methods, and, with further improvement, it might be a good replacement for the current approaches.

• Computers and Concrete
• /
• 제5권2호
• /
• pp.155-174
• /
• 2008

A new approach for nonlinear finite element analysis of corroded reinforcements in RC structures is elaborated in the article. An algorithmic procedure for producing the tension-stiffening curve of RC elements taking into consideration most of effective parameters, e.g.: the rate of steel bar corrosion, bond-slip behavior, concrete cover and amount of reinforcement, is illustrated. This has been established on both experimental and analytical bases. This algorithm is implemented into a nonlinear finite element analysis program. The abilities of the resulted program have been studied by modeling some experimental specimens showing a reasonable agreement between the analytical and experimental findings.

• 전자공학회논문지B
• /
• 제33B권9호
• /
• pp.1-12
• /
• 1996

In this paper, we propose an adaptive gait by which a quadruped walking robot can walk against external disturbances. This adaptive gait mechanism makes it possible for a quadruped walking robot to change its gait and accommodate external disturbances form various external environmental factors. Under the assumption that external disturbances can be converted to an external force acting on the body of a quadruped walking robot, we propose a new criterion for the stability margin of a waling robot by using an effective mass center based on the zero moment point under unknown external force. And for a solution of an adaptive gait against external disturbances, an method of altitude control and reflexive direction control is suggested. An algorithmic search method for an optimal stride of the quadruped mehtod, the gait stability margin of a quadruped walking robot is optimized in changing its direction at any instance for and after the reflexive direction control. To verify the efficiency of the proposed approach, some simulaton results are provided.