Ini ialah apl Linux bernama Cpt Kirk untuk dijalankan di Linux dalam talian yang keluaran terbarunya boleh dimuat turun sebagai kirk.jar. Ia boleh dijalankan dalam talian dalam penyedia pengehosan percuma OnWorks untuk stesen kerja.
Muat turun dan jalankan dalam talian apl bernama Cpt Kirk ini untuk dijalankan di Linux dalam talian dengan OnWorks secara percuma.
Ikut arahan ini untuk menjalankan apl ini:
- 1. Memuat turun aplikasi ini dalam PC anda.
- 2. Masukkan dalam pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXXX dengan nama pengguna yang anda mahukan.
- 3. Muat naik aplikasi ini dalam pengurus filem tersebut.
- 4. Mulakan OnWorks Linux dalam talian atau emulator dalam talian Windows atau emulator dalam talian MACOS dari tapak web ini.
- 5. Daripada OS Linux OnWorks yang baru anda mulakan, pergi ke pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXX dengan nama pengguna yang anda mahukan.
- 6. Muat turun aplikasi, pasang dan jalankan.
Cpt Kirk untuk dijalankan dalam Linux dalam talian
Ad
DESCRIPTION
Oleh kerana kaedah yang dicadangkan dalam https://www.researchgate.net/publication/262599199_Unifying_Provenance_and_Debugging_for_Answer-Set_Programs?ev=prf_pubadalah berdasarkan pengaturcaraan meta, adalah mungkin untuk menggunakan sistem perisian terkini yang sedia ada
yang menyokong semantik yang berasas dan set jawapan, yang membolehkan kami mula membangunkan alat baharu ini dengan melanjutkan alat yang wujud berkaitan dengan pendekatan penyahpepijatan: Spock, maka dinamakan Cpt. Kirk.
Tambahan pula dan yang lebih penting, satu hala tuju untuk diterokai ialah menggunakan teknik reifikasi seperti yang diterangkan dalam "metaASP" untuk mendapatkan implikasi melalui teknik tepu, dan mendapatkan implikasi utama formula asal melalui pengoptimuman dan justifikasi minimum yang betul.
Ciri-ciri
- Kira model asal tidak mengapa untuk program Set Jawapan.
- Petakan model WnP dengan model penyahpepijatan (spock).
Penonton
Sains/Penyelidikan
Bahasa Pengaturcaraan
Java
Ini adalah aplikasi yang juga boleh diambil dari https://sourceforge.net/projects/cptkirk/. Ia telah dihoskan dalam OnWorks untuk dijalankan dalam talian dengan cara yang paling mudah daripada salah satu Sistem Operasi percuma kami.
