• 논리연구
• /
• 제17권1호
• /
• pp.109-136
• /
• 2014

모든 (의미론적) 반실재론자들은 모종의 검증원칙을 받아들인다. 그 원칙에는 반직관적인 강한 검증원칙과 상대적으로 그럴 듯한 약한 검증원칙의 두 가지 형태가 있다. 당연히 반실재론자들은 약한 검증원칙을 선호해왔는데, 이른바 지식가능성 역설은 사실 그 두 가지 형태의 검증원칙들이 동치라는 사실을 보여준다. 이 문제를 해결하기 위해서 에징튼은 새로운 형태의 검증원칙을 제시하지만, 그녀의 검증원칙 역시 그 나름의 문제점을 안고 있다. 이 난점을 극복하기 위해, 에징튼은 반사실적 조건명제를 이용한 지식모형을 제공한 바 있다. 이 논문에서는 이 지식모형이 심각한 문제점을 안고 있다고 논할 것이다. 익히 알다시피, 비결정론적인 미시적 현상의 세계에서는 극히 낮은 물리적 확률에도 불구하고 간신히 일어나는데 성공하는 사실들이 존재한다. 필자는 이런 사실들과 연관된 반사실적 조건명제는 인식적 논파자의 존재로 말미암아 알려질 수 없으며, 따라서 에징튼의 지식모형은 많은 경우 작동하지 않는다고 논할 것이다.

• 물과 미래
• /
• 제28권6호
• /
• pp.193-202
• /
• 1995

본 연구의 목적은 하천유량에 결정적 영향을 미치는 토양수분 상태의 시간적 변화를 고려할 수 있는 강우-유출 모형을 평창강 유역에 적용하여 홍수예측 모형으로서의 가능성을 검증하는데 있다. 사용된 모형은 Sacramento 토양수분 모형과 비선형 다중저수지 형태의 유역홍수 추적 모형으로 구성된 물리적 개념에 근거를 둔 연속을 모형이다. 모형의 매개변수 추정 및 모형 검증을 위해서 각각 7년, 3년간의 일 강수량 및 증발산 자료를 이용하였다. 모형의 적용 결과, 저유량일 때에는 계산유량이 관측유량보다 다소 적게 계산되었지만, 홍수시를 포함하여 전반적으로 만족할 만한 유출계산(상관계수 0.87)을 할 수 있었다. 또한, 홍수와 가뭄과 같은 극한사상이 발생하였을 때의 강수와 토양습윤 상태가 유출에 미치는 영향을 해석하였다.

• Structural Engineering and Mechanics
• /
• 제66권4호
• /
• pp.531-542
• /
• 2018

In this paper an analytical model in a closed form able to reproduce the monotonic flexural response of external RC beam-column joints with smooth rebars is presented. The column is subjected to a constant vertical load and the beam to a monotonically increasing lateral force applied at the tip. The model is based on the flexural behavior of the beam and the column determined adopting a concentrated plasticity hinge model including slippage of the main reinforcing bars of the beam. A simplified bilinear moment-axial force domain is assumed to derive the ultimate moment associated with the design axial force. For the joint, a simple truss model is adopted to predict shear strength and panel distortion. Experimental data recently given in the literature referring to the load-deflection response of external RC joints with smooth rebars are utilized to validate the model, showing good agreement. Finally, the proposed model can be considered a useful instrument for preliminary static verification of existing external RC beam-column joints with smooth rebars for both strength and ductility verification.

• 한국도로학회논문집
• /
• 제14권5호
• /
• pp.1-9
• /
• 2012

PURPOSES: A viscoelastic axisymmetric finite element analysis code has been developed for stress analysis of asphalt pavement structures. METHODS: Generalized Maxwell Model (GMM) and 4-node isoparametric element were employed for finite element formulation. The code was developed using $C^{+}^{+}$ computer program language and named as KICTPAVE. For the verification of the developed code, a structural model of a pavement system was constructed. The structural model was composed of three layers: asphalt layer, crushed stone layer, and soil subgrade. Two types of analysis were considered for the verification: (1)elastic static analysis, (2)viscoelastic time-dependent analysis. For the elastic static analysis, linear elastic material model was assigned to all the layers, and a static load was applied to the structural model. For the viscoelastic time-dependent analysis, GMM and linear elastic material model were assigned to the asphalt layer and all the other layers respectively, and a cyclic loading condition was applied to the structural model. RESULTS: The stresses and deformations from KICTPAVE were compared with those from ABAQUS. The analysis results obtained from the two codes showed good agreement in time-dependent response of the element under the loading area as well as the surface deformation of asphalt layer, and horizontal and vertical stresses along the axisymmetric axis. CONCLUSIONS: The validity of KICTPAVE was confirmed by showing the agreement of the analysis results from the two codes.

