• 제목/요약/키워드: 선형제약

검색결과 452건 처리시간 0.025초

MILP를 이용한 ARX 기반 블록 암호의 불능 차분 특성 탐색 (Searching for Impossible Differential Characteristics of ARX-Based Block Cipher Using MILP)

  • 이호창;강형철;홍득조;성재철;홍석희
    • 정보보호학회논문지
    • /
    • 제27권3호
    • /
    • pp.427-437
    • /
    • 2017
  • 불능 차분 특성은 해당 블록 암호를 랜덤 치환과 구별을 해주며, 키 복구 공격에도 사용될 수 있다. 최근 Cui 등이 ARX 기반 블록 암호에 대해 Mixed-Integer Linear Programming(MILP)를 이용해서 자동화된 불능 차분 특성 탐색 방법을 제안하였다. Cui 등이 제안한 방법을 개선하면 기존에 방법에 비해 더 적은 선형 제약식을 이용하여 기존 방식으로 찾지 못하는 불능 차분 특성까지 추가 되어 더 많은 불능 차분 특성을 찾아 낼 수 있다. 수정한 방법을 이용하여 SPECK family와 LEA에 적용하였다. SPECK32, SPECK48, SPECK64, SPECK96에 대해 7-라운드, SPECK128에 대해 8-라운드 불능 차분 특성을 찾아내었다. 이 불능 차분 특성은 모두 새롭게 발견된 것이다. LEA에 대해서는 기존의 10-라운드인 불능 차분 특성을 포함한 새로운 10-라운드 불능 차분 특성을 찾아내었다.

VoiceXML과 GPS를 이용한 여행정보 서비스의 구현 (An Implementation of Travel Information Service Using VoiceXML and GPS)

  • 오재규;김선형
    • 한국산학기술학회논문지
    • /
    • 제8권6호
    • /
    • pp.1443-1448
    • /
    • 2007
  • 본 논문에서는 기존의 웹(인터넷)기반의 정보 제공 서비스의 범주를 벗어나, 음성 및 웹 브라우저 기반의 VoiceXML을 이용하여 웹과 음성 인터페이스를 동시에 사용할 수 있고 GPS 정보의 응용이 가능한 분산 환경 기반의 여행 정보 서비스를 제안한다. 기존의 여행 정보 콜 센터의 자동응답 서비스는 사전에 제작된 시나리오대로 운영돼 이용시간이 많이 걸릴 뿐 아니라 응답 내용을 바꿀 경우 시나리오를 다시 짠 후 녹음을 다시 해야 하는 불편함이 있었으나, 제안된 VoiceXML 기반의 여행 정보 시스템은 파일형태로 개별 대화 시나리오를 만들어 서버에 내장하는 방식으로 이루어져 시스템 개편이 쉬우며, GPS 정보를 이용한 사용자의 현 위치를 인지하고 이에 따른 다양한 여행 정보 서비스를 오지 환경과 같은 환경적 제약 변수에서도 쉽게 제공할 수 있다는 장점을 가지고 있다.

  • PDF

지하도로 계획 및 기하구조 설계에 관한 연구 (A Study on Planning and Geometric Design of Underground Roads)

  • 김낙석;배성식
    • 한국재난정보학회 논문집
    • /
    • 제7권1호
    • /
    • pp.1-11
    • /
    • 2011
  • 현재 국내의 지하 도로건설 가능성은 증가하고 있으며, 그동안 건설계획이 꾸준히 진행되어 왔다. 그러나 지금까지 지하도로의 특성, 관련 법규 및 설계 기준에 관한 연구는 활발히 진행되지 못하고 있는 실정이다. 본 연구에서는 이러한 배경을 고려하여 지하도로 건설에 필요한 기초적인 방향제시에 관한 내용을 다루고자 한다. 또한, 지하도로에 관한 국내외 사례를 중심으로 분석하고자 한다. 본 연구를 통한 주요 연구결과는 다음과 같다. 1) 지하도로의 선형 선정 시 지하공간 활용, 기술적요인 및 교통체계가 종합적으로 고려되어져야 한다. 2) 지하도로의 설계속도는 주행중 안전성을 확보하기 위하여 제한속도보다 10km/h정도 상회되도록 건설되어야 한다. 3) 비상상황에 대처하기 위하여 지하도로는 재난방지 시설 계획에 만전을 기하여야 한다. 본 연구의 제약상 지하도로 운전자의 특성에 대한 내용은 충분히 반영되고 있지 못하고 있으나 향후 지하도로 건설에 관한 개괄적인 방향제시에 관한 내용은 다루고 있다는 점에서 그 의의가 있을 것으로 판단된다.

