Hình thức ràng buộc

Mục tiêu nghiên cứu của đề tài "Nghiên cứu một số phương pháp giải bài toán cực đại ảnh hưởng trên mạng xã hội với ràng buộc ưu tiên và chi phí" nhằm nghiên cứu các bài toán cực đại ảnh hưởng trên các mô hình lan truyền thông tin. Qua đó đề xuất các biến thể mới có tính ứng dụng trong thực tiễn; Đề xuất các mô hình giải quyết các bài toán trên, nghiên cứu độ phức tạp của chúng trên các mô hình lan truyền thông tin.

27p khanhchi2560 21-06-2024 7 2   Download

Bài giảng Cơ sở dữ liệu - Chương 6.1: Mô hình thực thể-liên kết - Sơ đồ. Chương này cung cấp cho sinh viên những nội dung gồm: sơ đồ ER theo ký hiệu của Peter Chen; sơ đồ ER theo ký hiệu "chân chim" (crow’s foot); thể hiện thuộc tính của thực thể; ràng buộc tỷ số lực lượng và tham gia;... Mời các bạn cùng tham khảo!

13p codabach1016 03-05-2024 13 3   Download

Bài giảng Cơ sở dữ liệu - Chương 6.2: Mô hình thực thể-liên kết - Ví dụ. Chương này cung cấp cho sinh viên những nội dung gồm: lược đồ ER CONGTY; các kiểu thực thể; các kiểu liên kết; ràng buộc tham gia được thể hiện bằng ký hiệu;... Mời các bạn cùng tham khảo!

3p codabach1016 03-05-2024 5 3   Download

Mục tiêu nghiên cứu của đề tài "Phân tích xác suất dừng và thông lượng của mạng vô tuyến nhận thức dạng nền với thu thập năng lượng" nhằm tìm hiểu cơ sở lý thuyết về mô hình truyền dữ liệu trong vô tuyến nhận thức dạng nền, tìm hiểu về xác suất dừng; Tìm hiểu mô hình truyền thông đa chặng cộng tác kênh truyền fading Rayleigh; Phân tích và mô phỏng xác suất dừng/thông lượng của mạng thứ cấp theo ngưỡng ràng buộc công suất can nhiễu tại mạng sơ cấp.

68p boghoado07 19-01-2024 19 4   Download

Bài giảng Cơ sở dữ liệu với mục tiêu giúp các bạn có thể nắm được khái niệm, vai trò, kiến trúc của cơ sở dữ liệu; Vai trò, chức năng, cách thức sử dụng hệ quản trị cơ sở dữ liệu (Microsoft SQL Server); Các mô hình dữ liệu; Đại số quan hệ, ngôn ngữ SQL;...Mời các bạn cùng tham khảo!

6p dongcoxanh2510 29-10-2022 63 13   Download

Tóm tắt Luận văn Thạc sĩ Toán học "Bài toán sắp xếp kho vận với ràng buộc sắp xếp" trình bày tổng quan cập nhật các nghiên cứu về chủ đề này: từ thiết kế của khu vực kho bãi đến sự cân bằng vật lý của các cấu hình sắp xếp, từ độ phức tạp tính toán đến phương pháp giải một số lớp bài toán này, từ các bài toán với dữ liệu chắc chắn đến các bài toán với dữ liệu không chắc chắn, v.v...

20p viabigailjohnson 10-06-2022 43 5   Download

Bài giảng Cơ sở dữ liệu - Chương 0: Giới thiệu môn học. Sau khi kết thúc môn học này, học viên có thể diễn giải được vai trò của CSDL; nắm vững được các khái niệm cơ bản của CSDL; thể hiện CSDL qua các lược đồ, mô hình; sử dụng được các ngôn ngữ truy vấn để thao tác với CSDL;... Mời các bạn cùng tham khảo!

10p andromedashun 26-05-2022 53 5   Download