• The Korean Journal of Ceramics
• /
• 제2권4호
• /
• pp.181-183
• /
• 1996

We found that our initial model agrees with most of the recent reports; however, it does not agree with some of them with respect to the kinetics of nucleus formation. This disagreement stems from the question of whether or not a nucleus precursor should be treated as an embryonic cluster.

• International Journal of Aeronautical and Space Sciences
• /
• 제18권1호
• /
• pp.108-117
• /
• 2017

This paper presents a distribution simulation model for dual purpose improved conventional munitions based on flight test data. A systematic procedure for designing a dispersion simulation model is proposed. A new accumulated broken line graph was suggested for designing the distribution shape. In the process of verification and simulation for the distribution simulation model, verification was performed by first comparing data with firing test results, and an application simulation was then conducted. The Monte Carlo method was used in the simulations, which reflected the relationship between ejection conditions and real distribution data. Before establishing the simulation algorithm, the dominant ejection parameter of the submunitions was examined. The relationships between ejection conditions and distribution results were investigated. Five key distribution parameters were analyzed with respect to the ejection conditions. They reflect the characteristics of clustered particle dynamics and aerodynamics.

• 한국지진공학회:학술대회논문집
• /
• 한국지진공학회 2001년도 추계 학술발표회 논문집 Proceedings of EESK Conference-Fall 2001
• /
• pp.302-310
• /
• 2001

In order to lessen cable vibration, new cable damper system with high damping rubber was developed using the basis of the LRB design scheme. The analysis model of cable damper system incorporate voigt-kelvin damper model into the nonlinear cable analysis model. To achieve maximum damping capacity both reducing damper stiffness and developing high damping rubber were performed. As a result of verification test, the high damping rubber damper shows its effectiveness in improving cable damping capacity.

• 전기학회논문지
• /
• 제56권12호
• /
• pp.2091-2097
• /
• 2007

This paper described the verification of modeling technique of underground distribution from comparison between field test and simulation. It needs more exact transient phenomenon analysis model to establish lightning protection of underground distribution line. Although, there were a lot of transient phenomenon researches, nobody could has verified the confidence of modeling from field tests in interior until now. So, simulation model verified field test is needed to analyse transient phenomenon of underground distribution system. The examination must be accomplished in many different condition before suggesting these verified analysis model. In this paper, the conditions were examined and the various data results on the different line composition was compared with the EMTP simulation, when the lightning impulse test was accomplished at underground distribution line. Also the value between field test and simulation was very closed and the method of modeling has demonstrated confidence, when the method is used to analyse domestic transient phenomenon of underground distribution.

• Nuclear Engineering and Technology
• /
• 제42권3호
• /
• pp.279-296
• /
• 2010

For the analysis of transient two-phase flows in nuclear reactor components, a three-dimensional thermal hydraulics code, named CUPID, has been developed. The CUPID code adopts a two-fluid, three-field model for two-phase flows, and the governing equations were solved over unstructured grids, which are very useful for the analysis of flows in complicated geometries. To obtain numerical solutions, the semi-implicit numerical method for the REALP5 code was modified for an application to unstructured grids, and it has been further improved for enhanced accuracy and fast running. For the verification of the CUPID code, a set of conceptual problems and experiments were simulated. This paper presents the flow model, the numerical solution method, and the results of the preliminary assessment.

• 한국통신학회논문지
• /
• 제17권7호
• /
• pp.677-687
• /
• 1992

본 논문은 신경계 행위 표현의 효율성과 동작의 정당성을 검증할 수 있는 모형화 도구로 FPN을 제안 하였다. 설계를 위해 기존의 통신망과 신경망 행위의 표현과 검증의 유사성 및 차이점을 분석하고, 신경계의 애매 모호성의 효율적인 표현을 위하여, PN에 Fuzzy 집합 이론을 적용하여 FPN 모형을 설계하였다. 설계된 FPN을 다층 퍼센트론 구조로 표현하여 그 효율성이 우수함을 보였다.