• Research in Mathematical Education
• /
• v.18 no.1
• /
• pp.31-40
• /
• 2014

Working with dynamic visual representations can help students-with-computer discover new mathematical ideas. Students translate among multiple representations as a strategy to investigate non-routine problems to explore possible solutions in mathematics classrooms. In this paper, we use the area models as new representations for our secondary students to investigate three problems related to the average speed of a particle. Students show their ideas in the process of investigating arithmetic mean, harmonic mean, and average speed through their created dynamic figures. These figures really utilize dynamic geometry software.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.27 no.4
• /
• pp.803-810
• /
• 2017

Recently, social security problems have been caused by the development of the software industry, and a variety of automation techniques have been used to verify software stability. In this paper, we propose a method of automatically detecting a use-after-free vulnerability on Windows system calls using dynamic symbolic execution, one of the software testing methods. First, a static analysis based pattern search is performed to select a target point. Based on the detected pattern points, we apply an induced path search technique that blocks branching to areas outside of interest. Through this, we overcome limitations of existing dynamic symbolic performance technology and verify whether vulnerability exists at actual target point. As a result of applying the proposed method to the Windows system call, it is confirmed that the use-after-free vulnerability, which had previously to be manually analyzed, can be detected by the proposed automation technique.

• Journal of Internet Computing and Services
• /
• v.23 no.5
• /
• pp.17-23
• /
• 2022

Network slicing is a promising paradigm and significant evolution for adjusting the heterogeneous services based on different requirements by placing dynamic virtual network functions (VNF) forwarding graph (VNFFG) and orchestrating service function chaining (SFC) based on criticalities of Quality of Service (QoS) classes. In system architecture, software-defined networks (SDN), network functions virtualization (NFV), and edge computing are used to provide resourceful data view, configurable virtual resources, and control interfaces for developing the modified deep reinforcement learning agent (MDRL-A). In this paper, task requests, tolerable delays, and required resources are differentiated for input state observations to identify the non-critical/critical classes, since each user equipment can execute different QoS application services. We design intelligent slicing for handing the cross-domain resource with MDRL-A in solving network problems and eliminating resource usage. The agent interacts with controllers and orchestrators to manage the flow rule installation and physical resource allocation in NFV infrastructure (NFVI) with the proposed formulation of completion time and criticality criteria. Simulation is conducted in SDN/NFV environment and capturing the QoS performances between conventional and MDRL-A approaches.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.8 no.12
• /
• pp.119-125
• /
• 1985

It is very important to assure the software quality. The static and dynamic testing are to be performed on the program to find some error in it, and it's purposes are to assure the software quality with cost-effectiveness. For it we use the automated tool. In this paper, it suggest the design of the software tool for COBOL static testing.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.49 no.6
• /
• pp.505-513
• /
• 2021

We propose an autonomous mission management software design and verification technique for unmanned aerial vehicles to autonomously mitigate dynamic situation changes occurred in the inside and outside of an aircraft in compliance with the mitigation priority order. The proposed autonomous mission management software is designed in a modular architecture that consists of concurrently executing multiple threads. To verify it, we suggest three verification steps: 1) software integration by checking the expected request/response messages between the threads for all possible dynamic situation changes; 2) integration test to verify the software functionality; 3) performance test to verify the quantitative software performance. Especially, the software integration test environment is built and utilized to carry out the integration and performance tests.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.22 no.4
• /
• pp.730-734
• /
• 2013

The dynamic simulation of machine tools and motion control systems has been widely used for optimization, design verification, control design, etc. There are three main streams in dynamic simulation: structural dynamic analysis based onthe finite element method, dynamic motion analysis based on equations of motion, and control system analysis based on transfer functions. Generally, one of these dynamic simulation methods is chosen and employed for specific purposes. In this study, an integrated dynamic simulation is introduced, in which the structure, motion, and control dynamics are combined together. Commercially well-known software is used in the integrated dynamic simulation: ANSYS, ADAMS, and Matlab/Simulink. Using the integrated dynamic simulation, the dynamics of a magnetic bearing stage is analyzed and the causes of oscillation and noise are identified. A controller design for suppressing a flexible dynamic mode is carried out and verified through the integrated dynamic simulation.

• Journal of the Korean School Mathematics Society
• /
• v.9 no.4
• /
• pp.459-479
• /
• 2006

The purpose of this study is to investigate the applicability of DGS(dynamic geometry software) for the assessment of reasoning ability and the influence of DGS on the process of assessing students' reasoning ability in middle school geometry. We developed items for assessing students' reasoning ability by using DGS in the connected form of 'construction - inductive reasoning - deductive reasoning'. And then, a case study was carried out with 5 students. We analyzed the results from 3 perspectives, that is, the assessment of students' construction ability, inductive reasoning ability, and justification types. Items can help students more precisely display reasoning ability Moreover, using of DGS will help teachers easily construct the assessment items of inductive reasoning, and widen range of constructing items.

• Geomechanics and Engineering
• /
• v.8 no.3
• /
• pp.415-440
• /
• 2015

In the present case study, High Strain Dynamic Testing of piles is conducted at 3 different locations of Kolkata city of India. The raw field data acquired is analyzed using Pile Driving Analyzer (PDA) and CAPWAP (Case Pile Wave Analysis Programme) computer software and load settlement curves along with variation of force and velocity with time is obtained. A finite difference based numerical software FLAC3D has been used for simulating the field conditions by simulating similar soil-pile models for each case. The net pile displacement and ultimate pile capacity determined from the field tests and estimated by using numerical analyses are compared. It is seen that the ultimate capacity of the pile computed using FLAC3D differs from the field test results by around 9%, thereby indicating the efficiency of FLAC3D as reliable numerical software for analyzing pile foundations subjected to impact loading. Moreover, various parameters like top layers of cohesive soil varying from soft to stiff consistency, pile length, pile diameter, pile impedance and critical height of fall of the hammer have been found to influence both pile displacement and net pile capacity substantially. It may, therefore, be suggested to include the test in relevant IS code of practice.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.15 no.6
• /
• pp.3841-3850
• /
• 2014

Owing to the rapid supply of mobile devices, the requirements of users for new mobile software has increased and software vendors (developers) should be able to provide software fast and appropriately. On the other hand, the mobile application in a mobile platform architecture should pass through a complex process to provide the modified mobile application to users and cannot provide an update quickly and immediately. On the other hand, the use of the mobile web is growing because a mobile web can provide an immediate modification of various update requirements to users. Therefore, this paper proposes a dynamic configuration technique for enhancing the productivity of the mobile web development and maintenance in this paper.

• Journal of The Korean Association of Information Education
• /
• v.2 no.2
• /
• pp.201-208
• /
• 1998

Recently software complexity will continue to increase dramatically in the coming decades because of the dynamic and distributed nature of both data and applications. Not only must software systems assist in coordinating tasks among humans, they must also help mannage cooperation among distributed programs. Software agent may properly respond to these requirements. This paper investigates the adaptive characteristics found in adaptive tutoring agents. To funcion effectively throughout the range of situations presented by such a dynamic and extremely-distributed information entities, an agent must be highly adaptive. Adaptivity exists in several key aspects of agent's behavior to its dynamic situation. My goal is to show the various aspects of internal adaptivity that could be applied to build comprehensive agents that function effectively in tutoring agent system.