• 대한전기학회논문지:전기기기및에너지변환시스템부문B
• /
• 제49권11호
• /
• pp.749-756
• /
• 2000

Detent force develops generally undesirable effect that contributes to the output ripple of machine, vibration and noise. This paper proposes detent force minimization techniques for a Permanent Magnet Linear Synchronous Motor (PMLSM). In addition, thrust according to each minimization technique is estimated to observe the change of machine performance. A two-dimensional Finite Element Method is used to predict detent force and thrust due to structural factors and non-linearity. And moving node technique for geometric models is proposed to reduce modeling time and efforts.

• 한국정밀공학회지
• /
• 제22권5호
• /
• pp.55-62
• /
• 2005

This paper presents mainly a procedure to get the mathematical form of the manufactured aspherical lens. Generally Schulz formula describes the aspherical lens profile. Therefore, the base curvature, conic constant. and high-order polynomial coefficient should be set to get the approximated design equation. To find the best-approximated aspherical form, lens profile is measured by a commercial stylus profiler, which has a sub-micrometer measurement resolution. The optimization tool is based on the minimization of the root mean square of error sum to get the estimated aspherical surface equation from the scanned aspherical profile. Error minimization step uses the Nelder-Mead simplex (direct search) method. The result of the lens refractive power measurement shows the experimental consistency with the curvature distribution of the best-approximated aspherical surface equation

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 1994년도 가을 학술발표회 논문집
• /
• pp.152-159
• /
• 1994

One of the main objectives of the study is to propose a pratical and realistic reliability analysis by ETCM(Expected Total Cost Minimization). This study is intended to propose the safety assesment and capacity rating of existing reinforced concrete members by evaluating the safety evaluation index, that is RF(Rating Factor) from the results of the field test and inspection for 5 reinforced concrete bridges. ETCM method is used for the reliability analysis of the proposed models. The proposed reliability model and method are applied the safety assesment and system factors of reinforced concrete members.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2009년도 정기총회 및 추계학술대회 논문집
• /
• pp.252-255
• /
• 2009

This paper proposes a new loss minimization controller (LMC) for induction motor drive. The proposed LMC presents a strategy to minimize the total power losses of induction motor (IM), which is based on simplified equivalent circuit and simplified model of IM. The proposed controller using the field oriented control (FOC) method is to determine an optimal rotor flux for obtaining the minimum total power losses and higher efficiency. Simulation and experimental results are given to validate the effectiveness of the proposed method.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2006년도 하계종합학술대회
• /
• pp.955-956
• /
• 2006

In indoor location awareness system, Generally the system uses the difference of ultrasonic waves and RF arrival times. In this paper, We researched the interference minimization method between node in indoor location awareness system.

• 한국군사과학기술학회지
• /
• 제14권5호
• /
• pp.957-964
• /
• 2011

New time schemes based on the FEM were developed and their performances were tested with 2D wave equation. The least-squares and weighted residual methods are used to construct new time schemes based on traditional residual minimization method. To overcome some drawbacks that time schemes based on the least-squares and weighted residual methods have, ad-hoc method is considered to minimize residuals multiplied by others residuals as a new approach. And variational method is used to get necessary conditions of ad-hoc minimization. A-stability was chosen to check the stability of newly developed time schemes. Specific values of new time schemes are presented along with their numerical solutions which were compared with analytic solution.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권1_2호
• /
• pp.103-116
• /
• 2003

정형기법을 사용하여 실시간 시스템을 명세할 때. 상태 기반 정형 기법이 가지는 큰 문제 중의 하나는 시간 값. 자료 값, 위치 값을 통한 상대 표현으로 발생하는 상태 폭발이다. 본 논문에서는 상태 폭발 문제를 접근하기 위해, 시스템의 명세에 적용하는 추상화와, 명세된 시스템의 실행에 적용하는 추상화 기법을 정의하였다. 명세 구문에 정의한 추상화를 추문 추상화라 정의하고 명세 구문이 가진 패턴(연산 정보, 구조)을 정의하여 추상화한다. 실행에 적용되는 추상화는 의미 추상화라 정의하고 실행 시 생성되는 시간, 자료, 위치 상태 값이 파진 실행 의미의 패턴을 추상화한다. 추상화를 통하여 명세 모델과 실행 모델에 계층을 생성하여 상위 계층에서는 복잡도가 낮은 단계에서 시스템의 개략적인 정보를 분석할 수 있다. 하위 계층에서는 정확도가 높은 분석을 수행할 수 있는 반면에 많은 상태를 살펴야되기 때문에 높은 복잡도를 가진다. 본 논문에서는 추상화의 정의와 더불어, 적용 사례를 통하여 상태 감소와 계층성 생성, 복잡도 감소를 보인다.

• 한국자동차공학회논문집
• /
• 제17권4호
• /
• pp.108-117
• /
• 2009

