• Proceedings of the Korean Society for Agricultural Machinery Conference
• /
• 2000.11c
• /
• pp.607-612
• /
• 2000

Microprecision agriculture for a fully controlled plant factory is proposed in this paper. Microprecision agriculture can be attained by using plant factories to realize profitable alternative agriculture. A closed, fully controlled, plant-growing factory is far better in terms of minimizing all sorts of waste. The limit and optimum design concept has to be applied to establish an economically feasible, fully controlled, plant-growing factory. To achieve this objective, microprecision technologies have to be developed. Microprecision technologies should be involved in sensing, modeling, controlling, and collecting information for the mechatronics for plant production. Basic technologies for microprecision are already available; they are SPA (speaking plant approach to environmental control), AI (artificial intelligence: expert systems, neural networks, genetic algorithms, photosynthetic algorithms etc.), bioinstrumentation, non-invasive measurement, biomechatronics, and biorobotics. A microprecision irrigation system for plug production is an example of a microprecision technology that has actually been implemented in a plug seedling production factory.

• Korean Journal of Logic
• /
• v.7 no.2
• /
• pp.105-120
• /
• 2004

In this paper, we provide Routley-Meyer semantics for the many-valued logics ${\L}C$ and LC, and give completeness for each of them. This result shows the following two: 1) Routley-Meyer semantics is very powerful in the sense that it can be used as the semantics for several sorts of logics, i.e., many-valued logic, not merely relevance logic and substructural logic. Note that each implication of ${\L}C$ and LC does not (partially) result in "paradoxes of material implication" 2) This implies that Routley-Meyer semantics can be also used not merely for relevance systems but also for other logical systems such as ${\L}C$ and LC, each of which has its own implication by which we can overcome (partially) the problem of "paradoxes of material implication".

• Journal of the Korean Society of Fashion and Beauty
• /
• v.5 no.1 s.12
• /
• pp.97-111
• /
• 2007

This study was motivated not only by the curiosity of clown as a comedian, but also by the clown's special makeup coordination. To analyze the clown makeup coordination Carnivalism, the researcher inquired 1) clown's meaning, sorts, periodic roles and stages, 2) Mikhail Bakhtin's Carnival theory, and 3) makeup coordination of clowns (Harlequin, Pierrot, Auguste and White Face Clown) as the theoretical background. The clown makeup coordination carnival characteristics were shown in masquerade, amusement and ambiguity. The masquerade was expressed on the mask for Harlequin and white makeup for Pierrot, Auguste and White Face Clown. The amusement was revealed on the fall and the inharmony of the grotesque makeup and childish costumes. And also the ambiguity was expressed on the sexless and the infant of clown's real nature and costumes.

• Journal of the Korean Wood Science and Technology
• /
• v.2 no.3
• /
• pp.39-41
• /
• 1974

Bastard indigo, prevailing shrub species planted in erosion control work to constitute vegetation, is proved to be usefull for pulp material other than existing usage of green manure or fuel. Pulp made from bastard indigo is good enough for filler pulp though the quality of it is not remarkably excellent. (1) Sorts of paper possible to make from this pulp. Packing paper of medium grade. (general packing paper except heavy packing) (2) Traits of this pulp as for pulp material (A) It is more preferable than annual plants in these respects, ego collection, transport and storage of pulp material, and yield, freeness and chemical consumption of pulp. (B) Annual probable production of pulp material per ha from this plant is higher than that from long-term tree species or similar to that from fast growing species. (C) Its cultivation on eroded area is welcomed and consecutive annual production of material by copice method is also proved possible.

• Journal of the Korean Society for Precision Engineering
• /
• v.1 no.2
• /
• pp.41-46
• /
• 1984

