ሒሳብና ስሌት

የዘፈቀደ ማትሪክስ ሙከራዎች

የኢጌንቫልዩዎቻቸውን ስታቲስቲክስ ለማጥናት በዘፈቀደ ቁጥሮች የተሞሉ ትልልቅ ማትሪክሶች፣ በተደጋጋሚ ዲያጎናላይዝ የተደረጉ።

የሚመልሰው ጥያቄ: የዘፈቀደ ማትሪክስ ኢጂንቫልዩዎች ወደ ምን ንድፍ ይረጋጋሉ፣ ከሌሎች የሂሳብና የፊዚክስ መስኮችስ ጋር ይመሳሰላል?

የሚተው፦ ማለቂያ ከሌለው የሚቻሉ ማትሪክሶች ቦታ ትንሽ ጥግ ብቻ ናሙና ይወስዳል።

የሚሠራበት፦ ወደ 10¹² FLOPS ግምታዊ ብዙ ትላልቅ ማትሪክሶችን የሚፈጥር እና ዲያጎናላይዝ የሚያደርግ የዩኒቨርሲቲ ክላስተርከመቼ ጀምሮ፦ 1955 የWigner ስለ ዘፈቀደ ማትሪክስ ኢጂንቫልዩ ስታቲስቲክስ ቀደምት ሥራ

የዘፈቀደ ግራፍ ሙከራዎች

በዘፈቀደ ሕግ፣ ነጥብ በነጥብ ወይም ጠርዝ በጠርዝ የሚመነጩ ግራፎች፤ እንደ ትስስር ወይም መሰባሰብ ያሉ ባሕሪያት በተለምዶ የትኞቹ እንደሚታዩ ለማየት።

የሚመልሰው ጥያቄ: በዚህ ኖዶችና ጠርዞችን የመጨመር ሕግ ሥር “የተለመደ” አውታረ መረብ ምን ይመስላል?

የሚተው፦ እውነተኛ-ዓለም ኔትወርኮች ሞዴሉን እንደሚያመነጨው ሕግ እምብዛም ንጹሕ አይደሉም።

የሚሠራበት፦ ወደ 10¹⁰ FLOPS ግምታዊ እስከ ሚሊዮኖች መስቀለኛ ነጥቦች ላሏቸው ግራፎች በዴስክቶፕ ላይ ይሠራልከመቼ ጀምሮ፦ 1959 የErdos እና Renyi የዘፈቀደ ግራፍ ሞዴል

የፐርኮሌሽን ማስመሰል

ቦታዎች ወይም ትስስሮች በዘፈቀደ የተከፈቱበት ላቲስ ወይም ኔትወርክ፤ የተገናኘ መንገድ በድንገት መላውን ሥርዓት የሚሸፍንበት ነጥብ ይታያል።

የሚመልሰው ጥያቄ: የዘፈቀደ ኔትወርክ በምን ጥግግት በድንገት ከጫፍ እስከ ጫፍ ይገናኛል?

የሚተው፦ ተስማሚ ላቲሶች ከማንኛውም እውነተኛ ባለ ቀዳዳ ቁስ ወይም ኔትወርክ የበለጠ በንጽሕና ይሠራሉ።

የሚሠራበት፦ ወደ 10¹⁰ FLOPS ግምታዊ ለትላልቅ የላቲስ ጥረዛዎች የዴስክቶፕ ማሽንከመቼ ጀምሮ፦ 1957 የBroadbent እና Hammersley የፐርኮሌሽን ንድፈ ሐሳብ መግቢያ

የሙከራ ሂሳብ ፍለጋዎች

ቅጦችን፣ ተቃራኒ ምሳሌዎችን ወይም በቁጥሮች መካከል ትክክለኛ ግንኙነቶችን የሚፈልግ ኃይለኛ ቁጥራዊ ፍለጋ፣ በእጅ ሊፈተሽ ከሚችለው እጅግ በላይ ይሮጣል።

የሚመልሰው ጥያቄ: ይህ ግምት ማንም ሊፈትሸው ለሚችለው ለእያንዳንዱ ጉዳይ እውነት ነው፣ ንድፍስ ይወጣል?

የሚተው፦ ምንም ያህል ብዙ የተፈተሹ ጉዳዮች እውነት ሆነው ቢገኙም፣ የተፈተሹ ጉዳዮች ብዛት ማረጋገጫ አይሆንም።

የሚሠራበት፦ ወደ 10¹¹ FLOPS ግምታዊ በአንድ ፍለጋ ለቀናት የሚሮጥ የዩኒቨርሲቲ ክላስተርከመቼ ጀምሮ፦ 1963 እስከ 1963፣ ለኢንቲጀር ግንኙነቶች እና ለዋና ቁጥር ቅጦች የኮምፒውተር ፍለጋዎች

የቋሚዎች ሞንቴ ካርሎ ግምት

የሂሳብ ቋሚ ወይም ኢንቴግራል ለመገመት የሚያገለግል የዘፈቀደ ናሙና፣ ለምሳሌ ስፋትን ለመገመት ነጥቦችን በመበተን፣ ለአካላዊ ሞዴል ሳይሆን እንደ ልምምድ።

የሚመልሰው ጥያቄ: ዕውር የዘፈቀደ ናሙና ብቻውን ትክክለኛ የሂሳብ መጠንን ምን ያህል በትክክል ሊወስን ይችላል?

የሚተው፦ ከማንኛውም የላቀ ቁጥራዊ ዘዴ ማለት ይቻላል እጅግ በዝግታ ይገናኛል።

የሚሠራበት፦ ወደ 10⁹ FLOPS ግምታዊ በላፕቶፕ ላይ ከሰከንዶች እስከ ደቂቃዎች ይሠራልከመቼ ጀምሮ፦ 1946 የUlam የ1946 ሐሳብ፤ von Neumann በመጋቢት 1947 የኤሌክትሮኒክ-ኮምፒውተር ስሪት አቀረበ፣ ዘዴውም ለመጀመሪያ ጊዜ በ1949 ታተመ ምንጭበማስመሰሎች ዛፍ ውስጥ: የMonte Carlo ዘዴ

በይነተገናኙን ሞዴል ማስኬድ

የስሌት የቁጥር ንድፈ ሐሳብ ፍለጋዎች

እንደ ፍጹም ቁጥሮች ያሉ ልዩ ባሕሪያትን ለማግኘት በእጅ ሳይሆን በትልቅ ደረጃ በሚሠሩ አልጎሪዝሞች ለዋና ቁጥርነት የተፈተኑ፣ የተከፋፈሉ ወይም የተፈለጉ ትልልቅ ቁጥሮች።

የሚመልሰው ጥያቄ: ይህ ግዙፍ ቁጥር የምንፈልገው ባሕርይ አለው፣ እና ፍለጋው ሪከርዱን እስከ የት ሊገፋ ይችላል?

የሚተው፦ ሪከርድ ሰባሪ ፍለጋዎች ማንም ገና ለመፈተሽ ስላላሰበባቸው ቁጥሮች ብዙ አይናገሩም።

