• 제목/요약/키워드: binary optimization

검색결과 238건 처리시간 0.026초

경막형 용융결정화에 의한 파라디옥사논과 디에틸렌글리콜 혼합물로부터 파라디옥사논의 정제 (Purification of p-Dioxanone from p-Dioxanone and Diethylene Glycol Mixture by a Layer Melt Crystallization)

  • 김성일;김철웅;박소진
    • Korean Chemical Engineering Research
    • /
    • 제43권5호
    • /
    • pp.595-602
    • /
    • 2005
  • 파라디옥사논에 포함된 주요한 불순물인 디에틸렌글리콜을 제거하기 위해, 파라디옥사논과 디에틸렌글리콜과의 이성분계 고액 상평형 및 혼합물의 밀도를 측정하였으며, 종(seed)을 이용한 경막 용융결정화 실험을 하였다. 얻어진 2성분계 고액 상평형 결과는 단순 공융계를 형성하였는데, 공용점은 파라디옥사논의 0.08 몰농도에서 246 K였다. 또한, 혼합물의 밀도 데이터는 ${\rho}_l=k_1+k_2x+k_3T+k_4xT$ 식과 잘 연관되었으며, 각 파라메타인 $k_1$, $k_2$, $k_3$$k_4$의 값은 0.405, 1.361, 0.002, -0.004이었다. 용융결정화 실험에서 결정 성장속도(G)는 냉각속도가 감소하거나 파라디옥사논의 초기농도가 증가할수록 감소하는 경향을 나타내었으며, 결정 성장속도식은 과냉각 온도의 1.5승에 비례하였다. 또한, 불순물의 제거 정도를 나타내는 유효 분배계수($K_{eff}$)는 냉각속도 및 PDX 초기농도가 증가할수록 증가하는 경향을 나타내었으며, 유효분배계수는 Wintermantel 모델에 의해 $K_{eef}=-0.0604+6.392{\times}Z$ 관계로 표현되었다. 최종적으로 얻어진 PDX 순도는 결정화 조작변수를 최적화하여 99% 이상으로 조절할 수 있음을 알 수 있었다.

Simulated Moving Bed Reactor(SMBR)의 원리 (Principles of Simulated Moving Bed Reactor(SMBR))

  • 송재룡;김진일;구윤모
    • Korean Chemical Engineering Research
    • /
    • 제49권2호
    • /
    • pp.129-136
    • /
    • 2011
  • SMB 공정은 주로 4개의 구역으로 나뉘어지는 다수의 크로마토그래피 컬럼으로 구성된다. 이러한 특성은 회분식 크로마토그래피 공정보다 우수한 이성분계 물질의 연속적인 분리를 구현한다. SMB는 회분식 크로마토그래피에 비해 연속성 및 높은 생산성과 순도로 목적물질을 분리해 낼 수 있는 장점을 갖는다. 경제적이며 효율적인 공정의 운용을 위해 반응과 회수를 결합시키는 연구가 보고되고 있으며, 이와 같은 연구 중 SMBR은 연속분리공정인 SMB와 반응기가 결합된 공정이다. 다양한 반응을 적용한 SMBR에 대해 많은 연구가 진행되고 있으며, 촉매반응, 효소반응, 이온 교환 수지를 통한 화학반응이 주를 이루고 있다. 초기의 SMBR은 촉매를 사용한 고정층의 형태이며, 유동성 효소를 사용하는 SMBR, 고정화 효소를 사용하는 SMBR, 반응구역과 흡착구역이 분리되어 있는 SMBR순으로 발전하였다. 공정 설계에 있어서 필수적인 모델링 및 최적화를 위하여 대류현상만을 고려한 간단한 기법이 있지만, 실제 물질거동을 설명하기 위해서는 축 방향 분산이나 물질전달 저항을 고려한 복잡한 해석을 필요로 한다. SMBR같이 반응과 분리가 결합된 공정의 경우 설비의 간소화를 통한 시설비용의 축소뿐 아니라 가역반응평형의 극복을 통해 물질의 순도와 수율을 향상시킬 수 있는 장점이 있다.

