• 정보보호학회논문지
• /
• 제26권5호
• /
• pp.1121-1130
• /
• 2016

RSA 암호 시스템은 가장 널리 사용되는 공개키 암호 알고리즘 중 하나이며, RSA 암호 시스템의 안전성은 큰 수의 인수분해의 어려움에 기반을 둔다. 따라서 RSA 암호 시스템의 합성수 n을 인수분해하려는 시도는 계속 진행 중에 있다. General Number Field Sieve는 현재까지 알려진 가장 빠른 인수분해 방법이고, RSA-704를 인수분해 하는데 사용된 소프트웨어인 CADO-NFS도 GNFS를 기반으로 설계되어 있다. 그러나 CADO-NFS는 다항식 선택 과정에서 입력된 변수로부터 항상 최적의 다항식을 선택하지 못하는 문제점이 있다. 본 논문에서는 CADO-NFS의 다항식 선택 단계를 분석하고 중국인의 나머지 정리와 유클리드 거리를 사용하여 다항식을 선택하는 방법을 제안한다. 제안된 방법을 이용하면 기존의 방법보다 좋은 다항식이 매번 선택되며, RSA-1024를 인수분해 하는데 적용할 수 있을 것으로 기대한다.

• 대한수학회보
• /
• 제52권2호
• /
• pp.421-438
• /
• 2015

In this paper, we study the existence of classical and generalized solutions for nonlinear differential inclusions $x^{\prime}(t){\in}F(t,x(t))$ in Hilbert spaces in which the multifunction F on the right-hand side is hemicontinuous and satisfies the semimonotone condition or is condensing. Our existence results are obtained via the selection and fixed point methods by reducing the problem to an ordinary differential equation. We first prove the existence theorem in finite dimensional spaces and then we generalize the results to the infinite dimensional separable Hilbert spaces. Then we apply the results to prove the existence of the mild solution for semilinear evolution inclusions. At last, we give an example to illustrate the results obtained in the paper.

• 한국지능시스템학회논문지
• /
• 제14권5호
• /
• pp.642-647
• /
• 2004

The relations of fuzzy entropy, distance measure, and similarity measure are discussed in this paper. For the purpose of reliable signal selection, the fuzzy entropy is proposed by a distance measure. Properness of the proposed entropy is verified by the definition of the entropy measure. Fourier and Wavelet transform are applied to the stator current signal to obtain the fault features of an induction motor. Membership functions for 3-phase currents are obtained by the Bootstrap method and Central Limit Theorem. Finally, the proposed entropy is applied to measure the fault signal of an induction machine, and the fuzzy entropy values of phase currents are illustrated.

• 소음진동
• /
• 제10권4호
• /
• pp.648-654
• /
• 2000

A procedure to determine the realizable optimal positions of rigid supports is suggested to get a maximum fundamental natural frequency. a measured frequency response function based substructure-coupling technique is used to model the supported structure. The optimization procedure carries out the eigenvalue sensitivity analysis with respect to the stiffness of supports. As a result of such stiffness optimization, the optimal rigid-support positions are shown to be determined by choosing the position of the largest stiffness. The optimally determined support conditions are verified to satisfy the eigenvalue limit theorem. To demonstrate the effectiveness of the proposed method, the optimal support positions of a plate model are investigated. Experimental results indicate that the proposed method can effectively find out the optimal support conditions of the structure just based on the measured frequency response functions without any use of numerical model of the structure.

• 대한수학회보
• /
• 제33권4호
• /
• pp.587-592
• /
• 1996

In 1950, Nash [5] first proved the existence of equilibrium for games where the player's preferences are representable by continuous quasiconcave utilities and the strategy sets are simplexes. Next Debreu [3] proved the existence of equilibrium for abstract economies. Recently, the existence of Nash equilibrium can be further generalized in more general settings by several athors, e.g. Shafer-Sonnenschein [6], Borglin-Keiding [2], Yannelis-Prabhaker [8]. In the above results, the convexity assumption is very essential and the main proving tools are the continuous selection technique and the existence of maximal elements. Still there have been a number of generalizations and applications of equilibrium existence theorem in generalized games.

• Journal of Electrical Engineering and information Science
• /
• 제2권6호
• /
• pp.1-6
• /
• 1997

The scheduling problem of satisfying both 0/1 constraint and the timing constraint while minimizing the total error is NP-complete when the optional parts have arbitrary processing times. In this paper, we present a heuristic scheduling algorithm for 0/1 constraint imprecise systems which consist of communicating tasks running on multiple processors. The algorithm is based on the program graph which is similar to the one presented in[4]. To check the schedulability, we apply Lawler and Moore's theorem. To analyze the performance of the proposed algorithm, intensive simulation is done. The results of the simulation shows that the longest processing first selection strategy outperforms random or minimal laxity policies.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1998년도 추계학술대회 학술발표 논문집
• /
• pp.553-559
• /
• 1998

