• The Korean Journal of Applied Statistics
• /
• v.23 no.1
• /
• pp.207-218
• /
• 2010

Generalized additive model(GAM) is the statistical model that resolves most of the problems existing in the traditional linear regression model. However, overfitting phenomenon can be aroused without applying any method to reduce the number of independent variables. Therefore, variable selection methods in generalized additive model are needed. Recently, Lasso related methods are popular for variable selection in regression analysis. In this research, we consider Group Lasso and Elastic net models for variable selection in GAM and propose an algorithm for finding solutions. We compare the proposed methods via Monte Carlo simulation and applying auto insurance data in the fiscal year 2005. lt is shown that the proposed methods result in the better performance.

• Journal of KIISE:Software and Applications
• /
• v.35 no.9
• /
• pp.529-537
• /
• 2008

Since concurrent software is hard to debug, the verification of such systems inevitably needs automatic tools which support exhaustive searching. Bounded Model Checking (BMC) is one of them. Within a bound k, BMC exhaustively check some errors in execution traces of the given system. In this paper, we introduce the tool that performs BMC for LTS, modeling language for concurrent programs. In this tool, a property is described by a FLTL formula, which is suitable to present the property with actions in a LTS model. To experiment with existential model checkers and out tool, we compare and analysis the performance of the developed tool and others.

• Journal of applied mathematics & informatics
• /
• v.31 no.5_6
• /
• pp.747-767
• /
• 2013

In this paper we have constructed a mathematical model of alcohol abuse which consists of four compartments corresponding to four population classes, namely, moderate and occasional drinkers, heavy drinkers, drinkers in treatment and temporarily recovered class. Basic reproduction number $R_0$ has been determined and sensitivity analysis of $R_0$ indicates that ${\beta}1$ (the transmission coefficient from moderate and occasional drinker to heavy drinker) is the most useful parameter for preventing drinking habit. Stability analysis of the model is made using the basic reproduction number. The model is locally asymptotically stable at disease free or problem free equilibrium (DFE) $E_0$ when $R_0<1$. It is found that, when $R_0=1$, a backward bifurcation can occur and when $R_0>1$, the endemic equilibrium $E^*$ becomes stable. Further analysis gives the global asymptotic stability of DFE under some conditions. Our important analytical findings are illustrated through computer simulation. Epidemiological implications of our analytical findings are addressed critically.

• Journal of Food Hygiene and Safety
• /
• v.31 no.5
• /
• pp.342-348
• /
• 2016

The objective of this study was to compare the change of S. Enteritidis with S. Typhimurium populations in liquid egg products. S. Enteritidis or S. Typhimurium was inoculated into egg white and egg yolk and stored at 8, 10, 15, 25, and $35^{\circ}C$, respectively. In egg white, no growth of S. Enteritidis and S. Typhimurium was observed at 8, 10, 15, and $35^{\circ}C$, while both S. Enteritidis and S. Typhimurium in egg white stored grew more than 1 log CFU/ml after 50 hours storage at $25^{\circ}C$. In egg yolk, there was no growth of S. Enteritidis and S. Typhimurium at $8^{\circ}C$ but growth of both strains was observed at 10, 15, 25, and $35^{\circ}C$. Since growth of S. Enteritidis and S. Typhimurium was only observed in egg yolk, primary growth models for both strains were developed using modified Gompertz equation and then secondary models for lag time (LT), specific growth rate (SGR), and maximum population density (MPD) were developed as a function of temperature. At all temperatures, more rapid growth of S. Enteritidis than S. Typhimurium was observed in egg yolk, indicating the greater risk of S. Enteritidis than S. Typhimurium in egg products. In conclusion, the results indicate that temperature control less than $8^{\circ}C$ is very important to ensure safety of liquid egg products, especially liquid egg yolk.

• Journal of Life Science
• /
• v.23 no.10
• /
• pp.1199-1208
• /
• 2013

Fibroblastic reticular cells (FRCs) form the structural backbone of the T zone provide a guidance path for immigrating T cells in the lymph node (LN). FRCs may contribute directly to developing T-cell biology in the LN and allow analyses of fundamental aspects of FRC biology related to T cells. FRCs inhibited T-cell apoptosis, and FRC culture supernatants strongly induced the expression of Bcl-xL in T cells against doxorubicin. Coculture of FRC and T cells resulted in rearrangements of the actin cytoskeleton, as well as global changes in the morphology of the FRCs. In addition, when cocultured, the T cells adhered to the FRC monolayer, and the membrane intercellular adhesion molecule (ICAM)-1 was slightly increased by day-dependent manner. In contrast, the expression of soluble ICAM-1 was dramatically increased in a day-dependent manner. Several chemokines, such as CCL5, CXCL1, CXCL5, CXCL16, CCL8, CXCL13, and ICAM-1, and MMPs were expressed in FRCs sensed by tumor necrosis factor (TNF) families. Nuclear factor kappa B ($NF{\kappa}B$)-RelA of the $NF{\kappa}B$ canonical pathway was translocated into FRC nuclear by $TNF{\alpha}$. In contrast, p52 proteolyzed from p100, a counterpart of RelB of the noncanonical $NF{\kappa}B$ pathway, accumulated in the peripheral FRC nucleus by agonistic anti-$LT{\beta}R$ antibody. In summary, we propose a model in which FRCs engage in bidirectional crosstalk to increase the efficiency of T-cell biology. This cooperative feedback loop may help to maintain tissue integrity and function during immune responses.

• Journal of Korean Association for Spatial Structures
• /
• v.10 no.2
• /
• pp.117-126
• /
• 2010

