• Computational Structural Engineering
• /
• v.4 no.1
• /
• pp.17-19
• /
• 1991

본 글에서는 ANS(American Nuclear Society)에서 규정하고 있는 Safety Class 구조물 중 격납건물의 내진해석모델에 대해 주로 언급하며, 기타 건물(Non-Nuclear Safety "NNS")은 일반건물과 차이점이 없음으로 언급하지 않는다. U.S. NRC(Nuclear Regulatory Commision)는 참고문헌[1]에 의해 원자력 발전소내 여러건물중 SSE(Safe Shutdown Earthquake)하중에도 견디도록 규정하여 정확한 동력학적 계산이 요구되어지나, 그 이외의 건물들은 대개 등가정적 방법에 의해 해석되어진다. 이 해석방법은 여러 빌딩규정들에서 제안된 것으로 지진에 의한 동적하중을 밑면적 단력 또는 각층에 작용하는 층전단력이라는 등가의 정적하중으로 바꿔 계산되며 이 때 사용되는 해석모델은 건물의 기본진동만을 표시할 수 있는 간단한 것이다.

• Journal of the Korea Society for Simulation
• /
• v.27 no.1
• /
• pp.25-32
• /
• 2018

This paper presents an efficient software reliability testing method for the model based auto-generated code and reify a dynamic test procedure. The benefits of executing the model-based each static/dynamic reliability test before the code-based static/dynamic reliability test are described. Also, The correlations of code/model based reliability test are demonstrated by using model testing tool, Model Advisor and Verification and Validation, and the code testing tool, PolySpace and LDRA. The result of reliability test is indicated in this paper.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2006.05a
• /
• pp.258-264
• /
• 2006

웹 서비스 기반의 비즈니스 프로세스 관리 시스템은 트랜잭션에 대한 신뢰도의 확보를 위하여 트랜잭션 관리가 필요하다. 트랜잭션 관리를 위한 여러 트랜잭션 프로토콜들이 제시되었지만, 다양한 프로토콜들은 서로간의 이질성으로 인해 비즈니스 프로세스 관리 시스템들 간의 상호호환을 저해한다. 이를 해결하기 위하여 본 연구에서는 시맨틱스 기반의 트랜잭션 프로토콜을 제안한다. 시맨틱스 기반의 트랜잭션 프로토콜은 상태와 메시지에 대한 정적 시맨틱스(Static Semantics)와 상태 전이에 관한 동작 시맨틱스(Operational Semantics)로 구성된다. 정적 시맨틱스는 프로토콜의 상태와 메시지를 Web Ontology Language(OWL)을 사용하여 온톨로지 기반으로 정의한 모델로서, 트랜잭션 프로토콜에 대한 상호 이해도를 높일 수 있을 것으로 기대된다. 동작 시맨틱스는 비즈니스 트랜잭션의 상태전이를 Abstract State Machine(ASM)으로 정의한 모델로서, 트랜잭션 실행에 대한 자동화와 체계적인 모니터링을 지원할 것으로 기대된다. 트랜잭션 프로토콜들간의 상호호환을 위하여 이러한 정적 시맨틱스와 동작 시맨틱스를 기반으로 하여 각 트랜잭션 프로토콜 및 중립 트랜잭션 프로토콜의 시맨틱스를 정의한다. 정의된 각 트랜잭션 프로토콜의 정적 시맨틱스는 중립 트랜잭션 프로토콜의 정적 시맨틱스와 온톨로지 기반의 매핑 관계를 형성한다. 중립 트랜잭션 프로토콜의 정적 시맨틱스를 매개로 한 온톨로지 매핑은 각 트랜잭션 프로토콜들 간의 상호호환을 지원할 것으로 기대된다.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2011.04a
• /
• pp.144-147
• /
• 2011

본 논문에서는 기존의 선형정적해석 절차를 변형하여 부재의 이력모델 응용을 통해 부재 파괴여부에 따라 힌지처리 및 재해석의 반복과정을 자동으로 수행하는 새로운 연쇄붕괴 프로그램을 제안하였다. 6m 4경간의 철근콘크리트 골조에 철골 가새를 보강 설치한 예제구조물에 대하여 최하층 기둥부재를 제거한 후 기존 해석법과 제안 해석법을 통해 선형정적해석을 수행하였고, 그 결과를 비교 분석하였다. 해석 결과, 두 절차 간 부재단위의 파괴여부 및 구조물 힌지 분포 경향의 동일함을 보여 해석의 신뢰성을 확보하였으며. 기존 해석법에 비해 수행단계의 시간이 매우 짧고 자동 반복해석으로 인한 오류의 가능성도 최소화 할 수 있음을 확인하였다.

• Proceedings of the KIEE Conference
• /
• 2007.07a
• /
• pp.292-293
• /
• 2007

본 논문은 연속 시간과 이산 시간 비선형 상호 결합 시스템에 대한 분산 정적 출력 궤한 제어기의 설계에 대해 연구한다. 먼저 퍼지 모델 기법을 이용하여 비선형 상호 결합 시스템을 Takagi-Sugeno (T-S)퍼지 모델로 모델링한다. 각각의 하위 시스템에 대한 정적 출력 궤한 제어기를 병렬 분산 보상(PDC)기법을 이용하여 구한다. 선형 행렬 부등식(LMI)을 통하여 하위 시스템의 안정화를 위한 이득값을 구한다. 이득값을 통하여 하위 시스템들이 안정화되고 그를 통해 전체 상호 결합 시스템이 안정화됨을 모의실험을 통하여 증명한다.

• Journal of the Korea Computer Graphics Society
• /
• v.26 no.5
• /
• pp.15-24
• /
• 2020