የሚሠራበት፦ ወደ 10¹³ FLOPS ግምታዊ በብዙ በተለገሱ ማሽኖች ላይ የተሰራጨ በጎ ፈቃደኛ የስሌት ፕሮጀክትከመቼ ጀምሮ፦ 1951 የLucas ለMersenne ዋና ቁጥሮች የእጅ ሙከራ፣ በ1951 በኮምፒውተር መጀመሪያ የተሠራ

የትርምስ-አትራክተር ቁጥራዊ ዘዴዎች

ለመነሻ ሁኔታዎች ስሜታዊ ጥገኝነት እና ፍራክታል አትራክተርን ለመግለጥ ደረጃ በደረጃ የተዋሃዱ ትንሽ መስመር-አልባ እኩልታዎች።

የሚመልሰው ጥያቄ: ቀላል ዲተርሚኒስቲክ ሥርዓት ለምን ሊተነበይ የማይችል ይሆናል?

የሚተው፦ ቁጥራዊ ማጠጋጋት ማለት ረጅም አቅጣጫ እውነተኛ ምህዋር አይደለም፣ ወደ አንዱ የሚቀርብ ብቻ ነው ማለት ነው።

የሚሠራበት፦ ወደ 10³ FLOPS ግምታዊ ጥቂት እኩልታዎች፣ በላፕቶፕ ሰከንዶች።ከመቼ ጀምሮ፦ 1963 የLorenz ቆራጥ የሆነ ግን ወቅታዊ ያልሆነ ፍሰት፣ በኮምፒውተር የተሠራ የኮንቬክሽን ሞዴል። ምንጭበማስመሰሎች ዛፍ ውስጥ: የLorenz ትርምስ ኮንቬክሽን

መስመር-አልባ የላቲስ ሙከራዎች

መስመር-አልባ ምንጮች ያሏቸው የክብደቶች ሰንሰለት በአንድ ሞድ ተጀምሮ፣ ኃይሉ ቴርሞዳይናሚክስ እንደሚጠቁመው በእኩል ይሰራጭ እንደሆነ ለማየት ይከተላል።

የሚመልሰው ጥያቄ: መስመር-አልባ ሰንሰለት ኃይሉን በሁሉም እንቅስቃሴዎቹ መካከል በእኩል ይጋራል?

የሚተው፦ ውጤቶች በተመረጠው ሰንሰለት እና የመጀመሪያ ሁኔታ ላይ ይወሰናሉ።

የሚሠራበት፦ ወደ 10³ FLOPS ግምታዊ በዘመናዊ መስፈርት ትንሽ፤ የመጀመሪያው ጥቂት ደርዘን ብዛቶችን ተጠቅሟል።ከመቼ ጀምሮ፦ 1955 የFermi፣ Pasta እና Ulam በቀደምት ዲጂታል ኮምፒውተር ላይ መስመር-አልባ ችግሮች ጥናቶች። ምንጭ

የሶሊቶን ቁጥራዊ ሙከራዎች

መስመር-አልባ የሞገድ እኩልታ በፍርግርግ ላይ ይፈታል፤ ግፊቶች እርስ በርስ ሲያልፉ እና ቅርጻቸውን ሲጠብቁ ለማየት፣ ይህም መስመራዊ ሞገዶች አያደርጉም።

የሚመልሰው ጥያቄ: አንዳንድ መስመር-አልባ ሞገዶች እርስ በርስ ሳይለወጡ ለምን ያልፋሉ?

የሚተው፦ አንድ የእኩልታ ቤተሰብ ያሳያል እንጂ የመስመር-አልባ ሞገዶችን አጠቃላይ ባህሪ አይደለም።

የሚሠራበት፦ ወደ 10⁴ FLOPS ግምታዊ አንድ-ልኬት ፍርግርግ፣ ዛሬ ቀላል።ከመቼ ጀምሮ፦ 1965 የZabusky እና Kruskal በግጭት-አልባ ፕላዝማ ውስጥ የሶሊቶኖች መስተጋብርና የመነሻ ሁኔታዎች መደጋገም። ምንጭ

የፍራክታል-ስብስብ ማሳያ

ቀላል የተደጋገመ ቀመር በውስብስብ አውሮፕላን በእያንዳንዱ ቦታ ይፈተናል፤ ያመልጣል ወይስ አያመልጥም ለማየት፣ የተረጋጉ ነጥቦች ስብስብ ድንበር ይሳላል።

የሚመልሰው ጥያቄ: ቀላል ድግግሞሽ ከወሰን ሳያልፍ የሚቆይበት ስብስብ ቅርጽ ምንድን ነው?

የሚተው፦ የማምለጥ ሙከራዎች አባልነትን ብቻ ይጠቁማሉ፣ እና ምስሉ ማለቂያ የሌለው ዝርዝር ያለው ስብስብ የተወሰነ-ጥራት ናሙና ነው።

የሚሠራበት፦ ወደ 10⁹ FLOPS ግምታዊ ጥልቅ ማጉላት በሚሊዮን ነጥቦች የተራዘመ-ትክክለኛነት ድግግሞሽ ይፈልጋል።ከመቼ ጀምሮ፦ 1980 የMandelbrot የz ወደ lambda z(1-z) ድግግሞሽ ፍራክታል ገጽታዎች፣ የማንደልብሮት ስብስብ የመጀመሪያ የኮምፒውተር ምስሎች። ምንጭ

የአሸዋ ክምር ራስን-አደራጅ ወሳኝነት

በጣም ሲያዘቀዝቅ የሚፈርሱ እህሎች በፍርግርግ ላይ ይጣላሉ፤ ያለ ማስተካከያ የሁሉም መጠን ናዳዎች ይፈጠራሉ። ሥርዓቶች ወደ ወሳኝ ሁኔታ እንዴት እንደሚደርሱ የሚያሳይ ሞዴል ነው።

የሚመልሰው ጥያቄ: የእያንዳንዱ መጠን ናዳዎች ያለ ምንም ማስተካከያ ለምን ይታያሉ?

የሚተው፦ እውነተኛ ሥርዓቶች ተመሳሳይ ልኬት ይጋራሉ ወይ የሚለው አከራካሪ ነው።

የሚሠራበት፦ ወደ 10⁹ FLOPS ግምታዊ የስኬሊንግ ባህሪን ለማየት በትልልቅ ፍርግርግ ላይ ረጅም ሩጫዎች።ከመቼ ጀምሮ፦ 1987 የBak፣ Tang እና Wiesenfeld ራሱን የሚያደራጅ ወሳኝነት፡ የ1/f ጫጫታ ማብራሪያ። ምንጭ

የሪማን ዜታ ዜሮ ስሌት

የዜታ ተግባር እሴቶች በወሳኝ መስመሩ ላይ ይሰላሉ፤ ዜሮዎቹን ለማግኘትና ለመቁጠር፣ መላምቱ በሚለው ቦታ መሆናቸውን ለማረጋገጥ።

የሚመልሰው ጥያቄ: ሁሉም የዜታ ተግባር ተራ ያልሆኑ (ኖን-ትሪቪያል) ዜሮዎች በአንድ መስመር ላይ ይገኛሉ?

የሚተው፦ ውሱን ፍተሻ ምንም ያህል ረጅም ቢሆን ከዚያ ባሻገር ከመስመሩ ውጭ ምንም ዜሮ እንደሌለ ማረጋገጥ አይችልም።

