Menu
Đăng ký
Truyện
← Trước Sau →
Truyen.Free

(Đã dịch) Học Bá Đích Hắc Khoa Kỹ Hệ Thống - Chương 431: Xin siêu máy tính

Sau khi nhận được hồi âm từ Lục Chu, Carlson về cơ bản đã không còn ôm bất kỳ hy vọng nào, và việc trao giải thưởng lớn của Bài toán Thiên niên kỷ cũng vì thế mà bị gác lại.

Thế nhưng, không biết là ai đã để lộ tin tức, khiến tin tức về việc Viện Toán học Clay hủy bỏ kế hoạch trao giải đã định trước cứ thế lan truyền ra ngoài. Hơn nữa, sau cùng tin tức ấy truyền đi truyền lại, lại biến thành lời đồn rằng Lục Chu đã từ chối nhận thưởng.

Kể từ khi phương trình Navier-Stokes được giải, không ít truyền thông vẫn luôn chú ý đến giải thưởng một triệu USD của Bài toán Thiên niên kỷ. Rốt cuộc, đối với đại đa số người không mấy quan tâm đến toán học mà nói, việc chứng minh sự tồn tại hay không tồn tại của nghiệm phương trình Navier-Stokes không thể nào gây chấn động bằng một triệu USD.

Phóng viên của (The New York Times) đã viết một bài bình luận: (... Sau khi nhà toán học người Nga Perelman từ chối nhận giải thưởng treo một triệu USD, nhà toán học Lục Chu của Trung Quốc cũng từ chối phần thưởng một triệu USD. Bài toán Thiên niên kỷ dường như bị bao phủ bởi một lời nguyền bí ẩn, liệu những người giải được các mệnh đề này, cuối cùng đều mất đi hứng thú đối với tiền tài chăng?)

Khi nhận tờ báo này từ tay Hardy, sau khi đọc xong, Lục Chu liền tiện tay ném nó vào thùng rác, lắc đầu nói: "Thật đúng là nói bậy bạ, ta l��c nào đã nói từ chối nhận thưởng chứ? Ta chỉ là yêu cầu Viện Toán học Clay chờ một chút, bởi vì ta rất bận, gần đây không thể sắp xếp thời gian để bay đến Paris một chuyến nữa."

Hardy: "Giáo sư, ngài là vì không thể sắp xếp thời gian đi nhận thưởng nên mới từ chối tiền thưởng của Viện Toán học Clay sao?"

Lục Chu nhấn mạnh một câu: "Là hoãn lại."

Hardy bất đắc dĩ nhún vai: "Được rồi, là hoãn lại... Giáo sư, thực ra tôi có một đề nghị, chỉ là không biết có nên nói hay không."

Lục Chu liếc nhìn hắn: "Đề nghị gì?"

Hardy ngượng ngùng gãi gáy, cười nói: "Ý của tôi là, nếu như ngài thực sự không thể sắp xếp thời gian, có thể phái tôi đi Paris thay ngài nhận thưởng. Ngài bận rộn nghiên cứu, nhưng tôi thì không ngại đi một chuyến xa..."

Lục Chu: "..."

Tên nhóc này...

Dạo này có phải là quá rảnh rỗi rồi không?

...

Những lời đồn đại từ bên ngoài, đối với Lục Chu mà nói, chỉ là một đoạn khúc dạo đầu ngắn ngủi. Đang bận rộn nghiên cứu nhiễu động plasma, hắn làm sao có thời gian tổ chức họp báo, hay đặc biệt đi làm rõ những chuyện nhàm chán như thế này.

Ngoài chuyện trao giải này, những phiền phức mà phương trình Navier-Stokes mang lại cho hắn không chỉ đến từ sự quan tâm quá mức của truyền thông, mà còn có từ những khía cạnh khác. Ví dụ, kể từ khi hắn mang giải Fields từ Brazil trở về, hộp thư của hắn liền chất đầy những bức thư mời gửi đến từ khắp nơi. Trong đó có những lời mời đến từ các cơ quan nghiên cứu trong và ngoài nước, từ một số trường đại học nằm trong top 100 chuyên ngành toán học toàn cầu, thậm chí có những lời mời căn bản không đến từ giới học thuật, mà là từ một đoàn làm phim truyền hình và một số chương trình talk show...

