Tài liệu miễn phí Kỹ thuật lập trình
Download Tài liệu học tập miễn phí Kỹ thuật lập trình
Project scheduling with cost minimization and time constraint formulated as a linear programming problem
In construction management, the task of optimizing a project schedule to achieve a minimal cost and meet a project deadline is very crucial. The study Project scheduling with cost minimization and time constraint formulated as a linear programming problem formulates this task as a linear programming problem and investigates the application of the open-source Google OR-Tools in solving such problem. A computer program has been constructed based on the formulated linear programming problem and developed with Microsoft Visual Studio and Google ORTools. This program has tested with a simplified project scheduling optimization task.
4/8/2023 10:07:08 PM +00:00
A verification framework for specification centered developments
In the paper A verification framework for specification centered developments, we propose a verification framework for specification centered developments. In this framework, we firstly focus on improve the quality of specification then use such high-quality specification to drive the verification of the design and the implementation. This framework could be applied in domain of reactive systems with high automation, adaptation, and practicality.
4/8/2023 10:06:37 PM +00:00
Applications of Google OR-Tools in solving construction management linear optimization problems
The study Applications of Google OR-Tools in solving construction management linear optimization problems demonstrates the application of Google OR-Tools as a powerful, easy-to-use, and open source software suite in tackling linear programs. Herein, this open source tool has been integrated with Visual C# programming and the optimization models are formulated in Microsoft Visual Studio. Two optimization case studies are used in this study to illustrate the implementation of the Google OR-Tools.
4/8/2023 10:05:30 PM +00:00
Tài liệu Thực hành PLC - Trường ĐH Công nghệ Sài Gòn
Tài liệu Thực hành PLC cung cấp cho học viên những kiến thức về: làm quen với thiết bị thí nghiệm; lập trình với lệnh cơ bản; lập trình với timer; lập trình với bộ đếm; lập trình kết hợp bộ định thời và bộ đếm; lập trình xử lý tín hiệu analog; HMI KTP 600;... Mời các bạn cùng tham khảo!
4/8/2023 9:49:08 PM +00:00
Bài giảng Cơ sở lập trình - Trường ĐH Thương mại
Bài giảng Cơ sở lập trình nhằm cung cấp các kiến thức cơ sở về lập trình như: thuật toán, sơ đồ khối; chương trình và ngôn ngữ lập trình; các phương pháp lập trình và kỹ thuật thiết kế chương trình, các thành phần cơ sở của ngôn ngữ lập trình. Ngôn ngữ lập trình C sẽ được sử dụng để làm phương tiện để trình bày. Mời các bạn cùng tham khảo!
4/8/2023 9:05:15 PM +00:00
Apply open resource code system to automatically produce programming skills at Hanoi Metropolitan University
The article proposes the development of an automatic assessment system for programming skills for students in information technology at Hanoi Metropolitan University. This system supports the organization of the exam to assess programming skills and allows applicants to take the exam online via the Internet or Local Area Network (LAN).
4/8/2023 7:32:56 PM +00:00
Mã Reed-Solomon
Mã Reed-Solomon (mã RS) là một trong những phương pháp mạnh mẽ nhất để bảo vệ tính toàn vẹn của dữ liệu khỏi các lỗi có thể xảy ra trong quá trình lưu trữ hoặc truyền tải. Kỹ thuật mã hóa này đã được chứng minh đạt được hiệu suất cao với chi phí hợp lý.
4/8/2023 7:18:52 PM +00:00
Thuật toán tiến hóa đa nhân tố thích nghi giải bài toán tìm đường đi liên miền với ràng buộc miền duy nhất trên nút mạng
Nghiên cứu này đề xuất áp dụng thuật toán tiến hóa đa nhân tố thích nghi (dMFEA-II) vào giải bài toán IDPCDU với ràng buộc được xét trên các nút mạng. Nghiên cứu cũng đề xuất phương pháp mã hóa và đánh giá cá thể dựa trên biểu diễn hóa vị.
4/8/2023 7:15:47 PM +00:00
Nghiên cứu, cải tiến chiến lược hàng đợi RED dựa trên việc tinh chỉnh ngưỡng dưới
Trong bài viết này, nhóm tác giả đề xuất một thuật toán RED cải tiến có tên gọi là ThRED (Theshold RED) dựa trên sự tinh chỉnh ngưỡng dưới. Qua mô phỏng đánh giá trên bộ mô phỏng NS2, nhóm tác giả đã thấy được ThRED cho kết quả tốt hơn RED xét về số gói tin bị mất và độ trễ hàng đợi trung bình.
4/8/2023 7:13:14 PM +00:00
Ứng dụng thuật toán Facenet xây dựng hệ thống nhận dạng khuôn mặt
Nhận dạng khuôn mặt là một bài toán phổ biến đang đặt ra hiện nay. Tồn tại nhiều phương pháp và hướng tiếp cận đối với bài toán nhận dạng khuôn mặt: Tiếp cận theo đặc trưng toàn cục (sử dụng các đặc điểm toàn cục của khuôn mặt) và tiếp cận theo đặc trưng cục bộ (sử dụng các đặc điểm cục bộ của khuôn mặt).
4/8/2023 6:17:16 PM +00:00
Đánh giá hiệu năng của giao thức AODV, AOMDV và DSR trên một khu vực giao thông thành phố Hồ Chí Minh
Bài vết này trình bày quy trình tạo tô-pô cho mạng VANET thực tế (Realistic VANET Topology Generation - RVTG), cho phép thiết kế kịch bản mô phỏng mạng VANET sử dụng phần mềm SUMO và Open Street Map.
4/8/2023 6:03:19 PM +00:00
Bài giảng Hệ thống máy tính và ngôn ngữ C - Chương 13: Các kiểu dữ liệu có cấu trúc và kiểu dữ liệu tự định nghĩa (GV. Nguyễn Nhật Nam)
Bài giảng Hệ thống máy tính và ngôn ngữ C - Chương 13: Các kiểu dữ liệu có cấu trúc và kiểu dữ liệu tự định nghĩa (GV. Nguyễn Nhật Nam). Bài giảng có nội dung trình bày về kiểu STRUCT; kiểu UNION; kiểu ENUM (Enumerated); định nghĩa kiểu bằng TYPEDEF; bài tập cuối chương;... Mời các bạn cùng tham khảo!
4/8/2023 5:47:41 PM +00:00
Bài giảng Hệ thống máy tính và ngôn ngữ C - Chương 12: Pointer (GV. Nguyễn Nhật Nam)
Bài giảng Hệ thống máy tính và ngôn ngữ C - Chương 12: Pointer (GV. Nguyễn Nhật Nam). Bài giảng có nội dung trình bày về khái niệm; thao tác trên pointer; pointer và mảng; đối số của hàm là pointer - truyền đối số theo số dạng tham số biến; hàm trả về pointer và mảng; chuỗi ký tự; pointer và việc định vị bộ nhớ động; mảng các pointer; pointer của pointer;... Mời các bạn cùng tham khảo!
4/8/2023 5:47:30 PM +00:00
Bài giảng Hệ thống máy tính và ngôn ngữ C - Chương 11: Mảng (GV. Nguyễn Nhật Nam)
Bài giảng Hệ thống máy tính và ngôn ngữ C - Chương 11: Mảng (GV. Nguyễn Nhật Nam). Bài giảng có nội dung trình bày về khái niệm; khai báo mảng; khởi động trị của mảng; mảng là đối số của hàm mảng là biến toàn cục; các ứng dụng;... Mời các bạn cùng tham khảo!
4/8/2023 5:47:24 PM +00:00
Bài giảng Hệ thống máy tính và ngôn ngữ C - Chương 10: Lớp lưu trữ của biến - Sự chuyển kiểu (GV. Nguyễn Nhật Nam)
Bài giảng Hệ thống máy tính và ngôn ngữ C - Chương 10: Lớp lưu trữ của biến - Sự chuyển kiểu (GV. Nguyễn Nhật Nam). Bài giảng có nội dung trình bày về khái niệm; biến toàn cục và biến cục bộ; biến tĩnh (static); biến REGISTER; khởi động trị cho biến ở các lớp; sự chuyển kiểu; định vị vùng nhớ cho các lớp lưu trữ;... Mời các bạn cùng tham khảo!
4/8/2023 5:47:14 PM +00:00
Bài giảng Hệ thống máy tính và ngôn ngữ C - Chương 9: Hàm (GV. Nguyễn Nhật Nam)
Bài giảng Hệ thống máy tính và ngôn ngữ C - Chương 9: Hàm (GV. Nguyễn Nhật Nam). Bài giảng có nội dung trình bày về khái niệm hàm; khai báo hàm; đối số của hàm - đối số là tham trị; kết quả trả về của hàm - lệnh RETURN; PROTOTYPE của một hàm; hàm đệ quy;... Mời các bạn cùng tham khảo!
4/8/2023 5:47:05 PM +00:00
Bài giảng Hệ thống máy tính và ngôn ngữ C - Chương 8: Các lệnh điều khiển và vòng lặp (GV. Nguyễn Nhật Nam)
Bài giảng Hệ thống máy tính và ngôn ngữ C - Chương 8: Các lệnh điều khiển và vòng lặp (GV. Nguyễn Nhật Nam). Bài giảng có nội dung trình bày về lệnh đơn và lệnh phức; lệnh IF; lệnh SWITCH-CASE; lệnh WHILE; lệnh DO-WHILE; lệnh FOR; lệnh BREAK và lệnh CONTINUE; lệnh RETURN; lệnh GOTO; lệnh RỖNG;... Mời các bạn cùng tham khảo!
4/8/2023 5:46:59 PM +00:00
Bài giảng Hệ thống máy tính và ngôn ngữ C - Chương 7: Các thành phần cơ bản và các kiểu dữ liệu của C (GV. Nguyễn Nhật Nam)
Bài giảng Hệ thống máy tính và ngôn ngữ C - Chương 7: Các thành phần cơ bản và các kiểu dữ liệu của C (GV. Nguyễn Nhật Nam). Bài giảng có nội dung trình bày về danh hiệu; các kiểu dữ liệu chuẩn của C; hằng (constant); biến (variable); biểu thức; các phép toán của C; cấu trúc tổng quát của một chương trình C;... Mời các bạn cùng tham khảo!
4/8/2023 5:46:49 PM +00:00
Bài giảng Hệ thống máy tính và ngôn ngữ C - Chương 6: Giới thiệu về ngôn ngữ lập trình C (GV. Nguyễn Nhật Nam)
Bài giảng Hệ thống máy tính và ngôn ngữ C - Chương 6: Giới thiệu về ngôn ngữ lập trình C (GV. Nguyễn Nhật Nam). Bài giảng có nội dung trình bày về sơ lược lịch sử của ngôn ngữ C; đặc điểm của ngôn ngữ C; các ví dụ về ngôn ngữ C;... Mời các bạn cùng tham khảo!
4/8/2023 5:46:43 PM +00:00
Bài giảng Hệ thống máy tính và ngôn ngữ C - Chương 5: Lập trình hợp ngữ LC-3 (GV. Nguyễn Nhật Nam)
Bài giảng Hệ thống máy tính và ngôn ngữ C - Chương 5: Lập trình hợp ngữ LC-3 (GV. Nguyễn Nhật Nam). Bài giảng có nội dung trình bày về lập trình hợp ngữ; các thành phần của một chương trình hợp ngữ; quá trình hợp dịch; chương trình với nhiều module;... Mời các bạn cùng tham khảo!
4/8/2023 5:46:37 PM +00:00
Bài giảng Hệ thống máy tính và ngôn ngữ C - Chương 4: Mô hình von Neumann và kiến trúc tập lệnh LC-3 (GV. Nguyễn Nhật Nam)
Bài giảng Hệ thống máy tính và ngôn ngữ C - Chương 4: Mô hình von Neumann và kiến trúc tập lệnh LC-3 (GV. Nguyễn Nhật Nam). Bài giảng có nội dung trình bày về các thành phần cơ bản; một ví dụ về mô hình von Neumann: LC-3; quá trình xử lý lệnh; thay đổi quá trình xử lý lệnh; khái niệm ISA LC-3; nhóm lệnh thi hành; nhóm lệnh di chuyển dữ liệu; nhóm lệnh điều khiển; ba cấu trúc lệnh trong LC-3;... Mời các bạn cùng tham khảo!
4/8/2023 5:46:30 PM +00:00
Bài giảng Hệ thống máy tính và ngôn ngữ C - Chương 3: Các cấu trúc luận lý số (GV. Nguyễn Nhật Nam)
Bài giảng Hệ thống máy tính và ngôn ngữ C - Chương 3: Các cấu trúc luận lý số (GV. Nguyễn Nhật Nam). Bài giảng có nội dung trình bày về transistor; cổng luận lý (logic gate); mạch tổ hợp (combinational circuit); phần tử nhớ cơ bản; bộ nhớ (memory); mạch tuần tự (sequential logic circuit); đường truyền dữ liệu LC3;... Mời các bạn cùng tham khảo!
4/8/2023 5:46:23 PM +00:00
Bài giảng Hệ thống máy tính và ngôn ngữ C - Chương 2: Các kiểu dữ liệu và thao tác (GV. Nguyễn Nhật Nam)
Bài giảng Hệ thống máy tính và ngôn ngữ C - Chương 2: Các kiểu dữ liệu và thao tác (GV. Nguyễn Nhật Nam). Bài giảng có nội dung trình bày về kiểu dữ liệu số nguyên; số nguyên bù 2; phép toán số học trên bit; phép toán luận lý trên bit; kiểu dữ liệu dấu chấm động;... Mời các bạn cùng tham khảo!
4/8/2023 5:46:16 PM +00:00
Bài giảng Hệ thống máy tính và ngôn ngữ C - Chương 1: Ôn lại các kiến thức cơ bản về máy tính (GV. Nguyễn Nhật Nam)
Bài giảng Hệ thống máy tính và ngôn ngữ C - Chương 1: Ôn lại các kiến thức cơ bản về máy tính (GV. Nguyễn Nhật Nam). Bài giảng có nội dung trình bày về các hệ đếm; các khái niệm cơ bản; lịch sử phát triển của máy tính; các thành phần cơ bản của máy tính; phần mềm; các cấp chuyển đổi;... Mời các bạn cùng tham khảo!
4/8/2023 5:46:06 PM +00:00
Bài giảng Hệ thống máy tính và ngôn ngữ lập trình - Chương 14: Đệ quy
Bài giảng Hệ thống máy tính và ngôn ngữ lập trình - Chương 14: Đệ quy. Bài giảng cung cấp cho học viên những kiến thức về khái niệm đệ quy; đệ quy và lặp; tháp Hà nội; dãy số Fibonacci; tìm kiếm nhị phân; chuyển số nguyên sang dãy ký tự ASCII; cấu trúc dữ liệu cây – cây nhị phân;... Mời các bạn cùng tham khảo!
4/8/2023 5:45:59 PM +00:00
Bài giảng Hệ thống máy tính và ngôn ngữ lập trình - Chương 13: Kiểu dữ liệu có cấu trúc và kiểu dữ liệu tự định nghĩa
Bài giảng Hệ thống máy tính và ngôn ngữ lập trình - Chương 13: Kiểu dữ liệu có cấu trúc và kiểu dữ liệu tự định nghĩa. Bài giảng cung cấp cho học viên những kiến thức về kiểu STRUCT; kiểu UNION; kiểu ENUM (Enumerated); định nghĩa kiểu bằng TYPEDEF;... Mời các bạn cùng tham khảo!
4/8/2023 5:45:49 PM +00:00
Bài giảng Hệ thống máy tính và ngôn ngữ lập trình - Chương 12: Pointer
Bài giảng Hệ thống máy tính và ngôn ngữ lập trình - Chương 12: Pointer. Bài giảng cung cấp cho học viên những kiến thức về khái niệm; thao tác trên pointer; pointer và mảng; đối số của hàm là pointer - truyền đối số theo số dạng tham số biến; hàm trả về pointer và mảng; chuỗi ký tự; pointer và việc định vị bộ nhớ động; mảng các pointer;... Mời các bạn cùng tham khảo!
4/8/2023 5:45:41 PM +00:00
Bài giảng Hệ thống máy tính và ngôn ngữ lập trình - Chương 11: Mảng
Bài giảng Hệ thống máy tính và ngôn ngữ lập trình - Chương 11: Mảng. Bài giảng cung cấp cho học viên những kiến thức về khái niệm; khai báo mảng; khởi động trị của mảng; mảng là đối số của hàm, mảng là biến toàn cục; các ứng dụng;... Mời các bạn cùng tham khảo!
4/8/2023 5:45:33 PM +00:00
Bài giảng Hệ thống máy tính và ngôn ngữ lập trình - Chương 10: Lớp lưu trữ của biến - Sự chuyển kiểu
Bài giảng Hệ thống máy tính và ngôn ngữ lập trình - Chương 10: Lớp lưu trữ của biến - Sự chuyển kiểu. Bài giảng cung cấp cho học viên những kiến thức về khái niệm; biến toàn cục và biến cục bộ; biến tĩnh (static); biến REGISTER; khởi động trị cho biến ở các lớp; sự chuyển kiểu; định vị vùng nhớ cho các lớp lưu trữ;... Mời các bạn cùng tham khảo!
4/8/2023 5:45:27 PM +00:00
Bài giảng Hệ thống máy tính và ngôn ngữ lập trình - Chương 9: Hàm
Bài giảng Hệ thống máy tính và ngôn ngữ lập trình - Chương 9: Hàm. Bài giảng cung cấp cho học viên những kiến thức về khái niệm hàm; khai báo hàm; đối số của hàm - đối số là tham trị; kết quả trả về của hàm - lệnh RETURN; PROTOTYPE của một hàm; hàm đệ quy;... Mời các bạn cùng tham khảo!
4/8/2023 5:45:20 PM +00:00