• 제목/요약/키워드: fixed point theory

검색결과 203건 처리시간 0.029초

부호화 해밍 웨이트를 이용한 가변 타원곡선 암호시스템의 안전성 향상 (Enhanced Security of Flexible Elliptic Curve Cryptosystems using Signed Hamming Weights)

  • Lee, Mun-Kyu
    • 한국정보과학회논문지:시스템및이론
    • /
    • 제31권10호
    • /
    • pp.588-592
    • /
    • 2004
  • 스칼라 곱셈은 정수 $textsc{k}$와 타원곡선 상의 한 점 P가 주어졌을 때 $textsc{k}$P를 계산하는 연산이다. 스칼라 곱셈을 빠르게 하기 위한 일반적인 방법으로 Agnew Mullin, Vanstone은 고정된 값의 해밍 웨이트를 갖는 스칼라 $textsc{k}$를 이용하는 방법을 제안하였다. 본 논문에서는 고정된 값의 부호화 해밍 웨이트를 갖는 $textsc{k}$를 이용하는 방법을 제안하고, 이 방법이 더 안전함을 보인다.

A TOPOLOGICAL PROOF OF THE PERRON-FROBENIUS THEOREM

  • Ghoe, Geon H.
    • 대한수학회논문집
    • /
    • 제9권3호
    • /
    • pp.565-570
    • /
    • 1994
  • In this article we prove a version of the Perron-Frobenius Theorem in linear algebra using the Brouwer's Fixed Point Theorem in topology. We will mostly concentrate on he qualitative aspect of the Perron-Frobenius Theorem rather than quantitative formulas, which would be enough for theoretical investigations in ergodic theory. By the nature of the method of the proof, we do not expect to obtain a numerical estimate. But we may regard it worthwhile to see why a certain type of result should be true from a topological and geometrical viewpoint. However, a geometric argument alone would give us a sharp numerical bounds on the size of the eigenvalue as shown in Section 2. Eigenvectors of a matrix A will be fixed points of a certain mapping defined in terms of A. We shall modify an existing proof of Frobenius Theorem and that will do the trick for Perron-Frobenius Theorem.

  • PDF

단일 현장타설말뚝의 간편해석 및 최소 철근비 분석 (Simplified Analysis of Pile Bent Structures and Minimum Reinforcement Ratio)

  • 김재영;황택진;정상섬
    • 한국지반공학회논문집
    • /
    • 제27권5호
    • /
    • pp.33-43
    • /
    • 2011
  • 본 연구에서는 등가 지반면 스프링 모델을 적용한 단일 현장타설말뚝의 간편해석(기둥-말뚝의 상호작용을 고려한 분리해석)을 수행하였다. 이 때 지반조건, 하중, 말뚝직경 등의 영향인자에 따라 검증하였으며, 단일 현장타설말뚝에 적용된 철근량을 분석하여 말뚝의 최소 철근비 적용성을 평가하였다. 본 연구결과, 기존 기둥과 말뚝을 단일부재로 모델링하는 일체해석과 기둥-말뚝의 상호작용을 고려한 분리해석의 결과에는 서로 차이가 없었으며, 이를 통해 가상,고정점을 통한 해석법은 단일 현장타설말뚝의 정확한 거동파악이 어려움을 알 수 있었다. 또한 재료의 비선형성을 고려한 해석결과, 말뚝부에서 발생하는 휨모멘트는 말뚝재료의 균열모멘트 이내에서 모두 발생하였으며, 수평변위도 허용 수평변위 기준을 만족하는 것으로 나타났다. 따라서 단일 현장타설말뚝의 말뚝부에는 최소철큰비 기준인 0.4% 철근량만을 배근하여도 안정성이 확보되는 것을 알 수 있었으며, 기둥-말뚝의 상호작용을 고려한 분리해석은 상하부 일체해석으로 가는 중간단계의 비교적 정확하고 경제적인 설계법임을 알 수 있었다.