딥러닝 기술을 활용한 멀웨어 분류를 위한 이미지화 기법 (Visualization of Malwares for Classification Through Deep Learning)

  • 김형겸;한석민;이수철;이준락
    • 인터넷정보학회논문지
    • /
    • 제19권5호
    • /
    • pp.67-75
    • /
    • 2018
  • Symantec의 인터넷 보안위협 보고서(2018)에 따르면 크립토재킹, 랜섬웨어, 모바일 등 인터넷 보안위협이 급증하고 있으며 다각화되고 있다고 한다. 이는 멀웨어(Malware) 탐지기술이 암호화, 난독화 등의 문제에 따른 질적 성능향상 뿐만 아니라 다양한 멀웨어의 탐지 등 범용성을 요구함을 의미한다. 멀웨어 탐지에 있어 범용성을 달성하기 위해서는 탐지알고리즘에 소모되는 컴퓨팅 파워, 탐지 알고리즘의 성능 등의 측면에서의 개선 및 최적화가 이루어져야 한다. 본고에서는 최근 지능화, 다각화 되는 멀웨어를 효과적으로 탐지하기 위하여 CNN(Convolutional Neural Network)을 활용한 멀웨어 탐지 기법인, stream order(SO)-CNN과 incremental coordinate(IC)-CNN을 제안한다. 제안기법은 멀웨어 바이너리 파일들을 이미지화 한다. 이미지화 된 멀웨어 바이너리는 GoogLeNet을 통해 학습되어 딥러닝 모델을 형성하고 악성코드를 탐지 및 분류한다. 제안기법은 기존 방법에 비해 우수한 성능을 보인다.

A Novel Compressed Sensing Technique for Traffic Matrix Estimation of Software Defined Cloud Networks

  • Qazi, Sameer;Atif, Syed Muhammad;Kadri, Muhammad Bilal
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • 제12권10호
    • /
    • pp.4678-4702
    • /
    • 2018
  • Traffic Matrix estimation has always caught attention from researchers for better network management and future planning. With the advent of high traffic loads due to Cloud Computing platforms and Software Defined Networking based tunable routing and traffic management algorithms on the Internet, it is more necessary as ever to be able to predict current and future traffic volumes on the network. For large networks such origin-destination traffic prediction problem takes the form of a large under- constrained and under-determined system of equations with a dynamic measurement matrix. Previously, the researchers had relied on the assumption that the measurement (routing) matrix is stationary due to which the schemes are not suitable for modern software defined networks. In this work, we present our Compressed Sensing with Dynamic Model Estimation (CS-DME) architecture suitable for modern software defined networks. Our main contributions are: (1) we formulate an approach in which measurement matrix in the compressed sensing scheme can be accurately and dynamically estimated through a reformulation of the problem based on traffic demands. (2) We show that the problem formulation using a dynamic measurement matrix based on instantaneous traffic demands may be used instead of a stationary binary routing matrix which is more suitable to modern Software Defined Networks that are constantly evolving in terms of routing by inspection of its Eigen Spectrum using two real world datasets. (3) We also show that linking this compressed measurement matrix dynamically with the measured parameters can lead to acceptable estimation of Origin Destination (OD) Traffic flows with marginally poor results with other state-of-art schemes relying on fixed measurement matrices. (4) Furthermore, using this compressed reformulated problem, a new strategy for selection of vantage points for most efficient traffic matrix estimation is also presented through a secondary compression technique based on subset of link measurements. Experimental evaluation of proposed technique using real world datasets Abilene and GEANT shows that the technique is practical to be used in modern software defined networks. Further, the performance of the scheme is compared with recent state of the art techniques proposed in research literature.

불확실성을 고려한 하수처리수 재이용 관로의 최적화 (Optimization of Water Reuse System under Uncertainty)

  • 정건희;김태웅;이정호;김중훈
    • 한국수자원학회논문집
    • /
    • 제43권2호
    • /
    • pp.131-138
    • /
    • 2010
  • 다양화되는 물 수요와 기상 이변 등의 영향으로 극심해지는 가뭄에 대비하여 대체 수자원의 확보는 수자원 연구의 매우 중요한 부분이 되었다. 다양한 대체 수자원 중 하수처리장의 방류수는 양호한 수질과 비교적 예측이 가능한 방류량으로 인해 농업용수나 공업용수 혹은 공공용수를 대체할 안정적인 수원으로 관심의 대상이 되고 있다. 본 연구에서는 하수처리수 재이용을 위해 미래의 불확실한 용수 수요량을 고려한 최소의 공사비를 최적화하는 방법을 이진변수를 가지는 2단계 추계학적 선형계획법을 이용하여 제시하였다. 현재 설계하는 하수처리수 재이용 모형은 미래의 용수 수요량까지 고려하여 설계하여야 한다는 점을 고려하여, 미래에 용수수요가 증가할 경우, 기존의 관에 평행한 다른 관을 추가로 건설할 수 있다고 가정하여 2단계에 걸쳐 공사가 가능한 모형을 구축하였다. 그 결과 미래의 물 사용량까지를 모두 고려하여 현재 큰 직경의 관로를 건설하는 경우와 작은 직경의 관로를 두 번에 걸쳐 건설하는 대안 사이의 비용차이를 고려한 모형이 제안되었으며, 가상의 네트워크에 적용되어 그 적용성을 입증하였다. 제안된 모형은 하수 처리수 재이용 네트워크 계획 시 경제적인 관로 설계를 위한 기본 자료로 활용될 수 있으며, 장기적인 물 공급 계획을 수립할 시 여러 가지 설계 대안들에 대한 비교를 위해도 사용이 가능하다.