Sau khi ném tất cả những email này cho tiểu Ngải xử lý, Lục Chu cảm thấy nhẹ nhõm hơn nhiều. Trong việc từ chối một cách khéo léo và xử lý thư rác, tiểu Ngải quả thực như một chiếc áo bông nhỏ tri kỷ của hắn, sau khi hắn làm mẫu vài lần, giờ đây đã ngày càng thành thạo hơn.

Sau khi sắp xếp thỏa đáng những việc vặt này, Lục Chu tiếp tục quay trở lại công việc nghiên cứu, bắt đầu tìm hiểu vấn đề nhiễu động plasma.

Điều đáng nhắc đến là, vấn đề nhiễu động chủ yếu gây khó khăn ở hai loại.

Loại thứ nhất đến từ tính phức tạp của hệ thống và môi trường, tính phức tạp này lại bắt nguồn từ sự đa dạng trong hệ thống chuyển động nhiễu động. Lấy thiết bị vũ trụ làm ví dụ, theo sự thay đổi của độ cao, tốc độ bay, thậm chí khu vực và nhiệt độ bề mặt vật li��u, môi trường khí thể cũng như môi trường cơ học vĩ mô tại vị trí của thiết bị vũ trụ không ngừng biến đổi.

Còn về loại phức tạp thứ hai, lại bắt nguồn từ phương pháp luận vật lý cổ điển. Thuyết hoàn nguyên truyền thống đều xuất phát từ các bộ (tuple) chuyển động cơ bản nhất của vật chất, từ các quy luật tương tác giữa các bộ cơ bản để thiết lập phương trình biến đổi của chuyển động. Điều này nghe có vẻ rất đơn giản, rốt cuộc nhiều công thức vật lý cổ điển thậm chí không cần đến phương pháp toán cao cấp.

Thế nhưng trong vật lý, "chỉ cần số lượng lớn đã là phức tạp". Tương tự, lấy máy bay làm ví dụ, lưu lượng xung quanh một chiếc Boeing 747 sẽ bao gồm từ 10^15 đến 10^24 phần tử chất lưu vi mô. Nếu phân tích cơ học cho từng phần tử chất lưu vi mô, đồng thời tính đến sự nhiễu loạn do chúng tương tác lẫn nhau gây ra, thì ngay cả khi sử dụng tất cả máy tính trên toàn cầu, cũng rất khó hoàn thành khối lượng tính toán khổng lồ như vậy.

Do đó, đa số các nhà nghiên cứu phân tích thủy động lực học, tất cả các mô hình họ thiết lập đều là hiện tượng luận (phenomenological). Thậm chí ngay cả khi các học giả khác nhau sử dụng cùng một phương pháp CFD, kết quả thu được cũng có thể hoàn toàn khác biệt. Cũng chính vì vậy, việc tính toán CFD nhiễu động dựa trên lý thuyết đóng kỹ thuật, thường được gọi là "Nghệ thuật" chứ không phải khoa học.

Mọi người say mê nghiên cứu sự trơn tru và tồn tại của nghiệm phương trình Navier-Stokes như vậy, không chỉ là muốn biết liệu nghiệm mà không thể tìm ra đó rốt cuộc có tồn tại hay không, mà là hy vọng các nhà toán học có thể đạt được điều gì đó trong quá trình nghiên cứu phương trình này. Nó có lẽ là một cách tính toán lượng cấu trúc biên giới giữa vùng dưới âm và vùng siêu âm, có lẽ là một dạng yếu xấp xỉ thích hợp trong phạm vi hữu hạn. Còn điều Lục Chu đạt được, lại là L Manifold cùng với phương pháp hình học vi phân để xử lý các phương trình vi phân riêng phần.

