Đối với các nhà khoa học cần mô phỏng biến đổi khí hậu hoặc phản ứng tổng hợp hạt nhân, ngôn ngữ chính hiện nay là Fortran. Trình biên dịch của nó có thể tận dụng tối đa hiệu suất mạnh mẽ của các siêu máy tính lớn. Đối với các nhà khoa học dữ liệu, Python là ngôn ngữ phổ biến nhất vì hệ sinh thái phong phú, tính tương tác mạnh và chu kỳ phát triển nhanh.

Julia dường như đã giải quyết được "vấn đề hai ngôn ngữ", đây là một vấn đề phổ biến mà người dùng các ngôn ngữ thông dịch như Python phải đối mặt. Viết một chương trình bằng Python, mặc dù bạn có thể tận hưởng cú pháp và tính tương tác tiện lợi của nó, nhưng khi quy mô tính toán được mở rộng đến một mức độ nhất định, tốc độ tính toán của chương trình sẽ chậm lại rất nhiều. Đây là một hạn chế của chính ngôn ngữ Python.

Đối với các hoạt động mô phỏng quy mô lớn, do lượng dữ liệu quá lớn, tốc độ chạy của chương trình là rất quan trọng nên các nhà nghiên cứu phải viết lại chương trình tương tự bằng một ngôn ngữ như C để cải thiện tốc độ chạy trong các ứng dụng thực tế. Nhưng sau khi tăng tốc, họ phải duy trì và cập nhật mã của cả hai ngôn ngữ trong nghiên cứu tiếp theo. “Vấn đề hai ngôn ngữ” ra đời từ đây.

Nhiệm vụ của Julia là giải quyết "vấn đề hai ngôn ngữ" kể từ khi nó ra đời, để thu hút các nhà khoa học và những người khác học ngôn ngữ, nhưng đây không phải là phần thú vị duy nhất của nó.

Hãy lấy hội nghị JuliaCon năm nay làm ví dụ. Hầu hết các hội nghị máy tính thông thường được tổ chức xoay quanh các chủ đề khoa học máy tính như lập trình, trình biên dịch, thuật toán và tối ưu hóa. Mặc dù có những thứ này trên JuliaCon, chúng thiên về các chủ đề nghiên cứu khoa học, chẳng hạn như cơ học chất lỏng, xử lý ngôn ngữ, hình ảnh não. Những chủ đề này tạo cho mọi người ảo tưởng rằng họ đã bước vào một hội nghị nghiên cứu khoa học.

Tình hình phổ biến này là do thái độ cởi mở của cộng đồng lập trình Julia, mọi người đều có thể tìm thấy code trên GitHub. Nếu ai đó muốn sử dụng một thuật toán hiện có, từ tài liệu trợ giúp đến nhận xét mã, họ có thể tải phiên bản mới nhất. Điều này hoàn toàn khác với bầu không khí mà hầu hết các nhà khoa học lớn tuổi quen thuộc: Trước đây, mã nghiên cứu hầu như không bao giờ rời khỏi phòng thí nghiệm.

Giải quyết "vấn đề biểu thức"

"Vấn đề biểu thức" là một khái niệm phổ biến trong nghiên cứu thiết kế ngôn ngữ máy tính. Đây là một lĩnh vực nghiên cứu nhánh của khoa học máy tính, và ý nghĩa và cách giải thích của nó thường rất trừu tượng và dựa trên thuật ngữ chuyên môn. Nếu chúng ta muốn hiểu rõ hơn về khái niệm này, chúng ta có thể so sánh nó với cách nấu ăn.

Nhưng trong thực tế, mối quan hệ giữa phương pháp nấu ăn và nguyên liệu có thể trở thành một phần của cấu trúc thư viện. Trong bối cảnh tương tự công thức, chúng ta có thể tưởng tượng rằng gà và cá là một tập hợp con của thịt, dâu tây và anh đào là một tập hợp con của các loại trái cây màu đỏ, và áp chảo và luộc là các biến thể của các phương pháp nấu ăn tương đồng.

Phương thức tư duy này là một nỗ lực để giải quyết "vấn đề biểu thức". Đây cũng được gọi là "lập kế hoạch nhiều lần" trong thiết kế ngôn ngữ và đề cập đến phương pháp lựa chọn tự động dựa trên kiểu của tất cả các kiểu dữ liệu sẽ được áp dụng.

“Lập kế hoạch nhiều lần” là phương pháp của Julia để giải quyết “vấn đề biểu thức” và nguyên tắc tổ chức cốt lõi của nó. Do đó, Julia không hướng đối tượng cũng không hướng chức năng. Giải pháp mà nó sử dụng mạnh hơn và linh hoạt hơn hai giải pháp trên. Điều này có nghĩa là Julia tự do hơn trong việc trộn và sử dụng các thư viện.

Tầm quan trọng của các công cụ

Julia không phải là ngôn ngữ đầu tiên cố gắng giải quyết "vấn đề về biểu thức", cũng không phải là ngôn ngữ đầu tiên sử dụng "lập kế hoạch nhiều lần". Ngôn ngữ Common Lisp với tính năng này đã ra đời được 40 năm và các phiên bản ngôn ngữ mới nhất như Perl cũng có tính năng này. Người dùng đã khẳng định sự tiện lợi của việc “lập kế hoạch nhiều lần” trong việc viết và mở rộng thư viện.

