• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1998.06a
• /
• pp.531-536
• /
• 1998

It is well known that a Boolean algebra is one of the most important algebra for engineering. A fuzzy algebra, which is referred to also as a Kleen algebra, is obtained from a Boolean algebra by replacing the complementary law in the axioms of a Bloolean algebra with the Kleen's law, where the Kleen's law is a weaker condition than the complementary law. Removal of the Kleen's law from a Kleen algebra gives a De Morgan algebra. In this paper, we generate lattice structures of the above related algebraic systems having finite elements by using a computer. From the result, we could find out a hypothesis that the structure excepting for each element name between a Kleene algebra and a De Morgan algebra is the same from the lattice standpoint.

• The Bulletin of The Korean Astronomical Society
• /
• v.38 no.2
• /
• pp.62.2-62.2
• /
• 2013

Recent spectroscopic observations have provided evidence for complex chemical evolution by supernovae and/or asymptotic giant branch (AGB) stars in the two metal-poor globular clusters (GCs) NGC2419 and M15. In particular, the horizontal branches (HBs) of these metal-poor GCs are very extended in the Hertzsprung-Russell diagram. The origin of these peculiar features, as well as that for the Sandage period-shift effect observed in these clusters, are yet to be understood. Here we show, by constructing population models including the Nitrogen enhanced subpopulation, that the second generation populations in these clusters would be enhanced not only in Helium, but also in Nitrogen. This working hypothesis can simultaneously explain the observed extended feature on the HB and the period-shift of RR Lyrae variables.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.24 no.2
• /
• pp.53-68
• /
• 1999

This paper presents a nonparametric method to test if the mean difference of DEA efficiency estimates between two groups statistically exists. A proposed method employs a bootstrapping approach to generation BCC efficiency estimates through Monte Carlo simulation resampling process. For the purpose of demonstration, we empirically apply the proposed method to the korean bank industry and compare its result with the result by the traditional deterministic DEA method. The nonparametric statistical hypothesis testing procedure in this study, which considers not only stochastic variability of the DEA data, but also random radial deviations off the efficient frontier, serves as a useful tool for dbjectively evaluating whether the mean difference of DEA efficiency estimates between groups is statistically significant.

• Journal of Society of Preventive Korean Medicine
• /
• v.4 no.2
• /
• pp.205-213
• /
• 2000

The oxidative modification of low density lipoprotein(LDL) has been implicated in the development of atherosclerosis . Oxidized LDL(oxLDL) are found in macrophage foam cell , and it can induce an macrophage proliferation in atherosclerotic plaque. In this study, we investigated the hypothesis that Tokhwalkisaengtang(TK) may reduce atherosclerosis by lowering the oxidizability of LDL, To achieve this goal, we examined the effect of TK on LDL oxidation, nitric oxide production in murine macrophage cell line , and the effect of TK on cupuric sulfate-induced cytotoxicity. LDH release, and macrophage activity TK inhibited the generation of oxLDL from native LDL in macrophage cell culture, and decreased the release of LDH from cupric sulfate-stimulated macrophage. In other experiments, TK activated macrophase cell, and increased the survival rate, and enhanced nitric oxide production in macrophage.

• Proceedings of the PSK Conference
• /
• 2003.04a
• /
• pp.229.2-230
• /
• 2003

Among the aldehydes derived from lipid peroxidation, 4-hydroxynonenal (HNE) that can be produced from arachidonic acids. linoleic acids, or their hydroperoxides in relatively large amounts in response to oxidative insult. Therefore, HNE might be an important mediator of Oxidative stress-induced apoptosis. To study the hypothesis that HNE may induce apoptosis, we estimated cytotoxicity of HNE on YPEN-1 rat prostatic endothelial cells. (omitted)

• The Journal of Korean Medicine Ophthalmology and Otolaryngology and Dermatology
• /
• v.19 no.2
• /
• pp.108-117
• /
• 2006