Đối với plasma bên trong Stellarator mà nói, vấn đề thứ nhất lại khá dễ nói. Mặc dù plasma ở trạng thái áp suất và nhiệt đ��� cao là không ổn định, nhưng ít nhất, môi trường cơ học vĩ mô cấu thành nên toàn bộ chuyển động tuần hoàn của plasma cũng khá đồng đều.

Còn về loại vấn đề thứ hai, đó lại chính là trọng tâm của sự khó khăn. Bất quá, sự khó khăn ở đây cũng chỉ là đối với người bình thường mà thôi. Khi Lục Chu ứng dụng L Manifold vào phương trình Navier-Stokes, đồng thời dựa trên phương pháp hình học vi phân để thiết lập mô hình toán học từ những số liệu thực nghiệm kia, hắn phát hiện toàn bộ công việc tuy rằng đầy phức tạp, nhưng lại không khó khăn như hắn tưởng tượng.

Thời gian ngày lại ngày trôi qua, lịch ngày mở sang một trang mới.

Đầu tháng chín.

Ngồi trong văn phòng tại Viện Nghiên cứu Cao cấp Princeton, Lục Chu tập trung cao độ nhìn chằm chằm màn hình máy tính, cây bút trong tay thỉnh thoảng viết viết vẽ vẽ trên giấy. Khi hắn gõ xuống dòng biểu thức toán học cuối cùng trong máy tính, cuối cùng thở phào một hơi, đặt cây bút bi đang kẹp ở đầu ngón tay xuống.

"Quyết định!"

Nghe thấy giọng của giáo sư, Hardy với vẻ mặt ngơ ngác ng���ng đầu lên, nhìn Tần Nhạc bên cạnh một cái, sau đó lại lặng lẽ cúi đầu xuống. Jericho và Willa thì lén lút nhìn Lục Chu với ánh mắt sùng bái, đặc biệt là Willa, trong mắt cô dường như lấp lánh những ngôi sao nhỏ. Mặc dù không biết giáo sư đang làm gì, nhưng tóm lại cảm thấy trông rất lợi hại.

Còn về Ngụy Văn, đang viết luận văn thạc sĩ, thì thờ ơ không động lòng với những chuyện này. Đối với hắn, người có chí muốn tốt nghiệp năm nay và sang năm bắt đầu học tiến sĩ, những chuyện này đều không quá quan trọng. Nói chung, giáo sư lại nghiên cứu ra thứ gì đó kinh khủng là được rồi...

Cũng không chú ý đến phản ứng của các học sinh, Lục Chu nhanh chóng kiểm tra lại mô hình toán học của mình một lần, sau đó sao chép dữ liệu vào USB, mang theo USB nhanh chóng rời khỏi văn phòng. Việc suy luận phương trình có thể hoàn thành bằng trí óc con người, nhưng một khi liên quan đến việc giải số học, thì khối lượng tính toán khủng khiếp đó sẽ vượt quá khả năng của con người. Để kiểm chứng mô hình toán học của mình, đồng thời cũng để thu thập dữ liệu mô phỏng trực tiếp, hắn hiện tại cần một siêu máy tính.

Càng nhanh càng tốt!

...

Là một trong những trường đại học giàu có nhất Bắc Mỹ, sự thịnh vượng của Princeton không chỉ thể hiện ở việc sẵn lòng chi tiền để chiêu mộ nhân tài, mà còn thể hiện ở việc đầu tư xây dựng cơ sở vật chất phần cứng cho khuôn viên trường. Mặc dù tọa lạc tại thị trấn Princeton nhỏ bé, bề ngoài không mấy nổi bật, nhưng nơi đây từ phòng thí nghiệm vật lý plasma đến trung tâm siêu máy tính đều không thiếu thứ gì. Bởi vậy có thể thấy được, việc có một hội cựu sinh viên với tài lực hùng hậu hậu thuẫn là quan trọng đến mức nào đối với một trường đại học.

