• 대한수학회보
• /
• 제57권1호
• /
• pp.109-115
• /
• 2020

Recently, Lesieutre constructed a 6-dimensional projective variety X over any field of characteristic zero whose automorphism group Aut(X) is discrete but not finitely generated. As an application, he also showed that X is an example of a projective variety with infinitely many non-isomorphic real structures. On the other hand, there are also several finiteness results of real structures of projective varieties. The aim of this short paper is to give a sufficient condition for the finiteness of real structures on a projective manifold in terms of the structure of the automorphism group. To be more precise, in this paper we show that, when X is a projective manifold of any dimension≥ 2, if Aut(X) does not contain a subgroup isomorphic to the non-abelian free group ℤ ∗ ℤ, then there are only finitely many real structures on X, up to ℝ-isomorphisms.

• 대한수학회보
• /
• 제34권4호
• /
• pp.535-547
• /
• 1997

The (2, 2, 2, 2)-orbifold is a 2-dimensional orbifold with four order 2 cone points having 2-sphere as an underlying space. The (2, 2, 2, 2)-orbifold admits different geometric structures. The purpose of this paper is to find some real profective structures on the (2, 2, 2, 2)-orbifold.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2003년도 봄 학술발표회 논문집
• /
• pp.103-110
• /
• 2003

A hybrid structural reliability analysis method that integrates a commercial finite element program and a reliability analysis algorithm is proposed to estimate the safety of real structures in this paper. Since finite element method (FEM) is most commonly and widely used in the analysis and design practice of real structures, it appears to be necessary to use general FEM program in the structural reliability analysis. In this case, simple conventional reliability methods cannot be used because the limit state function can only be expressed in an algorithmic form. The response surface method(RSM)-based reliability algorithm with the first-order reliability method (FORM) found to be ideal in this respect and is used in this paper. The intention of use of RSM is to develop, albeit approximately, an explicit expression of the limit state function for real structures. The applicability of the proposed method to real structures is examined with help of the example in consideration of a concrete dam. Both the strength and serviceability limit states are considered in this example.

• Smart Structures and Systems
• /
• 제4권6호
• /
• pp.809-828
• /
• 2008

Real-time hybrid testing is an attractive method to evaluate the response of structures under earthquake loads. The method is a variation of the pseudodynamic testing technique in which the experiment is executed in real time, thus allowing investigation of structural systems with time-dependent components. Real-time hybrid testing is challenging because it requires performance of all calculations, application of displacements, and acquisition of measured forces, within a very small increment of time. Furthermore, unless appropriate compensation for time delays and actuator time lag is implemented, stability problems are likely to occur during the experiment. This paper presents an approach for real-time hybrid testing in which time delay/lag compensation is implemented using model-based response prediction. The efficacy of the proposed strategy is verified by conducting substructure real-time hybrid testing of a steel frame under earthquake loads. For the initial set of experiments, a specimen with linear-elastic behavior is used. Experimental results agree well with the analytical solution and show that the proposed approach and testing system are capable of achieving a time-scale expansion factor of one (i.e., real time). Additionally, the proposed method allows accurate testing of structures with larger frequencies than when using conventional time delay compensation methods, thus extending the capabilities of the real-time hybrid testing technique. The method is then used to test a structure with a rate-dependent energy dissipation device, a magnetorheological damper. Results show good agreement with the predicted responses, demonstrating the effectiveness of the method to test rate-dependent components.

• Smart Structures and Systems
• /
• 제4권5호
• /
• pp.667-684
• /
• 2008

Numerous devices exist for reducing or eliminating seismic damage to structures. These include passive dampers, semi-active dampers, and active control devices. The performance of structural systems with these devices has often been evaluated using numerical simulations. Experiments on structural systems with these devices, particularly at large-scale, are lacking. This paper describes a real-time hybrid testing facility that has been developed at the Lehigh University NEES Equipment Site. The facility enables real-time large-scale experiments to be performed on structural systems with rate-dependent devices, thereby permitting a more complete evaluation of the seismic performance of the devices and their effectiveness in seismic hazard reduction. The hardware and integrated control architecture for hybrid testing developed at the facility are presented. An application involving the use of passive elastomeric dampers in a three story moment resisting frame subjected to earthquake ground motions is presented. The experiment focused on a test structure consisting of the damper and diagonal bracing, which was coupled to a nonlinear analytical model of the remaining part of the structure (i.e., the moment resisting frame). A tracking indictor is used to track the actuator ability to achieve the command displacement during a test, enabling the quality of the test results to be assessed. An extension of the testbed to the real-time hybrid testing of smart structures with semi-active dampers is described.

