• 대한수학회보
• /
• 제53권1호
• /
• pp.195-204
• /
• 2016

We prove, in this note, that a Zabavsky ring R is an elementary divisor ring if and only if R is a $B{\acute{e}}zout$ ring. Many known results are thereby generalized to much wider class of rings, e.g. [4, Theorem 14], [7, Theorem 4], [9, Theorem 1.2.14], [11, Theorem 4] and [12, Theorem 7].

• 대한지역사회영양학회지
• /
• 제14권1호
• /
• pp.43-54
• /
• 2009

The purpose of the study was to investigate the status of the nutritional education program on educational perception, facilities, contents and systems, which were focused on the school obesity education in the elementary school. A five point Likert scale was used to evaluate the importance and performance of each item in four sections of the survey and Importance-Performance Analysis (IPA; gap between importance and performance) matrix analysis was applied to determine improvement priority. The findings from IPA matrix analysis are in the following. The items of the sections to be improved intensively are recognition of parents and in-charge teacher, availability of the education place, preparation of consulting room, preparation of various teaching media, interest of an education program, meal adjustment of overweight children, combination with education and exercise, education for psychological factors, development of scientific and systematic education program and reduction of meal service duty for education. Accordingly, the IPA matrix analysis suggested that an intensive improvement area should be excessively concentrated on for better performance. The regional gap between importance and performance showed significant difference for textbook and diet of overweight children in Kyunggi-Do. There were significant differences for the government perception, dietary habits and food-life education, fast-food education, education for breakfast importance, and education of school meal indication system and method to read food nutrition indication in Chollabuk-Do. As for the age gap between importance and performance, the twenties showed significantly bigger gaps in perception of school dietitians and linking between school meals and diet education. Therefore, more proactive efforts for the education for obesity prevention are necessary to prevent childhood obesity in elementary school and to help children to possess better health throughout their entire lives.

• 교육녹색환경연구
• /
• 제12권2호
• /
• pp.19-30
• /
• 2013

Low birthrate is causing a reduction in the number of students at kindergartens, elementary schools, middle schools and high schools nationwide and yet, school safety accidents are on a constant rise, which was reported to be 237 accidents a day on average in 2011. Such phenomenon is proving how the school safety policy is not doing what it was supposed to do. In order to decrease the school safety accidents, first, causes of the accidents should be analyzed and then, prevention measures should be designed. For that reason, the study looked into the present condition of the school safety accidents and safety accident theories and based on the results, "School Safety Accident Analysis Matrix Model" was proposed. With a matrix method of the accident types (17 of them) and hazard factors (9 of them) applied, the concerned model analyzed a total of 153 accident causes. In consideration of the results from the analysis, the study suggested that the education authority should open a safety organization and design a school safety policy that would systematically deal with safety education, prevention measures practice, accident investigation and analysis, and countermeasures practice as well.

• 대한전자공학회논문지SD
• /
• 제48권10호
• /
• pp.82-90
• /
• 2011

스마트폰을 비롯한 각종 매체가 발전함에 따라 우수한 성능의 부동소수점 연산기 필요성이 점차 증가하고 있다. 이러한 요구에 따라 이 논문에서는 기본이 되는 덧셈/뺄셈 뿐 아니라 기존보다 향상된 곱셈과 비교, 변환 연산을 수행하는 고속의 단정도/배정도 부동소수점 연산기의 설계를 제안한다. 가장 많이 사용하는 덧셈/뺄셈 연산기는 반올림 연산 시에 병렬화 작업을 수행함으로서 최적화를 구현하였다. 그래픽 연산 등에서 복잡한 수의 행렬연산이 많이 사용되는데, 이를 빠르게 계산하기 위해서 곱셈기 대신에 곱셈 후 덧셈을 수행하는 단일 곱셈-누산기(MAF)를 설계하였다. 분기 명령은 프로그램에서 자주 사용하는 명령으로 비교 연산에 의해 분기 조건이 결정되는데 이 논문에서는 파이프라인이 완료되기 전에 수행된 비교연산의 결과값을 바이패싱함으로서 연산의 수행시간을 감소시켰다. 또한 IEEE754-2008 표준에 추가된 변환연산을 포함하여 설계하였다. RTL 설계를 검증하기 위하여 연산기마다 40만개의 테스트 벡터를 가중치 무작위 방식으로 선별하여 시뮬레이션을 수행하였다. 검증 후에는 삼성 저전력 45nm 공정에서 합성을 수행하여 600MHz의 동작 주파수를 만족하였다. 또한 개선된 FPU와 기존의 FPU와 비교하여 면적의 감소를 확인하였다.