• 품질경영학회지
• /
• 제7권2호
• /
• pp.7-10
• /
• 1979

In this paper the Rao-Blackwell and Lehmann-$Scheff{\acute{e}}$ Theorem are used to drive the minimum variance unbiased estimators of system reliability for a number of distributions when a system consists of n Components whose random life times are assumed to be independent and identically distributed. For the case of a negative exponential life time, we obtain the maximum likelihood estimator of the system reliability and compair it with minimum variance unbiased estimator of the system reliability.

• 대한수학회보
• /
• 제58권5호
• /
• pp.1053-1068
• /
• 2021

We investigate the spacelike hypersurface Mⁿ with constant mean curvature (CMC) in a Lorentz Einstein manifold Lⁿ⁺¹₁, which is supposed to obey some appropriate curvature constraints. Applying a suitable Simons type formula jointly with the well known generalized maximum principle of Omori-Yau, we obtain some rigidity classification theorems and pinching theorems of hypersurfaces.

• Nonlinear Functional Analysis and Applications
• /
• 제29권2호
• /
• pp.419-434
• /
• 2024

This paper is devoted to the existence of solutions for Kirchhoff type equations with singular nonlinearities, sub-critical and critical exponent. By using the Nehari manifold and Maximum principle theorem, the existence of at least two distinct positive solutions is obtained.

• 한국지반환경공학회 논문집
• /
• 제2권4호
• /
• pp.15-27
• /
• 2001

본 연구에서는 유한요소해석을 통해 파형강판 암거의 단면력(압축력, 휨모멘트) 계산식을 제안하였다. 3단계의 시공과정(정점부까지의 뒷채움, 토피고까지의 뒷채움, 활하중 재하)에 대해 지반-구조물 상호작용을 고려한 거동분석으로부터 최대 압축력 및 최대 휨모멘트 발생조건을 도출하였고, 이러한 거동분석 결과와 반원 아치구조에 대한 Castigliano 제2정리의 적용으로부터 단면력식의 형태를 제안하였다. 또한, 최대 압축력 및 최대 휨모멘트를 유발하는 조건하에서 다양한 기하형태와 지반-구조물의 상대강성을 고려한 유한요소해석 결과로부터 제안된 단면력식을 구성하는 계수를 결정하였다.

• 대한산업공학회지
• /
• 제19권4호
• /
• pp.105-114
• /
• 1993

In this article, a planar geodesic (2-dimensional minimum length curve between two points) on which the maximum curvature is constrained and with prescribed initial and terminal directions is studied. A generic problem is formulated by the minimum-time optimal control problem in free terminal time. It is shown that the optimal path ($G^2$) may contain a singular arc or not and that the general types of $G^2$ can he classified into the 3 classes of control sequences. Finally, the explicit form of $G^2$ is derived geometrically as well as algebraically form the main theorem of this article.

• 한국화재소방학회논문지
• /
• 제32권2호
• /
• pp.17-23
• /
• 2018

본 연구에서는 Buckingham 파이 정리를 이용하여 구획 공간에서 화재가 발생한 경우 벽면을 구성하는 재료의 열전도 계수와 내부 온도의 상관관계에 관한 연구를 수행하였다. 이를 위해서 기존 무차원 변수의 주요 인자를 고려하여 발열량, 열전도계수, 구획공간의 체적, 벽면 두께 그리고 대류 열전달 계수의 관계를 분석하였다. 또한, 발열량에 대한 화염에서의 최대 온도 그리고 벽면의 온도를 산출하기 위해서 내화보드를 사용하여 ISO 9705 룸 코너 시험기(Room Corner Tester)의 1/6 크기를 갖는 축소 규모의 구조물을 제작하였으며, 10 cm, 15 cm 그리고 20 cm인 정사각형 화원에 대해서 가솔린 화재실험을 수행하여 국부 지점의 산소 농도와 화염에서의 온도분포를 측정하였다. 그 결과 대류 열전달 계수와 열전도 계수의 변화에 따라서 외벽에서의 온도가 증가하는 조건을 제시하였으며, 발열량 변화에 대한 Buckingham 파이의 무차원 경험식을 도출하였다. 본 연구 결과는 구획 공간에서 외벽 형상 및 열전도 계수의 변화를 고려한 화재 현상을 연구하기 위한 기초 자료의 활용이 가능할 것으로 사료된다.

• Advances in nano research
• /
• 제6권2호
• /
• pp.163-182
• /
• 2018