የሚሠራበት፦ ወደ 10¹⁸ FLOPS ግምታዊ በትላልቅ ፍለጋዎች የአስርት ዓመታት የCPU ጊዜ።ከመቼ ጀምሮ፦ 1953 የTuring የሪማን ዜታ ተግባር ስሌቶች። ምንጭ

የፓይ አሃዞች በኮምፒውተር

የፓይ ተከታታዮች በትክክለኛ አርቲሜቲክ ወደ ግዙፍ የአኃዞች ብዛት ይደመራሉ፣ ቁጥሩንም ማሽኑንም ይፈትናሉ።

የሚመልሰው ጥያቄ: የፓይ አሃዞች የዘፈቀደ ይመስላሉ፣ እና ማሽኑ በዚህ ልኬት ሊታመን ይችላል?

የሚተው፦ አሃዞቹ ማንኛውንም ክፍት ጥያቄ አይመልሱም፤ ፍተሻዎችም የሃርድዌር ስህተቶችን የሚይዙት ዘዴው ነጻ ከሆነ ብቻ ነው።

የሚሠራበት፦ ወደ 10¹⁷ FLOPS ግምታዊ በመቶዎች የሚቆጠሩ ትሪሊዮን አኃዞች በሰርቨር ላይ ወራት።ከመቼ ጀምሮ፦ 1950 የReitwiesner ENIAC ፓይ እና eን ከ2000 በላይ የአስርዮሽ ቦታዎች መወሰን (በ1950 የታተመ፣ በPi: A Source Book እንደገና የታተመ)። ምንጭ

በሰው ሰራሽ ብልህነት የሚመራ የመላምት ግኝት

በትልልቅ የሂሳብ ነገሮች ሠንጠረዦች ላይ የማሽን ትምህርት የትኞቹ ባሕሪያት እንደተገናኙ ያገኛል፤ የሂሳብ ሊቃውንት ለማረጋገጥ የሚሞክሩትን ግምት ለመጠቆም።

የሚመልሰው ጥያቄ: በእነዚህ የሂሳብ ብዛቶች መካከል የትኛው ያልታየ ግንኙነት ለማረጋገጥ ይገባዋል?

የሚተው፦ ንድፎችን ብቻ ይጠቁማል እና ራሱ ምንም አያረጋግጥም፤ በመረጃው ውስጥ ያሉ አንዳንድ ሥርዓቶችም መረጃው በተሠራበት መንገድ የተፈጠሩ ሊሆኑ ይችላሉ።

የሚሠራበት፦ ወደ 10¹⁵ FLOPS ግምታዊ በመረጃ ስብስብ በጥቂት GPUዎች ላይ ቀናት።ከመቼ ጀምሮ፦ 2021 የDavies እና የሥራ ባልደረቦቹ የሰውን ግንዛቤ በሰው ሰራሽ ብልህነት በመምራት ሂሳብን ማራመድ። ምንጭ

የተማረ አልጎሪዝም እና የግንባታ ፍለጋ

ጨዋታ የሚጫወት ወይም የቋንቋ-ሞዴል ሥርዓት አዳዲስ ሂደቶችን ወይም የሂሳብ ዕቃዎችን ይፈልጋል፤ ኮምፒውተር እያንዳንዱን ዕጩ ትክክለኛነት ይፈትሻል።

የሚመልሰው ጥያቄ: ፕሮግራም ሰዎች ካገኙት የፈጠነ ስልተ ቀመር ወይም ትልቅ ምሳሌ ማግኘት ይችላል?

የሚተው፦ እያንዳንዱ ውጤት አንድ አዲስ ምሳሌ ብቻ ነው፣ እና ፍለጋው የሚሸፍነው ንድፍ አውጪዎቹ እንደ ጨዋታ የቀረጿቸውን የዕቃ ዓይነቶች ብቻ ነው።

የሚሠራበት፦ ወደ 10¹⁷ FLOPS ግምታዊ በአፋጣኝ ክላስተሮች ላይ ከቀናት እስከ ሳምንታት።ከመቼ ጀምሮ፦ 2022 የFawzi እና የሥራ ባልደረቦቹ AlphaTensor፣ በማጠናከሪያ ትምህርት ፈጣን ማትሪክስ ማባዛት ስልተ ቀመሮችን የሚያገኝ። ምንጭ

የሞዴል ማረጋገጫ

እንደ ፕሮቶኮል ወይም የወረዳ ንድፍ ያለ የተወሰነ ሥርዓት እያንዳንዱ ሊደረስበት የሚችል ሁኔታ ባሕርይ በሁሉም ውስጥ እንደሚይዝ ለመፈተሽ በኮምፒውተር ይዘረዘራል።

የሚመልሰው ጥያቄ: ይህ ንድፍ የራሱን ሕጎች የሚጥስበት ሊደረስበት የሚችል ሁኔታ አለ?

የሚተው፦ የሁኔታ ቦታዎች ሊፈተሽ ከሚችለው በላይ ይፈነዳሉ፤ ስለዚህ እውነተኛ ንድፎች መጀመሪያ ይቃለላሉ።

የሚሠራበት፦ ወደ 10¹² FLOPS ግምታዊ ትልቅ ግን የተገደበ የሁኔታ ቦታን የሚጨርስ የዩኒቨርሲቲ ክላስተርከመቼ ጀምሮ፦ 1981 የClarke እና Emerson የሞዴል ፍተሻ መግቢያ

ራስ-ሰር የንድፈ ሐሳብ ማረጋገጫ ፍለጋ

የሂሳብ አረፍተ ነገርን ማስረጃ ወይም ማስተባበያ በመፈለግ ደረጃ በደረጃ በኮምፒውተር የሚፈጠሩ የአመክንዮ ድምዳሜ ሰንሰለቶች ፍለጋ።

የሚመልሰው ጥያቄ: ከአክሲዮም እስከ ይህ አረፍተ ነገር ትክክለኛ የሎጂክ እርምጃዎች ሰንሰለት አለ?

የሚተው፦ ማንም ሰው የማይመርጣቸውን ማረጋገጫዎች ያገኛል፣ እና አንዳንድ ጊዜ በሚደረስበት ክልል ውስጥ አንድም ማረጋገጫ አያገኝም።

የሚሠራበት፦ ወደ 10¹¹ FLOPS ግምታዊ ለሰዓታት እስከ ቀናት የሚፈልግ የዩኒቨርሲቲ ክላስተርከመቼ ጀምሮ፦ 1956 Logic Theorist፣ ቀደምት አውቶማቲክ የማረጋገጫ ፍለጋ ፕሮግራም

SAT እና ገደብ መፍታት

ትልቅ የሎጂክ ገደቦች ስብስብን ለማሟላት በሥርዓት የተፈለጉ በሚሊዮኖች የሚቆጠሩ እውነት ወይም ሐሰት እሴቶች ጥምረቶች፣ ንድፎችን ለማቀድ፣ ለማስኬድ ወይም ለማረጋገጥ ያገለግላሉ።

