• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10c
• /
• pp.505-507
• /
• 2004

최근 웹 서비스 사용자와 웹상에 대용량 콘텐츠의 급증으로 웹 서버의 부하가 가중되고 서비스의 질이 떨어지는 문제가 발생하였다. 이러한 문제의 해결로 콘텐츠를 다수의 지역 서버에 복제하고 복제 서버로 하여금 클라이언트의 요청을 처리하도록 하여 웹 서버의 부하를 줄이고 트래픽을 분산하는 콘텐츠 분산 네트워크 기술이 사용되고 있다. 이러한 다수의 복제 서버 사용하는 환경에서는 복제 서버의 효용을 극대화 할 수 있는 배치 전략이 필요하다. 본 논문에서는 복제 서버의 효율을 위하여 선형 구조상에서 지연과 트래픽이 기반 한 각 노드의 비용이 임계값을 초과하지 않도록 복제 서버를 배치할 수 있는 방안을 제시하여 O(N(N-1))의 시간복잡도로 문제를 해결하였다.

• The KIPS Transactions:PartD
• /
• v.17D no.5
• /
• pp.337-346
• /
• 2010

Timing diagram is popularly utilized for the reason of its advantages; it is convenient for timing diagram to describe behavior of system and it is simple for described behaviors to recognize it. Various techniques are needed to test systems described in timing diagram. One of them is a technique to derive the system into a certain condition under which a test case is effective. This paper proposes a technique to automatically generate the test input sequence to reach the condition for systems described in timing diagram. It requires a proper input set which satisfy transition condition restricted by input waveform and timing constraints to generate a test input sequence automatically. To solve the problem, this paper chooses an approach utilizing the linear programming, and solving procedure is as follows: 1) Get a Timing diagram model as an input, and transforms the timing diagram model into a linear programming problem. 2) Solve the linear programming problem using a linear programming tool. 3) Generate test input sequences of a timing diagram model from the solution of linear programming problem. This paper addresses the formal method to drive the linear programming model from a given timing diagram, shows the feasibility of our approach by prove it, and demonstrates the usability of our paper by showing that our implemented tool solves an example of a timing diagram model.

• School Mathematics
• /
• v.12 no.3
• /
• pp.323-335
• /
• 2010

Linear algebra is not only applied comprehensively in the branches of mathematics such as algebra, analytics, and geometry but also utilized for finding solutions in various fields such as aeronautical engineering, electronics, biology, geology, mechanics and etc. Therefore, linear algebra should be easy and comfortable for not only mathematics majors but also for general students as well. However, most find it difficult to learn linear algebra. Why is it so? It is because many studying linear algebra fail to achieve a correct understanding or attain erroneous concepts through misleading knowledge they already have. Such cases cause learning disability and mistakes. This research suggests more effective method of teaching by analyzing difficulty and errors made in learning system of linear equations.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2009.04a
• /
• pp.89-92
• /
• 2009

본 논문에서는 비선형구조물의 위상최적화를 위하여 개발된 요소 연결 매개법 (Element Connectivity Parameterization Method)을 이용하여 기하비선형 구조물의 고유진동수(Eigenfrequency)를 최적화하는 연구를 소개한다. 기존의 밀도를 기반으로 한 위상최적화기법은 비선형 구조물의 위상최적화를 수행할 때 약한 탄성계수를 가지는 요소가 대변형을 일으켜 전체 강성행렬(Tangent Stiffness Matrix)이 양정정성(Positive definiteness)를 잃어버리는 문제점이 있어서 위상최적화를 수행하기 어렵다. 이 문제점을 해결하기 위하여 최근에 요소 연결 매개법(Element Connectivity Parameterization Method)이 개발되었다. 이 요소 연결 매개법은 요소의 강성을 설계하는 것이 아니라 요소의 연결성을 설계하는 기법으로 이를 이용하여 비선형 구조물의 위상최적화를 효과적으로 수행할 수 있다. 이 연구에서는 요소 연결 매개법을 동적인 문제에 적용하기 위한 연구를 수행하며 이를 이용하여 비선형 구조물의 고유진동수를 최적화 하는 위상최적화 문제에 적용하였다. 비선형 수치 예제를 통하여 기하 비선형 구조물의 고유진동수를 최대화를 통하여 기하 비선형 구조물의 강성최대화 문제와 같은 결과를 얻을 수 있었다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2000.11a
• /
• pp.213-219
• /
• 2000

본 논문에서는 쌍선형 시스템에 대한 퍼지 제어 기법을 제안하였다. 쌍선형 시스템은 비선형 시스템의 특별한 형태로서, 상태 변수와 입력변수가 곱해진 항 때문에 시스템을 제어하기가 용이하지 않다. 이러한 비선형 때문에 기존의 제어기법을 적용하여도 원하는 성능을 얻기가 쉽지 않다. 또한 쌍선형 시스템을 선형 시스템에 근사화 시켜서 최적해를 구하기 위한 반복적 방법을 이용한 최적제어기법 역시 제안되었으나 이 결과 또한 제한된 시스템에 대하여만 적용이 가능하고 많은 연산이 큰 부담으로 작용한다. 따라서 쌍선형 시스템에 대한 제어기 설계는 활발한 연구결과에도 불구하고 용이하지 않다. 따라서 본 논문에서는 비선형에 대한 적당한 보상을 퍼지제어 기법을 통하여 제공 하므로서 쌍선형 시스템의 제어 문제를 해결하였다. 또한 설계된 제어기를 모의 실험을 통하여 원하는 성능을 얻을 수 있음을 보였고 기존의 반복적 방법을 통한 최적제어 기법과 비교하였다.