Leissa claimed in his article that the Rayleigh method is not the same as the Ritz method for determining natural frequencies and its corresponding mode shapes and contended that Rayleigh's name should not be attached to the method. The present article examines the methods in viewpoint of admissible functions and its minimization process, and of the historical developments. It concludes that Leissa's assertion is relevant, although Rayleigh did apply a conceptual theory systematized from the Lagrange method, and given 38 years earlier than Ritz's 'masterly exposition of theory'.

• 한국의학물리학회지:의학물리
• /
• 제23권4호
• /
• pp.252-260
• /
• 2012

최근 Computed tomography (CT) 조사선량의 인체에 대한 부정적 영향이 부각됨에 따라 선량을 줄이는 연구가 활발히 진행되고 있고, 이로 인하여 소 동물에 관한 연구는 점점 임상전의 연구로서 필수적으로 여겨지고 있다. 최근에는 피폭 선량을 줄일 수 있는 방법으로서 이론적으로 투영 데이터가 충분하지 않을 때 정확하게 영상을 재구성 하는 것이 가능한 Total Variation (TV) minimization 알고리즘이 각광받고 있다. 이에 본 연구에서는 micro-CT (DRGem, Harmony80H series, Korea) 시스템에서 획득한 적은 수의 투영 데이터를 가지고 TV minimization에 기초한 반복적 영상 재구성 알고리즘과 기존의 Feldkamp-Davis-Kress (FDK) 알고리즘을 사용하여 영상을 재구성하고 두 알고리즘의 영상 화질을 비교 및 평가하였다. TV minimization 알고리즘의 효과를 평가하기 위해서, 먼저 서로 다른 농도의 조영제, 물, 공기가 들어있는 원통형 팬톰을 제작하였고, micro-CT를 사용하여 영상을 획득하였다. Tube와 검출기 일회전 당 최대 400개의 투영 데이터를 획득할 수 있으며, TV minimization 알고리즘의 영상 복원의 정도를 평가하기 위해서 20, 50, 90, 180장의 적은 투영 데이터를 추출하였다. 영상 비교평가를 위한 참고 영상(FDK-reference 영상)은 마찬가지로 400개의 투영데이터를 이용하여 FDK 알고리즘으로 재구성하였고, 20, 50, 90, 180장의 투영데이터를 가지고 TV minimization 알고리즘, FDK 알고리즘을 이용하여 재구성한 영상과 FDK-reference 영상의 프로파일, Contrast-to-noise ratio (CNR), Universal quality index(UQI)를 각각 비교평가 하였다. 또한, 소 동물에 관한 연구를 위하여 mouse 영상에 관하여 프로파일과 UQI를 분석하여 비교평가 하였다. 결과적으로 90개의 투영데이터를 사용하여 재구성한 원통형 팬톰 영상을 분석하였을 때, TV minimization 영상(TV-90) 및 FDK 영상(FDK-90)의 CNR과 UQI를 비교하였을 때 FDK-90보다 TV-90에서 CNR이 0.21, UQI가 0.18 증가하였다. 원통형 팬톰 영상과 같은 조건에서 mouse 영상을 사용하였을 때, UQI는 FDK-90보다 TV-90에서 0.08 증가하였다. 결론적으로 본 연구결과는 기존의 micro-CT의 투영 데이터의 사분의 일이 되는 투영데이터를 사용하여 영상을 재구성하여 비교평가 한 결과 투영영상 데이터의 수가 제한되는 경우에 FDK 알고리즘보다 TV minimization 알고리즘이 X-ray 조사시간을 줄임으로서 피폭선량을 줄이는데 효과적으로 기여할 것으로 기대된다. 특히, 조사시간의 단축은 물체의 움직임으로 인한 영상 화질의 저하를 감소시키는데 기여할 것으로 사려된다.

• 한국정보통신학회논문지
• /
• 제17권10호
• /
• pp.2330-2336
• /
• 2013

사람이 만든 시스템들은 서로 상호 작용하는 여러 개의 요소 시스템들로 이루어지기 때문에, 시스템 오류로 인한 비정상적인 현상이 발생하였을 경우 그 논리적 오류를 분석하는 것이 매우 어렵다. 또한 높은 품질과 안정적인 시스템 개발을 위해서는 논리적 해석 방법이 반드시 적용되어질 필요가 있다. 본 논문에서는 시스템의 합성과 축소화 두 연산을 정의하고 이것을 기반으로 시스템을 해석하는 방법을 제안한다. 제안한 방법에서는 시스템의 합성과 축소화 과정을 반복적으로 수행하되 내부 이벤트들을 간소화 시킴으로써 주요 입출력 이벤트들의 응답이 같음을 확인하는 방법이다. 제안한 방법의 효용성을 보이기 위해 기존의 간단한 통신 프로토콜에 대하여 적용하여 보았으며, 전송매체에 전달된 메시지는 수신측에 반드시 전달된다는 것을 확인할 수 있었다.