Experiment on flexural analysis of RC beams strengthened with composite material panel is presented. Recently, the strengthening of reinforced concrete structures using advanced fiber reinforced plastic (FRP) composites, and in particular the behavior of FRP-reinforced concrete structure is topic that has become very popular because of good corrosion resistance and easy for site handling due to their light weight. In this study, an efficient computational analysis using ABAQUS to predict the ultimate moment capacity of reinforced concrete beams strengthened with FRP is presented. Test parameters in this study are the shape of fiber arrangement (LT, DB, DBT) and the number of carbon fiber sheets (2ply, 3ply). When comparing with results of the analytical model, results of the experiments show similar values. Furthermore, reinforced concrete beam with FRP obtains improved effects for ultimate strength.

• The Journal of Advanced Prosthodontics
• /
• v.4 no.3
• /
• pp.162-169
• /
• 2012

PURPOSE. Fracture of the veneering material of zirconia restorations frequently occurs in clinical situations. The purpose of this in vitro study was to compare the fracture strengths of zirconia crowns veneered with various ceramic materials by various techniques. MATERIALS AND METHODS. A 1.2 mm, $360^{\circ}$ chamfer preparation and occlusal reduction of 2 mm were performed on a first mandibular molar, and 45 model dies were fabricated in a titanium alloy by CAD/CAM system. Forty-five zirconia copings were fabricated and divided into three groups. In the first group (LT) zirconia copings were veneered with feldspathic porcelain by the layering technique. In the second group (HT) the glass ceramic was heat-pressed on the zirconia coping, and for the third group (ST) a CAD/CAM-fabricated high-strength anatomically shaped veneering cap was sintered onto the zirconia coping. All crowns were cemented onto their titanium dies with Rely $X^{TM}$ Unicem (3M ESPE) and loaded with a universal testing machine (Instron 5583) until failure. The mean fracture values were compared by an one-way ANOVA and a multiple comparison post-hoc test (${\alpha}$= 0.05). Scanning electron microscope was used to investigate the fractured interface. RESULTS. Mean fracture load and standard deviation was $4263.8{\pm}1110.8$ N for Group LT, $5070.8{\pm}1016.4$ for Group HT and $6242.0{\pm}1759.5$ N for Group ST. The values of Group ST were significantly higher than those of the other groups. CONCLUSION. Zirconia crowns veneered with CAD/CAM generated glass ceramics by the sintering technique are superior to those veneered with feldspathic porcelain by the layering technique or veneered with glass ceramics by the heat-pressing technique in terms of fracture strength.

• The korean journal of orthodontics
• /
• v.36 no.1 s.114
• /
• pp.14-29
• /
• 2006

Developments in computer technology have made possible the 3-dimensional (3-D) evaluation of hard and soft tissues in orthodontic diagnosis, treatment planning and post-treatment results. In this study, Korean adults with normal occlusion (male 30, female 30) were scanned by a 3-D laser scanner, then 3-D facial images formed by the Rapidform 2004 program (Inus Technology Inc., Seoul, Korea.). Reference planes in the facial soft tissue 3-D images were established and a 3-D coordinate system (X axis-left/right, Y axis-superior/inferior, Z axis-anterior/posterior) was established by using the soft tissue nasion as the zero point. Twenty-nine measurement points were established on the 3-D image and 43 linear measurements, 8 angular measurements, 29 linear distance ratios were obtained. The results are as follows; there were significant differences between males and females in the nasofrontal angle $(male:\;142^{\circ},\;female:\;147^{\circ})$ and transverse nasal prominence $(male:\;112^{\circ},\;female:\;116^{\circ})$ (p<0.05). The transverse upper lip prominence was $107^{\circ}$ in males, $106^{\circ}$ in females and the transverse mandibular prominence was $76^{\circ}$ in both males and females. Li-Me' was 0.4 times the length of Go-Me'(mandibular body length) and the mouth height was also 0.4 times the width of the mouth width. The linear distance ratio from the coronal reference plane of FT, Zy, Pn, ULPm, Li, Me' was -1/-1/1/0.5/0.5/-0.6 respectively. The 3-D facial model of Korean adults with normal occlusion were be constructed using coordinate values and linear measurement values. These data may be used as a reference in 3-D diagnosis and treatment planning for malocclusion and dentofacial deformity patients and applied for 3-D analysis of facial soft tissue changes before and after orthodontic treatment and orthognathic surgery.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2012.04a
• /
• pp.614-619
• /
• 2012

A LQG/LTR(Linear Quadratic Gaussian/Loop Transfer Recovery) controller with an integrator is designed to control the electro-hydraulic positioning system. Without considering the nonlinearity in the dead-zone, computer simulations are performed and show good performances and tracking abilities with the feedback controller based on the linear system model. However, the performance of the closed loop hydraulic positioning system shows big steady-state error in real system because of the dead-zone. In this paper, the feedback controller with a nonlinear compensator is introduced to overcome the dead-zone phenomenon in hydraulic systems. The inverse dead-zone as a nonlinear compensator is used to cancel out the dead-zone phenomenon. Experimental tests are performed to verify the performance of the controller.

• Journal of the Society of Naval Architects of Korea
• /
• v.41 no.2
• /
• pp.47-54
• /
• 2004

Exact solution on the vertical responses of ships having uniform sectional properties in waves is derived. Boundary value problem consisted of Timoshenko beam equation and free-free end condition is solved analytically. The responses are assumed as linear and wave loads are calculated by using strip method. Vertical bending moment, shear force and deflection are calculated. The developed analysis model is used for the benchmark test of the numerical codes in this problem. Also the application on the preliminary design of barge-like ships and VLFS (Very Large Floating Structure) is expected.