የሚመልሰው ጥያቄ: እነዚህን ሁሉ ገደቦች በአንድ ጊዜ የሚያሟላ ማንኛውም የእሴቶች ምደባ አለ?

የሚተው፦ አንዳንድ ምሳሌዎች በጣም ከባድ ስለሆኑ ምንም ያህል ጥሩ ቢሆን ማንኛውም ፈቺ በጊዜ አይጨርስም።

የሚሠራበት፦ ወደ 10¹¹ FLOPS ግምታዊ እንደ ችግሩ መጠን ከሥራ ጣቢያ እስከ ክላስተርከመቼ ጀምሮ፦ 1962 ለሳቲስፋያቢሊቲ ፍለጋ የDavis-Putnam አሠራር

የምስጢር ጥቃት ሞዴሊንግ

ኮድ ወይም የቁልፍ ልውውጥ ዘዴ በማስመሰል ውስጥ በሚሊዮን ጊዜ ይጠቃል፣ በኃይል፣ በስታቲስቲክስ አድልዎ ወይም በተመሰለ ድክመት፤ እሱን ለመስበር በእርግጥ ምን ያህል ጥረት እንደሚያስፈልግ ለመለካት።

የሚመልሰው ጥያቄ: ይህን ለመስበር በእርግጥ ስንት ክዋኔዎች ይወስዳል፣ ያ ቁጥርስ አሁንም በደኅንነት ትልቅ ነው?

የሚተው፦ ተንታኙ ለመቅረጽ ያሰበባቸውን ጥቃቶች ብቻ ይፈትናል፤ ማንም ያላገኘውን አይደለም።

የሚሠራበት፦ ወደ 10¹⁴ FLOPS ግምታዊ የጥቃት ሙከራዎችን የሚያስኬዱ በርካታ ማሽኖች የተሰራጨ ክላስተርከመቼ ጀምሮ፦ 1976 እስከ 1976፣ የምስጢር እና የቁልፍ-ልውውጥ ጥንካሬ ስሌታዊ ትንተና

የጎን-ቻናል ፍሰት ማስመሰል

ምስጠራ ሥራ ሲያካሂድ የመሣሪያ የኃይል ፍጆታ፣ ጊዜ አወሳሰን ወይም የኤሌክትሮማግኔቲክ ልቀት ይመሰላል፤ ከውጭ የሚያዳምጥ ሰው ከእሱ ምን ሊማር እንደሚችል ለማየት።

የሚመልሰው ጥያቄ: ከምስጢራዊ ቁልፉ ምን ያህሉ በሂሳቡ ሳይሆን በመሣሪያው አካላዊ ባህሪ በኩል ይወጣል?

የሚተው፦ የላብራቶሪ ሁኔታዎች ጫጫታ ያለው እውነተኛ መሣሪያ በተለምዶ ከሚሰጠው በላይ ንጹሕ ምልክቶችን ይይዛሉ።

የሚሠራበት፦ ወደ 10¹⁰ FLOPS ግምታዊ የአንድ መሣሪያ የኃይል ወይም የጊዜ ዱካ የሚሞዴል የሥራ ጣቢያከመቼ ጀምሮ፦ 1996 የKocher በምስጢር ማድረጊያ አተገባበሮች ላይ የጊዜ ጥቃቶች ማሳያ

የደኅንነት ፕሮቶኮል ማረጋገጫ

አጥቂ በመገናኛ ፕሮቶኮል ውስጥ ሊልከው፣ ሊደግመው ወይም ሊያጭበረብረው የሚችል እያንዳንዱ መልእክት በኮምፒውተር ይዘረዘራል፣ ምስጢር ወይም ማንነት ከእሱ ሊገደድ እንደሚችል ለመፈተሽ።

የሚመልሰው ጥያቄ: ማንኛውም የመልእክት ቅደም ተከተል ይህን ፕሮቶኮል ምስጢር እንዲያፈስ ወይም የሐሰት ማንነት እንዲቀበል ሊያታልለው ይችላል?

የሚተው፦ ፕሮቶኮሉን እንደ ተገለጸው ያረጋግጣል እንጂ እውነተኛ አተገባበር የሚወስዳቸውን አቋራጮች አያረጋግጥም።

የሚሠራበት፦ ወደ 10¹¹ FLOPS ግምታዊ የአንድ ፕሮቶኮል የመልእክት ቦታን የሚፈትሽ ከሥራ ጣቢያ እስከ ክላስተርከመቼ ጀምሮ፦ 1989 የDolev-Yao ሞዴል፣ ለፕሮቶኮል ማረጋገጫ መሠረታዊ መሠረት

በሁሉን-ጉዳይ ፍተሻ በኮምፒውተር የሚረዳ ማረጋገጫ

ወደ ውሱን የጉዳዮች ዝርዝር የተቀነሰ ንድፈ ሐሳብ፣ እያንዳንዱ በፕሮግራም የተረጋገጠ፣ ምክንያቱም ማንም ሰው ሁሉንም ሊፈትሽ አይችልም።

የሚመልሰው ጥያቄ: ማረጋገጫ እያንዳንዱን ጉዳይ በሚፈትሽ ማሽን ሊጠናቀቅ ይችላል?

የሚተው፦ እምነቱ ወደ ፕሮግራሙ፣ ሃርድዌሩና የጉዳይ-ቅነሳ ክርክሩ ይሸጋገራል።

የሚሠራበት፦ ወደ 10⁹ FLOPS ግምታዊ ለዋናው በሜይንፍሬም ላይ ወደ አንድ ሺህ ሰዓታት፤ አሁን በጣም ያነሰ።ከመቼ ጀምሮ፦ 1977 የAppel እና Haken በኮምፒውተር የተፈተሸ የመቀነስ ችሎታ በመጠቀም እያንዳንዱ ጠፍጣፋ ካርታ በአራት ቀለም ሊቀባ እንደሚችል ማረጋገጫ። ምንጭ

የተረጋገጠ ቁጥራዊ ስሌት

በተረጋገጡ ገደቦች የሚከናወኑ ስሌቶች፣ ስለዚህ ቁጥራዊ ውጤት የሂሳብ አረፍተ ነገርን ያረጋግጣል፣ ለምሳሌ የትርምስ አትራክተር መኖር።

የሚመልሰው ጥያቄ: የተሰላ መልስ በግምት ትክክል ብቻ ሳይሆን ትክክል መሆኑ ሊረጋገጥ ይችላል?

የሚተው፦ ገደቦች በረጅም ጊዜ ሊፈነዱ ይችላሉ፣ ማረጋገጫዎችን ለአጭር ወይም ጥሩ ባህሪ ላላቸው ችግሮች ብቻ ይገድባሉ።

የሚሠራበት፦ ወደ 10⁹ FLOPS ግምታዊ የእሴት ክልል አርቲሜቲክ ወጪውን በመጠነኛ ምክንያት ያበዛል።ከመቼ ጀምሮ፦ 2002 የTucker ጥብቅ ODE ፈቺና የSmale 14ኛ ችግር፣ የLorenz አትራክተር መኖሩን በማረጋገጥ። ምንጭ

የቱሪንግ-ማሽን ቆጠራ

