1,374 research outputs found
Drive mechanism for Personal Transporter (PT)
Dependency on fossil-fuel transportation contributes to excessive emission of carbon dioxide gas in atmosphere. This leads to a serious environmental problem which is called global warming. Serious action has to be taken immediately by all in order to stop the problem from becoming worst. One of the effective ways to doing so is to stop depending on fossil-fuel vehicle. Thus, Personal Transporter provides an answer for this problem. There are companies such as Segway Corp., Honda and Toyota have taken advance step by producing their own transporter
Analysis of the Hydro Thermal Behaviour of Waxy Crude during Pipeline Restart
The aim of this project is to investigate the hydro thermal behavior of waxy crude during pipe line restart. To obtain this, the understanding of waxy crude phenomena in the oil and gas industry and the restart methodology are crucial
Using Spec Explorer for Automatic Checking of Constraints in Software €Controlled Systems.
In software engineering, several formal models and tools are proposed for defining system requirements and constraints formally. Such formal definitions can help in the automatic checking and verification for them. It can also help in the automatic test case generation, execution and verification. In this paper, we will demonstrate and evaluate the usage of Spec Explorer from Microsoft for defining and checking examples of software controlled system such as cruise control. Such formal requirements can be eventually embedded in the developed system or can help in exposing important elements to test in the testing stage or through the usage of the applicationModel-Based Testing, Spec Explorer, FSM Models, Software Controlled Systems
Stable localized modes in asymmetric waveguides with gain and loss
It is shown that asymmetric waveguides with gain and loss can support a
stable propagation of optical beams. This means that the propagation constants
of modes of the corresponding complex optical potential are real. A class of
such waveguides is found from a relation between two spectral problems. A
particular example of an asymmetric waveguide, described by the hyperbolic
functions, is analyzed. The existence and stability of linear modes and of
continuous families of nonlinear modes are demonstrated.Comment: 10 pages, 4 figures. Accepted in Optics Letters, 201
Few remarks on evolution algebras
In the present paper we study some algebraic properties of evolution
algebras. Moreover, we reduce the study of evolution algebras of permutations
to two special types of evolution algebras, idempotents and absolute nilpotent
elements of the algebra. We study three-dimensional evolution algebras whose
each element of evolution basis has infinite period. In addition, for an
evolution algebra with some properties we describe its associative enveloping
algebra.Comment: 11 page
On Dynamics of a class taken from Quadratic Stochastic Operators
The Quadratic dynamical systems considered as an important source of analysis for the study of dynamical properties and modeling in various fields. A quadratic stochastic operator (in short QSO) is usually used to present the time evolution of species in biology. The general problem in the nonlinear operator theory is to study the behavior of operators. This problem was not fully finished even for quadratic stochastic operators which are the simplest nonlinear operators. To study this problem, several classes of QSO were investigated. In this paper we investigate the dynamics of three classes of such operators
- …