• 정보교육학회논문지
• /
• 제8권4호
• /
• pp.555-562
• /
• 2004

소프트웨어 명세는 비정형, 반 정형, 정형 기법이 존재한다. 이 중 정형 기법은 수학적인 이론을 바탕으로 명세의 모호성, 애매성, 불완전성을 제거하는데 효율적으로 사용되어 왔다. 본 논문에서는 Z 정형명세로부터 EJB의 자바 소스코드 까지의 구현 단계를 제안하였다. 또한, 사례 연구로 Stack을 명세하고 EJB 컴포넌트를 구현하는 단계를 제시하였다. 결론적으로 Z의 명세는 스키마의 분류, 인터페이스의 정의, Post-condition과 Pre-condition의 정의 단계를 거치고 정제를 통해서 EBJ의 인터페이스, 예외 클래스, 메소드 구현에 사용할 수 있음을 보였다.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제6권4호
• /
• pp.288-292
• /
• 2006

Many authors have studied several concepts of fuzzy systems. Balasubramaniam and Muralisankar (2004) proved the existence and uniqueness of fuzzy solutions for the semilinear fuzzy integrodifferential equation with nonlocal initial condition. Recently, Park, Park and Kwun (2006) find the sufficient condition of nonlocal controllability for the semilinear fuzzy integrodifferential equation with nonlocal initial condition. In this paper, we study the existence and uniqueness of solutions for the semilinear fuzzy integrodifferential equations with nonlocal condition and forcing term with memory in $E_{N}$ by using the concept of fuzzy number whose values are normal, convex, upper semicontinuous and compactly supported interval in $E_{N}$.

• 보건교육건강증진학회지
• /
• 제19권1호
• /
• pp.109-132
• /
• 2002

The study surveyed 1,127 mothers whose children aged 3 to 5 went to 25 randomly selected kindergartens, which were located in Busan Metropolitan City and the adjacent Gimhae City, and analyzed the preventive health behaviors on their children and the condition of home health education on their children. As the compulsory kindergarten education will e to be implemented within 4 years, this study aimed to draw up the rudimentary material for health education at kindergartens. The study results are summed up as follows: 1. Mothers' awareness of health-related attitude and behavioral level for their children at kindergarten: 1) The general health condition of the children, which mothers are aware of, was that they were healthy on the whole. As their children becomes older, the income level of the parents is lower, and mothers have lower level of educational standard, the health condition of the children was found a little lower. 2) In terms of mothers' recognition of the practice level of preventive health behaviors, the items such as going to bed regularly, washing hands and feet well, and having meals regularly were high in the practice level, while exercise and tooth-brushing were not practiced well. 2. The condition of mothers' health education of their children: 1) It was found that washing hands and feet, restriction of overeating and preference for specific kinds of food, guidance on regular sleep and regular meal were practiced well among items of home health education targeting kindergarten children. 2) Mothers have obtained information on family health from printed matter such as newspaper or magazine rather than the visual media. 3) From the cross analysis of mothers' health education on children and children's health behaviors, as the standard of education of mothers was higher, so was the level of preventive health behaviors of children. 3. From the result of multi regression analysis of the factors influencing the preventive hygiene of kindergarten children, it was found that as the home health education level was higher, so was the health behavior of children. On the other hand, as the mothers were older, the health behavior of children became lower.

• 한국콘텐츠학회논문지
• /
• 제14권2호
• /
• pp.535-543
• /
• 2014

본 연구에서는 우리나라 전체 경제의 핵심을 이루고 있는 IT 산업의 우수 인재를 조기에 발굴하여 양성할 수 있는 정보교육 체제를 만들기 위하여 초 중등교육에서의 정보교육의 중요성과 실태를 분석하여 문제점을 파악하고 개선 방안을 제안하였다. 이를 위해 먼저 정보교육의 중요성을 파악하기 위하여 최근 3년간 국가경제 지표에서 나타난 IT 산업의 중요성, 국민 개개인의 일상생활에서 IT 사용의 밀접성, 초 중 고 학생 및 학부모의 정보교육에 대한 수요를 파악하였다. 그리고 2008년 대비 2013년의 초 중 고교에서의 정보과목 운영 실태를 조사하였다. 그 결과, 초 중 고교에서 모두 정보과목의 선택률과 운영 시수가 대폭 축소된 것으로 나타났으며, 이에 따라 본 연구에서는 초 중등교육에서의 정보교육 활성화를 위하여 IT 특수목적 고등학교 설립, 초등학교에서의 정보교과 신설, 중 고등학교에서의 정보통신윤리교육 필수화 등의 3가지 방안을 제시하였다.