The machinability of calicium-deoxidized steel is studied in turning by being compared with that of Fe-Si deoxidized steel under a given set of cutting condition. Tool life, cutting force and cutting mechanism are examined on a few sorts of steel. It is found that adhesive layer "Belag" is developed on the cemented carbide tool and the peak value is observed at the cutting speed of 300m/min followed by gradual increase in the thickness of Belag with the increase of cutting speed. the maximum thickness of Belag is also shown at the feed of 0.3mm/rev. On the other hand, the tool life of carbide tool is more favorable than that of high speed steel (SKH 9) in cutting calcium- deoxidized steel. It is considered that the steel deoxidized with Ca-Si shows better machinability a little than that with Fe-Si. However, the cutting force and the shear angle of the former are similar to those of the latter in turning.n turning.

• Korean Journal of Logic
• /
• v.7 no.1
• /
• pp.67-83
• /
• 2004

The purpose of this paper is to defend Kripke's theory of truth from Simmons' objection. First after introducing various sorts of the liar paradox, briefly I explain Tarski's attempt to solve the puzzle. Then, I outline Kripke's solution by using the concept of 'fixed point'. Simmons offers an interesting objection against Kripke's solution. He uses a diagonal argument in his attack to Kripke's idea. I claim that Simmons seem to use 'exclusion negation' in refuting Kripke. I think, however, there is an alternative interpretation, which is 'choice negation'. With using choice negation, I maintain that Kripke's theory of ruth can be defended from Simmons' objection.

• Korean Journal of Microbiology
• /
• v.6 no.1
• /
• pp.1-5
• /
• 1968

This experiment was undertaken the purpose of investigating the difference of the content of free amino acids in the diseased and healthy leaves of the resistance and susceptible rice varieties, to blast by means of paper chromatography. The results obtained are summarized as follows. (1) In the healthy and diseased leaves, the former was founded nine to tell sorts of free amino acids and later was observed eleven. In the both of leaves, alanine and valine were contained in larger amount, and aspartic acid, glycine and arginine were found relatively less in general. (2) In the diseased leaves, the amino acids were increased in quantity, especially glutamine and aspartic acid were remarkable, and cystine were found only in the diseased ones. (3) It seems to that the health leaves in all varieties were observed the amino acid contents, in notably increase and decrease, but in the diseased ones were not changed in amount. Tatacho, susceptible variety was more contained the amount of glutamine and aspartic acid than Zenith, resistance one.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.6
• /
• pp.2107-2117
• /
• 2017

We study the quasi-commutativity in relation with powers of coefficients of polynomials. In the procedure we introduce the concept of ${\pi}$-quasi-commutative ring as a generalization of quasi-commutative rings. We show first that every ${\pi}$-quasi-commutative ring is Abelian and that a locally finite Abelian ring is ${\pi}$-quasi-commutative. The role of these facts are essential to our study in this note. The structures of various sorts of ${\pi}$-quasi-commutative rings are investigated to answer the questions raised naturally in the process, in relation to the structure of Jacobson and nil radicals.

• Korean Journal of Mathematics
• /
• v.24 no.4
• /
• pp.737-750
• /
• 2016

In this note we describe some classes of rings in relation to Abelian property of factorizations by nilradicals and Jacobson radical. The ring theoretical structures are investigated for various sorts of such factor rings which occur in the process.

• Fashion & Textile Research Journal
• /
• v.2 no.2
• /
• pp.132-137
• /
• 2000

This study was carried out to evaluate the distribution of mechanical and thermal properties of 14 sorts of tencel fabrics. Three kinds of cellulosic fabrics such as cotton 100%, cotton/tencel 50/50% and rayon 100% were used to compare with tencel fabrics. Furthermore, for the comparison of thermal properties, these fabrics were repeatedly washed 1, 3, 5, 10, 15 and 20 times respectively. The mechanical properties were measured by the KES-FB system and Thereto Labo II type was employed to measure the thermal properties of warmth retaining and contact warm/cool feeling($q_{max}$). The experimental results were analysed statistically to relate the mechanical and thermal properties. Tencel showed sufficient ability to recover from bending deformation and drapability comparing with other cellulosic fabrics and had a silhouette which goes along with the body.