Việc chính thức là gì? Phương pháp chính thức hoá. Khái niệm, bản chất, giai đoạn, kết quả, ví dụ, các loại thức hoá

Ngày nay, rất thường xuyên, bạn có thể gặp rất nhiều kỳ lạ Thuật ngữ "chính thức hóa", và trong các lĩnh vực khác nhau của khoa học và công nghệ. Đối với những người muốn mở rộng những chân trời kiến thức của mình, chúng ta nên hiểu rằng việc chính thức này. bài viết sẽ được xem xét bản chất của thuật ngữ và các ứng dụng thực tế của quá trình.

việc chính thức của một quan điểm khoa học trong một cảm giác chung là gì?

Một liên lạc nhỏ trên khía cạnh khoa học. Hãy bắt đầu từ thực tế là từ có nguồn gốc từ việc chính thức của từ "chính thức", tức là nó có điều kiện, và đôi khi thậm chí là một khái niệm trừu tượng cho phép để giải thích bản chất của một đối tượng không tồn tại hoặc hiện tượng và để dự đoán tính chất của nó trong một môi trường cụ thể với điều kiện ban đầu nhất định.

Ngôn ngữ học bất kỳ ngôn ngữ hiện đại không trùng với sự biểu hiện của hình thức logic hoặc bản chất của suy nghĩ. Như vậy, logic riêng của mình buộc phải sử dụng một số khái niệm trừu tượng để mô tả một hiện tượng nhất định. Và có một khái niệm tương đối về những gì đang xảy ra thủ tục.

Như đã đoán nó, bản chất của việc chính thức đi xuống đến, để mô tả hoặc định trước tính chất nhất định của đối tượng hoặc quá trình (thậm chí không tồn tại ở thời điểm hiện tại) và để dự đoán việc sử dụng nó trong trường hợp xảy ra trong thế giới thực. Nhưng đây là ý tưởng chung. Khái niệm rất của việc chính thức là rộng hơn nhiều. Để bắt đầu tập trung vào công nghệ máy tính, hãy xem xét như thế nào trong thế giới của thiết bị điện tử, thuật ngữ này được sử dụng.

chính thức hóa máy tính

Nếu vấn đề này ảnh hưởng đến phương pháp máy tính chính thức hoá thuộc loại này được thay cho điều kiện điều trị ban đầu, cho phép một mức độ đủ cao độ chính xác để xác định các hành vi tiếp theo của đối tượng hoặc quá trình.

Theo nguyên tắc này hoạt động thực tế tất cả dịch vụ thời tiết. Có mô hình máy tính cơn bão có thể dự đoán chu kỳ sức mạnh của nó và không tiếp đất hoặc nước.

Hãy nhớ rằng các bộ phim "The Day After Tomorrow", trong đó các nhà khoa học dự đoán sự ấm lên toàn cầu, tiến hành kỹ thuật này. mô hình máy tính của mình được phát triển cho phép một mức độ nhất định xác suất để dự đoán các sự kiện trong tương lai.

Những ví dụ này có sẵn để giải thích rằng việc chính thức này.

đối tượng và các quá trình nguyên tắc xây dựng mô hình

Các phương pháp chính của việc chính thức - một dự báo và mô hình hóa. Áp dụng công nghệ như dành riêng cho dữ liệu cuối cùng về các đối tượng hoặc các quá trình không được biết đến, nhưng nó có thể được giả với số lượng chính xác cao.

Nếu bạn nhìn vào việc chính thức của các loài, hầu hết trong số họ chỉ giới hạn đến những kết luận logic và tính toán. Người đọc sẽ không khó khăn để vẽ một đường song song giữa các mô hình máy tính, lý thuyết chứng minh, và vân vân. E. Trên cơ sở các tiên đề và định đề.

Hãy nhìn xem, cho cùng một lý thuyết tương đối của Einstein cũng có thể được hiểu như là một hình thức hoá của phương pháp này, bởi vì trong thực tế, kiểm tra các giấy tờ chứng minh là không thể. Đặc biệt này áp dụng đối với các hằng số truyền ánh sáng, thời gian giảm tốc để đạt ngưỡng, tăng trọng lượng hấp dẫn của đối tượng và độ cong của không gian. Tay, như họ nói, nó không cảm nhận và con mắt không thể nhìn thấy.

Ngày xửa ngày xưa nó chỉ là nhà khoa học lập luận dũng cảm trên cơ sở thí nghiệm đơn giản. Hôm nay, tất cả điều này được xác nhận bởi khoa học chính thức trên cơ sở mô phỏng một máy tính.

giai đoạn của việc chính thức

Nếu chúng ta xem xét các hệ thống máy tính, bước đầu tiên trong chính thức hóa một mô tả quá trình. Nhưng nó không sử dụng các công cụ thông thường của ngôn ngữ (chữ cái, từ, cụm từ, câu). Tạo một cụ mô hình toán học có thể chỉ bằng cách sử dụng một thuật toán nhất định dựa trên ngôn ngữ lập trình được lựa chọn, nhưng chỉ sau khi báo cáo kết quả của vấn đề chung.