연료전지 발전 시스템의 최적운전을 위한 지능제어 기법 (An Intelligent Control Method for Optimal Operation of a Fuel Cell Power System)

  • 황진권;최태일
    • 조명전기설비학회논문지
    • /
    • 제23권12호
    • /
    • pp.154-161
    • /
    • 2009
  • 연료전지 발전 시스템은 비선형성을 내포한 다수의 제어 루로들로 구성된 매우 복잡한 형태의 시스템이다. 연료전지 발전 시스템의 제어를 위하여 연료전지의 스텍 모델이 개발되고 있으며 연료전지 발전 시스템의 간략화된 프로세스 흐름도도 제시되고 있다. 본 연구에서는 이러한 모델을 사용하여 연료전지 발전 시스템을 지능적으로 제어할 수 있는 I-SRG(Intelligent Setpoint Reference Governor)를 개발한다. I-SRG는 시스템의 제약조건과 성능목표에 대한 최적의 운전 설정치를 산출하고 각 제어 루프의 앞먹임 제어입력을 생성한다. I-SRG는 PSO(Particle Swarm Optimization) 알고리즘을 최적화 기법에 사용하고 신경회로망으로 구현되어진다. MCFC 발전 시스템의 전력 프로파일에 대한 추종 제어의 모의실험을 수행하여 제안된 I-SRG의 유용성을 보인다.

