Nghiên cứu và ứng dụng VDM++ cho Mô hình hóa và Kiểm thử hệ thống IMP tại NTT Data Việt Nam

Title: Nghiên cứu và ứng dụng VDM++ cho Mô hình hóa và Kiểm thử hệ thống IMP tại NTT Data Việt Nam
Other Titles: Research and apply VDM ++ for modeling and testing systems at NTT Data IMP Vietnam
Authors: Nguyễn, Xuân Tùng
Keywords: Công nghệ thông tin;Công nghệ phần mềm;Tin học;Kiểm thử hệ thống IMP
Issue Date: 2015
Publisher: Đại học quốc gia Hà nội
Citation: 69 tr.
URI: http://repository.vnu.edu.vn/handle/VNU_123/11817

Nhận xét

Đăng nhận xét

Bài đăng phổ biến từ blog này

Tường minh hóa mục tiêu bài học để tổ chức dạy học chương 1 và 2: Phần Di truyền học Sinh học 12, trung học phổ thông

Title:  Tường minh hóa mục tiêu bài học để tổ chức dạy học chương 1 và 2: Phần Di truyền học Sinh học 12, trung học phổ thông : Luận văn ThS. Giáo dục học: 60 14 10 Authors:  Đinh, Quang Báo , người hướng dẫn Lê, Thị Tuyết Mai Keywords:  Di truyền học;Phương pháp giảng dạy;Sinh học Issue Date:  2013 Publisher:  ĐHGD Abstract:  Luận văn ThS. Lý luận và phương pháp dạy học (Bộ môn Sinh học) -- Trường Đại học Giáo dục. Đại học Quốc gia Hà Nội, 2013 Nghiên cứu cơ sở lý luận và thực tiễn của việc xác đinh mục tiêu bài học; tường minh hoá mục tiêu bài học. Phân tích nội dung phần Di truyền học - Sinh học 12 Trung học phổ thông (THPT). Nghiên cứu quá trình dạy học môn sinh học ở nhà trường THPT. Nghiên c (...) Electronic Resources URI:  http://repository.vnu.edu.vn/handle/VNU_123/47496
Đọc thêm

Đánh giá tình hình xử lý chất thải tại các trang trại chăn nuôi lợn trên địa bàn huyện Văn Giang, tỉnh Hưng Yên

Title:  Đánh giá tình hình xử lý chất thải tại các trang trại chăn nuôi lợn trên địa bàn huyện Văn Giang, tỉnh Hưng Yên : Luận văn ThS. Khoa học môi trường và bảo vệ môi trường: 60 85 02 Authors:  Hồ, Thị Lam Trà, người hướng dẫn Cao, Trường Sơn Keywords:  Xử lý chất thải;Chăn nuôi;Hưng Yên;Ô nhiễm môi trường;Khoa học môi trường Issue Date:  2012 Publisher:  ĐHKHTN Abstract:  98 tr. + CD-ROM Luận văn ThS. Khoa học môi trường -- Trường Đại học Khoa học Tự nhiên. Đại học Quốc gia Hà Nội, 2012 Tổng quan về tình hình phát triển chăn nuôi; vấn đề môi trường trong chăn nuôi; tình hình quản lý và xử lý chất thải chăn nuôi ở nước ta hiện nay. Phân tích tổng hợp các điều kiện Tự nhiên – Kinh tế - Xã hội trên địa bàn huyện Văn Giang, Hưng Yên. Hiện trạ (...) Electronic Resources URI:  http://repository.vnu.edu.vn/handle/VNU_123/38192
Đọc thêm

Sharp Asymmetric Resonance Based on 4x4 Multimode Interference Coupler

Title:  Sharp Asymmetric Resonance Based on 4x4 Multimode Interference Coupler Authors:  Le, Duy Tien Do, The Duong Nguyen, Van Khoi Nguyen, Anh Tuan Le, Trung Thanh Keywords:  Multimode interference couplers;silicon wire;CMOS technology;optical coupler;Fano resonance;EIT;FDTD;BPM Issue Date:  2017 Publisher:  International Journal of Applied Engineering Research Series/Report no.:  ;Volume 12, Number 10 (2017) Abstract:  We propose a method for generating the tunable Fano resonance line sharp by using only one 4x4 multimode interference (MMI) coupler. We show that our new device structure acting an interferometer and we employ a microring resonator and phase shifter to control the shape. The analytical analysis and FDTD simulations have been used for the first order design. The device has advantages of compactness, high tolerance fabrication and ease of fabrication on the same chip. Description:  p. 2239-2242 URI:  http://repository...
Đọc thêm