» Diễn đàn » Đọc truyện » Tiểu Thuyết
Làm Nghiên Cứu Khoa Học Ở Khu Tập Thể Hàng Không Vũ Trụ
 |  admin(Admin) Hôm nay, 08:04 |
thoải mái chỗ nào không? Cô còn thiếu thứ gì thì cứ mạnh dạn nói với tôi.”
Vân Ngưng quả thực là người có thể tự học thành tài, gọi là thiên tài cũng không ngoa.
Mầm non xuất chúng thế này của khoa Số liệu, ông nhất định phải bảo vệ bằng mọi giá!
Vân Ngưng kéo tay Bộ trưởng lại gần, chỉ vào tài liệu: “Bộ trưởng ngài xem này, thuật toán chập nhanh Winograd (Winograd Fast Convolution Algorithm) có thể chuyển đổi một phần các phép nhân thành phép cộng, từ đó làm giảm khối lượng tính toán. Ví dụ như phép tính chập 3x3 này, thay vì phải thực hiện 36 lần phép nhân, chúng ta có thể giảm xuống chỉ còn 16 lần. Khoa của chúng ta đang sử dụng máy tính DJS-130 để tính toán đúng không ạ? Một lần mô phỏng buồng đốt hoàn chỉnh đại khái sẽ phải tính toán liên tục trong vòng ba ngày. Bộ nhớ của máy DJS-130 khá thấp, tôi đoán lúc chạy chương trình sẽ bị giật lag, mà nếu tối giản hóa mô hình thì kết quả cho ra lại dễ bị sai lệch. Chi bằng chúng ta thử nghiệm phương pháp mà tôi vừa đề xuất xem sao.”
(Thuật toán tối ưu Winograd được đưa ra vào năm 1980, ở thời điểm hiện tại vẫn chưa được áp dụng tại Trung Quốc.)
Chương 88
Việc tháo gỡ tính toán sai phân của phương trình chất lưu thành phép toán tích chập, chia lưới ba chiều ban đầu thành các khối để tính toán, nhiệm vụ của máy tính cũng sẽ nhẹ nhàng hơn, không xảy ra tình trạng sập nguồn hay treo máy.
Mấy vị lãnh đạo mang một bụng những lời khen ngợi còn chưa kịp thốt ra đã phải nghẹn ngược trở lại.
Bọn họ khẩn cấp vây quanh Vân Ngưng, cùng nhau nghiên cứu phương pháp mới do cô đề xuất.
Vân Ngưng suy luận ra công thức then chốt:
y=F*X
…
Chỉ trong vòng một tháng ngắn ngủi, khoa Số liệu đã xảy ra những thay đổi long trời lở đất.
Các lãnh đạo chạy qua chạy lại Tổ Đổi mới liên tục, Tổ Đổi mới sắp biến thành văn phòng làm việc mới của bọn họ luôn rồi.
Ngay cả ở nhà ăn, bầu không khí của bọn họ cũng hoàn toàn khác biệt.
Một đám người đông đúc cứ nhất quyết phải chen chúc một chỗ, khay thức ăn còn chẳng có không gian mà để, nhưng vẫn cứ một hai đòi ngồi ăn cơm cùng nhau.
Trong tay mỗi vị lãnh đạo đều ôm khư khư một cuốn vở nháp, ai nấy đều cầm bút, điên cuồng tính toán trên giấy.
Nếu quan sát kỹ sẽ phát hiện ra, đa phần bọn họ đều chờ sau khi trao đổi với Vân Ngưng xong thì mới cắm mặt vào sổ điên cuồng viết công thức.
Các khoa phòng khác ban đầu vẫn còn chìm đắm trong nhiệm vụ của riêng mình, dần dần cuối cùng cũng nhận ra có điều gì đó không ổn.
Bộ trưởng và các đại lão của các khoa phòng khác đều bị gọi đến nhà ăn để chiêm ngưỡng kỳ quan này.
Các đại lão: “...”
“Chúng ta không đủ nỗ lực sao??”
Tổ tính toán của khoa Số liệu vốn là để cung cấp sự hỗ trợ cho các khoa phòng khác. Rất nhanh sau đó, thuật toán tối ưu hóa của bọn họ đã được các khoa phòng biết đến, gần như toàn bộ các phòng ban đều được hưởng lợi.
Việc tiết kiệm được thời gian trong khâu tính toán đã giúp tiến độ công việc của toàn viện được đẩy nhanh đáng kể.
Các đại lão của các khoa phòng đều đang lén lút rỉ tai nhau bàn tán, vị Bộ trưởng già của khoa Số liệu năm nay đã ngót nghét năm mươi tuổi rồi mà giờ mới bắt đầu "mọc não", lại còn đi theo con đường hiểm hóc khác người nữa chứ!
Vị Bộ trưởng bị ép "mọc não": “...”
Nghe cứ như đang chửi bới người ta ấy nhỉ?
Chẳng bao lâu sau, mọi người lại phát hiện ra, khoa Số liệu bây giờ không còn xoay quanh Bộ trưởng nữa, mà chủ yếu là vây quanh một vị nữ đồng chí.
Vị nữ đồng chí này trẻ trung đáng yêu, xinh đẹp như hoa.
Nghe ngóng thêm chút nữa, thì ra lại là con gái của kỹ sư Vân đã anh dũng hy sinh.
Đoán chừng là thấy con bé tội nghiệp quá nên mọi người mới chăm sóc ưu ái như vậy??
Vân Ngưng mỗi ngày đều trôi qua trong sự hăng hái, phong độ ngời ngời.
Bầu không khí của khoa quá tốt, bất kể cô đề xuất thuật toán tiên tiến nào, các lãnh đạo đều sẵn lòng lao vào nghiên cứu. Đại khái là bởi vì bản thân bọn họ trước hết là những người làm nghiên cứu khoa học, sau đó mới là lãnh đạo bên mảng hành chính.
Vân Ngưng chính là thích một bầu không khí như vậy.
Bộ trưởng còn nói Vân Ngưng có cống hiến xuất sắc, muốn làm đơn xin cấp tiền thưởng cho cô.
Để đảm bảo công bằng, cũng như để khích lệ những người khác, tiền thưởng được xin cấp dựa trên số lần cống hiến của cô. Dẫu sao thì mỗi một công thức của cô đối với bọn họ mà nói, đều là những bước cải cách mang tính thời đại.
Vân Ngưng tính toán qua một chút, tổng cộng các khoản tiền thưởng của cô cộng lại cũng phải lên tới hơn một ngàn đồng rồi.
Nhóm Mạnh Hải cũng được "thơm lây", mỗi người cũng được chia hai trăm đồng tiền thưởng.
Vân Ngưng bận rộn hơn một tháng trời, cuối cùng cũng được rảnh rỗi hơn đôi chút.
Chủ nhật, hiếm hoi lắm cô và Lục Lăng mới được cùng nhau nghỉ ngơi.
Nếu không nhờ những buổi trưa vô tình chạm mặt nhau ở nhà ăn, thì khéo cô và Lục Lăng đã nửa tháng trời không giáp mặt nhau rồi.
Vân Ngưng lĩnh được tiền thưởng, liền cầm tem phiếu thịt đi ra chợ mua thịt.
Cô muốn tự thưởng cho bản thân mình, ngặt nỗi tem phiếu thịt lại có hạn. Vân Ngưng cắn răng một cái, quyết định bảo Nguy Minh Châu dẫn cô đến khu chợ đen nằm sâu trong ngõ nhỏ.
Khu chợ đen kiểu này không cần dùng đến tem phiếu, nhưng bù lại giá thịt sẽ đắt hơn một chút.
Dù vậy thì vẫn rẻ hơn so với việc phải bỏ tiền ra mua tem phiếu ở chợ đen, tính ra thì vẫn khá hời.
Trong đầu Vân Ngưng hoàn toàn không có cái khái niệm gọi là "đầu cơ trục lợi", cô không hề cảm thấy việc buôn bán làm ăn thì có gì là sai trái.
Cô mua thịt xong xuôi trở về đại viện, ngay tại cổng đại viện thì chạm mặt Khang Tĩnh.
Khang Tĩnh hôm nay vừa đi siêu thị bách hóa trên thành phố càn quét mua sắm một vòng về, thấy Vân Ngưng xách thịt từ bên ngoài đại viện đi vào liền nhìn cô bằng ánh mắt cười như không cười.
Vân Ngưng lập tức nở một nụ cười vô cùng xán lạn rạng rỡ với Khang Tĩnh.
Khang Tĩnh: “...”
Đừng có cười, bà ta sợ.
Hai người cùng nhau đi vào trong, vừa đi vừa buông những lời dối trá giả tạo bày tỏ nỗi nhớ nhung dành cho đối phương.
Đi mãi cho đến khi về tới gần khu nhà ở của người nhà cán bộ, thấy mấy người Vương Chí đang ngồi đánh cờ dưới lầu.
Đã lâu lắm rồi trong viện không được thoải mái, thư giãn như vậy. Nhờ có thuật toán mới của Vân Ngưng giúp đẩy nhanh tiến độ hoàn thành nhiệm vụ, bọn họ mới có được khoảng thời gian để th* d*c đôi chút.
Khang Tĩnh nhìn thấy Vương Chí liền cố tình cao giọng nói: “Tiểu Vân à, sau này có mua thịt thì cứ ra cái chợ nông sản ở phía đông đại viện nhà mình mà mua, đừng có chạy ra tít bên ngoài mua làm gì, xa xôi quá.”
Bên trong đại viện có hẳn một khu chợ nông sản, chợ nông sản thì thứ gì mà chẳng bán.
Tại sao cứ nhất quyết phải chạy ra tận bên ngoài đại viện để mua thịt? Lý do thì ai cũng có thể dễ dàng đoán ra được.
Vương Chí liếc nhìn hai người họ một cái, vẫy tay gọi Vân Ngưng: “Hôm nay định tự khao bản thân một bữa ra trò đấy à?”
Đứa con gái của người anh em tốt của ông ấy thực sự khiến người ta phải chấn động. Từ một kẻ đội sổ với số điểm 2 tròn trĩnh lội ngược dòng trở thành "thiên phú dị bẩm" trong miệng của những người thuộc khoa Số liệu,
Vân Ngưng quả thực là người có thể tự học thành tài, gọi là thiên tài cũng không ngoa.
Mầm non xuất chúng thế này của khoa Số liệu, ông nhất định phải bảo vệ bằng mọi giá!
Vân Ngưng kéo tay Bộ trưởng lại gần, chỉ vào tài liệu: “Bộ trưởng ngài xem này, thuật toán chập nhanh Winograd (Winograd Fast Convolution Algorithm) có thể chuyển đổi một phần các phép nhân thành phép cộng, từ đó làm giảm khối lượng tính toán. Ví dụ như phép tính chập 3x3 này, thay vì phải thực hiện 36 lần phép nhân, chúng ta có thể giảm xuống chỉ còn 16 lần. Khoa của chúng ta đang sử dụng máy tính DJS-130 để tính toán đúng không ạ? Một lần mô phỏng buồng đốt hoàn chỉnh đại khái sẽ phải tính toán liên tục trong vòng ba ngày. Bộ nhớ của máy DJS-130 khá thấp, tôi đoán lúc chạy chương trình sẽ bị giật lag, mà nếu tối giản hóa mô hình thì kết quả cho ra lại dễ bị sai lệch. Chi bằng chúng ta thử nghiệm phương pháp mà tôi vừa đề xuất xem sao.”
(Thuật toán tối ưu Winograd được đưa ra vào năm 1980, ở thời điểm hiện tại vẫn chưa được áp dụng tại Trung Quốc.)
Chương 88
Việc tháo gỡ tính toán sai phân của phương trình chất lưu thành phép toán tích chập, chia lưới ba chiều ban đầu thành các khối để tính toán, nhiệm vụ của máy tính cũng sẽ nhẹ nhàng hơn, không xảy ra tình trạng sập nguồn hay treo máy.
Mấy vị lãnh đạo mang một bụng những lời khen ngợi còn chưa kịp thốt ra đã phải nghẹn ngược trở lại.
Bọn họ khẩn cấp vây quanh Vân Ngưng, cùng nhau nghiên cứu phương pháp mới do cô đề xuất.
Vân Ngưng suy luận ra công thức then chốt:
y=F*X
…
Chỉ trong vòng một tháng ngắn ngủi, khoa Số liệu đã xảy ra những thay đổi long trời lở đất.
Các lãnh đạo chạy qua chạy lại Tổ Đổi mới liên tục, Tổ Đổi mới sắp biến thành văn phòng làm việc mới của bọn họ luôn rồi.
Ngay cả ở nhà ăn, bầu không khí của bọn họ cũng hoàn toàn khác biệt.
Một đám người đông đúc cứ nhất quyết phải chen chúc một chỗ, khay thức ăn còn chẳng có không gian mà để, nhưng vẫn cứ một hai đòi ngồi ăn cơm cùng nhau.
Trong tay mỗi vị lãnh đạo đều ôm khư khư một cuốn vở nháp, ai nấy đều cầm bút, điên cuồng tính toán trên giấy.
Nếu quan sát kỹ sẽ phát hiện ra, đa phần bọn họ đều chờ sau khi trao đổi với Vân Ngưng xong thì mới cắm mặt vào sổ điên cuồng viết công thức.
Các khoa phòng khác ban đầu vẫn còn chìm đắm trong nhiệm vụ của riêng mình, dần dần cuối cùng cũng nhận ra có điều gì đó không ổn.
Bộ trưởng và các đại lão của các khoa phòng khác đều bị gọi đến nhà ăn để chiêm ngưỡng kỳ quan này.
Các đại lão: “...”
“Chúng ta không đủ nỗ lực sao??”
Tổ tính toán của khoa Số liệu vốn là để cung cấp sự hỗ trợ cho các khoa phòng khác. Rất nhanh sau đó, thuật toán tối ưu hóa của bọn họ đã được các khoa phòng biết đến, gần như toàn bộ các phòng ban đều được hưởng lợi.
Việc tiết kiệm được thời gian trong khâu tính toán đã giúp tiến độ công việc của toàn viện được đẩy nhanh đáng kể.
Các đại lão của các khoa phòng đều đang lén lút rỉ tai nhau bàn tán, vị Bộ trưởng già của khoa Số liệu năm nay đã ngót nghét năm mươi tuổi rồi mà giờ mới bắt đầu "mọc não", lại còn đi theo con đường hiểm hóc khác người nữa chứ!
Vị Bộ trưởng bị ép "mọc não": “...”
Nghe cứ như đang chửi bới người ta ấy nhỉ?
Chẳng bao lâu sau, mọi người lại phát hiện ra, khoa Số liệu bây giờ không còn xoay quanh Bộ trưởng nữa, mà chủ yếu là vây quanh một vị nữ đồng chí.
Vị nữ đồng chí này trẻ trung đáng yêu, xinh đẹp như hoa.
Nghe ngóng thêm chút nữa, thì ra lại là con gái của kỹ sư Vân đã anh dũng hy sinh.
Đoán chừng là thấy con bé tội nghiệp quá nên mọi người mới chăm sóc ưu ái như vậy??
Vân Ngưng mỗi ngày đều trôi qua trong sự hăng hái, phong độ ngời ngời.
Bầu không khí của khoa quá tốt, bất kể cô đề xuất thuật toán tiên tiến nào, các lãnh đạo đều sẵn lòng lao vào nghiên cứu. Đại khái là bởi vì bản thân bọn họ trước hết là những người làm nghiên cứu khoa học, sau đó mới là lãnh đạo bên mảng hành chính.
Vân Ngưng chính là thích một bầu không khí như vậy.
Bộ trưởng còn nói Vân Ngưng có cống hiến xuất sắc, muốn làm đơn xin cấp tiền thưởng cho cô.
Để đảm bảo công bằng, cũng như để khích lệ những người khác, tiền thưởng được xin cấp dựa trên số lần cống hiến của cô. Dẫu sao thì mỗi một công thức của cô đối với bọn họ mà nói, đều là những bước cải cách mang tính thời đại.
Vân Ngưng tính toán qua một chút, tổng cộng các khoản tiền thưởng của cô cộng lại cũng phải lên tới hơn một ngàn đồng rồi.
Nhóm Mạnh Hải cũng được "thơm lây", mỗi người cũng được chia hai trăm đồng tiền thưởng.
Vân Ngưng bận rộn hơn một tháng trời, cuối cùng cũng được rảnh rỗi hơn đôi chút.
Chủ nhật, hiếm hoi lắm cô và Lục Lăng mới được cùng nhau nghỉ ngơi.
Nếu không nhờ những buổi trưa vô tình chạm mặt nhau ở nhà ăn, thì khéo cô và Lục Lăng đã nửa tháng trời không giáp mặt nhau rồi.
Vân Ngưng lĩnh được tiền thưởng, liền cầm tem phiếu thịt đi ra chợ mua thịt.
Cô muốn tự thưởng cho bản thân mình, ngặt nỗi tem phiếu thịt lại có hạn. Vân Ngưng cắn răng một cái, quyết định bảo Nguy Minh Châu dẫn cô đến khu chợ đen nằm sâu trong ngõ nhỏ.
Khu chợ đen kiểu này không cần dùng đến tem phiếu, nhưng bù lại giá thịt sẽ đắt hơn một chút.
Dù vậy thì vẫn rẻ hơn so với việc phải bỏ tiền ra mua tem phiếu ở chợ đen, tính ra thì vẫn khá hời.
Trong đầu Vân Ngưng hoàn toàn không có cái khái niệm gọi là "đầu cơ trục lợi", cô không hề cảm thấy việc buôn bán làm ăn thì có gì là sai trái.
Cô mua thịt xong xuôi trở về đại viện, ngay tại cổng đại viện thì chạm mặt Khang Tĩnh.
Khang Tĩnh hôm nay vừa đi siêu thị bách hóa trên thành phố càn quét mua sắm một vòng về, thấy Vân Ngưng xách thịt từ bên ngoài đại viện đi vào liền nhìn cô bằng ánh mắt cười như không cười.
Vân Ngưng lập tức nở một nụ cười vô cùng xán lạn rạng rỡ với Khang Tĩnh.
Khang Tĩnh: “...”
Đừng có cười, bà ta sợ.
Hai người cùng nhau đi vào trong, vừa đi vừa buông những lời dối trá giả tạo bày tỏ nỗi nhớ nhung dành cho đối phương.
Đi mãi cho đến khi về tới gần khu nhà ở của người nhà cán bộ, thấy mấy người Vương Chí đang ngồi đánh cờ dưới lầu.
Đã lâu lắm rồi trong viện không được thoải mái, thư giãn như vậy. Nhờ có thuật toán mới của Vân Ngưng giúp đẩy nhanh tiến độ hoàn thành nhiệm vụ, bọn họ mới có được khoảng thời gian để th* d*c đôi chút.
Khang Tĩnh nhìn thấy Vương Chí liền cố tình cao giọng nói: “Tiểu Vân à, sau này có mua thịt thì cứ ra cái chợ nông sản ở phía đông đại viện nhà mình mà mua, đừng có chạy ra tít bên ngoài mua làm gì, xa xôi quá.”
Bên trong đại viện có hẳn một khu chợ nông sản, chợ nông sản thì thứ gì mà chẳng bán.
Tại sao cứ nhất quyết phải chạy ra tận bên ngoài đại viện để mua thịt? Lý do thì ai cũng có thể dễ dàng đoán ra được.
Vương Chí liếc nhìn hai người họ một cái, vẫy tay gọi Vân Ngưng: “Hôm nay định tự khao bản thân một bữa ra trò đấy à?”
Đứa con gái của người anh em tốt của ông ấy thực sự khiến người ta phải chấn động. Từ một kẻ đội sổ với số điểm 2 tròn trĩnh lội ngược dòng trở thành "thiên phú dị bẩm" trong miệng của những người thuộc khoa Số liệu,
