• Title/Summary/Keyword: s theorem.

Search Result 1,346, Processing Time 0.025 seconds

Development of Design Formulas for Pipe Loops Used in Ships Considering the Curvature of Corners (코너부 곡률을 고려한 선박용 파이프 루프 설계식 개발)

  • Park, Chi-Mo;Yang, Park-Dal-Chi
    • Journal of Ocean Engineering and Technology
    • /
    • v.23 no.4
    • /
    • pp.91-99
    • /
    • 2009
  • Many longitudinally arranged pipes in ships are subject to considerable displacement loads caused by the hull girder bending of ships and/or thermal loads in some special pipes through which fluids with highly abnormal temperatures are conveyed. As these loads may cause failure in the pipes or their supporting structures, loops have been widely adopted as a measure to prevent such failure, with the idea that they can lower the stress level in a pipe by absorbing some portion of these loads. But since such loops have some negative effects, such as causing extra manufacturing cost and occupying extra space, the number and dimensions of the loops need to be minimized. This research developed design formulas for pipe loops, modeling them as a spring element, for which the axial stiffness is calculated based on the beam theory, incorporating the effects of the curvature of loop corners and the flexibility of the straight portion of the pipe. The accuracy of the proposed design formulas was verified by comparing two results respectively obtained by the proposed formulas and MSC/NASTRAN. The paper ends with a sample application of the proposed formulas showing their efficiency.

Square and Cube Root Algorithms in Finite Field and Their Applications (유한체상의 제곱근과 세제곱근을 찾는 알고리즘과 그 응용)

  • Cho, Gook Hwa;Ha, Eunhye;Koo, Namhun;Kwon, Soonhak
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.37A no.12
    • /
    • pp.1031-1037
    • /
    • 2012
  • We study an algorithm that can efficiently find square roots and cube roots by modifying Tonelli-Shanks algorithm, which has an application in Number Field Sieve (NFS). The Number Field Sieve, the fastest known factoring algorithm, is a powerful tool for factoring very large integer. NFS first chooses two polynomials having common root modulo N, and it consists of the following four major steps; 1. Polynomial Selection 2. Sieving 3. Matrix 4. Square Root. The last step of NFS needs the process of square root computation in Number Field, which can be computed via square root algorithm over finite field.

$L^p$ 공간의 가분성에 관한 연구

  • 김만호
    • The Mathematical Education
    • /
    • v.21 no.3
    • /
    • pp.7-11
    • /
    • 1983
  • A measurable function f defined on a measurable subset A of the real line R is called pth power summable on A if │f│$^{p}$ is integrable on A and the set of all pth power summable functions on A is denoted by L$^{p}$ (A). For each member f in L$^{p}$ (A), we define ∥f∥$_{p}$ =(equation omitted) For real numbers p and q where (equation omitted) and (equation omitted), we discuss the Holder's inequality ∥fg∥$_1$<∥f∥$_{p}$ ∥g∥$_{q}$ , f$\in$L$^{p}$ (A), g$\in$L$^{q}$ (A) and the Minkowski inequality ∥+g∥$_{p}$ <∥f∥$_{p}$ +∥g∥$_{p}$ , f,g$\in$L$^{p}$ (A). In this paper also discuss that L$_{p}$ (A) becomes a metric space with the metric $\rho$ : L$^{p}$ (A) $\times$L$^{p}$ (A) longrightarrow R where $\rho$(f,g)=∥f-g∥$_{p}$ , f,g$\in$L$^{p}$ (A). Then, in this paper prove the Riesz-Fischer theorem, i.e., the space L$^{p}$ (A) is complete and that the space L$^{p}$ (A) is separable.

  • PDF

