نتایج جستجو برای: polynomial trajectory

تعداد نتایج: 143943  

Journal: :iranian journal of mathematical chemistry 2012
m. ghorbani m. songhori

the omega polynomial(x) was recently proposed by diudea, based on the length of stripsin given graph g. the sadhana polynomial has been defined to evaluate the sadhana index ofa molecular graph. the pi polynomial is another molecular descriptor. in this paper wecompute these three polynomials for some infinite classes of nanostructures.

Journal: :bulletin of the iranian mathematical society 0
h. s. kim department of mathematics‎, ‎research institute for natural sciences‎, ‎hanyang university‎, ‎seoul 04763‎, ‎korea. p. j. allen department of mathematics‎, ‎university of alabama‎, ‎tuscaloosa‎, ‎al 35487-0350‎, ‎usa. j. neggers department of mathematics‎, ‎university of alabama‎, ‎tuscaloosa‎, ‎al 35487-0350‎, ‎usa.

in this paper, we show how certain metabelian groups can be found within polynomial evaluation groupoids. we show that every finite abelian group can beobtained as a polynomial evaluation groupoid.

Journal: :آب و خاک 0
احدیان احدیان موسوی جهرمی موسوی جهرمی

abstract in the present article, effective parameters of the buoyant jets have been evaluated in the stagnant ambient fluid. the jet parameters, geometry parameters and environmental parameters are investigated. using dimensional analysis, a set of dimensionless functions was obtained. to achieve the exact functions, a physical model was built in the hydraulic laboratory of shahid chamran unive...

We find an explicit expression of the Tutte polynomial of an $n$-fan. We also find a formula of the Tutte polynomial of an $n$-wheel in terms of the Tutte polynomial of $n$-fans. Finally, we give an alternative expression of the Tutte polynomial of an $n$-wheel and then prove the explicit formula for the Tutte polynomial of an $n$-wheel.

2006
Jan-Willem Roorda Koen Claessen

Symbolic Trajectory Evaluation (STE) is a formal verification technique for hardware. The current STE semantics is not faithful to the proving power of existing STE tools, which obscures the STE theory unnecessarily. In this paper, we present a new closure semantics for STE which does match the proving power of STE model-checkers, and makes STE easier to understand.

2004
Laurent Girin Mohammad Firouzmand Sylvain Marchand

In this paper, the problem of modeling the trajectory of the phase of speech signal is addressed within the context of the sinusoidal model of speech. A global or long-term model of the trajectory of the phase of the partials is proposed for each entire voiced section of speech, contrary to standard models, which are defined on a frame-by-frame basis. The complete analysis-modeling-synthesis pr...

This paper aims to discuss the requirements of safe and smooth trajectory planning of transporter mobile robots to perform non-prehensile object manipulation task. In non-prehensile approach, the robot and the object must keep their grasp-less contact during manipulation task. To this end, dynamic grasp concept is employed for a box manipulation task and corresponding conditions are obtained an...

2017
Arnaud Hamon Yannick Aoustin

The design of a knee joint is a key issue in robotics and biomechanics to improve the compatibility between prosthesis and human movements and to improve the bipedal robot performances. We propose a novel design for the knee joint of a planar bipedal robot, based on a four-bar linkage. The dynamic model of the planar bipedal robot is calculated. We design walking reference trajectories with dou...

2009
Christos Ampatzis Dario Izzo

Objective function landscape approximation methods in evolutionary optimisation can be a beneficial technique, since they replace part of the calls to the original, often computationally expensive objective function, with calls to a faster and computationally cheaper function approximator, such as a polynomial or an artificial neural network. Moreover, in some cases, the approximate model smoot...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید