Lập trình ràng buộc

Bài viết Xây dựng ứng dụng lập thời khóa biểu đào tạo theo hệ thống tín chỉ phân tích các đặc điểm của thời khóa biểu trong hệ thống đào tạo theo tín chỉ, xây dựng mô hình bài toán thời khóa biểu, phân tích các điều kiện ràng buộc, lập trình sản phẩm phần mềm và khả năng ứng dụng sản phẩm trong việc lập thời khóa biểu các kỳ học.

8p vikoenigsegg 29-09-2022 9 1   Download

Giáo trình Lắp đặt điện tử ứng dụng (Nghề: Điện công nghiệp - Trung cấp) được biên soạn với mục tiêu nhằm giúp học viên trình bày được linh kiện điện tử, tiêu chuẩn kỹ thuật, trình tự các bước lắp ráp một số mạch điện tử ứng dụng; phân tích được sơ đồ lắp ráp của các mạch điện tử ứng dụng;... Mời các bạn cùng tham khảo!

32p lacvuchi 09-09-2022 13 2   Download

Giáo trình Thiết kế cơ khí trên máy tính phần 1 gồm các nội dung chính như: Giới thiệu Inventor; Công cụ vẽ phác; Lệnh hiệu chỉnh; Ràng buộc phác thảo; Các lệnh vẽ 3D. Mời các bạn cùng tham khảo!

48p viastonmartin 15-08-2022 13 2   Download

Tiếp nội dung phần 1 Giáo trình Thiết kế cơ khí trên máy tính phần 1 gồm các nội dung chính như: Ràng buộc lắp ráp chi tiết; Cơ sở mô phỏng chuyển động; Trình diễn quá trình lắp ráp; Xây dựng bản vẽ 2 chiều. Mời các bạn cùng tham khảo!

87p viastonmartin 15-08-2022 10 1   Download

Giáo trình Cơ sở dữ liệu gồm các nội dung chính sau: Tổng quan về cơ sở dữ liệu; Mô hình cơ sở dữ liệu quan hệ; Ngôn ngữ dữ liệu SQL; Ràng buộc toàn vẹn và phụ thuộc hàm; Dạng chuẩn và chuẩn hóa lược đồ cơ sở dữ liệu quan hệ; Tối ưu hóa câu hỏi. Mời các bạn cùng tham khảo!

93p viastonmartin 15-08-2022 15 3   Download

Đề tài "Thuật toán di truyền song song giải bài toán VRP (Vehicle Routing Problem) với hạn chế thời gian" tập trung giải quyết bài toán lập lộ trình xe vận chuyển với hạn chế thời gian – VRPTW, được ứng dụng nhiều trong dịch vụ vận chuyển. Mục tiêu bài toán là tối thiểu số xe vận chuyển và tổng khoảng cách di chuyển khi phục vụ các khách hàng mà không vi phạm các ràng buộc về khả năng chuyên chở của các xe và các cửa sổ thời gian đáp ứng.

84p bakerboys08 15-07-2022 15 1   Download

"Nội chiến ở Việt Nam 1771 - 1802" đã từ lâu được coi là một kiệt tác sử học, đem lại cả giải thưởng lẫn danh tiếng cho sử gia Tạ Chí Đại Trường. Thoát khỏi sự ràng buộc do định kiến hay lập trường chính trị, tác phẩm đã dựng lại chi tiết bàn cờ quyền lực trong xã hội Việt Nam nửa cuối thế kỷ 18. Cấu trúc cuốn sách gồm có 7 chương, phần 1 sau đây gồm có 4 chương, trình bày về sự tan rã ở Nam Hà (1771 - 1785), sự tan rã Bắc Hà và phản ứng dội ngược khi Tây Sơn bành trướng (1786 - 1789). Mời bạn đọc cùng tham khảo.

207p runordie1 06-06-2022 6 1   Download

Bài viết "Nha khoa kỹ thuật số: Công nghệ hay công cụ" được thực hiện nhằm giúp cho các Trường thiết lập các chương trình đào tạo nguồn nhân lực hỗ trợ kỹ thuật trong ngành công nghiệp nha khoa hiệu quả và hợp lý hơn. Bởi vì, nha khoa kỹ thuật số là một bước tiến mới có xu hướng phát triển tất yếu cho cả lâm sàng nha khoa và khoa học - kỹ thuật ứng dụng hỗ trợ trong chăm sóc khỏe răng miệng hiện đại. Mời bạn tham khảo chi tiết.

32p thanhthanh191 20-06-2022 69 1   Download

Tóm tắt Luận văn Thạc sĩ Toán học "Biểu diễn đa diện lồi và ứng dụng trong lập thời khóa biểu" trình bày các nội dung chính sau: Một số khái niệm cơ bản và kết quả quan trọng trong lý thuyết đa diện lồi; Khái niệm đa diện idle và đưa ra các biểu diễn chi tiết cho một số trường hợp cụ thể; Khái niệm đa diện idle trong việc mô hình hóa ràng buộc tiết trống của giáo viên trong bài toán lập thời khóa biểu cho các trường trung học.

18p viabigailjohnson 10-06-2022 17 1   Download

Bài giảng Lập trình hướng đối tượng và C++ cung cấp kiến thức của phương pháp lập trình hướng đối tượng và rèn luyện kỹ năng lập trình. Bài giảng gồm có 8 chương với những nội dung chính về: Lập trình hướng đối tượng và ngôn ngữ C++; những khái niệm mở đầu; con trỏ, tham chiếu và hàm; các dòng vào ra trong C++; đối tượng và lớp; thừa kế; ràng buộc động và đa thể; bản mẫu. Mời các bạn cùng tham khảo.

169p cucngoainhan7 08-02-2022 24 3   Download

Giáo trình Cơ sở dữ liệu nâng cao (Nghề Lập trình máy tính): Phần 1 do Tổng cục dạy nghề biên soạn nhằm trang bị cho người học một số kiến thức cơ bản về định nghĩa mô hình dữ liệu và phân biệt sự khác nhau giữa lược đồ khái niệm, lược đồ vật lý và lược đồ ngoài. Giải thích ràng buộc khóa, ràng buộc tham gia, thực thể yếu, phân cấp lớp, sự gộp lại. Mô tả một số chọn lựa nảy sinh trong quá trình thiết kế cơ sở dữ liệu mức khái niệm dùng mô hình E-R.

77p paddington36 05-01-2022 23 2   Download

Hợp đồng chuyển nhượng cổ phiếu là sự thỏa thuận giữa một bên có cổ phiếu và một bên mua cổ phiếu. Hợp đồng được lập ra để xác nhận việc ký kết giữa các bên khi thực hiện việc chuyển nhượng cổ phiếu. Đây là văn bản có giá trị pháp lý cao nhất ràng buộc các bên thực hiện quyền và nghĩa vụ của mình. Đồng thời cũng là cơ sở để giải quyết những vấn đề mâu thuẫn, tranh chấp trong quá trình thực hiện hợp đồng.

4p nguyenhoangthien92 11-01-2022 23 1   Download

Hợp đồng thế chấp tài sản cho khoản vay được Chính phủ bảo lãnh là sự thỏa thuận giữa một bên thế chấp và bên nhận thế chấp (Bộ Tài Chính). Hợp đồng được lập nhằm xác nhận sự cam kết của bên nhận thế chấp và bên thế chấp về việc thế chấp tài sản cho khoản vay Chính phủ bảo lãnh. đồng thời hợp đồng cũng chính là căn cứ pháp lý để ràng buộc quyền và nghĩa vụ của các bên. Mời các bạn cùng tham khảo tài liệu để nắm rõ hơn cách trình bày và soạn thảo hợp đồng.

15p nguyenhoangthien92 11-01-2022 18 0   Download

Trong bài viết này, bài toán QCQP được mô hình hoá thành một chuỗi các bài toán bậc hai để giải trực tiếp chứ không cần chuyển đổi sang ma trận SDP để làm tăng số biến. Kết quả mô phỏng cho thấy giải pháp này cho kết quả gần tối ưu đồng thời giảm đáng kể độ phức tạp tính toán so với các phương pháp truyền thống nêu trên.

10p vihassoplattner 04-01-2022 23 0   Download

(NB) Giáo trình giúp các học viên tiếp cận vấn đề cốt lõi nhất về mặt lý thuyết: các định nghĩa, khái niệm, hệ quả, định lý, giải thuật,…từ đó có thể áp dụng vào bài toán thực tế thiết kế chuẩn hóa cơ sở dữ liệu nói riêng cũng như thiết kế hệ thống thông tin nói chung.

69p caphesuadathembotngot 26-12-2021 22 3   Download

(NB) Giáo trình Cơ sở dữ liệu cung cấp cho người học những kiến thức như: Tổng quan về cơ sở dữ liệu; mô hình dữ liệu quan hệ; ngôn ngữ truy vấn dữ liệu; ràng buộc toàn vẹn; lý thuyết thiết kế cơ sở dữ liệu.

70p caphesuadathembotngot 26-12-2021 6 2   Download

(NB) Giáo trình không đi sâu vào việc chứng minh các định lý mà chú trọng đến việc giải thích ý nghĩa thực tế của các công thức lý thuyết để từ đó hướng dẫn học viên cách tiếp cận tư duy logic, nắm vững kỹ thuật tính toán cũng như các bước triển khai giải quyết các bài toán thực tế trên khía cạnh công nghệ.

59p caphesuadathembotngot 26-12-2021 22 1   Download

Bài viết tập trung nghiên cứu cơ sở toán học của tối ưu phi tuyến từ đó thiết kế các toán tử di truyền phục vụ việc xây dựng giải thuật di truyền giải bài toán tối ưu phi tuyến. Các kết quả của bài báo là cơ sở để thiết kế các giải thuật di truyền ứng dụng cho các bài toán tối ưu số đa ràng buộc như bài toán vận tải, bài toán lập kế hoạch, tối ưu hóa lộ trình, pha trộn hợp chất.

8p vilarrypage 21-11-2021 26 0   Download

Mục tiêu của đề tài là thiết lập bài toán tối ưu hóa đa mục tiêu cho kết cấu dầm composite với hai hàm mục tiêu là cực tiểu khối lượng và cực tiểu chuyển vị; tìm hiểu giải thuật NSGA - II (Elitist Non - Dominated Sorting Genetic Algorithm); nghiên cứu bổ sung ràng buộc về tỷ lệ phân bố lượng sợi trong từng lớp rf trong quá trình sản xuất; áp dụng thuật toán NSGA-II để tìm lời giải tối ưu của ba bài toán được thiết lập.

101p beloveinhouse10 21-09-2021 17 1   Download

Luận văn tập trung giải quyết bài toán tối ưu hóa vị trí và diện tích kết cấu dàn bằng phương pháp giải thuật tiến hóa khác biệt cải tiến R-DE. Bài toán tối ưu được thành lập với hàm mục tiêu là trọng lượng của kết cấu dàn. Mời các bạn cùng tham khảo nội dung chi tiết.

84p beloveinhouse10 21-09-2021 8 0   Download