• Bài giảng Nguyên lý và phương pháp lập trìnhBài giảng Nguyên lý và phương pháp lập trình

    Ba nguyên nhân chính gây ra các lỗi run-time: Lỗi dữ liệu Thiếu tài nguyên hệ thống Các sự cố hay lỗi của hệ thống • Các ngoại lệ : cung cấp một hay nhiều cơ chế tích hợp ñể xử lý các ñiều kiện lỗi. • Một bộ xử lý lỗi bao gồm một ñiều kiện lỗi và một tập các phát biểu ñể lý lỗi

    pdf30 trang | Chia sẻ: huongthu9 | Ngày: 17/08/2021 | Lượt xem: 676 | Lượt tải: 0

  • Bài giảng Kiểm chứng tính đúng đắn của chương trìnhBài giảng Kiểm chứng tính đúng đắn của chương trình

    • Cĩ thể p dụng kiểm chứng hình thức đối với: – Cc cấu trc trình tự – Cc cấu trc điều kiện – Cc cấu trc vịng lặp • Mỗi pht biểu cĩ: – Một tiền điều kiện – Một hậu điều kiện • Mỗi thủ tục cĩ: – Một tiền điều kiện – Một hậu điều kiện

    pdf38 trang | Chia sẻ: huongthu9 | Ngày: 17/08/2021 | Lượt xem: 709 | Lượt tải: 0

  • Ðịnh nghĩa cú pháp chương trìnhÐịnh nghĩa cú pháp chương trình

    Cú pháp bổ sung cho BNF: – {x} nghĩa là không hay lặp lại x nhiều lần – [x] có nghĩa x là tùy chọn (i.e. x | ) – () cho nhóm 34 – | chọn một trong số các chọn lựa – Cặp dấu ngoặc kép bao ký hiệu ñể phân biệt với các meta-symbols

    pdf40 trang | Chia sẻ: huongthu9 | Ngày: 17/08/2021 | Lượt xem: 636 | Lượt tải: 0

  • Một số tính chất của phủ suy dẫn từ họ phủ tập thôMột số tính chất của phủ suy dẫn từ họ phủ tập thô

    Trong bài báo này, chúng tôi phát hiện được một số tính chất toán học về phủ suy dẫn từ họ phủ tập thô liên quan đến mức đặc trưng của phủ đối với họ phủ, và mối quan hệ giữa láng giềng của một đối tượng x ứng với 2 phủ có mối quan hệ mịn hơn. Những kết quả này có thể dùng để phát triển thành độ đo hỗ trợ xây dựng cây quyết định hay rút trích đ...

    pdf11 trang | Chia sẻ: huongthu9 | Ngày: 17/08/2021 | Lượt xem: 707 | Lượt tải: 0

  • Một mô hình ứng dụng công nghệ điện toán đám mây trong bài toán thương lượng tự động sử dụng hệ đa tác tửMột mô hình ứng dụng công nghệ điện toán đám mây trong bài toán thương lượng tự động sử dụng hệ đa tác tử

    The benefits of cloud computing for online businesses nowadays are endless and easy to understand. Cloud computing is cost effective and reduces hardware, software, maintenance, and management costs. Cloud computing offers convenience, and more efficient use of a limited information technology staff. Also cloud computing is simple to use and lea...

    pdf16 trang | Chia sẻ: huongthu9 | Ngày: 17/08/2021 | Lượt xem: 607 | Lượt tải: 0

  • Một mô hình đề xuất cho bài toán nhận dạng ký tự trên container vận tải đường thủyMột mô hình đề xuất cho bài toán nhận dạng ký tự trên container vận tải đường thủy

    Optical character recognition is the mechanical or electronic conversion of images of typed, handwritten or printed text into machine-encoded texts, whether from a scanned document, a photo of a document, a scene-photo or from subtitle text superimposed on an image. It is widely used as a form of information entry from printed data records inclu...

    pdf10 trang | Chia sẻ: huongthu9 | Ngày: 17/08/2021 | Lượt xem: 674 | Lượt tải: 0

  • Mô phỏng ảnh hưởng của sông và cống lên quá trình xâm nhập mặn tại đồng bằng sông Cửu LongMô phỏng ảnh hưởng của sông và cống lên quá trình xâm nhập mặn tại đồng bằng sông Cửu Long

    Chúng tôi đã nghiên cứu mô phỏng mô hình xâm nhập mặn ảnh hưởng của hệ thống sông và cống ngăn mặn tại khu vực ĐBSCL trong bối cảnh vùng ĐBSCL chịu tác động mạnh của xâm nhập mặn trong biến đổi khí hậu. Hướng xâm nhập mặn được xác định theo tuyến hệ thống sông có gắn với hệ thống cống ngăn mặn. Trên cơ sở kết quả mô phỏng, nghiên cứu cũng đã ti...

    pdf21 trang | Chia sẻ: huongthu9 | Ngày: 17/08/2021 | Lượt xem: 698 | Lượt tải: 0

  • Mô hình hóa tri thức cho một cơ sở dữ liệu quan hệ bằng ontology web languageMô hình hóa tri thức cho một cơ sở dữ liệu quan hệ bằng ontology web language

    Trong bài báo này, chúng tôi đã trình bày các luật chuyển đổi từ cơ sở dữ liệu quan hệ sang các Ontology. Dựa trên các mối kết hợp giữa các bảng trong cơ sở dữ liệu, chúng tôi cũng đưa ra các Axiom cho các Ontology nhằm hỗ trợ các mô đun suy luận của ứng dụng Sematic web. So với các nghiên cứu đã có, việc chuyển đổi dữ liệu của cơ sở dữ liệu qu...

    pdf17 trang | Chia sẻ: huongthu9 | Ngày: 17/08/2021 | Lượt xem: 739 | Lượt tải: 0

  • Giáo trình Hệ quản trị cơ sở dữ liệu MSSQL 2005 - Chương 8: Kết nối với SQL Sercver và ứng dụng trên C#Giáo trình Hệ quản trị cơ sở dữ liệu MSSQL 2005 - Chương 8: Kết nối với SQL Sercver và ứng dụng trên C#

    private void RefreshDataGrid() { try { conn.Open(); SqlCommand cmd = new SqlCommand("usp_GetALL_Sinhvien", conn); cmd.CommandType = CommandType.StoredProcedure; SqlDataAdapter da = new SqlDataAdapter(cmd); DataSet ds = new DataSet(); da.Fill(ds, "SV"); dataGridView1.DataSource = ds.Tables["SV"]; conn.Close(); } catch (Exce...

    ppt22 trang | Chia sẻ: huongthu9 | Ngày: 17/08/2021 | Lượt xem: 593 | Lượt tải: 0

  • Giáo trình Hệ quản trị cơ sở dữ liệu MSSQL 2005 - Chương 7: Bảo mật trong SQLGiáo trình Hệ quản trị cơ sở dữ liệu MSSQL 2005 - Chương 7: Bảo mật trong SQL

    3. Cấp phát quyền cho người dùng thực thi các câu lệnh: Cấp phát quyền thực thi các câu lệnh: create database | create table | create view | create rule | create procedure | backup database | Cú pháp: GRANT { ALL|

    ppt24 trang | Chia sẻ: huongthu9 | Ngày: 17/08/2021 | Lượt xem: 594 | Lượt tải: 0