อ่าน 1 นาที
ฟอร์ม (ระบบการจัดการเชิงสัญลักษณ์)
FORMเป็นระบบจัดการเชิงสัญลักษณ์ โดยจะอ่านไฟล์ข้อความที่มีคำจำกัดความของนิพจน์ทางคณิตศาสตร์ รวมถึงคำสั่งที่บอกวิธีการจัดการนิพจน์เหล่านี้ ผู้เขียนดั้งเดิมคือJos...
ฟอร์ม (ระบบการจัดการเชิงสัญลักษณ์)
| รูปร่าง | |
|---|---|
| นักพัฒนา | โจส เวอร์มาเซเรนและคณะ |
| ปล่อย | 1989 |
| เวอร์ชันเสถียร | 4.3.1 |
| เขียนเป็น | ซี |
| ระบบปฏิบัติการ | ลินุกซ์ , แมคโอเอสเอ็กซ์ , วินโดวส์ |
| พิมพ์ | ซอฟต์แวร์คณิตศาสตร์ |
| ใบอนุญาต | จีพีแอลวี3 |
| เว็บไซต์ | www.nikhef.nl/~form/ |
| ที่เก็บข้อมูล | github.com/vermaseren/form |
FORMเป็นระบบจัดการเชิงสัญลักษณ์ โดยจะอ่านไฟล์ข้อความที่มีคำจำกัดความของนิพจน์ทางคณิตศาสตร์ รวมถึงคำสั่งที่บอกวิธีการจัดการนิพจน์เหล่านี้ ผู้เขียนดั้งเดิมคือJos VermaserenจากNikhefสถาบันฟิสิกส์อนุภาคย่อยของเนเธอร์แลนด์ FORM ใช้กันอย่างแพร่หลายในชุมชนฟิสิกส์อนุภาคเชิงทฤษฎี แต่ไม่ได้จำกัดเฉพาะการใช้งานในสาขานี้เท่านั้น[ 1 ]
คุณสมบัติ
- นิยามของนิพจน์ทางคณิตศาสตร์ที่ประกอบด้วยวัตถุต่างๆ (สัญลักษณ์ ฟังก์ชัน ดัชนี ฯลฯ) พร้อมด้วยการดำเนินการทางคณิตศาสตร์พื้นฐาน
- นิพจน์ทางคณิตศาสตร์ที่มีความยาวไม่จำกัด (จำกัดเฉพาะพื้นที่ดิสก์)
- การประมวลผลแบบมัลติเธรด เวอร์ชันแบบขนานสำหรับคลัสเตอร์คอมพิวเตอร์
- การจับคู่และแทนที่รูปแบบที่มีประสิทธิภาพ
- การคำนวณร่องรอยอย่างรวดเร็ว โดยเฉพาะเมทริกซ์แกมมา
- ฟังก์ชันทางคณิตศาสตร์ในตัว
- ส่งออกผลลัพธ์ในรูปแบบต่างๆ (ข้อความธรรมดา, โค้ด Fortran , โค้ด Mathematica )
- การสื่อสารภายนอกกับโปรแกรมซอฟต์แวร์อื่นๆ
ตัวอย่างการใช้งาน
ไฟล์ข้อความที่มี
สัญลักษณ์ x,y; โลคอล myexpr = (x+y)^3; Id y = x; พิมพ์; .จบ
จะสั่งให้FORMสร้างนิพจน์ชื่อmyexprแทนที่สัญลักษณ์yด้วยxและพิมพ์ผลลัพธ์ลงบนหน้าจอ ผลลัพธ์จะแสดงดังนี้
มายเอ็กซ์พีอาร์ = 8*x^3;
ประวัติศาสตร์
FORMเริ่มต้นพัฒนาในปี 1984 โดยเป็นโปรแกรมต่อยอดจากSchoonschipซึ่งเป็นโปรแกรมคำนวณพีชคณิตที่พัฒนาโดย M. Veltmanเริ่มแรกเขียนด้วยภาษาFORTRAN 77แต่ได้เขียนใหม่เป็นภาษา Cก่อนที่จะออกเวอร์ชัน 1.0 ในปี 1989 เวอร์ชัน 2.0 ออกวางจำหน่ายในปี 1991 และเวอร์ชัน 3.0 ของFORMได้รับการเผยแพร่ในปี 2000 และเปิดให้ใช้งานแบบโอเพนซอร์สเมื่อวันที่ 27 สิงหาคม 2010 ภายใต้ใบอนุญาต GPL
การประยุกต์ใช้ในฟิสิกส์พลังงานสูงและสาขาอื่นๆ
- Mincer : ชุดซอฟต์แวร์ที่ใช้FORMในการคำนวณไดอะแกรมตัวแพร่แบบไร้มวลที่มีลูปได้สูงสุดถึงสามลูป
- FORMเป็นเครื่องมือสำคัญในการคำนวณฟังก์ชันเบตาQCD ลำดับ สูง
- โครงสร้างทางคณิตศาสตร์ของค่าซีตาหลายค่าได้รับการวิจัยด้วยโปรแกรมFORM เฉพาะ [ 2 ]
- โปรแกรม FormCalc ซึ่งใช้กันอย่างแพร่หลายในวงการฟิสิกส์เพื่อคำนวณแผนภาพ Feynman นั้นสร้างขึ้นบนพื้นฐานของFORM
ลิงก์ภายนอก
- เว็บไซต์อย่างเป็นทางการ
- คู่มือการใช้งานแบบฟอร์มออนไลน์
- เดเบียน — รายละเอียดของรูปแบบแพ็กเกจ
- แพ็คเกจลินุกซ์: ArchLinux , Debian , Gentoo , Ubuntu
- Hippel, Matt von (2022-12-01). "โปรแกรมคอมพิวเตอร์สำคัญสำหรับฟิสิกส์อนุภาคเสี่ยงต่อการล้าสมัย" . Quanta Magazine .
สรุปเนื้อหา
ข้อมูลสำคัญจากบทความ
ข้อมูลสำคัญเกี่ยวกับ ฟอร์ม (ระบบการจัดการเชิงสัญลักษณ์)
FORMเป็นระบบจัดการเชิงสัญลักษณ์ โดยจะอ่านไฟล์ข้อความที่มีคำจำกัดความของนิพจน์ทางคณิตศาสตร์ รวมถึงคำสั่งที่บอกวิธีการจัดการนิพจน์เหล่านี้ ผู้เขียนดั้งเดิมคือJos...
คุณสมบัติ
นิยามของนิพจน์ทางคณิตศาสตร์ที่ประกอบด้วยวัตถุต่างๆ (สัญลักษณ์ ฟังก์ชัน ดัชนี ฯลฯ
ประวัติศาสตร์
FORM เริ่มต้นพัฒนาในปี 1984 โดยเป็นโปรแกรมต่อยอดจาก Schoonschip ซึ่งเป็นโปรแกรมคำนวณพีชคณิตที่พัฒนาโดย M. Veltman เริ่มแรกเขียนด้วยภาษา FORTRAN 77 แต่ได้เขียนใหม่เป็น ภาษา C ก่อนที่จะออกเวอร์ชัน 1.0 ในปี 1989 เวอร์ชัน 2.0 ออกวางจำหน่ายในปี 1991 และเวอร์ชัน 3.
การประยุกต์ใช้ในฟิสิกส์พลังงานสูงและสาขาอื่นๆ
Mincer : ชุดซอฟต์แวร์ที่ใช้ FORM ในการคำนวณ ไดอะแกรมตัวแพร่แบบไร้มวล ที่มีลูปได้สูงสุดถึงสามลูป FORM เป็นเครื่องมือสำคัญในการคำนวณ ฟังก์ชันเบตา QCD ลำดับ สูง โครงสร้างทางคณิตศาสตร์ของ ค่าซีตาหลายค่า ได้รับการวิจัยด้วยโปรแกรม FORM เฉพาะ [ 2 ] โปรแกรม FormCalc...