» Từ khóa: cong thuc cong

Kết quả 49-60 trong khoảng 124

Bài giảng Đặc tả hình thức: Chương 6 - PGS.TS. Vũ Thanh Nguyên

Bài giảng "Đặc tả hình thức - Chương 6: Kiểu đối tượng phức" bao gồm các nội dung: Định nghĩa kiểu đối tượng phức, khởi tạo đối tượng phức, ràng buộc trên kiểu dữ liệu, cập nhật đối tượng phức. Mời các bạn cùng tham khảo.

22 p actvn 31/08/2020 303 1

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Lập trình phần mềm, Công nghệ phần mềm, Kiểu đối tượng phức, Ràng buộc trên kiểu dữ liệu, Khởi tạo đối tượng phức
Bài giảng Đặc tả hình thức: Chương 7 - PGS.TS. Vũ Thanh Nguyên

Bài giảng "Đặc tả hình thức - Chương 7: Kiểu ánh xạ" cung cấp cho người học các kiến thức: Ánh xạ, các hàm và thao tác trên ánh xạ, đặc tả sử dụng ánh xạ. Mời các bạn cùng tham khảo nội dung chi tiết.

23 p actvn 31/08/2020 274 1

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Lập trình phần mềm, Công nghệ phần mềm, Đặc tả sử dụng ánh xạ, Kiểu ánh xạ
Bài giảng Đặc tả hình thức: Chương 8 - PGS.TS. Vũ Thanh Nguyên

Bài giảng "Đặc tả hình thức - Chương 8: Ngôn ngữ đặc tả Z" cung cấp cho người học các kiến thức: Giới thiệu, các thành phần của ngôn ngữ, giản đồ, các phép toán trên giản đồ. Mời các bạn cùng tham khảo nội dung chi tiết.

47 p actvn 31/08/2020 271 1

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Lập trình phần mềm, Công nghệ phần mềm, Ngôn ngữ đặc tả Z, Phép toán trên giản đồ
Bài giảng Lập trình C: Bài 2 - Võ Đức Hoàng

Mục tiêu của bài giảng là giới thiệu ngôn ngữ lập trình, sử dụng công cụ hỗ trợ lập trình, cấu trúc và cách thực thi chương trình, các khái niệm, ký hiệu, quy tắc trong, kiểu dữ liệu cơ sở, các toán tử, các hàm thư viện C cơ bản,... Mời các bạn cùng tham khảo.

75 p actvn 29/07/2020 336 1

Từ khóa: Bài giảng Lập trình C, Lập trình C, Kỹ thuật lập trình, Kiểu dữ liệu cơ sở, Thực thi chương trình, Công cụ hỗ trợ lập trình
Bài giảng Computer Networking: A top down approach - Chương 5: Tầng link

Computer Networking: A top down approach - Chương 5 giới thiệu về tầng Link. Chương này giúp người học hiểu về các nguyên tắc của các dịch vụ tầng link, biết cách khởi tạo và hiện thực một số công nghệ tầng link.

97 p actvn 29/12/2019 355 1

Từ khóa: Computer Networking, Mạng máy tính, Công nghệ tầng link, Dịch vụ tầng link, Giao thức đa truy cập, Link virtualization
Phát triển giao thức thiết lập khóa an toàn cho các hệ mã khóa bí mật

Bài viết đề xuất xây dựng giao thức thiết lập khóa an toàn cho các hệ mã hóa khóa bí mật từ việc phát triển giao thức Diffie – Hellman. Các giao thức mới đề xuất có ưu điểm là các khóa bí mật chia sẻ tạo ra được xác thực về nguồn gốc nên có thể chống lại các kiểu tấn công giả mạo rất hiệu quả.

10 p actvn 30/09/2019 465 1

Từ khóa: Giao thức thiết lập khóa an toàn, Hệ mã khóa bí mật, Giao thức Diffie – Hellman, Kiểu tấn công giả mạo, Key Exchange Protocol, Key Transport Protocols
Một số cụm từ, công thức viết câu trong Tiếng Anh: Phần 1

Tài liệu cung cấp các cụm từ thông dụng trong Tiếng Anh và các công thức viết câu có kèm theo dịch nghĩa và ví dụ cụ thể. Mời các bạn cùng tham khảo tài liệu để nắm chi tiết nội dung.

