Tứ Hợp Viện: Ta Là Nước Mưa Anh Họ
Chương 305: Đặt vững lý luận cơ sở Part 1 - Tứ Hợp Viện: Ta Là Nước Mưa Anh Họ
Đơn giản nghỉ ngơi một hồi, Đi vào Đệ Tam đề tài thảo luận, Như thế nào Thiết kế hàng vạn con bóng bán dẫn?
Hạ tiên sinh tự mình Chủ trì Cái này đề tài thảo luận.
Hắn phô bày một trương 104 máy tính hệ thống dây điện đồ, Đó là một trương Khổng lồ bản vẽ, Bên trên lít nha lít nhít vẽ lấy Logic môn cùng liên tuyến, giống một bức phức tạp mê cung Bản đồ.
“ thủ công họa bản đồ, Chúng tôi (Tổ chức nhiều nhất có thể xử lý mười mấy cái bóng bán dẫn. ” hạ bồi túc nói, “ đương Quy mô Đạt đến mấy trăm, mấy ngàn, Thậm chí hơn vạn lúc, nhất định phải dựa vào toán học Phương Pháp cùng tự động hoá Công cụ. ”
Hắn tại trên bảng đen viết xuống Ba người phương nói với.
Logic Thiết kế tự động hoá, dùng Bourdais số cùng Kano đồ tiến hành Logic hóa giản, nhưng Cần phép tính xử lý hay thay đổi lượng Vấn đề.
Bố cục Vấn đề, đem Logic môn cất đặt đến Chip bên trên, thuộc về tổ hợp ưu hóa, có thể muốn dùng đến quy hoạch tuyến tính hoặc dẫn dắt thức lục soát.
Hệ thống dây điện Vấn đề, tại phòng ngừa chập mạch cùng Ký sinh hiệu ứng điều kiện tiên quyết kết nối Tất cả môn, là đồ luận bên trong Stane nạp cây Vấn đề.
“ đây đều là tổ hợp Vụ nổ Vấn đề. ” Hạ tiên sinh, “ Không đa thức Thời Gian tối ưu giải phép tính. Chúng tôi (Tổ chức nhất định phải Tìm kiếm dẫn dắt thức Phương Pháp, tại hợp lý thời gian bên trong đạt được có thể tiếp nhận giải. ”
Bắc Đại Giáo sư Trình phát biểu: “ Logic hóa giản, Chúng tôi (Tổ chức Có thể tham khảo Quine-McCluskey phép tính, nhưng Cần cải tiến lấy xử lý nhiều chuyển vận hàm số. bố cục Vấn đề, có lẽ Có thể tham khảo lực dẫn hướng bố cục tư tưởng —— đem Logic môn coi như có điện hạt, liên tuyến coi như lò xo, thông qua Mô phỏng hệ vật lý thống cân bằng đến tìm kiếm so sánh ưu bố cục. ”
Thanh Hoa Từ giáo sư bổ sung: “ Hệ thống dây điện Vấn đề, Có thể chuyển hóa làm mạng lưới lưu Vấn đề. đem hệ thống dây điện Khu vực ô lưới hóa, mỗi cái ô lưới bên cạnh Hữu Dung lượng Hạn chế, nguyên điểm cùng hợp thành điểm là Cần kết nối dẫn chân, cầu nhỏ nhất đại giới Lớn nhất lưu. ”
“ nhưng còn muốn cân nhắc thời tự. ” Cao tiên sinh chen vào nói, “ liên tuyến chiều dài sẽ ảnh hưởng tín hiệu trì hoãn. Chúng tôi (Tổ chức hệ thống dây điện phép tính Không chỉ phải bảo đảm liên thông tính, còn muốn thỏa mãn thời tự ước thúc, mấu chốt đường đi trì hoãn Bất Năng vượt qua Đồng hồ chu kỳ 70%.”
“ cái này lại biến thành Nhất cá mang ước thúc ưu hóa Vấn đề. ” Trần giáo sư Tái thứ nhẹ nói, “ Chúng tôi (Tổ chức Có thể Thiết lập mô hình toán học: Mục Tiêu hàm số là thu nhỏ lại tổng tuyến dài, ước thúc điều kiện bao quát liên thông tính, không chập mạch, hệ thống dây điện tầng dung lượng, thời tự yêu cầu chờ. Nhiên hậu Thiết kế chi nhánh Đ định Giới hoặc cắt mặt phẳng phép tính đi cầu giải. ”
Lúc này, Từ giáo sư điểm danh Lữ Thần: “ Ta nghe nói, Lữ Thần Đồng chí trong a công điệu trưởng nghiên lúc, nhằm vào DJS-2 máy tính, thiết kế dùng hai chiều khoan tấm thẻ làm máy tính đưa vào chất môi giới. ”
Hắn từ cặp công văn lật ra một cái thẻ sơ đồ phác thảo: “ Tiếp vào Khang Giáo sư điện thoại sau, ta trong mấy ngày qua Luôn luôn trên nghĩ, Loại này hai chiều mã hóa tư tưởng, có thể hay không dùng tại Chip Thiết kế? Chúng tôi (Tổ chức đem Chip phân chia thành ô lưới, mỗi cái ô lưới Có thể cất đặt Nhất cá Logic môn hoặc một đoạn liên tuyến. sau đó dùng phương pháp tương tự mã hóa, Không phải dùng lỗ, Mà là dùng kim loại tầng, nhiều tinh silic tầng, Lan rộng tầng đồ án tổ hợp. ”
Hạ tiên sinh nhãn tình sáng lên: “ Ngươi là nói, đem Chip Thiết kế Vấn đề chuyển hóa làm hai chiều đồ án mã hóa cùng ưu hóa Vấn đề? ”
“ đối! ” Từ giáo sư đi đến đen tấm trước, Nhanh chóng vẽ ra Nhất cá ô lưới sơ đồ, “ Chúng tôi (Tổ chức có thể đem Chip coi như Nhất cá hai chiều mặt phẳng, phân chia thành N×M ô lưới. mỗi cái ô lưới trạng thái có thể dùng Mấy vị số nhị phân mã hóa biểu thị: Cao hơn như 001 biểu thị cất đặt Nhất cá cùng không phải môn, 010 biểu thị cất đặt Nhất cá hoặc không phải môn, 100 biểu thị cất đặt Nhất cá Kích hoạt khí......, liên tuyến cũng dùng cùng loại mã hóa, biểu thị trình độ kim loại tuyến, thẳng đứng kim loại tuyến, thông lỗ chờ. ”
Tiên Sinh kích động đứng lên: “ Cái này mạch suy nghĩ tốt! đem phức tạp bao nhiêu bố cục Vấn đề, chuyển hóa làm ly tán mã hóa ưu hóa Vấn đề. toán học bên trên lại càng dễ xử lý! ”
Hạ tiên sinh Gật đầu: “ Cái này mạch suy nghĩ Hoàn toàn không có vấn đề, Hơn nữa ta đề nghị phân tầng Thiết kế. khác biệt công nghệ tầng, Lan rộng tầng, nhiều tinh silic tầng, kim loại tầng, Có thể coi như khác biệt hai chiều mặt phẳng. Giá ta trên mặt phẳng đồ án Cần thỏa mãn Thiết kế Quy Tắc: Ví dụ nhỏ nhất khoảng thời gian, nhỏ nhất độ rộng, thông lỗ xếp hợp lý chờ. những quy tắc này Có thể chuyển hóa làm mã hóa ước thúc điều kiện. ”
Trần tiên sinh Nhanh Chóng trên giấy viết bản thảo Suy diễn: “ Nếu mỗi cái ô lưới dùng k vị số nhị phân mã hóa, Như vậy Toàn bộ Chip trạng thái Chính thị Nhất cá N×M×k ba chiều số nhị phân ma trận. Thiết kế Quy Tắc chuyển hóa làm đối Cái này ma trận ước thúc điều kiện. ưu hóa Mục Tiêu là thu nhỏ lại diện tích, trì hoãn, công hao chờ. bản này chất bên trên là Nhất cá đại quy mô tổ hợp ưu hóa Vấn đề......”
Hạ tiên sinh điểm danh Lữ Thần: “ Tiểu Lữ, Cái này hai chiều thẻ là ngươi Người đầu tiên nói ra, ngươi đến nói một chút nhìn. ”
Lữ Thần Đứng dậy gửi tới lời cảm ơn đạo: “ Mọi người Lão Sư, Thực ra liên quan tới Cái này hai chiều thẻ, ta cảm thấy Lớn nhất tham khảo mạch suy nghĩ là module hóa. ”
Lữ Thần kỹ càng miêu tả trên a công đại dụng cứng rắn giấy thẻ khoan ma trận thực hiện Nhanh chóng đưa vào Quá trình, dĩ cập tấm kia “ thay đổi hàm số tấm thẻ ” Như thế nào điều động “ Dư Tiên hàm số thẻ ” hoàn thành phức tạp tính toán.
“ diệu a! ” Giáo sư Trình vỗ án tán dương, “ cái này không chỉ là đưa vào phương thức sáng tạo cái mới, càng là Một loại ‘ có thể tổ hợp tính toán ’ tư tưởng! một cái thẻ Đại diện Nhất cá hàm số hoặc một vài theo tập, nhiều tấm thẻ tổ hợp liền có thể hoàn thành phức tạp nhiệm vụ. loại tư tưởng này Nếu dùng tại Chip Thiết kế......”
“ module hóa Thiết kế! ” Cao tiên sinh cũng tán thán nói, “ Chúng tôi (Tổ chức có thể đem thường dùng công năng module, Ví dụ toán cộng khí, phép nhân khí, gửi lại khí đống Thiết kế thành Đo đạc đơn nguyên. Thiết kế Chip lúc, tựa như ghép hình Giống nhau tổ hợp Giá ta đơn nguyên. mỗi cái đơn nguyên Bên trong bản đồ là dự đoán Thiết kế Tốt, trải qua nghiệm chứng, Chúng tôi (Tổ chức chỉ cần xử lý tấm thẻ ở giữa liên tuyến Vấn đề. ”
Hạ tiên sinh Gật đầu: “ Tiểu Lữ Đồng chí Cái này mạch suy nghĩ có giá trị! nó không chỉ là Một loại Thiết kế Phương Pháp, càng là Một loại Thiết kế Triết học, đem phức tạp Vấn đề phân giải, chuẩn hoá, lại tổ hợp. ”
Tiểu chủ, Cái này Chương Phía sau Còn có a, xin điểm kích Trang tiếp theo đọc tiếp, Phía sau càng đặc sắc!
“ ta đề nghị, ” Hạ tiên sinh nói, “ Chúng tôi (Tổ chức Lập tức đem cái này mạch suy nghĩ đặt vào Thiết kế Nghiên cứu. Giai đoạn thứ nhất, trước định nghĩa một bộ Đo đạc ‘ Logic môn đơn nguyên ’ kho ； giai đoạn thứ hai, khai phát có thể tự động tổ hợp Giá ta đơn nguyên bố cục phép tính ； giai đoạn thứ ba, mở rộng đến phức tạp hơn công năng module. ”
Đề nghị này thu hoạch được nhất trí thông qua.
Sau đó, Quyết định thành lập “ mạch điện hợp thành Thiết kế tự động hoá Tiểu đội nghiên cứu ”, từ ngành toán học, tính toán chỗ cùng Hồng Tinh chỗ cộng đồng tạo thành.
Giai đoạn thứ nhất Mục Tiêu Chính thị căn cứ vào hai chiều ô lưới mã hóa cùng Đo đạc đơn nguyên kho tư tưởng, khai phát có thể xử lý trăm bóng bán dẫn cấp bố cục hệ thống dây điện phép tính nguyên hình.
Tới Đồng đội thứ tư đề tài thảo luận, Cao tiên sinh Đi đến Bên phải trước tấm bảng đen.
Hắn trên trên bảng đen vẽ ra Hai so sánh bảng biểu, phức tạp chỉ lệnh tập （CISC） cùng đơn giản hoá chỉ lệnh tập, tế sổ quốc tế tiên tiến Nghiên cứu ưu khuyết điểm.
“ Chúng tôi (Tổ chức nên đi con đường nào? ” Cao tiên sinh hỏi, “ là Đi theo Phương Tây chủ lưu, Vẫn Thám hiểm đơn giản hoá chỉ lệnh tập Con mới đường? ”
Trong phòng họp Tái thứ lâm vào kịch liệt biện luận.
Ủng hộ CISC một phương Cho rằng, khoa học tính toán chương trình Cần phức tạp phù điểm tính toán, vectơ thao tác, CISC chỉ lệnh tập có thể Cung cấp càng trực tiếp Ủng hộ ； Hơn nữa hiện hữu trình biên dịch, chương trình Thiết kế Kinh nghiệm đều căn cứ vào CISC.
Hạ tiên sinh tự mình Chủ trì Cái này đề tài thảo luận.
Hắn phô bày một trương 104 máy tính hệ thống dây điện đồ, Đó là một trương Khổng lồ bản vẽ, Bên trên lít nha lít nhít vẽ lấy Logic môn cùng liên tuyến, giống một bức phức tạp mê cung Bản đồ.
“ thủ công họa bản đồ, Chúng tôi (Tổ chức nhiều nhất có thể xử lý mười mấy cái bóng bán dẫn. ” hạ bồi túc nói, “ đương Quy mô Đạt đến mấy trăm, mấy ngàn, Thậm chí hơn vạn lúc, nhất định phải dựa vào toán học Phương Pháp cùng tự động hoá Công cụ. ”
Hắn tại trên bảng đen viết xuống Ba người phương nói với.
Logic Thiết kế tự động hoá, dùng Bourdais số cùng Kano đồ tiến hành Logic hóa giản, nhưng Cần phép tính xử lý hay thay đổi lượng Vấn đề.
Bố cục Vấn đề, đem Logic môn cất đặt đến Chip bên trên, thuộc về tổ hợp ưu hóa, có thể muốn dùng đến quy hoạch tuyến tính hoặc dẫn dắt thức lục soát.
Hệ thống dây điện Vấn đề, tại phòng ngừa chập mạch cùng Ký sinh hiệu ứng điều kiện tiên quyết kết nối Tất cả môn, là đồ luận bên trong Stane nạp cây Vấn đề.
“ đây đều là tổ hợp Vụ nổ Vấn đề. ” Hạ tiên sinh, “ Không đa thức Thời Gian tối ưu giải phép tính. Chúng tôi (Tổ chức nhất định phải Tìm kiếm dẫn dắt thức Phương Pháp, tại hợp lý thời gian bên trong đạt được có thể tiếp nhận giải. ”
Bắc Đại Giáo sư Trình phát biểu: “ Logic hóa giản, Chúng tôi (Tổ chức Có thể tham khảo Quine-McCluskey phép tính, nhưng Cần cải tiến lấy xử lý nhiều chuyển vận hàm số. bố cục Vấn đề, có lẽ Có thể tham khảo lực dẫn hướng bố cục tư tưởng —— đem Logic môn coi như có điện hạt, liên tuyến coi như lò xo, thông qua Mô phỏng hệ vật lý thống cân bằng đến tìm kiếm so sánh ưu bố cục. ”
Thanh Hoa Từ giáo sư bổ sung: “ Hệ thống dây điện Vấn đề, Có thể chuyển hóa làm mạng lưới lưu Vấn đề. đem hệ thống dây điện Khu vực ô lưới hóa, mỗi cái ô lưới bên cạnh Hữu Dung lượng Hạn chế, nguyên điểm cùng hợp thành điểm là Cần kết nối dẫn chân, cầu nhỏ nhất đại giới Lớn nhất lưu. ”
“ nhưng còn muốn cân nhắc thời tự. ” Cao tiên sinh chen vào nói, “ liên tuyến chiều dài sẽ ảnh hưởng tín hiệu trì hoãn. Chúng tôi (Tổ chức hệ thống dây điện phép tính Không chỉ phải bảo đảm liên thông tính, còn muốn thỏa mãn thời tự ước thúc, mấu chốt đường đi trì hoãn Bất Năng vượt qua Đồng hồ chu kỳ 70%.”
“ cái này lại biến thành Nhất cá mang ước thúc ưu hóa Vấn đề. ” Trần giáo sư Tái thứ nhẹ nói, “ Chúng tôi (Tổ chức Có thể Thiết lập mô hình toán học: Mục Tiêu hàm số là thu nhỏ lại tổng tuyến dài, ước thúc điều kiện bao quát liên thông tính, không chập mạch, hệ thống dây điện tầng dung lượng, thời tự yêu cầu chờ. Nhiên hậu Thiết kế chi nhánh Đ định Giới hoặc cắt mặt phẳng phép tính đi cầu giải. ”
Lúc này, Từ giáo sư điểm danh Lữ Thần: “ Ta nghe nói, Lữ Thần Đồng chí trong a công điệu trưởng nghiên lúc, nhằm vào DJS-2 máy tính, thiết kế dùng hai chiều khoan tấm thẻ làm máy tính đưa vào chất môi giới. ”
Hắn từ cặp công văn lật ra một cái thẻ sơ đồ phác thảo: “ Tiếp vào Khang Giáo sư điện thoại sau, ta trong mấy ngày qua Luôn luôn trên nghĩ, Loại này hai chiều mã hóa tư tưởng, có thể hay không dùng tại Chip Thiết kế? Chúng tôi (Tổ chức đem Chip phân chia thành ô lưới, mỗi cái ô lưới Có thể cất đặt Nhất cá Logic môn hoặc một đoạn liên tuyến. sau đó dùng phương pháp tương tự mã hóa, Không phải dùng lỗ, Mà là dùng kim loại tầng, nhiều tinh silic tầng, Lan rộng tầng đồ án tổ hợp. ”
Hạ tiên sinh nhãn tình sáng lên: “ Ngươi là nói, đem Chip Thiết kế Vấn đề chuyển hóa làm hai chiều đồ án mã hóa cùng ưu hóa Vấn đề? ”
“ đối! ” Từ giáo sư đi đến đen tấm trước, Nhanh chóng vẽ ra Nhất cá ô lưới sơ đồ, “ Chúng tôi (Tổ chức có thể đem Chip coi như Nhất cá hai chiều mặt phẳng, phân chia thành N×M ô lưới. mỗi cái ô lưới trạng thái có thể dùng Mấy vị số nhị phân mã hóa biểu thị: Cao hơn như 001 biểu thị cất đặt Nhất cá cùng không phải môn, 010 biểu thị cất đặt Nhất cá hoặc không phải môn, 100 biểu thị cất đặt Nhất cá Kích hoạt khí......, liên tuyến cũng dùng cùng loại mã hóa, biểu thị trình độ kim loại tuyến, thẳng đứng kim loại tuyến, thông lỗ chờ. ”
Tiên Sinh kích động đứng lên: “ Cái này mạch suy nghĩ tốt! đem phức tạp bao nhiêu bố cục Vấn đề, chuyển hóa làm ly tán mã hóa ưu hóa Vấn đề. toán học bên trên lại càng dễ xử lý! ”
Hạ tiên sinh Gật đầu: “ Cái này mạch suy nghĩ Hoàn toàn không có vấn đề, Hơn nữa ta đề nghị phân tầng Thiết kế. khác biệt công nghệ tầng, Lan rộng tầng, nhiều tinh silic tầng, kim loại tầng, Có thể coi như khác biệt hai chiều mặt phẳng. Giá ta trên mặt phẳng đồ án Cần thỏa mãn Thiết kế Quy Tắc: Ví dụ nhỏ nhất khoảng thời gian, nhỏ nhất độ rộng, thông lỗ xếp hợp lý chờ. những quy tắc này Có thể chuyển hóa làm mã hóa ước thúc điều kiện. ”
Trần tiên sinh Nhanh Chóng trên giấy viết bản thảo Suy diễn: “ Nếu mỗi cái ô lưới dùng k vị số nhị phân mã hóa, Như vậy Toàn bộ Chip trạng thái Chính thị Nhất cá N×M×k ba chiều số nhị phân ma trận. Thiết kế Quy Tắc chuyển hóa làm đối Cái này ma trận ước thúc điều kiện. ưu hóa Mục Tiêu là thu nhỏ lại diện tích, trì hoãn, công hao chờ. bản này chất bên trên là Nhất cá đại quy mô tổ hợp ưu hóa Vấn đề......”
Hạ tiên sinh điểm danh Lữ Thần: “ Tiểu Lữ, Cái này hai chiều thẻ là ngươi Người đầu tiên nói ra, ngươi đến nói một chút nhìn. ”
Lữ Thần Đứng dậy gửi tới lời cảm ơn đạo: “ Mọi người Lão Sư, Thực ra liên quan tới Cái này hai chiều thẻ, ta cảm thấy Lớn nhất tham khảo mạch suy nghĩ là module hóa. ”
Lữ Thần kỹ càng miêu tả trên a công đại dụng cứng rắn giấy thẻ khoan ma trận thực hiện Nhanh chóng đưa vào Quá trình, dĩ cập tấm kia “ thay đổi hàm số tấm thẻ ” Như thế nào điều động “ Dư Tiên hàm số thẻ ” hoàn thành phức tạp tính toán.
“ diệu a! ” Giáo sư Trình vỗ án tán dương, “ cái này không chỉ là đưa vào phương thức sáng tạo cái mới, càng là Một loại ‘ có thể tổ hợp tính toán ’ tư tưởng! một cái thẻ Đại diện Nhất cá hàm số hoặc một vài theo tập, nhiều tấm thẻ tổ hợp liền có thể hoàn thành phức tạp nhiệm vụ. loại tư tưởng này Nếu dùng tại Chip Thiết kế......”
“ module hóa Thiết kế! ” Cao tiên sinh cũng tán thán nói, “ Chúng tôi (Tổ chức có thể đem thường dùng công năng module, Ví dụ toán cộng khí, phép nhân khí, gửi lại khí đống Thiết kế thành Đo đạc đơn nguyên. Thiết kế Chip lúc, tựa như ghép hình Giống nhau tổ hợp Giá ta đơn nguyên. mỗi cái đơn nguyên Bên trong bản đồ là dự đoán Thiết kế Tốt, trải qua nghiệm chứng, Chúng tôi (Tổ chức chỉ cần xử lý tấm thẻ ở giữa liên tuyến Vấn đề. ”
Hạ tiên sinh Gật đầu: “ Tiểu Lữ Đồng chí Cái này mạch suy nghĩ có giá trị! nó không chỉ là Một loại Thiết kế Phương Pháp, càng là Một loại Thiết kế Triết học, đem phức tạp Vấn đề phân giải, chuẩn hoá, lại tổ hợp. ”
Tiểu chủ, Cái này Chương Phía sau Còn có a, xin điểm kích Trang tiếp theo đọc tiếp, Phía sau càng đặc sắc!
“ ta đề nghị, ” Hạ tiên sinh nói, “ Chúng tôi (Tổ chức Lập tức đem cái này mạch suy nghĩ đặt vào Thiết kế Nghiên cứu. Giai đoạn thứ nhất, trước định nghĩa một bộ Đo đạc ‘ Logic môn đơn nguyên ’ kho ； giai đoạn thứ hai, khai phát có thể tự động tổ hợp Giá ta đơn nguyên bố cục phép tính ； giai đoạn thứ ba, mở rộng đến phức tạp hơn công năng module. ”
Đề nghị này thu hoạch được nhất trí thông qua.
Sau đó, Quyết định thành lập “ mạch điện hợp thành Thiết kế tự động hoá Tiểu đội nghiên cứu ”, từ ngành toán học, tính toán chỗ cùng Hồng Tinh chỗ cộng đồng tạo thành.
Giai đoạn thứ nhất Mục Tiêu Chính thị căn cứ vào hai chiều ô lưới mã hóa cùng Đo đạc đơn nguyên kho tư tưởng, khai phát có thể xử lý trăm bóng bán dẫn cấp bố cục hệ thống dây điện phép tính nguyên hình.
Tới Đồng đội thứ tư đề tài thảo luận, Cao tiên sinh Đi đến Bên phải trước tấm bảng đen.
Hắn trên trên bảng đen vẽ ra Hai so sánh bảng biểu, phức tạp chỉ lệnh tập （CISC） cùng đơn giản hoá chỉ lệnh tập, tế sổ quốc tế tiên tiến Nghiên cứu ưu khuyết điểm.
“ Chúng tôi (Tổ chức nên đi con đường nào? ” Cao tiên sinh hỏi, “ là Đi theo Phương Tây chủ lưu, Vẫn Thám hiểm đơn giản hoá chỉ lệnh tập Con mới đường? ”
Trong phòng họp Tái thứ lâm vào kịch liệt biện luận.
Ủng hộ CISC một phương Cho rằng, khoa học tính toán chương trình Cần phức tạp phù điểm tính toán, vectơ thao tác, CISC chỉ lệnh tập có thể Cung cấp càng trực tiếp Ủng hộ ； Hơn nữa hiện hữu trình biên dịch, chương trình Thiết kế Kinh nghiệm đều căn cứ vào CISC.