کامپیوترها, فن آوری اطلاعات
رسمی سازی چیست؟ روش رسمی سازی مفهوم، ماهیت، مراحل، نتیجه، نمونه ها، انواع قالب بندی
امروزه اغلب امکان پذیر است بسیاری از اصطلاحات نامفهوم "رسمی سازی"، و در زمینه های مختلف علم و فناوری. کسانی که می خواهند افق های دانش خود را گسترش دهند، مطلوب است که بدانیم که رسمی سازی چیست. این مقاله ماهیت این اصطلاح و کاربرد عملی این روند را در نظر می گیرد.
از منظر علمی به چه معناست؟
ما یک جنبه علمی کمی را لمس می کنیم. بیایید از این واقعیت پیروی کنیم که فرمالیته کلمه از کلمه "formalism" حاصل می شود، یعنی یک شرطی و گاهی حتی یک مفهوم انتزاعی است که اجازه می دهد ماهیت یک شی یا پدیده غیر موجود و پیش بینی خواص آن را در یک محیط خاص تحت شرایط اولیه داده شود.
زبان شناسی هر زبان مدرن کاملا با بیان فرم های منطقی یا ماهیت تفکر مطابقت ندارد. بنابراین، منطق خود را مجبور به استفاده از مفاهیم انتزاعی خاص برای توصیف یک پدیده خاص است. بنابراین یک مفهوم نسبی از فرمالیته هایی که اتفاق می افتد وجود دارد.
همانطور که پیش می رود آسان است که حدس بزنیم ماهیت رسم سازی به توصیف یا پیش تعیین برخی از خواص یک شی یا فرآیند (حتی در حال حاضر موجود نیست) و پیش بینی کاربرد آن در صورت ظاهر شدن در دنیای واقعی کاهش می یابد. اما این یک ایده کلی است. مفهوم رسمی سازی بسیار وسیع تر است. برای شروع، بگذارید تمرکز بر تکنولوژی کامپیوتر، ببینیم چگونه این مفهوم در جهان الکترونیک استفاده می شود.
رسمی سازی کامپیوتر
اگر روی موضوع رایانه ها لمس کنید، روش رسم سازی این نوع از این روش پردازش شرایط اولیه است که به شما اجازه می دهد تا با دقت بالا، رفتار بیشتر یک شی یا فرآیند را تعیین کنید.
تقریبا تمام خدمات آب و هوا بر این اصل کار می کنند. داشتن مدل کامپیوتری یک سیکلون، امکان پیش بینی چرخه و قدرت آن را در بالای زمین و یا بیش از فضای آب فراهم می کند.
به یاد داشته باشید فیلم "روز بعد از فردا"، که در آن دانشمند پیش بینی گرمایش جهانی، دقیقا به این روش انجام می شود. او یک مدل کامپیوتری را توسعه داد که امکان پیش بینی شرایط خاصی را فراهم کرد.
این مثالها در دسترس هستند تا توضیح دهند که چه رسمی چیست.
اصول مدل سازی اشیاء و فرایندها
روش های اصلی رسم سازی پیش بینی و مدل سازی است. این فن آوری ها به طور انحصاری برای به دست آوردن اطلاعات نهایی در مورد اشیا یا فرایندهای شناخته شده استفاده می شود، اما می توان آنها را با دقت بالا محاسبه کرد و محاسبه کرد.
اگر به نوع رسمی شدن نگاه کنید، تقریبا همه آنها فقط به نتیجه گیری منطقی و محاسبات محدود می شوند. خواننده به راحتی می تواند موازی بین مدل سازی کامپیوتری، اثبات قضیه ها و غیره را براساس مبانی و مفاهیم به دست آورد.
به خاطر همین نظریه نسبیت انیشتین نیز می تواند به عنوان روش رسمی شناخته شود، زیرا در عمل اثبات اثبات امکان پذیر نیست. به طور خاص، این اشاره به ثابت پخش نور، تاخیر زمانی در آستانه دستیابی به آن، افزایش جرم گرانشی از جسم و انحنای فضا است. دست ها، همانطور که می گویند، شما آن را احساس نمی کنید و شما چشم های خود را نمی بینید.
یک بار یک بار این نتیجه گیری های جسورانه ی دانشمند بر اساس ساده ترین آزمایش ها بود. امروزه همه اینها توسط علم رسمی بر پایه شبیه سازی کامپیوتری مشابه تأیید شده است.
مراحل رسمی شدن
اگر ما سیستم های کامپیوتری را در نظر بگیریم، مرحله اول رسم سازی توصیف روند است. اما در اینجا ابزار زبان معمولی (حروف، کلمات، عبارات، جملات) استفاده نمی شود. برای ایجاد یک مدل ریاضی خاص ، تنها می توانید از یک الگوریتم بر اساس زبان برنامه نویسی انتخاب شده استفاده کنید، اما تنها پس از تنظیم یک کار مشترک.
به عبارت دیگر، هنگام مدل سازی رفتار یک شی یا فرآیند، جوهر رویداد باید صرفا با استفاده از الگوریتم ریاضی به سادگی با استفاده از نمادهای ریاضی توصیف شود.
نتیجه رسمی سازی این است که بدست آوردن یک تحلیل از واقعیت پیش بینی شده واقعی که بعد از آنکه تحقیقات فن آوری در عمل اعمال شود یا یک روند طبیعی طبیعی وارد مرحله تظاهرات واقعی شود، پیروی می کند.
مفهوم سازی وظیفه به شرح زیر است. دو گزینه وجود دارد: در اولین مورد، این تعریف رویکرد در قالب استفاده از صفات و صفات؛ گزینه دوم شامل استفاده از تجزیه و تحلیل شناختی، بدون اشاره به فرمول سازی وظیفه، جمع آوری داده های اولیه، شرایط و غیره است.
پس از تعریف مفاهیم و شرایط اولیه، روابط موجود بین اشیاء و فرآیندها مورد مطالعه قرار می گیرد، و نیز به اصطلاح روابط معنایی که استفاده از تکنیک ارائه محلی را به همراه دارد.
سپس، پردازش داده های اولیه بر اساس الگوریتم انتخاب شده، پس از آن نتیجه با نشان دادن درصد خطا داده می شود. به طور حتم، 5٪ تجاوز نمی کند و در اکثر موارد نتیجه احتمالی 99٪ است. هر فرد یا دستگاه هنوز "حاشیه ایمنی" را برای شرایط پیش بینی نشده فراهم می کند، زیرا کاملا غیرممکن است که همه چیز غیرممکن باشد.
چرا این همه لازم است؟
اگر شما درک می کنید، چنین اصولی به شما امکان می دهد رفتار اشیا و فرایندها را تجزیه و تحلیل کنید. به عبارت دیگر، می توان پیش بینی کرد که چگونه این فرآیند توسعه خواهد یافت.
در حال حاضر روشن است که چه رسمی است. بیایید به ساده ترین مثال نگاه کنیم.
کاربرد رسمی سازی در عمل، ساده ترین نمونه ها
فرض کنید متخصص یک طراحی جدید از هواپیما را توسعه داده است. با در نظر گرفتن هزینه های بالای این پروژه، ساخت یک مدل اصلی بدون پیش بینی اولیه از رفتار آن در هوا کاملا غیر منطقی است. علاوه بر این، انجام آزمایش در همان تونل باد یک هواپیما، اندازه بوئینگ کاری کاملا غیر واقعی است.
فرمالیزم امکان شبیه سازی پرواز بدون ساخت یک مدل هواپیما را با ویژگی های پیشین هواپیما آینده (مقاومت هوا، باد جانبی، ارتفاع و پارامترهای خود تونل باد و سایر ویژگی ها) را شبیه سازی می کند.
مثال دیگر این است که آزمایش ماشین های جدید با نگرانی های خودرویی. روش اصلی رسم سازی در این مورد این است که ابتدا همه آنها یک آزمون مجازی را منتقل می کنند و پس از بدست آوردن نتایج مثبت، نمونه های اولیه برای آزمایش در شرایط واقعی راه اندازی می شوند.
نتایج اصلی
نتیجه مدل سازی ریاضی از بسیاری جهات (اگر نه 100٪، و سپس با احتمال 95٪) می تواند یک استدلال محکم به نفع انتشار تکنولوژی مدرن باشد، کمک کند پیش بینی آب و هوا، حتی پیش بینی رفتار اجتماعی به عنوان واکنش به وقایع در جهان است.
بله بله شکل گیری افکار عمومی در جهان نیز به قوانین خود بستگی دارد. کافی است که در جهت درست کار کنید. امروزه برنامه های زیادی ایجاد شده اند که به پیش بینی واکنش جامعه نسبت به این رویداد کمک می کند. و این همه نمونه هایی از رسم سازی نیست. اگر ما عمیق تر بشویم، ما هر روز با آن مواجه هستیم.
یکی از مهمترین نمونه های رسمی سازی، کشف بوزون هیگز در برخورد ذرات ابتدایی در Collider هادرون بزرگ است. اما در واقع به نظر می رسید که وجود این ذره، نظریه خالص است و کاملا با تجربیات واقعی قابل اثبات نیست.
نتیجه گیری
همانطور که می بینیم، در مفهوم رسمی سازی، علیرغم پیچیدگی علمی ماهیت فرایند، نمونه های آن آسان است. در بیشتر موارد، به استفاده از زنجیره های منطقی خاصی که نتایج نهایی را تعیین می کنند، کاهش می یابد.
Similar articles
Trending Now