• Earthquakes and Structures
• /
• 제6권4호
• /
• pp.375-392
• /
• 2014

Time history analyses have been preferred commonly in earthquake engineering area to determine earthquake performances of structures in recent years. Advances in computer technology and structural analysis have led to common usage of time history analyses. Eurocode 8 allows the use of real earthquake records as an input for linear and nonlinear time history analyses of structures. However, real earthquake records with the desired characteristics sometimes may not be found, for example depending on soil classes, in this case artificial and synthetic earthquake records can be used for seismic analyses rather than real records. Selected earthquake records should be scaled to a code design spectrum to reduce record to record variability in structural responses of considered structures. So, scaling of earthquake records is one of the most important procedures of time history analyses. In this paper, four real earthquake records are scaled to Eurocode 8 design spectrums by using SESCAP (Selection and Scaling Program) based on time domain scaling method and developed by using MATLAB, GUI software, and then scaled and real earthquake records are used for linear time history analyses of a six-storied building. This building is modeled as spatial by SAP2000 software. The objectives of this study are to put basic procedures and criteria of selecting and scaling earthquake records in a nutshell, and to compare the effects of scaled earthquake records on structural response with the effects of real earthquake records on structural response in terms of record to record variability of structural response. Seismic analysis results of building show that record to record variability of structural response caused by scaled earthquake records are fewer than ones caused by real earthquake records.

• 한국컴퓨터그래픽스학회논문지
• /
• 제12권1호
• /
• pp.21-25
• /
• 2006

This paper proposes a real-time simulation technique for thin shells undergoing large deformation. Thin shells are almost two-dimensional structures visually well approximated as surfaces, such as leaves, paper sheets, hats, aluminum cans. Unfortunately accurate simulation of these structures requires one of the most complex formulations in continuum mechanics, shell theory [4]. Moreover, there has not yet been any work reported to produce visually convincing animation of them while achieving real-time performance. Motivated by discrete shells [5] and modal warping [3], we formulate dynamics of thin shells using mass-spring models instead of finite element models, and then apply the modal warping technique to cope with large rotational deformation of thin shells. Experiments show that the proposed technique runs in real-time, and that it can simulate large bending and/or twisting deformations with acceptable realism.

• 복합신소재구조학회 논문집
• /
• 제5권2호
• /
• pp.15-20
• /
• 2014

This study carried out passenger safety assessment by real car crash simulation of composite post structures for road facilities. The effects of different material properties of composites for various parameters are studied using the LS-DYNA finite element program for this study. In this study, the existing finite element analysis of steel post structures using the LS-DYNA program is further extended to study dynamic behaviors of the structures made of various composite materials. The numerical results for various parameters are verified by comparing different models with displacements and stress distribution occurred in the post and car.

• Wind and Structures
• /
• 제16권5호
• /
• pp.457-476
• /
• 2013

This paper presents theoretical background for a semi-empirical, mathematical model of critical vortex excitation of slender structures of compact cross-sections. The model can be applied to slender tower-like structures (chimneys, towers), and to slender elements of structures (masts, pylons, cables). Many empirical formulas describing across-wind load at vortex excitation depending on several flow parameters, Reynolds number range, structure geometry and lock-in phenomenon can be found in literature. The aim of this paper is to demonstrate mathematical background of the vortex excitation model for a theoretical case of the structure section. Extrapolation of the mathematical model for the application to real structures is also presented. Considerations are devoted to various cases of wind flow (steady and unsteady), ranges of Reynolds number and lateral vibrations of structures or their absence. Numerical implementation of the model with application to real structures is also proposed.

• 대한수학회논문집
• /
• 제11권1호
• /
• pp.259-263
• /
• 1996

Let G be a topological group and X a G space. For a given nonequivariant vector bundle over X there does not always exist a G equivariant vector bundle structure. In this paper we find some sufficient conditions for nonequivariant real line bundles to have G equivariant vector bundle structures.