Architecture of Advanced Numerical Analysis Systems. Designing a Scientific Computing System using OCaml
Cập nhật vào: Thứ năm - 06/07/2023 10:21
Nhan đề chính: Architecture of Advanced Numerical Analysis Systems. Designing a Scientific Computing System using OCaml
Nhan đề dịch: Kiến trúc của các hệ thống phân tích số nâng cao. Thiết kế hệ thống máy tính khoa học bằng OCaml
Tác giả: Liang Wang , Jianxin Zhao
Nhà xuất bản: Springer, Cham
Năm xuất bản: 2022
Số trang: 472 tr.
Ngôn ngữ: Tiếng Anh
ISBN: 978-1-4842-8853-5
SpringerLink
Lời giới thiệu: Cuốn sách này áp dụng ngôn ngữ lập trình OCaml chuyên biệt cho các ứng dụng khoa học, kỹ thuật và khoa học dữ liệu có trọng số tính toán hoặc số học. Cuốn sách này dựa trên kinh nghiệm trực tiếp của các tác giả khi xây dựng và duy trì Owl, một thư viện điện toán số dựa trên OCaml. Trước tiên, bạn sẽ tìm hiểu các thành phần khác nhau trong thư viện tính toán số hiện đại. Sau đó, bạn sẽ tìm hiểu cách các thành phần này được thiết kế và xây dựng cũng như cách tối ưu hóa hiệu suất của chúng. Sau khi đọc và sử dụng cuốn sách này, bạn sẽ có kiến thức cần thiết để thiết kế và xây dựng các hệ thống phức tạp trong thế giới thực, tận dụng hiệu quả các lợi thế của ngôn ngữ lập trình chức năng OCaml. Bạn sẽ học được gì:
Tối ưu hóa hoạt động cốt lõi dựa trên mảng N chiều
Thiết kế và triển khai mô-đun phân biệt thuật toán cấp ngành
Thực hiện tối ưu hóa toán học, hồi quy và các chức năng mạng thần kinh sâu dựa trên sự khác biệt của thuật toán
Thiết kế và tối ưu hóa mô-đun đồ thị tính toán và hiểu những lợi ích mà nó mang lại cho thư viện tính toán số
Đáp ứng số lượng ngày càng tăng của các bộ tăng tốc phần cứng (ví dụ: GPU, TPU) và phụ trợ thực thi (ví dụ: trình duyệt web, unikernel) của tính toán số
Sử dụng hệ thống Zoo để viết kịch bản, chia sẻ mã, triển khai dịch vụ và sáng tác hiệu quả
Thiết kế và triển khai một công cụ tính toán phân tán để hoạt động với thư viện tính toán số, cung cấp các API thuận tiện và hiệu suất cao
Cuốn sách này dành cho ai:
Những người có kinh nghiệm lập trình trước đây, đặc biệt là với ngôn ngữ lập trình OCaml hoặc có kinh nghiệm tính toán khoa học, những người có thể chưa quen với OCaml. Quan trọng nhất, nó dành cho những người mong muốn hiểu không chỉ cách sử dụng một thứ gì đó mà còn cả cách nó được xây dựng.
Từ khóa: Ocaml. Ngôn ngữ lập trình. Phân tích số. Hệ thống máy tính.
Nội dung cuốn sách gồm những phần sau
Giới thiệu
Tối ưu hóa cốt lõi
Sự khác biệt thuật toán
Tối ưu toán học
Mạng thần kinh sâu
Đồ thị tính toán
Máy gia tốc hiệu suất
Trình biên dịch phụ trợ
Thành phần và triển khai
Phân phối máy tính
Khung kiểm tra