Search Results for "java forward"

eviltransform is a compact library for converting geographic coordinates between the global WGS-84 system (used by GPS) and the Chinese GCJ-02 system (used by many Chinese map services such as Google Maps China and AutoNavi). The project implements forward and inverse transformations (WGS→GCJ and GCJ→WGS) as well as a higher-precision inverse method (GCJ→WGS exact) that trades speed for sub-meter accuracy, and it includes a utility for computing geodesic distance in meters. It’s implemented (or ported) across many languages and platforms — you’ll find reference implementations in Go, C/C++/Obj-C, Java, JavaScript, Python, PHP, C#, Haskell, Rust, Swift, MATLAB and more — which makes it easy to drop into server, client, or mobile codebases. ...

This toolbox is used to generate finite abstractions of autonomous Max-Plus-Linear (MPL) systems over R^n. Abstractions are characterized as finite-state Labeled Transition Systems (LTS). The LTS finite abstractions are shown to either simulate or to bisimulate the original MPL system. LTS models are to be verified against given specifications expressed as formulae in Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). The toolbox intends to leverage the NuSMV model checker. Models...