• Proceedings of the Korea Concrete Institute Conference
• /
• 2006.11a
• /
• pp.909-912
• /
• 2006

This paper examined the applicability of convex hull, which is defined as the minimal convex polygon including all points, to assessment model for effective region. In order to validate the applicability of the convex hull to assessment model for effective region, a genetic algorithm was adopted as a optimum technique, and an artificial neural network was adopted as a prediction model for material properties. The mix-proportion obtained from the proposed technique is more reasonable than that obtained from previous work.

• IMMUNE NETWORK
• /
• v.12 no.6
• /
• pp.269-276
• /
• 2012

The anti-tumor effect of monocyte-derived DC (MoDC) vaccine was studied in lung cancer model with feasible but weak Ag-specific immune response and incomplete blocking of tumor growth. To overcome this limitation, the hematopoietic stem cell-derived DC (SDC) was cultured and the anti-tumor effect of MoDC & SDC was compared in mouse lung cancer minimal residual model (MRD). Therapeutic DCs were cultured from either $CD34^+$ hematopoietic stem cells with GM-CSF, SCF and IL-4 for 14 days (SDC) or monocytes with GM-CSF and IL-4 for 7 days (MoDC). DCs were injected twice by one week interval into the peritoneum of mice that are inoculated with Lewis Lung Carcinoma cells (LLC) one day before the DC injection. Anti-tumor responses and the immune modulation were observed 3 weeks after the final DC injection. CD11c expression, IL-12 and TGF-${\beta}$ secretion were higher in SDC but CCR7 expression, IFN-${\gamma}$ and IL-10 secretion were higher in MoDC. The proportion of $CD11c^+CD8a^+$ cells was similar in both DC cultures. Although both DC reduced the tumor burden, histological anti-tumor effect and the frequencies of IFN-${\gamma}$ secreting $CD8^+$ T cells were higher in SDC treated group than in MoDC. Conclusively, although both MoDC and SDC can induce the anti-tumor immunity, SDC may be better module as anti-tumor vaccine than MoDC in mouse lung cancer.

• Journal for History of Mathematics
• /
• v.21 no.3
• /
• pp.1-30
• /
• 2008

The success of Newton's Gravitational Theory has influenced the theory of capillarity, beginning in the early nineteenth century, by providing a major model of molecular attraction. He used the equation of the attraction of spheroids, which is expressed by second order partial differential equations, to utilize this analogy as the same kind of a particle's force, between gravitational, refractive force of light, and capillarity. The solution of the differential equation corresponds to the geometrical figure of the vessel and the contact angle which is made by the fluid. Unknown abstract functions $\varphi(f)$ represent interaction forces between molecules, giving their potential functions. By conducting several kinds of experimental conditions, it was found that the height of the ascending fluid in the tube is inversely proportional to the rayon of the tube or the distance of the plate. This model is an essential element in the theory of capillarity. Laplace has brought Newtonian mechanics to completion, which relates to the standard model of gravitational theory. Laplace-Young's equation of capillarity is applicable to minimal surfaces in mathematics, to surface tensional phenomena in physics, and to soap bubble experiments.

• Journal of Internet Computing and Services
• /
• v.7 no.1
• /
• pp.121-130
• /
• 2006

In next generation wireless networks, an application must be capable of rating service information in real-time and prior to initiation of the service it is necessary to check whether the end user's account provides coverage for the requested service. However, to provide prepaid services effectively, credit-control should have minimal latency. In an endeavor to support real-time credit-control for Mobile IPv6 (MIPv6), we design an implementation architecture model of credit-control authorization. The proposed integrated model combines a typical credit-control authorization procedure into the MIPv6 authentication procedure. We implement it on a single server for minimal latency. Thus, the server can perform credit-control authorization and MIPv6 authentication simultaneously. Implementation details are described as software blocks and units. In order to verify the feasibility of the proposed model. latency of credit-control authorization is measured according to various Extensible Authentication Protocol (EAP) authentication mechanisms. The performance results indicate that the proposed approach has considerably low latency compared with the existing separated models, in which credit-control authorization is separated from the MIPv6 authentication.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.41 no.2
• /
• pp.24-31
• /
• 2018

As a system complexity increases and technology innovation progresses rapidly, leasing the equipment is considered as an important issue in many engineering areas. In practice, many engineering fields lease the equipment because it is an economical way to lease the equipment rather than to own the equipment. In addition, as the maintenance actions for the equipment are costly and need a specialist, the lessor is responsible for the maintenance actions in most leased contract. Hence, the lessor should establish the optimal maintenance strategy to minimize the maintenance cost. This paper proposes two periodic preventive maintenance policies for the leased equipment. The preventive maintenance action of policy 1 is performed with a periodic interval, in which their intervals are the same until the end of lease period. The other policy is to determine the periodic preventive maintenance interval minimizing total maintenance cost during the lease period. In addition, this paper presents two decision-making models to determine the preventive maintenance strategy for leased equipment based on the lessor's preference between the maintenance cost and the reliability at the end of lease period. The structural properties of the proposed decision-making model are investigated and algorithms to search the optimal maintenance policy that are satisfied by the lessor are provided. A numerical example is provided to illustrate the proposed model. The results show that a maintenance policy minimizing the maintenance cost is selected as a reasonable decision as the lease term becomes shorter. Moreover, the frequent preventive maintenance actions are performed when the minimal repair cost is higher than the preventive maintenance cost, resulting in higher maintenance cost.