Based on the Reissner mixed variational theorem (RMVT), the authors present a nonlocal Timoshenko beam theory (TBT) for the nonlinear free vibration analysis of multi-walled carbon nanotubes (MWCNT) embedded in an elastic medium. In this formulation, four different edge conditions of the embedded MWCNT are considered, two different models with regard to the van der Waals interaction between each pair of walls constituting the MWCNT are considered, and the interaction between the MWCNT and its surrounding medium is simulated using the Pasternak-type foundation. The motion equations of an individual wall and the associated boundary conditions are derived using Hamilton's principle, in which the von $K{\acute{a}}rm{\acute{a}}n$ geometrical nonlinearity is considered. Eringen's nonlocal elasticity theory is used to account for the effects of the small length scale. Variations of the lowest frequency parameters with the maximum modal deflection of the embedded MWCNT are obtained using the differential quadrature method in conjunction with a direct iterative approach.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2006년도 하계종합학술대회
• /
• pp.825-826
• /
• 2006

In this paper, we propose an algorithm that applies Rolle's theorem to automatically detect and label peak III and V of the normal, suprathreshold auditory brainstem response (ABR). ABR waveform were recorded from 55 normal-hearing ears at screening levels varying from 30 to 60 dBnHL. For each ABR waveform, the peak-finding algorithm proceeded in fourth steps: (1) Select maximum and minimum values of the target ABR waveform, (2) divide this range into n equal parts, (3) effective candidate peaks in the ABR waveform are identified using Rolle's theorem (4) peak III and V are identified from these candidate peaks based on their latency and morphology. As a result, proposed auto dectection method showed high correlation and accuracy with manual detection method performed by clinician. By using proposed algorithm, clinician can detect and label peak III and V faster and more efficient than manual detection method.

• 한국정보통신학회논문지
• /
• 제21권6호
• /
• pp.1083-1091
• /
• 2017

NIST 표준에 정의된 소수체(prime field) GF(p) 상의 224-비트 타원곡선을 지원하는 타원곡선 암호 프로세서를 설계하였다. 타원곡선 암호의 핵심 연산인 스칼라 점 곱셈을 수정형 Montgomery ladder 알고리듬을 이용하여 구현하였다. 점 덧셈과 점 두배 연산은 투영(projective) 좌표계를 이용하여 연산량이 많은 나눗셈 연산을 제거하였으며, 소수체 상의 덧셈, 뺄셈, 곱셈, 제곱 연산만으로 구현하였다. 스칼라 점 곱셈의 최종 결과값은 다시 아핀(affine) 좌표계로 변환되어 출력하며, 이때 사용되는 역원 연산은 Fermat's little theorem을 이용하여 구현하였다. 설계된 ECC 프로세서를 Virtex5 FPGA로 구현하여 정상 동작함을 확인하였다. $0.18{\mu}m$공정의 CMOS 셀 라이브러리로 합성한 결과 10 MHz의 동작 주파수에서 2.7-Kbit RAM과 27,739 GE로 구현되었고, 최대 71 MHz의 동작 주파수를 갖는다. 스칼라 점 곱셈에 1,326,985 클록 사이클이 소요되며, 최대 동작 주파수에서 18.7 msec의 시간이 소요된다.

• Structural Engineering and Mechanics
• /
• 제27권6호
• /
• pp.741-771
• /
• 2007

Tests were conducted on two partially pre-stressed concrete solid beams subjected to combined loading of bending, shear and torsion. The beams were designed using the Direct Design Method which is based on the Lower Bound Theorem of the Theory of Plasticity. Both beams were of $300{\times}300mm$ cross-section and 3.8 m length. The two main variables studied were the ratio of the maximum shear stress due to the twisting moment, to the shear stress arising from the shear force, which was varied between 0.69 and 3.04, and the ratio of the maximum twisting moment to the maximum bending moment which was varied between 0.26 and 1.19. The required reinforcement from the Direct Design Method was compared with requirements from the ACI and the BSI codes. It was found that, in the case of bending dominance, the required longitudinal reinforcements from all methods were close to each other while the BSI required much larger transverse reinforcement. In the case of torsion dominance, the BSI method required much larger longitudinal and transverse reinforcement than the both the ACI and the DDM methods. The difference in the transverse reinforcement is more pronounce. Experimental investigation showed good agreement between design and experimental failure loads of the beams designed using the Direct Design Method. Both beams failed within an acceptable range of the design loads and underwent ductile behaviour up to failure. The results indicate that the Direct Design Method can be successfully used to design partially prestressed concrete solid beams which cater for the combined effect of bending, shear and torsion loads.