• 한국과학교육학회지
• /
• 제31권1호
• /
• pp.32-47
• /
• 2011

본 연구에서는 학생들의 변인 통제 논리력과 변인 통제 활동을 분석하고자 하였다. 이를 위해 먼저 변인 통제 능력에 대한 구체적인 채점 기준을 개발하였다. 이어서, 중학교 2학년에 재학 중인 30명의 학생을 대상으로 학생들의 변인 통제 유형을 알아보았다. '계단 빨리 왕복하기'전략을 설계하도록 하는 과제를 부여한 후 얻어진 학생들의 응답 내용을 바탕으로 변인 통제 유형을 분석하였다. 변인 통제의 필요성 인식 여부, 불필요 변인의 배제 여부, 통제 변인의 설계 여부, 조작 변인과 종속 변인의 설계 여부의 네 가지 측면에 따라 유형A~유형F의 여섯 가지 유형으로 분류하였다. 그리고 Lawson의 과학적 사고 수준 검사 문항 중 변인 통제 논리에 해당하는 4개 문항에 대한 답변을 본 연구에서 개발한 채점 기준으로 채점하여 변인 통제 논리력을 측정하였다. Lawson이 개발한 과학적 사고 검사지로 측정한 점수와 변인 통제 논리력 점수의 상관 계수는 .67로 과학적 사고력와 변인 통제 논리력의 상관은 높은 것으로 나타났다(p<.01). 이는 본 연구에서 개발한 채점 기준이 학생들의 변인 통제 능력을 객관적으로 평가할 수 있다고 판단할 수 있으며, 또한 학생들의 과학적 사고력을 측정하는데 이용할 수 있음을 의미하는 것이다.

• 대한화학회지
• /
• 제55권3호
• /
• pp.519-528
• /
• 2011

본 연구에서는 중학교 2학년을 대상으로 변인 통제 강화 프로그램을 개발하고, 이를 적용했을 때 과학적 사고력, 변인 통제 유형 변화에 미치는 효과를 알아보았다. 변인 통제 강화 모형은 변인 통제의 필요성을 인식하는 1단계, 학생들이 스스로 실험을 설계하여 진행하는 2단계, 자신들이 설계한 실험 과정을 되돌아보는 3단계로 구성된다. 이러한 모형에 기초하여 변인 통제 강화 프로그램을 개발하였다. 프로그램의 주제는 모두 9가지이며, 후반부로 갈수록 난이도가 높아진다. 프로그램을 적용한 결과, 학생들의 과학적 사고력 점수(로슨 SRT)는 다소 상승하였으나 통계적으로 유의미하지는 않았다. 사전에 실시한 변인 통제 유형 검사에서는 유형A~유형F까지 고루 분포하였는데 사후에는 변인 통제를 잘하는 유형인 유형A와 유형B가 많았다. 프로그램을 마친 후 실시한 설문을 분석한 결과, 학생들은 변인을 통제하는 실험을 하면서 과학적이고 비판적으로 생각해야 하는 점을 어렵고 힘들어했지만 자신감을 얻었음을 알 수 있었다.

• 설비공학논문집
• /
• 제12권8호
• /
• pp.711-716
• /
• 2000

A fuzzy defrost control algorithm for the multi-type heat pump system was developed. In the fuzzy defrost control algorithm, the air temperature difference at the outdoor unit and the refrigerant pressure difference at the compressor were used as input variables, and the defrost starting time and the defrost time interval were used as output variables. This fuzzy algorithm was applied to the multi-type heat pump system and tested in the five dynamic environmental chambers. Test results show that the newly developed control algorithm is more effective than the conventional control algorithm in the removal of frost formed at the outdoor unit of the heat pump.

• Journal of Information Processing Systems
• /
• 제3권1호
• /
• pp.26-32
• /
• 2007

Although the Java bytecode has numerous advantages, it also has certain shortcomings such as its slow execution speed and difficulty of analysis. In order to overcome such disadvantages, a bytecode analysis and optimization must be performed. The control flow of the bytecode should be analyzed; next, information is required regarding where the variables are defined and used to conduct a dataflow analysis and optimization. There may be cases where variables with an identical name contain different values at different locations during execution, according to the value assigned to a given variable in each location. Therefore, in order to statically determine the value and type, the variables must be separated according to allocation. In order to achieve this, variables can be expressed using a static single assignment form. After transformation into a static single assignment form, the type information of each node expressed by each variable and expression must be configured to perform a static analysis and optimization. Based on the basic type information, this paper proposes a method for finding the related equivalent nodes, setting nodes with strong connection components, and efficiently assigning each node type.

