• 한국정보처리학회논문지
• /
• 제7권1호
• /
• pp.224-234
• /
• 2000

본 논문에서는 시간제약 조건하에서 순차회로를 위한 새로운 CPLD 기술매핑 알고리즘을 제안한다. 본 기술매핑 알고리즘은 주어진 순차회로의 궤환을 검출한 후 궤환이 있는 변수를 임시 입력 변수로 분리한 후 조합논리 부분을 DAG로 표현한다. DAG의 각 노드를 검색한 후, 출력 에지의 수가 2이상인 노드를 분할하지 않고 노드만을 복제(replication)하여 팬 앙웃 프리 트리로 재구성한다. 이러한 구성 방법은 주어진 시간 조건 안에서 기존의 CPLD 기술 매핑 알고리즘으로 제안된 TEMPLA보다 적은 면적으로 회로를 구현하고, TMCPLD의 단점인 전체 수행 시간을 개선하기 위한 것이다. 시간제약 조건과 소자의 지연시간을 이용하여 그래프 분할이 가능한 다단의 수를 정하고, 각 노드의 OR 텀수를 비용으로 하는 초기비용과 노드 병합 후 생성될 OR 텀수인 전체비용을 게산하여 CPLD를 구성하고 있는 CLV의 OR텀수보다 비용이 초과되는 노드를 분할하여 서브그래프를 구성한다. 분할된 서브그래프들은 collapsing을 통해 노드들를 병합하고, 주어진 소자의 CLB안에 있는 OR텀 개수에 맞게 Bin packing를 수행하였다. 본 논문에서 제안한 기술매핑 알고리즘을 MCNC 논리합성 벤치마크 회로들에 적용하여 실험한 결과 기존의 CPLD 기술 매핑 툴인 TEMPLA에 비해 CLB의 수가 15.58% 감소되었고, TMCPLD에 비해 수행 시간이 감소되었다.

• 대한전자공학회논문지SD
• /
• 제38권1호
• /
• pp.79-85
• /
• 2001

본 논문에서는 시간제약 조건하에서 면적을 고려한 CPLD 기술매핑 알고리즘을 제안한다. 본 기술매핑 알고리즘은 주어진 EDIF나 부울식의 불린 네트워크에서 궤환을 검출한 후 궤환이 있는 변수를 임시 입력변수로 분리하여 조합논리회로로 구성한다. 구성된 회로는 DAG 형식으로 표현한다. DAG에서 각 노드를 검색한 후, 출력 에지의 수가 2이상인 노드는 분할하지 않고 노드만을 복제(replication)하여 팬 아웃 프리트리로 재구성한다. 이러한 구성 방법은 주어진 시간 조건 안에서 기존의 CPLD 기술 매핑 알고리즘으로 제안된 TEMPLA보다 적은 면적으로 회로를 구현하고, TMCPLD의 단점인 전체 수행 시간을 개선하기 위한 것이다. 시간제약 조건과 소자의 지연시간을 이용하여 그래프 분할이 가능한 다단의 수를 결정한다. 각 노드가 가지고 있는 OR 텀수를 비용으로 하는 초기비용과 노드 병합 후 생성될 OR 텀수인 전체비용을 계산하여 CPLD를 구성하고 있는 CLB의 OR텀수보다 비용이 초과되지 않는 노드를 병합하여 매핑 가능한 클러스터를 구성한다. 매핑 가능 클러스터들 중에서 가장 짧은 다단의 수를 갖는 클러스터들을 선택하여 그래프 분할을 수행한다. 분할된 클러스터들은 콜랍싱(collapsing)을 통해 노드들을 병합하고, 주어진 소자의 CLB안에 있는 OR텀 개수에 맞게 빈 패킹(Bin packing)을 수행하였다. 본 논문에서 제안한 기술매핑 알고리즘을 MCNC 논리합성 벤치마크 회로들에 적용하여 실험한 결과 DDMAP에 비해 62.6%의 논리블록의 수가 감소되었고, TEMPLA에 비해 17.6% 감소되었다. TMCPLD와의 결과 비교는 조합논리 회로의 5개 회로만을 비교한 결과 4.7% 감소되었다. 이와같은 실험결과는 CPLD를 이용한 기술매핑에 상당한 효율성을 제공할 것으로 기대된다.

• 한국식품저장유통학회지
• /
• 제15권6호
• /
• pp.847-851
• /
• 2008

