• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1996.11a
• /
• pp.1078-1082
• /
• 1996

기계적 구동장치와 연계된 메카트로닉스 시스템에 대한 개발 시험은 비용, 공간 및 시간 등의 측면에서 제약을 받는다. 이러한 제약은 에뮬레이터를 이용한 개발 과정을 통해서 개선의 효과를 얻을 수 있다. 본 연구에서 설계 제작된 에뮬레이터는 전자 제어식 변속기에 적용된 장치로서 기계적 메카니즘 없이 전자 제어 메카니즘을 완전하게 에뮬레이션 할 수 있는 가능성을 보여준 것이다. 이러한 에뮬레이터를 이용하여 전자 제어장치의 개발 기간을 단축시키고 문제점을 빠르게 찾아낼 수 있다. 에뮬레이터의 개발은 수학적 모델링에 의해서, 장치에 대한 검증은 실차 시험을 통해 얻을 결과와 비교하여 수행된다.

• Monthly Duck's Village
• /
• s.179
• /
• pp.24-27
• /
• 2018

• Journal of the Institute of Electronics and Information Engineers
• /
• v.50 no.3
• /
• pp.155-159
• /
• 2013

In this paper, a nonlinear matrix inequality problem and a nonlinear optimization problem are proposed for obtaining a structured static output feedback controller. The proposed nonlinear optimization problem has LMI (Linear Matrix Inequality) constraints and a nonlinear objective function. Using the conditional gradient method, the nonlinear optimization problem can be solved. A numerical example shows the effectiveness of the proposed approach.

• Electric Engineers Magazine
• /
• v.229 no.9
• /
• pp.27-36
• /
• 2001

기존의 HID 램프용 안정기는 대부분이 인덕터와 콘덴서를 사용한 수동소자 회로이며 사용 전원 60HZ에서는 그 부피가 커짐은 물론 중량이 무거워 설치에 제약조건이 많고 효율이 나쁘기 때문에 전자식 안정기를 사용하여 단점을 보완할 필요가 있다.

• Magazine of the Korea Concrete Institute
• /
• v.1 no.1
• /
• pp.87-94
• /
• 1989

철근콘크리트 뼈대구조와 같이 설계변수가 과다하고, 제약조건식이 복잡한 구조물의 최적화를 위하여는 구조물을 여러개의 부분구조물로 분할하여 최적해를 구하는 분할법이 많이 사용되고 있다. 그러나 기존의 분할법에 의한 최적화는 구조해석과정과 고정된 부재력에대한 단면설계변수의 부분최적화 과정만으로 이루어지기 때문에, 최적해를 구하려면 반복적인 재해석과정만을 수행하지 않으면 안된다. 따라서 본 연구에서는 다단계분할법에 의하여 철근콘크리트 뼈대구조의 최적화 문제를 3단계로 형성하고, 분할된 부분최적화문제의 최적화시 전체구조의 강성 및 부재력 변화가 반영되어 부분 구조물의 결합을 유지시킬 수 있는 최적화 알고리즘을 제안하였다. 최적화 문제에서 설계변수로는 단면의 크기, 철근량, 모멘트 재분배율등을 취하고,목적함수는 경비함수, 제약조건으로는 강도설계법에 의한 부재강도, 시방서의 요구사항등을 고려하여 문제를 형성하였다. 본 연구에서 개발한 다단계 최적화과정의 첫째 단계에서는 탄성해석에 의하여 재분배모멘트의 설계공간을 형성한다. 이 때 부재력변화량추정(forece approximation technique)에 의하여 단면치수의 변화에 따른 부재력의 변화를 제약조건식 내에 포함시킬 수 있도록 하였다. 둘째 단면에서는 첫째 단계에서 구한 부재력변화량추정이 포함된 제약조건식 내에서 무제약최소화기법에 의하여 단면치수를 최적화하도록 하였다. 셋째 단계에서는 재분배 모멘트를 최적화하였으며, 이 때 재분배모멘트의 변화에 따른 단면설계 변수의 변화는 둘째 단계에서 구한 설계민감도(design sensitivity)를 이용하여 반영시키도록 하였다. 제안된 알고리즘을 1층 2경간 및 2층 1경간 뼈대구조에 적용하여 알고리즘의 타당성과 효율성을 입증하였다. 따라서 본 연구의 알고리즘은 철근 콘크리트 뼈대구조의 최적설계에 안정성있게 적용할 수 있을 것으로 판단된다.

