• Journal for History of Mathematics
• /
• v.24 no.3
• /
• pp.37-58
• /
• 2011

The development of recent Mathematical Logic is mostly originated in Hilbert's Proof Theory. The purpose of the plan so called Hilbert's Program lies in the formalization of mathematics by formal axiomatic method, rescuing classical mathematics by means of verifying completeness and consistency of the formal system and solidifying the foundations of mathematics. In 1931, the completeness encounters crisis by the existence of undecidable proposition through the 1st Theorem of G?del, and the establishment of consistency faces a risk of invalidation by the 2nd Theorem. However, relative of partial realization of Hilbert's Program still exists as a fruitful research program. We have tried to bring into relief through Curry-Howard Correspondence the fact that Hilbert's program serves as source of power for the growth of mathematical constructivism today. That proof in natural deduction is in truth equivalent to computer program has allowed the formalization of mathematics to be seen in new light. In other words, Hilbert's program conforms best to the concept of algorithm, the central idea in computer science.

• Economic and Environmental Geology
• /
• v.23 no.4
• /
• pp.453-463
• /
• 1990

The Yechon shear zone developed by strike-slip movement was formed in a relatively high temperature condition just after the Jurassic syntectonic granites had been emplaced during Daebo Orogeny. Post-emplacement formation of the shear zone is favored by continuity of foliations and lineations within and without the granites, development of mylonitic structures in the wallrocks, deformation of pegmatite and felsite dikes, and pretectonic growth of porphyroblasts in the wallrocks. A variety of shear sense indicators in the shear zone are predominantly observed in the intensely to extremely deformed rocks. They show that bulk non-coaxial detormation has occurred, and that the sense of shear is consistently dextral with S-C fabrics, grain shape fabrics, asymmetric porphyroclast systems, mica fish, asymmetric extension structures and quartz C-axis fabrics.

• Reproductive and Developmental Biology
• /
• v.36 no.1
• /
• pp.13-19
• /
• 2012

In order to provide the basis for developing practical mouse embryonic stem cells (mESCs) culture method, how the endogenous level of self-renewal-stimulating factor genes was altered in the mESCs by different extracellular signaling was investigated in this study. For different extracellular signaling, mESCs were cultured in 2 dimension (D), 3D and integrin-stimulating 3D culture system in the presence or absence of leukemia inhibitory factor (LIF) and transcriptional level of $Lif$, $Bmp4$ and $Wnt3a$ was evaluated in the mESCs cultured in each system. The expression of three genes was significantly increased in 3D system relative to 2D system under LIF-containing condition, while only $Wnt3a$ expression was increased by 3D culture under LIF-free condition. Stimulation of integrin signaling in mESCs within 3D system with exogenous LIF significantly up-regulated transcriptional level of $Bmp4$, but did not induce transcriptional regulation of $Lif$ and $Wnt3a$. In the absence of LIF inside 3D system, the expression of $Lif$ and $Bmp4$ was significantly increased by integrin signaling, while it significantly decreased $Wnt3a$ expression. Finally, the signal from exogenous LIF significantly caused increased expression of $Lif$ in 2D system, decreased expression of $Bmp4$ in both 2D and 3D system, and decreased expression of $Wnt3a$ in integrin-stimulating 3D system. From these results, we identified that endogenous expression level of self-renewal-stimulating factor genes in mESCs could be effectively regulated through artificial and proper manipulation of extracellular signaling. Moreover, synthetic 3D niche stimulating endogenous secretion of self-renewal-stimulating factors will be able to help develop growth factor-free maintenance system of mESCs.

• Journal of Bio-Environment Control
• /
• v.6 no.2
• /
• pp.86-91
• /
• 1997