제올라이트 4A 분리막을 이용한 물/에탄올, 물/이소프로필알코올 혼합물의 투과증발 특성 연구 : 활동도계수모형 및 Generalized Maxwell Stefan 모형 (Pervaporation Characteristics of Water/Ethanol and Water/Isopropyl Alcohol Mixtures through Zeolite 4A Membranes: Activity Coefficient Model and Maxwell Stefan Model)

  • 오웅진;정재칠;이정현;여정구;이다훈;박영철;김현욱;이동호;조철희;문종호
    • 청정기술
    • /
    • 제24권3호
    • /
    • pp.239-248
    • /
    • 2018
  • 본 연구에서는 (주)파인텍에서 개발한 제올라이트 4A 분리막을 이용하여 물, 에탄올, 이소프로필알코올 단일 성분 및 혼합물의 투과증발 실험을 수행하였다. 본 분리막은 수열합성법을 이용하여 제막하였고, Si/Al 비율이 1인 LTA 구조에 $Na^+$를 이온교환하여 약 $4{\AA}$의 기공크기를 갖고 있으며, 강한 친수성을 나타내고 있다. 물리적 특성을 확인하기 위해 SEM, porosimetry, BET, 압축강도계를 이용하였다. 다양한 온도 및 농도 조건 실험을 통해 제올라이트 4A 분리막이 물/에탄올(분리계수 3,000 이상) 및 물/이소프로필알코올(분리계수 1,500 이상) 혼합물로 부터 물을 선택적으로 분리할 수 있음을 확인하였다. 활동도계수, Generalized Maxwell Stefan 모형 및 Dusty Gas 모형을 이용하여 단일성분 및 혼합물의 투과증발 거동을 모사하였으며, Genetic Algorithm를 이용한 상수추정을 통하여 분리층의 흡착 및 확산상수를 구하였다.

제올라이트 4A 분리막을 이용한 물/메탄올, 물/부탄올 혼합물의 투과증발 특성 연구: 실험 및 모형 (Pervaporation of binary Water/Methanol and Water/Butanol Mixtures through Zeolite 4A Membranes: Experiments and Modeling)

  • 오웅진;정재칠;여정구;이정현;김현욱;박영철;이동호;문종호;조철희
    • 멤브레인
    • /
    • 제27권6호
    • /
    • pp.487-498
    • /
    • 2017
  • 본 연구에서는 (주)파인텍에서 제조한 제올라이트 4A 분리막을 이용하여 물/메탄올, 물/부탄올 혼합물의 투과증발실험을 수행하였다. 분리막을 투과한 기체분자들은 액체질소트랩을 이용하여 포집하였으며, 기체크로마토그래피(TCD)를 이용하여 혼합물의 조성을 분석하였다. 실험을 통해 물과 메탄올(분리계수 최대 250 이상), 물과 부탄올(분리계수 최대 1,500 이상)의 혼합물에서 선택적으로 물을 분리하는 것을 확인하였다. GMS (generalized Maxwell Stefan) 이론을 적용하여 2성분계의 투과증발 거동을 모사하였으며, 상수추정을 통하여 제올라이트 비지지체의 흡착상수 및 확산상수를 구하였다. 제올라이트 4A 분리막의 경우 기공의 크기가 물보다는 크고, 메탄올, 부탄올 보다는 작기 때문에, 알코올로부터 물을 분리시키는 공정에 적용시킬 수 있다. 바이오 에탄올 분리, 부탄올 분리, 막반응기, 하이브리드 반응-탈수 공정 등에 적용할 수 있을 것으로 사료된다.

해양지열발전용 다단재열재생사이클 성능해석 (Performance Analysis on the Multi Stage Reheater Regeneration Cycle for Ocean Geothermal Power Generation)

  • 이호생;차상원;정영권;김현주
    • 한국해양환경ㆍ에너지학회지
    • /
    • 제17권2호
    • /
    • pp.116-121
    • /
    • 2014
  • 지열수를 온열원으로 사용하고, 해양심층수를 열침으로 사용하는 바이너리(binary) 지열 발전시스템은 기존 지열 발전시스템의 효율을 증대하기 위한 재열과정과 터빈출력을 향상시키기 위한 다단과정을 각각 또는 복합적으로 적용하여 다단재열재생사이클의 성능개선을 검토하였다. 사이클종류는 다단재열사이클(Multi Stage reheater cycle; MS), 다단재열재생사이클(Multi stage reheater regeneration cycle; MSR)이 있다. 작동유체는 R134a, R245fa를 적용하였으며 온열원의 온도가 $65^{\circ}C$, $75^{\circ}C$, $85^{\circ}C$ 열침은 $5^{\circ}C$를 적용하여 기본해석을 수행하였다. 본 논문에서는 온열원변화, 작동유체의 종류, 사이클의 종류에 따른 해양지열발전용 다단재열재생사이클의 출력 및 효율을 높이기 위한 해석을 수행하였다. 이를 열역학적 사이클로 모사하기 위한 상용 프로그램인 Aspen HYSYS(V8.0)를 이용하여 해석을 진행 하였다. 작동유체는 R245fa가 R134a보다 우수한 성능을 보였으며, 온열원의 변화와 각각의 사이클 종류에 따라 적절한 작동유체가 있음을 확인 할 수 있었다. 사이클의 출력 및 효율은 각각 MS사이클과 MSR사이클에서 좋은 성능을 나타냈다.