Siêu máy tính mà trường Princeton sử dụng, có tên đầy đủ là Trung tâm Nghiên cứu Siêu máy tính John Norman. Nơi đây chủ yếu thực hiện các nghiên cứu mô phỏng trong các lĩnh vực như Vật lý vật chất ngưng tụ, Vật lý plasma, Cơ học thiên thể. Mặc dù trong số những người Lục Chu quen biết có cao thủ trong lĩnh vực tính toán song song như David Shaw, nhưng năng lực giải to��n mạnh mẽ của Anton lại chỉ thể hiện trong lĩnh vực Hóa học tính toán, còn trong lĩnh vực tính toán thông dụng thì biểu hiện không mấy lý tưởng. Huống hồ bản thân David Shaw, đối với vật lý plasma hay mô phỏng thủy động lực học cũng chưa chắc đã cảm thấy hứng thú, nên Lục Chu cũng không làm phiền ông ấy.

Sau khi điền đơn xin theo quy trình, Lục Chu không phải chờ đợi quá lâu, rất nhanh đã nhận được sự phê chuẩn đơn xin từ phía nhà trường. Bất kỳ dự án nghiên cứu nào có liên quan đến Phòng thí nghiệm PPPL đều được phê duyệt nhanh chóng nhất. Huống hồ lại là một vị người đoạt giải Fields.

Mang theo tài liệu văn bản đến Trung tâm Siêu máy tính John Norman, Lục Chu tìm gặp Giáo sư Amer Grim, chủ nhiệm trung tâm nghiên cứu, và trình bày rõ ý định của mình với ông ấy. Nghe xong thỉnh cầu của Lục Chu, lông mày của Grim kinh ngạc nhướng lên.

"Thật khó tin... Ngươi chắc chắn mình không đùa chứ? Ngươi đã thành công xây dựng mô hình toán học cho nhiễu động plasma bên trong Stellarator sao?"

Mặc dù ông không phải nhà vật lý học, nhưng vẫn biết đây là một chuyện kinh người đến mức nào.

Lục Chu thở dài một tiếng, lắc nhẹ đơn xin trong tay: "Còn nửa năm nữa mới đến ngày Cá tháng Tư, ta xác định ta không phải đang nói đùa."

Giáo sư Grim không nói lời thừa, mở máy tính làm việc ra: "Cái mô hình đó ngươi có mang theo không?"

Đặt USB lên bàn, Lục Chu nói: "Đương nhiên rồi."

Nhận lấy USB cắm vào máy tính, sau khi mở tài liệu bên trong, nhìn số liệu và hình vẽ trên màn hình máy tính, Grim vuốt bộ râu lởm chởm trên cằm, suy nghĩ một lát rồi nói: "Để tôi nói thẳng, cái này xem ra rất khó. Tôi không chắc Trung tâm John Norman của chúng tôi có thể chịu nổi khối lượng tính toán cấp độ này. E rằng điều ngươi cần là siêu máy tính Summit của Phòng thí nghiệm Quốc gia Oak Ridge... Vậy không có cách nào đơn giản hóa mô hình này một chút sao?"

Lục Chu lắc đầu: "Đây đã là dạng đơn giản nhất mà ta có thể làm được rồi."

"Được rồi, ngươi đại diện cho phòng thí nghiệm PPPL, đã đặt ra cho chúng tôi một vấn đề khó khăn," Giáo sư Grim xoay bút trong tay, suy tư một lát rồi nói, "Phần tính toán tôi có thể giải quyết, bất quá, ngươi đừng mong công việc này có thể hoàn thành trong khoảng thời gian ngắn."

Lục Chu gật đầu: "Ta biết. Hơn nữa, ta sẽ cung cấp trợ giúp cho các vị."

Giáo sư Grim cười nói: "Điều này là tất yếu, rốt cuộc chúng tôi chuyên về tính toán song song quy mô lớn, nhưng không phải là chuyên gia vật lý plasma."

Bản dịch này được thực hiện độc quyền cho cộng đồng truyen.free, không sao chép dưới mọi hình thức.

Trước Sau
Nghe truyện
Nữ
Nam

Cài đặt đọc truyện

Màu nền:
Cỡ chữ:
Giãn dòng:
Font chữ:
Ẩn header khi đọc
Vuốt chuyển chương

Danh sách chương

Truyen.Free