The oxidative notification of low density lipoprotein(LDL) has been implicated in the development of atherosclerosis. Oxidized LDL are found in macrophage foam cell, and it can induce an macrophage proliferation in atherosclerotic plaque. In this study, we investigated the hypothesis that Samkieum may reduce atherosclerosis by lowering the oxidiazability of LDL, To achieve this goal, we examined the effect of Samkieum on LDL oxidation nitric oxide production in mouse macrophage cell line, RAW264.7, and the effect of Samkieum on cupuric sulfate-induced cytotoxicity, LDH release, and macrophage activity. Samkieum inhibited the generation of oxidized LDL from native LDL in RAW264.7 cell culture, and decreased the release of LDH from cupric sulfate-stimulated RAW264.7 cell. In other experiments, Samkieum activated RAW264.7 cell, and prolonged the survival time, and increased nitric oxide production in Raw 264.7 cells.

• Journal of Institute of Control, Robotics and Systems
• /
• v.14 no.7
• /
• pp.679-688
• /
• 2008

This paper presents an algorithm capable of detecting leading vehicles using a forward-looking camera. In fact, the accurate measurements of the contact locations of vehicles with road surface are prerequisites for the intelligent vehicle technologies based on a monocular vision. Relying on multistage processing of relevant edge features to the hypothesis generation of a vehicle, the proposed algorithm creates candidate positions being the left and right boundaries of vehicles, and searches for pairs to be vehicle boundaries from the potential positions by evaluating horizontal symmetry. The proposed algorithm is proven to be successful by experiments performed on images acquired by a moving vehicle.

• Journal of Distribution Science
• /
• v.12 no.5
• /
• pp.93-107
• /
• 2014

Purpose - The pool of entrepreneurs with progressive qualities such as creativity and innovation was considered concurrently with such factors as work and capital that stimulate economic development and growth. This study aims to present a model to support the development of a strategic approach for achieving an overall academic entrepreneurship system in Iran. Research design, data, and methodology - The research design of this study is based on applied research because of its objectives, using principles and techniques formulated for basic research to solve operational and real organizational issues. This design also drives the method used, describing and interpreting the findings. Secondary data (library research) was used for this study's data collection. Because of this research's essential characteristics, no hypothesis is launched, and no research setting, questionnaire design, population or population sampling, validity or reliability tests, or statistical analysis are needed. Results and Conclusions - The model is created using a strategic approach acting in an octal setting comprising social, cultural, legal, economic, political, technological, competitive, and natural environments to present a conceptual framework for future studies.

• Molecular & Cellular Toxicology
• /
• v.1 no.4
• /
• pp.281-283
• /
• 2005

Extraction of biologically meaningful data and their validation are very important for toxicogenomics study because it deals with huge amount of heterogeneous data. BINGO is an annotation mining tool for biological interpretation of gene groups. Several statistical modeling approaches using Gene Ontology (GO) have been employed in many programs for that purpose. The statistical methodologies are useful in investigating the most significant GO attributes in a gene group, but the coherence of the resultant GO attributes over the entire group is rarely assessed. BINGO complements the statistical methods with graph-theoretic measures using the GO directed acyclic graph (DAG) structure. In addition, BINGO visualizes the consistency of a gene group more intuitively with a group-based GO subgraph. The input group can be any interesting list of genes or gene products regardless of its generation process if the group is built under a functional congruency hypothesis such as gene clusters from DNA microarray analysis.

• Proceedings of the KIEE Conference
• /
• 2002.07d
• /
• pp.2096-2098
• /
• 2002

In this paper, the optimal evasive maneuver strategies for typical subsonic ASM(anti-ship missile) to reach its target ship with high survivability against CIWS(close in weapon system) are studied. The optimal evasive maneuver input is defined by the homing command optimizing the cost function which takes aiming errors of CIWS into account. The optimization problem for the effective evasive maneuver is formulated based on a simple missile dynamics model and a CIWS model. By means of solving the problem, a multiple hypotheses testing method is proposed. Since this method requires generation of too many hypotheses, the hypothesis-pruning technique is adopted. The solution shows that the optimal evasive maneuver is a bang-bane shaped command whose frequency is varied by the aimpoint determination strategy in CIWS.