본 연구에서는 농산물 수집용으로 사용되는 팔레트 빈의 활용도를 높일 수 있도록 팔레트 빈의 구조를 차압통풍 예냉과 저온저장에 적용할 수 있도록 개선하였다. 감자, 양파, 감귤에 대한 팔레트 빈 밑면의 통기공 개공율에 따른 송풍저항을 측정하였으며, 팔레트 빈과 차압통풍식 냉각장치를 제작하였다. 감자, 양파, 감귤의 개공율, 퇴적높이, 송풍량 변화의 실험자료를 회귀식으로 나타내었으며, 비교적 높은 결정계수를 얻을 수 있었다. 감자, 양파, 감귤의 팔레트빈을 이용한 차압통풍 예냉시 냉각속도 및 저온저장시 냉각균일도(표준편차)를 시험한 결과, 냉각속도는 각각 $0.8^{\circ}C/hr$ ($21.7{\rightarrow}10^{\circ}C$, 14.5시간), $0.4^{\circ}C/hr$($15.4{\rightarrow}20^{\circ}C$, 32.2시간), $0.7^{\circ}C/hr$($13.7{\rightarrow}1^{\circ}C$, 18.8시간)로 나타났으며, 저온저장시 각 빈별 표준편차는 각각 $0.12^{\circ}C$, $0.12^{\circ}C$, $0.17^{\circ}C$로 나타났다.

• 한국컴퓨터정보학회논문지
• /
• 제20권4호
• /
• pp.111-117
• /
• 2015

시험 일정 계획 수립 문제는 정확한 해를 다항시간으로 구하는 알고리즘이 알려져 있지 않은 NP-완전이다. 이 문제에 대해, Gu${\acute{e}}$ret et al.은 $O(m^4)$ 수행 복잡도의 선형계획법으로 해를 얻고자 하였다. 반면에, 본 논문에서는 O(m) 복잡도의 채색 수 알고리즘을 제안하였다. 제안된 방법은 원 데이터를 교과목에 대한 부적합성 행렬과 그래프로 변환시켰다. 다음으로, 부적합성 제약조건을 충족하면서 최소의 시간으로 시험을 치루기 위해, 최소 차수 정점(교과목)부터 인접하지 않은 정점들을 $C_i$ 색으로 배정하여 $B_i$ 상자에 채웠다. 실험 결과, 제안된 알고리즘은 시험 일정 계획 수립 문제에 대해 선형계획법의 $O(m^4)$를 O(m)으로 단축시키면서도 동일한 해를 얻었다.

• 정보보호학회논문지
• /
• 제34권1호
• /
• pp.31-40
• /
• 2024

최근 정적분석 기반의 시그니처 및 패턴 탐지 기술은 고도화되는 IT 기술에 따라 한계점이 드러나고 있다. 이는 여러 아키텍처에 대한 호환 문제와 시그니처 및 패턴 탐지의 본질적인 문제이다. 악성코드는 자신의 정체를 숨기기 위하여 난독화, 패킹 기법 등을 사용하고 있으며 또한, 코드 재정렬, 레지스터 변경, 분기문 추가 등 기존 정적분석 기반의 시그니처 및 패턴 탐지 기법을 회피하고 있다. 이에 본 논문에서는 이러한 문제를 해결할 수 있는 머신러닝을 통한 LLVM IR 코드 이미지 기반 악성코드 정적분석 자동화 기술을 제안한다. 바이너리가 난독화되거나 패킹된 사실에 불구하고 정적 분석 및 최적화를 위한 중간언어인 LLVM IR로 디컴파일한다. 이후 LLVM IR 코드를 이미지로 변환하여 CNN을 이용한 알고리즘 중 전이 학습 및 Keras에서 지원하는 ResNet50v2으로 학습하여 악성코드를 탐지하는 모델을 제시한다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제9권3호
• /
• pp.921-940
• /
• 2015

In this paper, we investigate the multi-resource allocation problem, a unique feature of which is that the multiple resources can compensate each other while achieving the desired system performance. In particular, power and time allocations are jointly optimized with the target of energy efficiency under the resource-limited constraints. Different from previous studies on the power-time tradeoff, we consider a multi-server case where the concurrent serving users are quantitatively restricted. Therefore user selection is investigated accompanying the resource allocation, making the power-time tradeoff occur not only between the users in the same server but also in different servers. The complex multivariate optimization problem can be modeled as a variant of 2-Dimension Bin Packing Problem (V2D-BPP), which is a joint non-linear and integer programming problem. Though we use state decomposition model to transform it into a convex optimization problem, the variables are still coupled. Therefore, we propose an Iterative Dual Optimization (IDO) algorithm to obtain its optimal solution. Simulations show that the joint multi-resource allocation algorithm outperforms two existing non-joint algorithms from the perspective of energy efficiency.