2자유도 진동계에 관한 이론적 고찰 및 진동흡진기로의 응용 (Theoretical Investigation of 2DOF Vibrating System and Its Application to Dynamic Vibration Absorber)

  • 장선준;;;정형조
    • 한국전산구조공학회논문집
    • /
    • 제22권4호
    • /
    • pp.371-377
    • /
    • 2009
  • 본 연구에서는 회전 및 병진 자유도를 갖는 2자유도 진동계의 동적 특성을 다루었다. 강체의 관성모멘트를 새로운 기계 요소인 이너터로 모델링한 뒤 동강성법을 이용하여 2자유도 진동계의 등가모델을 구하였다. 이때 이너터의 크기에 따라 진동계의 동적특성이 결정되는 것을 보였다. 2자유도 진동계를 진동 흡진기로서 단일 모우드 소거에 적용하였을 경우의 흡진기 설계방법론을 구하였다. 비감쇠 진동흡진기의 경우 해석적인 방법론을 제시하였고, 하나의 감쇠기가 존재하는 경우 고정점법을 적용한 방법론을 소개하였다. 수치 예를 통해서 제시된 방법론을 검증하였다.

Stability Analysis for the Deployment of Unmanned Surface Vehicles

  • Dharne, Avinash G.;Lee, Jaeyong
    • Journal of Advanced Marine Engineering and Technology
    • /
    • 제39권2호
    • /
    • pp.159-165
    • /
    • 2015
  • Motion control schemes are generally classified into three categories (point stabilization, trajectory tracking, and path following). This paper deals with the problem which is associated with the initial deployment of a group of Unmanned Surface Vehicle (USVs) and corresponding point stabilization. To keep the formation of a group of USVs, it is necessary to set the relationship between each vehicle. A forcing functions such as potential fields are designed to keep the formation and a graph Laplacian is used to represent the connectivity between vehicle. In case of fixed topology of the graph representing the communication between the vehicles, the graph Laplacian is assumed constant. However the graph topologies are allowed to change as the vehicles move, and the system dynamics become discontinuous in nature because the graph Laplacian changes as time passes. To check the stability in the stage of deployment, the system is modeled with Kronecker algebra notation. Filippov's calculus of differential equations with discontinuous right hand sides is then used to formally characterize the behavior of USVs. The stability of the system is analyzed with Lyapunov's stability theory and LaSalle's invariance principle, and the validity is shown by checking the variation of state norm.

Coincidences of composites of u.s.c. maps on h-spaces and applications

  • Park, Seh-Ie;Kim, Hoon-Joo
    • 대한수학회지
    • /
    • 제32권2호
    • /
    • pp.251-264
    • /
    • 1995
  • Applications of the classical Knaster-Kuratowski-Mazurkiewicz (si-mply, KKM) theorem and the fixed point theory of multifunctions defined on convex subsets of topological vector spaces have been greatly improved by adopting the concept of convex spaces due to Lassonde [L1]. In this direction, the first author [P5] found that certain coincidence theorems on a large class of composites of upper semicontinuous multifunctions imply many fundamental results in the KKM theory.

  • PDF

점증하중에 의한 강성벽체에 작용하는 토압 (Earth Pressures Acting on the Rigid Wall under Incremental Load)

  • 전용백;권욱화
    • 한국산업융합학회 논문집
    • /
    • 제5권3호
    • /
    • pp.247-254
    • /
    • 2002
  • This study has researched the following conclusion to compare to the existing theory and to examine lateral earth pressure, which have measured to add incremental load on sandy soil, and were different in types of compaction by modeling earth pressure test. Lateral earth pressure by incremental load shows that it is increasing at depth forty four centimeters as 2/3H point for wall high, and under 2/3 H point the variation of earth pressure on incremental load is not conspicuous. Therefor, the more a position of surcharge load is close with fixed wall, the more a variation of lateral earth pressure marks considerably. According to relative compaction density of soil, lateral earth pressure turns up larger effective value for layer compaction test to a thickness of thirty three centimeters than layer compaction test to a thickness of twenty centimeters by the roller.

  • PDF

