• Journal of Elementary Mathematics Education in Korea
• /
• v.13 no.2
• /
• pp.231-245
• /
• 2009

Almost every children are naturally non competitive, so they have test anxiety. Because grading in paper-pencil tests is related to competition with their friends. Intense competition should not be a part of the classroom environment. This study intends to reflect current standardized tests(summative evaluations) in an elementary school mathematics(2008) and reconstructed it's problem. Teachers should provide students with rich situational problem-solving opportunities. Therefore we conclude "summative evaluation are consisted of some large problem type which contain some subproblems, or from easy(simple) problem with relation to difficult problem)".

• Journal of Institute of Control, Robotics and Systems
• /
• v.5 no.4
• /
• pp.403-410
• /
• 1999

In this study, a parallel algorithm has been developed that can quickly solve the optiaml control problem of large-scale dynamic systems. The algorithm adopts the sequential quadratic programming methods and achieves domain decomposition-type parallelism in computing sensitivities for search direction computation. A silicon wafer thermal process problem has been solved using the algorithm, and a parallel efficiency of 45% has been achieved with 16 processors. Practical methods have also been investigated in this study as a way to further speed up the computation time.

• Proceedings of the Korean Statistical Society Conference
• /
• 2003.10a
• /
• pp.63-68
• /
• 2003

One of the widely accepted assumptions in many statistical problem is that the underlying distribution is symmetric. Though a large number of nonparametric test are available in the literature for this problem, very few procedures focuses on the distributional structure when the symmetry assumption is rejected. Yanagimoto and Sibuya (1972) provided the various types of asymmetric distributional structure, positive biasedness, namely. In this paper we consider the test of symmetry against several new positive biasedness restrictions which are stronger than Yanagimoto and Sibuya's type II bias but weaker than type IV (III) bias.

• Electronics and Telecommunications Trends
• /
• v.38 no.6
• /
• pp.1-11
• /
• 2023

Large language models seem promising for handling reasoning problems, but their underlying solving mechanisms remain unclear. Large language models will establish a new paradigm in artificial intelligence and the society as a whole. However, a major challenge of large language models is the massive resources required for training and operation. To address this issue, researchers are actively exploring compact large language models that retain the capabilities of large language models while notably reducing the model size. These research efforts are mainly focused on improving pretraining, instruction tuning, and alignment. On the other hand, chain-of-thought prompting is a technique aimed at enhancing the reasoning ability of large language models. It provides an answer through a series of intermediate reasoning steps when given a problem. By guiding the model through a multistep problem-solving process, chain-of-thought prompting may improve the model reasoning skills. Mathematical reasoning, which is a fundamental aspect of human intelligence, has played a crucial role in advancing large language models toward human-level performance. As a result, mathematical reasoning is being widely explored in the context of large language models. This type of research extends to various domains such as geometry problem solving, tabular mathematical reasoning, visual question answering, and other areas.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 1997.10a
• /
• pp.190-195
• /
• 1997

Recently it is increased by degrees to construct complex or large lattice type structures such as bridges, towers, cranes, and structures that can be used for space technology. In general, in order to analyze, these structures we have used the finite element method(FEM). In this method, however, it is necessary to use a large amount of computer memory and computation time because the FEM requires many degrees of freedom for solving dynamic problems for these structures. For overcoming this problem, the authors have developed the transfer dynamic stiffness coefficient method(TDSCM). This method is based on the concepts of the transfer and the synthesis of the dynamic stiffness coefficient which is related to force and displacement vector at each node. In this paper, the authors formulate vibration analysis algorithm for a complex and large lattice type structure using the transfer of the dynamic stiffness coefficient. And the validity of TDSCM demonstrated through numerical computational and experimental results.

• Industrial Engineering and Management Systems
• /
• v.8 no.1
• /
• pp.22-28
• /
• 2009

