Search
Now showing items 1-10 of 10
Feasibility of 20 km free-standing inflatable space tower
(British Interplanetary Society, May-10)
This paper describes the theory and analysis for the construction of a thin walled inflatable space tower of 20 km vertical
extent in an equatorial location on Earth using gas pressure. The suborbital tower of 20 km ...
A free-standing space elevator structure: a practical alternative to the space tether
(Elsevier, 2009-04-19)
Space tethers have been investigated widely as a means to provide easy access to space. However, the design and construction of such a device presents significant unsolved technological challenges. We propose an alternative ...
IG-JADE-PKSlib: An Agent-Based Framework for Advanced Web Service Composition and Provisioning
(Jul-04)
In this paper we describe an agent-based infrastructure and toolkit to develop inter-operable, intelligent, multiagent systems for Web service composition (WSC) and provisioning. Our toolkit is realized through an interface ...
Web Service Composition as a Planning Task: Experiments using Knowledge-Based Planning
(Jun-04)
Motivated by the problem of automated Web service composition (WSC), in this paper, we present some empirical evidence to validate the effectiveness of using knowledge-based planning techniques for solving WSC problems. ...
Software Verification Tools
(© P. H. Roosen-Runge, 1999, 2003, 2007, 2008)
This text explores the problem of verifying software in terms of a set of simple tools which can be used to symbolically evaluate and prove properties of pieces of
programs, represented either abstractly in functional ...
Electro‐Thermal Subsurface Gas Generation and Transport: Model Validation and Implications
(American Geophysical Union, 2019-06-07)
Gas generation and flow in soil is relevant to applications such as the fate of leaking geologically sequestered carbon dioxide, natural releases of methane from peat and marine sediments, and numerous electro‐thermal ...
The bifurcation of periodic orbits and equilibrium points in the linked restricted three-body problem with parameter ω
(AIP Publishing, 2019-10-08)
This paper is devoted to the bifurcation of periodic orbits and libration points in the linked restricted three-body problem (LR3BP). Inherited from the classic circular restricted three-body problem (CR3BP), it retains ...
WINDII Observations and WACCM‐X Simulations of High‐Latitude Winds Under Different Solar Radio Flux and Geomagnetic Disturbance Conditions
(American Geophysical Union, 2019-07-04)
Thermospheric zonal winds at altitudes of 140 to 250 km are shown to reverse from eastward to strong westward between 100° and 200° in geographic longitude and 60°S to 70°S latitude in the Southern Hemisphere. The reversal ...
Flight Dynamics and Control Strategy of Electric Solar Wind Sails
(American Institute of Aeronautics and Astronautics, 2019-11-27)
This paper studies the flight dynamics and control strategy for electric solar wind sails based on the nodal position finite element method, where the coupling effects between tether dynamics and the electrical field are ...
Three-Dimensional High-Fidelity Dynamic Modeling of Tether Transportation System with Multiple Climbers
(American Institute of Aeronautics and Astronautics, 2019-03-04)
This paper studies the dynamics of a tether transportation system by the nodal position finite element method in the framework of an arbitrary Lagrangian–Eulerian description. Material coordinate is introduced as a state ...