• 한국항해항만학회지
• /
• 제31권8호
• /
• pp.711-716
• /
• 2007

컨테이너에 화물을 적재함에 있어서 고려해야할 점으로 컨테이너의 적재율을 들 수 있다. 단순히 제한된 공간에 보다 많은 양의 화물을 적재하여 비용을 낮추고자 하는 노력은 꾸준히 계속되어 왔다. 하지만 방문순서를 고려해야만 하는 화물의 경우는 다르다. 조선기자재와 같은 대형 화물들의 경우 방문순서를 고려하지 않았을 경우 하역작업에서 화물 재 조작 또는 하역 작업이 불가능한 상황이 발생할 수 있기 때문이다. 본 연구에서는 화물 적재 시 방문 순서를 고려하는 문제를 해결하고자 하며, 이에 방문 순서와 적재율을 동시에 고려한 컨테이너 혼재모형과 그 해법을 제시하고자 한다.

• 대한산업공학회지
• /
• 제21권1호
• /
• pp.119-135
• /
• 1995

We consider problems of tool loading and scheduling in a flexible manufacturing system (FMS) in which tool transportation constitutes the major portion of material flows. In this type of FMSs, parts are initially assigned to machines and released to the machines according to input sequencing rules. Operations for the parts released to the machines are performed by tools initially loaded onto the machines or provided by an automatic tool transport robot when needed. For an efficient operation of such systems, therefore, we may have to consider loading and scheduling problems for tools in addition to those for parts. In this paper, we consider three problems, part loading, tool loading, and tool scheduling problems with the overall objective of minimizing the makespan. The part loading problem is solved by a method similar to that for the bin packing problem and then a heuristic based on the frequency of tool usage is applied for tool loading. Also suggested are part input sequencing and tool scheduling rules. To show the effectiveness of the overall algorithm suggested here, we compare it with an existing algorithm through a series of computational tests on randomly generated test problems.

• 정보화정책
• /
• 제24권4호
• /
• pp.68-78
• /
• 2017

악성코드는 나날이 복잡해지고 다양화되어 단순한 정보유출에서부터 시스템에 대한 심각한 피해를 유발하는 실정에 이르렀다. 이러한 악성코드를 탐지하기 위해 코드분석에 역공학을 이용하는 많은 연구가 진행되었지만, 악성코드 개발자도 분석방법을 우회하는 다양한 기법을 활용함으로써 코드분석을 어렵게 하였다. 특히, 악성코드의 감염여부조차 판단하기 어려운 루트킷 기법들이 진화하고 있고, 악성코드가 이 기법들을 흡수함으로써 그 문제의 심각성은 더욱 커지고 있다. 따라서 본 논문에서는 분석기법들을 우회하는 악성코드에 재빠르게 대응하기 위한 분석 프로세스를 설계하였다. 설계된 프로세스를 통하여 악성코드의 탐지를 더욱 효율적으로 할 수 있을 것으로 사료된다.

• 폴리머
• /
• 제38권1호
• /
• pp.38-42
• /
• 2014

Poly[(9,9-bis((6'-(N,N,N-trimethylammonium)hexyl)-2,7-fluorene)-alt-(9,9-bis(2-(2-(2-methoxyethoxy)ethoxy)ethyl)-9-fluorene)) dibromide(WPF-6-oxy-F)]와 graphene oxide(GO)를 혼합하여 WPF-6-oxy-F-GO를 제조한 후 공기 중에서 감마선을 조사하였다. WPF-6-oxy-F-GO 복합재는 유기태양전지(organic solar cells, OSCs)의 정공수송층(hole transporting layer, HTL)으로서 적용하였다. GO와 비교해 보았을 때, 조사된 WPF-6-oxy-F-GO의 면저항(sheet resistance, $R_{sheet}$)은 약 2배 정도 감소하였다. 이는 감마선 조사를 통하여 WPF-6-oxy-F와 GO 사이의 C-N 결합의 형성으로 인한 ${\pi}-{\pi}$ 공유 결합의 영향과 효율적인 packing 때문이다. 결과적으로, 조사된 WPF-6-oxy-F-GO를 정공수송층으로 적용하였을 때 유기태양전지의 효율은 6.10%까지 증가하였다. 수용성 고분자 WPF-6-oxy-F-GO는 정공수송층으로서 사용되고 있는 PEDOT:PSS를 대체하는 대안 소재로서, 높은 효율과 저가의 유기태양전지를 구현할 수 있을 것으로 기대된다.