• Luận văn Kiểm tra mô hình phần mềm sử dụng lý thuyết Ôtômat Buchi và Logic thời gian tuyến tínhLuận văn Kiểm tra mô hình phần mềm sử dụng lý thuyết Ôtômat Buchi và Logic thời gian tuyến tính

    Nghiên cứu những khái niệm vềkiểm tra mô hình, các định nghĩa đa dạng vềkiểm tra mô hình phần mềm, vịtrí của kỹthuật kiểm tra mô hình phần mềm so với các công nghệkhác nhưTesting. Tiếp theo đã phân biệt được các kỹthuật kiểm tra mô hình phần mềm và giới hạn đi sâu vào nghiên cứu một loại kỹthuật khảthi nhất đó là theo kiểu duyệt nhanh

    pdf102 trang | Chia sẻ: lylyngoc | Ngày: 26/10/2013 | Lượt xem: 2542 | Lượt tải: 0

  • Luận văn Kiểm lỗi chính tả tiếng việtLuận văn Kiểm lỗi chính tả tiếng việt

    Mặc dù thông tin vềcác âm tiết và thứtựcủa chúng đã có trong mã MD5, chúng tôi vẫn giữlại các trường chứa âm tiết đểlợi dụng chức năng nén dữliệu của MySQL. Thực tếkhi chúng tôi xóa bỏ3 trường âm tiết của bảng thống kê trigram, kích thước tệp dữliệu đã tăng từhơn 700MB lên gần 1.5GB.

    pdf39 trang | Chia sẻ: lylyngoc | Ngày: 26/10/2013 | Lượt xem: 4362 | Lượt tải: 4

  • Luận văn Hỗ trợ phát hiện và thông báo ùn tắc giao thông trên androidLuận văn Hỗ trợ phát hiện và thông báo ùn tắc giao thông trên android

    Khi cài đặt Android Client, việc quan trọ ng nhất là thực hiện đƣợc liên lạc vớ i web server và phân tích đƣợc dữ liệu dạng JSON do server trả về. Việc kết nối tới server phải sử dụng một Thread riêng để không làm treo ứng dụng đang chạy. Thread này sẽ dùng một Handler để thực thi một đối tƣợng Runnable trong đó gọi hàm cập nhật b ản đồ hoặc...

    pdf59 trang | Chia sẻ: lylyngoc | Ngày: 26/10/2013 | Lượt xem: 3042 | Lượt tải: 0

  • Luận văn Hệ thống tư vấn website cho máy tìm kiếm dựa trên khai phá query logLuận văn Hệ thống tư vấn website cho máy tìm kiếm dựa trên khai phá query log

    Khi dùng chủ để ẩn để làm giàu thông tin cho quer y; thực nghiệm được tiến hành trên cả hai bộ topic. Một bộ topic được sinh từ các văn bản lấy từ wikipedia.org; một là bộ topic được sinh trực tiếp từ các query trong query logs. Bộ topic lấy từ wikipedia do dựa trên những văn bản dài và nhiều thông tin hơn nên ngữ nghĩa của các từ trong topic...

    pdf55 trang | Chia sẻ: lylyngoc | Ngày: 26/10/2013 | Lượt xem: 2792 | Lượt tải: 0

  • Luận văn Hệ thống thông tin y tế và tình hình ứng dụng tại Việt NamLuận văn Hệ thống thông tin y tế và tình hình ứng dụng tại Việt Nam

    - Dựa vào mã số Hồ sơ của bệnh nhân để tìm hồ sơ phí; - Kiểm tra các mục phí cần thu đã đủvà đúng chưa. Nếu các mục phí chưa đúng thì phải phản hồi lại với nhân viên Buồng khám đó để kịp thời chỉnh sửa; - In phiếu thu; - Lên số liệu báo cáo hàng ngày.

    pdf77 trang | Chia sẻ: lylyngoc | Ngày: 26/10/2013 | Lượt xem: 2634 | Lượt tải: 1

  • Luận văn Hệ thống học thích nghi dựa trên kiến thứcLuận văn Hệ thống học thích nghi dựa trên kiến thức

    Tìm hiểu học thích nghi. Khoá luận đã nêu ra khái niệm của học thích nghi, cũng như các phương thức và kỹ thuật thích nghi. Cụ thể, khoá luận đã đưa ra câu trả lời cho các câu hỏi mà người đọc cóthể đưa ra đó là: “Thích nghi cái gì?” (kiến thức, mục tiêu, nền tảng, kinh nghiệm, sở thích) và “Cái gì có thể được thích nghi?” (trình bày, trợ g...

    pdf49 trang | Chia sẻ: lylyngoc | Ngày: 26/10/2013 | Lượt xem: 2791 | Lượt tải: 2

  • Luận văn Hàm green đa phức và xấp xỉ các hàm chỉnh hìnhLuận văn Hàm green đa phức và xấp xỉ các hàm chỉnh hình

    Sử dụng hàm đa phức Green với cực logarit đa trọng trên một đa tạp siêu lồi D để xây dựng hệ trực chuẩn Bergman trong không gian trọng Bergman nào đó. Chỉ ra rằng hệ trực chuẩn này cho một kết quả chính xác của phép xấp xỉ nội suy đối với các hàm chỉnh hình trên D . Đặc biệt, chúng tôi nhận được một sự mở rộng cho trường hợp đa phức v...

    pdf58 trang | Chia sẻ: lylyngoc | Ngày: 26/10/2013 | Lượt xem: 2781 | Lượt tải: 0

  • Luận văn Giải pháp thương mại điện tử cho thuê bao di độngLuận văn Giải pháp thương mại điện tử cho thuê bao di động

    Khi có một doanh nghiệp mới muốn tham gia cộng đồng thương mại điện tử thì họ phải đăng ký với nhà cung cấpđể công nhận là doanh nghiệp kết nối tới cộng đồng thương mại điện tử. Doanh nghiệp sẽ nhận được khóa và tài khoản ảo từ nhà cung cấp. Khicó yêu cầu thanh toán từ Websitecủa doanh nghiệp: doanh nghiệp sẽ ký trên một số trường thông tin...

    pdf67 trang | Chia sẻ: lylyngoc | Ngày: 26/10/2013 | Lượt xem: 2725 | Lượt tải: 2

  • Luận văn Đối sánh tự động lược đồ XMLLuận văn Đối sánh tự động lược đồ XML

    Lược đồXML đưa ra khái niệm kiểu trừu tượng và phần tửtrừu tượng. Nhưthường thấy trong mô hình hóa hướng đối tượng, kiểu trừu tượng có thểkhông có thểhiện trực tiếp nhưng có thểcó kiểu con cụthể. Nếu một phần tử được khai báo là kiểu trừu tượng thì trong một tài liệu thểhiện XML mô hình nội dung của phần tử đó có thểkhông phải là của kiểu t...

    pdf114 trang | Chia sẻ: lylyngoc | Ngày: 26/10/2013 | Lượt xem: 2887 | Lượt tải: 1

  • Luận văn Điều khiển tắc nghẽn trên mạng ngang hàng có cấu trúcLuận văn Điều khiển tắc nghẽn trên mạng ngang hàng có cấu trúc

    Ta tiếp tục xét đến một hình thức cải tiến của phương pháp đã đưa ra. Trên một nút ta duy trì thêm một giá trị xác định tắc nghẽn thứ hai nhỏ hơn giá trị xác định mức độ tắc nghẽn “mềm” đã có. Khi một nút có lượng truy vấn đến vượt qua giá trị tắc nghẽn thứ hai, nút đó sẽ thực hiện việc gửi yêu cầu tha y đổi bảng định tuyến đến các nút ở “x...

    pdf56 trang | Chia sẻ: lylyngoc | Ngày: 26/10/2013 | Lượt xem: 2755 | Lượt tải: 0