Bài toán smt

U dưới niêm mạc - Submucosal Tumor (SMT) được định nghĩa là bất kỳ tổn thương nào phát triển bên dưới lớp niêm hay lớp cơ của thành ống tiêu hóa. Bài viết trình bày đánh giá tính hiệu quả và an toàn của STER đối với các khối u dưới niêm đường tiêu hóa.

5p viohoyo 16-04-2024 9 3   Download

Tóm tắt Luận án Tiến sĩ Kỹ thuật "Nghiên cứu phát triển thuật toán Metaheuristic giải bài toán cây Steiner nhỏ nhất định hướng ứng dụng cho thiết kế hệ thống mạng" được nghiên cứu với mục tiêu: Nghiên cứu phát triển một số thuật toán dạng heuristic và Metaheuristic nhằm giải bài toán SMT một cách hiệu quả và định hướng ứng dụng cho thiết kế hệ thống mạng.

27p vimurdoch 02-10-2023 11 4   Download

Bài viết này đề xuất một thuật toán rút gọn đồ thị cho bài toán SMT; đề xuất này đã được thực nghiệm trên một số bộ dữ liệu là đồ thị thưa trong hệ thống dữ liệu thực nghiệm chuẩn. Thuật toán rút gọn đồ thị đề xuất có hiệu quả rút gọn lên đến 98% đối với một số đồ thị lớn.

7p quenchua9 20-11-2020 19 2   Download

Bài viết đề xuất một thuật toán mới dựa trên sơ đồ thuật toán bees cơ bản để giải bài toán SMT. Chúng tôi đã cài đặt và thực nghiệm thuật toán đề xuất trên 38 bộ dữ liệu trong hệ thống dữ liệu thực nghiệm chuẩn; kết quả thực nghiệm cho thấy thuật toán đề xuất cho lời giải với chất lượng tốt hơn một số thuật toán heuristic và metaheuristic hiện biết trên một số bộ dữ liệu.

6p vishizuka2711 07-04-2020 76 3   Download

Vấn đề giải quyết các bài toán Satisfiability Modulo Theories (SMT) hiện nay đang được nghiên cứu và phát triển ở nhiều nơi trên thế giới. Cho đến ngày nay, nhiều trường đại học, tổ chức đã nghiên cứu và đưa ra những bộ giải giải quyết bài toán SMT (hay còn gọi là SMT solver). Ví dụ như Z3 của Mcrosoft, yices của SRI, CVC3 của một số trường đại học danh tiếng của Mỹ. hay boolector, openSMT của một số trường đại học danh tiếng khác…...

47p truongnghen 30-08-2012 135 27   Download