• 논리연구
• /
• 제5권2호
• /
• pp.1-21
• /
• 2002

A semantics for logical necessity, based on Carnap's criterion of adequacy, is given with respect to the ontology of logical atomism. A calculus for sentential (propositional) modal logic is described and shown to be complete with respect to this semantics. The semantics is then modified in terms of a restricted notion of 'all possible worlds' in the interpretation of necessity and shown to yield a completeness theorem for the modal logic S5. Such a restricted notion introduces material content into the meaning of necessity so that, in addition to atomic facts, there are "modal facts" that distinguish one world from another.

• 소성∙가공
• /
• 제23권4호
• /
• pp.199-205
• /
• 2014

The current study examines the effect of the analytical parameter values on the theoretical forming limit diagram (FLD) based on the Marciniak-Kuczynski model (M-K model). Tensile tests were performed to obtain stress-strain curves and determine the anisotropic properties in the rolling, transverse and diagonal direction of SPCC sheet materials. The experimental forming limit curve for SPCC sheet material was obtained by limiting dome stretching tests. To predict the theoretical FLD based on the M-K model, the Hosford 79 yield function was employed. The effects of three analytical parameters - the exponent of the yield function, the initial imperfection parameter and the fracture criterion parameter - on the M-K model, were examined and the results of the theoretical FLD were compared to the experimentally measured FLD. It was found that the various analytical parameters should be carefully considered to reasonably predict the theoretical FLD. The comparison of the acceptable forming limit area between the theoretical and experimental FLD is used to compare the two diagrams.

• Structural Engineering and Mechanics
• /
• 제47권6호
• /
• pp.839-856
• /
• 2013

Metallic annular discs with their outer boundary fully constrained are studied with newly derived semi-analytical solutions for the effects of thickness variations under thermal loading and unloading. The plane stress and axisymmetric assumptions were adopted, and the thickness of the disk depends on the radius hyperbolically with an exponent n. Furthermore, it is assumed that the stress state is two dimensional and temperature is uniform in the domain. The solutions include the elastic, elastic-plastic and plastic-collapse behavior, depending on the values of temperature. The von Mises type yield criterion is adopted in this work. The material properties, Young's modulus, yield stress and thermal expansion coefficient, are assumed temperature dependent, while the Poisson's ratio is assumed to be temperature independent. It is found that for any n values, if the normalized hole radius a greater than 0.6, the normalized temperature difference between the elastically reversible temperature and plastic collapse temperature is a monotonically decreasing function of inner radius. For small holes, the n values have strong effects on the normalized temperature difference. Furthermore, it is shown that thickness variations may have stronger effects on the strain distributions when temperature-dependent material properties are considered.

• Composites Research
• /
• 제12권4호
• /
• pp.42-54
• /
• 1999

섬유-금속 적층 복합재료(FMLC)는 섬유와 금속 박판으로 구성된 새로운 형태의 구조재로 가볍고 우수한 피로 특성을 가지며 금속과 같이 가소성과 충격저항성이 우수하고, 가공성이 뛰어나다. 본 연구에서는 여러 하중 조건하에 있는 섬유-금속 적층 복합재료를 유전자 알고리듬을 이용하여 최적 설계하였다. 전단변형이론에 근거한 유한요소법을 사용하여 적층판을 해석하였으며, 설계변수로 금속판의 강도와 섬유 층의 수에 따른 적층각도를 두었다. 섬유층과 금속판의 적합도 함수로는 각각 Tasi-Hill failure criterion과 Miser yield criterion을 사용하였다. 유전자 알고리듬의 연산자로는 토너먼트 선택과 균일 교배를 사용하였다. 효율적인 진화를 위해 엘리티스트 모델을 사용하며, 높은 정확도를 가진 해를 얻기 위해 크리프 무작위 탐색(creeping random search) 방법을 통해 더 우수한 자손을 얻었다. 여러 가지 하중 조건에 대하여 최적설계 결과를 나타내었으며, 파괴 지수 측면에서 탄소섬유강화복합재료(CFRP)와 비교하였다. 해석 결과 섬유-금속 적층 복합재료는 탄소섬유강화복합재료에 비하여 집중하중이나 분포하중 형태에 대하여 우수한 특성을 보였으며, 파괴 지수의 편차가 적어 예기치 않은 하중에 잘 견딜 것으로 사료된다.

• Composites Research
• /
• 제14권3호
• /
• pp.42-50
• /
• 2001

