ط¬ط¯ظˆظ„ط© ط§ط¹ظ…ط§ظ„ ط±ط§ظپط¹ط§طھ ط§ظ„ط­ط§ظˆظٹط§طھ ظپظٹ ط§ط±طµظپط© ط§ظ„ظ…ظˆط§ظ†ظٹط، ط¨ط¥ط³طھط®ط¯ط§ظ… ط®ظˆط§ط±ط²ظ…ظٹط© ط§ط³طھط¯ظ„ط§ظ„ ط°ط§طھظٹط© ط§ظ„طھظƒظٹظپ

2021-12-17

ط¹طµط§ظ… ط·ظ‡ ظٹط§ط³ظٹظ†طŒ ظ…ط³ط±ظٹ ط§ظٹظˆط¨طŒ ط¹ظ„ط§ط، ط¹ط¨ط¯ ط§ظ„ظ‚ظ‡ط§ط± ط¬ظ‡ط§ط¯طŒ ظ…ط­ظ…ط¯ ط²ظƒط±ظٹ ط§ط­ظ…ط¯

ظٹظ…ط«ظ„ طھط­ظ‚ظٹظ‚ ط§ظ„طھظˆط§ط²ظ† ط¨ظٹظ† طھظ‚ظ„ظٹظ„ ط§ط³طھط®ط¯ط§ظ… ط§ظ„ظ…ظˆط§ط±ط¯ ظˆط²ظٹط§ط¯ط© ط§ظ„ط£ط±ط¨ط§ط­ ط£ظ‡ظ… ط¹ط§ظ…ظ„ ظپظٹ طھط·ط¨ظٹظ‚ط§طھ ط§ظ„ط­ظٹط§ط© ط§ظ„ظˆط§ظ‚ط¹ظٹط©. ظ„ط°ظ„ظƒ طھط¹ظ…ظ„ ط¬ظ…ظٹط¹ ط§ظ„ط´ط±ظƒط§طھ (ط®ط§طµط© ظپظٹ ظ…ط¬ط§ظ„ظٹ ط§ظ„ظ†ظ‚ظ„ ظˆط§ظ„طھظˆط²ظٹط¹) ط¹ظ„ظ‰ طھط­ظ‚ظٹظ‚ ط°ظ„ظƒ ط§ظ„طھظˆط§ط²ظ† ط§ظ„ط°ظٹ ظٹط¶ظ…ظ† ظ†ط¬ط§ط­ظ‡ط§ ظˆط§ط³طھظ…ط±ط§ط±ظٹطھظ‡ط§. ط§ظ„ط§ ط§ظ† ظ‡ط°ط§ ط§ظ„طھظˆط§ط²ظ† ظٹط¹طھط¨ط± ط§ظ„طھط­ط¯ظٹ ط§ظ„ط±ط¦ظٹط³ظٹ ط§ظ„ط°ظٹ ظٹظˆط§ط¬ظ‡ ظ‡ط°ظ‡ ط§ظ„ط´ط±ظƒط§طھ ط¨ط³ط¨ط¨ ط­ظ‚ظٹظ‚ط© ط£ظ† ط§ط؛ظ„ط¨ ظ‡ط°ظ‡ ط§ظ„ظ…ط¬ط§ظ„ط§طھ طھظƒظˆظ† ظ…ط¹ظ‚ط¯ط© ظ…ظ† ط­ظٹط« ط·ط¨ظٹط¹ط© ط§ظ„ط§ط¹ظ…ط§ظ„ ظˆظ…ظ‚ظٹط¯ط© ظ„ظ„ط؛ط§ظٹط© ط§ط¶ط§ظپط© ط§ظ„ظ‰ ط§ظ† ظ…ظˆط§ط±ط¯ظ‡ط§ ظ…ط­ط¯ظˆط¯ط© ظˆظ…ظƒظ„ظپط©.

