Apakah 180 barat sama dengan 180 timur?

Saya berdiskusi tentang topik ini dengan rekan kerja.

Kami sedang bekerja menerapkan sistem validasi GPS, dan saya katakan kepadanya bahwa garis bujur -180 (atau 180W) bukan garis bujur yang valid karena garis bujur yang valid adalah nilai yang sama dengan salah satu nilai sudut koordinat bola, dan garis lintang adalah yang lainnya.

Dalam koordinat bola:

Theta harus (-180.180]. Theta tidak mengandung -180 sebagai nilai yang valid

Phi harus [-90,90]. Phi mengandung kedua nilai tersebut sebagai nilai yang valid

Dia berkata kepada saya harus ada 2 nilai meridian 180 (positif dan negatif 180 derajat, +180 & -180, atau 180E dan 180W), dan tidak ada dokumen yang menjelaskan masalah ini: [45, -180] adalah lokasi yang valid ? Bukankah posisi yang tepat sama dengan [45.180]?

Setiap alat daring yang saya temukan di internet atau kode yang tersedia mencakup kedua meridian sebagai nilai yang berbeda, tetapi di dunia nyata, adalah sama!

Pertanyaan saya adalah: Apakah ada dokumen yang merinci 180 meridian bisa positif dan negatif atau ada dokumen yang merinci 180 meridian harus unik? Rekan kerja ini tidak menerima demonstrasi matematika, oleh karena itu koordinat bola ke sistem koordinat persegi panjang tidak akan menjadi referensi yang valid untuk orang ini.

Mungkin koordinat kotak pembatas untuk WGS84 bisa berfungsi sebagai bukti? Atau Anda bisa mencari artikel ilmiah seputar pembuatan / generasi / adopsi WGS84 sebagai standar.

Pada dasarnya, 180 timur dan barat adalah sama. Dengan kata lain, [45.180] adalah lokasi yang sama persis dengan [45.180].

Dalam basis data geografis, ini memiliki beberapa konsekuensi praktis yang seharusnya memandu proses validasi Anda.

Jika Anda mempertimbangkan poin, seandainya bersifat adimensional, Anda akan mengharapkan peninggalan antara koordinat dan lokasi di Ellipsoid. Karena itu, Anda perlu menghindari ambiguitas jika Anda berada di antimeridian meridian Prime Anda. Dalam hal ini, menggunakan (-180.180) merupakan praktik terbaik.

Jika Anda mempertimbangkan fitur geometris lainnya (misalnya garis atau poligon), Anda berada dalam masalah ketika Anda melintasi garis waktu (seperti penduduk Fiji). Aturan ini kemudian ditentukan oleh format data. Misalnya, spesifikasi GeoJSON sangat menyarankan bahwa semua fitur geometrik harus dibagi. Dalam hal ini, Anda perlu koordinat duplikat (-180 dan 180) di split untuk kelanjutan fitur Anda (pikirkan topologi jalan di Fiji).

Untuk penyimpanan raster (gambar), koordinat piksel adalah kiri atas atau tengah, tetapi piksel tidak seperti titik tanpa dimensi. Untuk kisi yang lengkap dan tidak tumpang tindih, Anda perlu ukuran piksel menjadi fraksi bilangan bulat 360 °. Dengan koordinat kiri atas, koordinat piksel valid Anda idealnya [-180.180) untuk menghindari tumpang tindih. Memang, jika piksel kiri atas Anda berada di 180 °, maka piksel terakhir Anda akan berada di sisi lain dari meridian ke-180. Di sisi lain, menggunakan [-180.180) untuk koordinat piksel dan ukuran piksel yang sesuai memberi Anda jangkauan [-180.180]. Dengan koordinat pusat, ini lebih rumit. Jika Anda mengatur kondisi (yaitu [-180.180)) pada koordinat piksel, maka jangkauan Anda di luar batas (yaitu [-180-pixel_size / 2,180-pixel_size / 2)). Selain itu, Anda dapat memperbaiki [-180.180] untuk tingkat,