วิทยาศาสตร์คอมพิวเตอร์

ฉันเคยเห็นคำถามสองสามข้อเกี่ยวกับ Deep Dream ในเว็บไซต์นี้ แต่ดูเหมือนว่าไม่มีใครพูดถึง DeepDream ได้ว่าทำอะไรโดยเฉพาะ เท่าที่ฉันรวบรวมพวกเขาดูเหมือนจะเปลี่ยนฟังก์ชั่นวัตถุประสงค์และยังเปลี่ยน backpropagation เพื่อให้แทนที่จะอัปเดตตุ้มน้ำหนักที่พวกเขาอัพเดทภาพอินพุต ฉันสงสัยว่าถ้าใครรู้ว่าสิ่งที่ Google ทำ พวกเขากล่าวถึงหนึ่งในบทความของพวกเขาที่เรียกว่านักบวชชาวเบย์เมื่อพวกเขาทำการหาค่าเหมาะที่สุดและด้วยเหตุนี้ฉันสามารถจินตนาการได้ว่าการใช้โครงข่ายประสาทเทียมเพื่อพ่นภาพสำหรับแต่ละฉลากนั้นไม่ใช่เรื่องยาก - เราสามารถกำหนดป้ายแล้ว ปรับเวกเตอร์อินพุตให้เหมาะสม อย่างไรก็ตามส่วนที่น่าสนใจของความฝันที่ลึกล้ำก็คือมันทำแบบนี้ต่อเลเยอร์และในเรื่องนี้ฉันไม่ค่อยแน่ใจว่ามันจะเน้นรายละเอียดอย่างไรต่อเลเยอร์ แน่นอนว่าการป้อนภาพจะให้คุณค่ากับคุณในแต่ละเซลล์ประสาท แต่ถ้าเช่นนั้นเราจะใช้ข้อมูลนั้นเพื่ออธิบายรายละเอียดที่เกินจริงในภาพต้นฉบับได้อย่างไร ฉันพยายามหารายละเอียดเพิ่มเติมเกี่ยวกับเรื่องนี้ การอ้างอิง: ที่นี่ vzn ตอบคำถามที่คล้ายกัน: https://cs.stackexchange.com/a/44857/49671 จากลิงก์นั้นมีการนำ Deepdream มาใช้ที่นี่: http://auduno.com/post/125362849838/visualizing-googlenet-classes ยกเว้นว่ามันจะไม่มีคุณสมบัติที่พูดเกินจริงตามที่กล่าวไว้ที่นี่: http://googleresearch.blogspot.com/2015/06/inceptionism-going-deeper-into-neural.html ที่ซึ่งทั้งคู่แสดงการสร้างภาพข้อมูลของคลาสเฉพาะและเลเยอร์เฉพาะและพูดว่า: แทนที่จะกำหนดคุณสมบัติที่เราต้องการให้เครือข่ายขยายแน่นอนเราสามารถปล่อยให้เครือข่ายตัดสินใจได้ ในกรณีนี้เราเพียงแค่ป้อนรูปภาพหรือรูปภาพตามอำเภอใจของเครือข่ายและให้เครือข่ายวิเคราะห์รูปภาพ จากนั้นเราเลือกเลเยอร์และขอให้เครือข่ายปรับปรุงสิ่งที่ตรวจพบ

12 machine-learning  artificial-intelligence  neural-networks  image-processing  computer-vision 

