Switching between modified Newton and fix-point iteration for implicit ode-solvers

1986 ◽  
Vol 26 (3) ◽  
pp. 339-348 ◽  
Author(s):  
Syvert P. Nørsett ◽  
Per G. Thomsen
Keyword(s):  
Fix Point ◽  
Implicit Ode

Influences of Diaphragm Springs on Operation Performances of Sight-Stabilizing Mechanism

2011 ◽  
Vol 211-212 ◽  
pp. 384-388
Author(s):  
Gui Mei Guo ◽  
Lin Hong
Keyword(s):  
Rigid Body ◽  
Structural Parameters ◽  
Angular Displacement ◽  
Kinematics And Dynamics ◽  
Analysis Method ◽  
Structure Form ◽  
Simulation Results ◽  
Fix Point ◽  
The Moment

Sight-stabilizing mechanisms controlled by diaphragm springs and other damping elements is an important subordinate system of airborne sight stabilizing System. The performances of sight-stabilizing system depend on the characteristics of kinematics and dynamics of the system in a great extent. Among various external moments acting on the rod of the manipulator, such as those moments caused by damper, positioning spring, and restoration spring, the forces by diaphragm springs are most obvious. According to the structure form and motion peculiarity, the rod can be equivalent to a rigid body turning around a fix point. Simulation results reveal that the moment of the restoration spring to the rod is proportional to the angular displacement, and that the moment is the most prominent factor influencing the operating performances among all these moments. Through reasonable adjustments of structural parameters of the restoration spring, the performances of the sight-stabilizing system can be improved greatly; the analysis method provides a basis for guiding the design of concerned structural parameters of sight-stabilizing system.

scholarly journals Modal context restriction for multiagent BDI logics

2021 ◽  
Author(s):  
Marcin Dziubiński
Keyword(s):  
Multiagent Systems ◽  
Modal Logics ◽  
Satisfiability Problem ◽  
Language Restriction ◽  
Multimodal Logics ◽  
Fix Point

AbstractWe present and discuss a novel language restriction for modal logics for multiagent systems, called modal context restriction, that reduces the complexity of the satisfiability problem from EXPTIME complete to NPTIME complete. We focus on BDI multimodal logics that contain fix-point modalities like common beliefs and mutual intentions together with realism and introspection axioms. We show how this combination of modalities and axioms affects complexity of the satisfiability problem and how it can be reduced by restricting the modal context of formulas.

On inflationary fix-point operators safety

2015 ◽  
Vol 36 (4) ◽  
pp. 328-331 ◽  
Author(s):  
Sergey M. Dudakov
Keyword(s):  
Fix Point
Sign in / Sign up

Export Citation Format

Share Document