VictorJuiz/thesis huggingface dataset:
Phân tích thiết kế Hệ thống quản lý thiết bị và sự cố tin học" theo hướng đối tượng
Keywords: Công nghệ thông tin, Công nghệ phần mềm, Hệ thống quản lý thiết bị, Sự cố tin học, Phân tích thiết kế

Tổng hợp phương pháp luận trong phân tích và thiết kế hệ thống thông tin theo hướng đối tượng, quy trình của kỹ nghệ phần mềm hướng đối tượng và mẫu thiết kế. Áp dụng lý thuyết vào giải quyết bài toán thực tế, phân tích và thiết kế "Hệ thống quản lý thiết bị và sự cố tin học", xây dựng thử nghiệm hệ thống có kết quả.
Nghiên cứu phương pháp kiểm chứng mô hình phần mềm dựa trên SAT
Keywords: Công nghệ thông tin, Công nghệ phần mềm, Phương pháp kiểm chứng, Mô hình phần mềm, SAT

• Tìm hiểu các vấn đề nền tảng trong kiểm chứng mô hình như cách tiếp cận từ một vấn đề thực tiễn để đưa về bài toán kiểm chứng mô hình, các loại logic thời gian, hệ thống dịch chuyển trạng thái, cách sử dụng logic thời gian để đặc tả các thuộc tính cần kiểm chứng cũng như cách mô hình hóa từ hệ thống thành hệ dịch chuyển trạng thái. • Nghiên cứu giải quyết vấn đề bùng nổ không gian trạng thái trong kiểm chứng mô hình dựa trên SAT. Tiếp cận theo hướng kiểm chứng mô hình giới hạn (BMC) dựa trên SAT. Nghiên cứu về các thuộc tính an toàn, giải công cụ SAT, thuật toán DPLL, và kiểm chứng mô hình giới hạn cho LTL. Luận văn cũng trình bày về một công cụ sử dụng SAT đang được các nhà khoa học phát triển nhiều trong thời gian gần đây là NuSMV, tìm hiểu và cài đặt một chương trình quản lý thư viện trên NuSMV
Nghiên cứu kỹ thuật phân tích chương trình tĩnh trong việc nâng cao chất lượng phần mềm
Keywords: Chương trình tĩnh, Chất lượng phần mềm, Công nghệ thông tin, Công nghệ phần mềm, Kỹ thuật phân tích

Luận văn đã tìm hiểu các kiến thức cơ sở, nền tảng khoa học trong việc phân tích chương trình tĩnh; - Trên cơ sở các nghiên cứu về nền tảng lý thuyết, luận văn đã áp dụng vào việc phân tích chương trình thông qua hai loại phân tích luồng dữ liệu cho chương trình với mục đích phát hiện lỗi trong chương trình và tối ưu hóa chương trình; - Luận văn cũng đã tiến hành thực nghiệm trên công cụ SOOT, là một công cụ mã nguồn mở, một plugin tích hợp trong Eclipse IDE nhằm tối ưu hóa chương trình Java.
Nghiên cứu một số bài toán về an toàn thông tin trong Hành chính điện tử
Keywords: Công nghệ thông tin, Hệ thống thông tin, Một số bài toán, Hành chính điện tử, An toàn thông tin

