‫ﺯﺑﺎﻥ ﻫﺎﻱ ﺗﻮﺻﻴﻒ ﺳﺨﺖ ﺍﻓﺰﺍﺭ‬
‫ﭘﺎﻳﻴﺰ ‪90‬‬
‫ﺗﻤﺮﻳﻦ ﺳﺮﻱ ﺳﻮﻡ‪ -‬ﺳﻨﺘﺰ‬
‫ﺳﻮﺍﻝ ‪1‬‬
‫ﺑﺮﺍﻱ ﺗﺎﺑﻊ ﺯﻳﺮ ‪ OBDD‬ﻣﺮﺑﻮﻁ ﺑﻪ ﺁﻥ ﺭﺍ ﺑﻜﺸﻴﺪ‪.‬‬
‫)‪𝐹𝐹(𝐴𝐴, 𝐵𝐵, 𝐶𝐶, 𝐷𝐷, 𝐸𝐸) = ∑(1,5,8,10,12,13,14,15,17,21,24,26,31‬‬
‫ﺳﻮﺍﻝ ‪2‬‬
‫ﺑﺮﺍﻱ ‪ ROBDD‬ﺯﻳﺮ ﺑﻬﺘﺮﻳﻦ ﺗﺮﺗﻴﺐ ﻣﻤﻜﻦ ﺑﺮﺍﻱ ﻣﺘﻐﻴﺮ ﻫﺎ ﺭﺍ ﺑﻴﺎﺑﻴﺪ ﻭ ‪ ROBDD‬ﻧﺘﻴﺠﻪ ﺭﺍ ﺑﺴﺎﺯﻳﺪ‪ .‬ﺍﻳﻦ ﺩﻭ ‪ ROBDD‬ﺭﺍ ﺍﺯ‬
‫ﻟﺤﺎﻅ ﻫﺰﻳﻨﻪ ﭘﻴﺎﺩﻩ ﺳﺎﺯﻱ )‪ (Cost of Implementation‬ﺑﺮﺭﺳﻲ ﻛﻨﻴﺪ‪.‬‬
‫ﺯﺑﺎﻥ ﻫﺎﻱ ﺗﻮﺻﻴﻒ ﺳﺨﺖ ﺍﻓﺰﺍﺭ‬
‫ﭘﺎﻳﻴﺰ ‪90‬‬
‫ﺳﻮﺍﻝ ‪3‬‬
‫ﺑﺮﺍﻱ ﻣﺪﺍﺭ ﻣﻨﻄﻘﻲ ﺩﺭ ﻧﻈﺮ ﮔﺮﻓﺘﻪ ﺷﺪﻩ‪ ،‬ﻣﻌﺎﺩﻟﻪ ﻣﺸﺨﺼﻪ ﺯﻳﺮ ﺭﺍ ﺩﺭ ﻧﻈﺮ ﺑﮕﻴﺮﻳﺪ‪:‬‬
‫)’‪F = (B0 + S1 + S0 + z’) (B’0 + S1 + S0 + z) (B1 + S1 + S’0 + z’) (B’1 + S1 + S’0 + z) (B’1 + S’1 + S0 + z‬‬
‫)’‪(B1 + S’1 + S0 + z) (B2 + S’1 + S’0 + z’) (B’2 + S’1 + S’0 + z) (x’ + z’ + G)(z + G’)(x + G‬‬
‫ﺑﺎ ﺍﺳﺘﻔﺎﺩﻩ ﺍﺯ ‪ SAT Solver‬ﻣﺸﺨﺺ ﻛﻨﻴﺪ ﻛﻪ ﻛﺪﺍﻡ ﻳﻚ ﺍﺯ ﺩﻭ ﺗﺎﺑﻊ ﺯﻳﺮ ﺭﺍ ﻣﻲ ﺗﻮﺍﻥ ﺑﺎ ﻣﺪﺍﺭ ﺑﺎﻻ ﻧﺴﺒﺖ ﺩﺍﺩ ) ‪ map‬ﻛﺮﺩ(‪.‬‬
‫ﺑﺮﺍﻱ ﺗﺎﺑﻌﻲ ﻛﻪ ﻧﻤﻲ ﺗﻮﺍﻥ ﺁﻥ ﺭﺍ ﻧﺴﺒﺖ ﺩﺍﺩ‪ ،‬ﺟﻤﻠﻪ ﻫﺎﻱ ﻛﻪ ﺑﺎﻋﺚ ‪ conflict‬ﻣﻲ ﺷﻮﺩ ﺭﺍ ﺑﻨﻮﻳﺴﻴﺪ‪.‬‬
‫‪) f1 = XS1S0 + XS1S’0 + XS’1S’0‬ﺍﻟﻒ‬
‫‪) f2 = XS1S0‬ﺏ‬
‫ﺯﺑﺎﻥ ﻫﺎﻱ ﺗﻮﺻﻴﻒ ﺳﺨﺖ ﺍﻓﺰﺍﺭ‬
‫ﭘﺎﻳﻴﺰ ‪90‬‬
‫‪U‬‬
‫ﻣﻬﻠﺖ ﺗﺤﻮﻳﻞ‬
‫‪ 11‬ﺁﺫﺭ ‪90‬‬
‫ﻧﻜﺎﺕ ﻋﻤﻮﻣﻲ‬
‫‪ .1‬ﺗﻤﺮﻳﻦ ﺧﻮﺩ ﺭﺍ ﺗﺎ ﻗﺒﻞ ﺍﺯ ﻣﻬﻠﺖ ﺁﻥ ﺩﺭ ﻛﻼﺱ ﺩﺭﺱ ﺗﺤﻮﻳﻞ ﺩﻫﻴﺪ ﻭ ﻳﺎ ﺑﻪ ﺁﺩﺭﺱ‬
‫ﻣﺮﺗﺒﻂ ﻭ ﻧﺎﻡ ﻭ ﺷﻤﺎﺭﻩ ﺩﺍﻧﺸﺠﻮﻳﻲ(‬
‫‪U‬‬
‫‪) [email protected]‬ﺑﺎ ﻋﻨﻮﺍﻧﻲ‬
‫‪U‬‬
‫ﺍﺭﺳﺎﻝ ﻛﻨﻴﺪ‪.‬‬
‫‪ .2‬ﺑﻪ ﺍﺯﺍﻱ ﻫﺮ ﺭﻭﺯ ﺗﺎﺧﻴﺮ ‪ %10‬ﺍﺯ ﻧﻤﺮﻩ ﺗﻤﺮﻳﻦ ﻛﺴﺮ ﻣﻲ ﺷﻮﺩ‪.‬‬
‫ﺍﻳﺰﺩﻱ ﺭﺍﺩ‬