ดูเหมือนว่าผู้คนเบื่อการจัดการหน่วยความจำด้วยตนเองดังนั้นพวกเขาจึงคิดค้นการรวบรวมขยะและชีวิตก็ดีพอสมควร แล้วทรัพยากรประเภทอื่น ๆ ล่ะ? อธิบายไฟล์, ซ็อกเก็ตหรือแม้กระทั่งข้อมูลที่ผู้ใช้สร้างขึ้นเช่นการเชื่อมต่อฐานข้อมูล? นี่รู้สึกเหมือนเป็นคำถามที่ไร้เดียงสา แต่ฉันไม่สามารถหาที่ใดก็ได้ที่มีคนถาม ลองพิจารณาตัวอธิบายไฟล์ สมมติว่าโปรแกรมรู้ว่าจะอนุญาตให้มี 4000 fds เท่านั้นเมื่อเริ่มทำงาน เมื่อใดก็ตามที่มันทำการดำเนินการที่จะเปิดไฟล์อธิบายสิ่งที่มันจะ ตรวจสอบให้แน่ใจว่าไม่ได้กำลังจะหมด หากเป็นเช่นนั้นให้เรียกตัวเก็บรวบรวมขยะซึ่งจะทำให้หน่วยความจำว่างมากขึ้น หากหน่วยความจำบางส่วนถูกปล่อยให้อ้างอิงกับตัวให้คำอธิบายไฟล์ให้ปิดทันที มันรู้ว่าหน่วยความจำเป็นของทรัพยากรเพราะหน่วยความจำที่เชื่อมโยงกับทรัพยากรนั้นได้รับการลงทะเบียนใน 'file descriptor registry' เนื่องจากไม่มีคำศัพท์ที่ดีกว่าเมื่อมันถูกเปิดครั้งแรก เปิดตัวให้คำอธิบายไฟล์ใหม่คัดลอกลงในหน่วยความจำใหม่ลงทะเบียนตำแหน่งหน่วยความจำนั้นใน 'ตัวให้คำอธิบายไฟล์' และส่งคืนไปยังผู้ใช้ ดังนั้นทรัพยากรจะไม่ถูกปล่อยออกมาโดยทันที แต่มันจะถูกปล่อยให้เป็นอิสระเมื่อใดก็ตามที่ gc วิ่งซึ่งรวมถึงอย่างน้อยที่สุดก่อนที่ทรัพยากรจะหมดลงโดยสมมติว่ามันไม่ได้ถูกใช้ทั้งหมด และดูเหมือนว่าจะเพียงพอสำหรับปัญหาการล้างทรัพยากรที่ผู้ใช้กำหนด ฉันจัดการเพื่อค้นหาความคิดเห็นเดียวที่นี่ที่อ้างอิงทำล้างคล้ายกับใน C ++ กับกระทู้ที่มีการอ้างอิงไปยังทรัพยากรและล้างมันขึ้นเมื่อมีเพียงการอ้างอิงเดียวที่เหลืออยู่ (จากเธรดการล้างข้อมูล) แต่ฉันสามารถ ' ไม่พบหลักฐานการเป็นห้องสมุดหรือส่วนหนึ่งของภาษาที่มีอยู่

12 garbage-collection  resource-allocation 

ฉันกำลังพยายามทำซ้ำเครือข่ายสังเคราะห์ (กราฟ) ที่อธิบายไว้ในเอกสารบางฉบับ มันบอกว่าใช้แบบจำลองBarabasi - อัลเบิร์ตในการสร้าง "เครือข่ายฟรี - มาตราส่วนด้วยอำนาจ - กฎหมายการกระจายระดับ "PA(k)∝k−λPA(k)∝k−λP_A(k) ∝ k^{-λ} คือการกระจายความน่าจะเป็นที่ส่งกลับน่าจะเป็นของโหนดที่มีการศึกษาระดับปริญญาk ตัวอย่างเช่น P A ( 2 )บ่งชี้ความน่าจะเป็นของการสุ่มเลือกโหนดจากเครือข่ายและรับโหนดที่มีระดับ 2PAPAP_AkkkPA(2)PA(2)P_A(2) ค่าเฉลี่ยของการศึกษาระดับปริญญาจังหวะน่าจะเป็นที่ 4 ในกระดาษหนึ่งกับต่ำสุดที่kของ 2 ไม่มีคำเกี่ยวกับสูงสุดk ในกระดาษอื่นมันไม่ได้ระบุ ดูเหมือนจะไม่สำคัญที่จะกำหนดเครือข่ายkkkkkkkkk ค่าแลมบ์ดาλจะได้รับเป็นจำนวนโหนดnชุดค่าผสมคือnnn n = 50000, λ = 3, 2.7, 2.3, ด้วยกระดาษ n = 4000 และλ = 2.5 หรือ n = 6000 และλ …