የትንሽ ማሽን እያንዳንዱ ትንሽ ፕሮግራም የትኞቹ እንደሚቆሙ እና የትኞቹ ለዘላለም እንደሚሮጡ ለማየት ይሮጣል፣ በእያንዳንዱ መጠን ረጅሙን የሚሮጥ የሚቆም ለማግኘት።

የሚመልሰው ጥያቄ: ትንሽ ፕሮግራም ከመቆሙ በፊት ምን ያህል ጊዜ ሊሠራ ይችላል?

የሚተው፦ ሊወሰን አለመቻል ማለት አንዳንድ ማሽኖች ምንም ያህል ቢሮጡ ፈጽሞ ሊመደቡ አይችሉም ማለት ነው።

የሚሠራበት፦ ወደ 10¹⁵ FLOPS ግምታዊ በቢሊዮን የሚቆጠሩ ማሽኖች፣ ለማይቆሙት ማረጋገጫዎች ያሉት።ከመቼ ጀምሮ፦ 1965 የLin እና Rado የቱሪንግ-ማሽን ችግሮች የኮምፒውተር ጥናቶች። ምንጭ

ስታቲስቲካዊ ሞዴል ፍተሻ

የዘፈቀደ ባህሪ ያለው ሥርዓት አንድ የተጠበቀ ባሕርይ የመጣስ ዕድሉን በበቂ እርግጠኝነት ለመገመት ብዙ ጊዜ ይመሰላል።

የሚመልሰው ጥያቄ: የዘፈቀደ ሥርዓት የደኅንነት ሕግን የመጣስ ዕድሉ ምን ያህል ነው?

የሚተው፦ ስታቲስቲካዊ ሩጫዎች የመተማመን ደረጃ ያለው ዕድል እንጂ ማረጋገጫ አይሰጡም፤ ብርቅ ውድቀቶችም አስፈላጊነት ናሙና ማድረግን ይፈልጋሉ።

የሚሠራበት፦ ወደ 10⁹ FLOPS ግምታዊ ከሺዎች እስከ ሚሊዮኖች የሚደርሱ የናሙና አፈጻጸሞች።ከመቼ ጀምሮ፦ 2002 የYounes እና Simmons የተቆራረጠ ክስተት ሥርዓቶች ዕድላዊ ማረጋገጫ በመቀበያ ናሙና። ምንጭ

ፉዝ ሙከራ

ፕሮግራም በግዙፍ የዘፈቀደ ወይም የተቀየሩ ግብዓቶች ይመገባል፤ እንዲወድቅ የሚያደርጉትን ለማግኘት፣ በእርግጥ ጠላት ወይም ግድ የለሽ ዓለምን ያስመስላል።

የሚመልሰው ጥያቄ: ይህ ሶፍትዌር እንዲወድቅ የሚያደርገው ምን ግብዓት ነው?

የሚተው፦ የዘፈቀደ ግብዓቶች የሚደርሱባቸውን ውድቀቶች ብቻ ያገኛል፤ ፕሮግራምም ስህተትን ከአልፎ አልፎ ጉዳይ ጀርባ እየደበቀ ለዓመታት ሊያልፍ ይችላል።

የሚሠራበት፦ ወደ 10¹⁴ FLOPS ግምታዊ ለአንድ ዋና ኮድ መሠረት የሲፒዩ ጊዜ የማሽን-ዓመታት።ከመቼ ጀምሮ፦ 1990 የMiller፣ Fredriksen እና So የUNIX መገልገያዎች አስተማማኝነት ተጨባጭ ጥናት። ምንጭ

ምልክታዊ አፈጻጸም

ፕሮግራም ባልታወቁ ግብዓቶች እንደ ምልክት ተጽፎ ይሮጣል፣ በእያንዳንዱ መንገድ ላይ ያሉትን ሁኔታዎች ይሰበስባል፣ ከዚያ መፍቻ እያንዳንዱን ቅርንጫፍ የሚወስዱ እሴቶችን ያገኛል።

የሚመልሰው ጥያቄ: የዚህ ፕሮግራም እያንዳንዱ መንገድ እንዲሮጥ የሚያደርጉት ግብዓቶች የትኞቹ ናቸው፣ ማንኛውም ወደ ስህተት ይደርሳል?

የሚተው፦ የመንገዶች ብዛት ከፕሮግራሙ መጠን ጋር በፍጥነት (በገላጭ ሁኔታ) ያድጋል፤ ስለዚህ ትላልቆቹ በከፊል ብቻ ይሸፈናሉ።

የሚሠራበት፦ ወደ 10¹² FLOPS ግምታዊ ሰዓታት የሶልቨር ጊዜ በአንድ ፕሮግራም፣ በመንገድ ብዛት በከፍተኛ ደረጃ እያደገ።ከመቼ ጀምሮ፦ 1976 የKing ምሳሌያዊ አፈጻጸም እና የፕሮግራም ሙከራ። ምንጭ

ረቂቅ ትርጓሜ

ፕሮግራም ከነጠላ እሴቶች ይልቅ እንደ ክልሎች ባሉ ሊሆኑ በሚችሉ እሴቶች ስብስብ ላይ ይሮጣል፤ ለእያንዳንዱ ግብዓት የሚቆዩ ባሕርያትን ለማረጋገጥ።

የሚመልሰው ጥያቄ: ይህ ፕሮግራም ለማንኛውም ግብዓት በዜሮ ሊከፍል ወይም ሊትረፈረፍ ይችላል?

የሚተው፦ አስተማማኝ ግምት የሐሰት ማንቂያዎችን ይፈጥራል፤ ስለዚህ ሰዎች አሁንም እያንዳንዱን ማስጠንቀቂያ መፈተሽ አለባቸው።

የሚሠራበት፦ ወደ 10¹¹ FLOPS ግምታዊ ሰዓታት በዎርክስቴሽን ላይ ለአንድ ትልቅ የአቪዮኒክስ ኮድ መሠረት።ከመቼ ጀምሮ፦ 1977 የCousot እና Cousot ረቂቅ ትርጓሜ፣ ለፕሮግራሞች የማይንቀሳቀስ ትንተና የተዋሃደ የላቲስ ሞዴል። ምንጭ

የተወሰነ ሞዴል ፍተሻ

እስከ የተወሰነ የእርምጃ ብዛት ድረስ የንድፍ ባሕርይ እንደ ሎጂክ ቀመር ተጽፎ ወደ ሳቲስፋያቢሊቲ ፈቺ ይሰጣል፤ ወደ ስህተት የሚወስድ ማንኛውንም አጭር መንገድ ለማግኘት።

የሚመልሰው ጥያቄ: ይህ ወረዳ ወይም ፕሮግራም በተወሰነ የእርምጃዎች ብዛት ውስጥ ወደ ስህተት ሁኔታ ሊደርስ ይችላል?

የሚተው፦ ሌላ የተለየ ክርክር በቂ መሆኑን እስካላሳየ ድረስ ከእርምጃ ወሰኑ ባሻገር ምንም አያረጋግጥም።

የሚሠራበት፦ ወደ 10¹³ FLOPS ግምታዊ ሰዓታት በሰርቨር ላይ በአንድ ንብረት።ከመቼ ጀምሮ፦ 1999 የBiere፣ Cimatti፣ Clarke እና Zhu ያለ BDDs ምሳሌያዊ ሞዴል ፍተሻ። ምንጭ

