• Korean Journal of Logic
• /
• v.5 no.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.

• Transactions of Materials Processing
• /
• v.23 no.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
• /
• v.47 no.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
• /
• v.12 no.4
• /
• pp.42-54
• /
• 1999

FMLC(Fiber-Metal Laminate Composites) is a new structural material combining thin metal laminate with adhesive fiber prepreg, it nearly include all the advantage of metallic materials, for example: good plasticity, impact resistance, processibility, light weight and excellent fatigue properties. This research studied the optimum design of the FMLC subject to various loading conditions using genetic algorithm. The finite element method based on the shear deformation theory was used for the analysis of FMLC. Tasi-Hill failure criterion and Miser yield criterion were taken as fitness functions of the fiber prepreg and the metal laminate, respectively. The design variables were fiber orientation angles. In genetic algorithm, the tournament selection and the uniform crossover method were used. The elitist model was also used to be effective evolution strategy and the creeping random search method was adopted in order to approach a solution with high accuracy. Optimization results were given for various loading conditions and compared with CFRP(Carbon Fiber Reinforced Plastic). The results show that the FMLC is more excellent than the CFRP in point and uniform loading conditions and it is more stable to unexpected loading because the deviation of failure index is smaller than that of CFRP.

• Composites Research
• /
• v.14 no.3
• /
• pp.42-50
• /
• 2001

Modeling of damage initiation in singly oriented ply (SOP) Fiber Metal Laminate (FML) under concentrated loading conditions was studied. The finite element method (FEM) base on the first order shear deformation theory is used for th\ulcorner modeling of damage initiation in SOP FML. The failure indices (FI) of the fiber prepreg and the metal laminate were calculated by using the Tasi-Hill failure criterion and the Miser yield criterion, respectively. To verify the present method, the failure analysis was conducted under uniaxial loading and cylindrical bending, then the analysis under concentrated load was conducted. The results show that the analysis is reasonable. An indentation test was conducted to compare a damage initiation load with a calculated FI. The test was conducted under two side clamped conditions to study the fiber orientation effect. Indentation curve was fitted using the Hertz equation and a damage initiation load is defined that the point which deviate the fitted curve from the real indentation curve. The damage initiation loads were obtained under various fiber orientations and compared with calculated FIs. The experiment was well matched with calculated FI. This results shows that the present method is suitable for the damage initiation modeling of SOP FML.

• Geomechanics and Engineering
• /
• v.36 no.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.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1995.10a
• /
• 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
• /
• v.2 no.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..

• Journal of the Korean Society for Precision Engineering
• /
• v.15 no.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.

• Journal of the Korean Society of Safety
• /
• v.17 no.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.