We consider facility layout problems, where mn facility units are assigned into mn cells. These cells are arranged into a rectangular pattern with m rows and n columns. In order to solve this cell type facility layout problem, many approximation algorithms with improved local search methods were studied because it was quite difficult to find exact optimum of such problem in case of large size problem. In this paper, new algorithms based on Simulated Annealing (SA) method with two neighborhood generation methods are proposed. The new neighborhood generation method adopts the exchanging operation of facility units in accordance with adjacent preference. For evaluating the performance of the neighborhood generation method, three algorithms, previous SA algorithm with random 2-opt neighborhood generation method, the SA-based algorithm with the new neighborhood generation method (SA1) and the SA-based algorithm with probabilistic selection of random 2-opt and the new neighborhood generation method (SA2), are developed and compared by experiment of solving same example problem. In case of numeric examples with problem type 1 (the optimum layout is given), SA1 algorithm could find excellent layout than other algorithms. However, in case of problem type 2 (random-prepared and optimum-unknown problem), SA2 was excellent more than other algorithms.

• Journal of the korean Society of Automotive Engineers
• /
• v.13 no.3
• /
• pp.58-67
• /
• 1991

A theory of continuum damage mechanics based on the theory of materials of type N was developed and its nonlinear finite element approximation and numerical simulation was carried out. To solve the finite elastoplasticity problems, reasonable kinematics of large deformed solids was introduced and constitutive relations based on the theory of materials of type-N were derived. These highly nonlinear equations were reduced to the incremental weak formulation and approximated by the theory of nonlinear finite element method. Two types of problems, compression moulding problem and pure bending problem, were solved for aluminum 2024.

• Journal of Drive and Control
• /
• v.17 no.2
• /
• pp.55-62
• /
• 2020

There are two types of IMV for MCV, the spool type and the poppet type. The spool type is used in the existing excavator MCV and easily meets large-capacity flow conditions, but has a flow force problem which affects the spool control. The poppet type stably blocks the flow and has excellent rapid response. However, the larger the capacity, the larger the diameter of the poppet needed, requiring a strong spring to withstand the oil pressure. In this study, a bi-directional three-stage IMV for MCV that can be used in medium and large hydraulic excavators was proposed. This is a poppet type, enabling bi-directional flow control and resolves the problem of proportional solenoid suction force limitation. To investigate the validity of the proposed valve, the system was mathematically modeled and the static and dynamic characteristics were investigated through the simulation using commercial software. It has been concluded that the reverse flow is possible in a regeneration circuit and that the proposed IMV can be used to perform various excavation modes.

• Journal of Korean Institute of Industrial Engineers
• /
• v.42 no.4
• /
• pp.263-269
• /
• 2016

The purpose of this study is to challenge a computational regression-type problem, that is handling large-size data, in which conventional metamodeling techniques often fail in a practical sense. To solve such problems, regression-type boosting, one of ensemble model techniques, together with bootstrapping-based re-sampling is a reasonable choice. This study suggests weight updates by the amount of the residual itself and a new error decision criterion which constructs an ensemble model of models selectively chosen by rejection limits. Through these ideas, we propose AdaBoost.RMU.R as a metamodeling technique suitable for handling large-size data. To assess the performance of the proposed method in comparison to some existing methods, we used 6 mathematical problems. For each problem, we computed the average and the standard deviation of residuals between real response values and predicted response values. Results revealed that the average and the standard deviation of AdaBoost.RMU.R were improved than those of other algorithms.

• Journal of KSNVE
• /
• v.8 no.2
• /
• pp.361-368
• /
• 1998

Complex and large lattice type structures are frequently used in design of bridge, tower, crane and aerospace structures. In general, in order to analyze these structures we have used the finite element method(FEM). This method is the most widely used and powerful tool for structural analysis. However, it is necessary to use a large amount of computer memory and computation time because the FEM resuires many degrees of freedom for solving dynamic problems exactly for these complex and large structures. For overcoming this problem, the authors developed the transfer stiffness coefficient method(TSCM). This method is based on the concept of the transfer of the nodal dynamic stiffness coefficient which is related to force and displacement vector at each node. In this paper, the authors formulate vibration analysis algorithm for a complex and large lattice type structure using the transfer of the nodal dynamic stiffness coefficient. And we confirmed the validity of TSCM through numerical computational and experimental results for a lattice type structure.