{"id":477279,"date":"2023-08-09T09:10:23","date_gmt":"2023-08-09T09:10:23","guid":{"rendered":""},"modified":"2023-09-05T11:14:24","modified_gmt":"2023-09-05T11:14:24","slug":"formal-methods","status":"publish","type":"wiki","link":"https:\/\/oneproxy.pro\/in\/wiki\/formal-methods\/","title":{"rendered":"\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u0947"},"content":{"rendered":"<p>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u0947 \u0938\u0949\u092b\u094d\u091f\u0935\u0947\u092f\u0930 \u0914\u0930 \u0939\u093e\u0930\u094d\u0921\u0935\u0947\u092f\u0930 \u0938\u093f\u0938\u094d\u091f\u092e \u0915\u0947 \u0935\u093f\u0928\u093f\u0930\u094d\u0926\u0947\u0936, \u0921\u093f\u091c\u093e\u0907\u0928, \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0914\u0930 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0915\u0947 \u0932\u093f\u090f \u0909\u092a\u092f\u094b\u0917 \u0915\u0940 \u091c\u093e\u0928\u0947 \u0935\u093e\u0932\u0940 \u0917\u0923\u093f\u0924\u0940\u092f \u0924\u0915\u0928\u0940\u0915\u094b\u0902 \u0914\u0930 \u0909\u092a\u0915\u0930\u0923\u094b\u0902 \u0915\u0947 \u090f\u0915 \u0938\u0947\u091f \u0915\u094b \u0938\u0902\u0926\u0930\u094d\u092d\u093f\u0924 \u0915\u0930\u0924\u0947 \u0939\u0948\u0902\u0964 \u092f\u0947 \u0935\u093f\u0927\u093f\u092f\u093e\u0902 \u0938\u093f\u0938\u094d\u091f\u092e \u0915\u0940 \u0936\u0941\u0926\u094d\u0927\u0924\u093e \u0914\u0930 \u0935\u093f\u0936\u094d\u0935\u0938\u0928\u0940\u092f\u0924\u093e \u0938\u0941\u0928\u093f\u0936\u094d\u091a\u093f\u0924 \u0915\u0930\u0928\u0947, \u0938\u0902\u092d\u093e\u0935\u093f\u0924 \u0924\u094d\u0930\u0941\u091f\u093f\u092f\u094b\u0902 \u0914\u0930 \u0915\u092e\u091c\u094b\u0930\u093f\u092f\u094b\u0902 \u0915\u094b \u0926\u0942\u0930 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0915\u0920\u094b\u0930 \u0917\u0923\u093f\u0924\u0940\u092f \u092e\u0949\u0921\u0932 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0915\u0930\u0924\u0940 \u0939\u0948\u0902\u0964 \u090f\u092f\u0930\u094b\u0938\u094d\u092a\u0947\u0938, \u0911\u091f\u094b\u092e\u094b\u091f\u093f\u0935, \u092e\u0947\u0921\u093f\u0915\u0932 \u0914\u0930 \u0935\u093f\u0924\u094d\u0924\u0940\u092f \u0909\u0926\u094d\u092f\u094b\u0917\u094b\u0902 \u091c\u0948\u0938\u0940 \u092e\u0939\u0924\u094d\u0935\u092a\u0942\u0930\u094d\u0923 \u092a\u094d\u0930\u0923\u093e\u0932\u093f\u092f\u094b\u0902 \u092e\u0947\u0902 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u0947 \u092e\u0939\u0924\u094d\u0935\u092a\u0942\u0930\u094d\u0923 \u092d\u0942\u092e\u093f\u0915\u093e \u0928\u093f\u092d\u093e\u0924\u0947 \u0939\u0948\u0902, \u091c\u0939\u093e\u0902 \u0938\u0941\u0930\u0915\u094d\u0937\u093e \u0938\u0930\u094d\u0935\u094b\u092a\u0930\u093f \u0939\u0948\u0964<\/p>\n<h2>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u094b\u0902 \u0915\u0940 \u0909\u0924\u094d\u092a\u0924\u094d\u0924\u093f \u0915\u093e \u0907\u0924\u093f\u0939\u093e\u0938 \u0914\u0930 \u092a\u0939\u0932\u093e \u0909\u0932\u094d\u0932\u0947\u0916<\/h2>\n<p>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u094b\u0902 \u0915\u0940 \u0905\u0935\u0927\u093e\u0930\u0923\u093e \u0915\u093e \u092a\u0924\u093e 20\u0935\u0940\u0902 \u0938\u0926\u0940 \u0915\u0940 \u0936\u0941\u0930\u0941\u0906\u0924 \u092e\u0947\u0902 \u0932\u0917\u093e\u092f\u093e \u091c\u093e \u0938\u0915\u0924\u093e \u0939\u0948 \u091c\u092c \u0917\u0923\u093f\u0924\u091c\u094d\u091e\u094b\u0902 \u0914\u0930 \u0924\u0930\u094d\u0915\u0936\u093e\u0938\u094d\u0924\u094d\u0930\u093f\u092f\u094b\u0902 \u0928\u0947 \u0917\u0923\u093f\u0924\u0940\u092f \u092a\u094d\u0930\u092e\u093e\u0923\u094b\u0902 \u0914\u0930 \u0924\u0930\u094d\u0915 \u0915\u094b \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u092c\u0928\u093e\u0928\u0947 \u0915\u0947 \u0924\u0930\u0940\u0915\u094b\u0902 \u0915\u0940 \u0916\u094b\u091c \u0936\u0941\u0930\u0942 \u0915\u0940 \u0925\u0940\u0964 \u0939\u093e\u0932\u093e\u0901\u0915\u093f, \u0938\u0949\u092b\u094d\u091f\u0935\u0947\u092f\u0930 \u0907\u0902\u091c\u0940\u0928\u093f\u092f\u0930\u093f\u0902\u0917 \u092a\u0930 \u0932\u093e\u0917\u0942 \u0939\u094b\u0928\u0947 \u0935\u093e\u0932\u0940 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0935\u093f\u0927\u093f\u092f\u093e\u0901 1960 \u0915\u0947 \u0926\u0936\u0915 \u0915\u0947 \u0905\u0902\u0924 \u0914\u0930 1970 \u0915\u0947 \u0926\u0936\u0915 \u0915\u0940 \u0936\u0941\u0930\u0941\u0906\u0924 \u092e\u0947\u0902 \u0938\u093e\u092e\u0928\u0947 \u0906\u0908\u0902\u0964 1970 \u0915\u0947 \u0926\u0936\u0915 \u092e\u0947\u0902 \u091c\u093c\u0947\u0921, \u0935\u0940\u0921\u0940\u090f\u092e \u0914\u0930 \u0905\u0928\u094d\u092f \u091c\u0948\u0938\u0940 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0935\u093f\u0928\u093f\u0930\u094d\u0926\u0947\u0936 \u092d\u093e\u0937\u093e\u0913\u0902 \u0915\u0947 \u0935\u093f\u0915\u093e\u0938 \u0928\u0947 \u0907\u0938 \u0915\u094d\u0937\u0947\u0924\u094d\u0930 \u092e\u0947\u0902 \u090f\u0915 \u092e\u0939\u0924\u094d\u0935\u092a\u0942\u0930\u094d\u0923 \u092a\u094d\u0930\u0917\u0924\u093f \u0915\u094b \u091a\u093f\u0939\u094d\u0928\u093f\u0924 \u0915\u093f\u092f\u093e\u0964<\/p>\n<p>\u0915\u0902\u092a\u094d\u092f\u0942\u091f\u093f\u0902\u0917 \u0915\u0947 \u0938\u0902\u0926\u0930\u094d\u092d \u092e\u0947\u0902 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u094b\u0902 \u0915\u093e \u092a\u0939\u0932\u093e \u0909\u0932\u094d\u0932\u0947\u0916 \u091c\u0949\u0928 \u092e\u0948\u0915\u094d\u0915\u093e\u0930\u094d\u0925\u0940 \u0915\u0947 \u0915\u093e\u092e \u0915\u094b \u0926\u093f\u092f\u093e \u091c\u093e \u0938\u0915\u0924\u093e \u0939\u0948, \u091c\u093f\u0928\u094d\u0939\u094b\u0902\u0928\u0947 1967 \u092e\u0947\u0902 \u0915\u0902\u092a\u094d\u092f\u0942\u091f\u0930 \u092a\u094d\u0930\u094b\u0917\u094d\u0930\u093e\u092e \u0915\u0947 \u0932\u093f\u090f &quot;\u0936\u0941\u0926\u094d\u0927\u0924\u093e \u092a\u094d\u0930\u092e\u093e\u0923&quot; \u0915\u093e \u0935\u093f\u091a\u093e\u0930 \u092a\u094d\u0930\u0938\u094d\u0924\u093e\u0935\u093f\u0924 \u0915\u093f\u092f\u093e \u0925\u093e\u0964 \u0907\u0938 \u0935\u093f\u091a\u093e\u0930 \u0928\u0947 \u092c\u093e\u0926 \u0915\u0947 \u0936\u094b\u0927 \u0915\u0947 \u0932\u093f\u090f \u0906\u0927\u093e\u0930 \u0924\u0948\u092f\u093e\u0930 \u0915\u093f\u092f\u093e \u0914\u0930 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u094b\u0902 \u0915\u0947 \u0935\u093f\u0915\u093e\u0938 \u0915\u094b \u091c\u0928\u094d\u092e \u0926\u093f\u092f\u093e \u091c\u0948\u0938\u093e \u0915\u093f \u0939\u092e \u0906\u091c \u0909\u0928\u094d\u0939\u0947\u0902 \u091c\u093e\u0928\u0924\u0947 \u0939\u0948\u0902\u0964<\/p>\n<h2>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u094b\u0902 \u0915\u0947 \u092c\u093e\u0930\u0947 \u092e\u0947\u0902 \u0935\u093f\u0938\u094d\u0924\u0943\u0924 \u091c\u093e\u0928\u0915\u093e\u0930\u0940<\/h2>\n<p>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0935\u093f\u0927\u093f\u092f\u093e\u0901 \u0938\u093f\u0938\u094d\u091f\u092e \u0906\u0935\u0936\u094d\u092f\u0915\u0924\u093e\u0913\u0902 \u0914\u0930 \u0935\u094d\u092f\u0935\u0939\u093e\u0930 \u0915\u0947 \u0938\u091f\u0940\u0915 \u092e\u0949\u0921\u0932 \u092c\u0928\u093e\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0917\u0923\u093f\u0924\u0940\u092f \u0924\u0930\u094d\u0915, \u0911\u091f\u094b\u092e\u0947\u091f\u093e \u0938\u093f\u0926\u094d\u0927\u093e\u0902\u0924, \u0938\u0947\u091f \u0938\u093f\u0926\u094d\u0927\u093e\u0902\u0924 \u0914\u0930 \u0905\u0928\u094d\u092f \u0917\u0923\u093f\u0924\u0940\u092f \u0935\u093f\u0937\u092f\u094b\u0902 \u0915\u093e \u0932\u093e\u092d \u0909\u0920\u093e\u0924\u0940 \u0939\u0948\u0902\u0964 \u0907\u0928 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u092e\u0949\u0921\u0932\u094b\u0902 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0915\u0930\u0915\u0947 \u0938\u093f\u0938\u094d\u091f\u092e \u0915\u093e \u0935\u0930\u094d\u0923\u0928 \u0915\u0930\u0915\u0947, \u0921\u0947\u0935\u0932\u092a\u0930\u094d\u0938 \u0917\u0923\u093f\u0924\u0940\u092f \u0930\u0942\u092a \u0938\u0947 \u0909\u0928\u0915\u0940 \u0936\u0941\u0926\u094d\u0927\u0924\u093e \u0914\u0930 \u092a\u094d\u0930\u0926\u0930\u094d\u0936\u0928 \u0915\u0947 \u092c\u093e\u0930\u0947 \u092e\u0947\u0902 \u0924\u0930\u094d\u0915 \u0915\u0930 \u0938\u0915\u0924\u0947 \u0939\u0948\u0902\u0964 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u0947 \u0938\u0949\u092b\u093c\u094d\u091f\u0935\u0947\u092f\u0930 \u0935\u093f\u0915\u093e\u0938 \u091c\u0940\u0935\u0928\u091a\u0915\u094d\u0930 \u0915\u0947 \u0935\u093f\u092d\u093f\u0928\u094d\u0928 \u092a\u0939\u0932\u0941\u0913\u0902 \u0915\u094b \u0915\u0935\u0930 \u0915\u0930 \u0938\u0915\u0924\u0947 \u0939\u0948\u0902, \u091c\u093f\u0938\u092e\u0947\u0902 \u0906\u0935\u0936\u094d\u092f\u0915\u0924\u093e\u0913\u0902 \u0915\u093e \u0935\u093f\u0936\u094d\u0932\u0947\u0937\u0923, \u0921\u093f\u091c\u093c\u093e\u0907\u0928 \u0935\u093f\u0928\u093f\u0930\u094d\u0926\u0947\u0936, \u092a\u094d\u0930\u094b\u0917\u094d\u0930\u093e\u092e \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0914\u0930 \u092f\u0939\u093e\u0902 \u0924\u0915 \u0915\u093f \u0938\u0902\u0936\u094d\u0932\u0947\u0937\u0923 \u092d\u0940 \u0936\u093e\u092e\u093f\u0932 \u0939\u0948\u0964<\/p>\n<p>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u094b\u0902 \u0915\u0947 \u092a\u094d\u0930\u093e\u0925\u092e\u093f\u0915 \u0918\u091f\u0915\u094b\u0902 \u092e\u0947\u0902 \u0936\u093e\u092e\u093f\u0932 \u0939\u0948\u0902:<\/p>\n<ol>\n<li>\n<p><strong>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0935\u093f\u0936\u093f\u0937\u094d\u091f\u0924\u093e \u092d\u093e\u0937\u093e\u090f\u0901:<\/strong> \u092f\u0947 \u092d\u093e\u0937\u093e\u090f\u0901 \u0921\u0947\u0935\u0932\u092a\u0930\u094d\u0938 \u0915\u094b \u0938\u093f\u0938\u094d\u091f\u092e \u0906\u0935\u0936\u094d\u092f\u0915\u0924\u093e\u0913\u0902 \u0914\u0930 \u0935\u093f\u0936\u093f\u0937\u094d\u091f\u0924\u093e\u0913\u0902 \u0915\u094b \u0914\u092a\u091a\u093e\u0930\u093f\u0915, \u0938\u094d\u092a\u0937\u094d\u091f \u0924\u0930\u0940\u0915\u0947 \u0938\u0947 \u0935\u094d\u092f\u0915\u094d\u0924 \u0915\u0930\u0928\u0947 \u0915\u0940 \u0905\u0928\u0941\u092e\u0924\u093f \u0926\u0947\u0924\u0940 \u0939\u0948\u0902\u0964 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0935\u093f\u0928\u093f\u0930\u094d\u0926\u0947\u0936 \u092d\u093e\u0937\u093e\u0913\u0902 \u0915\u0947 \u0909\u0926\u093e\u0939\u0930\u0923\u094b\u0902 \u092e\u0947\u0902 Z, B, VDM-SL \u0914\u0930 TLA+ \u0936\u093e\u092e\u093f\u0932 \u0939\u0948\u0902\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928:<\/strong> \u0907\u0938 \u092a\u094d\u0930\u0915\u094d\u0930\u093f\u092f\u093e \u092e\u0947\u0902 \u0909\u0928\u0915\u0947 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0935\u093f\u0928\u093f\u0930\u094d\u0926\u0947\u0936\u094b\u0902 \u0915\u0947 \u0938\u0902\u092c\u0902\u0927 \u092e\u0947\u0902 \u0938\u093f\u0938\u094d\u091f\u092e \u0921\u093f\u091c\u093c\u093e\u0907\u0928 \u0914\u0930 \u0915\u093e\u0930\u094d\u092f\u093e\u0928\u094d\u0935\u092f\u0928 \u0915\u0940 \u0936\u0941\u0926\u094d\u0927\u0924\u093e \u0915\u093e \u0935\u093f\u0936\u094d\u0932\u0947\u0937\u0923 \u0914\u0930 \u0938\u093e\u092c\u093f\u0924 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u091f\u0942\u0932 \u0914\u0930 \u092a\u094d\u0930\u092e\u0947\u092f \u092a\u094d\u0930\u094b\u0935\u0930\u094d\u0938 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0915\u0930\u0928\u093e \u0936\u093e\u092e\u093f\u0932 \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u092e\u0949\u0921\u0932 \u091c\u093e\u0901\u091a:<\/strong> \u092e\u0949\u0921\u0932 \u091c\u093e\u0901\u091a \u090f\u0915 \u0910\u0938\u0940 \u0924\u0915\u0928\u0940\u0915 \u0939\u0948 \u091c\u093f\u0938\u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u092a\u0930\u093f\u092e\u093f\u0924-\u0930\u093e\u091c\u094d\u092f \u0938\u092e\u0935\u0930\u094d\u0924\u0940 \u092a\u094d\u0930\u0923\u093e\u0932\u093f\u092f\u094b\u0902 \u0915\u094b \u0909\u0928\u0915\u0947 \u0930\u093e\u091c\u094d\u092f \u0938\u094d\u0925\u093e\u0928\u094b\u0902 \u0915\u0940 \u0935\u093f\u0938\u094d\u0924\u0943\u0924 \u0916\u094b\u091c \u0914\u0930 \u0935\u093e\u0902\u091b\u093f\u0924 \u0917\u0941\u0923\u094b\u0902 \u0915\u0940 \u092a\u0941\u0937\u094d\u091f\u093f \u0915\u0930\u0915\u0947 \u0938\u0924\u094d\u092f\u093e\u092a\u093f\u0924 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0915\u093f\u092f\u093e \u091c\u093e\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u092a\u094d\u0930\u092e\u0947\u092f \u0938\u093f\u0926\u094d\u0927 \u0915\u0930\u0928\u093e:<\/strong> \u092a\u094d\u0930\u092e\u0947\u092f \u0915\u0939\u093e\u0935\u0924\u0947\u0902 \u0915\u093f\u0938\u0940 \u092a\u094d\u0930\u0923\u093e\u0932\u0940 \u0915\u0940 \u0936\u0941\u0926\u094d\u0927\u0924\u093e \u0938\u094d\u0925\u093e\u092a\u093f\u0924 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0924\u093e\u0930\u094d\u0915\u093f\u0915 \u0924\u0930\u094d\u0915 \u0914\u0930 \u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0915\u091f\u094c\u0924\u0940 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0915\u0930\u0924\u0940 \u0939\u0948\u0902\u0964<\/p>\n<\/li>\n<\/ol>\n<h2>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u094b\u0902 \u0915\u0940 \u0906\u0902\u0924\u0930\u093f\u0915 \u0938\u0902\u0930\u091a\u0928\u093e \u0914\u0930 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u0947 \u0915\u0948\u0938\u0947 \u0915\u093e\u092e \u0915\u0930\u0924\u0947 \u0939\u0948\u0902<\/h2>\n<p>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u094b\u0902 \u092e\u0947\u0902 \u0915\u0908 \u092a\u0930\u0938\u094d\u092a\u0930 \u091c\u0941\u0921\u093c\u0947 \u091a\u0930\u0923 \u0936\u093e\u092e\u093f\u0932 \u0939\u094b\u0924\u0947 \u0939\u0948\u0902 \u091c\u094b \u092f\u0939 \u0938\u0941\u0928\u093f\u0936\u094d\u091a\u093f\u0924 \u0915\u0930\u0924\u0947 \u0939\u0948\u0902 \u0915\u093f \u0938\u093f\u0938\u094d\u091f\u092e \u0915\u0947 \u0935\u093e\u0902\u091b\u093f\u0924 \u0917\u0941\u0923 \u092a\u0942\u0930\u0947 \u0939\u094b\u0902\u0964 \u0935\u093f\u0936\u093f\u0937\u094d\u091f \u0935\u0930\u094d\u0915\u092b\u093c\u094d\u0932\u094b \u092e\u0947\u0902 \u0936\u093e\u092e\u093f\u0932 \u0939\u0948\u0902:<\/p>\n<ol>\n<li>\n<p><strong>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0935\u093f\u0936\u093f\u0937\u094d\u091f\u0924\u093e:<\/strong> \u0905\u0938\u094d\u092a\u0937\u094d\u091f\u0924\u093e\u0913\u0902 \u0915\u094b \u0926\u0942\u0930 \u0915\u0930\u0928\u0947 \u0914\u0930 \u0938\u093f\u0938\u094d\u091f\u092e \u0915\u0947 \u0935\u094d\u092f\u0935\u0939\u093e\u0930 \u0915\u093e \u0938\u091f\u0940\u0915 \u092a\u094d\u0930\u0924\u093f\u0928\u093f\u0927\u093f\u0924\u094d\u0935 \u092c\u0928\u093e\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0938\u0949\u092b\u093c\u094d\u091f\u0935\u0947\u092f\u0930 \u0906\u0935\u0936\u094d\u092f\u0915\u0924\u093e\u0913\u0902 \u0915\u094b \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0935\u093f\u0928\u093f\u0930\u094d\u0926\u0947\u0936 \u092d\u093e\u0937\u093e \u092e\u0947\u0902 \u0905\u0928\u0941\u0935\u093e\u0926\u093f\u0924 \u0915\u093f\u092f\u093e \u091c\u093e\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928:<\/strong> \u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0909\u092a\u0915\u0930\u0923 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0935\u093f\u0928\u093f\u0930\u094d\u0926\u0947\u0936\u094b\u0902 \u0914\u0930 \u0938\u093f\u0938\u094d\u091f\u092e \u0915\u0947 \u0921\u093f\u091c\u093c\u093e\u0907\u0928 \u0915\u093e \u0935\u093f\u0936\u094d\u0932\u0947\u0937\u0923 \u0915\u0930\u0924\u0947 \u0939\u0948\u0902 \u0924\u093e\u0915\u093f \u092f\u0939 \u091c\u093e\u0902\u091a\u093e \u091c\u093e \u0938\u0915\u0947 \u0915\u093f \u0921\u093f\u091c\u093c\u093e\u0907\u0928 \u0935\u093f\u0928\u093f\u0930\u094d\u0926\u0947\u0936\u094b\u0902 \u0915\u093e \u092a\u093e\u0932\u0928 \u0915\u0930\u0924\u093e \u0939\u0948 \u092f\u093e \u0928\u0939\u0940\u0902\u0964 \u092f\u0939 \u091a\u0930\u0923 \u0938\u0941\u0928\u093f\u0936\u094d\u091a\u093f\u0924 \u0915\u0930\u0924\u093e \u0939\u0948 \u0915\u093f \u0921\u093f\u091c\u093c\u093e\u0907\u0928 \u0917\u0902\u092d\u0940\u0930 \u0924\u094d\u0930\u0941\u091f\u093f\u092f\u094b\u0902 \u0914\u0930 \u0915\u092e\u091c\u094b\u0930\u093f\u092f\u094b\u0902 \u0938\u0947 \u092e\u0941\u0915\u094d\u0924 \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u092e\u0949\u0921\u0932 \u091c\u093e\u0901\u091a:<\/strong> \u092f\u0939 \u0928\u093f\u0930\u094d\u0927\u093e\u0930\u093f\u0924 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0915\u093f \u0915\u094d\u092f\u093e \u0935\u0947 \u0935\u093e\u0902\u091b\u093f\u0924 \u0917\u0941\u0923\u094b\u0902 \u0915\u094b \u092a\u0942\u0930\u093e \u0915\u0930\u0924\u0947 \u0939\u0948\u0902 \u092f\u093e \u092f\u0926\u093f \u092a\u094d\u0930\u0924\u093f-\u0909\u0926\u093e\u0939\u0930\u0923 \u092e\u094c\u091c\u0942\u0926 \u0939\u0948\u0902, \u0924\u094b \u092a\u0930\u093f\u092e\u093f\u0924-\u0930\u093e\u091c\u094d\u092f \u092a\u094d\u0930\u0923\u093e\u0932\u093f\u092f\u094b\u0902 \u0915\u094b \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0935\u093f\u0936\u093f\u0937\u094d\u091f\u0924\u093e\u0913\u0902 \u0915\u0947 \u0935\u093f\u0930\u0941\u0926\u094d\u0927 \u0935\u093f\u0938\u094d\u0924\u0943\u0924 \u0930\u0942\u092a \u0938\u0947 \u091c\u093e\u0902\u091a\u093e \u091c\u093e\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u092a\u094d\u0930\u092e\u0947\u092f \u0938\u093f\u0926\u094d\u0927 \u0915\u0930\u0928\u093e:<\/strong> \u0924\u093e\u0930\u094d\u0915\u093f\u0915 \u0924\u0930\u094d\u0915 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0935\u093f\u0936\u093f\u0937\u094d\u091f\u0924\u093e\u0913\u0902 \u0915\u0947 \u0906\u0927\u093e\u0930 \u092a\u0930 \u092a\u094d\u0930\u0923\u093e\u0932\u0940 \u0915\u0940 \u0936\u0941\u0926\u094d\u0927\u0924\u093e \u0915\u094b \u0917\u0923\u093f\u0924\u0940\u092f \u0930\u0942\u092a \u0938\u0947 \u0938\u093e\u092c\u093f\u0924 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0915\u093f\u092f\u093e \u091c\u093e\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<\/ol>\n<h2>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u094b\u0902 \u0915\u0940 \u092a\u094d\u0930\u092e\u0941\u0916 \u0935\u093f\u0936\u0947\u0937\u0924\u093e\u0913\u0902 \u0915\u093e \u0935\u093f\u0936\u094d\u0932\u0947\u0937\u0923<\/h2>\n<p>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0935\u093f\u0927\u093f\u092f\u093e\u0901 \u0915\u0908 \u092a\u094d\u0930\u092e\u0941\u0916 \u0935\u093f\u0936\u0947\u0937\u0924\u093e\u090f\u0901 \u092a\u094d\u0930\u0926\u093e\u0928 \u0915\u0930\u0924\u0940 \u0939\u0948\u0902 \u091c\u094b \u0909\u0928\u094d\u0939\u0947\u0902 \u0938\u0949\u092b\u093c\u094d\u091f\u0935\u0947\u092f\u0930 \u0914\u0930 \u0939\u093e\u0930\u094d\u0921\u0935\u0947\u092f\u0930 \u0935\u093f\u0915\u093e\u0938 \u092e\u0947\u0902 \u0905\u092e\u0942\u0932\u094d\u092f \u092c\u0928\u093e\u0924\u0940 \u0939\u0948\u0902:<\/p>\n<ol>\n<li>\n<p><strong>\u092a\u0930\u093f\u0936\u0941\u0926\u094d\u0927\u0924\u093e \u0914\u0930 \u0915\u0920\u094b\u0930\u0924\u093e:<\/strong> \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0935\u093f\u0927\u093f\u092f\u093e\u0901 \u0938\u093f\u0938\u094d\u091f\u092e \u0906\u0935\u0936\u094d\u092f\u0915\u0924\u093e\u0913\u0902 \u0915\u093e \u0935\u0930\u094d\u0923\u0928 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u090f\u0915 \u0938\u091f\u0940\u0915 \u0914\u0930 \u0938\u094d\u092a\u0937\u094d\u091f \u0924\u0930\u0940\u0915\u093e \u092a\u094d\u0930\u0926\u093e\u0928 \u0915\u0930\u0924\u0940 \u0939\u0948\u0902, \u091c\u093f\u0938\u0938\u0947 \u0935\u094d\u092f\u093e\u0916\u094d\u092f\u093e \u0915\u0947 \u0932\u093f\u090f \u0915\u094b\u0908 \u091c\u0917\u0939 \u0928\u0939\u0940\u0902 \u092c\u091a\u0924\u0940 \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u092e\u0939\u0924\u094d\u0935\u092a\u0942\u0930\u094d\u0923 \u092a\u094d\u0930\u0923\u093e\u0932\u093f\u092f\u094b\u0902 \u0915\u093e \u0938\u0924\u094d\u092f\u093e\u092a\u0928:<\/strong> \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u0947 \u0938\u0941\u0930\u0915\u094d\u0937\u093e-\u092e\u0939\u0924\u094d\u0935\u092a\u0942\u0930\u094d\u0923 \u0914\u0930 \u092e\u093f\u0936\u0928-\u092e\u0939\u0924\u094d\u0935\u092a\u0942\u0930\u094d\u0923 \u092a\u094d\u0930\u0923\u093e\u0932\u093f\u092f\u094b\u0902 \u0915\u094b \u0938\u0924\u094d\u092f\u093e\u092a\u093f\u0924 \u0915\u0930\u0928\u0947 \u092e\u0947\u0902 \u0935\u093f\u0936\u0947\u0937 \u0930\u0942\u092a \u0938\u0947 \u092a\u094d\u0930\u092d\u093e\u0935\u0940 \u0939\u094b\u0924\u0947 \u0939\u0948\u0902 \u091c\u0939\u093e\u0902 \u092e\u093e\u0928\u0935 \u091c\u0940\u0935\u0928 \u092f\u093e \u092a\u0930\u094d\u092f\u093e\u092a\u094d\u0924 \u0938\u0902\u0938\u093e\u0927\u0928 \u0926\u093e\u0902\u0935 \u092a\u0930 \u0939\u094b\u0924\u0947 \u0939\u0948\u0902\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u092c\u0917 \u0915\u093e \u092a\u0924\u093e \u0932\u0917\u093e\u0928\u093e \u0914\u0930 \u0930\u094b\u0915\u0925\u093e\u092e:<\/strong> \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u0947 \u0935\u093f\u0915\u093e\u0938 \u092a\u094d\u0930\u0915\u094d\u0930\u093f\u092f\u093e \u0915\u0940 \u0936\u0941\u0930\u0941\u0906\u0924 \u092e\u0947\u0902 \u092c\u0917 \u0915\u093e \u092a\u0924\u093e \u0932\u0917\u093e\u0928\u0947 \u0914\u0930 \u0909\u0928\u094d\u0939\u0947\u0902 \u0916\u0924\u094d\u092e \u0915\u0930\u0928\u0947 \u092e\u0947\u0902 \u092e\u0926\u0926 \u0915\u0930 \u0938\u0915\u0924\u0947 \u0939\u0948\u0902, \u091c\u093f\u0938\u0938\u0947 \u092c\u093e\u0926 \u092e\u0947\u0902 \u0924\u094d\u0930\u0941\u091f\u093f\u092f\u094b\u0902 \u0915\u094b \u0920\u0940\u0915 \u0915\u0930\u0928\u0947 \u0915\u0940 \u0932\u093e\u0917\u0924 \u0915\u092e \u0939\u094b \u0938\u0915\u0924\u0940 \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u092a\u094d\u0930\u092e\u093e\u0923:<\/strong> \u0936\u0941\u0926\u094d\u0927\u0924\u093e \u0915\u093e \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u092a\u094d\u0930\u092e\u093e\u0923 \u092a\u094d\u0930\u0926\u093e\u0928 \u0915\u0930\u0928\u0947 \u0915\u0940 \u0915\u094d\u0937\u092e\u0924\u093e \u0921\u0947\u0935\u0932\u092a\u0930\u094d\u0938 \u0915\u094b \u0938\u093f\u0938\u094d\u091f\u092e \u0915\u0940 \u0935\u093f\u0936\u094d\u0935\u0938\u0928\u0940\u092f\u0924\u093e \u0914\u0930 \u0928\u093f\u0930\u094d\u092d\u0930\u0924\u093e \u092e\u0947\u0902 \u0909\u091a\u094d\u091a \u0935\u093f\u0936\u094d\u0935\u093e\u0938 \u0926\u0947\u0924\u0940 \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0935\u093f\u0936\u094d\u0932\u0947\u0937\u0923:<\/strong> \u0915\u0908 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0924\u0915\u0928\u0940\u0915\u094b\u0902 \u0915\u094b \u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0915\u093f\u092f\u093e \u091c\u093e \u0938\u0915\u0924\u093e \u0939\u0948, \u091c\u093f\u0938\u0938\u0947 \u091c\u091f\u093f\u0932 \u092a\u094d\u0930\u0923\u093e\u0932\u093f\u092f\u094b\u0902 \u092e\u0947\u0902 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u094b\u0902 \u0915\u094b \u0932\u093e\u0917\u0942 \u0915\u0930\u0928\u093e \u0938\u0902\u092d\u0935 \u0939\u094b \u091c\u093e\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<\/ol>\n<h2>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u094b\u0902 \u0915\u0947 \u092a\u094d\u0930\u0915\u093e\u0930<\/h2>\n<p>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u094b\u0902 \u092e\u0947\u0902 \u0938\u093f\u0938\u094d\u091f\u092e \u0915\u0940 \u0936\u0941\u0926\u094d\u0927\u0924\u093e \u0915\u0947 \u092c\u093e\u0930\u0947 \u092e\u0947\u0902 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0914\u0930 \u0924\u0930\u094d\u0915 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0935\u093f\u092d\u093f\u0928\u094d\u0928 \u0926\u0943\u0937\u094d\u091f\u093f\u0915\u094b\u0923 \u0914\u0930 \u0924\u0915\u0928\u0940\u0915\u0947\u0902 \u0936\u093e\u092e\u093f\u0932 \u0939\u0948\u0902\u0964 \u0915\u0941\u091b \u0938\u093e\u092e\u093e\u0928\u094d\u092f \u092a\u094d\u0930\u0915\u093e\u0930 \u0915\u0940 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0935\u093f\u0927\u093f\u092f\u094b\u0902 \u092e\u0947\u0902 \u0936\u093e\u092e\u093f\u0932 \u0939\u0948\u0902:<\/p>\n<table>\n<thead>\n<tr>\n<th>\u092a\u094d\u0930\u0915\u093e\u0930<\/th>\n<th>\u0935\u093f\u0935\u0930\u0923<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td>\u092e\u0949\u0921\u0932 \u091c\u093e\u0901\u091a<\/td>\n<td>\u0935\u093e\u0902\u091b\u093f\u0924 \u0917\u0941\u0923\u094b\u0902 \u0915\u094b \u0938\u0924\u094d\u092f\u093e\u092a\u093f\u0924 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0938\u093f\u0938\u094d\u091f\u092e \u0915\u0940 \u0938\u094d\u0925\u093f\u0924\u093f \u0915\u0940 \u0935\u093f\u0938\u094d\u0924\u0943\u0924 \u0916\u094b\u091c\u0964<\/td>\n<\/tr>\n<tr>\n<td>\u092a\u094d\u0930\u092e\u0947\u092f \u0938\u093f\u0926\u094d\u0927 \u0915\u0930\u0928\u093e<\/td>\n<td>\u0938\u093f\u0938\u094d\u091f\u092e \u0921\u093f\u091c\u093c\u093e\u0907\u0928 \u0914\u0930 \u0915\u093e\u0930\u094d\u092f\u093e\u0928\u094d\u0935\u092f\u0928 \u0915\u0940 \u0936\u0941\u0926\u094d\u0927\u0924\u093e \u0938\u093e\u092c\u093f\u0924 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0924\u0930\u094d\u0915\u0964<\/td>\n<\/tr>\n<tr>\n<td>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0935\u093f\u0936\u093f\u0937\u094d\u091f\u0924\u093e<\/td>\n<td>\u0938\u093f\u0938\u094d\u091f\u092e \u0906\u0935\u0936\u094d\u092f\u0915\u0924\u093e\u0913\u0902 \u0915\u094b \u0938\u094d\u092a\u0937\u094d\u091f \u0924\u0930\u0940\u0915\u0947 \u0938\u0947 \u0928\u093f\u0930\u094d\u0926\u093f\u0937\u094d\u091f \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u092d\u093e\u0937\u093e\u0913\u0902 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0915\u0930\u0928\u093e\u0964<\/td>\n<\/tr>\n<tr>\n<td>\u0938\u094d\u0925\u0948\u0924\u093f\u0915 \u0935\u093f\u0936\u094d\u0932\u0947\u0937\u0923<\/td>\n<td>\u092c\u0917 \u0914\u0930 \u0915\u092e\u091c\u094b\u0930\u093f\u092f\u094b\u0902 \u0915\u094b \u0916\u094b\u091c\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0938\u094d\u0930\u094b\u0924 \u0915\u094b\u0921 \u092f\u093e \u0921\u093f\u091c\u093c\u093e\u0907\u0928 \u0915\u094b \u0928\u093f\u0937\u094d\u092a\u093e\u0926\u093f\u0924 \u0915\u093f\u090f \u092c\u093f\u0928\u093e \u0909\u0938\u0915\u093e \u0935\u093f\u0936\u094d\u0932\u0947\u0937\u0923 \u0915\u0930\u0928\u093e\u0964<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h2>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u094b\u0902, \u0938\u092e\u0938\u094d\u092f\u093e\u0913\u0902 \u0914\u0930 \u0938\u092e\u093e\u0927\u093e\u0928\u094b\u0902 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0924\u0930\u0940\u0915\u0947<\/h2>\n<p>\u0938\u0949\u092b\u093c\u094d\u091f\u0935\u0947\u092f\u0930 \u0935\u093f\u0915\u093e\u0938 \u092a\u094d\u0930\u0915\u094d\u0930\u093f\u092f\u093e \u0915\u0947 \u0926\u094c\u0930\u093e\u0928 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u094b\u0902 \u0915\u093e \u0935\u093f\u092d\u093f\u0928\u094d\u0928 \u0924\u0930\u0940\u0915\u094b\u0902 \u0938\u0947 \u0909\u092a\u092f\u094b\u0917 \u0915\u093f\u092f\u093e \u091c\u093e \u0938\u0915\u0924\u093e \u0939\u0948:<\/p>\n<ol>\n<li>\n<p><strong>\u0906\u0935\u0936\u094d\u092f\u0915\u0924\u093e\u0913\u0902 \u0915\u0947 \u0935\u093f\u0936\u094d\u0932\u0947\u0937\u0923:<\/strong> \u0917\u0932\u0924\u092b\u0939\u092e\u093f\u092f\u094b\u0902 \u0914\u0930 \u0905\u0938\u094d\u092a\u0937\u094d\u091f\u0924\u093e \u0915\u094b \u0915\u092e \u0915\u0930\u0924\u0947 \u0939\u0941\u090f, \u0938\u093f\u0938\u094d\u091f\u092e \u0906\u0935\u0936\u094d\u092f\u0915\u0924\u093e\u0913\u0902 \u0915\u094b \u0938\u091f\u0940\u0915 \u0930\u0942\u092a \u0938\u0947 \u092a\u0930\u093f\u092d\u093e\u0937\u093f\u0924 \u0914\u0930 \u092e\u093e\u0928\u094d\u092f \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u094b\u0902 \u0915\u094b \u0928\u093f\u092f\u094b\u091c\u093f\u0924 \u0915\u093f\u092f\u093e \u091c\u093e \u0938\u0915\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0921\u093f\u091c\u093c\u093e\u0907\u0928 \u0938\u0924\u094d\u092f\u093e\u092a\u0928:<\/strong> \u0921\u093f\u091c\u093c\u093e\u0907\u0928 \u091a\u0930\u0923 \u0915\u0947 \u0926\u094c\u0930\u093e\u0928, \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u0947 \u092f\u0939 \u0938\u0924\u094d\u092f\u093e\u092a\u093f\u0924 \u0915\u0930 \u0938\u0915\u0924\u0947 \u0939\u0948\u0902 \u0915\u093f \u0921\u093f\u091c\u093c\u093e\u0907\u0928 \u0905\u092a\u0928\u0947 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0935\u093f\u0928\u093f\u0930\u094d\u0926\u0947\u0936 \u0915\u093e \u092a\u093e\u0932\u0928 \u0915\u0930\u0924\u093e \u0939\u0948, \u091c\u093f\u0938\u0938\u0947 \u0921\u093f\u091c\u093c\u093e\u0907\u0928 \u0915\u0940 \u0916\u093e\u092e\u093f\u092f\u094b\u0902 \u0915\u094b \u0930\u094b\u0915\u093e \u091c\u093e \u0938\u0915\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0915\u094b\u0921 \u0938\u0924\u094d\u092f\u093e\u092a\u0928:<\/strong> \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0930\u0942\u092a \u0938\u0947 \u0915\u094b\u0921 \u0915\u0940 \u0936\u0941\u0926\u094d\u0927\u0924\u093e \u0938\u093e\u092c\u093f\u0924 \u0915\u0930\u0915\u0947, \u0921\u0947\u0935\u0932\u092a\u0930\u094d\u0938 \u0938\u0949\u092b\u094d\u091f\u0935\u0947\u092f\u0930 \u092e\u0947\u0902 \u092e\u094c\u091c\u0942\u0926 \u092c\u0917 \u0914\u0930 \u0915\u092e\u091c\u094b\u0930\u093f\u092f\u094b\u0902 \u0915\u0940 \u0938\u0902\u0916\u094d\u092f\u093e \u0915\u094b \u0915\u093e\u092b\u0940 \u0915\u092e \u0915\u0930 \u0938\u0915\u0924\u0947 \u0939\u0948\u0902\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u092e\u0949\u0921\u0932-\u0906\u0927\u093e\u0930\u093f\u0924 \u0935\u093f\u0915\u093e\u0938:<\/strong> \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u0947 \u092e\u0949\u0921\u0932-\u0906\u0927\u093e\u0930\u093f\u0924 \u0935\u093f\u0915\u093e\u0938 \u0915\u0940 \u0938\u0941\u0935\u093f\u0927\u093e \u092a\u094d\u0930\u0926\u093e\u0928 \u0915\u0930\u0924\u0947 \u0939\u0948\u0902, \u091c\u0939\u093e\u0902 \u0915\u093e\u0930\u094d\u092f\u093e\u0928\u094d\u0935\u092f\u0928 \u0938\u0947 \u092a\u0939\u0932\u0947 \u0938\u093f\u0938\u094d\u091f\u092e \u0935\u094d\u092f\u0935\u0939\u093e\u0930 \u0915\u094b \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0930\u0942\u092a \u0938\u0947 \u0928\u093f\u0930\u094d\u0926\u093f\u0937\u094d\u091f \u0914\u0930 \u0938\u0924\u094d\u092f\u093e\u092a\u093f\u0924 \u0915\u093f\u092f\u093e \u091c\u093e\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<\/ol>\n<p>\u0905\u092a\u0928\u0947 \u092b\u093e\u092f\u0926\u094b\u0902 \u0915\u0947 \u092c\u093e\u0935\u091c\u0942\u0926, \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u094b\u0902 \u0915\u094b \u091a\u0941\u0928\u094c\u0924\u093f\u092f\u094b\u0902 \u0915\u093e \u092d\u0940 \u0938\u093e\u092e\u0928\u093e \u0915\u0930\u0928\u093e \u092a\u0921\u093c\u0924\u093e \u0939\u0948:<\/p>\n<ol>\n<li>\n<p><strong>\u091c\u091f\u093f\u0932\u0924\u093e:<\/strong> \u092c\u0921\u093c\u0947 \u092a\u0948\u092e\u093e\u0928\u0947 \u0915\u0940 \u092a\u094d\u0930\u0923\u093e\u0932\u093f\u092f\u094b\u0902 \u092e\u0947\u0902 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u094b\u0902 \u0915\u094b \u0932\u093e\u0917\u0942 \u0915\u0930\u0928\u093e \u0915\u092e\u094d\u092a\u094d\u092f\u0942\u091f\u0947\u0936\u0928\u0932 \u0930\u0942\u092a \u0938\u0947 \u092e\u0939\u0902\u0917\u093e \u0914\u0930 \u0938\u092e\u092f \u0932\u0947\u0928\u0947 \u0935\u093e\u0932\u093e \u0939\u094b \u0938\u0915\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0935\u093f\u0936\u0947\u0937\u091c\u094d\u091e\u0924\u093e:<\/strong> \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u094b\u0902 \u0915\u0947 \u0932\u093f\u090f \u0935\u093f\u0936\u0947\u0937 \u091c\u094d\u091e\u093e\u0928 \u0915\u0940 \u0906\u0935\u0936\u094d\u092f\u0915\u0924\u093e \u0939\u094b\u0924\u0940 \u0939\u0948, \u091c\u093f\u0938\u0938\u0947 \u0935\u0947 \u0938\u092d\u0940 \u0938\u0949\u092b\u093c\u094d\u091f\u0935\u0947\u092f\u0930 \u0921\u0947\u0935\u0932\u092a\u0930\u094d\u0938 \u0915\u0947 \u0932\u093f\u090f \u0915\u092e \u0938\u0941\u0932\u092d \u0939\u094b \u091c\u093e\u0924\u0947 \u0939\u0948\u0902\u0964<\/p>\n<\/li>\n<\/ol>\n<p>\u0907\u0928 \u091a\u0941\u0928\u094c\u0924\u093f\u092f\u094b\u0902 \u0915\u093e \u0938\u092e\u093e\u0927\u093e\u0928 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f, \u0936\u094b\u0927\u0915\u0930\u094d\u0924\u093e \u0914\u0930 \u091a\u093f\u0915\u093f\u0924\u094d\u0938\u0915 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u094b\u0902 \u0915\u094b \u0905\u0927\u093f\u0915 \u0935\u094d\u092f\u093e\u0935\u0939\u093e\u0930\u093f\u0915 \u092c\u0928\u093e\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0932\u0917\u093e\u0924\u093e\u0930 \u0905\u0927\u093f\u0915 \u0915\u0941\u0936\u0932 \u090f\u0932\u094d\u0917\u094b\u0930\u093f\u0926\u092e \u0914\u0930 \u0909\u092a\u092f\u094b\u0917\u0915\u0930\u094d\u0924\u093e-\u0905\u0928\u0941\u0915\u0942\u0932 \u0909\u092a\u0915\u0930\u0923 \u0935\u093f\u0915\u0938\u093f\u0924 \u0915\u0930\u0924\u0947 \u0939\u0948\u0902\u0964<\/p>\n<h2>\u092e\u0941\u0916\u094d\u092f \u0935\u093f\u0936\u0947\u0937\u0924\u093e\u090f\u0901 \u0914\u0930 \u0938\u092e\u093e\u0928 \u0936\u092c\u094d\u0926\u094b\u0902 \u0915\u0947 \u0938\u093e\u0925 \u0924\u0941\u0932\u0928\u093e<\/h2>\n<table>\n<thead>\n<tr>\n<th>\u0905\u0935\u0927\u093f<\/th>\n<th>\u0935\u093f\u0935\u0930\u0923<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u0947<\/td>\n<td>\u0938\u0949\u092b\u093c\u094d\u091f\u0935\u0947\u092f\u0930 \u0914\u0930 \u0939\u093e\u0930\u094d\u0921\u0935\u0947\u092f\u0930 \u0915\u094b \u0928\u093f\u0930\u094d\u0926\u093f\u0937\u094d\u091f \u0915\u0930\u0928\u0947, \u0921\u093f\u091c\u093c\u093e\u0907\u0928 \u0915\u0930\u0928\u0947 \u0914\u0930 \u0938\u0924\u094d\u092f\u093e\u092a\u093f\u0924 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0917\u0923\u093f\u0924\u0940\u092f \u0924\u0915\u0928\u0940\u0915\u0947\u0902\u0964<\/td>\n<\/tr>\n<tr>\n<td>\u0938\u0949\u092b\u093c\u094d\u091f\u0935\u0947\u092f\u0930 \u0938\u0924\u094d\u092f\u093e\u092a\u0928<\/td>\n<td>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u094b\u0902 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0915\u0930\u0915\u0947 \u0938\u0949\u092b\u093c\u094d\u091f\u0935\u0947\u092f\u0930 \u0915\u0940 \u0936\u0941\u0926\u094d\u0927\u0924\u093e \u0938\u093e\u092c\u093f\u0924 \u0915\u0930\u0928\u0947 \u092a\u0930 \u0927\u094d\u092f\u093e\u0928 \u0915\u0947\u0902\u0926\u094d\u0930\u093f\u0924 \u0915\u0930\u0924\u093e \u0939\u0948\u0964<\/td>\n<\/tr>\n<tr>\n<td>\u0938\u0949\u092b\u093c\u094d\u091f\u0935\u0947\u092f\u0930 \u0938\u0924\u094d\u092f\u093e\u092a\u0928<\/td>\n<td>\u092f\u0939 \u0938\u0941\u0928\u093f\u0936\u094d\u091a\u093f\u0924 \u0915\u0930\u0928\u093e \u0915\u093f \u0938\u0949\u092b\u093c\u094d\u091f\u0935\u0947\u092f\u0930 \u0928\u093f\u0930\u094d\u0926\u093f\u0937\u094d\u091f \u0906\u0935\u0936\u094d\u092f\u0915\u0924\u093e\u0913\u0902 \u0914\u0930 \u0917\u094d\u0930\u093e\u0939\u0915\u094b\u0902 \u0915\u0940 \u0906\u0935\u0936\u094d\u092f\u0915\u0924\u093e\u0913\u0902 \u0915\u094b \u092a\u0942\u0930\u093e \u0915\u0930\u0924\u093e \u0939\u0948\u0964<\/td>\n<\/tr>\n<tr>\n<td>\u0938\u0949\u092b\u093c\u094d\u091f\u0935\u0947\u092f\u0930 \u092a\u0930\u0940\u0915\u094d\u0937\u0923<\/td>\n<td>\u092a\u0942\u0930\u094d\u0923\u0924\u093e \u0915\u0940 \u0917\u093e\u0930\u0902\u091f\u0940 \u0915\u0947 \u092c\u093f\u0928\u093e, \u0926\u094b\u0937 \u0922\u0942\u0902\u0922\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0938\u0949\u092b\u093c\u094d\u091f\u0935\u0947\u092f\u0930 \u0928\u093f\u0937\u094d\u092a\u093e\u0926\u093f\u0924 \u0915\u0930\u0928\u093e\u0964<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p>\u0939\u093e\u0932\u093e\u0901\u0915\u093f \u0938\u0949\u092b\u093c\u094d\u091f\u0935\u0947\u092f\u0930 \u092a\u0930\u0940\u0915\u094d\u0937\u0923 \u0926\u094b\u0937\u094b\u0902 \u0915\u0940 \u092a\u0939\u091a\u093e\u0928 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u092e\u0939\u0924\u094d\u0935\u092a\u0942\u0930\u094d\u0923 \u0939\u0948, \u0932\u0947\u0915\u093f\u0928 \u092f\u0939 \u0936\u0941\u0926\u094d\u0927\u0924\u093e \u0915\u093e \u0938\u0902\u092a\u0942\u0930\u094d\u0923 \u092a\u094d\u0930\u092e\u093e\u0923 \u092a\u094d\u0930\u0926\u093e\u0928 \u0928\u0939\u0940\u0902 \u0915\u0930 \u0938\u0915\u0924\u093e \u0939\u0948\u0964 \u0926\u0942\u0938\u0930\u0940 \u0913\u0930, \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u0947 \u0915\u0920\u094b\u0930 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0915\u0940 \u092a\u0947\u0936\u0915\u0936 \u0915\u0930\u0924\u0947 \u0939\u0948\u0902 \u0932\u0947\u0915\u093f\u0928 \u0905\u0927\u093f\u0915 \u0938\u0902\u0938\u093e\u0927\u0928-\u0917\u0939\u0928 \u0939\u094b \u0938\u0915\u0924\u0947 \u0939\u0948\u0902\u0964<\/p>\n<h2>\u092d\u0935\u093f\u0937\u094d\u092f \u0915\u0947 \u092a\u0930\u093f\u092a\u094d\u0930\u0947\u0915\u094d\u0937\u094d\u092f \u0914\u0930 \u092a\u094d\u0930\u094c\u0926\u094d\u092f\u094b\u0917\u093f\u0915\u093f\u092f\u093e\u0901<\/h2>\n<p>\u091c\u0948\u0938\u0947-\u091c\u0948\u0938\u0947 \u092a\u094d\u0930\u094c\u0926\u094d\u092f\u094b\u0917\u093f\u0915\u0940 \u0906\u0917\u0947 \u092c\u0922\u093c\u0924\u0940 \u0939\u0948, \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u094b\u0902 \u0915\u0947 \u0905\u0927\u093f\u0915 \u0936\u0915\u094d\u0924\u093f\u0936\u093e\u0932\u0940 \u0914\u0930 \u0938\u0941\u0932\u092d \u0939\u094b\u0928\u0947 \u0915\u0940 \u0909\u092e\u094d\u092e\u0940\u0926 \u0939\u0948\u0964 \u0915\u0941\u091b \u092d\u0935\u093f\u0937\u094d\u092f \u0915\u0947 \u0926\u0943\u0937\u094d\u091f\u093f\u0915\u094b\u0923\u094b\u0902 \u092e\u0947\u0902 \u0936\u093e\u092e\u093f\u0932 \u0939\u0948\u0902:<\/p>\n<ol>\n<li>\n<p><strong>\u092c\u0922\u093c\u093e \u0939\u0941\u0906 \u0938\u094d\u0935\u091a\u093e\u0932\u0928:<\/strong> \u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0924\u0930\u094d\u0915 \u0914\u0930 \u092e\u0949\u0921\u0932 \u091c\u093e\u0901\u091a \u092e\u0947\u0902 \u092a\u094d\u0930\u0917\u0924\u093f \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u092a\u094d\u0930\u0915\u094d\u0930\u093f\u092f\u093e \u0915\u094b \u0938\u0941\u0935\u094d\u092f\u0935\u0938\u094d\u0925\u093f\u0924 \u0915\u0930\u0947\u0917\u0940\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0935\u093f\u0915\u093e\u0938 \u0909\u092a\u0915\u0930\u0923\u094b\u0902 \u0915\u0947 \u0938\u093e\u0925 \u090f\u0915\u0940\u0915\u0930\u0923:<\/strong> \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u094b\u0902 \u0915\u094b \u0932\u094b\u0915\u092a\u094d\u0930\u093f\u092f \u0906\u0908\u0921\u0940\u0908 \u092e\u0947\u0902 \u090f\u0915\u0940\u0915\u0943\u0924 \u0915\u093f\u092f\u093e \u091c\u093e \u0938\u0915\u0924\u093e \u0939\u0948, \u091c\u093f\u0938\u0938\u0947 \u0935\u0947 \u0921\u0947\u0935\u0932\u092a\u0930\u094d\u0938 \u0915\u0947 \u0932\u093f\u090f \u0905\u0927\u093f\u0915 \u0938\u0941\u0932\u092d \u0939\u094b \u091c\u093e\u090f\u0902\u0917\u0947\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u092a\u094d\u0930\u092e\u093e\u0923\u0928 \u092e\u093e\u0928\u0915:<\/strong> \u0935\u093f\u0928\u093f\u092f\u093e\u092e\u0915 \u0928\u093f\u0915\u093e\u092f\u094b\u0902 \u0915\u094b \u092e\u0939\u0924\u094d\u0935\u092a\u0942\u0930\u094d\u0923 \u092a\u094d\u0930\u0923\u093e\u0932\u093f\u092f\u094b\u0902 \u0915\u0947 \u0932\u093f\u090f \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0915\u0940 \u0906\u0935\u0936\u094d\u092f\u0915\u0924\u093e \u0939\u094b \u0938\u0915\u0924\u0940 \u0939\u0948, \u091c\u093f\u0938\u0938\u0947 \u0935\u094d\u092f\u093e\u092a\u0915 \u0930\u0942\u092a \u0938\u0947 \u0905\u092a\u0928\u093e\u092f\u093e \u091c\u093e \u0938\u0915\u0947\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u090f\u0906\u0908 \u092e\u0947\u0902 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u0947:<\/strong> \u090f\u0906\u0908 \u0938\u093f\u0938\u094d\u091f\u092e \u0915\u0940 \u0938\u0941\u0930\u0915\u094d\u0937\u093e \u0914\u0930 \u0935\u093f\u0936\u094d\u0935\u0938\u0928\u0940\u092f\u0924\u093e \u0938\u0941\u0928\u093f\u0936\u094d\u091a\u093f\u0924 \u0915\u0930\u0928\u0947 \u092e\u0947\u0902 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u0947 \u092e\u0939\u0924\u094d\u0935\u092a\u0942\u0930\u094d\u0923 \u092d\u0942\u092e\u093f\u0915\u093e \u0928\u093f\u092d\u093e \u0938\u0915\u0924\u0947 \u0939\u0948\u0902\u0964<\/p>\n<\/li>\n<\/ol>\n<h2>\u092a\u094d\u0930\u0949\u0915\u094d\u0938\u0940 \u0938\u0930\u094d\u0935\u0930 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0915\u0948\u0938\u0947 \u0915\u093f\u092f\u093e \u091c\u093e \u0938\u0915\u0924\u093e \u0939\u0948 \u092f\u093e \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u094b\u0902 \u0938\u0947 \u0938\u0902\u092c\u0926\u094d\u0927 \u0915\u093f\u092f\u093e \u091c\u093e \u0938\u0915\u0924\u093e \u0939\u0948<\/h2>\n<p>\u092a\u094d\u0930\u0949\u0915\u094d\u0938\u0940 \u0938\u0930\u094d\u0935\u0930, \u091c\u0948\u0938\u0947 \u0915\u093f OneProxy \u0926\u094d\u0935\u093e\u0930\u093e \u092a\u094d\u0930\u0926\u093e\u0928 \u0915\u093f\u090f \u0917\u090f, \u0935\u093f\u092d\u093f\u0928\u094d\u0928 \u0924\u0930\u0940\u0915\u094b\u0902 \u0938\u0947 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u094b\u0902 \u0938\u0947 \u0932\u093e\u092d \u0909\u0920\u093e \u0938\u0915\u0924\u0947 \u0939\u0948\u0902:<\/p>\n<ol>\n<li>\n<p><strong>\u0938\u0941\u0930\u0915\u094d\u0937\u093e \u0915\u093e \u0938\u0924\u094d\u092f\u093e\u092a\u0928:<\/strong> \u0921\u0947\u091f\u093e \u0917\u094b\u092a\u0928\u0940\u092f\u0924\u093e \u0914\u0930 \u0905\u0916\u0902\u0921\u0924\u093e \u0938\u0941\u0928\u093f\u0936\u094d\u091a\u093f\u0924 \u0915\u0930\u0924\u0947 \u0939\u0941\u090f, \u092a\u094d\u0930\u0949\u0915\u094d\u0938\u0940 \u0938\u0930\u094d\u0935\u0930 \u0938\u0949\u092b\u093c\u094d\u091f\u0935\u0947\u092f\u0930 \u0915\u0947 \u0938\u0941\u0930\u0915\u094d\u0937\u093e \u0917\u0941\u0923\u094b\u0902 \u0915\u094b \u0938\u0924\u094d\u092f\u093e\u092a\u093f\u0924 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u094b\u0902 \u0915\u094b \u0932\u093e\u0917\u0942 \u0915\u093f\u092f\u093e \u091c\u093e \u0938\u0915\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0932\u094b\u0921 \u0938\u0902\u0924\u0941\u0932\u0928 \u0905\u0928\u0941\u0915\u0942\u0932\u0928:<\/strong> \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u0947 \u0932\u094b\u0921 \u0938\u0902\u0924\u0941\u0932\u0928 \u090f\u0932\u094d\u0917\u094b\u0930\u093f\u0926\u092e \u0915\u094b \u0905\u0928\u0941\u0915\u0942\u0932\u093f\u0924 \u0915\u0930\u0928\u0947, \u0938\u0930\u094d\u0935\u0930 \u092a\u094d\u0930\u0926\u0930\u094d\u0936\u0928 \u0915\u094b \u092c\u0922\u093c\u093e\u0928\u0947 \u092e\u0947\u0902 \u0938\u0939\u093e\u092f\u0924\u093e \u0915\u0930 \u0938\u0915\u0924\u0947 \u0939\u0948\u0902\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0935\u093f\u0936\u094d\u0935\u0938\u0928\u0940\u092f\u0924\u093e \u0906\u0936\u094d\u0935\u093e\u0938\u0928:<\/strong> \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928 \u0935\u093f\u0936\u094d\u0935\u0938\u0928\u0940\u092f \u0938\u0947\u0935\u093e \u0935\u093f\u0924\u0930\u0923 \u0938\u0941\u0928\u093f\u0936\u094d\u091a\u093f\u0924 \u0915\u0930\u0924\u0947 \u0939\u0941\u090f, \u092a\u094d\u0930\u0949\u0915\u094d\u0938\u0940 \u0938\u0930\u094d\u0935\u0930 \u0915\u0949\u0928\u094d\u092b\u093c\u093f\u0917\u0930\u0947\u0936\u0928 \u092e\u0947\u0902 \u0938\u0902\u092d\u093e\u0935\u093f\u0924 \u092e\u0941\u0926\u094d\u0926\u094b\u0902 \u0915\u0940 \u092a\u0939\u091a\u093e\u0928 \u0915\u0930\u0928\u0947 \u092e\u0947\u0902 \u092e\u0926\u0926 \u0915\u0930 \u0938\u0915\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u092f\u093e\u0924\u093e\u092f\u093e\u0924 \u0935\u093f\u0936\u094d\u0932\u0947\u0937\u0923:<\/strong> \u0928\u0947\u091f\u0935\u0930\u094d\u0915 \u091f\u094d\u0930\u0948\u092b\u093c\u093f\u0915 \u092a\u0948\u091f\u0930\u094d\u0928 \u0915\u093e \u0935\u093f\u0936\u094d\u0932\u0947\u0937\u0923 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u094b\u0902 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0915\u093f\u092f\u093e \u091c\u093e \u0938\u0915\u0924\u093e \u0939\u0948, \u091c\u093f\u0938\u0938\u0947 \u0905\u0927\u093f\u0915 \u0915\u0941\u0936\u0932 \u092a\u094d\u0930\u0949\u0915\u094d\u0938\u0940 \u0938\u0930\u094d\u0935\u0930 \u092a\u094d\u0930\u092c\u0902\u0927\u0928 \u0938\u0915\u094d\u0937\u092e \u0939\u094b \u0938\u0915\u0947\u0964<\/p>\n<\/li>\n<\/ol>\n<h2>\u0938\u092e\u094d\u092c\u0902\u0927\u093f\u0924 \u0932\u093f\u0902\u0915\u094d\u0938<\/h2>\n<ul>\n<li><a href=\"https:\/\/en.wikipedia.org\/wiki\/Formal_methods\" target=\"_new\" rel=\"noopener nofollow\">\u0938\u0949\u092b\u094d\u091f\u0935\u0947\u092f\u0930 \u0907\u0902\u091c\u0940\u0928\u093f\u092f\u0930\u093f\u0902\u0917 \u092e\u0947\u0902 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u0947<\/a><\/li>\n<li><a href=\"https:\/\/www.cs.cmu.edu\/~modelcheck\/ICFEM_modelchecking.pdf\" target=\"_new\" rel=\"noopener nofollow\">\u092e\u0949\u0921\u0932 \u091c\u093e\u0901\u091a \u0915\u093e \u092a\u0930\u093f\u091a\u092f<\/a><\/li>\n<li><a href=\"https:\/\/www.springer.com\/gp\/book\/9780387297658\" target=\"_new\" rel=\"noopener nofollow\">\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u0947 \u0914\u0930 \u0938\u0941\u0930\u0915\u094d\u0937\u093e<\/a><\/li>\n<\/ul>\n<p>\u0905\u0902\u0924 \u092e\u0947\u0902, \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0935\u093f\u0927\u093f\u092f\u093e\u0901 \u0938\u0949\u092b\u093c\u094d\u091f\u0935\u0947\u092f\u0930 \u0914\u0930 \u0939\u093e\u0930\u094d\u0921\u0935\u0947\u092f\u0930 \u0938\u093f\u0938\u094d\u091f\u092e \u0915\u0940 \u0936\u0941\u0926\u094d\u0927\u0924\u093e \u0914\u0930 \u0935\u093f\u0936\u094d\u0935\u0938\u0928\u0940\u092f\u0924\u093e \u0938\u0941\u0928\u093f\u0936\u094d\u091a\u093f\u0924 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0909\u092a\u0915\u0930\u0923\u094b\u0902 \u0915\u093e \u090f\u0915 \u0936\u0915\u094d\u0924\u093f\u0936\u093e\u0932\u0940 \u0938\u0947\u091f \u092a\u094d\u0930\u0926\u093e\u0928 \u0915\u0930\u0924\u0940 \u0939\u0948\u0902\u0964 \u091c\u0948\u0938\u0947-\u091c\u0948\u0938\u0947 \u092a\u094d\u0930\u094c\u0926\u094d\u092f\u094b\u0917\u093f\u0915\u0940 \u0935\u093f\u0915\u0938\u093f\u0924 \u0939\u094b\u0924\u0940 \u0939\u0948, \u0935\u093f\u0915\u093e\u0938 \u092a\u094d\u0930\u0915\u094d\u0930\u093f\u092f\u093e\u0913\u0902 \u092e\u0947\u0902 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u094b\u0902 \u0915\u093e \u090f\u0915\u0940\u0915\u0930\u0923 \u0905\u0927\u093f\u0915 \u092a\u094d\u0930\u091a\u0932\u093f\u0924 \u0939\u094b\u0928\u0947 \u0915\u0940 \u0909\u092e\u094d\u092e\u0940\u0926 \u0939\u0948, \u091c\u093f\u0938\u0938\u0947 \u0935\u093f\u092d\u093f\u0928\u094d\u0928 \u0909\u0926\u094d\u092f\u094b\u0917\u094b\u0902 \u092e\u0947\u0902 \u0905\u0927\u093f\u0915 \u0938\u0941\u0930\u0915\u094d\u0937\u093f\u0924, \u0938\u0941\u0930\u0915\u094d\u0937\u093f\u0924 \u0914\u0930 \u092d\u0930\u094b\u0938\u0947\u092e\u0902\u0926 \u092a\u094d\u0930\u0923\u093e\u0932\u093f\u092f\u093e\u0902 \u0935\u093f\u0915\u0938\u093f\u0924 \u0939\u094b\u0902\u0917\u0940\u0964 \u091c\u092c \u092a\u094d\u0930\u0949\u0915\u094d\u0938\u0940 \u0938\u0930\u094d\u0935\u0930 \u092a\u0930 \u0932\u093e\u0917\u0942 \u0915\u093f\u092f\u093e \u091c\u093e\u0924\u093e \u0939\u0948, \u0924\u094b \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u0947 \u0938\u0941\u0930\u0915\u094d\u0937\u093e, \u0935\u093f\u0936\u094d\u0935\u0938\u0928\u0940\u092f\u0924\u093e \u0914\u0930 \u092a\u094d\u0930\u0926\u0930\u094d\u0936\u0928 \u0915\u094b \u092c\u0922\u093c\u093e \u0938\u0915\u0924\u0947 \u0939\u0948\u0902, \u091c\u093f\u0938\u0938\u0947 \u0935\u0947 \u0906\u0927\u0941\u0928\u093f\u0915 \u0928\u0947\u091f\u0935\u0930\u094d\u0915 \u092a\u094d\u0930\u092c\u0902\u0927\u0928 \u0915\u093e \u090f\u0915 \u0905\u0928\u093f\u0935\u093e\u0930\u094d\u092f \u092a\u0939\u0932\u0942 \u092c\u0928 \u091c\u093e\u0924\u0947 \u0939\u0948\u0902\u0964 \u092a\u094d\u0930\u0949\u0915\u094d\u0938\u0940 \u0938\u0930\u094d\u0935\u0930 \u092a\u094d\u0930\u0926\u093e\u0924\u093e \u0915\u0947 \u0930\u0942\u092a \u092e\u0947\u0902 OneProxy, \u0905\u092a\u0928\u0940 \u0938\u0947\u0935\u093e\u0913\u0902 \u0915\u094b \u092e\u091c\u092c\u0942\u0924 \u0915\u0930\u0928\u0947 \u0914\u0930 \u0917\u094d\u0930\u093e\u0939\u0915 \u0938\u0902\u0924\u0941\u0937\u094d\u091f\u093f \u0915\u0947 \u0909\u091a\u094d\u091a\u0924\u092e \u0938\u094d\u0924\u0930 \u0915\u094b \u0938\u0941\u0928\u093f\u0936\u094d\u091a\u093f\u0924 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u0940\u0915\u094b\u0902 \u0915\u093e \u0932\u093e\u092d \u0909\u0920\u093e \u0938\u0915\u0924\u093e \u0939\u0948\u0964<\/p>","protected":false},"featured_media":468435,"menu_order":0,"template":"","meta":{"_acf_changed":false,"content-type":"","inline_featured_image":false,"footnotes":""},"class_list":["post-477279","wiki","type-wiki","status-publish","has-post-thumbnail","hentry"],"acf":{"faq_title":"Frequently Asked Questions about <mark>Formal Methods for the Website of OneProxy (oneproxy.pro)<\/mark>","faq_items":[{"question":"What are formal methods?","answer":"<p>Formal methods refer to a set of mathematical techniques and tools used for the specification, design, verification, and validation of software and hardware systems. These methods employ rigorous mathematical models to ensure the correctness and reliability of systems, eliminating potential errors and vulnerabilities.<\/p>"},{"question":"How did formal methods originate?","answer":"<p>The concept of formal methods can be traced back to the early 20th century when mathematicians and logicians began exploring methods to formalize mathematical proofs and reasoning. However, the formal methods as applied to software engineering emerged in the late 1960s and early 1970s. The development of formal specification languages like Z, VDM, and others in the 1970s marked a significant advancement in the field.<\/p>"},{"question":"How do formal methods work?","answer":"<p>Formal methods leverage mathematical logic, automata theory, set theory, and other mathematical disciplines to create precise models of system requirements and behavior. By describing systems using these formal models, developers can mathematically reason about their correctness and performance.<\/p>"},{"question":"What are the key features of formal methods?","answer":"<p>Formal methods offer several key features that make them invaluable in software and hardware development. They provide precision and rigor, enable verification of critical systems, facilitate bug detection and prevention, allow for formal proofs, and offer automated analysis.<\/p>"},{"question":"What types of formal methods exist?","answer":"<p>There are various types of formal methods, including model checking, theorem proving, formal specification, and static analysis. Each type has specific applications and benefits in verifying and reasoning about system correctness.<\/p>"},{"question":"How can formal methods be used in software development?","answer":"<p>Formal methods can be utilized in various ways throughout the software development process, such as requirements analysis, design validation, code verification, and model-based development.<\/p>"},{"question":"What are the challenges associated with formal methods?","answer":"<p>While formal methods offer significant advantages, they also face challenges, including complexity and the need for specialized expertise. However, ongoing research aims to address these challenges and make formal methods more practical.<\/p>"},{"question":"What are the future perspectives for formal methods?","answer":"<p>As technology advances, formal methods are expected to become more powerful and accessible. Increased automation, integration with development tools, certification standards, and applications in AI systems are among the future perspectives for formal methods.<\/p>"},{"question":"How are proxy servers associated with formal methods?","answer":"<p>Proxy servers, like OneProxy, can benefit from formal methods by enhancing security verification, optimizing load balancing, ensuring reliability, and analyzing network traffic patterns.<\/p>"},{"question":"Where can I find more information about formal methods?","answer":"<p>For more information about formal methods, you can explore the related links section of this article, which provides valuable resources on the topic.<\/p>"}]},"_links":{"self":[{"href":"https:\/\/oneproxy.pro\/in\/wp-json\/wp\/v2\/wiki\/477279","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/oneproxy.pro\/in\/wp-json\/wp\/v2\/wiki"}],"about":[{"href":"https:\/\/oneproxy.pro\/in\/wp-json\/wp\/v2\/types\/wiki"}],"version-history":[{"count":0,"href":"https:\/\/oneproxy.pro\/in\/wp-json\/wp\/v2\/wiki\/477279\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/oneproxy.pro\/in\/wp-json\/wp\/v2\/media\/468435"}],"wp:attachment":[{"href":"https:\/\/oneproxy.pro\/in\/wp-json\/wp\/v2\/media?parent=477279"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}