12 algorithms  graph-theory  graphs  randomness  sampling 

ฉันทำ googleing นิดหน่อยและสั้นลงมาหน่อย ฉันสงสัยว่าอะไรคือสาเหตุหลักของนักวิทยาศาสตร์คอมพิวเตอร์โปรแกรมเมอร์เพื่อศึกษาการเขียนคำใหม่และ / หรือการเขียนกราฟคำใหม่ เท่าที่ฉันสามารถบอกได้มันแค่ช่วยให้เหตุผลพื้นฐานเกี่ยวกับโปรแกรมการทำงานและการควบคุมโปรแกรม (จำเป็น) เห็นได้ชัดว่ามันเป็นหัวข้อที่น่าสนใจอย่างยิ่งสำหรับนักลอจิสติกและผู้ที่ศึกษาเกี่ยวกับพีชคณิตนามธรรมที่สร้างสรรค์ ความช่วยเหลือใด ๆ ที่จะได้รับการชื่นชมมากที่สุด!

12 term-rewriting 

ฉันสงสัยว่าอะไรคือความซับซ้อนของเวลาในการพิจารณาความว่างเปล่าสำหรับ DFA แบบ 2 ทาง? นั่นคือออโต้ จำกัด ซึ่งสามารถเลื่อนไปด้านหลังบนเทปอินพุตแบบอ่านอย่างเดียว จากข้อมูลของ Wikipedia พวกเขาเทียบเท่ากับ DFAs แม้ว่า DFA ที่เทียบเท่ากันนั้นอาจมีขนาดใหญ่ขึ้นแทน ฉันพบความซับซ้อนของรัฐสำหรับการเติมเต็มและจุดตัดของพวกเขา แต่ไม่ใช่สำหรับการทดสอบความว่างเปล่า มีใครรู้บ้างเกี่ยวกับกระดาษที่ฉันสามารถหาสิ่งนี้ได้?

12 complexity-theory  formal-languages  reference-request  automata  finite-automata 

ถ้าไม่เช่นนั้นจะมีความหมายว่าอย่างไรสำหรับบางรัฐและบางสัญลักษณ์ ,ไม่มีอยู่?a δ ( q , a )qQqaaaδ(q,a)δ(Q,a)\delta(q, a)

12 terminology  automata  finite-automata 