본 연구에서는 집중하중을 받는 일방향 보강 섬유 금속 적층판의 손상 개시 모델을 연구하였다. 기존의 복합재료 적층판의 해석에 사용하는 일타 전단변형이론을 수정하여 섬유 금속 적층판의 하중 변위 관계를 구하였고, 유한 요소 해석을 통하여 응력을 계산한 다음 Tsai-Hill failure criterion과 Miser yield criterion을 사용하여 섬유층과 금속판의 파괴 지수를 계산하는 방법으로 섬유 금속 적층판의 손상 개시를 모델링하였다. 단순 인장과 원통형 굽힘 하중에서의 적층 각도에 따른 섬유 금속 적층판의 파괴 지수 분포를 통하여 해석의 타당성을 검증하였으며, 이를 바탕으로 집중하중을 받는 경우 섬유 방향에 따른 파괴 지수를 계산하였다. 계산된 파괴 지수를 손상 개시 하중과 비교하기 위하여 압입 시험을 수행하였다. 압입 시험은 섬유 방향의 영향을 보기 위하여 양단 고정인 경계 조건에서 수행하였다. 손상 개시 하중은 압입 선도의 앞 부분을 Hertz식을 이용하여 회귀 분석한 곡선이 실제 하중 곡선과 달라지는 점으로부터 결정하였다. 다양한 섬유 방향에 따른 압입 시험을 수행하였으며 각각의 손상 개시 하중을 파괴 지수와 비교하였다.

• Geomechanics and Engineering
• /
• 제36권4호
• /
• pp.355-366
• /
• 2024

The original elastoplastic Hardening Soil model is formulated actually partly under hexagonal pyramidal Mohr-Coulomb failure criterion, and can be only used in specific stress paths. It must be completely generalized under Mohr-Coulomb criterion before its usage in engineering practice. A set of generalized constitutive equations under this criterion, including shear and volumetric yield surfaces and hardening laws, is proposed for Hardening Soil model in principal stress space. On the other hand, a Mohr-Coulumb type yield surface in principal stress space comprises six corners and an apex that make singularity for the normal integration approach of constitutive equations. With respect to the isotropic nature of the material, a technique for processing these singularities by means of Koiter's rule, along with a transforming approach between both stress spaces for both stress tensor and consistent stiffness matrix based on spectral decomposition method, is introduced to provide such an approach for developing generalized Hardening Soil model in finite element analysis code ABAQUS. The implemented model is verified in comparison with the results after the original simulations of oedometer and triaxial tests by means of this model, for volumetric and shear hardenings respectively. Results from the simulation of oedometer test show similar shape of primary loading curve to the original one, while maximum vertical strain is a little overestimated for about 0.5% probably due to the selection of relationships for cap parameters. In simulation of triaxial test, the stress-strain and dilation curves are both in very good agreement with the original curves as well as test data.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1995년도 추계학술대회 논문집
• /
• pp.195-198
• /
• 1995

In Semi-Solid Forging, it is necessary to control the forming variables accurately in order to make near-net-shape products. Generally, the defects of products may occur due to liquid segregation which can be caused by the degree of deformation and condition of friction in Semi-Solid Forging, where the segregation is to be predicted by flow analysis. This paper presents the feasibility of theoretical analysis model using the new yield function which is proposed by Doraivelu et al. to the flow analysis of the semi-solid dendritic Sn-15%Pb alloys instead of adopting the yield criterion of Shima & Oyane which is used by Charreyron and usefulness of the adopted yield function. The distribution of the liquid fraction at various strains in radial direction and the influence of friction are estimated by Upper Bound Method.

• International Journal of Precision Engineering and Manufacturing
• /
• 제2권4호
• /
• pp.23-29
• /
• 2001

The compression behavior of semi-solid materials is studied from a viewpoint of yield criteria and analysis methods. To describe the behavior of materials in semi-solid state, several theories have been proposed by extending the concept of plasticity of porous compressible materials. In the present work, the upper-bound method and the finite element method are used to model the simple compression process using yield criteria of Kuhn and Doraivelu. Segregation between solid and liquid which cause defect of product is analysed for Sn-15%Pb and A356 alloys during deformation in semi-solid state. The comparison of analyses is made according to yield criteria and analysis methods. In addition, the analysis result for semi-solid dendritic Sn-15%Pb alloy is compared with the experimental result of Charreyron et al..

• 한국정밀공학회지
• /
• 제15권6호
• /
• pp.139-144
• /
• 1998

In Semi-Solid Forging, it is necessary to control the forming variables accurately in order to make near-net-shape products. Generally, the defects of products may occur due to liquid segregation which can be caused by the degree of deformation and strain rate, and condition of friction in Semi-Solid Forging, where the segregation is to be predicted by flow analysis. This paper presents the feasibility of theoretical analysis model using the new yield function for compressible P/M materials which is proposed by Doraivelu et at. to the flow analysis of the semi-solid dendritic Sn-15％Pb alloys instead of adopting the yield criterion of Shima and Oyane which is used by Charreyron and Flemings. The simple compression process is taken into consideration as the model to confirm the usefulness of the adopted yield function. The distribution of the liquid fraction at various strains and strain rates in radial direction, and the influence of friction are estimated by upper-bound method.

• 한국안전학회지
• /
• 제17권2호
• /
• pp.1-7
• /
• 2002

In this paper, the maximum minimum strain energy density criterion was applied to the mixed mode fatigue test of A5052 H34 alloy. In this study result we can have seen that the authors stress intensity factor for the finite width specimen and method of determining testing load, based on the plastic zone size and the limited maximum stress intensity factor by ASTM STANDARD E-647-95, is useful.