Nội dung của luận văn bao gồm: Chương 1 giới thiệu đề tài, lý do chọn đề tài, trình bày tổng quan nội dung nghiên cứu và bố cục luận văn. Chương 2 trình bày các khái niệm cơ bản phục vụ cho đề tài bao gồm các vấn đề liên quan trong kiểm thử dựa trên mô hình, phương pháp đặc tả mô hình bằng máy trạng thái UML. Các khái niệm về biểu đồ tuần tự và các phân đoạn trong thiết kế. Cuối cùng là giới thiệu đồ thị dòng điều khiển và đề xuất ba độ đo kiểm thử áp dụng cho bài nghiên cứu. Chương 3 nghiên cứu đề xuất cách biến đổi từ biểu đồ tuần tự sang đồ thị dòng điều khiển và các thuật toán biến đổi.

74p tomjerry001 18-10-2021 43 5   Download

Luận văn trình bày mô hình tổng quát của bài toán tối ưu hóa, phân loại bài toán tối ưu, các phương pháp biến đổi cơ bản, một số thuật toán giải bài toán tối ưu hàm lồi một biến, giải bài toán quy hoạch tuyến tính trên MATLAB. Các kết quả là những kiến thức quan trọng được ứng dụng trong các chương sau của luận văn. Mời các bạn tham khảo!

60p elephantcarrot 02-07-2021 59 8   Download

Luận án nghiên cứu chế tạo ít nhất một mẫu vi động cơ quay đường kính khoảng 2/3 mm dựa trên nguyên lý giãn nở nhiệt, công suất cỡ vài mW. xây dựng mô hình toán học, khảo sát, phân tích hệ thống thông qua mô hình. Thiết kế bộ điều khiển phù hợp với lớp đối tượng nghiên cứu và những ràng buộc, hạn chế về công nghệ chế tạo, thực hiện mô phỏng thuật toán điều khiển trên mô hình vật lý có tính chất tương tự như mô hình thực.

143p capheviahe29 17-03-2021 17 4   Download

luận này thiết kế một bộ điều khiển trượt tích phân, tích hợp mô hình động học và mô hình động lực học với các ràng buộc của nhiễu từ bên ngoài cho robot hàn để dò theo đường hàn cho trước. Tính ổn định của hệ thống được chứng minh dựa vào lý thuyết ổn định Lyapunov. Kết quả mô phỏng và kết quả thực nghiệm được trình bày nhằm minh họa tính hiệu quả của bộ điều khiển trượt tích phân.

100p capheviahe28 01-03-2021 49 7   Download

Mục tiêu của đề tài là nghiên cứu các phƣơng pháp mô hình hóa ràng buộc giải ràng buộc từ đó cải tiến khả năng giải ràng buộc và áp dụng kỹ thuật thực thi biểu trƣng trong tự động sinh các ca kiểm thử. Cài đặt thử nghiệm các phƣơng pháp đề xuất trong sinh tự động các ca kiểm thử trên kiểu dữ liệu xâu và kiểu dữ liệu hỗn hợp. Phân tích, đánh giá kết quả sau khi thử nghiệm.

105p capheviahe27 23-02-2021 27 5   Download

Đề tài nghiên cứu các phương pháp mô hình hóa ràng buộc giải ràng buộc từ dó cải tiến khả năng giải ràng buộc và áp dụng kỹ thuật thực thi biểu trưng trong tự động sinh các ca kiểm thử. Cài đặt thử nghiệm các phương pháp đề xuất trong sinh tự động các ca kiểm thử trên kiểu dữ liệu xâu và kiểu dữ liệu hỗn hợp. Phân tích, đánh giá kết quả sau khi thử nghiệm.

27p capheviahe27 23-02-2021 20 4   Download

Mục đích của luận án là phát triển một phương pháp hình thức để đặc tả và kiểm chứng các giao diện của các thành phần phần mềm có tính tương tranh và ràng buộc thời gian. Sau đó luận án áp dụng phương pháp được đề xuất vào việc đặc tả, phân tích và kiểm chứng các mô hình khác nhau của các hệ thống phần mềm dựa trên thành phần. Mời các bạn cùng tham khảo nội dung chi tiết.

