in the present study, the microstructural changes of a nickel based superalloy nimonic80a during a non-isothermal deformation were studied. therefore, microstructure evolutionduring hot side pressing test was predicted with combined methods of finite element analysis andprocessing map of the material. the predicted results were validated through experimentalmicrostructural studies. the results ...

abstracthydroforming process is a deep stretching process only with the difference that a fluid is used instead of the mandrel. this paper investigates the hydroforming process of non-cylindrical and non-spherical geometries using finite element analysis software to calculate the influences of effective process parameters such as the coefficient of friction between the surfaces and the pressure...

background. improving the implantation conditions in order to reduce the failure is always desirable for researchers. the aim of this study was to compare two different types of dental implant materials from biomechnical viewpoint in order to introduce a novel simulation method to select suitable materials for dental implants. methods. in this research, drilling process was performed in the cor...

The present study presents a new methodology developed for an analytical model of a composite fuselage. It also presents finite element analyses of a simplified model and comparisons with more complete models. These comparisons show that there is a very good correlation between both models for the cases studied. Therefore, the applicabilty of the proposed procedure was demonstrated. Based on fi...

The performance of an 8-noded hexahedron C1* element in elasticity is investigated. Three translational displacements and their derivatives as strain in each direction are considered as degrees of freedom (d.o.f.’s) at each node. The geometric mapping is enforced using a C0 element with no derivative as nodal d.o.f.’s . The stiffness matrix of the element is also computed using a transformation...

Terminological knowledge representation formalisms can be used to represent objective, time-independent facts about an application domain. Notions like belief, intentions, and t ime which are essential for the representation of mult i-agent environments can only be expressed in a very l imi ted way. For such not i ons, modal logics w i th possible worlds semantics provides a formal ly well-foun...

We s h o w : f o r mJe~j constant m i t can be decided i n p o l y n o m i a l t ime whether or not two m-ambiguous finite tree automata are equivalent. In general, inequivalence for finite tree automata is DEXPTIfdE-complete v).r.t, logspace reductions, and PSPACE-complete w.r.t, logspace reductions, i f the automata in question are supposed to accept only finite languages. For finite tree aut...

The essential part of the best known approximation algorithm for graph MAXCUT is approximately solving MAXCUT's semideenite relaxation. For a graph with n nodes and m edges, previous work on solving its semidef-inite relaxation for MAXCUT requires space ~ O(n 2). Under the assumption of exact arithmetic, we show how an approximate solution can be found in space O(m+n 1:5), where O(m) comes from...