ฉันกำลังอ่านคำตอบสำหรับคำถามล่าสุดและความคิดแปลก ๆ ที่มาถึงใจ การถามของฉันนี้อาจเป็นการทรยศทั้งทฤษฎีของฉันขาดอย่างจริงจัง (ส่วนใหญ่เป็นความจริง) หรือว่ามันเร็วเกินไปที่ฉันจะอ่านเว็บไซต์นี้ ตอนนี้ด้วยข้อจำกัดความรับผิดชอบออกไป ... มันเป็นผลที่รู้จักกันดีว่ามันคือทฤษฎีการคำนวณที่ไม่สามารถตัดสินใจได้สำหรับปัญหา TM อย่างไรก็ตามสิ่งนี้ไม่ได้ยกเว้นความเป็นไปได้ที่มีเครื่องที่สามารถแก้ปัญหาการหยุดชะงักสำหรับบางคลาสของเครื่องจักร (ไม่ใช่ทั้งหมด) พิจารณาชุดของปัญหาที่ตัดสินใจได้ทั้งหมด สำหรับแต่ละปัญหามี TM จำนวนมากที่ตัดสินใจภาษานั้นไม่สิ้นสุด อาจเป็นไปได้ดังต่อไปนี้ มี TM ที่ตัดสินปัญหาการหยุดทำงานสำหรับเซตย่อยของเครื่องจักรทัวริง และSSS ปัญหา decidable ทั้งหมดจะถูกตัดสินโดยเครื่องทัวริงอย่างน้อยหนึ่งใน ?SSS แน่นอนว่าการค้นหาเครื่องทัวริงในอาจไม่สามารถคำนวณได้เอง แต่เราไม่สนใจปัญหานั้นSSS แก้ไข: ตามคำตอบของ Shaull ด้านล่างดูเหมือนว่า (ก) ความคิดนี้ไม่ได้รับการระบุว่ามีความหมายมากเกินไปหรือ (ข) ความพยายามครั้งก่อนของฉันไม่ได้ทำเครื่องหมาย ขณะที่ผมพยายามที่จะอธิบายรายละเอียดในการแสดงความคิดเห็นที่จะตอบ Shaull ของความตั้งใจของฉันไม่ได้ว่าเราจะรับประกันว่าการป้อนข้อมูล TM อยู่ในSสิ่งที่ฉันหมายถึงจริงๆโดยคำถามของฉันคือว่าอาจมีอยู่เช่นหรือไม่เช่นนั้นการเป็นสมาชิกในเป็นปัญหาที่ตัดสินใจได้ โปรแกรมที่จะแก้ปัญหาการหยุดชะงักของจะสันนิษฐานว่าเขียน "อินพุตไม่ถูกต้อง" บนเทปหรือบางสิ่งเมื่อได้รับอินพุตที่รับรู้ว่าไม่ได้อยู่ในS S S SSSSSSSSSSSSSSSS. เมื่อฉันคิดเช่นนั้นฉันไม่แน่ใจว่าสิ่งนี้จะช่วยให้เราแก้ปัญหาการหยุดชะงักหรือไม่หรือว่าทฤษฎีบทของไรซ์ใช้หรือไม่

12 turing-machines  undecidability  halting-problem 

