• Korean Journal of School Psychology
• /
• v.17 no.1
• /
• pp.39-63
• /
• 2020

This study examined the relationship between family socioeconomic status, emotional behavioral problems, parental composition, and parents' life satisfaction, all of which are factors that affect the life satisfaction of Korean middle school students. To this end, multi-group analysis was conducted on KCYPS panel data. The results showed four major patterns. First, family socioeconomic status has a significant direct effect on the students' life satisfaction only when the student has two parents and when the student's parents have high life satisfaction. Second, family socioeconomic status only significantly influenced students' emotional behavioral problems when parents had low life satisfaction, regardless of parental composition. Third, the mediating effect of emotional behavioral problems (aggression) in the relationship between family socioeconomic status and student life satisfaction was only significant when the student had two-parents and when the student's parents' had low life satisfaction. Fourth, depression was the variable most stronly correlated with student life satisfaction. This paper discusses the limitations of this study and the impliations of its results about how to improve students' life satisfaction.

• Communications of Mathematical Education
• /
• v.18 no.2 s.19
• /
• pp.277-288
• /
• 2004

수학과 인접 교과의 관련성에 대해 탐구하는 것은 학생들이 수학의 응용성을 인식하는데 중요한 역할을 할 것이다. 본 연구에서는 직사각형을 정사각형들로 분할하는 문제에 대해 고찰하고, 이러한 분할 문제와 고등학교 물리교과에 제시된 키르히호프 법칙 사이의 관련성을 조사하여, 키르히호프의 법칙을 만족 시키는 전기회로도를 이용하여 직사각형을 정사각형들로 분할할 수 있는 방법을 제시할 것이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.481-483
• /
• 1998

객체지향 방법에 의한 소프트웨어 개발은 문제해결의 적용 측면에서 많은 유연성을 가지고 있으며 사용자 환경의 많은 요구조건을 만족시키고 있다는 것은 이미 공인된 사실이다. 그러나 잘못 적용한 컴퍼넌트는 객체지향 시스템 개발에 많은 제한을 가져올 수 있다. 본 연구에서는 시스템 구현 시 연속적으로 변화되는 속성들과 적용방법들이 변화하는 것을 관리하여 새로운 시스템 개발에 필요한 컴퍼넌트의 선택과 행위성을 이해하는 문제를 해결하고자 퍼지 메커니즘을 이용한 디스크립터 분류와 분석도구의 적용에 관한 방법론을 제시하고자 한다.

• The KIPS Transactions:PartD
• /
• v.15D no.6
• /
• pp.777-784
• /
• 2008

Recently in the field of model checking, to overcome the state explosion problem, the method of using a SAT-solver is mainly researched. To use a SAT-solver, the system to be verified is translated into CNF and the Boolean cardinality constraint is widely used in translating the system into CNF. In BCC it is dealt with set of boolean variables, but there is no translating method of the sequence among Boolean variables. In this paper, we propose methods for translating the problem, which is extracting a subsequence with length k from a sequence of Boolean variables, into CNF formulas. Through experimental results, we show that our method is more efficient than using only BCC.

• Journal of Convergence for Information Technology
• /
• v.10 no.8
• /
• pp.173-178
• /
• 2020

In the near future, as artificial intelligence and computing network technology develop, collaboration with artificial intelligence (AI) will become important. In an AI society, the ability to communicate and collaborate among people is an important element of talent. To do this, it is necessary to understand how artificial intelligence based on computer science works. An algorithmic education focused on problem solving and learning is efficient for computer science education. In this study, the results of an assessment of computational thinking at the beginning of the semester, a satisfaction survey at the end of the semester, and academic performance were compared and analyzed for 28 students who received algorithmic education focused on problem-solving learning. As a result of diagnosing students' computational thinking and problem-solving learning, teaching methods, lecture satisfaction, and other environmental factors, a correlation was found, and regression analysis confirmed that problem-solving learning had an effect on improving lecture satisfaction and computational thinking ability. For algorithmic education, if you pursue a problem-solving learning technique and a way to improve students' satisfaction, it will help students improve their problem-solving skills.

• ETRI Journal
• /
• v.5 no.3
• /
• pp.3-8
• /
• 1983

In the area of computer network planning, a location-allocation-size problem is involved. Since multi-facility location-allocation-size problems are very complex in formulating a mathematical model, it is a usual practise to adopt alternative approaches, which give no optimal results, instead of the optimal solution by mathematical approach. In this article, however, an attempt is made to formulate a mathematical model for the decision making problem of computer network design.

• The Journal of Engineering Research
• /
• v.6 no.2
• /
• pp.11-22
• /
• 2004

