• 제목/요약/키워드: s theorem.

검색결과 1,349건 처리시간 0.024초

ON SOME GENERALIZED OPERATOR EQUILIBRIUM PROBLEMS

  • Kim, Won Kyu
    • 충청수학회지
    • /
    • 제20권1호
    • /
    • pp.59-64
    • /
    • 2007
  • In this paper, we will introduce the generalized operator equlibrium problem and generalized operator quasi-equlibrium problem which generalize operator equlibrium problem due to Kazmi and Raouf into multi-valued and quasi-equlibrium problems. Using a Park's fixed point theorem, we will prove a new existence theorem on generalized operator equlibrium problem which serves as a basic existence theorem for various kinds of nonlinear problems.

  • PDF

A functional central limit theorem for positively dependent random fields

  • Tae Sung Kim;Eun Yang Seok
    • 대한수학회논문집
    • /
    • 제11권1호
    • /
    • pp.265-272
    • /
    • 1996
  • In this note we prove a functional central limit theorem for linearly positive quadrant dependent(LPQD) random fields, satisfying some assumption on covariances and the moment condition $\sup_{n \in \Zeta^d} E$\mid$S_n$\mid$^{2+\rho} < \infty$ for some $\rho > 0$. We also apply this notion to random measures.

  • PDF

A CONVERSE THEOREM ON h-STABILITY VIA IMPULSIVE VARIATIONAL SYSTEMS

  • Choi, Sung Kyu;Koo, Namjip
    • 대한수학회지
    • /
    • 제53권5호
    • /
    • pp.1115-1131
    • /
    • 2016
  • In this paper we develop useful relations which estimate the difference between the solutions of nonlinear impulsive differential systems with different initial values. Then we obtain the converse h-stability theorem of Massera's type for the nonlinear impulsive systems by employing the $t_{\infty}$-similarity of the associated impulsive variational systems and relations.

