• The Mathematical Education
• /
• v.49 no.4
• /
• pp.489-500
• /
• 2010

This study makes clear justification of contents of set in secondary school through the scientific consideration and contents consideration of curriculum about two points - lattice and ring - of set deal with 'number and operation'. In this process, we make clear the greatest common divisor, the least common multiple and operation of set, especially the meaning of symmetric difference, we suggest direction about constitution of contents of set in secondary school. This study helps to raise the specificity on the elements of textbook and presents the first step about the range of teaching in a construct of curriculum.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.59 no.12
• /
• pp.2131-2134
• /
• 2010

In this paper, the on-line system schemes for coordinated control system of multiple FACTS were presented to enhance the voltage stability around the metropolitan areas. In order to coordinated control system of FACTS devices, MFC on-line system calculates the optimal set point(Vref, Qrev) of FACTS devices using the coordinated control algorithm with real time network data which is transferred from SCADA/EMS system. If the system is unstable after contingencies, the new operation set-point of FACTS would be determined using bus sensitivity from tangent vector at voltage instability point. Otherwise, we would determine the new operation set-point of FACTS for considering economical operation, like as active power loss minimization using Optimal Power Flow algorithm. As the test, MFC(Multiple FACTS Coordinated control) on-line system will be installed in Korea power system.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.31 no.3
• /
• pp.309-322
• /
• 2021

In this study, an extension instruction set for high-speed operation of the ARIA block cipher algorithm on RISC-V processor is added to support high-speed cryptographic operation on low performance IoT devices. We propose the efficient ARIA cryptographic instruction set which runs on a conventional 32-bit processor. Compared to the existing software cryptographic operation, there is a significant performance improvement with proposed instruction set.

• Maxillofacial Plastic and Reconstructive Surgery
• /
• v.33 no.4
• /
• pp.323-330
• /
• 2011

Purpose: The present study examined the reproducibility of an operation plan by comparing the jaw position of STO with the postoperative mandibular set back measurement in sagittal split ramus osteotomy. Methods: Thirty patients with class III dental and skeletal malocclusion and who were treated with BSSRO were reviewed. Three plain radiographs such as the panoramic view, the lateral cephalogram and the submentovertex view were taken before and after operation. Also, paper surgery for STO and model surgery were used to evaluate the amount of mandibular set back. Results: On the panoramic view, the amount of mandibular set back in STO was similar to the postoperative results of model surgery, but the amount of mandibular set back on the lateral cephalogram was smaller than the postoperative result of model surgery and then the amount of set back on submentovertex view was similar to the postoperative result of model surgery. Conclusion: Precise tracing and paper surgery should be performed for a combined expected STO in order to predict the exact amount of preoperative mandibular set back.

• Journal of the Korean Society of Fisheries and Ocean Technology
• /
• v.37 no.3
• /
• pp.232-239
• /
• 2001

For the purpose of providing the basic data on the improved fishing gear and the man power saving, which contribute to enhance fishing efficiency of set net in the coast of Jeju Island, this study analyzed the catch of two fishing place for the past 3 years in order to compare the fishing efficiency between rectngular set net and pound net, which have been used for fishing with being attached to the set net fishing place in coast of Jeiu Island, Thereby the result is as follows ; 1. When using pound net, the total amount of catch during 1997 to 1999 was 2 times more than that of when using rectangular set net. 2. When using Pound net, the catch of squid, mackerel, rabbit fish and Yellow tail during 1997 to 1999 was 1.8 times more than that of when using rectangular set net.. 3. In case of rectangular set net, CPUE marked 10.1㎏ with horse amckerel, 20.5㎏ with squid, 18.0㎏ with rabbit fish and 2.2㎏ with Yellow tail, and in case of pound net, CPUE marked 57.5 ㎏ with horse mackerel, 30.0㎏ with squid, 25.0 with rabbit fish and 4.7㎏ with yellow tail, and on the whole CPUE of poind net marked higher. 4. In case of rectangular set net, the catch ratio for fishing operation marked 64% with horse mackerel, 79% with squid, 39% with rabbit fish and 14% with yellow tail, and in case of pound net, the catch ratio fishing operation marked 18% with horse mackerel, 85% with souid 40% with rabbit fish and 14% with yellow tail, and accordingly it showed the result that the catch ratio for fishing operation was higher with the case of rectangular set net, but higher with the case of pound net.

