• 한국수학교육학회지시리즈A:수학교육
• /
• 제41권3호
• /
• pp.341-360
• /
• 2002

The purpose of the study was to investigate the effectiveness of dynamic software in solving high school analytic geometry problems compared with traditional algebraic approach. Three high school students who have revealed high performance in mathematics were involved in this study. It was considered that they mastered the basic concepts of equations of plane figure and curves of secondary degree. The research questions for the study were the followings: 1) In what degree students understand relationship between geometric approach and algebraic approach in solving geometry problems? 2) What are the difficulties students encounter in the process of using the dynamic software? 3) In what degree the constructions of geometric figures help students to understand the mathematical concepts? 4) What are the effects of dynamic software in constructing analytic geometry concepts? 5) In what degree students have developed the images of algebraic concepts? According to the results of the study, it was revealed that mathematical connections between geometric approach and algebraic approach was complementary. And the students revealed more rely on the algebraic expression over geometric figures in the process of solving geometry problems. The conceptual images of algebraic expression were not developed fully, and they blamed it upon the current college entrance examination system.

• 대한수학교육학회지:수학교육학연구
• /
• 제10권2호
• /
• pp.279-300
• /
• 2000

This research investigated students' interaction in the environment with dynamic geometry software such as Cabri II, and GSP in order to understand and analyze why computer environment is a richer interaction field for developing children's explorative ability than other traditional paper-and-pencil environments. This research focused on 5th graders' interaction with topics of transformational geometry and similar figure and analyzed children's learning process and their interview results gotten through audio and video recording. Computer exploration with a dynamic software seems to be very helpful for elementary students to learn geometry. However, the effectiveness of the computer should be discussed with respected to its methodological validity of teachers to guide students' explorative activities with a dynamic software.

• 한국자동차공학회논문집
• /
• 제3권5호
• /
• pp.30-37
• /
• 1995

In this research a real time vehicle dynamic simulation software, to be used on real time vehicle simulators, is developed using relative coordinates and suspension super-element concept. Accuracy of the software is verified through comparisons of simulation results with those of a commercial mechanical system dynamic analysis package. It is demonstrated that real time simulation on a workstation with a 15 D.O.F. vehicle model is possible.

• 디지털산업정보학회논문지
• /
• 제12권4호
• /
• pp.13-24
• /
• 2016

Defense Acquisition Program Administration's weapon system software development and management guideline specifies the criteria of software reliability tests including static and dynamic tests mainly on C/C++ languages. Recently, Defense Acquisition Program Administration expanded the scope of software reliability test for the various languages including C#, java etc. but specific criteria for them are not established. This study suggests the reliability test procedures and standards on C# programming software in weapon system. For the static test, considering the nature of the C# which depends on .NET framework, this paper introduces applying coding rules recommended by Microsoft Corp. Visual Studio 2012. Block coverage provided by Visual Studio is applied on dynamic tests and the achievement objectives for block coverage according to the software levels(A, B, C) are suggested. Also, the software reliability test procedures and standards proposed by this paper are properly verified through the case study. The result of this study can be used for establishing the specific criteria of the software reliability test for C# programming software in weapon system.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제46권3호
• /
• pp.331-349
• /
• 2007

This study aims to improve the teaching and learning method on the conic sections. To do that the researcher analyzed the impact of dynamic geometry software on students' problem solving of the conic sections. Students often say, "I have solved this kind of problem and remember hearing the problem solving process of it before." But they often are not able to resolve the question. Previous studies suggest that one of the reasons can be students' tendency to approach the conic sections only using algebra or analytic geometry without the geometric principle. So the researcher conducted instructions based on the geometric and historico-genetic principle on the conic sections using dynamic geometry software. The instructions were intended to find out if the experimental, intuitional, mathematic problem solving is necessary for the deductive process of solving geometric problems. To achieve the purpose of this study, the researcher video taped the instruction process and converted it to digital using the computer. What students' had said and discussed with the teacher during the classes was checked and their behavior was analyzed. That analysis was based on Branford's perspective, which included three different stage of proof; experimental, intuitive, and mathematical. The researcher got the following conclusions from this study. Firstly, students preferred their own manipulation or reconstruction to deductive mathematical explanation or proving of the problem. And they showed tendency to consider it as the mathematical truth when the problem is dealt with by their own manipulation. Secondly, the manipulation environment of dynamic geometry software help students correct their mathematical misconception, which result from their cognitive obstacles, and get correct ones. Thirdly, by using dynamic geometry software the teacher could help reduce the 'zone of proximal development' of Vigotsky.