በንብረት ላይ የተመሠረተ የዘፈቀደ ሙከራ

ሁልጊዜ መያዝ ያለበት ደንብ ይገለጻል፣ ኮምፒውተሩ ብዙ የዘፈቀደ ጉዳዮችን ይፈጥራል እና ማንኛውንም ውድቀት ወደ ትንሽ ተቃራኒ ምሳሌ ያሳንሳል።

የሚመልሰው ጥያቄ: ይህ ኮድ በሰፊ የግብዓት ክልል የራሱን ዝርዝር መግለጫ ይታዘዛል?

የሚተው፦ የዘፈቀደ ጉዳዮች ብርቅ ሁኔታ ላይ ፈጽሞ ላይደርሱ ይችላሉ፣ የተጻፈውም ባሕሪ አስፈላጊው ላይሆን ይችላል።

የሚሠራበት፦ ወደ 10⁹ FLOPS ግምታዊ በላፕቶፕ ላይ ለሺዎች ጉዳዮች ደቂቃዎች።ከመቼ ጀምሮ፦ 2000 የClaessen እና Hughes QuickCheck፣ ለHaskell ፕሮግራሞች የዘፈቀደ ሙከራ ቀላል መሣሪያ። ምንጭ

የነርቭ ኔትወርክ ማረጋገጫ

የገደብ መፍቻዎች በክልል ውስጥ ላለ ሁሉ ግብዓት የነርቭ ኔትወርክ ውጤት ከገደብ በላይ እንደማይሄድ ያረጋግጣሉ፣ ናሙናዎችን ከመሞከር ይልቅ።

የሚመልሰው ጥያቄ: ለግብዓት ትንሽ ለውጥ ኔትወርኩ የተሳሳተ መልስ እንዲሰጥ ሊያደርገው ይችላል?

የሚተው፦ ማረጋገጫዎች ወደ ትናንሽ ኔትወርኮች ብቻ ይሰፋሉ፣ ሊፈተሹ የሚችሉ ረብሻዎች ስብስብም ጠባብ ነው።

የሚሠራበት፦ ወደ 10¹³ FLOPS ግምታዊ ሰዓታት እስከ ቀናት በሰርቨር ላይ ለትንሽ ኔትወርክ።ከመቼ ጀምሮ፦ 2017 የKatz እና የሥራ ባልደረቦቹ Reluplex፣ ጥልቅ የነርቭ ኔትወርኮችን ለማረጋገጥ የSMT ፈቺ። ምንጭ

የኮምፒውተር አርክቴክቸር ማስመሰል

የታቀደ ፕሮሰሰር ፓይፕላይን፣ ካሼዎች እና የቅርንጫፍ ተንባዩ መመሪያ በመመሪያ ይሞዴላሉ፤ ቺፑ ከመገንባቱ በፊት ፍጥነቱን ለመገመት።

የሚመልሰው ጥያቄ: ይህ የፕሮሰሰር ንድፍ ማንኛውም ሲሊከን ሳይቆረጥ እውነተኛ ፕሮግራሞችን በምን ፍጥነት ያስኬዳል?

የሚተው፦ ከእውነተኛው ቺፕ በቂውን ያቃልላል፤ ስለዚህ የመጨረሻ ሲሊከን ከሞዴሉ ሁልጊዜ ትንሽ ይለያል።

የሚሠራበት፦ ወደ 10¹¹ FLOPS ግምታዊ የቤንችማርክ ፕሮግራሞችን በሞዴሉ የሚያስኬድ የዩኒቨርሲቲ ክላስተርከመቼ ጀምሮ፦ 1990 እስከ 1990፣ ለአርክቴክቸር ምርምር ዑደት-ትክክለኛ ፕሮሰሰር አስመሳዮች

የተሰራጩ ሥርዓቶች እና የመግባባት ማስመሰል

የተከፋፈለ አልጎሪዝም አሁንም በትክክለኛው መልስ ላይ እንደሚስማማ ለመፈተሽ በመዘግየት፣ በመጣል እና በውድቀት እርስ በርሳቸው መልእክት የሚልኩ የተመሰሉ ብዙ ኮምፒውተሮች።

የሚመልሰው ጥያቄ: መልእክቶች ሲጠፉ፣ ሲዘገዩ ወይም ኖዶች ሲወድቁ ይህ ስልተ ቀመር አሁንም ትክክለኛውን ስምምነት ላይ ይደርሳል?

የሚተው፦ ሆን ተብለው የሚገቡ ውድቀቶች ዲዛይነሩ የጠበቃቸው ናቸው፤ በምርት ላይ ሳይታሰብ የሚነሱት አይደሉም።

የሚሠራበት፦ ወደ 10¹⁰ FLOPS ግምታዊ በመቶዎች የሚቆጠሩ ምናባዊ ኖዶችን የሚያስመስል ክላስተርከመቼ ጀምሮ፦ 1978 የLamport በተከፋፈሉ ሥርዓቶች ውስጥ ቅደም ተከተል እና ውድቀት ላይ ቀደምት ሥራ

የማከማቻ ሥርዓቶች ማስመሰል

ዲስኮች፣ ድራይቮች እና የፋይል ሥርዓቶች መረጃን እንዴት እንደሚያስቀምጡ፣ እንደሚወድቁ እና እንደሚያገግሙ ይሞዴላሉ፤ እውነተኛ ድራይቮች ከመገዛታቸው እና ከመሞላታቸው በፊት የማከማቻ ንድፍን ለመፈተሽ።

የሚመልሰው ጥያቄ: ይህ የማከማቻ ንድፍ በእውነት አስቀድሞ ለመሞከር በጣም ውድ በሆነ ደረጃ እንዴት ይሠራል እና ከውድቀት ይተርፋል?

የሚተው፦ እውነተኛ ድራይቮች ከሞዴሉ የዘፈቀደ ውድቀት መጠን የበለጠ በተዝረከረከ፣ የበለጠ በተዛመደ መንገድ ይወድቃሉ።

የሚሠራበት፦ ወደ 10¹⁰ FLOPS ግምታዊ የማከማቻ ድርድርን የሚሞዴል ከሥራ ጣቢያ እስከ ትንሽ ክላስተርከመቼ ጀምሮ፦ 1988 እስከ 1988፣ የዲስክ ድርድር አስተማማኝነት የማስመሰል ሞዴሎች

የስርዓተ ክወና መርሐ ግብር አስመሳይ

የስሌት ሥራዎች ዥረት ሲደርሱ እና ለፕሮሰሰር ሲወዳደሩ ይሞዴላል፣ የትኛው በጣም ፍትሃዊ ወይም ፈጣን እንደሆነ ለማየት ከተለያዩ የመርሐ ግብር ደንቦች ጋር ይሮጣል።

የሚመልሰው ጥያቄ: የሥራዎችን ወረፋ የትኛው ቅደም ተከተል ብዙ ሥራ እንዲሠራ ወይም ለእያንዳንዱ ሥራ ፍትሐዊ ይሆናል?

