• Earthquakes and Structures
• /
• v.20 no.2
• /
• pp.161-173
• /
• 2021

The structural behavior of a tensile fabric structure, known as hypar, is investigated. Seismic-induced stresses in the fabric and axial forces in masts and cables are obtained using accelerograms recorded at different regions of the world. Time-history analysis using each recording are performed for the hypar by using finite element simulation. It is found that while the seismic stresses in the fabric are not critical for design, the seismic tensile forces in cables and the seismic compressive forces in masts should not be disregarded by designers. This is important, because the seismic design is usually not considered so relevant, as compared for instance with wind design, for these types ofstructures. The most relevant findings of this study are: 1) dynamic axial forces can have an increase of up to twice the static loading when the TFS is subjected to seismic demands, 2) large peak ground accelerations seem to be the key parameter for significant seismic-induced axial forces, but not clear trend is found to relate such forces with earthquakes and site characteristics and, 3) the inclusion or exclusion of the form-finding in the analysis procedure importantly affects results ofseismic stresses in the fabric, but not in the frame.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.13 no.11
• /
• pp.5356-5363
• /
• 2012

The aim of this study was to validate the Korean Version of the Empathy Quotient-Short form(EQ-Short-K) in a sample of Korean nursing students. A total 528 students(494 female, 34 male) were studied by 2 groups. To provide a validity of the Empathy Quotient-Short form in Korean sample, exploratory factor analysis, reliability test and Pearson correlation coefficient were conducted. In study 1 (N=298), the finding of factor analysis confirmed that 11 of the 22 EQ-Short items were presented as a single-factor structure. The reliability estimate of the EQ-Short-K was high(.88). In terms of criterion validity, the EQ-short-K correlated positively with Interpersonal Reactivity Index(IRI)(r=.279, p<.000). In study 2 (N=230), the finding identified that the EQ-Short-K correlated positively with Interpersonal Competence Questionnaire(ICQ)(r=.351, p<.000). It suggested that the EQ-Short-K had satisfactory internal consistency and validity, thereby the EQ-Short-K can be used as a meaningful measure for empathy among Korean nursing domain.

• Toxicological Research
• /
• v.6 no.1
• /
• pp.99-107
• /
• 1990

Dopamine beta-hydroxylase (DBH) is a neurotransmitter biosynthetic enzyme which catalyzes the conversion of dopamine to norepinephrine. Although structural studies of the mature form of this enzyme have been extensive, the culmination of these finding had been hightly controversial and contradictory. In this study, biochemical approaches were taken to characterize the structure of mature DBH. Soluble bovine DBH was purified from aderenal medulla. Three bands of 69 kDa, 72 kDa and 75 kDa which were physically separable and similar in structure were observed by SDS-PAGE. Furthermore, gas phase sequence analysis revealed that the 72 kDa band consists of two polypeptides which are present at equimolar concentrations and differed in that one had three extra amino acids at the N-terminus. Taken together, the soluble form of DBH exist in at least four forms, three identified by SDS-PAGE, one of which consists of two polypeptides as identified by N-terminal sequence analysis. The significance of these forms and their possible biosynthetic mechanisms are discussed.

• Journal of the Korean Society of Safety
• /
• v.8 no.1
• /
• pp.21-28
• /
• 1993

Occupational Safety & Health Code requires to calculate Design Load and stress for the approval within thirty working days prior to initiating each construction site work This study is to develop an easy and useful program that each safety manager. Controller or engineers are able to make output for the above mentioned form structure analyses without knowledge or engineering background of it. Therefore. three, randomly selected. different major student and engineers verified if they could make output. really without the engineering background. And then some deficiencies are corrected after finding those from the program operation.

• The KIPS Transactions:PartD
• /
• v.15D no.2
• /
• pp.197-206
• /
• 2008

