This paper is devoted to finding integral solutions of algebraic equations. Only algebraic equations with integral coefficients are considered. The elementary properties of integers are assumed.

Power system dynamics are commonly modeled by parameter dependent nonlinear differential-algebraic equations (DAE) x p y x f ) and 0 = p y x g ) . Due to (,, (,, the algebraic constraints, we cannot directly perform integration based on the DAE. Traditionally, we use implicit function theorem to solve for fast variables y to get a reduced model in terms of slow dynamics locally around x or we compute y numerically at each x . However, it is well known that solving nonlinear algebraic equations analytically is quite difficult and numerical solution methods also face many uncertainties since nonlinear algebraic equations may have many solutions, especially around bifurcation points. In this thesis, we apply the singular perturbation method to model power system dynamics in a singularly perturbed ODE (ordinary-differential equation) form, which makes it easier to observe time responses and trace bifurcations without reduction process. The requirements of introducing the fast dynamics are investigated and the complexities in the procedures are explored. Finally, we propose PTE (Perturb and Taylor’s expansion) technique to carry out our goal to convert a DAE to an explicit state space form of ODE. A simplified unreduced Jacobian matrix is also introduced. A dynamic voltage stability case shows that the proposed method works well without complicating the applications.

The aim of this work is to get acquainted with the issue of solving word problems by means of equations, to state and to analyse various ways of solving them. The thesis also includes the comparison of strategies for solving word problems that are selected by students who have been already taught the given type of the equation, and students who have not yet mastered these procedures. The introductory part of the work deals with word problems in general. There the terms such as the word problems, procedures, methods and strategies used for solving word problems are specified. In the next part of the text, the basic types of equations are characterized. For each type of the equation, one typical word problem was selected and it was experimentally found out which solving strategies were used by students most often. Keywords: word problem, algebraic equation, non-algebraic equation, system of equations

Differential-algebraic equations (DAEs) result in many areas of science and engineer- ing. In this thesis, numerical methods for solving DAEs are compared for two prob- lems, energy-economic models and traffic flow models. An energy-economic model is presented based on the Hubbert model of oil production and is extended to include economic factors for the first time. Using numerical methods to simulate the DAE model, the resulting graphs break the symmetry of the traditional Hubbert curve. For the traffic flow models, a numerical method is developed to solve the steady-state flow pattern including the linearly unstable regime, i.e. solutions which cannot be found with an initial value solver. / UOIT

Differential-algebraic equations (DAEs) result in many areas of science and engineer- ing. In this thesis, numerical methods for solving DAEs are compared for two prob- lems, energy-economic models and traffic flow models. An energy-economic model is presented based on the Hubbert model of oil production and is extended to include economic factors for the first time. Using numerical methods to simulate the DAE model, the resulting graphs break the symmetry of the traditional Hubbert curve. For the traffic flow models, a numerical method is developed to solve the steady-state flow pattern including the linearly unstable regime, i.e. solutions which cannot be found with an initial value solver.

This paper was presented at CJK-OSM 7, 18–21 June 2012, Huangshan, China.

No description available.

This report studies polynomial equations and how one solves them using only the coefficients of the polynomial. It examines why it is impossible to solve equations of degree greater than four using only radicals and how instead one can solve them using elliptic functions. Although the quintic equation is the main area of our investigation, we also present parts of the history of algebraic equations, Galois theory, and elliptic functions.

In this research, the focus is on improving a designer's capability to determine near-optimal sizes of components for a given system architecture. Component sizing is a hard problem to solve because of the presence of competing objectives, requirements from multiple disciplines, and the need for finding a solution quickly for the architecture being considered. In current approaches, designers rely on heuristics and iterate over the multiple objectives and requirements until a satisfactory solution is found. To improve on this state of practice, this research introduces advances in the following two areas: a.) Formulating a component sizing problem in a manner that is convenient to designers and b.) Solving the component sizing problem in an efficient manner so that all of the imposed requirements are satisfied simultaneously and the solution obtained is mathematically optimal. In particular, an acausal, algebraic, equation-based, declarative modeling approach is taken to solve component sizing problems efficiently. This is because global optimization algorithms exist for algebraic models and the computation time is considerably less as compared to the optimization of dynamic simulations. In this thesis, the mathematical programming language known as GAMS (General Algebraic Modeling System) and its associated global optimization solvers are used to solve component sizing problems efficiently. Mathematical programming languages such as GAMS are not convenient for formulating component sizing problems and therefore the Systems Modeling Language developed by the Object Management Group (OMG SysML ) is used to formally capture and organize models related to component sizing into libraries that can be reused to compose new models quickly by connecting them together. Model-transformations are then used to generate low-level mathematical programming models in GAMS that can be solved using commercial off-the-shelf solvers such as BARON (Branch and Reduce Optimization Navigator) to determine the component sizes that satisfy the requirements and objectives imposed on the system. This framework is illustrated by applying it to an example application for sizing a hydraulic log splitter.

No