• Bulletin of the Korean Mathematical Society
• /
• v.46 no.5
• /
• pp.1013-1018
• /
• 2009

Let * be an e.a.b. star operation on an integrally closed domain D, and let $K\gamma$(D, *) be the Kronecker function ring of D. We show that if D is a P*MD, then the mapping $D_{\alpha}{\mapsto}K{\gamma}(D_{\alpha},\;{\upsilon})$ is a bijection from the set {$D_{\alpha}$} of *-linked overrings of D into the set of overrings of $K{\gamma}(D,\;{\upsilon})$. This is a generalization of [5, Proposition 32.19] that if D is a Pr$\ddot{u}$fer domain, then the mapping $D_{\alpha}{\mapsto}K_{\gamma}(D_{\alpha},\;b)$ is a one-to-one mapping from the set {$D_{\alpha}$} of overrings of D onto the set of overrings of $K_{\gamma}$(D, b).

• 제어로봇시스템학회:학술대회논문집
• /
• 1997.10a
• /
• pp.1516-1519
• /
• 1997

With disseminationof Distributed Control Systems(DCS), the huge amounts of process operation data could have been available and led to figure out process behaviors better on the statistical basis. Until now, the statistical modeling technology has been susally applied to process monitoring and fault diagnosis. however, it has been also thought that these process information, extracted from statistical analysis, might serve a great opportunity for process operation improvements and process improvements. This paper proposed a general methodolgy for process operation improvements including data analysis, backing up the result of analysis based on the methodology, and the mapping physical physical phenomena to the Principal Components(PC) which is the most distinguished feature in the methodology form traditional statistical analyses. The application of the proposed methodology to the Balst Furnace(BF) process has been presented for details. The BF process is one of the complicated processes, due to the highly nonlinear and correlated behaviors, and so the analysis for the process based on the mathematical modeling has been very difficult. So the statisitical analysis has come forward as a alternative way for the useful analysis. Using the proposed methodology, we could interpret the complicated process, the BF, better than any other mathematical methods and find the direction for process operation improvement. The direction of process operationimprovement, in the BF case, is to increase the fludization and the permeability, while decreasing the effect of tapping operation. These guide directions, with those physical meanings, could save fuel cost and process operator's pressure for proper actions, the better set point changes, in addition to the assistance with the better knowledge of the process. Open to set point change, the BF has a variety of steady state modes. In usual almost chemical processes are under the same situation with the BF in the point of multimode steady states. The proposed methodology focused on the application to the multimode steady state process such as the BF, consequently can be applied to any chemical processes set point changing whether operator intervened or not.

• Korean Journal of Air-Conditioning and Refrigeration Engineering
• /
• v.16 no.6
• /
• pp.574-583
• /
• 2004

In this study, the operation strategy of the radiant floor cooling is evaluated in terms of indoor environmental conditions and energy consumption through simulations using the TRNSYS comparing the existing cooling operation. The operation strategy during continuously operated for cooling is proposed that a representative room had additional equipments and other rooms were operated with only a radiant floor cooling system and that system and control method for cooling are varied with period while intermittently operated for cooling. Specifically, when there are no people in the room, rooms were operated by only radiant floor cooling system using cooling storage and when people are occupied, rooms were operated by dehumidification and supplementary cooling device with radiant floor cooling system. The results of this study show that proposed operation strategy can stably maintain the set room air temperature and can reduce the energy consumption compared to the existing cooling method during continuously operated for cooling. While intermittently operated for cooling, the difference of set room air temperature by proposed operation strategy does not happen, satisfying comfort standards and the radiant floor cooling can expect to supply stable electric power because of decreasing demand for peak electric power of energy consumption.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.13 no.6
• /
• pp.20-23
• /
• 1976

A boolean algebra method for computing the reliability in a communication network is prosented. Given the set of all simple paths between two nodes in a network, the terminal reliability can be symbolically computed by the Boolean operation which is named parallel operation. The method seems to be promising for both oriented and nonoriented network.

• Journal of Korean Society for Quality Management
• /
• v.32 no.2
• /
• pp.191-200
• /
• 2004

Using the p chart is not adequate in case that there are lots of data and it is difficult to divide into products conforming or nonconforming because of obscurity of binary classification. So we need to design a new control chart which represents obscure situation efficiently. This study deals with the method to performing arithmetic operation representing fuzzy data into fuzzy set by applying fuzzy set theory and designs a new control chart taking account of a concept of classification on the term set and membership function associated with term set.