• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.16 no.1
• /
• pp.1-13
• /
• 2012

In this paper we present an a posteriori error estimator for the stabilized P1 nonconforming finite element method of the linear elasticity problem based on a nonsymmetric H(div)-conforming approximation of the stress tensor in the first-order Raviart-Thomas space. By combining the equilibrated residual method and the hypercircle method, it is shown that the error estimator gives a fully computable upper bound on the actual error. Numerical results are provided to confirm the theory and illustrate the effectiveness of our error estimator.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.5
• /
• pp.1719-1724
• /
• 2017

In this note, companion to the paper [10], we describe an alternative method for finding Laurent polynomials mirror-dual to complete intersections in Grassmannians of planes, in the sense discussed in [10]. This calculation follows a general method for finding torus charts on Hori-Vafa mirrors to complete intersections in toric varieties, detailed in [5] generalising the method of [8].

• Journal of KIISE:Computer Systems and Theory
• /
• v.32 no.11_12
• /
• pp.692-704
• /
• 2005

With the improvement of computer hardware, GPUs(Graphics Processor Units) have tremendous memory bandwidth and computation power. This leads GPUs to use in general purpose computation. Especially, GPU implementation of compute-intensive physics based simulations is actively studied. In the solution of differential equations which are base of physics simulations, tridiagonal matrix systems occur repeatedly by finite-difference approximation. From the point of view of physics based simulations, fast solution of tridiagonal matrix system is important research field. We propose a fast GPU implementation for the solution of tridiagonal matrix systems. In this paper, we implement the cyclic reduction(also known as odd-even reduction) algorithm which is a popular choice for vector processors. We obtained a considerable performance improvement for solving tridiagonal matrix systems over Thomas method and conjugate gradient method. Thomas method is well known as a method for solving tridiagonal matrix systems on CPU and conjugate gradient method has shown good results on GPU. We experimented our proposed method by applying it to heat conduction, advection-diffusion, and shallow water simulations. The results of these simulations have shown a remarkable performance of over 35 frame-per-second on the 1024x1024 grid.

• Journal of Korean Society for Quality Management
• /
• v.28 no.3
• /
• pp.59-67
• /
• 2000

In analysis of resolution IV fractional factorial experiments, the main effects only are analyzed, even though we can get some useful information on the confounded 2-factor interactions. In this paper, we introduce an exploiting method of the confounded structure of interactions, especially for the near minimal resolution IV 3$^{t}$ fractional factorial designs developed by Anderson and Thomas (1979). Moreover, in this paper the application way of the proposed method is also discussed by analyzing some simulated data.

• Water for future
• /
• v.18 no.4
• /
• pp.335-345
• /
• 1985

The purpose of stochastic models for synthetic generation of river flows based on the short-term observed data is to provide abundant input data to the water resources systems of which the system performance and operation policy are to be determined beforehand. Among many of such models the Monte Carlo Method of synthetic generation, which is usually known to be appropriate for annual data generation, is employed to check if it can be applied for the generation of monthly flows. For the purpose of comparisons the statistical parameters of the generated monthly flows by Monte Carlo model based on the appropriate probability distribution for each month were compared with those of the generated flows by Thoms-Fiering multiseason model and with those of the observed monthly flows. On the other hand, the statistical parameters of the annual river flows obtained by adding the generated monthly flows year by year based on the Monte Carlo and Thomas-Fiering models were compared with those of the annual flows generated directly by annual Monte Carlo model with reference to those for the observed annual river flows. Based on the above comparative studies, the discussions are made and conclusions derived.

• Journal of Chest Surgery
• /
• v.29 no.10
• /
• pp.1066-1075
• /
• 1996

To compare the efficacy of cardiac preservation, we examined purine metabolites during 24 hours of cold storage($0^{\circ}C$) of the Korean ongrel dog hearts after using three different types of cardioplegic solutions. The hypothermic arrest with total cardiopulmonAry bypass method was employed in 51. Thomas solution(575) and blood cardioplegic solution(BCPS) preservation cases. Specimens were analyzed for levels of adenine nucleotides and their precursors by high performance liquid chromatography. The ATP content in the UW(University of Wisconsin) solution group tends to be higher than that of the combined hypothermic arrest group(575 and BCPS groups) after 2,4,8, and 12 hours of preservation respectively, but there were no significant differences between 575 and BCPS groups. The ADP contents in the UWS and BCPS groups were higher than that of the 575 group at 4,8, 12, and 24 hours, but the difference was not statistically significant between UWS and BCPS groups. The AMP contents did not change significantly in the three groups. The adenosine, Inosine, and hypoxanthine concentrations increased progressively, but the lev l of xanthine was very low in the three groups.