A distributed constraint satisfaction problem (distributed CSP) is a constraint satisfaction problem(CSP) in which variables and constraints are distributed among multiple automated agents. ACSP is a problem to find a consistent assignment of values to variables. Even though the definition of a CSP is very simple, a surprisingly wide variety of AI problems can be formalized as CSPs. Similarly, various application problems in DAI (Distributed AI) that are concerned with finding a consistent combination of agent actions can be formalized as distributed CAPs. In recent years, many new backtracking algorithms for solving distributed CSPs have been proposed. But most of all, they have common drawbacks that the algorithm assumes the priority of agents is static. In this thesis, we establish a basic algorithm for solving distributed CSPs called dynamic priority search algorithm that is more efficient than common backtracking algorithms in which the priority order is static. In this algorithm, agents act asynchronously and concurrently based on their local knowledge without any global control, and have a flexible organization, in which the hierarchical order is changed dynamically, while the completeness of the algorithm is guaranteed. And we showed that the dynamic priority search algorithm can solve various problems, such as the distributed 200-queens problem, the distributed graph-coloring problem that common backtracking algorithm fails to solve within a reasonable amount of time. The experimental results on example problems show that this algorithm is by far more efficient than the backtracking algorithm, in which the priority order is static. The priority order represents a hierarchy of agent authority, i.e., the priority of decision-making. Therefore, these results imply that a flexible agent organization, in which the hierarchical order is changed dynamically, actually performs better than an organization in which the hierarchical order is static and rigid. Furthermore, we describe that the agent can be available to hold multiple variables in the searching scheme.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2010.02a
• /
• pp.219-219
• /
• 2010

기존의 플로팅 타입의 메모리는 소자의 소형화에 따른 인접 셀 간의 커플링 현상과 전계에 따른 누설전류의 증가 등과 같은 문제가 발생한다. 이에 대한 해결책으로서 전하 저장 층을 폴리실리콘에서 유전체를 사용하는 SONOS 형태의 메모리와 NFGM (Nano-Floating Gate Memory)연구가 되고 있다. 그러나 높은 구동 전압, 느린 쓰기/지우기 속도 그리고 10년의 전하보존에 대한 리텐션 특성을 만족을 시키지 못하는 문제가 있다. 이러한 문제를 해결 하고자 터널베리어를 엔지니어링 하는 TBM (Tunnel Barrier Engineering Memory) 기술에 대한 연구가 활발히 진행 중이다. TBM 기술은 터널 층을 매우 얇은 다층의 유전체를 사용하여 전계에 따른 터널베리어의 민감도를 증가시킴으로써 빠른 쓰기/지우기 동작이 가능하며, 10년의 전하 보존 특성을 만족 시킬 수 있는 차세대 비휘발성 메모리 기술이다. 또한 고유전율 물질을 터널층으로 이용하면 메모리 특성을 향상 시킬 수가 있다. 일반적으로 TBM 기술에는 VARIOT 구조와 CRESTED 구조로 나눠지는데 본 연구에서는 두 구조의 장점을 가지는 Staggered tunnel barrier 구조를 $Si_3N_4$와 HfAlO을 이용하여 디자인 하였다. 이때 HfO2와 Al2O3의 조성비는 3:1의 조성을 갖는다. $Si_3N_4$와 HfAlO을 각각 3 nm로 적층하여 리세스(Recess) 구조의 트랜지스터를 제작하여 차세대 비휘발성 메모리로써의 가능성을 알아보았다.

• Proceedings of the Safety Management and Science Conference
• /
• 2012.11a
• /
• pp.303-311
• /
• 2012

오늘날 자동차 기술의 비약적인 발전으로, 단순히 이동수단으로만 여겨왔던 자동차는 과거와는 비교 할 수 없을 정도의 안전성과 편의성을 제공하고 있다. 이러한 편의와 안전을 제공하는데 있어서의 핵심은 전자제어 장치의 발달로 이뤄진 결과이다. 최근 개발되는 전자제어 장치는 통합 모듈제어의 형태를 지니고 있어서 설계의 복잡성을 지니고 있다. 따라서 이러한 특성으로부터 발생되는 문제를 기존에 준수해왔던 IEC 61508으로는 해결하지 못해, ISO 26262가 제정되었다. 따라서, ISO 26262의 국내 도입에 따른 발생되는 문제들이 예측되고 있다. 이러한 문제에 대한 분석을 통해, 모델 기반 시스템공학 적용을 통해 해결하고자 노력하였다. ISO 26262의 국내 적용에 따른 가장 유려되는 개발 전체 라이프사이클에 안전성과 신뢰성을 만족하기 위한 개발 프로세스 도입에 대한 문제와 요구사항 분석 및 개발, 그리고 관리 측면에 대해 시스템 공학 전산지원도구 활용을 통한 모델기반 시스템 공학 접근 방법을 활용한 방안에 관하여 논의하고 있다. 본 연구 결과를 기반으로 향후 추가 연구를 수행하면, ISO26262의 국내 자동차산업 도입에 따른 문제에 해결하기 위한 과정에 도움이 될 것으로 기대된다.

• Korean Security Journal
• /
• no.16
• /
• pp.209-228
• /
• 2008

It is possible to contribute to efficiency of police organization if policeman has their hob satisfaction. To effectively perform the service, it is important to a matter of outcome or satisfaction of duty. However, the study in this field is insufficient. In this study, the introduction is in the first chapter. Theoretical consideration in the second chapter, investigative analysis and argument in the third chapter and finally the conclusion in the forth chapter. In this study, according to analysis of position, personality show no differences and job satisfaction show more higher in police sergeant class. Also, the study shows that there is relationship between sociality and prudence and outcome of duty and occupational view in the correlation between personality and job satisfaction. Therefore, a sociable person influence affirmative occupational view and outcome of duty.