Formalization คืออะไร? วิธี formalization แนวคิดสาระสำคัญขั้นตอนผลตัวอย่างประเภทของ formalization

วันนี้มากมักจะคุณสามารถพบมากของคำแปลก "formalization" และในสาขาต่างๆของวิทยาศาสตร์และเทคโนโลยี สำหรับผู้ที่ต้องการที่จะขยายขอบเขตของความรู้ของพวกเขาก็จะแนะนำให้เข้าใจว่า formalization นี้ บทความนี้จะได้รับการพิจารณาสาระสำคัญของคำและการใช้งานจริงของกระบวนการ

formalization ของจุดทางวิทยาศาสตร์ของมุมมองในความหมายทั่วไปคืออะไร?

สัมผัสเล็ก ๆ น้อย ๆ ในด้านวิทยาศาสตร์ ขอเริ่มต้นจากความจริงที่ว่าเป็นคำที่มาจากทางการของคำว่า "อย่างเป็นทางการ" คือมันเป็นเงื่อนไขและบางครั้งก็เป็นแนวคิดที่เป็นนามธรรมที่ช่วยให้การอธิบายลักษณะของวัตถุที่ไม่มีอยู่จริงหรือปรากฏการณ์และในการทำนายคุณสมบัติของมันในสภาพแวดล้อมโดยเฉพาะอย่างยิ่งกับเงื่อนไขเริ่มต้นที่กำหนด

ภาษาศาสตร์ภาษาสมัยใหม่ที่ไม่ตรงกับการแสดงออกของตรรกะแบบหรือลักษณะของการคิด ดังนั้นตรรกะของตัวเองถูกบังคับให้ใช้แนวคิดที่เป็นนามธรรมบางอย่างเพื่ออธิบายปรากฏการณ์บางอย่าง และมีแนวคิดที่ญาติของสิ่งที่เกิดขึ้นอย่างเป็นทางการ

ขณะที่คาดเดาได้อยู่แล้วว่าสาระสำคัญของ formalization มาลงเพื่อที่จะอธิบายหรือกำหนดล่วงหน้าคุณสมบัติบางอย่างของวัตถุหรือกระบวนการ (ไม่ได้อยู่ในขณะนี้) และคาดการณ์การใช้งานในกรณีที่เกิดขึ้นในโลกแห่งความจริง แต่นี่เป็นความคิดทั่วไป ความคิดที่ดีของทางการเป็นที่กว้างมาก จะเริ่มต้นด้วยการมุ่งเน้นเกี่ยวกับเทคโนโลยีคอมพิวเตอร์พิจารณาว่าในโลกของอิเล็กทรอนิกส์ระยะนี้ถูกนำมาใช้

formalization คอมพิวเตอร์

ถ้าเรื่องที่ส่งผลกระทบต่อคอมพิวเตอร์วิธี formalization ประเภทนี้จะได้รับค่อนข้างเงื่อนไขการรักษาครั้งแรกซึ่งจะช่วยให้มีระดับสูงพอสมควรของความถูกต้องในการกำหนดพฤติกรรมที่ตามมาของวัตถุหรือกระบวนการ

ตามหลักการนี้ใช้งานได้จริงทุกบริการสภาพอากาศ มีแบบจำลองคอมพิวเตอร์สามารถทำนายพายุไซโคลนวงจรไฟฟ้าและเหนือพื้นดินหรือเหนือน้ำ

โปรดจำไว้ว่าภาพยนตร์เรื่อง "วันมะรืนนี้" ซึ่งนักวิทยาศาสตร์คาดการณ์ภาวะโลกร้อนดำเนินการจากเทคนิคนี้ แบบจำลองคอมพิวเตอร์ของเขาได้รับการพัฒนาที่ได้รับอนุญาตในระดับหนึ่งของความน่าจะเป็นที่จะคาดการณ์เหตุการณ์ในอนาคต

ตัวอย่างเหล่านี้พร้อมที่จะอธิบายว่า formalization นี้

วัตถุและกระบวนการหลักการสร้างแบบจำลอง

วิธีการหลักของ formalization - พยากรณ์และการสร้างแบบจำลอง สมัครเทคโนโลยีดังกล่าวเฉพาะสำหรับข้อมูลขั้นสุดท้ายเกี่ยวกับวัตถุหรือกระบวนการที่ไม่เป็นที่รู้จัก แต่ก็สามารถสันนิษฐานที่มีนับมีความแม่นยำสูง