• Journal of Internet Computing and Services
• /
• v.6 no.6
• /
• pp.23-34
• /
• 2005

In a large scale parallel computation, failures of some nodes or communication links end up with waste of computing resources, Several fault-tolerant MPI libraries have been proposed so far, but the programs written by using such libraries have a portability problem since fault-tolerant features are not supported by the MPI standard yet, In this paper, we propose an application-level fault-tolerant linear system solver that uses the asynchronous iteration algorithm and the standard MPI functions only, which does not have a portability problem and is more efficient by adopting a simplified recovery mechanism.

• Bulletin of the Korean Space Science Society
• /
• 2011.04a
• /
• pp.24.3-24.3
• /
• 2011

우주발사체를 이용하여 인공위성을 궤도에 올리는 문제에서 가장 중요시해야 할 부분은 임무의 성공, 즉 정밀한 궤도 진입이다. 이것이 만족되어졌을 때, 비용의 최소화 또한 설계 시 중요한 고려사항이 된다. 이 두 가지 문제를 동시에 해결하기 위해선 최적 제어 전략이 필요한데, 통상적으로 이 과정은 발사 전에 최적화 기법 등을 이용하여 계산되고 검증된다. 그러나 기존의 최적화 기법은 대부분 선형 시스템에 적합한 기법들 이고, 우주발사체와 같이 매우 복잡하고 강한 비선형을 가진 운동방정식을 최적화 하려면 많은 계산이 소요된다. 계산 소모 시간을 줄이기 위해서는 선형화 등의 기법이 사용되는데, 그러한 경우 최적 해에 대한 신뢰도가 낮아질 수밖에 없다. 이 논문에서는 그러한 문제를 해결하기 위해 최근 활발히 연구되고 있는 비선형 최적화 기법인 상태 의존 Riccati 방정식 기법 (SDRE)을 이용하여 인공위성을 주어진 궤도에 진입시키는 우주발사체의 최적궤도를 계산하였다. 또한 Hamiltonian 을 이용하여 산출된 궤도의 최적성을 보이고, 목표한 궤도와의 비교를 통해 제어기의 정밀성을 확인하였다.

• Journal of Korean Society for Quality Management
• /
• v.9 no.2
• /
• pp.31-36
• /
• 1981

This paper deals with the reliability optimization of parallel - in - series system subject to several linear constraints. The model of nonlinear constrained optimization is transformed to a saddle point problem by using Lagrange multipliers. Then Newton - Raphson method is used to solve the resulting problem and these step - by - step solution procedures are programmed in Basic Level II of micro - computer TRS-80. An example which has two linear constraints is solved and the results are analyzed.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2011.11a
• /
• pp.191-192
• /
• 2011

MEMS 기반 관성 센서를 이용한 항법장치를 개발하는 경우, 칼만 필터(Kalman Filter, KF) 구축 여부에 따라 그 성능이 결정된다. 특히 해상에서 이러한 MEMS 기반 관성항법 장치를 사용하는 경우에는, 육상과 달리 다양한 제약조건이 따르게 된다. KF는 선형과 비선형으로 구분되고, 비선형은 다시 확장 KF와 Unscented KF, Particle KF 등 다양한 것이 연구 개발되어 있는데, 해상에 적용하기 위해서는 이러한 다양한 필터들의 특징과 추가 요청사항 등을 사전 조사할 필요가 있다. 본 연구에서는 기존 개발된 KF를 조사하여 해상용 MEMS 기반 관성 항법장치를 개발하는 경우 필요한 필터 구성 방법을 조사하여 문제점을 살펴보고, 이 문제 해결을 위한 방안을 검토하였다.

• Journal of Korea Ship Safrty Technology Authority
• /
• v.18
• /
• pp.26-38
• /
• 2005

본 논문에서는 KRISO에서 개발한 선형설계 전용 프로그램인 HCAD와 조파저항 계산 프로그램인 WAVIS를 사용하여 소형 어선을 개발한 예를 보이고 있다. 소형 고속 어선으로 사용되고 있는 차인형 선형을 기준선으로 하여 둥근바닥 선형(Round Bilge Hull Form)을 설계한 과정과, 두 가지 선형에 대한 저항 특성을 이용하여 선체 주위의 유동장과 조파저항을 계산 하였다. 차인형 선형의 저항 특성이 둥근 바닥 선형에 비해 다소 크게 나타났으나 소형 조선소의 건조비를 감안하여 차인형 선형에 대한 저항 감소를 시도하였다. 차인형 선형은 최근 어선의 고속화에 따라 고속 운항시 과도한 선수파가 발생하기 쉽고, 심한 트림이 발생할 가능성이 있으므로, 이러한 문제를 해결하기 위해 선미웨지를 설계하였으며, WAVIS를 이용한 수치계산에 의해 저항 성능이 개선되었음을 확인하였다.