This study was conducted to improve group production structure of green pepper in greenhouse. Plant was trained 45$^{\circ}$ branching, erection after 45$^{\circ}$ branching and erection. Light absorption index was calculated to investigate relation of light intensity and leaf area in different plant type according to plant height. Group production structure was analyzed with relative light intensity and dry weight of plant. In total growing seasons, group production structures were good in order of erect type after 45$^{\circ}$ branching > erect type > 45$^{\circ}$ branching type in view of light absorption, leaf and stem distribution. Plant height of erect type was taller than any other case, and average node length of 45$^{\circ}$ branching type was shorter than any other case. But stem diameter, leaf area, fresh weight and dry weight of erect type after 45$^{\circ}$ branching were superior to any other case. Yield is order of erect type after 45$^{\circ}$ branching > 45$^{\circ}$ branching type > erect type.

• Journal of The Korean Society of Grassland and Forage Science
• /
• v.21 no.4
• /
• pp.253-258
• /
• 2001

This pot experiment was conducted to find out the forage productivity and quality in a grasslclover sward as affected by the application of three different fertilizers; double superphosphate(DS), fused Mg-phosphate (FP), and complex fertilizer(CF) on newly reclaimed hilly soil. This part was concerned with the mutual balances of mineral nutrients in the soils and mixed grass/clover sward in relation to grass tetany hazard. The results obtained are summarized as follows : 1. Concentration of exchangeable Mg and relative proportion of Mg to CEC in the soils before experiment were considerably below the critical level for good forage growth and prevention of grass tetany. It seems that these properties would be able to handicap by liming and NPK applications. 2. Comparing with the critical level for likelihood of tetany(Mg <0.2%, K >2.5%, and W(Ca+Mg) >2.2 in forages), mean concentration of Mg ranged from 0.14 in DS plot and 0.18 in FP plot to 0.24% in CF plot. Meanwhile, hazards of grass tetany in relation to the %K and ratio of K/(Ca+Mg) were not recognized. 3. Comparing with the optimum level of Carp(% ratio)=2.0 in forages for animal health, these ranged from 6.1 to 7.1. (Key words : Grass tetany, Fertilizer. Soil. Mineral nutrients)

• Mass Spectrometry Letters
• /
• v.2 no.1
• /
• pp.1-7
• /
• 2011

China's rapid economic growth has resulted in significant environmental side effects. Therefore, China has been interested in reducing her dependence on foreign oil and gas by developing technologies needed for hydrogen, in addition to her increasing energy mix of nuclear and renewable energy form, such as solar and wind power. There are three isotopes of hydrogen, i.e. protium (P or H), deuterium (D), and tritium (T). Both deuterium and tritium are important materials in nuclear fuel cycle industry. Tritium is one of the critical radioactive nuclides. Planning for and implementing contamination control as a part of normal operation and maintenance activities is an important function in any hydrogen facility, especially tritium facility. The development of hydrogen isotopes analysis is the key issues in this area. Mass spectrometry (MS) with medium (about 600) and high resolution (> 1,400) is commercially available; however, the routine analysis of hydrogen isotopes is done with low-resolution MS (< 200) in China. This paper summarizes the progress of MS measurement technology for hydrogen isotope abundance in China, focusing on our lab's research program and technical status. An analyzing method has been introduced for accurate measurement of tritium abundance in the H.D.T system by low resolution MAT-253 MS. The quotient of compression ratio coefficient is determined by building up equipment for laboratory-scale preparation of secondary standard gases and by considering the difference in sensitivity between hydrogen isotopes. The results show that the measured value is reproducible within the relative error range of 0.8% for gas samples of different tritium abundance.

• Journal of the Korean Society of Fisheries and Ocean Technology
• /
• v.50 no.2
• /
• pp.139-146
• /
• 2014

Feeding habits of white croacker, Pennahia argentata, were analyzed by using the stomach contents of 153 specimens caught by bottom trawl from May 2011 to March 2012 in the Sejon island, Korea. To know feeding habits of the white croacker, P. argentata, a species composition and it's fluctuation were analyzed based on growth. White croacker, P. argentata caught in the area composes 15 species. The most species in an number of the prey was Macrura which was occupied at 66.4% from whole prey, the second most species was Pisces which was occupied at 20.3%. The most species in an wet-weight of the prey was Pisces which was 49.3% out of the whole specimens. The second most species was Macrura which was 43.3%. The frequency occurrence of the prey was Macrura which was 68.6%, the next one was Pisces which was 28.8%. The highest Index of Relative Importance (IRI) of the prey was Macrura which was 78.2%, the next one was Pisces which was 28.8%. A number of the prey per specimen of small, middle and large class were 1.3, 1.5, 1.7, respectively. A wet weight of the prey per specimen of small, middle and large class were 0.2, 0.6, 0.2 g, respectively.

