• 제목/요약/키워드: Form 10-Q

검색결과 343건 처리시간 0.024초

BOUNDEDNESS AND CONTINUITY OF SOLUTIONS FOR STOCHASTIC DIFFERENTIAL INCLUSIONS ON INFINITE DIMENSIONAL SPACE

  • Yun, Yong-Sik;Ryu, Sang-Uk
    • 대한수학회보
    • /
    • 제44권4호
    • /
    • pp.807-816
    • /
    • 2007
  • For the stochastic differential inclusion on infinite dimensional space of the form $dX_t{\in}\sigma(X_t)dW_t+b(X_t)dt$, where ${\sigma}$, b are set-valued maps, W is an infinite dimensional Hilbert space valued Q-Wiener process, we prove the boundedness and continuity of solutions under the assumption that ${\sigma}$ and b are closed convex set-valued satisfying the Lipschitz property using approximation.

REAL n-DIMENSIONAL QR-SUBMANIFOLDS OF MAXIMAL QR-DIMENSION IMMERSED IN QP(n+p)/4

  • Kim, Hyang-Sook;Kwon, Jung-Hwan;Pak, Jin-Suk
    • 대한수학회논문집
    • /
    • 제24권1호
    • /
    • pp.111-125
    • /
    • 2009
  • The purpose of this paper is to study n-dimensional QR-submanifolds of (p-1) QR-dimension immersed in a quaternionic projective space $QP^{(n+p)/4}$ of constant Q-sectional curvature 4 and especially to determine such submanifolds under the additional condition concerning with shape operator.

On a Reverse of the Slightly Sharper Hilbert-type Inequality

  • Zhong, Jianhua
    • Kyungpook Mathematical Journal
    • /
    • 제49권4호
    • /
    • pp.731-742
    • /
    • 2009
  • In this paper, by introducing parameters ${\lambda}$, ${\alpha}$and two pairs of conjugate exponents (p, q), (r, s) and applying the improved Euler-Maclaurin's summation formula, we establish a reverse of the slightly sharper Hilbert-type inequality. As applications, the strengthened version and the equivalent form are given.

Electrocatalytic Reduction of Dioxygen by Cobaltporphyrin in Aqueous Solutions

  • 전승원;이효경;김송미
    • Bulletin of the Korean Chemical Society
    • /
    • 제19권8호
    • /
    • pp.825-830
    • /
    • 1998
  • The electrocatalytic reduction of dioxygen by Co(TTFP)(Y)2 {Y=H2O or HO-} is investigated by cyclic voltammetry, spectroelectrochemistry, hydrodynamic voltammetry at a glassy carbon electrode in dioxygen-saturated aqueous solutions. Electrocatalytic reduction of dioxygen by CoⅡ(TTFP)(Y)2 establishes a pathway of 2e- reduction to form hydrogen peroxide, and then the generated hydrogen peroxide is reduced to water by CoⅠ(TTFP)(Y)2 at more negative potential. CoⅡ(TTFP)(Y)2 may bind dioxygen to produce the adduct complex [CoⅡ-O2 or CoⅢ-O2] which exhibits a Soret band at 411 nm and Q band at 531 nm.

메타 물질을 이용한 초소형, 광대역 90° 커플러 (Compact and Broadband 90° Coupler Using a Metamaterial)

  • 김홍준
    • 한국전자파학회논문지
    • /
    • 제23권7호
    • /
    • pp.844-847
    • /
    • 2012
  • 메타 물질의 한 형태인 LHTL(Left-Handed Transmission Line)과 기존의 전송 선로 형태인 RHTL(Right-Handed Transmission Line)을 이용하여 광대역 I-Q 벡터 신호 생성을 위한 $90^{\circ}$ 커플러를 설계, 제작하고 측정을 하였다. LHTL과 RHTL 모두 커패시터와 인덕터를 이용하여 합성 전송 선로 형태로 구성함으로써, 그 크기를 최소화 하였다. 또한, 제안된 커플러 제작에 필요한 Wilkinson 전력 분배기를 합성 RHTL을 이용하여 간단하게 구현함으로써 전체 회로의 크기를 $11mm{\times}12mm$로 만들 수 있었다. 주파수 범위 0.8~1.25 GHz에 대해 출력의 위상 차이가 $90^{\circ}{\pm}5^{\circ}$를 유지함으로써 광대역 $90^{\circ}$ 커플러를 작은 크기로 만들 수 있었다. 동 주파수 범위에 대해 삽입 손실을 1.6 dB 이하로, 반사 손실을 10.1 dB 이상으로 유지 가능했다. 필자가 아는 한 이는 그 주파수 대에서 가장 작은 광대역 $90^{\circ}$ 커플러이며, MMIC(Monolithic Microwave Integrated Circuit)로 만들 경우 그 크기를 훨씬 더 줄일 수 있을 것이다.