• Ocean Systems Engineering
• /
• 제6권2호
• /
• pp.203-216
• /
• 2016

Over recent years the offshore wind turbines are becoming more feasible solution to the energy problem, which is crucial for Egypt. In this article a three floating support structure, tension leg platform types (TLP), for 5-MW wind turbine have been considered. The dynamic behavior of a triangular, square, and pentagon TLP configurations under multi-directional regular and random waves have been investigated. The environmental loads have been considered according to the Egyptian Metrological Authority records in northern Red sea zone. The dynamic analysis were carried out using ANSYS-AQWA a finite element analysis software, FAST a wind turbine dynamic software, and MATLAB software. Investigation results give a better understanding of dynamical behavior and stability of the floating wind turbines. Results include time history, Power Spectrum densities (PSD's), and plan stability for all configurations.

• 대한기계학회논문집
• /
• 제18권1호
• /
• pp.12-23
• /
• 1994

This paper proposes an optimal design software for the open-chain dynamic systems whose governing equations are expressed as differential equation. In this software, an input module and an automatic creation module of the equation of motion are developed to contrive the user's convenience. To analyze the equation of motion of the dynamic systems, variable-order and variable-stepsize Adams-Bashforth-Moulton predictor-corrector method is used to improve the efficiency. For the optimization and the design sensitivity analysis, ALM(augmented lagrange multiplier)method and adjoint variable method are adopted respectively. An output module with which the user can compare and investigate the analysis and the optimization results through tables and graphs is also provided. The developed software is applied to three typical dynamic response optimization problems, and the results compare very well with those available in the literature, demonstrating its effectiveness.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2003년도 하계종합학술대회 논문집 I
• /
• pp.422-425
• /
• 2003

Software reconfigurable radio will give future users a number of benefits like global roaming, multi mode, multi band, and multi standard. It will also offer complete programmability and reconfigurability to both multi mode and multi functional communication terminal and network nodes. This configuration will be implemented by application of different combination of radio configurable software. In this paper, It proposes the algorithm needed for reconfiguration with basic explanation of the software download. A description of an implementation such reconfiguration processes as partial download and full download and critical and non-critical download installation using the registration table in included.

• 한국항공우주학회지
• /
• 제48권8호
• /
• pp.631-640
• /
• 2020

현재 항공기 시뮬레이터는 실제 항공기를 이용한 조종사 훈련에 비해 경제적, 시간적 및 공간적 비용 측면에서 상당한 이점을 가지고 있어서 많은 관심을 받고 있다. 항공기 시뮬레이터의 구성 요소 중 비행역학 모델은 실제 항공기의 비행을 모의하는데 중요한 역할을 한다. 따라서 자동화된 도구를 사용하여 비행역학 모델의 충실도를 검증하는 것은 중요한 의미를 지닌다. 본 논문에서는 항공기 시뮬레이터의 효율적인 개발을 위하여 비행역학 모델의 충실도를 자동 검증하는 소프트웨어를 개발한다. 충실도 검증 프로세스로부터 도출된 요구사항에 대하여 소프트웨어 구조 및 GUI를 설계한 다음 Window 기반 환경에서 C# 언어를 이용하여 소프트웨어를 구현한다. CTSW 기종에 대한 실험 결과는 개발된 소프트웨어가 기능 및 성능, 그리고 사용자 편의성 측면에서 효과적임을 보여준다.

• 한국시뮬레이션학회논문지
• /
• 제27권1호
• /
• pp.25-32
• /
• 2018

본 논문은 모델 기반 내장형 소프트웨어의 자동 생성 코드에 대한 효율적인 신뢰성 시험 절차와 구체화된 동적 시험 방안에 대해서 제시하고 있다. 모델 정적/동적 시험 각각을 코드 정적/동적 시험 전에 수행함으로서 코드 신뢰성 시험 수행의 이점이 있음을 기술하였다. 또한, 모델과 코드의 신뢰성 시험 상관관계를 모델의 경우 Model Advisor와 Verification and Validation tool, 코드의 경우 Polyspace와 LDRA를 이용하여 살펴보고 제시한 절차대로 수행한 신뢰성 시험의 결과를 보여주고 있다.