የሚተው፦ ሰው ሠራሽ የሥራ ጫናዎች እውነተኛ ማሽን የሚያጋጥመውን ያልተስተካከለ የሥራ ድብልቅ እምብዛም አይመስሉም።

የሚሠራበት፦ ወደ 10⁹ FLOPS ግምታዊ በላፕቶፕ ወይም በዎርክስቴሽን ላይ ከሰከንዶች እስከ ደቂቃዎች ይሠራልከመቼ ጀምሮ፦ 1968 እስከ 1968፣ የፕሮሰሰር መርሐ ግብር ፖሊሲዎች የማስመሰል ጥናቶች

የአቀናባሪ እና የፕሮግራም ማመቻቸት ፍለጋ

አንድ ኮድ ተመሳሳይ ሥራ የሚሠራውን ፈጣን ወይም አጭር ስሪት ለመፈለግ እጅግ ብዙ ትናንሽ ልዩነቶች ይሞከራሉ እና ይለካሉ።

የሚመልሰው ጥያቄ: ይህን ትንሽ ኮድ ለመጻፍ ከሚያስችሉ እኩል መንገዶች ሁሉ፣ በእርግጥ ፈጣኑ የትኛው ነው?

የሚተው፦ የተገኙ ፕሮግራሞች አንዳንድ ጊዜ በጣም ያልተለመዱ ስለሆኑ ለምን እንደሚሠሩ ምንም ማብራሪያ የለም።

የሚሠራበት፦ ወደ 10¹⁰ FLOPS ግምታዊ ብዙ የኮድ ልዩነቶች ያሉበትን ሰፊ ቦታ የሚፈልግ ክላስተርከመቼ ጀምሮ፦ 2006 እስከ 2006፣ በአጭር የመመሪያ ቅደም ተከተሎች ላይ ሱፐር-ማመቻቸት ፍለጋ

የስልተ ቀመር አፈጻጸም ተጨባጭ ሙከራ

ስልተ ቀመር በዘፈቀደ በተፈጠሩ ወይም በእውነተኛ ዓለም እየጨመሩ በሚሄዱ መጠኖች ግብዓቶች በሺዎች ጊዜ ይሮጣል፣ በወረቀት ከማረጋገጥ ይልቅ የማስኬጃ ጊዜው በእውነት እንዴት እንደሚያድግ ይለካል።

የሚመልሰው ጥያቄ: የዚህ አልጎሪዝም የሩጫ ጊዜ በተግባር፣ በሚያያቸው ትክክለኛ ግብዓቶች ላይ እንዴት ያድጋል?

የሚተው፦ በፈተና ግብዓቶች ውስጥ የሌለ የከፋ ሁኔታ እስኪከሰት ድረስ ሳይታወቅ ይቆያል።

የሚሠራበት፦ ወደ 10⁹ FLOPS ግምታዊ በብዙ በተመነጩ የሙከራ ግብዓቶች ላይ በዎርክስቴሽን ላይ ይሠራልከመቼ ጀምሮ፦ 1970 እስከ 1970፣ የስልተ ቀመር የማስኬጃ ጊዜዎች ሥርዓታዊ ተጨባጭ ፍተሻ

የቋንቋ ሞዴል ፕሮግራም አፈጻጸም

የቋንቋ ሞዴል ፕሮግራም የሚያሰላውን ሲከታተል፣ ደረጃ በደረጃ መካከለኛ ሁኔታዎችን ይጽፋል።

የሚመልሰው ጥያቄ: የቋንቋ ሞዴል ኮድ ማስኬድን መምሰል ይችላል?

የሚተው፦ ውጤቱ ትክክል እንደሚሆን ዋስትና የለም፣ ረጅም ፕሮግራሞችም ይወድቃሉ።

የሚሠራበት፦ ወደ 10¹⁴ FLOPS ግምታዊ በአንድ ጥያቄ አመክንዮ ድምዳሜከመቼ ጀምሮ፦ 2021 Show your work: scratchpads for intermediate computation with language models (2021) ምንጭ

የብሎክቼይን መግባባት ማስመሰል

በመዘግየት ብሎኮችን የሚያመርቱ እና የሚያጋሩ የኖዶች ኔትወርክ፤ የብሎክ መጠን፣ ጊዜ እና አጥቂዎች ደኅንነትን እና የማስተላለፍ አቅምን እንዴት እንደሚነኩ ለመፈተሽ።

የሚመልሰው ጥያቄ: የብሎክቼይን በኔትወርክ መዘግየት እና ጥቃት ሥር ምን ያህል ደኅንነቱ የተጠበቀ እና ፈጣን ነው?

የሚተው፦ እውነተኛ የመስቀለኛ ነጥብ ባህሪ እና የኔትወርክ ቶፖሎጂዎች በከፊል ብቻ ተለክተዋል።

የሚሠራበት፦ ወደ 10⁸ FLOPS ግምታዊ የሺዎች ኖዶች በክስተት የሚመሩ ሩጫዎች።ከመቼ ጀምሮ፦ 2016 የGervais እና የሥራ ባልደረቦቹ በአስመሳይ የproof-of-work ብሎክቼይኖች ደኅንነት እና አፈጻጸም ትንተና። ምንጭ

ትይዩ የተቆራረጠ-ክስተት ማስመሰል

በጊዜ የሚደረጉ ክስተቶች ማስመሰል በብዙ ፕሮሰሰሮች ይከፈላል፣ እያንዳንዳቸው የራሳቸውን ሰዓት ያራምዳሉ እና አንዱ ዘግይቶ ከደረሰ ወደ ኋላ ይመለሳሉ።

የሚመልሰው ጥያቄ: እንደ ኔትወርክ ወይም የጦር ሜዳ ያለ ግዙፍ በክስተት የሚነዳ ማስመሰል በብዙ ማሽኖች ላይ እንዴት በፍጥነት ሊሠራ ይችላል?

የሚተው፦ መመለሶች ሊደራረቡ ይችላሉ፣ ማፋጠኑም ክስተቶቹ ምን ያህል በጥብቅ እንደተጣመሩ ላይ በከፍተኛ ሁኔታ ይወሰናል።

የሚሠራበት፦ ወደ 10¹⁴ FLOPS ግምታዊ ሰዓታት በሱፐር ኮምፒውተር ላይ ለቢሊዮኖች ክስተቶች።ከመቼ ጀምሮ፦ 1985 የJefferson ምናባዊ ጊዜ፣ ለተስፋ ሰጪ ማመሳሰል የTime Warp ስልት። ምንጭ

የግራፊክስ ፕሮሰሰር አርክቴክቸር ማስመሰል

የግራፊክስ ፕሮሰሰር ኮሮች፣ ዋርፖች እና ማህደረ ትውስታ ዑደት በዑደት ይሞዴላሉ፤ ዲዛይኑን ከመገንባቱ በፊት ለመገምገም እውነተኛ ፕሮግራሞችን ያስኬዳል።

የሚመልሰው ጥያቄ: የንድፍ ለውጥ በግራፊክስ ቺፕ ላይ የትይዩ ፕሮግራሞችን ፍጥነት እንዴት ይነካል?

