Advanced
Advanced

Browsing by Author Vũ, Thị Hồng Hạnh

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 7 of 7
  • Prev
  • 1
  • Next
  • V_L0_02864_Noi_dung.pdf.jpg
  • Thesis

  • Kiểm tra ràng buộc thời gian sử dụng phương pháp AOP

    • Authors: Vũ, Thị Hồng Hạnh;  Advisor: Nguyễn, Việt Hà (2010)

  • Nhiệm vụ chính của bài toán là xây dựng phương pháp tạo ra các đoạn mã aspect để kiểm chứng, xây dựng công cụ tự động sinh mã aspect kiểm chứng từ đặc tả giao thức bằng biểu đồ ràng buộc thời gian. Các tài liệu XMI chính là đầu vào cho công cụ cần xây dựng. Dựa vào các kiến thức về UML, XML tôi sẽ phân tích tài liệu XMI, xây dựng máy trạng thái (FSM) mô tả các biểu đồ UML. Sử dụng máy trạng thái vừa tạo để sinh ra mã aspect phục vụ cho việc kiểm chứng sau này. Mã aspect chính là đầu ra cuối cùng của công cụ.; Electronic Resources
  • item.jpg
  • Thesis

  • Pháp luật về tiêu chuẩn, quy chuẩn kỹ thuật trong lĩnh vực an toàn thực phẩm tại Việt Nam

    • Authors: Vũ, Thị Hồng Hạnh;  Advisor: Lê, Kim Nguyệt (2023)

  • Nghiên cứu làm rõ cơ sở lý luận về tiêu chuẩn, quy chuẩn kỹ thuật trong lĩnh vực an toàn thực phẩm và pháp luật về tiêu chuẩn, quy chuẩn kỹ thuật trong lĩnh vực an toàn thực phẩm; Nghiên cứu thực trạng xây dựng, ban hành và thực thi, xử lý vi phạm về tiêu chuẩn và quy chuẩn kỹ thuật trong lĩnh vực an toàn thực phẩm tại Việt Nam. Trên cơ sở đó, đề tài đưa ra những phân tích, đánh giá kết quả đạt được và những vấn đề còn tồn tại của pháp luật hiện hành và đưa ra một số đề xuất cụ thể để hoàn thiện pháp luật và nâng cao hiệu quả thực thi pháp luật về tiêu chuẩn và quy chuẩn kỹ thuật trong lĩnh vực an toàn thực phẩm tại Việt Nam.
  • item.jpg
  • Essay

  • Xây dựng các CSDL tri thức kiểm toán nhà nước

    • Authors: Phạm, Hồng Phúc; Nguyễn, Thu Hòa;  Advisor: Nguyễn, Thị Bích Thủy; Vũ, Tiến Dũng; Nguyễn, Quang Anh; Vũ, Thị Hồng Hạnh (2022)

  • Xã hội ngày càng phát triển, lượng thông tin lưu trữ ngày càng lớn dẫn tới việc tìm kiếm dữ liệu đa phương tiện càng trở nên khó khăn. Do đó, cần có các hệ thống tìm kiếm thông tin hỗ trợ người sử dụng tìm kiếm một cách chính xác, nhanh chóng, hiệu quả và tiết kiệm thời gian. Do đó, đòi hỏi làm thế nào để tổ chức và cơ cấu một lượng rất lớn các dữ liệu đa phương tiện để có thể dễ dàng nhận được thông tin cần thiết một cách nhanh chóng tại bất kỳ thời điểm nào. Từ đó, cơ sở dữ liệu đa phương tiện được xây dựng để trở thành một công cụ quản lý, lưu trữ và truy cập một lượng lớn các đối tượng đa phương tiện. Đó chính là cơ hội cũng như là ...

    Readership Map

    +
    −
    ABSTRACTS VIEWS

    47198392

    VIEWS & DOWNLOAD

    28809488

    Content Distribution

Browsing by Author Vũ, Thị Hồng Hạnh

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 7 of 7
  • V_L0_02864_Noi_dung.pdf.jpg
  • Thesis

  • Kiểm tra ràng buộc thời gian sử dụng phương pháp AOP

    • Authors: Vũ, Thị Hồng Hạnh;  Advisor: Nguyễn, Việt Hà (2010)

  • Nhiệm vụ chính của bài toán là xây dựng phương pháp tạo ra các đoạn mã aspect để kiểm chứng, xây dựng công cụ tự động sinh mã aspect kiểm chứng từ đặc tả giao thức bằng biểu đồ ràng buộc thời gian. Các tài liệu XMI chính là đầu vào cho công cụ cần xây dựng. Dựa vào các kiến thức về UML, XML tôi sẽ phân tích tài liệu XMI, xây dựng máy trạng thái (FSM) mô tả các biểu đồ UML. Sử dụng máy trạng thái vừa tạo để sinh ra mã aspect phục vụ cho việc kiểm chứng sau này. Mã aspect chính là đầu ra cuối cùng của công cụ.; Electronic Resources
  • item.jpg
  • Thesis

  • Pháp luật về tiêu chuẩn, quy chuẩn kỹ thuật trong lĩnh vực an toàn thực phẩm tại Việt Nam

    • Authors: Vũ, Thị Hồng Hạnh;  Advisor: Lê, Kim Nguyệt (2023)

  • Nghiên cứu làm rõ cơ sở lý luận về tiêu chuẩn, quy chuẩn kỹ thuật trong lĩnh vực an toàn thực phẩm và pháp luật về tiêu chuẩn, quy chuẩn kỹ thuật trong lĩnh vực an toàn thực phẩm; Nghiên cứu thực trạng xây dựng, ban hành và thực thi, xử lý vi phạm về tiêu chuẩn và quy chuẩn kỹ thuật trong lĩnh vực an toàn thực phẩm tại Việt Nam. Trên cơ sở đó, đề tài đưa ra những phân tích, đánh giá kết quả đạt được và những vấn đề còn tồn tại của pháp luật hiện hành và đưa ra một số đề xuất cụ thể để hoàn thiện pháp luật và nâng cao hiệu quả thực thi pháp luật về tiêu chuẩn và quy chuẩn kỹ thuật trong lĩnh vực an toàn thực phẩm tại Việt Nam.
  • item.jpg
  • Essay

  • Xây dựng các CSDL tri thức kiểm toán nhà nước

    • Authors: Phạm, Hồng Phúc; Nguyễn, Thu Hòa;  Advisor: Nguyễn, Thị Bích Thủy; Vũ, Tiến Dũng; Nguyễn, Quang Anh; Vũ, Thị Hồng Hạnh (2022)

  • Xã hội ngày càng phát triển, lượng thông tin lưu trữ ngày càng lớn dẫn tới việc tìm kiếm dữ liệu đa phương tiện càng trở nên khó khăn. Do đó, cần có các hệ thống tìm kiếm thông tin hỗ trợ người sử dụng tìm kiếm một cách chính xác, nhanh chóng, hiệu quả và tiết kiệm thời gian. Do đó, đòi hỏi làm thế nào để tổ chức và cơ cấu một lượng rất lớn các dữ liệu đa phương tiện để có thể dễ dàng nhận được thông tin cần thiết một cách nhanh chóng tại bất kỳ thời điểm nào. Từ đó, cơ sở dữ liệu đa phương tiện được xây dựng để trở thành một công cụ quản lý, lưu trữ và truy cập một lượng lớn các đối tượng đa phương tiện. Đó chính là cơ hội cũng như là ...