MCC 및 CCC에서의 최적 스택 필터를 위한 병렬 알고리즘 (Parallel Algorithm for Optimal Stack Filters on MCC and CCC)

  • 전병문;정창성
    • 한국정보과학회논문지:시스템및이론
    • /
    • 제26권10호
    • /
    • pp.1185-1193
    • /
    • 1999
  • 최적 스택 필터는 시그널 또는 영상의 임의의 특성 정보를 보존하고자 하는 요구조건에 의해 강제된 구조적 제약 하에서 최대의 잡음제거 효과를 얻을 수 있다. 그리고 임계치 분할 특성과 양의 부울 함수에 기반한 이진 영역에서의 처리 특성은 이 필터가 높은 병렬성을 갖고 있음을 보여준다. 본 논문에서는 두 개의 병렬 계산 모델 MCC(Mesh-Connected Computer)와 CCC(Cube-Connected Computer)에서 최적 스택 필터를 위한 1차원 병렬 알고리즘을 개발한다. 최적 스택 필터의 실행 시간은 주로 이진 median 연산에 의해 결정되고 본 논문에서 제안된 알고리즘은 선형 분리성에 의해 이 연산을 구현한다. 이를 바탕으로, M 레벨의 1-D 시그널의 길이가 L이고 윈도우 폭이 N이라고 가정할 때, 제안된 알고리즘은 {{{{root M times root M`` MCC에서 O(L sqrt{M}`) 시간에 그리고 M 개의 PE를 갖는 CCC에서 O(L log M)시간에 수행될 수 있다. 또한 잡음을 더욱 효과적으로 제거하기 위해 윈도우 폭 N을 증가시킬 때, 제안된 병렬 알고리즘의 계산 시간은 일정하게 유지됨을 보인다.Abstract An optimal stack filter achieves the maximum noise attenuation under the structural constraints imposed by the requirement of preserving certain signal or image features. And the filter provides a high parallelism due to the principles of threshold decomposition and binary processing based on positive Boolean functions(PBFs). In this paper, we develop an one-dimensional parallel algorithm for the optimal stack filter on two parallel computation models, MCC(Mesh-Connected Computer) and CCC(Cube-Connected Computer). The running time of the optimal stack filter depends mainly on the binary median operation and our algorithm realizes this operation by the linear separability. Based on this scheme, our parallel algorithm can be performed in {{{{O(L sqrt{M}`) MCC and inO(L log M) time on CCC with M PEs, when the length of M``-valued 1-D signal is L`` and window width is N`` Also, we show that the computation time of our parallel algorithm keeps constant when the window width N increases in order to achieve the best noise attenuation.

참조점 방법을 이용한 DEA모형의 프론티어 탐구 (Searching an Efficient frontier in the DEA Model based on the Reference Point Method)

  • 오동일
    • 한국산학기술학회논문지
    • /
    • 제1권1호
    • /
    • pp.83-90
    • /
    • 2000
  • 의사결정단위의 효율성 평가 도구로 사용되는 DEA 모형은 효율적 프론티어를 구해 의사결정단위를 평가하는 모형이다. 효율적 프론티어상의 참조집합이 무엇이냐에 따라 평가 단위의 효율성과 비효율을 제거하기 위한 대안이 다르게 된다. 다목적 선형계획법에서 프론티어를 구하기 위해 사용되는 참조점 방법은 제약 조건과 목적함수 간의 상충관계를 고려하면서 자유롭게 효율적 프론티어를 찾아 주는 장점이 있다. 또한 그 구조가 DEA모형과는 유사하므로 DEA모형을 참조점 방법의 방식으로 재 표현할 수 있다. 의사결정자가 단지 방사형 투사만에 의한 효율성 분석에 만족하지 못하거나 의사결정자의 선호구조에 의해 곡면상의 다른 점을 가장 선호한다면 이 점을 기준으로 대상을 평가하는 것이 올바른 결과에 도달 할 수 있을 것이다. 따라서 본 연구에서 는 DEA모형을 참조점 방법에 따라 재해석하고 4 개의 의사결정단위로 이루어진 표본을 이용하여 다양한 유형의 DEA모형에 의한 효율성을 평가하고 참조점 방법에 의한 확장된 형태의 효율적 프론티어를 구한다. 이를 통해 참조점 방법이 DEA 모형의 적용과 해석에 있어 많은 도움을 줄 수 있다는 점을 보인다.

  • PDF

뉴미디어 아트에 나타난 비언어적 표현 -표정과 소리의 사례연구를 중심으로 (Nonverbal Expressions in New Media Art -Case Studies about Facial Expressions and Sound)

  • 유미;안경희
    • 한국콘텐츠학회논문지
    • /
    • 제19권10호
    • /
    • pp.146-156
    • /
    • 2019
  • 뉴미디어 아트는 장소와 시간적 제약에서 벗어나 테크놀로지의 혜택을 예술로 승화하고 관람자와 새로운 소통 방식을 제시한다. 본 논문은 초기의 뉴미디어 아트에서 나타난 비언어적 의사소통 방식의 경향을 분석하고자 표정과 소리에 관한 사례들을 연구했다. 결과적으로 뉴미디어 아트에 나타난 디지털 패러다임은 비선형성 사고를 갖게 하여 몰입과 지각적 분절감을 느끼게 하였음을 발견하였다. 뉴미디어 아트에서 표정은 '시각적 왜곡화, 확장화, 가상화'를 통해 얼굴 표현의 공간성과 시간성을 극복했고 디지털 환경 속에서 얼굴 구성 요소의 결합과 분리는 새로운 방식의 소통을 가능하게 하였다. 뉴미디어 아트에서 소리는 청각 감각에 머물지 않고 다른 감각과 협응하여 다감각화와 공감각화를 추구하며 공간의 확장성과 감각과 수용자의 상호작용성의 특성을 드러내며 발전하고 있었다.

선수제약 다기간 선형계획 배낭문제 (The Cardinality Constrained Multi-Period Linear Programming Knapsack Problem)

  • 원중연
    • 산업경영시스템학회지
    • /
    • 제38권4호
    • /
    • pp.64-71
    • /
    • 2015
  • In this paper, we present a multi-period 0-1 knapsack problem which has the cardinality constraints. Theoretically, the presented problem can be regarded as an extension of the multi-period 0-1 knapsack problem. In the multi-period 0-1 knapsack problem, there are n jobs to be performed during m periods. Each job has the execution time and its completion gives profit. All the n jobs are partitioned into m periods, and the jobs belong to i-th period may be performed not later than in the i-th period, i = 1, ${\cdots}$, m. The total production time for periods from 1 to i is given by $b_i$ for each i = 1, ${\cdots}$, m, and the objective is to maximize the total profit. In the extended problem, we can select a specified number of jobs from each of periods associated with the corresponding cardinality constraints. As the extended problem is NP-hard, the branch and bound method is preferable to solve it, and therefore it is important to have efficient procedures for solving its linear programming relaxed problem. So we intensively explore the LP relaxed problem and suggest a polynomial time algorithm. We first decompose the LP relaxed problem into m subproblems associated with each cardinality constraints. Then we identify some new properties based on the parametric analysis. Finally by exploiting the special structure of the LP relaxed problem, we develop an efficient algorithm for the LP relaxed problem. The developed algorithm has a worst case computational complexity of order max[$O(n^2logn)$, $O(mn^2)$] where m is the number of periods and n is the total number of jobs. We illustrate a numerical example.

Creager 기법을 이용한 지속시간별 가능최대홍수량 산정 (Estimation of Probable Maximum Flood by Duration using Creager Method)

  • 강부식;류승엽
    • 한국방재학회 논문집
    • /
    • 제11권1호
    • /
    • pp.77-84
    • /
    • 2011
  • 각종 수공구조물 설계를 위한 첨두홍수량을 추정시 합리식(rational formula) 및 가지야마(Kajiyama)공식 등을 사용하고 있으나, 이러한 방법들을 이용하여 가능최대홍수량(PMF)을 산정하기 위해서는 가능최대강수량(PMP)의 추정이 선행되어야 하므로 미계측지역에서는 적용에 상당한 제약이 따른다. Creager 등이 1945년에 제시한 Creager방법은 비홍수량산정기법의 일종으로 유역면적과 PMF사이의 비선형성을 직접 수식화하여 제공하므로 PMP값이 주어지지 않은 상황에서 PMF산정이 가능하며, 주로 중규모이상 다목적댐의 PMF 산정시 사용되어 왔는데, 국내에는 아직 적용된 사례가 많지 않다. 본 연구에서는 PMP도를 이용한 강우-유출 모델로 산정된 상수전용댐과 다목적댐의 PMF를 이용하여 유역규모와 강우지속시간에 따라 보편적으로 적용할 수 있는 Creager 공식의 매개변수와 Creager 계수값의 결정범위 및 기준 등을 산정하여 국내 유역에 적용가능한 방법을 제시하였다.

동적계획법을 이용한 철근가공용 소프트웨어의 구현 (An Implementation of Cutting-Ironbar Manufacturing Software using Dynamic Programming)

  • 김성훈
    • 한국컴퓨터정보학회논문지
    • /
    • 제14권4호
    • /
    • pp.1-8
    • /
    • 2009
  • 이 논문에서는 철근 절단 작업의 계획 문제를 동적 계획법으로 해결하여 근사 최적의 절단 계획을 생성하도록 하는 소프트웨어의 구현을 다룬다. 일반적으로 실제 절단 작업에 요구되는 제약사항을 반영하여 최적의 자재 절단문제의 해를 얻는 알고리듬의 설계가 필요하다. 하지만, 이것은 다중 규격의 1차원 자재 절단 문제를 풀어야 하는 것으로, 최적의 해를 얻는 선형계획법은 폭발적인 계산량과 기억용량의 한계로 적용하기 어렵다. 이러한 한계를 해결하기 위하여, 동적계획법에 근거하며 자재 절단 문제를 재구성하고, 휴리스틱을 적용하여 유한 범위의 조합 열에서도 근사 최적의 해를 찾을 수 있는 탐색 기법을 사용한 자재 절단 계획 알고리듬을 제시하였다. 그리고, 자동화된 철근 가공 산업용 소프트웨어는 작업 환경에 맞게 사용이 편리한 그래픽 화면과 사용자 인터페이스가 요구되는데, 공개 소프트웨어를 활용한 GUI 라이브러리 툴킷인 GTK+를 활용하여 이를 구현하였다. 개발된 소프트웨어는 철근 가공의 현장 지식을 바탕으로 휴리스틱 지식을 획득하여 동적계획법에 적용시킨 것으로, 지역 전통 산업과 첨단 IT 산업이 접목된 융합 IT를 시도한 사례 연구이다.