• PNF and Movement
• /
• v.22 no.1
• /
• pp.71-80
• /
• 2024

Purpose: The purpose of this study is to compare the effects of proprioceptive neuromuscular facilitation (PNF) stretching, based on ballistic stretching and the contract-relax technique, on hip joint flexibility and muscle tone in adults with shortened rectus femoris muscles. Methods: The study involved 40 adults with shortened rectus femoris muscles, identified using the modified Thomas test. Participants were randomly divided into two groups: PNF stretching, employing the contract-relax technique, and ballistic stretching. Measurements included muscle tension, hip joint range of motion, and muscle characteristics. The rectus femoris muscle shortening effect was confirmed by the modified Thomas test, while the flexibility effect was assessed through hip joint motion range. The muscle tension effect was determined using Myoton-PRO. Results: Both stretching methods resulted in significant improvements in modified Thomas test angles and frequency, with the PNF stretching group showing notably greater changes. However, neither stretching method significantly affected decrement or stiffness measurements. These findings suggest that PNF stretching may be more effective for certain outcomes compared to ballistic stretching. Conclusion: In summary, both stretching methods positively influenced flexibility and muscle tension, with PNF stretching showing a greater impact. These findings highlight the importance of selecting the appropriate stretching technique for achieving functional improvements in muscles, which could serve as valuable indicators for preventing and treating muscle injuries in both sports and daily activities.

• Journal of Chest Surgery
• /
• v.29 no.4
• /
• pp.466-471
• /
• 1996

Esophageal atresia with tracheoesophageal fistula is a common form of congenital malformation of the esophagus, which was usually overlooked during the physical examination after delivery. The first report of esophageal atresia with tracheoesophageal fistula was done by Thomas-Gibson in 1696. We have performed primary repair by extrapleural approach through the right 4th intercostal space in 4 cases of congenital esophageal atresia with distal racheoesophageal fistula. End to end anastomosis was performed by Haight method in all cases. Postoperatively, two patients showed severe stenosis and one patient showed mild stenosis at the anastomotic site. Ballots dilatation was performed two cases with severe anastomotic stenosis.

• Water for future
• /
• v.18 no.1
• /
• pp.75-83
• /
• 1985

The applicability of ARMA(1, 1) multiseason model, which is in the beginning stage of active researches in the field of synthetic generation is evaluated with the streamflow data at the Nakdong stage gauging station on the main stem of the Nakdong River. The method of parameter estimation for the modelis reviewed and the statistical analysis of the generated seasonal streamflows such as corrlogram analysis and the computation of moments is made. The results obtained by ARMA(1, 1) multiseason model are compared with the historical streamflow data and also with those by two other multiseason models, namely, Thomas-Fiering model and Matalas AR(1) multiseason model. The seasonal streamflows grnerated by three multiseason models were annually summed up to form respective annual flow series whose statistics were compared with those of the annual flow series generated by three annual models, namely, AR(1), Matalas AR(1), and ARMA(1, 1) annual models. The possibility of ARMA(1, 1) multiseason model for the simultaneous generation of seasonal and annual streamflows is also evaluated.

• Water for future
• /
• v.19 no.2
• /
• pp.167-180
• /
• 1986

Disaggregation model has recently become a major technique in the field of synthetic generation and the model is possibly one of the most widely acepted tools in stochastic hydrology. The application of disaggregation model is evaluated with the streamflow data at the Waegwan and Hyunpung stage gaugin station on the main stem of the Nakdong River. The disaggregation process of annual streamflow data and the method of parameter estimation for the model is reviewed and the statistical analysis of the generated monthly streamflows such as a computation of moment estimation of covariance and correlogram analysis is made. The results, disaggregated monthly streamflow, obtained by Disaggregation Basic Model for single site are compared with the historical streamflow data and also with the other model, Thomas-Fiering Model. The generated monthly streamflow data by two models have been investigated and verified by comparision of mean and standard deviation between the historical and generated data.