• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 2003년도 동계학술대회
• /
• pp.452-457
• /
• 2003

자바카드 API는 스마트 카드와 같은 작은 메모리를 가진 임베디드 장치에서 실행환경을 최적화하기 위해 구성되었다. 자바카드 API의 목적은 한정된 메모리를 가진 스마트카드 기반의 프로그램을 개발할 때 많은 이점을 제공한다. 그러나 공개키 암호 알고리즘 구현에 필요한 연산들인 모듈러 연산, 최대공약수 계산, 그리고 소수 판정과 생성 등의 연산을 지원하지 않는다. 본 논문에서는 이러한 기능을 제공하는 자바카드 기반 BigInteger 클래스의 설계 및 구현에 목적을 둔다.

• 정보처리학회논문지C
• /
• 제9C권2호
• /
• pp.163-172
• /
• 2002

자바카드 API는 한정된 메모리를 가진 스마트 카드 기반의 프로그램을 개발할 때 많은 이점을 제공한다. 그러나 공개키 암호 알고리즘 구현에 반드시 필요한 연산들인 모듈러 지수 연산, 최대공약수 계산, 그리고 소수 판정과 생성 등의 연산을 지원하지 않는다. 본 논문에서는 자바 카드에서 공개키 암호 알고리즘 구현을 위해서 반드시 필요한 연산들을 지원하는 임의의 정수 클래스의 설계 및 구현하였다.

• 한국정보통신학회논문지
• /
• 제16권11호
• /
• pp.2347-2354
• /
• 2012

안드로이드 상에서의 프로그램 개발은 JAVA SDK를 통해 이루어진다. 하지만 JAVA의 사용은 virtual machine 상에서의 동작으로 인해 기존의 C언어에 비해 성능이 떨어지는 단점을 가진다. 최근에는 이러한 문제점을 해결하기 위해 NDK를 이용한 최적화 프로그램 개발이 사용되고 있다. 해당 기법은 안드로이드 프로그램을 C언어로 작성하여 연산을 효율적으로 수행한다. 본 논문에서는 안드로이드 상에서의 공개키 기반 암호화를 비교 분석하기 위해 NDK와 SDK를 사용하여 곱셈을 구현한다. SDK의 구현에는 BigInteger 패키지를 사용하였으며 NDK의 구현에는 Comb method를 사용하였다. 또한 안드로이드 상에서의 사칙연산, 조건문 그리고 호출문의 연산 수행 결과를 비교하여 NDK를 통한 성능향상에 대해 알아본다.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제23권10호
• /
• pp.594-598
• /
• 2017

정수 형태의 배열로 이루어진 데이터가 주식 시장과 같은 원본으로부터 셀 수 없을 정도로 매일 생성되고 있다. 정수 배열을 저장하는 데에 감마 코드, 델타 코드, 피보나치 코드 등을 포함한 범용 코드가 일반적으로 사용된다. 이 배열을 적은 공간을 차지하게 하면서 빠른 시간에 특정 원소에 접근하는 연산을 수행할 수 있게 하려는 시도가 진행되었다. 본 논문에서는 간결한 자료구조의 특성을 활용하여 부호화된 정수 배열에서의 임의 접근을 가능하도록 한 코드 시스템을 제시한다. 이는 코드 시스템에 사용되는 구획 문자 비트열을 압축하면서 질의 수행 시간을 상수 시간에 지원하는 자료구조를 통해 구현되었다. 실험 결과를 통해 범용 코드 시스템보다 더 적은 공간과 시간을 사용해 정수 배열을 표현할 수 있다는 것을 보인다.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2016년도 춘계학술대회
• /
• pp.762-763
• /
• 2016

동형 암호화 시스템을 구현하는 데 있어, encrypt, decrypt, recrypt 연산은 큰 골격을 이루는 연산이다. 각각에 있어 공통된 가장 중요한 연산은 백만 비트가 넘는 큰 정수에 대한 법 곱셈이며, 이것은 푸리에 변환을 반복적으로 수행하여 얻을 수 있는 매우 큰 정수에 대한 곱셈 연산과 곱셈 결과에 대한 법 간소화를 요구한다. 본 논문에서는 Schonhage-Strassen이 제안한 큰 정수에 대한 법 곱셈을 수행하는 알고리즘을 응용하여, 이를 다시 메모리를 절약할 수 있는 효율적인 알고리즘을 제안하고 구현한다. 제안한 정수 푸리에 변환 구조는 FPGA에 구현하여 성능을 비교하였다.

• 대한산업공학회지
• /
• 제34권4호
• /
• pp.481-488
• /
• 2008