• The Korean Journal of Applied Statistics
• /
• v.26 no.6
• /
• pp.915-922
• /
• 2013

Quantile regression can estimate multiple conditional quantile functions of the response, and as a result, it provide comprehensive information of the relationship between the response and the predictors. However, when estimating several conditional quantile functions separately, two or more estimated quantile functions may cross or overlap and consequently violate the basic properties of quantiles. In this paper, we propose a new stepwise method to estimate multiple non-crossing quantile functions using constraints on the kernel coefficients. A simulation study are presented to demonstrate satisfactory performance of the proposed method.

• ETRI Journal
• /
• v.11 no.2
• /
• pp.27-40
• /
• 1989

본고에서는 기존 비동기식 디지틀 전송 방식의 제약을 극복할 수 있는 CCITT 표준 동기식 NNI 를 구현하는데 소요되는 중요 기술과 능력에 대해서 실현 전략적인 측면에서 관련 기술분석 및 고려해야할 사항을 제시하였다. 또한 동기식 NNI 적용 효과를 극대화시키기 위한 응용 방안을 망노드 장치의 기능, 망운용/관리, 전송서비스 측면에서 제시하였고, STM 기본 동기식 전송로로부터 ATM 기본 동기식 전송로로의 동기식 NNI 측면의 진화 단계를 제시하였다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.28 no.3
• /
• pp.533-543
• /
• 2018

In this paper, we propose an MILP-based method for Optimal Probability of Bit-based Differential Characteristic in SP(Substitution-permutation) ciphers based on Automatic Differential Characteristic Searching Method of Sasaki, et al. In [13], they used input/output variables and probability variables seperatably, but we simplify searching procedure by putting them(variables) together into linear inequalities. Also, In order to decrease the more linear inequalities, we choose Espresso algorithm among that used by Sasaki, et al(Quine-McCluskey algorithm & Espresso algorithm). Moreover, we apply our method to GIFT-64, GIFT-128, SKINNY-64, and we obtained results in the GIFT(Active S-boxs : 6, Probabilities : $2^{-11.415}$) compared with the existing one.(Active S-boxs : 5, Probabilities : unknown). In case of SKINNY-64, we can't find better result, but can find same result compared with the existing one.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2006.11a
• /
• pp.75-89
• /
• 2006