We present a supervised learning method that estimates the simulation parameters required to simulate the fabric from the static drape shape of a given fabric sample. The static drape shape was inspired by Cusick's drape, which is used in the apparel industry to classify fabrics according to their mechanical properties. The input vector of the training model consists of the feature vector extracted from the static drape and the density value of a fabric specimen. The output vector consists of six simulation parameters that have a significant influence on deriving the corresponding drape result. To generate a plausible and unbiased training data set, we first collect simulation parameters for 400 knit fabrics and generate a Gaussian Mixed Model (GMM) generation model from them. Next, a large number of simulation parameters are randomly sampled from the GMM model, and cloth simulation is performed for each sampled simulation parameter to create a virtual static drape. The generated training data is fitted with a log-linear regression model. To evaluate our method, we check the accuracy of the training results with a test data set and compare the visual similarity of the simulated drapes.

• Geophysics and Geophysical Exploration
• /
• v.6 no.4
• /
• pp.199-206
• /
• 2003

Characteristics of the static shift are discussed by comparing the three-dimensional MT inversion with/without static shift parameterization. The galvanic distortion by small-scale shallow feature often leads severe distortion in inverted resistivity structures. The new inversion algorithm is applied to four numerical data sets contaminated by different amount of static shift. In real field data interpretations, we generally do not have any a-priori information about how much the data contains the static shift. In this study, we developed an algorithm for finding both Lagrangian multiplier for smoothness and the trade-off parameter for static shift, simultaneously in 3-D MT inversion. Applications of this inversion routine for the numerical data sets showed quite reasonable estimation of static shift parameters without any a-priori information. The inversion scheme is successfully applied to all the four data sets, even when the static shift does not obey the Gaussian distribution. Allowing the static shift parameters have non-zero degree of freedom to the inversion, we could get more accurate block resistivities as well as static shifts in the data. When inversion does not consider the static shift as inversion parameters (conventional MT inversion), the block resistivities on the surface are modified considerably to match possible static shift. The inhomogeneous blocks on the surface can generate the static shift at low frequencies. By those mechanisms, the conventional 3-D MT inversion can reconstruct the resistivity structures to some extent in the deeper parts even when moderate static shifts are in the data. As frequency increased, however, the galvanic distortion is not frequency independent any more, and thus the conventional inversion failed to fit the apparent resistivity and phase, especially when strong static shift is added. Even in such case, however, reasonable estimation of block resistivity as well as static shift parameters were obtained by 3-D MT inversion with static shift parameterization.

• 시스템엔지니어링워크숍
• /
• s.1
• /
• pp.140-144
• /
• 2003

AGT 시스템은 복잡한 대규모 시스템이며 이 시스템에 도입된 무인운전의 운영 개념은 한국 철도 기술의 환경에서는 처음 시도되는 기술이다. 게다가 신호시스템을 무선 기술을 이용하여 구현해 한다는 요구사항이 추가되어 신호시스템 개발은 더욱 도전적인 문제가 되었다. 이와 같이 실천하기 어려운 요구사항이 많은 무선열차 제어시스템 개발의 위험을 줄이기 위해 시스템공학팀은 전산지원 시스템공학 도구를 사용한 재공학의 개발공정을 수행하도록 하였다. 본 연구에서는 기존의 정적인 데이터모텔에 추가하여 시나리오 기반으로 동적거동 분석을 수행하여 기능 모델을 구축하였고 기능 모델을 토대로 한 시스템 아키텍처를 구성하였다. 특히 기능 요구사항의 취약성을 보완하기 위해 CORE의 FFBD(Functional Flow Block Diagram)기능을 활용하여 열차 운행 중 발생할 수 있는 여러 가지 시나리오를 분석함으로써 기능 모델의 완전성의 기여하였다. 이는 정적인 데이터 흐름 다이아그램(DFD:Data Flow Diagram)이 가지는 한계를 모델 기반 시스템공학 도구에서 지원하는 동적인 기능 분석을 수행하여 보완함으로써 모델의 충실도를 높였음을 의미한다. 이를 통해 기능의 오류를 개념단계에서 최소화함으로써 기술 위험이 높은 제품을 개발할 수 있다는 것을 확인하였다.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.25 no.6
• /
• pp.50-59
• /
• 2021

Currently, the response correction factor is calculated by comparing the response measured by the load test on a bridge with the response analyzed in the initial analytical model. Then the load rating and the load carrying capacity are evaluated. However, the response correction factor gives a value that fluctuates depending on the measurement location and load condition. In particular, when the initial analytical model is not suitable for representing the behavior of a bridge, the range of variation is large and the analysis response by the calibrated model may give a result that is different from the measured response. In this study, a pseudo-static load test was applied to obtain static response with dynamic components removed under various load conditions of a vehicle moving at a low speed. Static response was measured on two similar PSC-I girder bridges, and the response correction factors for displacement and strain were calculated for each of the two bridges. When the initial analysis model was not properly set up, it is verified that the response of the analytical model corrected by the average response correction factor does not fall within the margin of error with the measured response.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.7 no.4
• /
• pp.649-655
• /
• 2006

This paper proposes a HMM-based recognition method using DMSVQ(Dynamic Multi-Section Vector Quantization) codebook by DMS model and double spectral feature, as a method on the speech recognition of speaker-independent. LPC cepstrum parameter is used as a instantaneous spectral feature and LPC cepstrum's regression coefficient is used as a dynamic spectral feature These two spectral features are quantized as each VQ codebook. HMM using DMS model is modeled by receiving instantaneous spectral feature and dynamic spectral feature by input. Other experiments to compare with the results of recognition experiments using proposed method are implemented by the various conventional recognition methods under the equivalent environment of data and conditions. Through the experiment results, it is proved that the proposed method in this paper is superior to the conventional recognition methods.