• 한국자동차공학회논문집
• /
• 제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.

• Journal of Information Processing Systems
• /
• 제6권4호
• /
• pp.597-608
• /
• 2010

Software evolution is an ongoing process carried out with the aim of extending base applications either for adding new functionalities or for adapting software to changing environments. This brings about the need for estimating and determining the overall impact of changes to a software system. In the last few decades many such change/impact analysis techniques have been developed to identify consequences of making changes to software systems. In this paper we propose a new approach of estimating change/impact analysis by classifying change based on type of change classification e.g. (a) nature and (b) extent of change propagation. The impact set produced consists of two dimensions of information: (a) statements affected by change propagation and (b) percentage i.e. statements affected in each category and involving the overall system. We also propose an algorithm for classifying the type of change. To establish confidence in effectiveness and efficiency we illustrate this technique with the help of an example. Results of our analysis are promising towards achieving the aim of the proposed endeavor to enhance change classification. The proposed dynamic technique for estimating impact sets and their percentage of impact will help software maintainers in performing selective regression testing by analyzing impact sets regarding the nature of change and change dependency.

• 한국자동차공학회논문집
• /
• 제18권1호
• /
• pp.44-50
• /
• 2010

Durability performance evaluation technology using Virtual Testing Method is a new concept of a vehicle design, which can reduce the automotive components design period and cost. In this paper, the fatigue life of an aluminum knuckle of a passenger car is evaluated using virtual testing method. The flexible multibody dynamic model of a front half car module is generated and solved with service loads which are measured from Belgian roads. Using a multibody dynamic analysis software, the flexible multibody dynamic simulation of a half car model is carried out and the dynamic stress profile of an aluminum knuckle is acquired. The stress profile is exported to a fatigue analysis software and durability performance of an aluminum knuckle is evaluated.

• 시스템엔지니어링학술지
• /
• 제1권2호
• /
• pp.43-48
• /
• 2005

This paper describes the results of applying States and Modes Analysis, one of the requirements analysis techniques, to the development requirements of flight control software for Smart UAV. State/mode table enabled us to investigate various operation and design concepts, and as a result essential requirements for flight control software were established without omitting necessary requirements. Through the use of scenario-specific state transition diagrams, dynamic behaviours and control/response interfaces between each state and mode could been clearly identified, which made it possible to establish requirements related to dynamic behaviours of states and modes which are essential to the design of flight control software.

• 한국항공운항학회지
• /
• 제17권1호
• /
• pp.9-16
• /
• 2009

The analysis of an aircraft flight dynamics is recently very convenient because of the introduction of state-space method and a well-developed package software. The representation of a dynamic system is described as a simple form of matrix calculation and the unique form of model is available for the linear or nonlinear, time variant or time invariant, mono variable or multi variable system with state-space method. And this analysis can be simplified with the specific functions of a package software and it is very simplified to execute the simulation of the dynamic characteristics for an aircraft model with an interactive graphical treatment. The purpose of this study is to develope an educational flight simulator for the students who need to analyze the dynamic characteristics of an aircraft that is primarily to execute the simulation for the analysis of the transient response and frequency response of an aircraft stability. Furthermore the dynamic characteristics of an aircraft motion is set up as dynamical animation tool for the control response on 3-axis motions of an aircraft.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2000년도 춘계학술대회 논문집
• /
• pp.284-291
• /
• 2000

Interlocking software used in the electronic interlocking has been implemented through the structured approach until now. But there was the demerit that interlocking software has some problem in the standardization and the maintenance because of the limit in structured approach. Object-Oriented method overcoming this demerit was specified in the design step and the analysis step. There were object model, dynamic model and functional model in the analysis step and there were also two steps which were system design and object design in the design step. In this paper, Interlocking software was designed using Object-Oriented method to improve the standardization and the maintenance of the electronic interlocking. The electronic interlocking was analyzed with object modeling, dynamic modeling and functional modeling.

• 한국수학교육학회지시리즈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.

• Journal of Computing Science and Engineering
• /
• 제2권4호
• /
• pp.375-393
• /
• 2008

The dynamic cast operation allows flexibility in the design and use of data management facilities in object-oriented programs. Dynamic cast has an important role in the implementation of the Data Management Services (DMS) of the Mission Data System Project (MDS), the Jet Propulsion Laboratory's experimental work for providing a state-based and goal-oriented unified architecture for testing and development of mission software. DMS is responsible for the storage and transport of control and scientific data in a remote autonomous spacecraft. Like similar operators in other languages, the C++ dynamic cast operator does not provide the timing guarantees needed for hard real-time embedded systems. In a recent study, Gibbs and Stroustrup (G&S) devised a dynamic cast implementation strategy that guarantees fast constant-time performance. This paper presents the definition and application of a cosimulation framework to formally verify and evaluate the G&S fast dynamic casting scheme and its applicability in the Mission Data System DMS application. We describe the systematic process of model-based simulation and analysis that has led to performance improvement of the G&S algorithm's heuristics by about a factor of 2. In this work we introduce and apply a library for extracting semantic information from C++ source code that helps us deliver a practical and verifiable implementation of the fast dynamic casting algorithm.

• International Journal of Computer Science & Network Security
• /
• 제24권4호
• /
• pp.192-196
• /
• 2024

The memory coherence problem occurs while mapping shared virtual memory in a loosely coupled multiprocessors setup. Memory is considered coherent if a read operation provides same data written in the last write operation. The problem is addressed in the literature using different algorithms. The big question is on the correctness of such a distributed algorithm. Formal verification is the principal term for a group of techniques that routinely use an analysis that is established on mathematical transformations to conclude the rightness of hardware or software behavior in divergence to dynamic verification techniques. This paper uses UPPAAL model checker to model the dynamic distributed algorithm for shared virtual memory given by K.Li and P.Hudak. We analyse the mechanism to keep the coherence of memory in every read and write operation by using a dynamic distributed algorithm. Our results show that the dynamic distributed algorithm for shared virtual memory partially fulfils its functional requirements.

• 산업경영시스템학회지
• /
• 제31권4호
• /
• pp.100-105
• /
• 2008

Cost reduction, time to market, and quality improvement of software product are critical issues to the software companies which try to survive in recent competitive market environments. Software Product Line Engineering (SPLE) is one of the approaches to address these issues. The goal of software product line is to maximize the software reuse and achieve the best productivity with the minimum cost. In software product line, software components are classified into the common and variable modules for composition work. In this paper, we proposed a dynamic composition process based on aspect-oriented programming methodology in which software requirements are classified into the core-concerns and cross-cutting concerns, and then assembled into the final software product. It enables developers to concentrate on the core logics of given problem, not the side-issues of software product such as transactions and logging. We also proposed useful composition patterns based on aspect oriented programming paradigm. Finally, we implemented a prototype of the proposed process using Java and Aspect to show the proposed approach's feasibility. The scenario of the prototype is based on the embedded analysis software of telecommunication devices.