» Từ khóa: xac dinh

Bài viết Khảo sát độ chính xác định vị tuyệt đối tĩnh xử lý sau bằng phần mềm Terrapos 1.34 trong điều kiện Việt Nam trình bày một số kết quả khảo sát độ chính xác định vị tuyệt đối trên khu vực Vân Đồn - Quảng Ninh sử dụng dữ liệu đo tại các trạm cơ sở tại Đồ Sơn - Hải Phòng và Đà Nẵng bằng cách sử dụng phần mềm xử lý sau...

 6 p husc 30/04/2017 244 1 Download

Từ khóa: Tĩnh xử lý, Độ chính xác định vị tuyệt đối tĩnh, Phần mềm Terrapos, Sử dụng phần mềm Terrapos, Hệ chỉnh tọa độ, Precise Point Positioning

Kết quả nghiên cứu Xác định dị thường mực nước biển trên Biển Đông bằng số liệu đo cao vệ tinh cho thấy ở chu kỳ này, trên Biển Đông, dị thường mực nước biển biến đổi từ - 1,581 m đến 0,649 m, giá trị trung bình là 0,108 m.

 6 p husc 30/04/2017 240 4 Download

Từ khóa: Mực nước biển trên biển Đông, Dị thường mực nước biển, Số liệu đo cao vệ tinh, Nội suy độ cao mặt biển, Phương pháp xác định dị thường mặt nước, Độ cao mặt biển trung bình

Bài viết Lọc thích ứng ảnh Sar Đa thời gian dựa trên việc xác định các vùng ổn định và thay đổi giới thiệu một phương pháp lọc thích ứng cho các chuỗi ảnh Radar khẩu độ tổng hợp (SAR) dựa trên việc phân tích sự thay đổi theo thời gian của các đối tượng trên ảnh.

 6 p husc 30/04/2017 257 1 Download

Từ khóa: Lọc thích ứng ảnh Sar Đa, Vùng ổn định, Việc xác định vùng ổn định, Phương pháp lọc thích ứng, Chuỗi ảnh Radar khẩu độ, Quy trình lọc chuỗi ảnh SAR

Bài giảng "Tin học đại cương - Bài 5: Cấu trúc vòng lặp (Do, while)" cung cấp cho người học các kiến thức: Giới thiệu về cấu trúc vòng lặp, vòng lặp xác định, vòng lặp không xác định. Mời các bạn cùng tham khảo nội dung chi tiết.

 16 p husc 24/02/2017 297 1 Download

Từ khóa: Bài giảng Tin học đại cương, Tin học đại cương, Cấu trúc vòng lặp, Vòng lặp xác định, Vòng lặp không xác định, Đoạn mã lệnh

Trình bày các khái niệm và tính chất cơ bản về tính độc lập của các biến ngẫu nhiên, luật số lớn và các định lý giới hạn. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

 6 p husc 11/01/2017 321 1 Download

Từ khóa: Toán học, Thống kê toán học, Lý thuyết xác xuất, Biến ngẫu nhiên, Luật số lớn, Định lý giới hạn, Hàm phân phối.

Trình bày một mở rộng của A-Prolog, gọi là DA-Prolog, trong đó phần đầu của các mệnh đề trong chương trình A-Prolog có chứa phép tuyển logic. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

 11 p husc 30/12/2016 294 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic xác định, Phủ định mặc định, Phủ định mạnh, Chương trình A-PROLOG, Phần mềm SMODELS, Chạy ứng dụng.

Trong lĩnh vực chính trị, truyền thông đại chúng có vai trò rất to lớn: cung cấp thông tin, định hướng tư tưởng chính trị; xác lập chương trình nghị sự, là diễn đàn giao tiếp chính trị;... Bài viết này đề cập đến vai trò của truyền thông đại chúng trong hoạt động của cơ quan lập pháp các nước phương Tây, đặc biệt là đối với hoạt động...

 11 p husc 22/12/2016 324 1 Download

Từ khóa: Truyền thông đại chúng, Cơ quan lập pháp, Nguồn cung cấp thông, Xác lập chương trình nghị sự, Diễn đàn giao tiếp chính trị, Định hướng dư luận

trình bày cú pháp và ngữ nghĩa cùng với các tính chất về ngữ nghĩa của ngôn ngữ DLPA ứng dụng chương trình DLPA để biểu diễn tri thức thông qua một số bài toán thực tế. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

 9 p husc 27/09/2016 441 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Ngôn ngữ logic, Logic bậc nhất, Logic xác định, Tập trả lời, Hệ thống DLV, Ngôn ngữ DLPA.

Trình bày cú pháp và ngữ nghĩa của chương trình logic mở rộng (ELP) theo tiếp cận ngữ nghĩa tập trả lời. Các chương trình này cho phép phủ định mạnh và phủ định mặc định mở rộng của mô hình bền vững. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

 10 p husc 27/09/2016 358 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Ngôn ngữ bậc nhất, Logic xác định, Ngữ nghĩa mô hình, Biên dịch hệ thống, Hệ thống DL-EX.

Trình bày về ngôn ngữ logic bậc nhất, cú pháp và ngữ nghĩa của chương trình logic. Chứng minh CIFF – là một phƣơng pháp để trả lời câu truy vấn đối với các chương trình logic phỏng đoán có chứa ràng buộc. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

 10 p husc 27/09/2016 279 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic xác định, Logic thông thường, Logic phỏng đoán, Hệ thống CIFF, Thực thi truy vấn, Swi-Prolog.

Trình bày chi tiết một số giải thuật lập lịch truyền thống, như LAUC và LAUC-VF, và những hạn chế của chúng. Sau đólà một số tiếp cận cải tiến nhằm nâng cao hiệu năng lập lịch, gồm nhóm giải thuật BORA và giải thuật HVF. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

 13 p husc 26/09/2016 294 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Kỹ thuật ghép canh, Tập hợp chùm, Định tuyến lệch hướng, Luồng dữ liệu, Xác xuất mất chùm, Chuyển mạch chùm quang, Giải thuật lập lịch.

Trình bày hai phương pháp để định giá câu truy vấn đối với chương trình logic xác định là SLD và OLDT. Phép hợp giải OLDT khắc phục các nhược điểm của phép hợp giải SLD và tính dừng cũng được cải thiện đối với các chương trình logic xác định. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

 13 p husc 26/09/2016 281 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Phép hợp giải, Phần mềm Swi-Prolog, Hợp giải tuyến tính, Dẫn xuất SLD, Chương trình logic, Logic xác định.