Robust Controls of a Galvanometer : A Feasibility Study

  • Park, Myoung-Soo;Kim, Young-Chol;Lee, Jae-Won
    • Transactions on Control, Automation and Systems Engineering
    • /
    • 제1권2호
    • /
    • pp.94-98
    • /
    • 1999
  • Optical scanning systems use glavanometers to point the laser beam to the desired position on the workpiece. The angular speed of a galvanometer is typically controlled using Proportional+Integral+Derivative(PID) control algorithms. However, natural variations in the dynamics of different galvanometers due to manufacturing, aging, and environmental factors(i.e., process uncertainty) impose a hard limit on the bandwidth of the galvanometer control system. In general, the control bandwidth translates directly into efficiency of the system response. Since the optical scanning system must have rapid response, the higher control bandwidth is required. Auto-tuning PID algorithms have been accepted in this area since they could overcome some of the problems related to process uncertainty. However, when the galvanometer is attached to a larger mechanical system, the combined dynamics often exhibit resonances. It is well understood that PId algorithms may not have the capacity to increase the control bandwidth in the face of such resonances. This paper compares the achieable performance and robustness of a galvanometer control system using a PID controller tuned by the Ziegler-Nichols method and a controller designed by the Quantitative Feedback Theory(QFT) method. The results clearly indicate that-in contrast to PID designs-QFT can deliver a single, fixed controller which will supply high bandwidth design even when the dynamics is uncertain and includes mechanical resonances.

  • PDF

Buckling and forced oscillation of organic nanoplates taking the structural drag coefficient into account

  • Dao Minh Tien;Do Van Thom;Nguyen Thi Hai Van;Abdelouahed Tounsi;Phung Van Minh;Dao Nhu Mai
    • Computers and Concrete
    • /
    • 제32권6호
    • /
    • pp.553-565
    • /
    • 2023
  • This work is the first to apply nonlocal theory and a variety of deformation plate theories to study the issue of forced vibration and buckling in organic nanoplates, where the effect of the drag parameter inside the structure has been taken into consideration. Whereas previous research on nanostructures has treated the nonlocal parameter as a fixed value, this study accounts for its effect, and finds that its value fluctuates with the thickness of each layer. This is also a new point that no works have mentioned for organic plates. On the foundation of the notion of potential movement, the equilibrium equation is derived, the buckling issue is handled using Navier's solution, and the forced oscillation problem is solved using the finite element approach. Additionally, a set of numerical examples exhibiting the forced vibration and buckling response of organic nanoplates are shown. These findings indicate that the nonlocal parameter and the drag parameter of the structure have a substantial effect on the mechanical responses of organic nanoplates.

독립성분분석에서 Convolution-FFT을 이용한 효율적인 점수함수의 생성 알고리즘 (An Algorithm of Score Function Generation using Convolution-FFT in Independent Component Analysis)

  • 김웅명;이현수
    • 정보처리학회논문지B
    • /
    • 제13B권1호
    • /
    • pp.27-34
    • /
    • 2006
  • 본 연구에서는 엔트로피를 이용한 독립성분분석(ICA : Independent Component Analysis)에서 점수함수(score function)를 생성하는 알고리즘을 제안한다. 점수함수를 생성하기 위해서 원 신호(original signals)에 대한 확률밀도함수의 추정이 반드시 필요하고 밀도함수가 미분 가능해야 한다. 따라서 원 신호에 따른 적응적인 점수 함수를 유도할 수 있도록 커널 기반의 밀도추정(kernel density estimation)방법을 사용하였으며, 보다 빠른 밀도 추정 계산을 위해서 식의 형태를 컨볼루션(convolution) 변환 한 후, 컨볼루션을 빠르게 계산할 수 있는 FFT(Fast Fourier Transform) 알고리즘을 이용하였다. 제안한 점수함수 생성 방법은 원 신호에 확률밀도분포와 추정된 신호의 확률밀도 분포의 오차를 줄이는 역할을 한다 실험 결과, 암묵신호분리(blind source separation)문제에서 기존의 Extended Infomax 알고리즘과 Fixed Point ICA 보다 원 신호와 유사한 밀도함수를 추정하였고, 분리된 신호의 신호대잡음비등(SNR)에 있어서 향상된 성능을 얻을 수 있었다.