搜索结果: 1-15 共查到“Saturn”相关记录26条 . 查询时间(0.112 秒)
When NASA’s 990-pound Dragonfly rotorcraft reaches the Selk crater region – the mission’s target touchdown spot – on Saturn’s moon Titan in 2034, Cornell’s Léa Bonnefoy '15 will have helped to make it...
Swirling around the planet’s equator, the rings of Saturn are a dead giveaway that the planet is spinning at a tilt. The belted giant rotates at a 26.7-degree angle relative to the plane in which it o...
Saturn is a system for the static analysis of programs. Saturn aims to be both highly scalable and precise, with the goal of eventually being able to verify the absence of certain kinds of bugs in rea...
Saturn is a boolean satisfiability (SAT) based framework for static bug detection. It targets software written in C and is designed to support a wide range of property checkers.
We present an overview of the Saturn program analysis system,including a rationale for three major design decisions: the use of function-at-a-time, or summary-based, analysis, the use of constraints,a...
Saturn: A Scalable Framework for Error Detection using Boolean Satisfiability
Program analysis error detection boolean satisfiability
2016/5/24
This article presents Saturn, a general framework for building precise and scalable static error detection systems. Saturn exploits recent advances in boolean satisfiability (SAT) solvers and is path ...
AN ANALYTIC PARAMETERIZATION OF SELF-GRAVITY WAKES IN SATURN’S RINGS, WITH APPLICATION TO OCCULTATIONS AND PROPELLERS
planets and satellites individual (Saturn)–planets and satellites rings
2015/12/25
We have developed a semianalytic method of parameterizing N-body simulations of self-gravity wakes in Saturn’s rings, describing their photometric properties by means of only six numbers: three optica...
THE "SWARM" MODEL FOR THE AZIMUTHAL BRIGHTNESS VARIATIONS IN SATURN'S RING A
Saturn's rings. Photometry observation ring system The image calibration
2014/12/10
A number of researchers have observed asymmetric azimuthal variations in Saturn's ring A not seen in any other portion of the rings. In order to explore this effect, photometric observations of the ri...
The roles of charge exchange and dissociation in spreading Saturn's neutral clouds
roles of charge exchange dissociation spreading Saturn's neutral clouds Space Physics
2012/4/19
Neutrals sourced directly from Enceladus's plumes are initially confined to a dense neutral torus in Enceladus's orbit around Saturn. This neutral torus is redistributed by charge exchange, impact/pho...
We present two unusual observations of Saturn recorded during the early years of the twentieth century.
Two phase, inward-then-outward migration of Jupiter and Saturn in the gaseous Solar Nebula
accretion, accretion disks – planets and satellites: formation – hydrodynamics – methods: numerical
2011/10/20
It has recently been shown that the terrestrial planets and asteroid belt can be reproduced if the giant planets underwent an inward-then-outward migration (the "Grand Tack"; Walsh et al 2011). Inward...
Considerations on the accretion of Uranus and Neptune by mutual collisions of planetary embryos in the vicinity of Jupiter and Saturn
planetary systems – planets and satellites: formation – planets and satellites: individual: Uranus, Neptune – protoplanetary disks
2011/10/8
Modeling the formation of Uranus and Neptune is a long-lasting problem in planetary science. Due to the gas-drag, collisional damping, and resonant shepherding, the planetary embryos repel the planete...
Searching for Saturn's Dust Swarm: Limits on the size distribution of Irregular Satellites from km to micron sizes
Solar System: satellites
2011/10/8
We describe a search for dust created in collisions between the Saturnian irregular satellites using archival \emph{Spitzer} MIPS observations. Although we detected a degree scale Saturn-centric exces...
HD 46375: seismic and spectropolarimetric analysis of a young Sun hosting a Saturn-like planet
seismic spectropolarimetric analysis Saturn-like planet
2010/11/15
Context. HD 46375 is known to host a Saturn-like exoplanet orbiting at 0.04 AU from its host star. Stellar light reflected by the planet was tentatively identified in the 34-day CoRoT run acquired in ...
On the stability of the secular evolution of the planar Sun-Jupiter-Saturn-Uranus system
Mathematical Physics (math-ph) Chaotic Dynamics (nlin.CD)
2010/11/10
We investigate the long time stability of the Sun--Jupiter--Saturn--Uranus system by considering the planar, secular model. Our method may be considered as an extension of Lagrange's theory for the se...