This paper deals with a scheduling problem for two-machine flow shop, in which the preceding machine is a batch processing machine that can process a number of jobs simultaneously. To minimize makespan of the system, we present a mixed integer linear programming formulation for the problem, and using this formulation, it is shown that an optimal solution for small problem can be obtained by a commercial optimization software. However, since the problem is NP-hard and the size of a real problem is very large, we propose a number of heuristic algorithms including genetic algorithm to solve practical big-sized problems in a reasonable computational time. To verify performances of the algorithms, we compare them with lower bound for the problem. From the results of these computational experiments, some of the heuristic algorithms show very good performances for the problem.

• 한국산업정보학회논문지
• /
• 제27권6호
• /
• pp.105-114
• /
• 2022

본 연구에서는 조수조건이 고려된 벌크항만의 하역 최적화를 위한 정수계획모형을 제안한다. 특히, 본 연구에서는 실제 벌크항만의 운영 환경과 조건들을 반영하여 체선료(Demurrage Cost)와 조출료(Dispatch Money)를 모두 고려한 하역비용 최소화를 목적함수로 설정하고, 벌크항만의 서비스 수준을 결정하는 최소재고 제약조건 또한 고려한다. 일반적으로 비선형 함수 형태로 표현되는 체선료 계산식을 선형화(Linearize)하여 스케줄 해상도를 향상하고, 조수조건을 고려한 선석할당 문제의 경우 전통 자원할당 모형에서 필수적인 Big-M 제약식이 대체 가능함을 확인한다. 실험결과를 통해 기존 모형 대비 계산복잡도와 전역최적성이 크게 향상 가능함을 검증한다.

• 한국수자원학회논문집
• /
• 제31권6호
• /
• pp.779-793
• /
• 1998

본 연구에서는 용수공급을 위한 이수관점에서 수력발전의 경제적 운영과 더불어 용수수요에 효과적으로 대처할 수 있는 댐군의 경제적 연계운영 최적화 모형을 제안한다. 제안된 모형은 댐군의 연계운영을 통한 발전방류의 최대화, 용수 수요량에 대한 물부족량(shortfall)의 최소화, 불필요한 여수로 방류량의 최소화, 홍수기를 대비한 저수지의 여유공간 확보, 그리고 발전효율을 높일 수 있는 저수위의 확보 등을 고려하였다. 제안된 최적화 모형은 구조적으로는 최적화 모형이지만, 실질적으로는 댐군의 연계운영의 행태를 표현한 시뮬레이션 모형이라 할 수 있으며, 용수공급계획 수립시 최대 용수공급 가용량 산정에 활용하기 위해서 개발된 모형이다. 최적화모형은 약 3,920개의 혼합정수변수와 약 7만$\times$13만 Node-Arc Incidence Matrix로 표현되는 네트워크 모형을 포함하는 여러 기간에 걸친 혼합정수계획 문제 (multi-period mixed integer programming)로 설계되었으며, 대형문제로부터 야기되는 수많은 자료를 효과적으로 처리하기 위하여 DBMS를 활용하였다. 본 모형의 효과를 검토하기 위하여 한강수계에 위치한 댐들 중에서 2개의 다목적 댐과 3개의 발전용 댐들의 연계운영에 실험하여 보았다. 실험결과, 본 연구에서 수립된 모형의 현실적인 이용을 위한 수정 보완과, 효과적인 댐 유역별 중장기 유입량 예측시스템이 개발되어 실시간으로 운영될 수 있도록 수정, 보완된다면 현재의 운영방법보다 더 좋은 운영방안을 제시하므로써, 환경보존에 따른 이득은 물론 용수공급 능력을 증대시킬 수 있는 대안이 될 수 있다.

• 대한산업공학회지
• /
• 제40권3호
• /
• pp.305-312
• /
• 2014

This research deals with a problem that minimizes makespan in a non-identical parallel machine system with sequence and machine dependent setup times and machine dependent processing times. We first present a new mixed integer programming formulation for the problem, and using this formulation, one can easily find optimal solutions for small problems. However, since the problem is NP-hard and the size of a real problem is large, we propose four heuristic algorithms including genetic algorithm based heuristics to solve the practical big-size problems in a reasonable computational time. To assess the performance of the algorithms, we conduct a computational experiment, from which we found the heuristic algorithms show different performances as the problem characteristics are changed and the simple heuristics show better performances than genetic algorithm based heuristics for the case when the numbers of jobs and/or machines are large.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제22권3호
• /
• pp.275-283
• /
• 2015

Let T be a bounded linear operator on a complex Hilbert space H. For a positive integer k, an operator T is said to be a k-quasi-2-isometric operator if T^∗k(T^∗2T² − 2T^∗T + I)T^k = 0, which is a generalization of 2-isometric operator. In this paper, we consider basic structural properties of k-quasi-2-isometric operators. Moreover, we give some examples of k-quasi-2-isometric operators. Finally, we prove that generalized Weyl’s theorem holds for polynomially k-quasi-2-isometric operators.