한국전력산업의 탈규제화의 영향으로 각 개별 발전회사들은 자사의 이익을 최대화하기 위한발전계획 수립에 큰 관심을 가지게 되었다. 발전계획은 주어진 연료제약 하에 발전수익과 유지보수비용을 고려하여 시간대별 발전기의 기동, 정지 및 발전출력을 결정하는 문제로서Profit-Based Unit Commitment (PBUC) 문제로 알려져 있다. PBUC 문제는 문제 자체의 복잡성과 비선형 제약식의 특성으로 인하여 과거 연구는 대부분 비선형 제약식 처리를 위한 Lagrangian Relaxation (LR) 기반 휴리스틱 접근법에 초점이 맞추어져 왔다. 하지만, 실제현업 적용에 있어 계산시간이 많이 소요되고 알고리즘의 구현에 많은 기간이 소요되어 실용성은 낮은 것으로 보고되었다. 특히 연료도입 및 저장제약을 고려하기 위한 1년 단위 장기 발전계획 수립은 문제의 범위가 더욱 넓어짐으로 인하여 복잡성이 매우 크게 증가하고, 이에 따라 기존 접근법에 한계가 있어 왔다. 이에 본 연구에서는 국내가스발전소의 사례를 중심으로 발전패턴개념의 도입 및 다양한 발전패턴 생성을 통한 Explicit Column Generation 기반 최적화 접근법을 제안한다. 발전패턴은 Column Generation 접근법의 각 Column에 해당하는 각주별 발전기 기동정지계획을 의미한다. 즉, 미리 유효한 발전패턴의 Pool을 최대한 확보한 후 Explicit Column Generation Formulation을 통하여 주별 최적의 발전패턴을 찾아내는 알고리즘으로 구성이 된다. 본 알고리즘은 실제 가스발전소의 장기 발전계획 수립과정에 적용되어 효과적으로 운용되고 있으며 연간 수십억원의 추가적인 이익을 실현할 것으로 분석되었다. 본 알고리즘을 확장 적용할 경우 PBUC 문제 해결을 위한 새로운 해법으로도 그 효용성이 클 것으로 예상된다.자료이기 때문에 통계적 활용의 범위가 방대하다. 특히 개인, 가구, 사업체 등 사회 활동의 주체들이 어떻게 변화하는지를 추적할 수 있는 자료를 생산함으로써 다양한 인과적 통계분석을 할 수 있다. 행정자료를 활용한 인구센서스의 이러한 특징은 국가의 교육정책, 노동정책, 복지정책 등 다양한 정책을 정확한 자료를 근거로 수립할 수 있는 기반을 제공한다(Gaasemyr, 1999). 이와 더불어 행정자료 기반의 인구센서스는 비용이 적게 드는 장점이 있다. 예를 들어 덴마크나 핀란드에서는 조사로 자료를 생산하던 때의 1/20 정도 비용으로 행정자료로 인구센서스의 모든 자료를 생산하고 있다. 특히, 최근 모든 행정자료들이 정보통신기술에 의해 데이터베이스 형태로 바뀌고, 인터넷을 근간으로 한 컴퓨터네트워크가 발달함에 따라 각 부처별로 행정을 위해 축적한 자료를 정보통신기술로 연계${cdot}$통합하면 막대한 조사비용을 들이지 않더라도 인구센서스자료를 적은 비용으로 생산할 수 있는 근간이 마련되었다. 이렇듯 행정자료 기반의 인구센서스가 많은 장점을 가졌지만, 그렇다고 모든 국가가 당장 행정자료로 인구센서스를 대체할 수 있는 것은 아니다. 행정자료로 인구센서스통계를 생산하기 위해서는 각 행정부서별로 사용하는 행정자료들을 연계${cdot}$통합할 수 있도록 국가사회전반에 걸쳐 행정 체제가 갖추어져야 하기 때문이다. 특히 모든 국민 개개인에 관한 기본정보, 개인들이 거주하며 생활하는 단위인 개별 주거단위에 관한 정보가 행정부에 등록되어 있고, 잘 정비되어 있어야 하며, 정보의 형태 또한 서로 연계가 가능하도록 표준화되어있어야 한다. 이와 더불어, 현재 인구센서스에서 표본조사를 통해 부가적으로 생산하는 경제활동통계를 생산하기 위해서는 개인이 속한 사업체를 파악할 수 있도록 모든 사업체가 등록되어

• Journal of KIISE:Software and Applications
• /
• v.31 no.10
• /
• pp.1304-1319
• /
• 2004

We can significantly reduce the cost o# program testing by automating the process of test data generation. Test data generation usually concerns identifying input values on which a selected path is executed. Although lots of research has been done so far, there still remains a lot of issues to be addressed. One of the issues is the shape problem. The shape problem refers to the problem of figuring out a shape of the input data structure required to cause the traversal of a given path. In this paper, we introduce a new method for the shape problem. The method converts the selected path into static single assignment (SSA) form without pointer dereferences. This allows us to consider each statement in the selected path as a constraint involving equality or inequality. We solve the constraints to get a solution which will be represented in terms of the points-to relations for each input variable. Simple, but illustrative examples are given to explain the proposed method.