นี่คือแอป Linux ชื่อ Cpt Kirk เพื่อทำงานใน Linux ออนไลน์ ซึ่งสามารถดาวน์โหลดรีลีสล่าสุดเป็น kirk.jar สามารถเรียกใช้ออนไลน์ใน OnWorks ผู้ให้บริการโฮสต์ฟรีสำหรับเวิร์กสเตชัน
ดาวน์โหลดและเรียกใช้แอปนี้ทางออนไลน์ที่ชื่อว่า Cpt Kirk เพื่อทำงานใน Linux ออนไลน์ด้วย OnWorks ฟรี
ทำตามคำแนะนำเหล่านี้เพื่อเรียกใช้แอปนี้:
- 1. ดาวน์โหลดแอปพลิเคชั่นนี้ในพีซีของคุณ
- 2. เข้าไปที่ file manager https://www.onworks.net/myfiles.php?username=XXXXX ด้วยชื่อผู้ใช้ที่คุณต้องการ
- 3. อัปโหลดแอปพลิเคชันนี้ในตัวจัดการไฟล์ดังกล่าว
- 4. เริ่มโปรแกรมจำลองออนไลน์ของ OnWorks Linux หรือ Windows ออนไลน์ หรือโปรแกรมจำลองออนไลน์ MACOS จากเว็บไซต์นี้
- 5. จาก OnWorks Linux OS คุณเพิ่งเริ่มต้น ไปที่ตัวจัดการไฟล์ของเรา https://www.onworks.net/myfiles.php?username=XXXXX พร้อมชื่อผู้ใช้ที่คุณต้องการ
- 6. ดาวน์โหลดแอปพลิเคชั่น ติดตั้ง และเรียกใช้
Cpt Kirk เพื่อทำงานใน Linux ออนไลน์
รายละเอียด:
เนื่องจากวิธีการที่เสนอใน https://www.researchgate.net/publication/262599199_Unifying_Provenance_and_Debugging_for_Answer-Set_Programs?ev=prf_pubขึ้นอยู่กับการเขียนโปรแกรม meta มันเป็นไปได้ที่จะใช้ระบบซอฟต์แวร์ที่ทันสมัยที่มีอยู่
ที่รองรับความหมายที่มีรากฐานที่ดีและกำหนดคำตอบ ซึ่งทำให้เราสามารถเริ่มพัฒนาเครื่องมือใหม่นี้โดยขยายเครื่องมือที่มีอยู่ซึ่งเกี่ยวข้องกับแนวทางการแก้ไขข้อบกพร่อง: Spock จึงเป็นที่มาของชื่อ Cpt เคิร์ก.
ยิ่งไปกว่านั้น และที่สำคัญกว่านั้น ทิศทางหนึ่งที่ต้องสำรวจคือการใช้เทคนิคของการปรับสภาพใหม่ตามที่อธิบายไว้ใน "metaASP" เพื่อให้ได้นัยสำคัญผ่านเทคนิคการอิ่มตัว และได้ผลลัพธ์ที่สำคัญของสูตรที่มาโดยการทำให้เหมาะสมที่สุด และด้วยเหตุนี้จึงให้เหตุผลที่เหมาะสมน้อยที่สุด
คุณสมบัติ
- คำนวณแบบจำลองที่มาของเหตุใดโปรแกรมชุดคำตอบ
- แมปโมเดล WnP กับโมเดลการดีบัก (สป็อค)
ผู้ชม
วิทยาศาสตร์/การวิจัย
ภาษาโปรแกรม
ชวา
นี่คือแอปพลิเคชันที่สามารถดึงข้อมูลจาก https://sourceforge.net/projects/cptkirk/ มีการโฮสต์ใน OnWorks เพื่อให้ทำงานออนไลน์ในวิธีที่ง่ายที่สุดจากหนึ่งในระบบปฏิบัติการฟรีของเรา