ผมสงสัยว่าตั้งแต่*ตัวเองเป็นภาษาดาวฟรีจะมีภาษาที่ปกติที่ไม่ได้เป็นภาษาดาวฟรีหรือไม่ คุณยกตัวอย่างได้ไหมa∗a∗a^* (จากwikipdia ) Lawson กำหนดภาษาที่ไม่มีดาวเป็น: ภาษาปกติได้รับการกล่าวถึงว่าไม่มีดาวหากสามารถอธิบายได้ด้วยการแสดงออกปกติที่สร้างขึ้นจากตัวอักษรของตัวอักษรสัญลักษณ์ชุดที่ว่างเปล่าผู้ประกอบการบูลีนทั้งหมดรวมถึงการประกอบและการต่อเรียงกัน นี่คือหลักฐานการ*เป็นดาวฟรี:a∗a∗a^* ∅∅\emptysetเป็นดาวฟรี⟹⟹\Longrightarrow Σ∗=∅¯Σ∗=∅¯\Sigma^*=\bar{\emptyset}เป็นดาวฟรี⟹⟹\Longrightarrow หาก ⊆ Σแล้ว Σ * Σ *เป็นดาวฟรี ⟹ หาก ⊆ Σแล้ว * = ¯ Σ * ( Σ ∖ ) Σ *คือ ดาวฟรีA⊆ΣA⊆ΣA\subseteq\SigmaΣ∗AΣ∗Σ∗AΣ∗\Sigma^*A\Sigma^*⟹⟹\LongrightarrowA⊆ΣA⊆ΣA\subseteq\SigmaA∗=Σ∗(Σ∖A)Σ∗¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯A* * * *=Σ* * * *(Σ∖A)Σ* * * *¯A^*=\overline{\Sigma^*(\Sigma \setminus A)\Sigma^*} ในบรรทัดสุดท้ายที่เรามี* = ¯ Σ * ( …

12 formal-languages  regular-languages  automata 

ฉันต้องการพิสูจน์ว่าส่วนเติมเต็มของไม่ได้เป็นปกติโดยใช้คุณสมบัติการปิด{0n1n∣n≥0}{0n1n∣n≥0}\{0^n1^n \mid n \geq{} 0\} ฉันเข้าใจว่าการปั๊มบทแทรกนั้นสามารถใช้พิสูจน์ได้ว่าไม่ใช่ภาษาปกติ ฉันยังเข้าใจว่าภาษาปกติถูกปิดภายใต้การใช้งานที่สมบูรณ์ อย่างไรก็ตามนั่นก็หมายความว่าส่วนเสริมของภาษาที่ไม่ปกตินั้นก็ไม่ใช่แบบปกติเช่นกัน?{0n1n∣n≥0}{0n1n∣n≥0}\{0^n1^n \mid n \geq{} 0\}

12 formal-languages  regular-languages  closure-properties 

ต่อไปนี้เป็นข้อสงสัยว่าฉันเจอเมื่อทำการมอบหมาย OS ภายในบ้าน - แต่ดูเหมือนว่าจะใช้แนวคิดมากกว่าคำถามการเข้ารหัสที่ตรงไปตรงมาดังนั้น IMHO ฉันจึงไม่คิดว่าแท็กการบ้านนั้นเหมาะสมกับเรื่องนี้ ในแบบแผนความต้องการการเพจที่บริสุทธิ์สำหรับกระบวนการหลาย ๆ กระบวนการที่ทำงานในเวลาเดียวกันกำหนดจำนวนหน่วยความจำ RAM และ Swap คงที่สิ่งที่เกิดขึ้นใน 2 กรณีต่อไปนี้คือการสลับพื้นที่ swap เมื่อ กระบวนการพบข้อบกพร่องของหน้าและไม่มีเฟรมว่างใน RAM ดังนั้นจึงต้องใช้หนึ่งในหน้าของกลุ่มของ Kernel Frames ของกระบวนการที่จะถูกเขียนออกมาเพื่อสลับ (สำหรับความเรียบง่ายฉันไม่ได้พิจารณาการคัดลอก กรณีที่เขียนบน) โดยชัดแจ้งว่าเฟรมนี้จะเขียนที่ใดในพื้นที่สเปซและโครงสร้างข้อมูลใดที่จำเป็นต้องได้รับการอัพเดต เมื่อกระบวนการจำเป็นต้อง page-in หน้าใดหน้าหนึ่งมันจะดูในหน่วยความจำ Swap และจะรู้ได้อย่างไรว่าหน้านั้นมีอยู่ใน Swap เลย? อย่างที่คุณสามารถจินตนาการได้ว่าฉันมีปัญหาในการจัดการพื้นที่สว็อประหว่างวิธีการจัดการความต้องการที่บริสุทธิ์และโครงสร้างข้อมูลใดที่จำเป็น มันจะดีถ้าคุณสามารถอ้างถึงลิงก์ใด ๆ ในคำตอบของคุณ (ฉันค้นหาใน "แนวคิดระบบปฏิบัติการ - รุ่นที่ 8 โดย Silberschatz ฉันไม่พบคำตอบที่ชัดเจนสำหรับคำถามของฉัน)

12 operating-systems  memory-allocation  virtual-memory  paging  memory-management 

ฉันยังใหม่กับการเรียนรู้ของเครื่อง ฉันได้อ่านเอกสารหลายฉบับที่พวกเขาใช้การเรียนรู้อย่างลึกซึ้งสำหรับการใช้งานที่หลากหลายและได้ใช้คำว่า "ก่อนหน้า" ในกรณีส่วนใหญ่ของแบบจำลองการออกแบบ ใครสามารถอธิบายสิ่งที่มันหมายถึงจริง ฉันสามารถหาสูตรทางคณิตศาสตร์ของก่อนและหลังในบทเรียน

12 terminology  machine-learning  pattern-recognition  bayesian-statistics 

ฉันกำลังอ่านคำแนะนำเกี่ยวกับอัลกอริทึมและมาจากอัลกอริทึมของจอห์นสันที่ขึ้นอยู่กับการทำให้แน่ใจว่าเส้นทางทั้งหมดเป็นไปในทางบวก อัลโกนั้นขึ้นอยู่กับการหาฟังก์ชั่นน้ำหนักใหม่ (w ') ที่เป็นบวกสำหรับทุกขอบและรักษาความถูกต้องของความสัมพันธ์เส้นทางที่สั้นที่สุด มันทำได้โดยการคำนวณ h (s), h (d) ค่าที่จะเพิ่มเข้าไปในค่าดั้งเดิม w คำถามของฉันคือทำไมไม่เพียงแค่หาค่า w ที่เล็กที่สุดในกราฟและเพิ่มลงในขอบทั้งหมด? สิ่งนี้จะเป็นไปตามเงื่อนไขทั้งสองและจะต้องใช้การคำนวณน้อยลง

12 algorithms  graph-theory  graphs  shortest-path 

มีรายละเอียดมากมายเกี่ยวกับตัวเสริมแบบพกพา lookahead เช่น Kogge-Stone, Lander-Fischer เป็นต้นในหลักสูตร CS ของวิทยาลัย พวกเขาอธิบายว่า "พบบ่อยในอุตสาหกรรม" อย่างไรก็ตามฉันไม่สามารถหาหลักฐานใด ๆ (นอกเหนือจากห่วงโซ่การขนส่งของแมนเชสเตอร์) จากครั้งล่าสุดที่มีการใช้จริงทุกที่โดยเฉพาะ การค้นหาโดย Google จะส่งคืนหน้าวารสารและงานวิจัยทางวิชาการเท่านั้น อย่างน้อยที่สุดจะมีการใช้งานตามสมมุติฐาน คำถามของฉันคือมีการใช้สถานที่ / การใช้งานที่เฉพาะเจาะจง add-carryahead หรือพวกเขาไม่เกี่ยวข้องกับโลกแห่งความจริง?

12 computer-architecture 

ให้สองนิพจน์ทั่วไปตามอำเภอใจมีอัลกอริทึม "ประสิทธิภาพ" เพื่อตรวจสอบว่าพวกเขาตรงกับชุดของสตริงเดียวกันหรือไม่ โดยทั่วไปเราสามารถคำนวณขนาดของทางแยกของชุดการแข่งขันทั้งสองได้หรือไม่? มีอัลกอริธึมอะไรบ้างในการทำสิ่งนี้และพวกเขาอาศัยอยู่ในระดับความซับซ้อนอะไร? หากเราไม่อนุญาตให้ดาว Kleene นั่นเปลี่ยนรูปภาพได้หรือไม่?

12 algorithms  regular-expressions 

มันหมายความว่าอย่างไรเมื่อเราบอกว่าอัลกอริทึมเป็น asymptotically ประสิทธิภาพมากขึ้นกว่า ?XXXYYY XXXจะเป็นตัวเลือกที่ดีกว่าสำหรับอินพุตทั้งหมด XXXจะเป็นตัวเลือกที่ดีกว่าสำหรับอินพุตทั้งหมดยกเว้นอินพุตขนาดเล็ก XXXจะเป็นตัวเลือกที่ดีกว่าสำหรับอินพุตทั้งหมดยกเว้นอินพุตขนาดใหญ่ YYYจะเป็นตัวเลือกที่ดีกว่าสำหรับอินพุตขนาดเล็ก ลิงค์สำหรับคำถามนี้อยู่ที่นี่ http://quiz.geeksforgeeks.org/algorithms-analysis-of-algorithms-question-16/ ฉันคิดว่าอัลกอริธึมที่มีประสิทธิภาพมากกว่าแบบ asymptotically ควรทำงานกับอินพุตทั้งหมด แต่ฉันไม่ได้รับเหตุผลที่อยู่เบื้องหลัง "ใช้งานได้กับอินพุตทั้งหมดยกเว้นอินพุตขนาดเล็ก"

12 algorithms  algorithm-analysis  terminology  asymptotics