에지 확장을 통한 제어 흐름 그래프의 효과적인 비교 방법 (An Effective Method for Comparing Control Flow Graphs through Edge Extension)

  • 임현일
    • 정보처리학회논문지:컴퓨터 및 통신 시스템
    • /
    • 제2권8호
    • /
    • pp.317-326
    • /
    • 2013
  • 본 논문에서는 바이너리 프로그램의 정적인 구조를 표현하는 제어 흐름 그래프를 비교하는 방법을 제안한다. 제어 흐름 그래프를 비교하기 위해서 기본 블록에 포함된 프로그램의 명령어 및 구문 정보를 비교한 후 기본 블록 사이의 유사한 정도를 측정한다. 또한, 에지 확장을 통해 기본 블록들 간의 제어 흐름을 표현하는 그래프 에지의 유사성을 함께 반영한다. 각 기본 블록 사이의 유사도 결과를 기반으로 기본 블록을 서로 매칭하고, 기본 블록 사이의 매칭 정보를 이용해서 전체 제어 흐름 그래프의 유사도를 측정한다. 본 논문에서 제안한 방법은 자바 프로그램으로부터 추출한 제어 흐름 그래프를 대상으로 제어 흐름 구조의 유사성에 따라 두 가지 기준으로 실험을 수행하였다. 그리고, 성능을 평가하기 위해서 기존의 구조적 비교 방법을 함께 실험하였다. 실험 결과로부터 에지 확장 방법은 서로 다른 프로그램에 대해 충분한 변별력을 가지고 있음을 확인할 수 있다. 프로그램 비교에 좀 더 많은 시간이 소요되지만, 구조가 유사한 프로그램에 대한 매칭 능력에서 기존의 구조적 비교 방법에 비해 우수한 결과를 보였다. 제어 흐름 그래프는 프로그램의 분석에 다양하게 활용될 수 있으며, 제어 흐름 그래프의 비교 방법은 프로그램의 유사성 비교를 통한 코드의 최적화, 유사 코드 검출, 코드의 도용 탐지 등 다양한 분야에서 응용될 수 있을 것이라 기대된다.

AIoT 환경에 최적화된 머신러닝 기반의 IoT 데이터 처리 기법 (IoT data processing techniques based on machine learning optimized for AIoT environments)

  • 정윤수;김용태
    • 산업융합연구
    • /
    • 제20권3호
    • /
    • pp.33-40
    • /
    • 2022
  • 최근 IoT와 연계된 서비스들이 다양한 환경에서 활용되면서 IoT와 인공지능 기술이 융합되고 있다. 그러나, IoT 데이터를 안정적으로 처리하는 기술들이 완벽하게 지원되고 있지 않아 이를 위한 연구가 필요한 상황이다. 본 논문에서는 IoT 데이터를 머신러닝 기반으로 임베디드 벡터를 생성한 후 IoT 데이터를 최적화 할 수 있는 처리 기법을 제안한다. 제안 기법에서는 처리 효율을 위해서 IoT 데이터의 인덱스, 수집 위치(X와 Y축 좌표의 이진값), 그룹 인덱스, 타입, 종류 등을 QR 기반으로 임베디드 벡터화를 수행한다. 또한, IoT 데이터를 비대칭적으로 연계하도록 IoT 데이터 수집 과정에서 로드밸런싱을 수행할 수 있도록 다양한 IoT 장치에서 생성한 데이터를 통합 관리한다. 제안 기법은 비대칭적으로 IoT 데이터를 그룹화할 수 있도록 IoT 데이터를 해쉬기반으로 서로 직교화하도록 처리한다. 또한, IoT 데이터 종류 및 특성에 따라 주기적으로 생성 및 그룹화하기 때문에 IoT 데이터 간 간섭은 최소화할 수 있다. 향후 연구에서는 IoT 서비스를 제공하는 여러 환경에서 제안 기법을 비교 평가할 계획이다.