• Asian-Australasian Journal of Animal Sciences
• /
• v.33 no.8
• /
• pp.1352-1359
• /
• 2020

Objective: Lactobacilli in rabbit intestine is rare and its function in rabbit gut health is not fully understood. The present study aimed to evaluate in vivo the probiotic potential of Lactobacillus casei for suckling rabbits. Methods: Two healthy 5-day-old suckling rabbits with similar weights from each of 12 New Zealand White litters were selected and disturbed to control group and treatment group. All rabbits were artificially fed. The treatment group had been supplemented with live Lactobacillus casei in the milk from the beginning of the trial to 13 days of age. At 15 days of age, healthy paired rabbits were slaughtered to collect intestinal samples. Results: i) Oral administration of Lactobacillus casei significantly increased the proportion of Lactobacilli in the total intestinal bacteria (p<0.01) and obviously reduced that of Escherichia-Shigella (p<0.01); ii) treatment increased the length of vermiform appendix (p<0.05); iii) a higher percentage of degranulated paneth cells was observed in the duodenum and jejunum when rabbits administered with Lactobacillus casei (p<0.01); and iv) the expression of toll-like receptor 9, lysozyme (LYZ), and defensin-7-like (DEFEN) in the duodenum and jejunum was stimulated by supplemented Lactobacillus casei (p<0.05). Conclusion: Orally administered Lactobacillus casei could increase the abundance of intestinal Lactobacilli, decrease the relative abundance of intestinal Escherichia-Shigella, promote the growth of appendix vermiform, stimulate the degranulation of paneth cells and induce the expression of DEFEN and LYS. The results of the present study implied that Lactobacillus casei exhibited probiotic potential for suckling rabbits.

• KIISE Transactions on Computing Practices
• /
• v.21 no.1
• /
• pp.46-51
• /
• 2015

The explosive growth of data and the rapidly changing technical social evolution new analysis paradigm for predicting and reacting the future the past and present ig data. Prescriptive analysis has a fundamental difference because can support specific behaviors and results according to user's goals with defin researchers establish judgments and activities achiev the goals. However research methods not widely implemented and even the terminology, Prescriptive analysis, is still unfamiliar. This paper thus propose an infrastructure in the prescriptive analysis field with key considerations for enhancing capability of researchers through a case study based on InSciTe Advisory developed with scientific big data. InSciTe Advisory system s developed in 2013, and offers a prescriptive analytics report which contains various As-Is analysis results and To-Be analysis results 5W1H methodology. InSciTe Advisory therefore shows possibility strategy aims to reach a target role model group. Through the availability and reliability of the measurement model the evaluation results obtained relative advantage of 118.8% compared to Elsevier SciVal.

• Food Science and Preservation
• /
• v.11 no.2
• /
• pp.282-285
• /
• 2004

This experiment was carried out to investigate the cost reduction of rhizome through the stable storage of Jiwhang #1(Rehmannia glutinosa Libosch). The growth characteristics of Jiwhang #1 are different from those of local Rehmannia glutinosa L. varieties in Korea. Various storage methods was introduced and analyzed for 120 days. Among storage methods, changes in mean daily temperature in storage location were the least from 7.2 to 13.8$^{\circ}C$ in underground storage, while those were wide in styrofoam box filled with soil, and changes in mean daily relative humidity were the highest 98.2% in underground storage. As the storage period increased, the rhizome brix and the rate of rhizome loss and spoiled rhizome increased. The brix and loss rate of rhizome were higher in net sack filled with hull and styrofoam box filled with hull, but the rate of spoiled rhizome was the greatest in underground storage among storage methods. As the storage period increased, the hardness of rhizome epidermis increased, while that of rhizome endodermis decreased.