Luận văn nghiên cứu một số khái niệm về an toàn thông tin, cơ sở hạ tầng giao dịch trực tuyến, cơ sở hạ tầng mật mã khóa công khai PKI, một số giao thức đảm bảo an toàn khi truyền tin. Nghiên cứu tổng quan về hành chính điện tử: Khái quát về hệ thống hành chính nhà nước Việt Nam, giới thiệu chung về hành chính điện tử, mô hình giao dịch, các mức giao dịch trong hành chính điện tử. Nghiên cứu một số phương pháp bảo đảm an toàn thông tin trong hành chính điện tử: Phương pháp bảo mật, bảo toàn và xác thực thông tin trong giao dịch hành chính điện tử. Nghiên cứu lý thuyết mật mã và an toàn thông tin, các thuật toán mã hóa: thuật toán mã hóa khóa đối xứng, thuật toán mã hóa khóa công khai RSA, thuật toán hàm băm: SHA, MD5, chữ ký số: sơ đồ chữ ký số; thuật toán chữ ký số RSA., để áp dụng vào việc giải một số bài toán an toàn thông tin trong hành chính điện tử. - Nghiên cứu một số bài toàn về an toàn thông tin trong hành chính điện tử: + Bài toán đảm bảo an toàn thông tin trong giao dịch hành chính điện tử: Bài toán bảo mật, bảo toàn và xác thực thông tin. + Bài toán nghiên cứu cơ sở hạ tầng công nghệ thông tin truyền thông trong giao dịch hành chính điện tử: Nghiên cứu mô hình chung các thành phần trong hệ thống PKI, mô hình cung cấp chứng chỉ số. Xây dựng chương trình ứng dụng có khả năng bảo mật, bảo toàn, xác thực nội dung thông tin dưới dạng văn bản điện tử trong giao dịch trực tuyến: mã hóa văn bản, tạo chữ kí số và chứng thực chữ kí số trên văn bản điện tử. Chương trình góp phần đảm bảo an toàn thông tin của người dân, doanh nghiệp, cán bộ trong chính quyền nhà nước.. tham gia giao dịch hành chính điện tử .
Hệ kiến hai giai đoạn cho bài toán lập lịch sản xuất
Keywords: Công nghệ thông tin, Công nghệ phần mềm, Hệ kiến hai giai đoạn, Bài toán, Lập lịch sản xuất

- Tìm hiểu lược đồ cập nhật mùi hai giai đoạn cho thuật toán ACO mới được công bố (2011, của Zhang và Feng thử nghiệm cho bài toán người chào hàng). Trên cơ sở lý thuyết mà Zhang và Feng công bố tiến hành xây dựng thuật toán 2 giai đoạn cho bài toán lập lịch sản xuất. Làm thực nghiệm so sánh thuật toán với phương pháp cập nhật mùi Max-Min trơn (là thuật toán ACO tốt nhất hiện nay cho bài toán này). Kết quả thực nghiệm thu được là tốt hơn đáng kể so với phương pháp Max-Min trơn, qua đây ta thấy phương pháp tối ưu đàn kiến vẫn không ngừng được nghiên cứu, cải tiến và là phương pháp hữu hiệu vẫn còn rất triển vọng trong tương lai.
Nghiên cứu phương pháp làm tăng chất lượng phân lớp câu hỏi trong hệ thống hỏi đáp
Keywords: Công nghệ thông tin, Hệ thống thông tin, Phương pháp làm tăng chất lượng câu hỏi, Hệ thống hỏi đáp

Đưa ra giải pháp cải tiến chất lượng phân lớp cho thuật toán Tri-Train. - Xây dựng các đặc trưng có chất lượng phân lớp cao. - Tiến hành và phân tích kết quả nhiều thử nghiệm minh họa cho giải pháp đưa ra. - Kết quả chung: + Nâng chất lượng phân lớp thô: từ 86% lên 90% (tăng 4%). + Nâng chất lượng phân lớp tinh: từ 77.4% lên 80.2% (tăng 2.8%).
Phương pháp trích chọn đặc trưng cho bài toán nhận dạng chữ Nôm
Keywords: Công nghệ thông tin, Công nghệ phần mềm, Phương pháp trích chọn đặc trưng, Bài toán nhận dạng, Chữ Nôm

- Luận văn trình bày nội dung tổng quát và về quy trình nhận dạng chữ Nôm. - Trình bày một số phương pháp nhận dạng chữ tượng hình. - Trình bày một số phương pháp lấy đặc trưng phục vụ cho huấn luyện, nhận dạng chữ tượng hình. - Trình bày phương pháp nhận dạng chữ Nôm bằng kỹ thuật tính chi phí hiệu chỉnh chuỗi đặc trưng (string edit-distance). Chi tiết các bước huấn luyện: lấy giả khung và khung xương ảnh của chữ; tạo histogram cho giả khung và khung xương; mã hóa histogram thành chuỗi mã được trình bày chi tiết. Các bước nhận dạng bằng string edit-distance cũng được trình bày chi tiết. - Xây dựng phần mềm nhận dạng chữ Nôm bằng string edit-distance dựa trên phương pháp mã hóa histogram của khung xương, giả khung.
Nghiên cứu kiến trúc CSDL trong dịch vụ dựa trên vị trÍ(LBS) trên cơ sở điện toán đám mây
Keywords: Công nghệ thông tin, Hệ thống thông tin, Nghiên cứu kiến trúc, Cơ sở dữ liệu, Cơ sở điện toán đám mây