• Journal of the Korean Data and Information Science Society
• /
• 제28권4호
• /
• pp.937-945
• /
• 2017

The purpose of using a control chart is to detect any change that occurs in the process. When control charts are used to monitor processes, we want to identify this changes as quickly as possible. Many problems in quality control involve a vector of observations of several characteristics rather than a single characteristic. Multivariate CUSUM or EWMA charts have been developed to address the problem of monitoring covariance matrix or the joint monitoring of mean vector and covariance matrix. However, control charts tend to work poorly when we use the highly correlatted variables. In order to overcome it, Hawkins (1991) proposed the use of regression adjustment variables. In this paper, to monitor covariance matrix, we investigate the performance of MEWMA-type control charts with and without the use of regression adjusted variables.

• 설비공학논문집
• /
• 제18권2호
• /
• pp.163-171
• /
• 2006

In order to control multi-zone temperatures, a multi-type air-conditioning system may be used. In this study, control algorithms for the compressor and the electronic expansion valve of a multi-type air-conditioning system were developed by using fuzzy logics. The compressor control algorithm was composed of a compressor pressure setpoint algorithm, a compressor pressure setpoint reset algorithm, and a compressor frequency setpoint algorithm. The electronic expansion valve control algorithm was composed of an indoor temperature control algorithm, and a superheat control algorithm. These algorithms were applied to a multi-type air-conditioning system. Test showed good results for the control of a multi-type air-conditioning system.

• Nonlinear Functional Analysis and Applications
• /
• 제28권3호
• /
• pp.613-622
• /
• 2023

In this paper, finite element method is applied to solve boundary control problem governed by elliptic variational inequality with an infinite number of variables. First, we introduce some important features of the finite element method, boundary control problem governed by elliptic variational inequalities with an infinite number of variables in the case of the control and observation are on the boundary is introduced. We prove the existence of the solution by using the augmented Lagrangian multipliers method. A triangular type finite element method is used.

• 대한전기학회논문지
• /
• 제32권6호
• /
• pp.211-218
• /
• 1983

In this paper, an attempt is made to match the continuous state trajectory of the digital control system with that of its continuous data model. Matching the state trajectories instead of the output responses assures that the performances of the internal variables of the plant as well as the output variables are preserved in the discretization. The mathematical tool used in this research is an extended maximum principle of the Pontryagin type, which enables one to synthesize a staircase type of optimal control signals, such as the output signal of a zero-order hold asociated with a digital controller. A general mathematical expression of the digital controller which may be used to replace the analog controller of a general system while preserving as mauch as possible the performance characteristics of the original continuous-data control system is derived in this paper.

• 대한수학회지
• /
• 제37권4호
• /
• pp.625-643
• /
• 2000

In this paper we formulate an optimal control problem governed by time-delay Volterra integral equations; the problem includes control constraints as well as terminal equality and inequality constraints on the terminal state variables. First, using a special type of state and control variations, we represent a relatively simple and self-contained method for deriving new necessary conditions in the form of Pontryagin minimum principle. We show that these results immediately yield classical Pontryagin necessary conditions for control processes governed by ordinary differential equations (with or without delay). Next, imposing suitable convexity conditions on the functions involved, we derive Mangasarian-type and Arrow-type sufficient optimality conditions.

• 한국콘텐츠학회논문지
• /
• 제6권2호
• /
• pp.117-126
• /
• 2006

자바 바이트코드는 많은 장점을 갖지만 수행 속도가 느리고 분석이 어렵다는 단점을 갖는다 이를 극복하기 위해 바이트코드에 대한 분석과 최적화가 수행되어야 한다. 우선 바이트코드에 대한 제어 흐름 분석을 수행한다. 제어 흐름 분석 후 데이터 흐름 분석과 최적화를 위해서 변수가 어디서 정의되고 어디서 사용되는지에 대한 정보가 필요하다. 각 위치에서 변수에 배정되는 값에 따라 동일한 이름의 변수가 다른 위치에서 다른 값을 가지는 경우가 발생한다. 따라서 정적으로 값과 타입을 결정하기 위해서 변수는 배정되는 것에 따라 분리되어야 한다. 이를 위해 단일 배정 형태를 이용하여 표현할 수 있다. 정적 단일 배정형태(SSA Form)로 변경한 후 정적 분석과 최적화를 위해서는 각 변수와 표현식이 나타내는 각각의 노드에 타입 정보를 설정해야 한다. 본 논문은 타입에 대한 기본 정보를 바탕으로 관련된 동등한 노드를 발견하고 강 결합 요소로 설정한 후 각 노드에 타입을 효율적으로 설정하는 방법을 제안한다