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

검색결과 3,543건 처리시간 0.023초

Design and ultimate behavior of RC plates and shells: two case studies

  • Min, Chang-Shik
    • Structural Engineering and Mechanics
    • /
    • 제14권2호
    • /
    • pp.171-190
    • /
    • 2002
  • Two cases of design are performed for the hyperbolic paraboloid saddle shell (Lin-Scordelis saddle shell) and the hyperbolic cooling tower (Grand Gulf cooling tower) to check the design strength against a consistent design load, therefore to verify the adequacy of the design algorithm. An iterative numerical computational algorithm is developed for combined membrane and flexural forces, which is based on equilibrium consideration for the limit state of reinforcement and cracked concrete. The design algorithm is implemented in a finite element analysis computer program developed by Mahmoud and Gupta. The amount of reinforcement is then determined at the center of each element by an elastic finite element analysis with the design ultimate load. Based on ultimate nonlinear analyses performed with designed saddle shell, the analytically calculated ultimate load exceeded the design ultimate load from 7% to 34% for analyses with various magnitude of tension stiffening. For the cooling tower problem the calculated ultimate load exceeded the design ultimate load from 26% to 63% with similar types of analyses. Since the effective tension stiffening would vary over the life of the shells due to environmental factors, a degree of uncertainty seems inevitable in calculating the actual failure load by means of numerical analysis. Even though the ultimate loads are strongly dependent on the tensile properties of concrete, the calculated ultimate loads are higher than the design ultimate loads for both design cases. For the cases designed, the design algorithm gives a lower bound on the design ultimate load with respect to the lower bound theorem. This shows the adequacy of the design algorithm developed, at least for the shells studied. The presented design algorithm for the combined membrane and flexural forces can be evolved as a general design method for reinforced concrete plates and shells through further studies involving the performance of multiple designs and the analyses of differing shell configurations.

2차원 N-P-N 바이폴라 트랜지스터의 수치해석-BIPOLE (Numerical Analysis of a Two-Dimensional N-P-N Bipolar Transistor-BIPOLE)

  • 이종화
    • 대한전자공학회논문지
    • /
    • 제21권2호
    • /
    • pp.71-82
    • /
    • 1984
  • 2차원 n-p-n 바이폴라 트랜지스터의 수치해석을 위한 프로그램(BIPOLE)을 개발하였다. 이 프로그램은 SRH와 Auger 재결합 기구들과 불순물 농도와 전계강도에 대한 운송자 이동도의 의존성과 밴드 갭 축소 효과들을 포함하고 있다. Poisson 방정식에는 Newton법을 또 정공과 전자의 연속 방정식에는 발산이론을 이용하여 여러가지 물리적인 제한없이 기본 반도체 방정식들에 대한 유한차분 공식들을 만들었다. 선형화된 방정식들의 계수 행렬은 희소 대칭 M 행렬이었는데 그 해를 구하기 위해 ICCG법과 Gummel의 알고리즘을 적용하였다. 이 프로그램 BIPOLE를 n-p-n 트랜지스터의 여러가지 정상 상태 문제에 적용시켰다. 그 응용의 보기로서 공통 에미터 전류이득의 변화, 에미터 용량에 대한 확산용량이 미치는 영향과 입출력 특성곡선들을 계산해 보았다. 전위 분포와 전자와 정공 농도분포와 같은 계산 결과를 3차원 컴퓨터 그래픽으로 도시하였다. 이 프로그램은 장차 2차원 트랜지스터의 교류 및 왜곡 현상의 수치해석의 기초로 이용될 것이며, 이 프로그램에 관심있는 모든 분들께 공급될 것이다.

  • PDF