Nhưng sự khác biệt giữa Julia và họ là Julia được thiết kế xoay quanh "nhiều lịch trình", trong khi các ngôn ngữ khác chỉ sử dụng nó như một tùy chọn và sẽ làm giảm hiệu suất. Ví dụ, "lập kế hoạch nhiều lần" của Julia cho phép nó thể hiện tư duy toán học một cách linh hoạt và tự nhiên hơn, và việc sử dụng nhiều mã cộng đồng của nó đã khiến các nhà thiết kế ngôn ngữ ngạc nhiên.

Nhưng nếu bạn muốn có được chỗ đứng trong giới khoa học, những lợi thế trên là chưa đủ. Lý do tại sao Julia nhận được nhiều sự chú ý là nó kết hợp "lập kế hoạch nhiều lần" với các tính năng khác, chẳng hạn như mã chất lượng cao miễn phí và tốc độ tính toán rất nhanh, rất hấp dẫn đối với các nhà khoa học, những người cần nhiều tính toán số.

Giáo sư Đại học Stanford Mykel Kochenderfer đã sử dụng Julia để thiết kế một hệ thống tránh va chạm máy bay, hệ thống này đã trở thành tiêu chuẩn quốc tế. Ông nói rằng Julia không chỉ là “một ngôn ngữ cấp cao, có thể hiểu được mà còn chạy nhanh như mã C ++ được tối ưu hóa cao”.

Julia cũng có một cú pháp diễn đạt, dễ đọc, đặc biệt là khi xử lý các mảng. Nó cung cấp một đường dẫn nhanh để xử lý song song các thuật toán kỹ thuật số. Nó có những ưu điểm về thiết kế của kỷ nguyên Unicode, khiến nó giống toán học thực hơn khi thể hiện các công thức toán học.

Những tính năng này của Julia ngay từ những ngày đầu đã thu hút rất nhiều nhà khoa học, và ngay cả trước khi những ưu điểm đặc biệt của “lập lịch nhiều lần” gây chú ý, nó đã thu hút một lượng lớn người dùng.

Lee Phillips chia sẻ: “Và ý tưởng cốt lõi mà tôi học được từ đó là: Công cụ rất quan trọng. Điều này giống như khi họa sĩ chọn cọ và sơn phù hợp với phong cách của tác phẩm, và nhịp điệu trong suy nghĩ của người sáng tác phải phù hợp với kỹ năng của nhạc cụ và người biểu diễn”.

Là một công cụ lập trình, Julia cũng có ý nghĩa tương tự đối với các nhà khoa học. Nó có thể mở rộng các nhiệm vụ mà các nhà khoa học có thể hoàn thành trong thời gian giới hạn và giúp họ hiện thực hóa những ý tưởng không tưởng.

Phong Vũ

iPhone đời cũ bất ngờ tăng giá tại Việt Nam

Do tình trạng khan hàng, nhiều mẫu máy đời cũ như iPhone 11, 11 Pro Max đồng loạt tăng giá khoảng 300.000-400.000 đồng tùy theo từng phiên bản bộ nhớ và màu sắc.

Tuy nhiên, đến những năm 90, tiến bộ về công nghệ giúp các nhà sản xuất ô tô có thể lắp đặt nhiều loại đèn pha khác nhau. Đèn pha pop-up được coi là một mối nguy ảnh hưởng đến người đi xe đạp và người đi bộ.

Băng ghế liền trước

Trước khi thắt dây an toàn trở thành yêu cầu bắt buộc, ghế băng là tiêu chuẩn của hầu hết các xe ô tô gia đình. Ghế trước đủ rộng để có thể ngồi hơn hai người.

Vào thế kỷ 20, tại Mỹ, kiểu ghế này từng rất được ưa chuộng nhờ không gian sử dụng rộng rãi. Tuy nhiên, sang thế kỷ 21, các nhà sản xuất xe hơi dần dần từ bỏ băng ghế dài ở hàng đầu khoang cabin. Chẳng hạn như Chrysler loại bỏ hoàn toàn thiết kế này ra khỏi xe của mình vào năm 2004, Ford nối bước sau đó 7 năm.

Một trong những mẫu xe cuối cùng có tùy chọn băng ghế liền phía trước là phiên bản tiêu chuẩn của Chevrolet Impala thế hệ thứ 9 bán ra từ 2006 đến 2016.

Ngày nay, hầu hết các ô tô đều loại ghế băng phía trước vì chúng gây khó khăn cho việc lắp đặt các thiết bị an toàn như túi khí và cản trở việc sử dụng hiệu quả dây an toàn.

Công tắc điều chỉnh độ sáng gắn trên sàn

Tính năng này ban đầu được gắn trên vô lăng ô tô cho phép người lái xe dễ dàng chuyển đèn pha từ chùm sáng thấp lên cao. Sau đó, các nhà sản xuất ô tô kết luận rằng chúng sẽ gây mất tập trung nguy hiểm và chuyển công tắc xuống sàn.