135p tamynhan0 04-07-2020 50 6   Download

Luận án nghiên cứu thiết kế bộ điều khiển bám theo quỹ đạo đặt đối với mô hình toán tàu nổi, choán nước, ba bậc tự do dạng thiếu cơ cấu chấp hành, xét trên mặt phẳng ngang khi có ràng buộc tín hiệu điều khiển và bất định hàm ở đầu vào (không xét đến mô hình cơ cấu thực hiện của tàu). Mô hình toán mô tả động lực học tàu thủy trên mặt phẳng ngang có chứa thành phần bất định, chịu ảnh hưởng của yếu tố nhiễu ngẫu nhiên từ môi trường ngoài.

27p kethamoi2 15-12-2019 46 4   Download

Luận án nghiên cứu xây dựng bộ quan sát trạng thái và bộ ước lượng, bù thành phần bất định mới. Áp dụng nguyên lý điều khiển dự báo MPC trên cơ sở tuyến tính hóa từng đoạn mô hình phi tuyến để xây dựng bộ điều khiển tàu có mô hình toán dạng thiếu cơ cấu chấp hành bám theo quỹ đạo đặt có ràng buộc tín hiệu và mô hình tàu có chứa thành phần bất định. Mô phỏng và thực nghiệm theo phương pháp HIL (Hardware In the Loop) để kiểm chứng bộ điều khiển.

166p kethamoi2 15-12-2019 59 10   Download

Mục đích của luận án này là thiết lập tính liên tục của ánh xạ nghiệm cho bài toán tựa cân bằng, khảo sát tính hội tụ theo nghĩa Painlev´e-Kuratowski của tập nghiệm bài toán tựa cân bằng, nghiên cứu tính chất ổn định nghiệm và tính đặt chỉnh cho bài toán cân bằng hai mức. Ngoài ra, chúng tôi cũng thiết lập một số mô hình đặc biệt liên quan đến tối ưu như bất đẳng thức biến phân loại Minty và Stampacchia, bất đẳng thức biến phân với ràng buộc cân bằng, bài toán tối ưu với ràng buộc cân bằng và bài toán mạng giao thông với ràng buộc cân bằng.

27p phongtitriet000 08-08-2019 36 3   Download

Nội dung luận án là nghiên cứu vấn đề tính giải nghĩa được của FRBS theo hướng tiếp cận dựa trên ĐSGT và đề xuất thêm một số ràng buộc, định nghĩa, định lý theo hướng tiếp cận này. Nghiên cứu cách tiếp cận dựa trên khả năng giải nghĩa theo thế giới thực đối với vấn đề tính giải nghĩa được của hệ mờ. Trong luận án này, sẽ phân tích sâu và thiết thực hơn về tính giải nghĩa của các lý thuyết hình thức bao gồm các ngôn ngữ tự nhiên của con người nói chung và các hệ mờ được hình thức hoá nói riêng.

116p xacxuoc4321 08-07-2019 46 6   Download

Bài giảng "Cơ sở dữ liệu - Chương 3: Mô hình cơ sở dữ liệu quan hệ" cung cấp cho người học các kiến thức: Giới thiệu mô hình quan hệ, các thành phần của mô hình quan hệ, các đặc trưng của quan hệ, ràng buộc lược đồ quan hệ,... Mời các bạn cùng tham khảo nội dung chi tiết.

5p thiendiadaodien_10 08-01-2019 37 6   Download

Bài giảng "Cơ sở dữ liệu - Chương 3: Mô hình cơ sở dữ liệu" cung cấp cho người học các kiến thức: Mô hình dữ liệu quan hệ, ràng buộc toàn vẹn trên mô hình dữ liệu quan hệ, các toán tử cập nhật trên quan hệ, thiết kế cơ sở dữ liệu quan hệ. Mời các bạn cùng tham khảo.

20p thiendiadaodien_10 08-01-2019 48 2   Download