의료정보 공유기능 향상을 위한 소프트웨어시스템 기반구성 방법에 관한 연구 (A Study of Establishment of Softwaresystem Configuration for Improving Health Information Sharing)

  • 한순화;주세진
    • 디지털콘텐츠학회 논문지
    • /
    • 제15권1호
    • /
    • pp.11-18
    • /
    • 2014
  • 우리나라는 강점인 초고속 통신망을 기반으로 전국적인 의료정보망을 구축하여 의료서비스의 질을 향상시키는 것이 필요하다. 그러나 의료서비스의 속성상 의무기록 서식이 병원, 진료 부서마다 특성화 되어 있어 모든 부서, 모든 질병에 사용할 수 있는 공통된 서식 완성이 매우 어려운 난제이다. 본 연구는 이를 개선하기 위한 하나의 방안으로 우선 의료정보 공유상의 문제인 의료정보시스템(PACS/HIS)간 정보연동 문제, 정보의 호환성, 보안성 문제를 도출하였다. 도출된 문제는 3개영역 6개 요구사항으로 정리된다. 이를 개선하기 위해서 의료정보의 효과적 공유를 목적으로 한 소프트웨어시스템 설계가 요구된다. 소프트웨어시스템 설계는 의료정보 이해관계자 도출, 설계 요구사항 분석, 소프트웨어 프레임워크 구성, 아키텍처 평가절차를 필요로 한다. 본 연구는 의료정보 표준화 환경 진단을 기반으로 시스템 설계로 새로운 설계사상을 기반으로 프레임워크를 도출하고 기능 메커니즘을 구성했다.

최적 비정규 리샘플링 알고리즘 (Optimal Non-Uniform Resampling Algorithm)

  • 신건식;이학무;강문기
    • 대한전자공학회논문지SP
    • /
    • 제39권2호
    • /
    • pp.50-55
    • /
    • 2002
  • 영상 리샘플링의 전형적인 방법은 원래의 디지털 영상을 연속 모델에 맞춘 뒤 원하는 샘플링율로 다시 샘플링하는 접근방식에 기초한다. B-스플라인 함수는 다른 함수에 비해 오실레이션이 적어 연속 모델에 주로 사용되어 온 함수이다. 이 논문의 주 목표는 비정규 최적 리샘플링 알고리즘의 유도이다. 이 알고리즘을 유도하기 위해서 세단계의 근사화가 필요하다: 1) 역행렬 연산을 통한 B-스플라인 계수 구하기, 2) 직교 투사 이론에 의해 유도된 최적 리샘플링 알고리즘을 이용하여 변환된 B-스플라인 계수 구하기, 3) 간접B-스플라인 변환을 통해 결과를 다시 신호 영역으로 바꾸기. 이러한 방법을 통해 정규 리샘플링에서 그 우수성이 입증된 B-spline을 비정규 리샘플링에서도 이용할 수 있으며 실험 결과를 통해 성능의 우수성을 확인할 수 있다.

이동통신을 위한 FSK동기 및 변복조기술에 관한 연구 I부. FSK 복조를 위한 Quadrature Detector 설계 (A Study on the FSK Synchronization and MODEM Techniques for Mobile Communication Part I :Design of Quadrature Detector for FSK Demodulation.)

  • 김기윤;최형진
    • 대한전자공학회논문지TC
    • /
    • 제37권3호
    • /
    • pp.1-8
    • /
    • 2000
  • 본 논문에서는 현재 이동통신 시스템의 한 형태로 단말기의 하드웨어 구현이 간단하고 IC제작이 경제적 이어서 무선호출시스템 등에 많이 사용되고 있는 FSK 신호 복조를 위한 Quadrature Detector의 디지털 시뮬레이션 모델을 구현하였다. Quadrature Detector는 아날로그 소자로서 입력신호의 주파수에 따라 다른 위상 변화값이 비선형적으로 출력되어 지금까지 시뮬레이션을 통한 정확한 시스템 특성 분석이 어려웠었다. 이에 본 논문에서는 Quadrature Detector를 이용한 FSK 신호의 복조과정을 전개하고 디지털 시뮬레이션 을 수행하여 최적 성능을 도출하였다. 먼저 Quadrature Detector의 시뮬레이션을 위해 RLC 탱크회로 (Tank Circuit)로 구성된 PSN(Phase Shift Network)의 아날로그 전달함수를 First Order Hold 이론을 이용하여 디지털 전달함수로의 등가변환을 유도하였다. 또한 4FSK신호에 대한 Quadrature Detector의 복조신호 출력 형태가 4-level 신호인데, 이를 2개의 비교기(Comparator)만을 사용할 경우 최적 성능을 얻기 위한 임계레벨 결정과 동작 파라메터 Q값 설정방법을 제안하였으며 BER 분석을 통해 검증하였다

  • PDF

