Luận văn, luan van Công Nghệ Thông Tin

Ngoài ra, luận văn cũng xem xét bài toán định tuyến trong mạng MANET và các giải pháp có thể sử dụng để giải quyếtbài toán định tuyến cũng như giới thiệu một số giao thức định tuyến điển hình trong mạng MANET. Đi cùng với lý thuyết là phần thực nghiệm mô phỏng, tôi đã tích hợp một số giao thức định tuyến mạng MANET vào bộ chương trình mô ph...

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

Phần lớn trong sốcác gói tin nhận được ở bên nhận có độ trễ lớn hơn 0.6s và hơn một nửa có độ trễ lớn hơn 0.8s. Một số dịch vụ video streaming có yêu cầu độ trễ rất thấp, thì với độ trễ tầm 0.6s hoặc 0.8s trở lên không thể đáp ứng được yêu cầu này do đó có thể dịch vụ sẽbị gián đoạn và khó duy trì được trong tình trạng sử dụng cơ chế này.

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

Với mỗi thuộc tính, từ trạng thái đầu init, nếu tất cảcác trạng thái đạt được thỏa mãn thuộc tính thì xem như thuộc tính đã được chứng minh. Chúng ta sẽ chứng minh rằng không có một trạng thái nào trong không gian trạng thái là không thỏa mãn với từng thuộc tính. Khi chạy tất cả chúng trong CafeOBJ, tất cả kết quả trả về bởi CafeOBJ sẽ là “...

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

Geocoding là quá trình chuyển đổi địa chỉ vào một tọa độ địa lý. Google Maps API bao gồm Geocoding services mà có thể được truy cập trực tiếp qua HTTP Request hoặc bằng cách sử dụng một đối tượng GClientGeocoder.

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

- Nghiên cứu phát triển các hệ xử lý ảnh siêu âm, ảnh cắt lớp 2D, 3D thời gian thực - Nghiên cứu phát triển hệ thống xử lý ảnh nhanh cho một số ứng dụng công nghiệp - Nghiên cứu phát triển hệ thống nhận dạng đa mục tiêu di động cho các ứng dụng dân dụng và quốc phòng

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

Mẫu Union Pattern là một mẫu có cấu trúcmô tả mối quan hệ thừa kế giữa lớp cha và lớp con của nó.Lớp cha là lớp ảo đại diện cho tập hợp các lớp con. Mục tiêu của Union Pattern hướng tới hai lợi ích của thiết kế hướng đối tượnglà tập hợp mã (hoisting)và việc tách riêngcác tầng trừu tượng

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

Lớp ATM có 3 phương thức. Ba phương thức này được chuyển hoàn toàn thành các mệnh đề -predicate. Danh sách tham biến của các phương thức trong biểu đồ lớp được mang nguyên vẹn thành danh sách tham biến của mệnh đề trong Alloy.

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

Khóa luận đã trình bày một cách tổng quan về hệ thống chuỗi đặc trưng âm thanh và các ứng dụng phổ biến của nó. Trong khóa luận cũng trình bày chi tiết hai phương pháp khác nhau về việc trích rút ra chuỗi đặc trưng âm thanh của một đoạn âm thanh và cách thức tìm kiếm chuỗi đặc trưng phù hợp với nó trong một cơ sở dữ liệu lớn. Qua đó chúng ta...

42 trang | Chia sẻ: lylyngoc | Ngày: 26/10/2013 | Lượt xem: 2713 | Lượt tải: 3

Do mục tiêu chính của đề tài là tính thực tế, mô hình được áp dụng ở đây không nên đòi hỏi nhiều thời gian và không gian xử lý. So với các đề tài kiểm lỗi chính tả tiếng Việt đã được công bố, mô hình n-gram của VCL Spell không quá phức tạp nhưng vẫn đảm bảo độ chính xác chấp nhận được.

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

Việc gỡ lỗi giúp nâng cao chất lượng phần mềm, nhưng các phương pháp, các công cụ chỉ là những thiết bị bổ trợ, cách hiệu quả nhất để giảm thiểu số lỗi trong phần mềm là chính bản thân các kỹ sư lập trình cần viết chương trình sáng sủa, rõ ràng, và kiểm soát các lỗi của họ. Điều này sẽ giúp cho công việc gỡ lỗi đỡ vất vả hơn rất nhiều.

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