• 대한수학회보
• /
• 제41권4호
• /
• pp.779-783
• /
• 2004

A group G is said to satisfy the minimal condition on normal subgroups of infinite index if there does not exist an infinite properly descending chain $G_1$ > $G_2$ > ... of normal subgroups of infinite index in G. We characterize the structure of locally nilpotent groups satisfying this chain condition.

• Earthquakes and Structures
• /
• 제9권1호
• /
• pp.173-194
• /
• 2015

Site response analysis is an important topic in earthquake engineering. A time-domain numerical method called as one-dimensional (1D) finite element artificial boundary method is proposed to simulate the homogeneous plane elastic wave propagation in a layered half space subjected to the obliquely incident plane body wave. In this method, an exact artificial boundary condition combining the absorbing boundary condition with the inputting boundary condition is developed to model the wave absorption and input effects of the truncated half space under layer system. The spatially two-dimensional (2D) problem consisting of the layer system with the artificial boundary condition is transformed equivalently into a 1D one along the vertical direction according to Snell's law. The resulting 1D problem is solved by the finite element method with a new explicit time integration algorithm. The 1D finite element artificial boundary method is verified by analyzing two engineering sites in time domain and by comparing with the frequency-domain transfer matrix method with fast Fourier transform.

• International Journal of Computer Science & Network Security
• /
• 제22권10호
• /
• pp.207-213
• /
• 2022

The article reveals the problems of aesthetic education of young people as a necessary condition for the cultural development of the individual in the modern conditions of the information society. Aesthetic education should contribute to the formation of a creatively active personality. The basis of aesthetic education of young people in the modern conditions of the information society is the core of artistic culture - art as a unique form of public consciousness that contributes to the spiritual development and improvement of the inner world of a person. The main tasks of aesthetic education are highlighted. It is focused on the formation of aesthetic consciousness and aesthetic behavior of the individual. The formation of true aesthetic and spiritual values of students is impossible without a deep awareness of the national foundations of culture, which combines science (including technology), education, art, morality, way of life and worldview, and most importantly its information component - information culture. The effectiveness of aesthetic education of students largely depends on the skillful use of various methods and means by teachers. Aesthetic education of students involves a qualitative change in the level of their aesthetic culture in the modern conditions of the information society. In the era of information and computer technologies, the main Institute for aesthetic education of young people, as a necessary condition for the cultural development of the individual, is mass media. Television stands out especially because it has several information series (audio and video sequence), multiplied by the efficiency of providing information that increases several times compared to paper media, which allows you to report directly during the event.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제55권2호
• /
• pp.233-249
• /
• 2016

In this study, we extracted the background meaning of the condition that four points lie on a circle, analyzed textbooks critically and proposed the orientation to improve the content in the textbook. As results, the condition has a realistic background meaning which is 'mathematical modeling of finding a fair location'. The condition has a mathematical background meanings which are 'a first complex situation distinguished from two points and three points', 'the condition described in the perspective of side and angle in order to overcome the disadvantages of the perpendicular bisectors context' and 'being possible to transfer more than five points'. However it is difficult to understand the reason why the condition is on four points in the current textbook. In addition, it is difficult to recognize the connectivity of a circumcenter of triangle. To overcome these problems, we proposed five orientations to improve the content in the textbook.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제16권1호
• /
• pp.1-11
• /
• 2009

The notion of a BCK-algebra with supremum (briefly, sBCK-algebra) is introduced, and several examples are given. Related properties are investigated. We show that every sBCK-algebra with an additional condition has the condition (S). The notion of a dry ideal of an sBCK-algebra is introduced. Conditions for an sBCK-algerba to be an spBCK-algebra are provided. We show that every sBCK-algebra satisfying additional condition is a semi-Brouwerian algebra.

• 대한안전경영과학회지
• /
• 제15권2호
• /
• pp.151-159
• /
• 2013

This paper reviewed the relationship between internal marketing(management support, education, pay system, internal communication, employment security) and food safety climate(prevention, superior attitude, work condition), and the moderating effect of employment type(permanent or temporary employees) in food service company. Based on the responses from 304 responses, the results of hierarchical multiple regression analysis showed that 4 factors(management support, education, internal communication, employment security) effect positively on food safety climate(prevention, superior attitude, work condition). The positive effect of internal communication on superior attitude and work condition appeared to be more positive in permanent employees than in temporary employees. And the results of t-test analysis showed that permanent employees perceived more positively all internal marketing factors(management support, education, pay system, internal communication, employment security) and food safety climate(precaution, superior attitude, work condition) than temporary employees.