본질적 속성 찾기 전략(WIOS)을 통한 이론적 일반화 (The Theoretical Generalization Appling the Strategy(WIOS) finding an Intrinsic Attribute)

  • 노은환;전영배;강정기
    • 한국수학교육학회지시리즈E:수학교육논문집
    • /
    • 제26권1호
    • /
    • pp.51-69
    • /
    • 2012
  • 본 연구는 Davydov가 언급한 이론적 일반화가 구체적으로 어떻게 이루어지는지를 탐구하는 것을 목적으로 하며, 이를 위해 본질적 속성의 인식을 돕는 전략과, 이 전략을 통해 이루어지는 이론적 일반화의 과정을 제시하는 것을 연구문제로 설정하였다. 본질적 속성의 인식을 돕는 전략으로 WIOS를 제시하였다. WIOS는 일반화하려는 명제의 결론을 고정하여, 명제의 가정으로부터 추출한 여러 속성을 대상으로 WIO를 통해 결론에 영향을 미치는 속성과 그렇지 않는 속성의 인지를 통해 본질을 추출하는 전략이다. 한편, 이 전략을 통해 이루어지는 이론적 일반화의 과정을 '인지, WIOS, 일반화된 명제의 추측, 정당화, 본질적 속성에 대한 통찰'의 순으로 제시하였다. 그리고 WIOS를 통해 이루어지는 이론적 일반화의 과정을 중학교 교과서에 수록된 2가지 정리에 적용하여 보았으며, 이를 통해 이 전략의 과정이 이론적 일반화의 수행을 도울 수 있는 전략임을 확인해 보았다.

역사적 고찰을 통한 이차곡선의 지도방안 (How To Teach The Quadratic Curves Through Historical Overview)

  • 장미라;강순자
    • 한국수학교육학회지시리즈E:수학교육논문집
    • /
    • 제24권3호
    • /
    • pp.731-744
    • /
    • 2010
  • 현행 교과서에서는 원, 타원, 포물선, 쌍곡선 등의 이차곡선이 원뿔을 잘랐을 때 나타나는 단면 곡선이라고 통합적으로 소개하면서도 실제로는 각각 2차식으로 표현된다는 점 외에 그 곡선들 사이의 어떤 연관성도 언급되어 있지 않다 '이차곡선'이라는 단원명에서 알 수 있듯이 기하학적 작도에 의해 도입된 원뿔곡선이 이차방정식으로 표현되고 이 방정식을 통해 초점, 꼭짓점, 준선 등을 찾는 기계적 활동만이 주를 이루고 있다. 본 논문에서는 원뿔곡선의 발견 이후부터 현재에 이르는 역사적 발달 과정 속에서 이루어진 다양한 논의를 통하여 이차곡선의 본질을 분석하고 이를 바탕으로 이차곡선의 교수 학습 방법 개선을 위한 시사점을 얻고자 한다.

