Luận văn, đồ án, đề tài, tiểu luận, luận án

Trong quá trình thực thi một chương trình chạy song song, có rất nhiều giao tiếp giữa các máy được xảy ra để có thể đưa đến kết quả cuối cùng, điều đấy có nghĩa là sẽ mất 1 khoảng thời gian nhất định cho những giao tiếp trên. Vì lý do đó, với bài toán có kích thước càng lớn thì hệ thống càng tỏ ra tối ưu hơn vì khi đó thời gian dành cho giao ...

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

Kết quả của việc liên kết từ mà chúng tôi thu được từ cách tiếp cận dịch máy thống kê hết sức quan trọng đối với hệ dịch máy và góp phần nhỏ cho các hướng nghiên cứu khác như: khảo sát sự thay đổi trật tự từ của cây cú pháp tiếng Việt và cây tiếng Anh, giải quyết vấn đề nhập nhằng ngữ nghĩa,.

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

Mạng vô tuyến Ad Hoc là mạng mà các nút mạng được tổ chức một cách ngang hàng với nhau, nghĩa là trong mạng không có máy chủ, không có bộ định tuyến lên các nút mạng vừa là máy chủ, vừa là máy khách, lại vừa là bộ định tuyến, hơn nữa các nút trong mạng cần có tính tự tổ chức, tự thích ứng khi trạng thái, đồ hình mạng thay đổi như sự gia nhậ...

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

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: 4135 | 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: 2923 | 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: 2528 | 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: 2512 | 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: 3317 | 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: 2916 | 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: 2990 | Lượt tải: 0