반야월층(半夜月層)의 지하수운동(地下水運動)에 관(關)한 연구(硏究) (A Studyon the Movment of Ground Water of Banayweol Formation)

  • 김영기
    • 자원환경지질
    • /
    • 제9권4호
    • /
    • pp.225-240
    • /
    • 1976
  • This study deals with the flow of bed rock ground water of Banyaweol Formation, which is presently cleared up as a laminar flow. The result obtained may be summarized as the following. 1) The Banyaweol Formation consists mainly of thin-bedded, green to blackish green shale, mudstone, and marl. The marl and mudstone alternatively occur with shale. The marl and mudstone form a aquifer of Banyaweol Formation. In this study, a group of aquifer is in convenience named as a aquifer zone. The aquifer occurs in lenticular form. The aquifer seems to be a type of artesian aquifer because it is covered with aquicludes, but it actually forms a unconfined aquifer because its piezometric surface stays under the lower aquiclude. The lowering of piezometric level is formed because of leakage of the ground water to the lower aquifer undersaturated. 2) The coefficient of permeability of Banyaweol Formation's ground water body (K) is derived by using Dupuit's equation as the following ${\log}K=\frac{CK^2-dK+f}{aK-b}\;\(M=1.365(2H-s)s\\M={\log}1.956s{\sqrt{H}}r\)$ here, $$a=\sum_{1}M_iG_i$$ $$b={\frac{1}{2}log{\sum_{i}}Q_i{^2}$$ $$c=2{\sum_{i}}M_i{^2}$$ $$d=loge{\sum_{i}}M_{i}Q_{i}+2{{\sum_{i}}N_{i}Q_{i}$$ $$f=loge{\sum_{i}}Q_i{^2}N_i$$ If the measured values substituted for the above equation, the coefficient of permeability of the aquifer is 4.1m/day. The coefficient of storge of the aquifer is $2.8{\times}10^{-4}$ if the measured values substituted for Theis's equation. Using the above constants, the filtration velocity of the aquifer is $2.1{\times}1O^{-1}m/day$and the daily flow quantity of the ground water is $847.38m^{3}/day$. 3) In order to understand the time necessary for a circulation of ground water body, the contents of tritum contained in the ground water are measured as 2.3 T.U. at the Korea Atomic Energy Research Institute. Before 1952, the average concentration of tritium per year in groundwater was reported as 10T. u., taking it as the standard, the groundwater of the present study 26.25 years old. Therofore, the groundwater of the Banyaweol Formation is judged as an relatively old groundwater. It is characteristic that the ground water of Banyawol Formation is laminar flow as well as unconfined aquifer and ground water flow of relatively long time. 4) The nature, means of flow, and circulation of Banyaweol Formation's ground water body make it possible set up this ground water body as a ground water system.

  • PDF

노이즈 필터 도면 표준화 방안에 관한 연구 (A study on the standardization of Noise Filter drawings)

  • 이지혁
    • 품질경영학회지
    • /
    • 제46권3호
    • /
    • pp.379-396
    • /
    • 2018
  • Purpose: The purpose of this study was to propose a standard form of noise filter drawing, which is widely used in the field of weapon systems, to define the essential specification which is not standardized at the existing drawings and to employ the reference for manufacturing and qualification test. Methods: To do that, it identifies the improvements to analyze 19 noise filter drawings, studies the principle of noise filtering to find the essential part of the spec. and reviews the MIL-STD-220C and KS IEC 60939, which is the widely used as a formal spec. pertaining to the noise filter. Throughout the study, a standard form is developed to standardize the attenuation characteristics and find eight crucial metrics to specify the noise filter. Results: The results of this study are as follows; The standardized drawings can be used as the qualification test of the item and the manufacturing and engineering documents to make the noise filter, which are also applicable to the reference document to review KDS(Korea Defense Standard) drawings.

능동형 임플란터블 디바이스 기술동향: BCI 응용 중심 (Active Implantable Device Technology Trend: BCI Application Focus)

  • 이성규;변춘원;김이경;박형일
    • 전자통신동향분석
    • /
    • 제32권6호
    • /
    • pp.27-39
    • /
    • 2017
  • A variety of medical devices are utilized to repair or help injured body functions after accidental injury(such as a traffic accident), population aging, or disease. Such medical devices are being actively researched and developed in portable form, skin patchable type, and further, implantable form. In the future, active implantable medical devices for neuro and brain sciences are expected to be developed. Active implantable medical devices that detect brain signals and control neurology for a wider understanding of human cognition and nerve functions, and for an understanding and treatment of various diseases, are being actively pursued for future use. In this paper, the core elements of implantable devices that can be applied to neuro and brain sciences are classified into electrode technologies for bio-signal acquisition and stimulation, analog/digital circuit technologies for signal processing, human body communication technologies, wireless power transmission technologies for continuous device use, and device integration technologies to integrate them. In each chapter, the latest technology development trends for each detailed technology field are reviewed.

On Recovering Erased RSA Private Key Bits

  • Baek, Yoo-Jin
    • International Journal of Internet, Broadcasting and Communication
    • /
    • 제10권3호
    • /
    • pp.11-25
    • /
    • 2018
  • While being believed that decrypting any RSA ciphertext is as hard as factorizing the RSA modulus, it was also shown that, if additional information is available, breaking the RSA cryptosystem may be much easier than factoring. For example, Coppersmith showed that, given the 1/2 fraction of the least or the most significant bits of one of two RSA primes, one can factorize the RSA modulus very efficiently, using the lattice-based technique. More recently, introducing the so called cold boot attack, Halderman et al. showed that one can recover cryptographic keys from a decayed DRAM image. And, following up this result, Heninger and Shacham presented a polynomial-time attack which, given 0.27-fraction of the RSA private key of the form (p, q, d, $d_p$, $d_q$), can recover the whole key, provided that the given bits are uniformly distributed. And, based on the work of Heninger and Shacham, this paper presents a different approach for recovering RSA private key bits from decayed key information, under the assumption that some random portion of the private key bits is known. More precisely, we present the algorithm of recovering RSA private key bits from erased key material and elaborate the formula of describing the number of partially-recovered RSA private key candidates in terms of the given erasure rate. Then, the result is justified by some extensive experiments.

'선형대수학' 플립드러닝(Flipped Learning) 강의 모델 설계 및 적용 (Flipped Learning teaching model design and application for the University's "Linear Algebra")

  • 박경은;이상구
    • 한국수학교육학회지시리즈E:수학교육논문집
    • /
    • 제30권1호
    • /
    • pp.1-22
    • /
    • 2016
  • 본 연구에서는 문헌 및 사례 분석을 통해 효과적인 플립드러닝 강의 모델을 모색해 보고, 그간 대학에서의 '선형대수학' 강좌를 위하여 시도한 다양한 플립드러닝 강의 경험을 정리하여 '선형대수학' 강의 모델을 개발하고 실제 강의 현장에 적용해 플립드러닝의 효과를 연구자의 입장에서 뿐만 아니라 학습자의 관점에서도 그 과정과 결과를 분석하며 검증하였다. 그 결과, 플립드러닝은 학생들이 미리 온라인 동영상 강의를 듣고 수업에 참여하므로 다양한 학습자 중심의 활동으로 구성이 가능하며, 따라서 수학적 지식 습득에 성취감을 고취시킬 뿐 아니라 학생들의 참여도와 자신감 그리고 도전의욕 증가에 유의미한 영향을 준 것을 충분한 데이터와 설문조사를 최신 통계기법을 활용하여 분석함으로 확인하였다.