» Từ khóa: tu

Bài giảng Đặc tả hình thức: Chương 3 do Nguyễn Thị Minh Tuyền biên soạn nhằm mục đích phục vụ cho việc giảng dạy. Nội dung bài giảng gồm Nguyên tử và quan hệ, signature và Field, các phép toán,...Mời các bạn cung tham khảo!

 69 p husc 31/01/2018 241 1 Download

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Giới thiệu về Alloy, Nguyên tử và quan hệ, Quan hệ đơn phân

Assertion là ràng buộc bổ sung và được kiểm tra bởi bộ phân tích xem chúng có đúng hay không. Bài giảng Đặc tả hình thức: Chương 5 do Nguyễn Thị Minh Tuyền sau đây sẽ giúp các bạn nắm chi tiết hơn về Assertion. Mời các bạn cùng tham khảo!

 14 p husc 31/01/2018 239 1 Download

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Giới thiệu về Alloy, Run và vị từ, Lệnh và phạm vi

Nội dung chương 7 trình bày đến người học những vấn đề liên quan đến "Mô hình động trong Alloy", cụ thể như: Các mô hình tĩnh, mô hình hóa chuyển đổi trạng thái, signature mang tính chất tĩnh, các chuỗi trạng thái, biểu diễn một chuyển đổi,...

 38 p husc 31/01/2018 221 1 Download

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Mô hình động trong Alloy, Các mô hình tĩnh, Các vị từ frame condition

Cùng nắm kiến thức trong chương này thông qua việc tìm hiểu các nội dung sau: Từ khóa chính trong JML, các tính năng nâng cao, đặc tả các ngoại lệ, ngoại lệ được cho phép bởi đặc tả, đặt ra luật cho ngoại lệ, hành vi ngoại lệ,...

 28 p husc 31/01/2018 235 1 Download

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, JML nâng cao, Từ khóa chính trong JML, Các tính năng nâng cao, Đặc tả các ngoại lệ, Thừa kế đặc tả

Nghiên cứu quan hệ kinh tế giữa hai chủ thể ở Đông Nam Á là cộng hòa dân chủ nhân dân Lào - vương quốc Thái Lan trên bình diện kinh tế. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

 14 p husc 11/01/2018 305 1 Download

Từ khóa: Lịch sử Thế Giới, Hợp tác kinh tế, Quan hệ hợp tác, Kinh tế Lào, Kinh tế Thái Lan, Quan hệ thương mại, Hiệp định đầu tư, Hợp tác giữa hai nước

Tổng hợp nano oxit coban hình thái cầu rỗng trên chất định khung cacbon có khả năng cảm biến khí. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

 24 p husc 11/01/2018 381 1 Download

Từ khóa: Hóa lý thuyết và hóa lý, Vật liệu nano, Oxit kim loại, Cảm biến khí, Điện tử quét, Hoạt tính cảm biến

Nghiên cứu điều chế vật liệu hyđroxit kép dạng lớp trên thể mang cacbon hoạt tính (Mg-Al LDH/Than hoạt tính) làm xúc tác cho phản ứng oxi hóa MB trong hệ BAP. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

 11 p husc 11/01/2018 365 1 Download

Từ khóa: Hóa lý thuyết và hóa lý, Vật liệu zeolit, Vật liệu hydroxit, Chế tạo vật liệu, Hoạt tính xúc tác, Điện tử quét, Điện tử truyền qua

Ứng dụng GIS trong nghiên cứu đánh giá và quản lý chất lượng nước mặt. Bên cạnh đó, kết quả nghiên cứu đề tài cũng góp phần làm sáng tỏ thêm quy luật phân bố của các thông số chất lượng môi trường nước mặt ở đầm Thủy Tú - Cầu Hai. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

 16 p husc 11/01/2018 319 1 Download

Từ khóa: Địa lý tự nhiên, Chất lượng nước mặt, Trầm tích nền đáy, Quần xã sinh vật, Kim loại nặng, Khai thác lưu vực, Hoạt động du lịch

Khái quát về đặc điểm tự nhiên, kinh tế - xã hội khu vực nông thôn tỉnh Thừa Thiên Huế, thực trạng và giải pháp thúc đẩy quá trình công nghiệp hóa nông nghiệp, nông thôn. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

 14 p husc 11/01/2018 292 1 Download

Từ khóa: Địa lý tự nhiên, Công nghiệp hóa, Hiện đại hóa nông thôn, Kinh tế nông thôn, Cơ cấu hộ nông thôn, Xây dựng nông thôn mới

Nghiên cứu thực trạng hệ thống cơ sở hạ tầng kỹ thuật giao thông và diễn biến ngập lụt thành phố Huế, đánh giá mức độ dễ bị tổn thương do ngập lụt đối với hệ thống cơ sở hạ tầng kỹ thuật giao thông thành phố Huế. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

 12 p husc 11/01/2018 293 1 Download

Từ khóa: Địa lý tự nhiên, Cơ sở hạ tầng, Hệ thống giao thông, Diễn biến ngập lụt, Ngập lụt tại thành phố Huế

Đưa ra những khái niệm cơ bản về tập mờ và thông tin không chắc chắn, biến ngôn ngữ, các phép tính trên tập mờ và quan hệ mờ. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

 11 p husc 10/01/2018 279 1 Download

Từ khóa: Công nghệ thông tin, Biến ngôn ngữ, Quan hệ mờ, Lượng từ mờ, Biểu diễn tri thức, Thuật toán đánh giá

Trình bày khái quát về khái niệm phân lớp dữ liệu, các kỹ thuật phân lớp dữ liệu gồm phân lớp cây quyết định và phân lớp K – láng giềng gần nhất; các vấn đề trong phân lớp dữ liệu như chuẩn bị dữ liệu, làm sạch dữ liệu, chuyển đổi dữ liệu. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 -...

 9 p husc 10/01/2018 257 1 Download

Từ khóa: Công nghệ thông tin, Phân lớp dữ liệu, Dữ liệu mờ, Biến ngôn ngữ, Logic mờ, Bài toán tư vấn