• Điều kiện chính quy cho bài toán tối ưu DC với ràng buộc hệ bất phương trình lồi và tập lồiĐiều kiện chính quy cho bài toán tối ưu DC với ràng buộc hệ bất phương trình lồi và tập lồi

    Trong bài báo này, chúng tôi xây dựng điều kiện chính quy cần và đủ để có điều kiện tối ưu cho bài toán tối ưu DC với ràng buộc hệ bất phương trình lồi và một tập lồi. Đồng thời, chúng tôi cũng thiết lập điều kiện chính quy cần và đủ để có điều kiện tối ưu cho bài toán tối ưu phân thức và bài toán tối ưu lồi yếu với ràng buộc hệ bất phương trình...

    pdf6 trang | Chia sẻ: thuyduongbt11 | Ngày: 09/06/2022 | Lượt xem: 341 | Lượt tải: 0

  • An approach for specification and verification of multi-agent systemsAn approach for specification and verification of multi-agent systems

    Multi-agent systems (MASs) have been recognized as a modern approach for software development where each of software components is independent and autonomous like agent. However, how to ensure the correctness of their designs before implementing is still an open and interesting problem. The objectives of this paper are proposing a method for sp...

    pdf11 trang | Chia sẻ: thuyduongbt11 | Ngày: 09/06/2022 | Lượt xem: 855 | Lượt tải: 0

  • Ứng dụng của định giá trị trung bình trong một số bài toán về giới hạn của dãy sốỨng dụng của định giá trị trung bình trong một số bài toán về giới hạn của dãy số

    Các định lý cơ bản về đạo hàm đóng vai trò quan trọng trong Toán học, cũng như nhiều lĩnh vực khoa học khác. Điều đó, người ta có thể kể đến một số vấn đề như: bài toán tồn tại nghiệm của các phương trình đại số, ước lượng khoảng chứa nghiệm của các phương trình và toán tử trong việc giải gần đúng của lý thuyết số, bài toán tìm cực trị của hàm ...

    pdf8 trang | Chia sẻ: thuyduongbt11 | Ngày: 09/06/2022 | Lượt xem: 443 | Lượt tải: 0

  • Ứng dụng giải thuật tối ưu bầy đàn vào bài toán cực tiểu hóa độ trễỨng dụng giải thuật tối ưu bầy đàn vào bài toán cực tiểu hóa độ trễ

    Bài toán cực tiểu hóa độ trễ (Minimum Latency Problem – MLP) là một trong những bài toán tối ưu tổ hợp có nhiều ứng dụng trong thực tế. Trong trường hợp tổng quát, MLP đã được chứng minh là NP-khó. Hiện nay có nhiều công trình giải bài toán theo hướng tiếp cận gần đúng nhất là theo hướng phỏng sinh học. Lời giải thu được từ những công trình này...

    pdf10 trang | Chia sẻ: thuyduongbt11 | Ngày: 09/06/2022 | Lượt xem: 565 | Lượt tải: 0

  • Quintic B-spline collocation method for numerical solution a modified GRLW equationsQuintic B-spline collocation method for numerical solution a modified GRLW equations

    In this paper, numerical solution of a modified generalized regularized long wave (mGRLW) equation are obtained by a method based on collocation of quintic B – splines. Applying the von – Neumann stability analysis, the proposed method is shown to be unconditionally stable. The numerical result shows that the present method is a successful nume...

    pdf9 trang | Chia sẻ: thuyduongbt11 | Ngày: 09/06/2022 | Lượt xem: 355 | Lượt tải: 0

  • Giải bài toán tối ưu bằng phương pháp Gradient và ứng dụngGiải bài toán tối ưu bằng phương pháp Gradient và ứng dụng

    Bài báo phân tích phương pháp để giải bài toán tối ưu phi tuyến có rằng buộc bằng phương pháp Gradient cổ điển. Đối với phương pháp gradient cổ điển sử dụng phương pháp hàm chắn để đưa về bài toán phi tuyến không ràng buộc   !  " # $%, sau đó thực hiện giải bài toán tối ưu phi tuyến không ràng buộc.Trong bài báo cũng đưa ra phương pháp Grad...

    pdf12 trang | Chia sẻ: thuyduongbt11 | Ngày: 09/06/2022 | Lượt xem: 898 | Lượt tải: 0

  • Điểm bất động trong không gian kiểu MetricĐiểm bất động trong không gian kiểu Metric

    Trong bài báo này, trước hết chúng tôi đưa ra hai bổ đề quan trong về Điểm bất động trong không gian kiểu metric, nó khái quát hóa và kéo theo nhiều kết quả khác. Thứ hai, chúng tôi đưa ra một số định lý về điểm bất động của ánh xạ co trên không gian kiểu metric đầy đủ. Thứ ba, chúng tôi chứng minh tính chất của phép lặp Picard. Các kết quả tro...

    pdf5 trang | Chia sẻ: thuyduongbt11 | Ngày: 09/06/2022 | Lượt xem: 475 | Lượt tải: 0

  • A new method for solving the mGRLW equation using a base of quintic B-splineA new method for solving the mGRLW equation using a base of quintic B-spline

    In this paper, numerical solution of a modified generalized regularized long wave (mGRLW) equation are obtained by a new method based on collocation of quintic B – splines. Applying the von – Neumann stability analysis, the proposed method is shown to be unconditionallystable. The numerical algorithm is applied to some test problems consisting ...

    pdf13 trang | Chia sẻ: thuyduongbt11 | Ngày: 09/06/2022 | Lượt xem: 859 | Lượt tải: 0

  • Phương pháp số giải một số bài toán biên trong miền vô hạnPhương pháp số giải một số bài toán biên trong miền vô hạn

    Lý thuyết về các bài toán biên trong miền vô hạn là một trong những lĩnh vực quan trọng của lý thuyết phương trình đạo hàm riêng hiện đại. Rất nhiều bài toán cơ học và vật lý được đặt ra trong miền vô hạn như bài toán truyền nhiệt trong thanh dài vô hạn, trong một dải vô hạn, bài toán lan truyền khí thải trong khí quyển bao la. Để giải quyết đư...

    pdf16 trang | Chia sẻ: thuyduongbt11 | Ngày: 09/06/2022 | Lượt xem: 392 | Lượt tải: 0

  • Phát triển năng lực phân tích - tổng hợp của học sinh Tiểu học qua dạy học nội dung giải toán có lời vănPhát triển năng lực phân tích - tổng hợp của học sinh Tiểu học qua dạy học nội dung giải toán có lời văn

    Hoạt động học toán chủ yếu là hoạt động giải bài tập toán. Dạy giải bài tập toán cho HS là dạy phương pháp giải (cách giải), cách phân tích bài toán, cách tìm đường lối giải bài toán, trong đó phân tích, tổng hợp là hoạt động tư duy chủ yếu. Dạy học phát triển năng lực phân tích, tổng hợp, giúp HS có cách học toán và năng lực giải toán, từ đó H...

    pdf6 trang | Chia sẻ: thuyduongbt11 | Ngày: 09/06/2022 | Lượt xem: 408 | Lượt tải: 0