የሚተው፦ የእውነተኛ ቺፖች ዝርዝሮች ሚስጥራዊ ወይም ያልታወቁ ናቸው፣ ስለዚህ ሞዴሉ ከነባር ንድፎች ቁጥሮች ጋር በግምት ብቻ ይዛመዳል።

የሚሠራበት፦ ወደ 10¹² FLOPS ግምታዊ ሰዓታት እስከ ቀናት የአስተናጋጅ ጊዜ በተመሰለ አፈጻጸም በእያንዳንዱ ሰከንድ።ከመቼ ጀምሮ፦ 2009 የBakhoda እና የሥራ ባልደረቦቹ ዝርዝር የGPU አስመሳይ በመጠቀም የCUDA የሥራ ጫናዎች ትንተና። ምንጭ

በFPGA የተፋጠነ የሥርዓት ማስመሰል

የቺፕ ንድፍ በብዙ ሊዋቀሩ በሚችሉ ወረዳዎች ላይ ተጭኖ፣ በሜጋኸርትዝ ፍጥነት ዑደት በዑደት በትክክል ይሮጣል፤ ሙሉ ሰርቨሮችን እና የእነሱን ኔትወርኮች ያስመስላል።

የሚመልሰው ጥያቄ: ይህ ፕሮሰሰር እና ክላስተሩ ከመሠራታቸው በፊት እውነተኛ ሶፍትዌር ሲያስኬዱ እንዴት ይሠራሉ?

የሚተው፦ ከእውነተኛው ቺፕ እጅግ ዘገምተኛ ነው፤ በወረዳዎቹ ላይ የማይገባ ንድፍም ሊሠራ አይችልም።

የሚሠራበት፦ ወደ 10¹⁵ FLOPS ግምታዊ በመቶዎች በሚቆጠሩ ሊዋቀሩ በሚችሉ ወረዳዎች ደመና ላይ ቀናት።ከመቼ ጀምሮ፦ 2018 የKarandikar እና የሥራ ባልደረቦቹ FireSim፣ በሕዝብ ደመና ውስጥ በFPGA የተፋጠነ ዑደት-ትክክለኛ ሰፊ ደረጃ የሥርዓት ማስመሰል። ምንጭ

ሙሉ-ሥርዓት ማስመሰል

ያልተቀየረ ስርዓተ ክወና ለማስነሳት እና ፕሮግራሞቹን ለማስኬድ በበቂ ሁኔታ፣ ፕሮሰሰሮች፣ ማህደረ ትውስታ፣ ዲስኮች እና የኔትወርክ ካርዶች ያሉት ሙሉ ኮምፒውተር ይመሰላል።

የሚመልሰው ጥያቄ: እውነተኛ ሶፍትዌር ገና በሌለ ወይም በፈቃድ ሊቆም እና ሊደገም በሚችል ማሽን ላይ እንዴት ይሠራል?

የሚተው፦ ጊዜ አወሳሰን ለፍጥነት ይገመታል፤ ስለዚህ ትክክለኛ አፈጻጸም መስጠት አይችልም፣ ተግባራዊ ባሕርይን ብቻ።

የሚሠራበት፦ ወደ 10¹¹ FLOPS ግምታዊ ለእያንዳንዱ የተመሰለ ማሽን በሰርቨር ላይ ከቅጽበት አቅራቢያ።ከመቼ ጀምሮ፦ 2002 የMagnusson እና የሥራ ባልደረቦቹ Simics፣ ሙሉ-ሥርዓት ማስመሰል መድረክ። ምንጭ

ቀላል ኔትወርክ ኢሙሌሽን

በደርዘን ወይም በመቶዎች የሚቆጠሩ ምናባዊ አስተናጋጆች እና ስዊቾች እውነተኛ የኔትወርክ ሶፍትዌር በአንድ ላፕቶፕ ላይ ያስኬዳሉ፣ በተወሰነ ፍጥነት እና መዘግየት በተመሰሉ ኬብሎች የተገናኙ።

የሚመልሰው ጥያቄ: ይህ የአውታረ መረብ መቆጣጠሪያ ፕሮግራም ከመሰማራቱ በፊት በሙሉ ቶፖሎጂ ላይ ይሠራል?

የሚተው፦ የአስተናጋጁ የራሱ ፕሮሰሰር በሁሉም ምናባዊ ኖዶች ይጋራል፤ ስለዚህ ፈጣን ግንኙነቶች ይቀንሳሉ።

የሚሠራበት፦ ወደ 10¹⁰ FLOPS ግምታዊ በአንድ ዎርክስቴሽን ላይ በቅጽበት።ከመቼ ጀምሮ፦ 2010 Lantz፣ Heller እና McKeown 'A network in a laptop'፣ ለሶፍትዌር-የተገለጹ ኔትወርኮች ፈጣን ቅድመ-ሞዴል። ምንጭ

የተመሰለ ማለስለስ

ኮምፒውተር የአቶሞችን ሞዴል ወይም ንድፍ ቀስ ብሎ ያቀዘቅዛል፤ አንዳንድ ጊዜ የባሰ አደራደርን ይቀበላል፤ ለከባድ የማመቻቸት ችግር ጥሩ መፍትሔ ለማግኘት።

የሚመልሰው ጥያቄ: ከአስትሮኖሚካል ብዙ አማራጮች መካከል ወደ ምርጡ ቅርብ የሆነ አቀማመጥ ወይም መርሐ ግብር ምንድን ነው?

የሚተው፦ ምርጥ መልስን አያረጋግጥም፤ ውጤቶቹም በማቀዝቀዣ መርሐ ግብር ላይ ይወሰናሉ።

የሚሠራበት፦ ወደ 10¹² FLOPS ግምታዊ ሰዓታት በዎርክስቴሽን ላይ ለአንድ ቺፕ አቀማመጥ።ከመቼ ጀምሮ፦ 1983 የKirkpatrick፣ Gelatt እና Vecchi በተመሰለ ማለስለስ ማመቻቸት። ምንጭ

ግምታዊ የቤይዥያን ስሌት

አስመሳይ በብዙ የሙከራ ግቤት እሴቶች ይሮጣል፣ ከታየ መረጃ ጋር የሚቀራረብ መረጃ የሚያመነጩት ይቀራሉ፣ የትኞቹ እሴቶች ሊሆኑ እንደሚችሉ ምስል ይሰጣል።

የሚመልሰው ጥያቄ: የተወሳሰበ ሞዴል የትኞቹ ቅንብሮች የምናየውን መረጃ ሊያመርቱ ይችሉ ነበር?

የሚተው፦ ውጤቱ የትኞቹ የመረጃ ማጠቃለያዎች እንደተጠቀሙና ተዛማጅነት ለመቆጠር ምን ያህል ቅርብ መሆን እንዳለበት ላይ ይወሰናል።

የሚሠራበት፦ ወደ 10¹³ FLOPS ግምታዊ በክላስተር ላይ በሚሊዮኖች የሚቆጠሩ የአስመሳይ ሩጫዎች።ከመቼ ጀምሮ፦ 1997 የTavaré እና የባልደረቦቹ ከዲኤንኤ ቅደም ተከተል መረጃ በማስመሰል የውህደት ጊዜዎችን መገመት። ምንጭ