Đây là ứng dụng Linux có tên Cpt Kirk để chạy trong Linux trực tuyến có bản phát hành mới nhất có thể được tải xuống dưới dạng kirk.jar. Nó có thể được chạy trực tuyến trong nhà cung cấp dịch vụ lưu trữ miễn phí OnWorks cho máy trạm.
Tải xuống và chạy trực tuyến ứng dụng có tên Cpt Kirk này để chạy trong Linux trực tuyến với OnWorks miễn phí.
Làm theo các hướng dẫn sau để chạy ứng dụng này:
- 1. Đã tải ứng dụng này xuống PC của bạn.
- 2. Nhập vào trình quản lý tệp của chúng tôi https://www.onworks.net/myfiles.php?username=XXXXX với tên người dùng mà bạn muốn.
- 3. Tải lên ứng dụng này trong trình quản lý tệp như vậy.
- 4. Khởi động trình giả lập trực tuyến OnWorks Linux hoặc trình giả lập trực tuyến Windows hoặc trình mô phỏng trực tuyến MACOS từ trang web này.
- 5. Từ Hệ điều hành OnWorks Linux mà bạn vừa khởi động, hãy truy cập trình quản lý tệp của chúng tôi https://www.onworks.net/myfiles.php?username=XXXXX với tên người dùng mà bạn muốn.
- 6. Tải xuống ứng dụng, cài đặt và chạy nó.
Cpt Kirk để chạy trong Linux trực tuyến
Ad
MÔ TẢ
Kể từ khi phương pháp được đề xuất trong https://www.researchgate.net/publication/262599199_Unifying_Provenance_and_Debugging_for_Answer-Set_Programs?ev=prf_pubdựa trên lập trình meta, có thể sử dụng hệ thống phần mềm hiện đại
hỗ trợ ngữ nghĩa được thiết lập và trả lời có cơ sở, cho phép chúng tôi bắt đầu phát triển công cụ mới này bằng cách mở rộng công cụ tồn tại liên quan đến cách tiếp cận gỡ lỗi: Spock, do đó có tên là Cpt. Kirk.
Hơn nữa và quan trọng hơn, một hướng để khám phá là sử dụng kỹ thuật cải tiến như được mô tả trong "metaASP" để thu được hàm ý thông qua kỹ thuật bão hòa và thu được hàm ý chính của các công thức xuất xứ bằng cách tối ưu hóa và do đó có những biện minh tối thiểu phù hợp.
Tính năng
- Tính toán các mô hình xuất xứ tại sao-không cho các chương trình Bộ Trả lời.
- Ánh xạ các mô hình WnP với các mô hình gỡ lỗi (ghép nối).
Khán giả
Nghiên cứu khoa học
Ngôn ngữ lập trình
Java
Đây là một ứng dụng cũng có thể được tìm nạp từ https://sourceforge.net/projects/cptkirk/. Nó đã được lưu trữ trên OnWorks để có thể chạy trực tuyến một cách dễ dàng nhất từ một trong những Hệ thống hoạt động miễn phí của chúng tôi.