ถ้าคุณดูที่ formalization ของสายพันธุ์เกือบทั้งหมดของพวกเขาถูกคุมขังในข้อสรุปเชิงตรรกะและการคำนวณ ผู้อ่านจะไม่ยากที่จะวาดขนานระหว่างการสร้างแบบจำลองคอมพิวเตอร์ทฤษฎีหลักฐานและอื่น ๆ . อีบนพื้นฐานของหลักการและสมมุติฐาน

ดูสำหรับเดียวกัน ทฤษฎีของ Einstein ของความสัมพันธ์ ก็อาจจะตีความเป็นทางการของวิธีการเพราะในทางปฏิบัติการตรวจสอบหลักฐานที่เป็นไปไม่ได้ โดยเฉพาะอย่างยิ่งนี้นำไปใช้กับค่าคงที่ขยายพันธุ์แสงเวลาชะลอตัวเพื่อให้บรรลุเกณฑ์การเพิ่มน้ำหนักแรงโน้มถ่วงของวัตถุและความโค้งของอวกาศ มือขณะที่พวกเขาบอกว่ามันไม่ได้รู้สึกและดวงตาไม่สามารถมองเห็น

กาลครั้งหนึ่งมันก็เป็นเพียงนักวิทยาศาสตร์เหตุผลกล้าหาญบนพื้นฐานของการทดลองง่ายๆ วันนี้ทั้งหมดนี้ได้รับการยืนยันอย่างเป็นทางการโดยวิทยาศาสตร์บนพื้นฐานของการจำลองคอมพิวเตอร์เครื่องเดียวกัน

ขั้นตอนของการ formalization

ถ้าเราพิจารณาระบบคอมพิวเตอร์ขั้นตอนแรกในการมอบคำอธิบายกระบวนการ แต่ก็ไม่ได้ใช้เครื่องมือตามปกติของภาษา (ตัวอักษรคำวลีประโยค) สร้างเฉพาะ แบบจำลองทางคณิตศาสตร์ จะเป็นไปได้โดยใช้ขั้นตอนวิธีการบางอย่างขึ้นอยู่กับการเขียนโปรแกรมภาษาที่เลือก แต่หลังจากคำสั่งของปัญหาทั่วไป

ในคำอื่น ๆ ในการสร้างแบบจำลองพฤติกรรมของวัตถุหรือกระบวนการสาระสำคัญกรณีที่คุณจำเป็นต้องอธิบายสัญลักษณ์ทางคณิตศาสตร์อย่างหมดจดโดยใช้วิธีการทางคณิตศาสตร์

ผลที่ได้คือจะได้รับการวิเคราะห์ทางการที่เกิดขึ้นจริงที่คาดการณ์เหตุการณ์ที่เกิดขึ้นตามหลังการเทคโนโลยีการตรวจสอบจะถูกนำมาใช้ในทางปฏิบัติหรือกระบวนการทางธรรมชาติบางอย่างเข้าสู่การดำรงอยู่ที่แท้จริงของขั้นตอน

ต่อไปนี้เป็นแนวความคิดของปัญหา มีสองสายพันธุ์คือในกรณีแรกมันเป็นวิธีการเฉพาะในรูปแบบของการใช้คุณลักษณะและลักษณะ; ตัวเลือกที่สองเกี่ยวข้องกับการใช้การวิเคราะห์องค์ความรู้ไม่ต้องพูดถึงการกำหนดของปัญหาคอลเลกชันแรกของข้อมูลที่ใช้เงื่อนไขและอื่น ๆ d.

ต่อไปนี้คำจำกัดความและเงื่อนไขเริ่มต้นการศึกษาสัมพันธ์ที่มีอยู่ระหว่างวัตถุและกระบวนการเช่นเดียวกับสิ่งที่เรียกว่าความสัมพันธ์ของความหมายหมายความใช้เทคนิคการแสดงท้องถิ่น

นี้จะตามด้วยการประมวลผลข้อมูลเบื้องต้นขึ้นอยู่กับขั้นตอนวิธีการเลือกและจากนั้นส่งกลับผลที่ได้แสดงให้เห็นร้อยละของข้อผิดพลาด มักจะไม่เกิน 5% และในกรณีส่วนใหญ่ผลของความน่าจะถึง 99% บุคคลใดหรือเครื่องจะยังคงปล่อยให้ "ขอบปลอดภัย" สำหรับ สถานการณ์ที่ไม่คาดคิด เพราะทุกอย่างไม่สามารถจะนำเข้าบัญชี