Nói cách khác, trong mô hình hóa các hành vi của một đối tượng hoặc sự kiện quá trình cốt lõi bạn cần để mô tả những biểu tượng thuần túy toán học, sử dụng một thuật toán toán học.

Kết quả là để có được một chính thức hoá sự kiện dự đoán phân tích thực tế mà theo sau công nghệ điều tra sẽ được sử dụng trong thực tế hoặc quá trình tự nhiên nhất định vào sự tồn tại thực sự của bước.

Sau đây là khái niệm của vấn đề. Có hai phiên bản: trong trường hợp đầu tiên nó là một phương pháp cụ thể trong các hình thức của việc sử dụng các thuộc tính và đặc điểm; Lựa chọn thứ hai liên quan đến việc sử dụng một phân tích nhận thức, chưa kể đến việc xây dựng các vấn đề, bộ sưu tập ban đầu của dữ liệu được sử dụng, điều kiện, và vân vân. d.

Sau khi định nghĩa và điều kiện ban đầu nghiên cứu mối quan hệ hiện có giữa các đối tượng và các quá trình, cũng như cái gọi là mối quan hệ ngữ nghĩa, ngụ ý việc sử dụng các kỹ thuật đại diện địa phương.

Tiếp theo là xử lý dữ liệu ban đầu dựa trên các thuật toán được lựa chọn, và sau đó trả về kết quả cho thấy tỷ lệ lỗi. Thông thường nó không vượt quá 5%, và trong hầu hết các trường hợp, các kết quả của xác suất đạt 99%. Bất kỳ người nào hoặc máy vẫn sẽ rời khỏi "biên độ an toàn" cho tình huống không lường trước được, bởi vì tất cả mọi thứ có thể không được đưa vào tính toán.

Tại sao tất cả điều này là cần thiết?

Nếu bạn hiểu được những nguyên tắc này cho phép phân tích các hành vi của các đối tượng và quy trình. Nói cách khác, người ta có thể dự đoán ai sẽ phát triển một quy trình cụ thể.

Nó bây giờ đã rõ ràng rằng việc chính thức như vậy. Hãy xem xét một ví dụ đơn giản.

Ứng dụng chính thức hoá trong thực tế, các ví dụ đơn giản nhất

Hãy nói rằng, một số chuyên gia đã phát triển một thiết kế máy bay mới. Với chi phí cao của dự án để xây dựng một mô hình kích thước ban đầu mà không dự báo trước về hành vi của mình trong không khí nó là hoàn toàn không phù hợp cho công việc. Hơn nữa, các bài kiểm tra trong cùng một máy bay đường hầm gió kích thước của một chiếc Boeing là nhiệm vụ hoàn toàn bất khả thi.

Nó cho phép chính thức hóa các đặc điểm định trước của máy bay trong tương lai (sức cản không khí, gió bên, chiều cao, và hầu hết các thông số đường hầm gió và các đặc điểm khác) mô hình máy bay bay mà không có một mô hình xây dựng.

Một ví dụ khác là việc thử nghiệm của máy mới, các công ty ô tô được tổ chức. Các phương pháp cơ bản của việc chính thức, trong trường hợp này nằm trong thực tế rằng lúc đầu họ đã tổ chức một thử nghiệm ảo, và sau khi nhận được kết quả tích cực của các mẫu thử nghiệm đang chạy trong sản xuất để thử nghiệm trong điều kiện thực tế.

Các kết quả chính

Kết quả của mô hình toán học trong nhiều (nếu không phải là một trăm phần trăm, sau đó với xác suất 95%) có thể là một cuộc tranh luận mạnh mẽ ủng hộ việc sản xuất công nghệ hiện đại, sẽ giúp dự đoán thời tiết thậm chí dự đoán hành vi xã hội như một phản ứng đối với các sự kiện trên thế giới.

Vâng, vâng! Hình thành dư luận xã hội trên thế giới cũng vậy, phản ánh pháp luật riêng của mình. Đủ để ảnh hưởng đến anh ấy theo hướng nuzhnoi. Ngày nay, nó tạo ra rất nhiều chương trình để dự đoán phản ứng nào để này hay cái kia sự kiện. Và đây không phải là tất cả các trường của việc chính thức. Nếu chúng ta đào sâu hơn, chúng ta phải đối mặt với cùng một vấn đề mỗi ngày.

Một trong những ví dụ nổi bật nhất có thể kể đến chính thức hóa và phát hiện Higgs trong va chạm của các hạt cơ bản trong máy gia tốc hadron lớn. Nhưng trước đó người ta tin rằng sự tồn tại của hạt này - lý thuyết thuần túy, và nó là hoàn toàn không thể chứng minh kinh nghiệm thực tế.

phần kết luận

Như chúng ta thấy, khái niệm của việc chính thức, mặc dù mức độ phức tạp của bản chất khoa học của quá trình này, nó rất dễ dàng để hiểu các ví dụ. Trong hầu hết các trường hợp nó đi xuống đến sử dụng một số chuỗi logic, định trước kết quả.