Development of a Sample Scanner for Atomic Force Microscope (원자 현미경용 샘플 스캐너의 개발)

  • Lee, Dong-Yeon;Lee, Moo-Yeon;Gweon, Dae-Gab
    • Proceedings of the Korean Society for Noise and Vibration Engineering Conference
    • /
    • 2005.11a
    • /
    • pp.879-882
    • /
    • 2005
  • This paper shows a method for design of the nano-positioning planar scanner used in the scanning probe microscope. The planar scanner is composed of flexure guides, piezoelectric actuators and feedback sensors. In the design of flexure guides, the Castigliano's theorem was used to find the stiffness of the guide. The motion amplifying mechanism was used in the piezoelectric actuator to achieve a large travel range. We found theoretically the travel range of the total system and verified using the commercial FEM(Finite element method) program. The maximum travel range of the planar scanner is above than 140 $\mu$m. The 3 axis positioning capability was verified by the mode analysis using the FEM program. Moreover, we presented the actual AFM(Atomic Force Microscope) imaging results with up to 2Hz imaging scan rate. Experimental results show that the properties of the proposed planar scanner is well enough to be used in SPM applications like AFM.

  • PDF

ON n-ABSORBING IDEALS AND THE n-KRULL DIMENSION OF A COMMUTATIVE RING

  • Moghimi, Hosein Fazaeli;Naghani, Sadegh Rahimi
    • Journal of the Korean Mathematical Society
    • /
    • v.53 no.6
    • /
    • pp.1225-1236
    • /
    • 2016
  • Let R be a commutative ring with $1{\neq}0$ and n a positive integer. In this article, we introduce the n-Krull dimension of R, denoted $dim_n\;R$, which is the supremum of the lengths of chains of n-absorbing ideals of R. We study the n-Krull dimension in several classes of commutative rings. For example, the n-Krull dimension of an Artinian ring is finite for every positive integer n. In particular, if R is an Artinian ring with k maximal ideals and l(R) is the length of a composition series for R, then $dim_n\;R=l(R)-k$ for some positive integer n. It is proved that a Noetherian domain R is a Dedekind domain if and only if $dim_n\;R=n$ for every positive integer n if and only if $dim_2\;R=2$. It is shown that Krull's (Generalized) Principal Ideal Theorem does not hold in general when prime ideals are replaced by n-absorbing ideals for some n > 1.

Preliminary Results of Polarimetric Characteristics for C-band Quad-Polarization GB-SAR Images Using H/A/$\alpha$ Polarimetric Decomposition Theorem

  • Kang, Moon-Kyung;Kim, Kwang-Eun;Lee, Hoon-Yol;Cho, Seong-Jun;Lee, Jae-Hee
    • Korean Journal of Remote Sensing
    • /
    • v.25 no.6
    • /
    • pp.531-546
    • /
    • 2009
  • The main objective of this study is to analyse the polarimetric characteristics of the various terrain targets by ground-based polarimetric SAR system and to confirm the compatible and effective polarimetric analysis method to reveal the polarization properties of different terrain targets by the GB-SAR. The fully polarimetric GB-SAR data with HH, HV, VH, and VV components were focused using the Deramp-FFT (DF) algorithm. The focused GB-SAR images were processed by the H/A/$\alpha$ polarimetric decomposition and the combined H/$\alpha$ or H/A/$\alpha$ and Wishart classification method. The segmented image and distribution graphs in H/$\alpha$ plane using Cloude and Pottier's method showed a reliable result that this quad-polarization GB-SAR data could be useful to classified corresponding scattering mechanism. The H/$\alpha$-Wishart and H/A/$\alpha$-Wishart classification results showed that a natural media and an artificial target were discriminated by the combined classification, in particular, after applying multi-looking and the Lee refined speckle filter.

A Study on the Quantitative Determination of Failure Effect Probability for Criticality Analysis on System (시스템의 치명도 분석을 위한 고장영향확률 정량화 방안 연구)

  • Lee, Myeong-seok;Choi, Seong-Dae;Hur, Jang-wook
    • Journal of the Korean Society of Manufacturing Process Engineers
    • /
    • v.18 no.8
    • /
    • pp.31-37
    • /
    • 2019
  • The inter-development of FMECA is very important to assess the effect of potential failures during system operation on mission, safety and performance. Among these, criticality analysis is a core task that identifies items with high risk and selects the analyzed objects as the key management targets and reflects their effects to the design optimization. In this paper, we analyze the theory related to criticality analysis following US military standard, and propose a method to quantify the failure effect probability for objective criticality analysis. The criticality analysis according to the US military standard depends on the subjective judgment of the failure probability. The methodology for quantifying the failure effect probability is presented by using the reliability theory and the Bayes theorem. The failure rate is calculated by applying the method to quantify failure effect probability.