เป็นเพราะเหตุใดทั้งหมดนี้จำเป็น?

หากคุณเข้าใจหลักการเหล่านี้ช่วยให้การวิเคราะห์พฤติกรรมของวัตถุและกระบวนการ ในคำอื่น ๆ ก็เป็นไปได้ที่จะคาดการณ์ที่จะมีการพัฒนากระบวนการโดยเฉพาะอย่างยิ่ง

ตอนนี้มันเป็นที่ชัดเจนว่า formalization ดังกล่าว ลองดูตัวอย่างง่ายๆ

แอพลิเคชัน formalization ในทางปฏิบัติตัวอย่างง่าย

สมมติว่าผู้เชี่ยวชาญบางคนได้มีการพัฒนาออกแบบเครื่องบินใหม่ ได้รับค่าใช้จ่ายสูงของโครงการที่จะสร้างรูปแบบของขนาดเดิมโดยไม่ต้องคาดการณ์ล่วงหน้าจากพฤติกรรมของมันอยู่ในอากาศมันไม่เหมาะสมอย่างสิ้นเชิงสำหรับงาน นอกจากนี้ยังมีการทดสอบในอุโมงค์ลมเครื่องบินเดียวกันขนาดของโบอิ้งเป็นงานเป็นไปไม่ได้อย่างแน่นอน

จะช่วยให้การ formalization ของลักษณะที่กำหนดไว้ของอากาศยานในอนาคต (ความต้านทานอากาศลมด้านความสูงและพารามิเตอร์อุโมงค์ลมและลักษณะอื่น ๆ ) รุ่นเครื่องบินที่บินได้โดยไม่ต้องเป็นรูปแบบที่สร้างขึ้น

อีกตัวอย่างหนึ่งคือการทดสอบเครื่องใหม่ที่จัดขึ้นใน บริษัท ยานยนต์ วิธีการขั้นพื้นฐานของทางการในกรณีนี้อยู่ในความจริงที่ว่าที่แรกที่พวกเขาจัดทดสอบเสมือนจริงและหลังจากที่ได้รับผลบวกของตัวอย่างทดสอบจะถูกเรียกใช้ในการผลิตเพื่อทดสอบในสภาพจริง

ผลหลัก

ผลมาจากการสร้างแบบจำลองทางคณิตศาสตร์ในหลาย ๆ (ถ้าไม่ได้ร้อยเปอร์เซ็นต์แล้วมีโอกาส 95%) อาจจะเป็นข้อโต้แย้งที่มีประสิทธิภาพในความโปรดปรานของการผลิตของเทคโนโลยีที่ทันสมัยที่จะช่วยให้การคาดการณ์สภาพอากาศแม้คาดการณ์พฤติกรรมทางสังคมเป็นปฏิกิริยาที่เหตุการณ์ที่เกิดขึ้นในโลก

ใช่! การก่อตัวของความคิดเห็นของประชาชนในโลกมากเกินไปอยู่ภายใต้กฎหมายของตัวเอง พอที่จะมีอิทธิพลต่อเขาในทิศทาง nuzhnoi วันนี้มันสร้างโปรแกรมจำนวนมากที่จะทำนายปฏิกิริยาของประชาชนกับเหตุการณ์นี้หรือว่า และนี้ไม่ได้ทุกกรณี formalization ถ้าเราขุดลึกที่เราเผชิญปัญหาเดียวกันทุกวัน

หนึ่งในตัวอย่างที่โดดเด่นที่สุดอาจได้กล่าวถึง formalization และการตรวจสอบ ฮิกส์ ในการชนของอนุภาคมูลฐานใน Collider Hadron ขนาดใหญ่ แต่ก่อนหน้านี้ก็เชื่อว่าการดำรงอยู่ของอนุภาคนี้ - ทฤษฎีบริสุทธิ์และมันก็เป็นประสบการณ์จริงของโลกอย่างไม่แสดงให้เห็น

ข้อสรุป

ที่เราเห็นความคิดของทางการในทั้งๆที่มีความซับซ้อนของสาระสำคัญทางวิทยาศาสตร์ของกระบวนการที่มันเป็นเรื่องง่ายที่จะเข้าใจตัวอย่าง ในกรณีส่วนใหญ่มันลงมาเพื่อใช้โซ่ตรรกะบางผลที่กำหนดล่วงหน้า