12 p actvn 30/09/2019 573 1

Từ khóa: Cụm từ trong Tiếng Anh, Công thức viết câu trong Tiếng Anh, Học Tiếng Anh, Cấu trúc ngữ pháp Tiếng Anh, Kỹ năng viết Tiếng Anh
Một số cụm từ, công thức viết câu trong Tiếng Anh: Phần 2

Tài liệu cung cấp các cụm từ thông dụng trong Tiếng Anh, công thức ngữ pháp viết câu kèm theo dịch nghĩa, một số ví dụ. Đây là tài liệu tham khảo hữu ích cho các bạn trong quá trình học ngữ pháp và thực hành viết trong Tiếng Anh.

8 p actvn 30/09/2019 505 1

Từ khóa: Cụm từ trong Tiếng Anh, Công thức viết câu trong Tiếng Anh, Học Tiếng Anh, Cấu trúc ngữ pháp Tiếng Anh, Cấu trúc viết câu trong Tiếng Anh
Bài giảng Xử lý kỹ xảo với After Effect: Bài 8

Bài giảng Xử lý kỹ xảo với After Effect: Bài 8 trình bày "Sử dụng các biểu thức, đoạn mã trong After Effect và xuất bản dự án". Ngoài các kỹ thuật truyền thống, hai tính năng bổ sung mà bạn có thể dùng để tạo hoặc cải tiến hoạt hình là biểu thức (expression) và mã kịch bản (script). Việc sử dụng những đoạn mã giúp bạn thực hiện hoạt hình...

53 p actvn 27/08/2019 324 1

Từ khóa: Xử lý kỹ xảo với After Effect, Biểu thức cải tiến hoạt hình, Mã kịch bản, Cải tiến luồng công việc, Cách tìm thêm biểu thức và mã kịch bản, Thêm compositions cho render queue, Điều chỉnh các thiết lập trong render tettings và output
Công thức suy dẫn trong mô hình dữ liệu dạng khối

Bài viết Công thức suy dẫn trong mô hình dữ liệu dạng khối đề xuất khái niệm công thức suy dẫn trong mô hình dữ liệu dạng khối, phát biểu và chứng minh một số tính chất về công thức suy dẫn, tính chất của họ tập đóng và khối chân lý trong lược đồ khối, điều kiện cần và đủ về khối chân lý của một hội suy dẫn, thuật toán xây dựng...

8 p actvn 31/05/2019 426 1

Từ khóa: Công thức suy dẫn, Mô hình dữ liệu dạng khối, Họ tập đóng, Tính chất của họ tập đóng, Khối chân lý, Lược đồ khối
Bộ bảo mật IP (IPSec) tốc độ cao 10Gbps trên FPGA

Bài viết đề xuất thực hiện một bộ bảo mật dữ liệu IPSec trên FPGA Xilinx Virtex-6. Giao thức bảo mật IP (IPSec) là một giao thức quan trọng trong giao thức bảo mật mạng được sử dụng trong lớp IP. Thông thường các bộ bảo mật IPSec đều được thực hiện bằng phần mềm như trên Windows hoặc Linux, trong IPSec các bộ xử lý, mã hóa và xác thực chiếm...

10 p actvn 31/05/2019 589 1

Từ khóa: Bộ bảo mật IP, Giao thức bảo mật IP, Bảo mật mạng, Hệ thống IPSec tốc độ cao, Phần mềm Racoon, Xử lý dữ liệu cho mã hóa AES, Tấn công từ chối dịch vụ
Bài giảng Quản trị mạng: Chương 2.1 - Bùi Minh Quân

Cùng nắm kiến thức trong chương này thông qua việc tìm hiểu các nội dung sau: Công nghệ mạng Wan, giới thiệu quy trình thiết kế mạng LAN, phân tích và cân bằng các mục tiêu kỹ thuật, kỹ thuật thiết kế mạng phân cấp, đặc trưng kỹ thuật của lớp Access,...

48 p actvn 27/04/2019 488 1

Từ khóa: Bài giảng Quản trị mạng, Quản trị mạng, Quản trị vận hành hạ tầng mạng, Hạ tầng mạng, Bộ giao thức liên mạng, Công nghệ mạng Wan