Environmental Noise Prediction using Scale Model: A Measurement Methodology

  • Kim, Tae-Min;Han, Jae-Hyun;Kim, Jeung-Tae
    • International Journal of Railway
    • /
    • v.4 no.2
    • /
    • pp.42-49
    • /
    • 2011
  • Today, rolling stock has become a fast and convenient mode of transportation and has witnessed increased demand. But the speed improvement has resulted in increased aerodynamic noise and therefore residential districts near the railroad tracks are exposed to ever increasing noise level. A study on methodologies for measuring and appraising rolling stock's environmental noise has therefore become an important area of endeavor. In the case of the environmental noise, there are no changes in tone so prediction can be made by reducing areas around the railway. The present study explores estimation of the noise around the railway using scale model, and the source of the noise has been investigated as well. The scale model of rolling stock will have to be able to measure high frequency noise and it is required to be generated in a short amount of time. Since popping a balloon or firing a gun fits this requirement the present study analyzed the characteristics of these two different noise sources. Measurement was made in a large vacant lot and the reflection due to the ground was also examined. The method proposed here can be used in the future for predicting the environmental noise of railway vehicles.

MULTIPLICITY OF SOLUTIONS FOR QUASILINEAR SCHRÖDINGER TYPE EQUATIONS WITH THE CONCAVE-CONVEX NONLINEARITIES

  • Kim, In Hyoun;Kim, Yun-Ho;Li, Chenshuo;Park, Kisoeb
    • Journal of the Korean Mathematical Society
    • /
    • v.58 no.6
    • /
    • pp.1461-1484
    • /
    • 2021
  • We deal with the following elliptic equations: $\{-div({\varphi}^{\prime}(\left|{\nabla}z\right|^2){\nabla}z)+V(x)\left|z\right|^{{\alpha}-2}z={\lambda}{\rho}(x)\left|z\right|^{r-2}z+h(x,z),\\z(x){\rightarrow}0,\;as\;\left|x\right|{\rightarrow}{\infty},$ in ℝN , where N ≥ 2, 1 < p < q < N, 1 < α ≤ p*q'/p', α < q, 1 < r < min{p, α}, φ(t) behaves like tq/2 for small t and tp/2 for large t, and p' and q' the conjugate exponents of p and q, respectively. Here, V : ℝN → (0, ∞) is a potential function and h : ℝN × ℝ → ℝ is a Carathéodory function. The present paper is devoted to the existence of at least two distinct nontrivial solutions to quasilinear elliptic problems of Schrödinger type, which provides a concave-convex nature to the problem. The primary tools are the well-known mountain pass theorem and a variant of Ekeland's variational principle.

Function space formulation of the 3-noded distorted Timoshenko metric beam element

  • Manju, S.;Mukherjee, Somenath
    • Structural Engineering and Mechanics
    • /
    • v.69 no.6
    • /
    • pp.615-626
    • /
    • 2019
  • The 3-noded metric Timoshenko beam element with an offset of the internal node from the element centre is used here to demonstrate the best-fit paradigm using function space formulation under locking and mesh distortion. The best-fit paradigm follows from the projection theorem describing finite element analysis which shows that the stresses computed by the displacement finite element procedure are the best approximation of the true stresses at an element level as well as global level. In this paper, closed form best-fit solutions are arrived for the 3-noded Timoshenko beam element through function space formulation by combining field consistency requirements and distortion effects for the element modelled in metric Cartesian coordinates. It is demonstrated through projection theorems how lock-free best-fit solutions are arrived even under mesh distortion by using a consistent definition for the shear strain field. It is shown how the field consistency enforced finite element solution differ from the best-fit solution by an extraneous response resulting from an additional spurious force vector. However, it can be observed that when the extraneous forces vanish fortuitously, the field consistent solution coincides with the best-fit strain solution.