• Nghiên cứu tổng quan về mô hình Điện toán đám mây (Cloud Computing) • Nghiên cứu về dịch vụ dựa trên vị trí (Location Based Services – LBS) • Nghiên cứu cấu trúc CSDL ứng dụng trong điện toán đám mây • Nghiên cứu, ứng dụng mô hình Điện toán đám mây của Google, cấu trúc CSDL Google Bigtable, Datastore • Xây dựng CSDL trong dịch vụ dựa trên vị trí trên nền tảng điện toán đám mây của Google cho bài toán tìm kiếm các điểm đặt cột ATM xung quanh một vị trí trên bản đồ
Ứng dụng công nghệ Micro - nano chế tạo tổ hợp cảm biến từ
Keywords: Vật liệu Nano, Công nghệ Nano, Công nghệ Micro - nano, Cảm biến từ

Nghiên cứu và chế tạo thành công cảm biến mạch cầu Wheastones hoạt động dựa trên hiệu ứng từ điện trở dị hướng (AMR) với các cấu hình, bề dày lớp nhạy từ NiFe khác nhau và số lượng thanh trong 1 thành phần mạch cầu. Khảo sát đáp ứng góc của cảm biến 1 chiều.
Nghiên cứu công nghệ tổng hợp vật liệu Graphene đa lớp và thử nghiệm ứng dụng
Keywords: Công nghệ Nano, Linh kiện nano, Vật liệu Graphene đa lớp

- Tổng hợp thành công màng graphene đa lớp trên đế Cu bằng phương pháp CVD nhiệt. - Khảo sát được sự ảnh hưởng của nhiệt độ và thời gian CVD, lưu lượng khí đến kết quả của màng graphene. Tìm ra điều kiện tạo màng graphene tốt nhất theo phương pháp CVD nhiệt là: Sử dụng nguồn khí với lưu lượng tương ứng CH4 : 30 sccm; H2: 300 sccm; Ar: 1000sccm, thời gian CVD là 30 phút, nhiệt độ CVD là 10000C - Tách và chuyển thành công màng graphene từ đế Cu sang các loại đế khác bằng dung dịch ăn mòn sắt (III) nitrat. - Sử dụng vi điện cực Pt/PANi/Gr/Anti-ATZ đo nồng độ atrazine trong dung dịch theo phương pháp đo sóng vuông SWV.
Nghiên cứu, thiết kế và chế tạo hệ thống truyền nhận dữ liệu vô tuyến theo chuẩn giao tiếp ZIGBEE
Keywords: Điện tử viễn thông, Kỹ thuật điện tử, Vô tuyến, Chuẩn giao tiếp ZIGBEE, Truyền nhận dữ liệu

Luận văn này tập trung vào việc nghiên cứu, tìm hiểu về chuẩn truyền thông không dây IEEE 802.15.4 (ZigBee) và module truyền thông theo chuẩn ZigBee - MRF24J40 của hãng Microchip Technology. Luận văn này cũng đã thiết kế và xây dựng thành công một hệ thống truyền thông không dây sử dụng chuẩn ZigBee để cho phép kết nối giữa các thiết bị đo trong một phòng thí nghiệm lại với nhau, cũng như cho phép truyền các dữ liệu đo được từ những thiết bị này về một máy tính để xử lý thông tin. Luận văn cũng đã xây dựng thành công một chương trình phần mềm hoạt động ổn định trên máy tính để cho phép lưu lại dữ liệu thu được, cũng như vẽ lại đồ thị của các giá trị đo theo thời gian.
Tìm hiểu một số phương pháp luận xây dựng kiến trúc tổng thể và phương pháp xây dựng khung kiến trúc tổng thể FEA cho Hawaii
Keywords: Công nghệ thông tin, Kiến trúc tổng thể FEA, Quản lý hệ thống thông tin, Tin học