괴델의 불완전성 정리가 양진주의의 근거가 될 수 있는가? (Can Gödel's Incompleteness Theorem be a Ground for Dialetheism?)

  • 최승락
    • 논리연구
    • /
    • 제20권2호
    • /
    • pp.241-271
    • /
    • 2017
  • 양진주의는 참인 모순이 존재한다는 입장이다. 필자는 이 글에서 괴델 정리가 양진주의의 근거라는 프리스트의 논변이 설득력이 없음을 논할 것이다. 이는 괴델 증명이 우리에게 주는 교훈은 임의의 충분히 강한 산수에 관한 이론이 완전하면서 일관적일 수 없다는 것이기 때문이다. 다음으로 필자는 프리스트의 비일관적이고 완전한 산수에서 모순이 도출될 수 있음을 설명할 것이다. 그리고 괴델 문장이 비일관적이고 완전한 산수이론에 적용되어 양진주의에 관한 대안논변을 제시할 수 있음을 소개하고 이 경우에는 순환성의 문제가 있음을 논할 것이다. 요약해서, 필자는 괴델 정리 및 그와 관련된 정리는 완전한 이론들과 일관적인 이론들 간의 관계를 보여줄 뿐임을 주장할 것이다. 괴델 문장의 적용을 통해 도출된 모순이 중간값과 같은 참인 문장의 값을 지닐 수 있는 것 역시 산수에 관한 비일관 모형에서일 뿐이다. 비일관성이나 완전성에 관한 가정을 하지 않는다면, 괴델 문장의 적용이 참인 모순을 이끌어 낼 수 없으며 그렇기에 괴델 정리 및 그와 관련된 정리는 양진주의의 근거가 될 수 없다.

  • PDF

Utkin 정리의 단일입력 불확실 선형 시스템에 대한 증명 (A Poof of Utkin's Theorem for a SI Uncertain Linear Case)

  • 이정훈
    • 전자공학회논문지SC
    • /
    • 제48권6호
    • /
    • pp.8-14
    • /
    • 2011
  • 본 연구에서는 불확실 단일 입력 시스템의 경우에 대하여 Utkin 정리의 증명을 제시한다. 소위 두가지의 대각화 방법(Diagonalization Method)이라 불리는 Utkin 정리의 두 변환 방법에 대한 불변 정리를 비교적으로 분명히 증명한다. 슬라이딩모드의 수식 즉 슬라이딩 면은 두가지 대각화 변환에 대하여 변화 없고 두 인가된 제어입력은 같은 이득을 갖는다. 두가지 대각화 방법에 의하여 같은 결과를 얻는다. 설계 예와 시뮬레이션 연구를 통하여 제안된 결과의 효용성을 입증한다.

Prediction of Aerodynamic Loads for NREL Phase VI Wind Turbine Blade in Yawed Condition

  • Ryu, Ki-Wahn;Kang, Seung-Hee;Seo, Yun-Ho;Lee, Wook-Ryun
    • International Journal of Aeronautical and Space Sciences
    • /
    • 제17권2호
    • /
    • pp.157-166
    • /
    • 2016
  • Aerodynamic loads for a horizontal axis wind turbine of the National Renewable Energy Laboratory (NREL) Phase VI rotor in yawed condition were predicted by using the blade element momentum theorem. The classical blade element momentum theorem was complemented by several aerodynamic corrections and models including the Pitt and Peters' yaw correction, Buhl's wake correction, Prandtl's tip loss model, Du and Selig's three-dimensional (3-D) stall delay model, etc. Changes of the aerodynamic loads according to the azimuth angle acting on the span-wise location of the NREL Phase VI blade were compared with the experimental data with various yaw angles and inflow speeds. The computational flow chart for the classical blade element momentum theorem was adequately modified to accurately calculate the combined functions of additional corrections and models stated above. A successive under-relaxation technique was developed and applied to prevent possible failure during the iteration process. Changes of the angle of attack according to the azimuth angle at the specified radial location of the blade were also obtained. The proposed numerical procedure was verified, and the predicted data of aerodynamic loads for the NREL Phase VI rotor bears an extremely close resemblance to those of the experimental data.

A FIXED POINT APPROACH TO THE STABILITY OF THE FUNCTIONAL EQUATION RELATED TO DISTANCE MEASURES

  • Shiny, Hwan-Yong;Kim, Gwang Hui
    • Korean Journal of Mathematics
    • /
    • 제24권2호
    • /
    • pp.297-305
    • /
    • 2016
  • In this paper, by using fixed point theorem, we obtain the stability of the following functional equations $$f(pr,qs)+g(ps,qr)={\theta}(p,q,r,s)f(p,q)h(r,s)\\f(pr,qs)+g(ps,qr)={\theta}(p,q,r,s)g(p,q)h(r,s)$$, where G is a commutative semigroup, ${\theta}:G^4{\rightarrow}{\mathbb{R}}_k$ a function and f, g, h are functionals on $G^2$.

NORMALITY CRITERIA FOR A FAMILY OF HOLOMORPHIC FUNCTIONS CONCERNING THE TOTAL DERIVATIVE IN SEVERAL COMPLEX VARIABLES

  • Cao, Tingbin;Liu, Zhixue
    • 대한수학회지
    • /
    • 제53권6호
    • /
    • pp.1391-1409
    • /
    • 2016
  • In this paper, we investigate a family of holomorphic functions in several complex variables concerning the total derivative (or called radial derivative), and obtain some well-known normality criteria such as the Miranda's theorem, the Marty's theorem and results on the Hayman's conjectures in several complex variables. A high-dimension version of the famous Zalcman's lemma for normal families is also given.

New chaotic map development and its application in encrypted color image

  • JarJar, Abdellatif
    • Journal of Multimedia Information System
    • /
    • 제8권2호
    • /
    • pp.131-142
    • /
    • 2021
  • This paper traces the process of constructing a new one-dimensional chaotic map, and will provide a simple application in color image encryption. The use of Sarkovskii's theorem will make it possible to determine the existence of chaos and restrict all conditions to ensure the existence of this new sequence. In addition, the sensitivity to initial conditions will be proved by Lyapunov's index value. Similarly, the performance of this new chaotic map will be illustrated graphically and compared with other chaotic maps most commonly used in cryptography. Finally, a humble color image encryption application will show the power of this new chaotic map.