Tuy nhiên, khi những chiếc ô tô chuyển từ hệ dẫn động cầu sau sang dẫn động cầu trước, không gian trong hố để chân trở nên quá chật chội để có thể lắp công tắc đèn. Vì thế, công tắc điều chỉnh độ sáng lại di chuyển sang cột lái vào những năm 90.

Gạt tàn thuốc lá và bật lửa

Gạt tàn và bật lửa là những phụ kiện bổ sung phổ biến trên ô tô từ những năm 50 và 60. Nhưng với sự thay đổi lối sống do nhận thức của cộng đồng về các mối nguy hại liên quan đến sức khỏe, các nhà sản xuất xe hơi đã loại bỏ thành công gạt tàn và bật lửa trên xe hơi hiện đại.

Sau những năm 90, gạt tàn và bật lửa được thay thế bằng các phụ kiện như khay đựng đồ rời, giá để cốc và cổng sạc không dây.

Cửa kính thông gió

Một ô kính nhỏ có thể hé mở bên cạnh cửa sổ chính sẽ có vai trò thông gió mà không làm rối tóc người ngồi trong xe, hoặc không để nước mưa tạt mạnh vào.

Tuy nhiên, ngày nay, thiết kế này không còn được dùng nữa. Khi điều hoà trở thành trang bị tiêu chuẩn trên hầu hết ô tô đời mới, các nhà sản xuất thấy chi tiết này là thừa thãi nên loại bỏ.

Ốp gỗ thân xe

Ốp gỗ để nguyên vân tự nhiên bên ngoài thân xe từng là thiết kế rất phổ biến của một số hãng xe trước đây. Xe ốp gỗ thịt đắt hơn nên khi đó thường chỉ có ở xe của tầng lớp thượng lưu. Thế nhưng, ngày nay gỗ được dùng bên trong xe thay vì bên ngoài.

Theo VTCNews

Bạn đang hài lòng hay thất vọng với xế cưng của mình? Hãy chia sẻ bài viết trải nghiệm về chiếc xe của mình tới Ban Ô tô xe máy theo email: otoxemay@vietnamnet.vn. Các nội dung phù hợp sẽ được đăng tải. Xin cảm ơn!

9 xe cổ động cơ 6 xi lanh "chất" gấp nhiều lần xe cơ bắp hiện đại

Một số mẫu xe cổ điển sử dụng động cơ sáu xi-lanh cảm giác lái nhiều khi thú vị hơn gấp nhiều lần so với những chiếc xe cơ bắp hiện đại.   

Cụ thể, Bà Rịa Vũng Tàu đang có 4 dự án, quy mô công suất 1.463MW; Bạc Liêu có 18 dự án, quy mô công suất 3.717MW; Bến Tre có 38 dự án, quy mô công suất 6.651MW; Bình Thuận có 8 dự án, quy mô công suất 22.200MW; Cà Mau có 26 dự án, quy mô công suất 7.317MW; Hà Tĩnh có 7 dự án, quy mô công suất 1.091MW;

Bên cạnh đó, Ninh Thuận đang có 2 dự án, quy mô công suất 4.380MW; Quảng Bình có 2 dự án, quy mô công suất 909MW; Sóc Trăng có 19 dự án, quy mô công suất 6.307MW; Tiền Giang có 3 dự án, quy mô công suất 881MW; Trà Vinh có 30 dự án, quy mô công suất 6.208MW.

Tổng cộng, đang có 157 dự án, quy mô công suất 61.123MW, đề nghị khảo sát.

Theo Bộ Công Thương, tổng công suất điện gió trên biển đang đề xuất là rất lớn, nên cần tính toán tổng thể cơ cấu nguồn điện gió ngoài khơi trong Quy hoạch điện VIII (Quy hoạch phát triển điện lực quốc gia thời kỳ 2021-2030, tầm nhìn đến năm 2045), tránh việc thực hiện khảo sát riêng lẻ gây lãng phí xã hội.

Trong công văn, Bộ Công Thương kiến nghị Thủ tướng Chính phủ xem xét, giao Bộ Công Thương sớm hoàn thiện đề án Lộ trình phát triển điện gió ngoài khơi Việt Nam, với sự phối hợp của Ngân hàng Thế giới và Chính phủ Đan Mạch, để đưa vào Quy hoạch điện VIII.

Bộ Công Thương đang hoàn thiện Quy hoạch điện VIII, sau đó sẽ báo cáo Thủ tướng Chính phủ xem xét, cấp chủ trương khảo sát đối với các dự án điện gió ngoài khơi để triển khai thực hiện theo quy hoạch.

H.A.H

Gia Lai sắp trình Bộ Công Thương phê duyệt bổ sung 9 dự án điện gió

Kế hoạch 3 tháng cuối năm của Sở Công Thương tỉnh Gia Lai bao gồm dựng cột đo gió, lập hồ sơ bổ sung quy hoạch dự án điện gió trên địa bàn tỉnh, đồng thời trình Bộ Công Thương phê duyệt bổ sung 9 dự án điện gió.