LOOPUS Mob-D: System concept for a public mobile satellite system providing integrated digital services for the Northern Hemisphere from an elliptical orbit

A new concept for a satellite based public mobile communications system, LOOPUS Mob-D, is introduced, whereby most of the classical problems in mobile satellite systems are approached in a different way. The LOOPUS system will offer a total capacity of 6000 high rate channels in three service areas (Europe, Asia, and North America), covering the entire Northern Hemisphere with a set of group special mobile (GSM) compatible mobile services, eventually providing the 'office in the car'. Special characteristics of the LOOPUS orbit and the communications network architecture are highlighted

A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis

We present the first scalable bound analysis that achieves amortized complexity analysis. In contrast to earlier work, our bound analysis is not based on general purpose reasoners such as abstract interpreters, software model checkers or computer algebra tools. Rather, we derive bounds directly from abstract program models, which we obtain from programs by comparatively simple invariant generation and symbolic execution techniques. As a result, we obtain an analysis that is more predictable and more scalable than earlier approaches. Our experiments demonstrate that our analysis is fast and at the same time able to compute bounds for challenging loops in a large real-world benchmark. Technically, our approach is based on lossy vector addition systems (VASS). Our bound analysis first computes a lexicographic ranking function that proves the termination of a VASS, and then derives a bound from this ranking function. Our methodology achieves amortized analysis based on a new insight how lexicographic ranking functions can be used for bound analysis

Aalenian to Cenomanian Radiolaria of the Bermeja Complex (Puerto Rico) and Pacific origin of radiolarites on the Caribbean Plate

The study of the radiolarian ribbon chert is a key in determining the origins of associated Mesozoic oceanic terranes and may help to achieve a general agreement regarding the basic principles on the evolution of the Caribbean Plate. The Bermeja Complex of Puerto Rico, which contains serpentinized peridotite, altered basalt, amphibolite, and chert (Mariquita Chert Formation), is one of these crucial oceanic terranes. The radiolarian biochronology presented in this work is mainly based by correlation on the biozonations of Baumgartner et al. (1995) and O'Dogherty (1994) and indicates an early Middle Jurassic to early Late Cretaceous (late Bajocian-early Callovian to late early Albian-early middle Cenomanian) age. The illustrated assemblages contain about 120 species, of which one is new (Pantanellium karinae), and belonging to about 50 genera. A review of the previous radiolarian published works on the Mariquita Chert Formation and the results of this study suggest that this formation ranges in age from Middle Jurassic to early Late Cretaceous (late Aalenian to early-middle Cenomanian) and also reveal a possible feature of the Bermeja Complex, which is the younging of radiolarian cherts from north to south, evoking a polarity of accretion. On the basis of a currently exhaustive inventory of the radiolarite facies s.s. on the Caribbean Plate, a re-examination of the regional distribution of Middle Jurassic sediments associated with oceanic crust, and a paleoceanographic argumentation on the water currents, we come to the conclusion that the radiolarite and associated Mesozoic oceanic terranes of the Caribbean Plate are of Pacific origin. Eventually, a discussion on the origin of the cherts of the Mariquita Formation illustrated by Middle Jurassic to middle Cretaceous geodynamic models of the Pacific and Caribbean realms bring up the possibility that the rocks of the Bermeja Complex are remnants of two different ocean

Use of elliptical orbits for a Ka-band personal access satellite system

The use of satellites in elliptical orbits for a Ka-band personal communications system application designed to provide voice and data service within the continental U.S. is examined. The impact of these orbits on system parameters such as signal carrier-to-noise ratio, roundtrip delay, Doppler shift, and satellite antenna size is quantized for satellites in two elliptical orbits, the Molniya and the ACE orbits. The number of satellites necessary for continuous CONUS coverage has been determined for the satellites in these orbits. The increased system complexity brought about by the use of satellites at such altitudes is discussed

Analyzing runtime and size complexity of integer programs

We present a modular approach to automatic complexity analysis of integer programs. Based on a novel alternation between finding symbolic time bounds for program parts and using these to infer bounds on the absolute values of program variables, we can restrict each analysis step to a small part of the program while maintaining a high level of precision. The bounds computed by our method are polynomial or exponential expressions that depend on the absolute values of input parameters. We show how to extend our approach to arbitrary cost measures, allowing to use our technique to find upper bounds for other expended resources, such as network requests or memory consumption. Our contributions are implemented in the open source tool KoAT, and extensive experiments show the performance and power of our implementation in comparison with other tools

Alternating runtime and size complexity analysis of integer programs

We present a modular approach to automatic complexity analysis. Based on a novel alternation between finding symbolic time bounds for program parts and using these to infer size bounds on program variables, we can restrict each analysis step to a small part of the program while maintaining a high level of precision. Extensive experiments with the implementation of our method demonstrate its performance and power in comparison with other tools