The CTOC framework was implemented to efficiently perform analysis and optimization of the Java bytecode that is often being used lately. In order to analyze and optimize the bytecode from the CTOC, the eCFG was first generated. Due to the bytecode characteristics of difficult analysis, the existing bytecode was expanded to be suitable for control flow analysis, and the control flow graph was drawn. We called eCFG(extended Control Flow Graph). Furthermore, the eCFG was converted into the SSA Form for a static analysis. Many loops were found in the conversion program. The previous CTOC performed conversion directly into the SSA Form without processing the loops. However, processing the loops prior to the SSA Form conversion allows more efficient generation of the SSA Form. This paper examines the process of finding the loops prior to converting the eCFG into the SSA Form in order to efficiently process the loops, and exhibits the procedures for generating the loop tree.

• Journal of the Korea Society of Computer and Information
• /
• v.13 no.5
• /
• pp.27-35
• /
• 2008

The CTOC framework was implemented to efficiently perform analysis and optimization of the Java bytecode that is often being used lately. In order to analyze and optimize the bytecode from the CTOC, the eCFG was first generated. Due to the bytecode characteristics of difficult analysis, the existing bytecode was expanded to be suitable for control flow analysis. and the control flow graph was drawn. We called eCFG(extended Control Flow Graph). Furthermore, the eCFG was converted into the SSA Form for a static analysis. Many loops were found in the conversion program. The previous CTOC performed conversion directly into the SSA Form without processing the loops. However, processing the loops prior to the SSA Form conversion allows more efficient generation of the SSA Form. This paper examines the process of finding the loops prior to converting the eCFG into the SSA Form In order to efficiently process the loops, and exhibits the procedures for generating the loop tree.

• Educational Technology International
• /
• v.7 no.1
• /
• pp.21-37
• /
• 2006

This paper focuses on finding out visualization process by means of VTA(Visual Task Analysis) of expert teachers' simple task. Findings indicate teachers have coding schema of performing visual task as such; (a) the analyzing by reading and some activities in the task text, (b) conceptualizing or understanding in his/her own way, (c) the explaining of the action or product, (d) the searching by thinking or finding, (e) the decision of visualizing of the task. Expert teachers tried to visualize in the form of abstract graph, and to omit the object which was not directly related to the topic at the pilot study. VAT based on ground theory and protocol analysis was developed and performed. This case study suggests that an additional study for searching a guide and method might be beneficial for conducting a visual task analysis.

• Journal of Korean Association for Spatial Structures
• /
• v.7 no.3 s.25
• /
• pp.57-66
• /
• 2007

The membrane structures, a kind of lightweight soft structural system, are used for spatial structures. The material property of the membrane has strong axial stiffness, but little bending stiffness. The design procedure of membrane structures are needed to do shape finding, stress-deformation analysis and cutting pattern generation. In shape finding, membrane structures are unstable structures initially. These soft structures need to be introduced initial stresses because of its initial unstable state, and happen large deformation phenomenon. Therefore, in this paper, we investigate the convergence of solution and the speed according to the control variables and the method of shape analysis.

• Proceedings of the KIEE Conference
• /
• 2003.11b
• /
• pp.131-134
• /
• 2003

In this paper, we consider the problem of finding the stability region in state space for uncertain linear systems with input saturation. For stability analysis, two Lyapunov functions are chosen. One is for the lineal region and the other is for the saturated legion. Piecewise Lyapunov functions are obtained by solving successive linear matrix inequalites(LMIs) relaxations. A sufficient condition for robust stability is derived in the form of stability region of initial conditions. A numerical example shows the effectiveness of the proposed method.

• Journal of the Korea Society of Computer and Information
• /
• v.11 no.4 s.42
• /
• pp.87-96
• /
• 2006

Although bytecode has many good features, it has slow execution speed and it is not an ideal representation for program analysis or optimization. For analysises and optimizations. bytecode must be translated to a Static Single Assignment Form(SSA Form) But when bytecode is translated a SSA Form it has lost type informations of son variables. For resolving these problem in this paper, we create extended control flow graph on bytecode. Also we convert the control flow graph to SSA Form for static analysis. Calculation about many informations such as dominator, immediate dominator. dominance frontier. ${\phi}$-Function. renaming are required to convert to SSA Form. To obtain appropriate type for generated SSA Form, we proceed the followings. First. we construct call graph and derivation graph of classes. And the we collect information associated with each node. After finding equivalence nodes and constructing Strongly Connected Component based on the collected informations. we assign type to each node.