Search

Search Results

Results 41-50 of 314 (Search time: 0.081 seconds).
Item hits:
  • CSDL Liên hiệp Thư viện (VLC Reference Material)


  • Authors: Trương Anh, Hoàng;  Co-Author: 2009 (Nghiên cứu ngữ nghĩa chuẩn của các biểu đồ tuần tự trong UML. Phương pháp phân tích và đọc định dạng XMI của các biểu đồ UML để trích ra các thông tin ngữ nghĩa và biến chúng thành các máy trạng thái xác định để kiểm chứng được thuận tiện. Nghiên cứu lập trình hướng khía cạnh và cài đặt chức năng kiểm chứng tự động các dãy lời gọi xem chúng có tuân thủ đặc tả hay không. Kết quả nghiên cứu là Thư viện đọc file XMI chứa các biểu đồ tuần tự theo chuẩn UML 2.0. Chương trình phát hiện các lỗi không tuân thủ đặc tả biểu đồ tuần tự UML 2.0 của chương trình. Cài đặt phương pháp kiểm tra tự động dựa trên AOP Đề xuất cách phân tích đặc tả biểu đồ tuần tự UML 2 và chuyển chúng thành máy trạng thái để kiểm chứng tính đúng đắn của chương trình tuân thủ đặc tả đó dựa trên lập trình hướng khía cạnh. Phương pháp đã được cài đặt dưới dạng công cụ phần mềm, có thể dùng để kiểm chứng ở mức dòng lệch. Đề xuất lý thuyết đã được công bố trong một bài báo khoa học tại hội thảo quốc tế (ACOMP2010))

  • CSDL Liên hiệp Thư viện (VLC Reference Material)


  • Authors: Trịnh Ngọc, Thạch;  Advisor: Nguyễn Thị Mỹ, Lộc; Trần Văn, Tùng;  Co-Author: 2008 (Nghiên cứu cơ sở lý luận và kinh nghiệm thực tiễn quản lý đào tạo nguồn nhân lực chất lượng cao trong giáo dục đại học ở một số quốc gia như ở Đông Á, Hoa Kỳ và Trung Quốc. Khảo sát và phân tích các mô hình quản lý đào tạo nguồn nhân lực chất lượng cao trong một số trường đại học trọng điểm ở nước ta, trong đó nghiên cứu sâu về mô hình ở ĐHQGHN trên các phương diện: sự hình thành, hoạt động, kết quả và đánh giá của sinh viên và cán bộ quản lý về mô hình quản lý đào tạo nguồn nhân lực chất lượng cao đang thực hiện. Điều tra, khảo sát thực tế kiểm chứng giải pháp và kiến nghị hoàn thiện mô hình quản lý đào tạo nguồn nhân lực chất lượng cao trong các trường đại học ở nước ta)

  • CSDL Liên hiệp Thư viện (VLC Reference Material)


  • Authors: Lê Hồng, Hà;  Co-Author: 2009 (Nghiên cứu điều kiện công nghệ chế tạo vật liệu spinel và các oxít thành phần kích thước nanô (5-20 nm) bằng phương pháp thủy nhiệt. Tổng hợp vật liệu spinel ZnAl2O4/ Mg Al2O4 và các oxít Al2O3, ZnO bằng phương pháp hóa: sol-gel và thủy nhiệt. Pha tạp kim loại chuyển tiếp (Cr3+, Co2+ và đất hiếm (Eu3+) vào vật liệu nền ZnAl2O4/ Mg Al2O4 và Al2O3, ZnO). Khảo sát sự ảnh hưởng của quy trình công nghệ tới cấu trúc, hình thái học và kích thước của vật liệu qua phép đo giản đồ nhiễu xạ tia X, SEM, TEM. Nghiên cứu tính chất quang của các tâm quang kim loại chuyển tiếp và đất hiếm trong các nền tinh thể spinel và oxit thành phần qua phép đo phổ huỳnh quang, kích thích huỳnh quang và truyền qua.)

  • CSDL Liên hiệp Thư viện (VLC Reference Material)


  • Authors: Phạm Anh, Sơn;  Co-Author: 2009 (Tổng hợp thành công bột vật liệu mao quản trung bình trên cơ sở silica SBA 15 từ TEOS với chất tạo khuôn là P123 bằng phương pháp tổng hợp thủy nhiệt để dùng làm chất tạo khuôn tổng hợp vật liệu mao quản trung bình oxit kim loại. Nghiên cứu quá trình loại bỏ chất tạo khuôn bằng phương pháp nung và phương pháp ngâm trong etanol. Nghiên cứu quá trình tổng hợp vật liệu mao quản trung bình TiO2 và TO2 biến tính qua CeO2 bằng cách ngâm tẩm SBA 15 với dung dịch tiền chất của ceri và titan, sau đó tiến hành loại bỏ khuôn SBA 15 bằng NaOH...)

  • CSDL Liên hiệp Thư viện (VLC Reference Material)


  • Authors: Đặng Lê, Minh;  Co-Author: 2008 (Chế tạo vật liệu ABO3, trong đó A: la,Nd,Ca,Y,Sr,Ti,Fe;B : Mn. Cấu trúc tinh thể, cấu trúc tế vi. Nghiên cứu tính chất từ điện của hợp chất chế tạo được, ảnh hưởng của chế độ công nghệ, thành phần môi trường đến cấu trúc, tính chất và khả năng ứng dụng. Kết quả đã chế tạo hệ hợp chất Ca1-x(A')xMnO3 [A': Nd, La, Y, Fe] và La1-y(A'')yFeO3 [ A'': Nd, Sr, Ti] bằng phương pháp gốm và sol-gel. Khởi đầu nghiên cứu hệ ortho-ferrite ABO3 ( LnFeO3))

  • CSDL Liên hiệp Thư viện (VLC Reference Material)


  • Authors: Lê Thị Hoài, Thu;  Co-Author: 2007 (Nghiên cứu những nội dung cơ bản của pháp luật lao động Việt Nam trong tiến trình hội nhập kinh tế thế giới. Trên cơ sở đó chỉ ra lợi ích của các bên trong quan hệ lao động và đưa ra thực trạng pháp luật lao động Việt Nam trong những năm qua để từ đó thấy được sự bất cập cả về mặt lập pháp cũng như thực tiễn thực hiện. Đồng thời đưa ra một số nhận xét và phương hướng khắc phục những bất hợp lý trong quy định hiện hành, bổ sung, sửa đổi hoặc tách Bộ luật Lao động thành những đạo luật riêng, xây dựng Luật Công đoàn nhằm hoàn thiện pháp luật lao động trong xu thế hội nhập khu vực và thế giới)