Tổng hợp và làm rõ khái niệm Kiến trúc Tổng thể, cung cấp cái nhìn tổng quan về Kiến trúc Tổng thể, đồng thời nhấn mạnh tầm quan trọng của việc xây dựng Kiến trúc Tổng thể cho các cơ quan, tổ chức, doanh nghiệp. Tìm hiểu,tổng hợp và trình bày tổng quan một (...)
Nghiên cứu xây dựng quy trình quản lý đầu tư ứng dụng công nghệ thông tin tại Ngân hàng Phát triển Việt Nam
Keywords: Công nghệ thông tin, Quản lý hệ thống thông tin, Tin học

Tổng quan về quy trình đầu tư ứng dụng Công nghệ thông tin sử dụng nguồn vốn ngân sách nhà nước: các bước thực hiện, hệ thống văn bản pháp lý điều chỉnh. Hoàn thiện quy trình quản lý đầu tư ứng dụng Công nghệ thông tin tại Ngân hàng phát triển Việt Nam (NH (...)
Cơ sở dữ liệu trên bộ nhớ (in - memory DB) và ứng dụng trong hệ thống phần mềm cần xử lý cơ sở dữ liệu hiệu năng cao
Keywords: Tin học, Công nghệ thông tin, Quản lý hệ thống thông tin, Cơ sở dữ liệu, Phần mềm

Trình bày hiện trạng nghiên cứu “Cơ sở dữ liệu trên bộ nhớ” trong và ngoài nước. Tìm hiểu chuyên sâu kiến thức về Cơ sở dữ liệu trên bộ nhớ: khái niệm, kiến trúc, đặc điểm tính năng, ưu nhược điểm. Nghiên cứu các sản phẩm Cơ sở dữ liệu trên bộ nhớ, so sánh (...)
Quy hoạch tổng thể ứng dụng và phát triển công nghệ thông tin thành phố Hải Phòng đến năm 2025
Keywords: Quản lý hệ thống thông tin, Công nghệ thông tin, Hải Phòng, Công nghệ thông tin, Hải Phòng, Ứng dụng

Nghiên cứu cơ bản về chiến lược và các chính sách phát triển Công nghệ thông tin (CNTT) của Bộ Thông tin & Truyền thông. Khảo sát và đánh giá tổng quan được hiện trạng công nghệ thông tin Thành phố Hải Phòng. Giới thiệu các phương án phát triển CNTT
Nghiên cứu một số phương pháp luận xây dựng kiến trúc tổng thể, đề xuất và áp dụng vào bài toán quy hoạch quốc hội điện tử Việt Nam
Keywords: Công nghệ thông tin, Quản lý hệ thống thông tin, Bài toán quy hoạch, Quốc hội điện tử

a. Tổng hợp và làm rõ khái niệm Kiến trúc Tổng thể, cung cấp cái nhìn tổng quan về Kiến trúc Tổng thể, đồng thời nhấn mạnh tầm quan trọng của việc xây dựng Kiến trúc Tổng thể cho các cơ quan, tổ chức, doanh nghiệp. b. Tìm hiểu,tổng hợp và trình bày tổng quan một số phương pháp luận xây dựng Kiến trúc Tổng thể nổi tiếng trên thế giới cũng như ở Việt Nam như Zachman, TOGAF, FEA, Gartner. c. Tìm hiểu Bối cảnh CNTT tại Việt Nam. d. Đưa ra đề xuất phương pháp luận xây dựng Kiến trúc tổng thể tại Việt Nam, áp dụng vào đề án “ Quy hoạch Quốc hội Điện tử”
Dự án cổng thanh toán điện tử cho doanh nghiệp viễn thông
Keywords: Công nghệ thông tin, Hệ thống thông tin, Cổng thanh toán điện tử, Doanh nghiệp viễn thông, Tin học

Đánh giá hiện trạng và tiềm năng thị trường của Cổng thanh toán điện tử. Thiết kế sơ bộ phần mềm và kiến trúc hệ thống Cổng thanh toán điện tử Viettel. Lập dự toán chi phí thực hiện xây dựng dự án. Triển khai kế hoạch thực hiện và sử dụng lao động để xây d (...)
Từ trường của vi cấu trúc từ với biến thiên từ trường lớn
Keywords: Từ trường, Vi cấu trúc từ, Công nghệ Nano

Nghiên cứu lý thuyết và mô phỏng từ trường của một số cấu trúc từ kích thước micro-nano, có tính từ cứng và dị hướng từ lớn theo một trục.
Phương pháp tính toán khoảng giải các ràng buộc không tuyến tính
Keywords: Công nghệ phần mềm, Phần mềm máy tính, Lập trình

Đề xuất áp dụng phương pháp kiểm thử cặp đôi (pairwisetesting) thực hiện kiểm thử tăng dần(testinrementally)vào bước kiểm thử của ra SAT cải thiện hiệu quả. Kết quả đạt được đã tốt hơn như mục tiêu ban đầu của luận văn. Cụ thể kết qủa đạt được như sau: Cải thiện số lượng bài toán giải được và thời gian. Cụ thể giải nhiều hơn 386 bài toán với thời gian cải thiện được khoảng 12.4% (17,500phút). Mở ra các phương pháp cải tiến ra SAT trên các ràng buộc có số biến lớn. Hiện tại với các ràng buộc có số biến lớn vẫn là thách thức của các SMT Solver mạnh như Z3.
Nghiên cứu ứng dụng công nghệ IoT cho giám sát môi trường
Keywords: Mạng cảm biến không dây, Công nghệ IOT

Trình bày tổng quan về iot. Nghiên cứu mạng cảm biến không dây. Phân tích các các ứng dụng của công nghệ mạng cảm biến không dây. Xây dựng ứng dụng giám sát thông số môi trường.Trong quá trình phát triển của con người, những cuộc cách mạng về công nghệ đóng một vai trò rất quan trọng, chúng làm thay đổi từng ngày từng giờ cuộc sống của con người, theo hướng hiện đại hơn. Đi đôi với quá trình phát triển của con người, những thay đổi do chính tác động của con người trong tự nhiên, trong môi trường sống cũng đang diễn ra, tác động trở lại chúng ta, như ô nhiễm môi trường, khí hậu thay đổi, v.v... Dân số càng tăng, nhu cầu cũng tăng theo, các dịch vụ, các tiện ích từ đó cũng được hình thành và phát triển theo. Đặc biệt là áp dụng các công nghệ của các ngành điện tử, công nghệ thông tin và truyền thông vào trong thực tiễn cuộc sống con người. Công nghệ Internet of Things (IoT) nói chung và công nghệ cảm biến không dây(Wireless Sensor) nói riêng được tích hợp từ các kỹ thuật điện tử, tin học và viễn thông tiên tiến vào trong mục đích nghiên cứu, giải trí, sản xuất, kinh doanh, v.v..., phạm vi này ngày càng được mở rộng, để tạo ra các ứng dụng đáp ứng cho các nhu cầu trên các lĩnh vực khác nhau. Hiện nay, mặc dù khái niệm IoT và công nghệ cảm biến không dâyđã trở nên khá quen thuộc và được ứng dụng khá nhiều trong các lĩnh vực của đời sống con người, đặc biệt ở các nước phát triển có nền khoa học công nghệ tiên tiến. Tuy nhiên, những công nghệ nàychưa được áp dụng một cách rộng rãi ở nước ta, do những điều kiện về kỹ thuật, kinh tế, nhu cầu sử dụng. Song nó vẫn hứa hẹn là một đích đến tiêu biểu cho các nhà nghiên cứu, cho những mục đích phát triển đầy tiềm năng. “Nghiên cứu ứng dụng công nghệ IoT cho giám sát môi trường”. Trên cơ sởtìm hiểu về IoT nói chung và mạng cảm biến không dâynói riêng, luận văncòn thực hiện một thực nghiệmcho mạng cảm biến để giám sát các thông số môi trường tiêu biểu (nhiệt độ, độ ẩm, ánh sáng) đối với việc bảo quản, vận chuyển thực phẩm tươi sống.
Phát triển các kỹ thuật tìm bất biến (Invariants) và biến (Variants) cho việc sử dụng Hoare Logic để chứng minh tính đúng đắn của chu trình
Keywords: Kỹ thuật phần mềm, Logic Hoare, Bất biến (Invariants), Bất biến (Invariants) -- Kỹ thuật tìm, Biến (Variants), Kỹ thuật tìm

Tìm hiểu và làm rõ những kiến tức liên quan đến logic Hoare. Qua phần nghiên cứu, tôi muốn cung cấp một tài liệu cụ thể nằm hướng dẫn việc chứng minh tính đúng của lnh chu trình bằng logic Hoare. Bên cạnh đó, việc đưa ra những gợi mở về bản chất ca vòng lặp thông qua bất biến vòng lặp được trú trọng. Cung cấp cái nhìn tổng quan nhất ềbin và bất biến bằng những lý thuyết và bài toán áp dụng trên các thuật toán cơ bản. Phát triển các kỹ thuật tìm bất bin (invariants) và biến (variants)cho việc sử dụng logic Hoare để chứng minh tính đúng đắn của chu trình là mục đích nghiên cứu của luận văn.
Xác minh vị trí cho định tuyến địa lý an toàn trong các mạng cảm biến không dây
Keywords: Mạng cảm biến không dây, Định tuyến địa lý an toàn, Mạng máy tính

Thông tin vị trí là thông tin quan trọng đối với nhiều ứngdụngtrong các mạng cảm biến không dây(WSN). Khi các nút cảm biến được triển khai trong môi trường thù địch, rất dễ bị tấn công do đó thông tin vị trí cảm biến không đáng tin cậy và cần phải được xác nhận trước khi chúng có thể được sửdụng bởi các ứng dụng dùng nó. Các hệ thốngxác minh trước đó hoặc là yêu cầu triển khai dựa trên nhómkiến thức về khuvực cảm biến, hoặc phụ thuộc vào phần cứng chuyên dụng đắt tiền, chúng không phù hợp để sử dụng cho các mạng cảm biến chi phí thấpTrong luận vănnày, chúng tôi nghiên cứu sử dụngcác Anchorlà những node tin cậy được trang bị GPS nằm rải rác trong mạng WSN làmtrung tâm trong quá trình xác minh thông tin vị trícác node có phần cứng hạn chế nằm trong phạmvitruyềntincủanó. Việc xác thực thông tin vị trí này sẽ cho phép thực hiện định tuyến an toàn giải quyết bài toán an ninh trong thuật toán vượt biên(PerimeterForwarding)vượt vùng void của giao thức GPSR. Chúng tôi đề xuất sử dụng phương pháp k-đường dự phòng thay vì chỉ chọn một đường duy nhất theo phương pháp quy tắc bàn tay phải.Giải pháp đề xuất này cung cấp ít nhất một con đườngđịnhtuyếntớiđíchngaycảtrong trường hợp các node trên biên bị tấn công.Trong quá trình thử nghiệm k –path, chúng tôi thấy rằng hiệu quả thuật toán là chưa cao, cụ thể tỉ lệ các gói tin bị mất rất nhiều. Mặc dù vậy, thử nghiệm cũng đạt các kết quả nhất định như thấy rõ sự ảnh hưởng của chỉ số độ tin cậy trong định tuyến phục hồi thế hệ trước.
Phát hiện ngã sử dụng đặc trưng chuyển động và hình dạng cơ thể dựa trên camera đơn
Keywords: Phát hiện ngã tự động, Bài toán, Kỹ thuật phần mềm, Camera đơn

Giới thiệu một phương thức tự động phát hiện ngã dựa trên việc kết hợp các đặc trưng chuyển động như hướng và độ lớn, với các đặc trưng về sự thay đổi hình dáng cơ thể. Đề xuất một số cải tiến trong giải thuật MHI, đề xuất sử dụng đặc điểm chuyển động trọng tâm cơ thể để cải thiện kết quả đo lường chuyển động dựa trên MHI. Điểm mấu chốt của phương thức được đề xuất là là thông qua phân tích đặc điểm thực tế của quá trình ngã dựa trên quan sát kỹ lưỡng, từ đó có thể khai thác hợp lý các đặc trưng đã trích rút được.
Nghiên cứu một số vấn đề về cơ sở dữ liệu và ứng dụng trong bài toán quản lý dân cư
Keywords: Cơ sở dữ liệu, Nghiên cứu, Dân cư, Quản lý, Hệ thống thông tin

Trình bày một số vấn đề về cơ sở dữ liệu. Nghiên cứu kho dữ liệu. Thử nghiệm giải quyết vấn đề bài toán dân cư.
Áp dụng thuật toán tối ưu hóa đàn kiến để giải quyết bài toán vị trí cơ sở
Keywords: Thuật toán máy tính, Hệ thống thông tin, Phương pháp tối ưu đàn kiến

Tìm hiểu tổng quan về các kiến thức cơ sở về độ phức tạp thuật toán, lớp các bài toán P, NP và NP-khó và các bài toán thuộc lớp bài toán vị trí cơ sở cũng như các công bố gần đây. Trình bày chi tiết về thuật toán tối ưu hóa đàn kiến. Trình bày về cài đặt chương trình, thử nghiệm và so sánh kết quả với một số công trình đã công bố gần đây.
Bài toán tìm kiếm MOTIF và phương pháp tối ưu đàn kiến
Keywords: Thuật toán máy tính, Motif, Tin sinh học, Phương pháp tối ưu đàn kiến

Trình bày sơ lược các khái niệm về tin sinh học, bài toán tối ưu tổ hợp và phát biểu bài toán (ℓ,d) motif. Giới thiệu thuật toán Ant colony optimization (ACO) và một vài thuật toán cập nhật mùi khác nhau trong ACO. Đề xuất thuật toán, đó là thuật toán Antcolony optimization (ACO) để giải quyết bài toán (ℓ,d) motif. Đưa ra kết quả thực nghiệm của luận văn, so sánh kết quả của thuật toán ACO với các thuật toán PairMotif+ và thuật toán MEME.
Nghiên cứu xây dựng thuật toán mã khối phục vụ việc bảo mật thông tin chiến lược
Keywords: Bảo mật thông tin, Công nghệ thông tin, Mật mã

Giới thiệu tổng quan về mật mã học và thực trạng an toàn thông tin hiện nay: các mức an toàn mạng, vấn đề bảo vệ thông tin bằng mật mã, việc tấn công vào các dữ liệu được mã hóa và các mối đe dọa mất an toàn. Nêu vai trò của mật mã, quy trình mã hóa dữ liệu, hàm mã hóa và khóa, khái niệm và ý nghĩa của mật mã khối. Đề xuất và sử dụng thuật toán dãy bit giả làm một hệ mã khối mới và nêu một số tiêu chuẩn đánh giá chất lượng khóa.
Chuyển mạch nhãn đa giao thức (MPLS) và khả năng ứng dụng trong mạng thế hệ mới (NGN) của VNPT
Keywords: Chuyển mạch, Mạng thế hệ mới, Kỹ thuật truyền thông

Giới thiệu những khái niệm, kiến trúc, thành phần, nguyên tắc hoạt động và các giao thức trong mạng MPLS, mô tả, phân tích, đánh giá các cơ ch ế đảm bảo chất lượng dịch vụ và những đặc điểm nổi bật, những kỹ thuật cơ bản của công nghệ MPLS, đồng thời đánh giá so sánh những ưu điểm công nghệ MPLS so với TCP/IP, nghiên cứu chất lượng dịch vụ chỉ rõ công nghệ MPLS hỗ trợ các ISP đảm bảo chất lượng dịch vụ thông qua phân loại lưu lượng, hàng đợi, làm rớt gói tin, kỹ thuật điều khiển lưu lượng cho phép các luồng lưu lượng chia sẻ tài nguyên mạng, tránh tắc nghẽn mạng bảo vệ lưu lượng khi xảy ra lỗi, giảm thiểu những mất mát về thông tin, tiến hành xem xét nghiên cứu, cài đặt một số thông số cho mạng NGN của VNPT từ đó chỉ ra và đánh gía khả năng ứng dụng trong mạng NTN của VNPT
Phương pháp ACO và bài toán thời khóa biểu cho trường đại học
Keywords: Hệ thống thông tin, Phương pháp ACO, Bài toán thời khóa biểu

Giới thiệu về các mô hình thời khóa biểu cho các trường học bao g m cả trường phổ thông và đại học trên thế giới và bài toán chu n UCTP Univ rsity Cours Tim Tabling Probl m đ ng thời giới thiệu qua về một số cách tiếp cận hiện nay cho bài toán lập thời khóa biểu. Giới thiệu phương pháp tối ưu hóa đàn kiến: lịch s phát triển các thuật toán ACO và một số nguyên tắc ng d ng ACO. Trình bày về cách th c chung để áp d ng tối ưu đàn kiến giải bài toán UCTP. Trình bày đề xuất các cải tiến c thể trong áp d ng tối ưu hóa đàn kiến với bài toán UCTP. Xây dựng chương trình demo áp dụng MMAS SMMAS. Tiến hành chạy thực nghiệm so sánh và đánh giá các kết quả thực nghiệm trên các thuật toán tối ưu đàn kiến c ng đề xuất cải tiến
Phân tích thiết kế hệ thống tái tạo chân dung đối tượng theo đặc tả của các nhân chứng
Keywords: Chân dung, Công nghệ thông tin, Phần mềm, Thiết kế hệ thống

Tổng quan về đặc điểm chân dung đối tượng, dựa trên các cơ sở khoa học, nguyên tắc, phương pháp nghiên cứu đặc điểm chân dung nói chung để đưa ra hệ thống các đặc điểm liên quan đến đối tượng. Tiến hành nghiên cứu mô hình nghiệp vụ của hệ thống, đí sâu phân tích các quy trình, các mô hình ca sử dụng hệ thống, mô hình kiến trúc hệ thống, mô hình cơ sở dữ liệu. Phân tích và thiết kế hệ thống cho các thông tin quản lý, cơ sở dữ liệu và các chức năng của hệ thống. Căn cứ vào kết quả phân tích và thiết kế hệ thống, đưa ra các giao diện chính của hệ thống như: giao diện tổng thể, giao diện chức năng, giao diện các tools công cụ, các form chức năng. Sau cùng, đưa ra mô hình của bộ chương trình phần mềm thử nghiệm tương ứng và đánh giá kết quả thử nghiệm
Một số phương pháp khai phá dữ liệu quan hệ trong tài chính và chứng khoán (mô hình Arima)
Keywords: Tài chính, Chứng khoán, Mô hình Arima, Kinh tế

Bài toán dự báo tài chính ngày càng được nhiều người quan tâm trong bối cảnh phát triển kinh tế xã hội. Đầu tư vào thị trường chứng khoán đòi hỏi nhiều kinh nghiệm và hiểu biết của các nhà đầu tư. Các kĩ thuật khai phá dữ liệu được áp dụng nhằm dự báo sự lên xuống của thị trường là một gợi ý giúp các nhà đầu tư có thể ra quyết định giao dịch. Mô hình ARIMA được xây dựng với chức năng nhận dạng mô hình, ước lượng các tham số và đưa ra kết quả dự báo dựa trên các tham số ước lượng đã được lựa chọn một cách tối ưu. Khóa luận nghiên cứu, thi hành mô hình ARIMA (từ các nghiên cứu của Box Jenkins) và ứng dụng vào bài toán khai phá dữ liệu chuỗi thời gian trong dự báo tài chính, chứng khoán. Khóa luận đã thực nghiệm trên dữ liệu vnIndex và đã thu được kết quả bước đầu.
Đọc nhiệt độ từ cảm biến DHT11 bằng Arduino và hiển thị trên web bằng Raspberry Pi và 1 số ứng dụng liên quan tới môn học
Keywords: Cảm biến, Kỹ thuật điện tử

Để thực hiện toàn bộ chương trình ta cần chuẩn bị: - Raspberry Pi 3 - Arduino Uno R3 - Cảm biến DHT11 - Đèn Led