• 한국수학교육학회지시리즈A:수학교육
• /
• 제49권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.

• 전기학회논문지
• /
• 제59권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.

• 정보보호학회논문지
• /
• 제31권3호
• /
• pp.309-322
• /
• 2021

본 연구에서는 저성능 IoT 디바이스에서의 고속 암호화 연산을 지원하기 위해 블록암호 알고리즘 ARIA의 RISC-V 프로세서상에서의 고속 연산을 위한 확장 명령어 셋을 추가한다. 하드웨어상에서의 효율적인 구조로 ARIA 알고리즘을 구현하여 32bit 프로세서에서 동작하기 때문에 효과적인 확장 명령어 셋을 구현한다. 기존의 소프트웨어 암호화 연산과 비교하여 유의미한 성능 향상을 보인다.

• Maxillofacial Plastic and Reconstructive Surgery
• /
• 제33권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.

• 수산해양기술연구
• /
• 제37권3호
• /
• pp.232-239
• /
• 2001

제주도 연안 정치망의 어획성능을 향상시키기 위한 어구구조개량과 조업방식의 생력화에 대한 기초자료를 제공할 목적으로 현재 제주도 연안정치망 어장에 부설하여 조업을 행하고 있는 각망어구와 낙망어구의 어획성능을 비교하기 위해서 두 어장의 3년(1997~1999년)간 어획량을 분석하였는데, 그 결과는 다음과 같다. 1. 1997~1999년까지의 3년간의 총어획량은 각망어구가 18.7톤 낙망어구가 36.5톤으로 낙망구의 어획량이 2배 정도 많았다. 2. 1997~1999년까지의 오징어, 전갱이, 독가시와 방어의 어획량은 전체적으로 각망어구보다 낙망어구의 어척량이 1.8배 정도 많았다. 3. CPUE는 각망어구에서는 전갱이가 10.01k 오징어가 20.5kg, 독가시치가 18.0kg 방어가 2.2kg이며 낙망어구에서는 전갱이가 57.5kg, 오징어가 30.0kg, 독가시치가 25.0kg, 방어가 4.7kg였는데 전반적으로 낙망어구의 CPUE가 높게 나타났다. 4. 유어율은 각망어구에서는 전갱이가 64%, 오징어가 79%, 독가시치가 39% 방어가 14%이고 낙망어구에서는 전갱이가 18%, 오징어가 85%, 독가시치가 40%, 방어가 14%로 전체적으로는 각망어구의 유어율이 높게 나타났으나 여기서의 어획량은 낙망어구가 높게 나타났다.

• 대한수학회보
• /
• 제46권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년도 한국자동제어학술회의논문집; 한국전력공사 서울연수원; 17-18 Oct. 1997
• /
• 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.

• 설비공학논문집
• /
• 제16권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.

• 대한전자공학회논문지
• /
• 제13권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.

• 품질경영학회지
• /
• 제32권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.