오염집약도와 국제경쟁력의 변화: 1993~98

  • 김동석
    • KDI Journal of Economic Policy
    • /
    • 제24권1호
    • /
    • pp.113-190
    • /
    • 2002
  • The purpose of this paper is to perform empirical studies on the impact of pollution intensity on international competitiveness using 1993 and 1998 data, and to estimate the change in environmental regulation level faced by the firms during 1993~1998. Collecting relevant data and providing them for further studies in the area are another purposes of the paper. The first method is the regression of various indices of international competitiveness on factor costs, such as labor, capital, R&D and pollution abatement costs. Goal of the regression analysis is to estimate the scarcity and comparative advantage effect of each production factor, especially environmental resource. Regression results show that those industries which employ more environmental resource have higher comparative advantage in both years, which implies that Korean firms are endowed with abundant environmental resource compared to other countries. The second method is to compute the relative scarcity indices(HOVL indices) of production factors, proposed by Leamer based on Vanek's generalized Hecksher-Ohlin Theorem. This method estimates the relative scarcity of production factors by computing factor costs embodied in import and export of commodities. This method shows similar results as the regression method; i.e., trade pattern of production factors implies that the manufacturing sector in Korea is endowed with abundant environmental resource compared to other countries. Considering population density, water resource endowment, intensity of economic activity per unit area and current air and water pollution levels, it is evident that Korea is never endowed with abundant environmental resource compared to other countries. Then the abundance of environmental resource revealed by the trade patterns of commodities and production factors implies that Korea's environmental regulation level is excessively generous compared to environmental capacity, and that this increased the environmental resource endowment supplied to firms and thus distorted the inter-industry comparative advantages. Both regression and HOVL methods, on the other hand, show that overall environmental regulation level faced by the firms has been strengthened during 1993~1998.

  • PDF

An Adaptive Complementary Sliding-mode Control Strategy of Single-phase Voltage Source Inverters

  • Hou, Bo;Liu, Junwei;Dong, Fengbin;Mu, Anle
    • Journal of Electrical Engineering and Technology
    • /
    • 제13권1호
    • /
    • pp.168-180
    • /
    • 2018
  • In order to achieve the high quality output voltage of single-phase voltage source inverters, in this paper an Adaptive Complementary Sliding Mode Control (ACSMC) is proposed. Firstly, the dynamics model of the single-phase inverter with lumped uncertainty including parameter variations and external disturbances is derived. Then, the conventional Sliding Mode Control (SMC) and Complementary Sliding Mode Control (CSMC) are introduced separately. However, when system parameters vary or external disturbance occurs, the controlling performance such as tracking error, response speed et al. always could not satisfy the requirements based on the SMC and CSMC methods. Consequently, an ACSMC is developed. The ACSMC is composed of a CSMC term, a compensating control term and a filter parameters estimator. The compensating control term is applied to compensate for the system uncertainties, the filter parameters estimator is used for on-line LC parameter estimation by the proposed adaptive law. The adaptive law is derived using the Lyapunov theorem to guarantee the closed-loop stability. In order to decrease the control system cost, an inductor current estimator is developed. Finally, the effectiveness of the proposed controller is validated through Matlab/Simulink and experiments on a prototype single-phase inverter test bed with a TMS320LF28335 DSP. The simulation and experimental results show that compared to the conventional SMC and CSMC, the proposed ACSMC control strategy achieves more excellent performance such as fast transient response, small steady-state error, and low total harmonic distortion no matter under load step change, nonlinear load with inductor parameter variation or external disturbance.

K-평균 클러스터링을 이용한 네트워크 유해트래픽 탐지 (Malicious Traffic Detection Using K-means)

  • 신동혁;안광규;최성춘;최형기
    • 한국통신학회논문지
    • /
    • 제41권2호
    • /
    • pp.277-284
    • /
    • 2016
  • 인터넷 서비스의 질을 떨어뜨리고 온라인 범죄를 유발시키는 네트워크 공격들은 오늘날 현대 사회에서 해결해야 될 문제 중 하나이다. 이러한 문제 해결을 위해 시그니처 IDS(Intrusion Detection System)라는 침입 탐지 시스템이 개발되었지만 이들은 기존에 알려진 유형의 공격만 탐지해 낸다. 결과적으로 알려지지 않은 공격들에 대해서는 탐지하지 못하기 때문에 네트워크 공격 탐지를 위한 근본적인 해결책이라 할 수 없다. 본 논문에서는 시그니처 IDS의 단점을 보완하고자 K-평균 알고리즘 기반의 네트워크 유해트래픽 탐지 방법을 제안한다.