Simple Genetic Algorithm(SGA) proposed by J. H. Holland is a population-based optimization method based on the principle of the Darwinian natural selection. The theoretical foundations of GA are the Schema Theorem and the Building Block Hypothesis. Although GA goes well in many applications as an optimization method, still it does not guarantee the convergence to a global optimum in some problems. In designing intelligent systems, specially, since there is no deterministic solution, a heuristic trial-and error procedure is usually used to determine the systems' parameters. As an alternative scheme, therefore, there is a growing interest in a co-evolutionary system, where two populations constantly interact and co-evolve. In this paper we review the existing co-evolutionary algorithms and propose co-evolutionary schemes designing intelligent systems according to the relation between the system's components.

• Computers and Concrete
• /
• 제30권5호
• /
• pp.357-367
• /
• 2022

In this paper, we propose an efficient control method that can be transformed into a general building control problem for building structure control using these reliability criteria. To facilitate the calculation of controller H∞, an efficient solution method based on Linear Matrix Inequality (LMI) is introduced, namely H∞-based LMI control. In addition, a self-tuning predictive grey fuzzy controller is proposed to solve the problem caused by wrong parameter selection to eliminates the effect of dynamic coupling between degrees of freedom (DOF) in Self-Tuning Fuzzy Controllers. We prove stability using Lyapunov's stability theorem. To check the applicability of the proposed method, the proposed controller is applied and the control characteristics are determined. The simulation assumes system uncertainty in the controller design and emphasizes the use of acceleration feedback as a practical consideration. Simulation results show that the performance of the proposed controller is impressive, stable, and consistent with the performance of LMI-based methods. Therefore, an effective control method is suitable for seismic reinforcement of civil buildings.

• 경영과정보연구
• /
• 제34권1호
• /
• pp.65-80
• /
• 2015

본 연구는 완전자본시장이 성립하는 경우 시장참가자들이 소유 및 거래하는 포트폴리오의 형태가 시장포트폴리오여야 한다는 논리를 바탕으로 그들이 거래하는 포트폴리오가 시장포트폴리오의 모습과 다르다면 이는 그들만이 가지고 있는 정보를 가지고 거래를 하였다는 가정에서 출발한다. 매수-매도 거래별로 시장포트폴리오로부터의 이격정도를 측정하는 선택적 종목거래활동 강도 지표를 구성하고 가격비율과의 회귀분석을 통해 특정 투자자집단의 거래가 정보거래인지를 판단하였다. 연구결과 개인 투자자집단의 종목선택행위가 가장 높게 나타났으나 회귀계수의 통계적 유의성이 일관적이지 못 하고 그 크기 또한 경제적 의미를 부여할만큼 크지 못 하기에 이들의 거래는 정보거래와는 무관한 거래라고 판단된다. 기관 투자자집단의 경우 회귀계수가 유의적인 음(-)으로 나와 그들의 거래는 정보거래와는 거리가 멀다고 판단된다. 외국인 투자자집단의 경우 매도 거래행위에서 일관적인 양(+)의 회귀계수가 나타남을 통해 정보거래를 행하고 있음을 확인할 수 있었다. 이는 Yoo(2008)에서 언급한 바와 같이 신흥시장에서는 외국인투자자가 상위 정보거래자, 기관투자자가 하위 정보거래자, 개인투자자는 비정보거래자의 역할을 한다고 보는 견해와 일치된다.

• 한국통신학회논문지
• /
• 제37A권12호
• /
• pp.1031-1037
• /
• 2012

Tonelli-Shanks 알고리즘을 변형한 새로운 알고리즘을 통해 효율적으로 제곱근 및 세제곱근을 찾을 수 있는 방법을 연구하였다. 이 논문에서 소개하는 제곱근을 찾는 알고리즘은 Number Field Sieve에 응용할 수 있다. 큰 합성수를 인수분해하는데 가장 효율적인 알고리즘으로 알려진 Number Field Sieve (NFS)는 법 N에 대하여 공통근을 갖는 두 다항식 선택한 후에, sieving, linear algebra, square root 단계를 차례대로 거친다. NFS의 마지막 단계에서는 수체(Number Field)상에서 제곱근을 구하는 과정이 필요한데 이를 유한체(Finite Field)상으로 내려서 계산한 후 CRT(Chinese Remainder Theorem)을 이용하여 수체 상에서의 제곱근으로 복원하는 과정에서 제안된 알고리즘이 사용될 수 있다.