• Journal of Applied Reliability
• /
• v.7 no.1
• /
• pp.13-22
• /
• 2007

A preventive maintenance model, caller FNBM (${\alpha},{\delta},{\gamma}$) model, is proposed to decide an optimal repair number under achieved availability requirements (r) along with taking two types of failures (repairable or irrepairable) into account. In this model, the current system is replaced by a new one in case when it doesn't meet the achieved availability requirement, even though it is repairable failure; Othewise it is replaced in time of the first irrepairable failure. Assumed that the j-th failure is repairable with probability ${\alpha}_j$ minimal repairs are allowed for repairable failure between replacements. Expected cost rate for preventive maintenance model is developed using NHPP (Non - Homogeneous Poisson Process) in order to de term in the optimal number $n^*$, also numerical examples are shown in order to explain the proposed model. Since the proposed FNBM (${\alpha},{\delta},{\gamma}$) model includes Park FNBM model (1979) and Nakagawa FNBM (p) model (1983) m this proposed model is thought to be better than previous model, especially for weapon system which requires availability as primary parameter.

• Communications for Statistical Applications and Methods
• /
• v.25 no.2
• /
• pp.131-157
• /
• 2018

We propose a robust event date model to estimate the date of a target event by a combination of individual dates obtained from archaeological artifacts assumed to be contemporaneous. These dates are affected by errors of different types: laboratory and calibration curve errors, irreducible errors related to contaminations, and taphonomic disturbances, hence the possible presence of outliers. Modeling based on a hierarchical Bayesian statistical approach provides a simple way to automatically penalize outlying data without having to remove them from the dataset. Prior information on individual irreducible errors is introduced using a uniform shrinkage density with minimal assumptions about Bayesian parameters. We show that the event date model is more robust than models implemented in BCal or OxCal, although it generally yields less precise credibility intervals. The model is extended in the case of stratigraphic sequences that involve several events with temporal order constraints (relative dating), or with duration, hiatus constraints. Calculations are based on Markov chain Monte Carlo (MCMC) numerical techniques and can be performed using ChronoModel software which is freeware, open source and cross-platform. Features of the software are presented in Vibet et al. (ChronoModel v1.5 user's manual, 2016). We finally compare our prior on event dates implemented in the ChronoModel with the prior in BCal and OxCal which involves supplementary parameters defined as boundaries to phases or sequences.

• The Journal of Korean Obstetrics and Gynecology
• /
• v.20 no.4
• /
• pp.123-131
• /
• 2007

Purpose: To find the correlation between ambient temperature change and the efficacy of acupuncture on the postmenopausal hot flash. Methods: 52 patients entered a randomized clinical trial which was to verify the efficacy of acupuncture on postmenopausal hot flash. Participants were treated with optimal/minimal acupuncture in the course of 13 weeks. 34 of 52 visited for the temperature-rising period(Group 1), while 18 of 52 for the temperature-falling period(Group 2), 100mm hot flash VAS and average temperature were taken 18 times from each person. Linear mixed effects model was used to find the correlation between temperature and hot flash VAS score(p-value<0.05). Group1/2, optimal/minimal acupuncture, age, age of menarche, height, weight, percent body fat, BMI, waist-hip ratio, past history of hysterectomy and HRT were also examined. Results: Period of treatment had influence on the hot flash VAS. As time went by, hot flash decreased(p<.0000). Participants who underwent minimal acupuncture showed higher hot flash VAS(p=0.0479) and as waist-hip ratio rose, hot flash increased(p<.0000). As the temperature rose, hot flash VAS score became lower(p=0.0143) and it was because 34 of 52 participants were treated for the temperature-rising period. Group 1/2 had no interrelation with hot flash(p=0.5741). Conclusion: Hot flash diminished as participants were treated with acupuncture, independently of whether the ambient temperature rises or falls.

• International Journal of Control, Automation, and Systems
• /
• v.3 no.4
• /
• pp.631-639
• /
• 2005

In this paper, we propose a constructive realization procedure for 2D systems which may lead to a Fornasini-Marchesini local state-space model with much lower order than the existing realization procedure given by Bisiacco et al. Nontrivial examples are illustrated and the conditions for minimal realization are also discussed.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.5 no.5
• /
• pp.51-66
• /
• 1997

A heat transfer model of the intake valve in a spark ignition engine is presented, which is calibrated with a number of the valve temperature profiles measured during engine warm-up for the gaseous fuel(propane). The valve is divided into four identical elements for which the assumption of lumped thermal mass is applied. The calibration is made so that the difference between the measued and simulated valve temperatures becomes minimal. Then the model is applied to the cases of the liquid fuel(indolene) to estimate the amount of the liquid fuel vaporized from the intake valve by assuming that fuel evaporation accounts for the deficit of the heat balance budget. The results of the model show quantitative contribution of each heat transfer source to the heat balance. The behavior of the calculated mass fraction of the fuel vaporized from the intake valve explains how the liquid fuel evaporate during engine warm-up. The mass fraction at warmed-up condition is closely related with the fraction directly targeted on the valve back by the fuel spray geometry.