طھط¹ط¯ ط¬ط¯ظˆظ„ط© ظ…ظ‡ط§ظ… ط¹ظ…ظ„ ط±ط§ظپط¹ط§طھ ط§ظ„ط£ط±طµظپط© ظپظٹ ظ„ظ…ط­ط·ط§طھ ط§ظ„ط­ط§ظˆظٹط§طھ ظپظٹ ط§ظ„ظ…ظˆط§ظ†ظٹط، (QCSP) ظˆط§ط­ط¯ط© ظ…ظ† ط§ظ‡ظ… ط§ظ„ظ…ط´ط§ظƒظ„ ط§ظ„طھظٹ طھظˆط§ط¬ظ‡ظ‡ط§ ط´ط±ظƒط§طھ ط§ظ„ظ†ظ‚ظ„ ط¹ظ„ظ‰ ط§ظ„ط®ط·ظˆط· ط§ظ„ظ…ظ„ط§ط­ظٹط©. ظˆط§ظ„ظٹظˆظ… ظˆظپظ‚ظ‹ط§ ظ„ظ„ظ†ظ…ظˆ ط§ظ„ط³ظ†ظˆظٹ ط§ظ„ط³ط±ظٹط¹ ظ„ط­ط¬ظ… ط§ظ„ط­ط§ظˆظٹط§طھ ط§ظ„ظ…ظ†ظ‚ظˆظ„ط© ظˆظƒط«ط±ط© ط§ظ„طھط¨ط§ط¯ظ„ ط§ظ„طھط¬ط§ط±ظٹ ط§ظ„ط¯ظˆظ„ظٹطŒ ظٹظ…ط«ظ„ ط§ظ„ط¹ظ…ظ„ ظپظٹ ظ‡ط°ط§ ط§ظ„ظ…ط¬ط§ظ„ ظˆط§ظ„طھطµط¯ظٹ ظ„ظ‡ط°ط§ ط§ظ„ظ†ظˆط¹ ظ…ظ† ط§ظ„ظ…ط´ط§ظƒظ„ ظˆظ…ط­ط§ظˆظ„ط© طھظ‚ط¯ظٹظ… ط§ظ„ط­ظ„ظˆظ„ ط§ظ„ظ…ط«ظ„ظ‰ ظ„ظ‡ط§ ظ…ط¬ط§ظ„ظ‹ط§ ط®طµط¨ظ‹ط§ ظ„ظ„ط¯ط±ط§ط³ط© ظٹط¬ط°ط¨ ط§ظ„ط¨ط§ط­ط«ظٹظ† ظ…ظ† ظ…ط®طھظ„ظپ ط§ظ„طھط®طµطµط§طھ ظˆط§ظ„ظ…ط¬ط§ظ„ط§طھ ظˆط®ط§طµط© ظپظٹ ظ…ط¬ط§ظ„ظٹ ط¨ط­ظˆط« ط§ظ„ط¹ظ…ظ„ظٹط§طھ ظˆط§ظ„ط°ظƒط§ط، ط§ظ„ط§طµط·ظ†ط§ط¹ظٹ ظ„ط£ظ†ظ‡ط§ طھط¹ظ…ظ„ ط¹ظ„ظ‰ طھظ‚ظ„ظٹظ„ ط§ظ„طھظƒط§ظ„ظٹظپ ظˆط³ط±ط¹ط© ط§ظ†ط¬ط§ط² ط§ظ„ظ…ظ‡ط§ظ… ظˆط¯ظ‚طھظ‡ط§. ط§ظ„ظ‡ط¯ظپ ط§ظ„ط£ط³ط§ط³ظٹ ظ…ظ† ط­ظ„ ظ‡ط°ط§ ط§ظ„ظ†ظˆط¹ ظ…ظ† ط§ظ„ظ…ط´ط§ظƒظ„ ظ‡ظˆ طھط­ظ‚ظٹظ‚ ط³ط±ط¹ط© ظ†ظ‚ظ„ ظˆط­ط±ظƒط© ط§ظ„ط­ط§ظˆظٹط§طھ (ط§ظ„طھط­ظ…ظٹظ„ ظˆط§ظ„طھظپط±ظٹط؛) ط¨ط£ظ‚ظ„ طھظƒظ„ظپط© ظ…ظ…ظƒظ†ط© ظˆط¨ط§ط³ط±ط¹ ظˆظ‚طھ.

ظپظٹ ط§ظ„ط¢ظˆظ†ط© ط§ظ„ط£ط®ظٹط±ط© طŒ طھظ…ط«ظ„ ط®ظˆط§ط±ط²ظ…ظٹط§طھ ط§ظ„ط§ط³طھط¯ظ„ط§ظ„ ط§ظ„ظ…ط³طھظ†ط¯ط© ط¹ظ„ظ‰ ط§ظ„طھظƒظٹظپ ط§ظ„ط°ط§طھظٹ ظ…ط¬ظ…ظˆط¹ط© ظ…ظ† ط§ظ„ط®ظˆط§ط±ط²ظ…ظٹط§طھ ظˆط§ظ„ط·ط±ظ‚ ط§ظ„طھظٹ طھظ‡ط¯ظپ ط§ظ„ظ‰ ط­ظ„ ظ…ط®طھظ„ظپ ط§ظ„ظ…ط´ط§ظƒظ„ ط§ظ„طµط¹ط¨ط© ظˆط§ظ„ظ…ط¹ظ‚ط¯ط© ط§ط®ط°ط© ط¨ظ†ط¸ط± ط§ظ„ط§ط¹طھط¨ط§ط± ط·ط¨ظٹط¹ط© ط§ظ„ظ…ط´ظƒظ„ط© ظˆط­ط§ظ„ط© ط§ظ„ط¨ط­ط«. ظˆظپظ‚ظ‹ط§ ظ„ط°ظ„ظƒ طŒ ظپظٹ ظ‡ط°ظ‡ ط§ظ„ط¹ظ…ظ„ طŒ طھظ… ط§ظ‚طھط±ط§ط­ ط®ظˆط§ط±ط²ظٹط© ط§ط³طھط¯ظ„ط§ظ„ طھظƒظٹظپ ط°ط§طھظٹ (self-H) ظ„ط­ظ„ ظ…ط´ظƒظ„ط© ط§ظ„ط¬ط¯ظˆظ„ط© ط§ظ„ظ…ظ‚طھط±ط­ط© QCSP. طھطھظƒظˆظ† ط§ظ„ط®ظˆط§ط±ط²ظ…ظٹط© ط§ظ„ظ…ظ‚طھط±ط­ط©  Self-H ظ…ظ† ظ…ط±ط­ظ„طھظٹظ† ظ…ظ†ظپطµظ„طھظٹظ†: ط§ظ„ظ…ط±ط­ظ„ط© ط§ظ„ط¹ظ„ظٹط§ (LS-controller) ظˆط§ظ„ظ…ط±ط­ظ„ط© ط§ظ„ط³ظپظ„ظ‰ (QCSP-solver). ط£ط¸ظ‡ط±طھ ط§ظ„ظ†طھط§ط¦ط¬ ط£ظ† Self-H ط­ظ‚ظ‚طھ ظ†طھط§ط¦ط¬ طھظ†ط§ظپط³ظٹط© ظ…ظ‚ط§ط±ظ†ط© ظ…ط¹ ط§ظ„ط·ط±ظ‚ ط§ظ„ظ…ظ‚طھط±ط­ط© ط³ط§ط¨ظ‚ط§.

ط±ط§ط¨ط· ط§ظ„ط¨ط­ط«....