VictorJuiz/thesis huggingface dataset:
Nghiên cứu về phân tích chương trình và ứng dụng trong giảng dạy
Keywords: Phân tích chương trình, giảng dạy

Chương một là Kiến thức cơ sở về phân tích chương trình. Chương này, tôi sẽ giới thiệu khái quát về phân tích chương trình, các ứng dụng, các kỹ thuật và một số công cụ phân tích chương trình đã có. Chương hai là Cây cú pháp trừu tượng (abstract syntax tree – AST). Chương này, tôi sẽ trình bày về cây cú pháp trừu tượng. Tôi sẽ nêu lên ứng dụng của cây cú pháp trừu tượng, đặc biệt là trong việc mô tả mã nguồn java phục vụ cho việc so sánh hai chương trình tương tự. Chương ba là các đơn vị đo phần mềm (Software metrics). Chương này, tôi sẽ trình bày sơ lược về các đơn vị đo phần mềm sử dụng trong đánh giá phần mềm. Tôi sẽ trình kỹ hơn về một đơn vị đo phần mềm là Cyclomatic complexity. Chương bốn là Bài toán ứng dụng trong giảng dạy. Chương này tôi sẽ mô tả bài toán để có thể ứng dụng trong giảng dạy cũng như các phương pháp, các công thức để giải bài toán này. Chương năm là Thực nghiệm. Chương này tôi sẽ trình bày về cách thức cài đặt cũng như kết quả cài đặt hệ thống đánh giá chương trình của sinh viên mà tôi đã đặt ra ở chương bốn
Đánh giá yêu cầu tài nguyên mạng của ứng dụng Video Conference
Keywords: Ứng dụng Video Conference, tài nguyên mạng

Chương 1:Tổng quan về truyền thông đa phương tiện và ứng dụng Video Conference. Chương 2: Các cơ chế làm tăng chất lượng dịch vụ ứng dụng truyền thông đa phương tiện. Chương 3: Các mô hình đảm bảo chất lượng dịch vụ cho truyền thông đa phương tiện. Chương 4: Đánh giá yêu cầu tài nguyên mạng của ứng dụng Video Conference bằng mô phỏng
Giải pháp chống tấn công giao thức định tuyến AODV trong mạng MANET
Keywords: AODV, mạng MANET, giao thức định tuyến

Giới thiệu mạng MANET, các thách thức an ninh, các mối đe dọa an ninh và một số giải pháp an ninh đã được nghiên cứu. Chương 2: Giải pháp chống tấn công giao thức định tuyến AODV trong mạng MANET. Chương 3: Cài đặt mô phỏng, đánh giá hiệu suất của giao thức AODVLV
Nghiên cứu một số kỹ thuật chiếu sáng trong trưng bày ảo
Keywords: Kỹ thuật chiếu sáng, trưng bày ảo

Chương 1:Tổng quan về trƣng bày ảo và chiếu sáng trong trưng bày . Nội dung chính của “Chương 1” là những vấn đề cơ bản về thực tại ảo , trưng bày ảo và các thành phần của trƣng bày ảo , đồng thời nội dung của “ Chương 1 ” cũng đề cập đến một số các phương pháp sử dụng ánh sáng trong trƣng bày thật, thực trạng chiếu sáng trong bảo tàng ở Việt Nam là cơ sở cho việc chiếu sáng trong trưng bày ảo. Chương 2:“kỹ thuật chiếu sáng trong trưng bày ảo ” . Đây là nội dung chính của luận văn, nó tập trung trình bày các phương pháp xử lý ánh sáng trong thực tại ảo, các mô hình ánh sáng, các vấn đề liên quan đến xử lý ánh sáng như bóng đổ tạo cảm giác như chiếu sáng ngoài đời thực. Chương 3: Chương trình thử nghiệm. Trong chương này, học viên trình bày kết quả thử nghiệm “Bảo tàng Nhân Học – Trưng bày ảo”. Đây là một sản phẩm thể hiện những kết quả đã được trình bày, tổng hợp trong luận văn.
Khai phá dữ liệu vết duyệt Web cho tư vấn cá nhân hóa
Keywords: Khai phá dữ liệu, Web, tư vấn cá nhân hóa

Luận văn hướng tới xây dựng một mô hình hệ tư vấn nội dung trên các trang web tiếng Việt, đưa ra gợi ý các URL (trang web thành phần) có nội dung được coi là phù hợp với từng cá nhân người dùng nhất, dựa trên phân tích vết duyệt web của người dùng
Đánh giá dung lượng MANET theo số nút và độ linh động của nút
Keywords: Dung lượng MANET, Công nghệ thông tin

Luận văn đã trình bày kiến thức cơ sở và chuyên sâu về mạng MANET với trọng tâm là các kết quả nghiên cứu về dung lượng của mạng MANET. Đi đôi với sự phát triển nhanh chóng của mạng không dây là nhu cầu kết nối mọi lúc mọi nơi kể cả trong khi di chuyển đặt ra yêu cầu giải quyết được các vấn đề về dung lượng của mạng MANET khi phát triển số nút trong mạng và sự linh động của các nút trong mạng MANET. Đây là vấn đề khó và quan trọng trong hoạt động của loại mạng này.
Ứng dụng các mô hình chủ đề ẩn vào mô hình phân hạng lại dòng cập nhật trên mạng xã hội Twitter
Keywords: Mô hình chủ đề ẩn, mô hình phân hạng lại dòng cập nhật, mạng xã hội Twitter

Twitter là một trong những mạng xã hội phát triển mạnh với đông đảo thành viên. Khái niệm “vòng kết nối” của mỗi người dùng được định nghĩa là tập hợp các bạn bè của người dùng đó. Vòng kết nối càng lớn, lượng tin(dòng cập nhật) gửi tới trang nhà (timelines) của người dùng sẽ càng nhiều .Theo nghiên cứu của Liangjie và cộng sự (2012), người dùng có thể mất khá nhiều thời gian với các dòng cập nhật vô ích.Nhằm tư vấn và giảm thiểu thời gian lãng phí cho người dùng, giải pháp xếp hạng dòng cập nhật trên mỗi trang của người dùng là một chủ đề nghiên cứu được quan tâm .Nói cách khác, bài toán Xếp hạng dòng cập nhật được chú trọng.Đây chính là bài toán trọng tâm của luận văn
Các kỹ thuật xử lý ngôn ngữ trong số hóa văn bản tiếng Việt của hệ thống FSCANNER
Keywords: Hệ thống FSCANNER, kỹ thuật xử lý ngôn ngữ, số hóa, văn bản tiếng Việt

Tổng quan về bài toán xử lý ngôn ngữ trong số hóa văn bản tiếng Việt. Các kỹ thuật xử lý ngôn ngữ trong số hóa văn bản tiếng Việt, Đưa ra thực nghiệm và đánh giá
Đánh giá trạng thái, cảm xúc của người học khi tham gia hệ thống E - learning
Keywords: E - learning, Công nghệ thông tin

Chương 1: Nghiên cứu các hệ thống E-learning và các hệ thống linh động theo phản hồi của ngƣời dùng. Chương 2: Mô hình điều chỉnh nội dung học khi tham gia hệ thống E-learning.Chương 3: Thực nghiệm: Xây dựng phần mềm kiểm tra tính hiệu quả của mô hình điều chỉnh qua việc kiểm tra trực tiếp học sinh.
Nghiên cứu và xây dựng hệ thống xác định khuôn mặt chung nhất trong tập ảnh số
Keywords: Công nghệ thông tin, hệ thống xác định khuôn mặt chung, tập ảnh số

Chương 1: Tổng quan, giới thiệu và phát biểu bài toán, nêu một số hướng tiếp cận trong việc phát hiện khuôn mặt trong ảnh. Chương 2: Cơ sở lý thuyết, giới thiệu cơ sở lý thuyết một số phương pháp liên quan trong bài toán. Chương 3: Xây dựng hệ thống, trình bày về xây dựng hệ thống giải quyết bài toán.Chương 4: Thử nghiệm và kết quả đạt được, trình bày về cơ sở dữ liệu thực nghiệm và kết quả thử nghiệm, đánh giá thử nghiệm
Một mô hình tìm kiếm vai trò trong mạng xã hội Twitter
Keywords: Công nghệ thông tin, mô hình tìm kiếm, mạng xã hội Twitter

Luận văn tập trung nghiên cứu một mô hình tìm kiếm vai trò trong mạng xã hội Twitter và thực nghiệm tìm kiếm 3 vai trò: người nổi tiếng, người vận động quảng bá, người khởi tạo ý tưởng trong truyền tin. Luận văn đề nghị một mô hình tìm kiếm ba vai trò trên với một số biến thể từ mô hình của Vanesa Junquero-Trabado và cộng sự : (i) bổ sung đặc trưng số lượng retweet của người dùng; (ii) sử dụng thuật toán K-mean suy rộng [10] thay vì sử dụng thuật toán K-mean; (iii) sử dụng phương án chuẩn hóa tốt nhất (chuẩn hóa Max/Min) mà không xem xét các phương án khác; (iv) không thực hiện mở rộng tập mồi (seed) sau khi gán vai trò. Luận văn thi hành phần mềm thử nghiệm mô hình và tiến hành thực nghiệm trên bộ dữ liệu tại Đại học Stanford. Kết quả thực nghiệm cho độ đo F-measure trung bình là 81.1%. Kết quả trên cho thấy phương pháp tìm kiếm vai trò trong mạng xã hội Twitter được luận văn đề xuất và triển khai là khả quan, có khả năng ứng dụng trong thực tế
Các kỹ thuật kiểm thử phần mềm nhúng và ứng dụng
Keywords: Phần mềm nhúng, kỹ thuật kiểm thử

Chương 1: Trình bày tổng quan về kiểm thử phần mềm. Chương 2: Nghiên cứu các kỹ thuật kiểm thử phần mềm nhúng. Chương 3: Tiến hành thực nghiệm kiểm thử phần mềm điều khiển chuẩn cho mô-đun flash của mạch MKL46Z256.
Một số thuật toán khai phá luật quyết định trên cơ sở dữ liệu di động
Keywords: Công nghệ thông tin, thuật toán, cơ sở dữ liệu di động

Luận văn đã tìm hiểu các kiến thức chung về khai phá dữ liệu, tập thô và các định nghĩa cơ bản để giúp khai phá các luật có ý nghĩa.Luận văn đã tìm hiểu và trình bày đƣợc thuật toán tiếp cận gia tăng ma trận độ hỗ trợ với hệ thống thông tin đầy đủ có tập thuộc tính thay đổi (được làm thô và làm mịn) và có đánh gia độ phức tạp tính toán theo thời gian.Luận văn đã tìm hiểu và trình bày đƣợc hai thuật toán theo hƣớng tiếp cận gia tăng khi hệ thông thông tin đầy đủ có tập đối tượng thay đổi (bổ sung/ loại bỏ đối tượng ra khỏi hệ thống). Thuật toán thứ nhất : Tính toán gia tăng ma trận độ chính xác và độ phủ được đề xuất bởi Liu. Thuật toán thứ hai : Tính toán gia tăng ma trận độ hỗ trợ được đề xuất bởi TS. Nguyễn Quang Khanh. Hai thuật toán được đánh giá độ phức tạp và có sự so sánh.
Nghiên cứu một số phương pháp thủy vân bền vững dựa trên các biến đổi ma trận SVD và QR
Keywords: Phương pháp thủy vân, Ma trận SVD và QR

Chương 1: trình bày tổng quan về các kiến thức cơ bản về ảnh số, một số phép biến đổi ma trận, khái niệm về giấu tin và thủy vân số. Chương 2: trình bày các kết quả nghiên cứu về thủy vân số dựa trên các phép biến đổi SVD và QR đã được công bố và đề xuất hai lược đồ thủy vân mới sử dụng biến đổi QR.Chương 3 trình bày các phân tích,đánh giávà so sánh giữa các lược đồ thủy vân đã trình bày trong chương 2.Đồng thời tác giả cũng đưa ra kết quả chương trình thử nghiệm cho các lược đồ trên.
Ứng dụng kỹ thuật OLAP trong khai phá dữ liệu sinh viên tại Học viện Ngân hàng
Keywords: Ứng dụng kỹ thuật OLAP, khai phá dữ liệu, Học viện Ngân hàng

Chương 1.Phần này giới thiệu một cách tổng quát về quá trình phát hiện tri thức nói chung và khai phá dữ liệu nói riêng.Chương 2.Giới thiệu về kỹ thuật OLAP, chương này trình bày một cách tổng thể về các khái niệm OLAP, kiến trúc OLAP, qui trình triển khai kỹ thuật OLAP, và cách thức khai thác dữ liệu. Liên quan đến tìm hiểu kỹ thuật OLAP trong SQL Server, chương này trình bày giải pháp công nghệ kho dữ liệu và kỹ thuật OLAP của Microsoft, mà đặc biệt là của SQL Server 2008. Ngoài ra cũng trình bày một số công cụ được sử dụng
Xây dựng phương pháp thu thập và phân tích số liệu lỗi cấu hình mạng máy tính
Keywords: Máy tính, cấu hình mạng, phân tích số liệu

Chương 1: Tổng quan về an ninh mạng. Chương 2: Khảo sát một mạng máy tính điển hình. Chương 3: Phương pháp thu thập cấu hình. Chương 4: Phương pháp đánh giá cấu hình. Chương 5: Kết luận và hướng phát triển.
Một số kỹ thuật nắn chỉnh biến dạng đối tượng 3D
Keywords: Kỹ thuật nắn chỉnh biến dạng, 3D

Chương 1: Chương này sẽ trình bày khái quát về đối tượng 3D, mô hình 3D và bài toán nắn chỉnh.Chương 2: Chương này sẽ trình bày chi tiết về ba kỹ thuật được sử dụng trong nắn chỉnh đối tượng 3D. Chương 3: Chương này trình bày về việc ứng dụng kỹ thuật nắn chỉnh dựa vào hàm cơ sở bán kính (RBF) trong bài toán “Khôi phục diện mạo khuôn mặt người Việt trưởng thành từ hình thái xương sọ”
Công nghệ truyền tải bước sóng 100 Gbps
Keywords: Công nghệ truyền tải, bước sóng 100 Gbps

Chương 1: Công nghệ truyền tải bước sóng 100 Gbps. Chương 2: Kỹ thuật nghệ điều chế và sửa lỗi trong truyền tải bước sóng 100 Gbps. Chương 3: Đánh giá ảnh hưởng của khoảng cách đường truyền lên công nghệ truyền tải bước sóng 100 Gbps
Xây dựng khung đàm phán chất lượng dịch vụ cho dịch vụ Web
Keywords: Khung đàm phán chất lượng dịch vụ, dịch vụ Web

Chương 1 trình bày tổng quan về dịch vụ Web, kiến trúc của dịch vụ Web, mô hình phân tầng trong dịch vụ Web, các phương pháp tiếp cận xây dựng dịch vụ Web kết hợp.Chương 2 trình bày về chất lượng dịch vụ trong dịch vụ Web, các thuộc tính chất lượng dịch vụ, các phương pháp cung cấp chất lượng dịch vụ. Vấn đề đám phán trong dịch vụ Web như chính sách đàm phán, giao thức đàm phán, thông điệp đàm phán cũng được trình bày trong chương này.Chương 3 trình bày tổng quan về Axis2,các đặc điểm của Axis 2, giới thiệu các mô đun trong Axis2 bao gồm: mô đun xử lý XML, mô đun thông tin, mô đun xử lý thông điệp SOAP, mô đun triển khai, mô đun client API.Các mô đun này là 2 những thành phần chính trong kiến trúc Axis2. Mỗi mô đun có một chức năng nhiệm vụ riêng và chúng liên kết với nhau tạo thành hệ thống trong Axis2.Chương 4 đưa ra mô hình khung đàm phán chất lượng dịch vụ dịch vụ Web, các dịch vụ được triển khai trên Axis2, cài đặt thử nghiệm bằng ngôn ngữ Java và sử dụng các thư viện của Axis2
Nghiên cứu, xây dựng hệ đo cảnh báo ô nhiễm không khí trong tòa nhà
Keywords: Hệ đo cảnh báo ô nhiễm, Ô nhiễm không khí

Luận văn này đã xây dựng được 1 hệ thống hoàn thiện mạng cảm biến không dây ở đó mỗi nút mạng được tích hợp cảm biến nhiệt độ và cảm biến đo khí. Hệ thống vẫn có thể hoạt động trong tình huống có sự cố điện (luận văn cho phép tính toán năng lượng tiêu thụ từ đó tính toán thời gian sống của một nút mạng). Dữ liệu từ mạng cảm biến không dây được đưa lên webserver mà ở đó người quản trị có thể giám sát an toàn không khí trong tòa nhà ở bất cứ chỗ nào có thể truy cập internet. Hệ thống đã được triển khai thực nghiệm cho kết quả khả quan
Nhận diện các dạng bề mặt phục vụ phân loại vật thể sử dụng Camera RGB-D
Keywords: Camera RGB-D

Trình bày phương pháp nhận diện bề mặt các vật thể sử dụng đám mây điểm thu thập từ camera RGB-D. Các bước thực hiện gồm có tiền xử lý bao gồm phân đoạn, giảm mẫu, lọc bớt nhiễu. Dữ liệu sau đó được tính toán trích xuất đặc trưng điểm và dùng mô hình SVM để nhận diện, phân loại bề mặt vật thể theo các bề mặt hình học trong không gian 3D như mặt cầu, mặt trụ, mặt phẳng và cạnh.Chương trình được viết trên ngôn ngữ C++ và thử nghiệm với dữ liệu đám mây điểm không nhiễu và có nhiễu. Kết quả chương trình có thể nhận dạng được các bề mặt đã biết. Luận văn cũng đã trình bày kết quả thử nghiệm, đánh giá về hiệu năng của chương trình khi thay đổi các thông số trong quá trình xử lý
Nghiên cứu phát triển cảm biến điện dung vi lỏng phát hiện tế bào sống A549
Keywords: Cảm biến điện dung vi lỏng, tế bào sống A549

Nghiên cứu, thiết kế, cảm biến điện dung vi lỏng dựa trên công nghệ vi cơ lỏng. Mô phỏng hoạt động cảm biến điện dung vi lỏng phát hiện tế bào ung thư phổi A549. Xây dựng quy trình chế tạo thử nghiệm và đo thử hệ thống kênh dẫn vi lỏng tích hợp cảm biến điện dung dựa trên công nghệ vi chế tạo và vật liệu polymer tương thích sinh học
Phát triển thuật toán nội suy nhằm tăng cường chất lượng Video trong 3D-HEVC
Keywords: Thuật toán nội suy, 3D-HEVC, Video

Luận văn nghiên cứu các vấn đề về 3DTV, TV, các phần mềm tham chiếu, cài đặt thuật toán Hole filling SWA (Spiral weighted average algorithm) và cuối cùng so sánh hiệu suất so với các thuật toán Hole filling khác
Nghiên cứu và phân tích bộ mã hóa video dùng cho mạng Sensor
Keywords: Bộ mã hóa video, Mạng Sensor

Chương 1 giới thiệu về các kỹ thuật được sử dụng trong bộ mã hóa video dự đoán truyền thống. Chương 2 tóm tắt qua phần cơ sở lý thuyết của bộ mã hóa video phân tán, cụ thể là hai định lý lepian -Wolf và Wyner-Ziv. Tiếp theo, chương 3: trình bày và phân tích hai hướng xây dựng bộ mã hóa video phân tán trong thực tế, đề xuất bởi hai nhóm nghiên cứu tại trường đại học Stanford và đại học Berkeley. Chương 4 trình bày kết quả so sánh hiệu quả nén và độ phức tạp mã hóa của mô hình mã hóa video phân tán DVC
Phương pháp xác định chuyển động dựa trên đặc tính của mắt người đối với thành phần xám trong việc loại bỏ dư thừa về mặt thời gian của mã hóa video MJPEG
Keywords: Phương pháp xác định chuyển động, mã hóa video MJPEG

Ngày này chúng ta đang trong thời kỳ hậu PC, dần tiến đến thời kỳ mạng internet kết nối vạn vật (IoT - Internet Of Things) và tính toán phân tán rộng khắp (ubicomp). Trong thời đại IoT, camera sẽ được lắp đặt với một số lượng lớn trong các mạng cảm biến không dây. Khi đó, các camera sẽ đóng vai trò như đôi mắt của IoT và thực hiện các hoạt động an ninh, giám sát. Tuy nhiên, do đặc tính giới hạn về năng lực tính toán, năng lượng và băng thông của các camera trong mạng cảm biến không dây mà không thể áp dụng các phương pháp nén video tiên tiến. Những mã hóa video đòi hỏi các hệ thống năng lực tính toán và nguồn năng lượng lớn. Trong nội dung luận văn, học viên đã nghiên cứu và phân tích các chuẩn mã hóa video cùng với đặc tính của hệ thống thị giác của con người. Qua đó, học viên đề xuất một phương pháp mã hóa video áp dụng cho các mạng cảm biến không dây: “Phương pháp xác định chuyển động dựa trên đặc tính của mắt người đối với thành phần xám trong việc loại bỏ dư thừa về mặt thời gian của mã hóa video MJPEG ” . Mô hình nén video được đề xuất trong luận văn bao gồm các giai đoạn như sau: phân tách chuyển động, mã hóa khối tĩnh - động, giải mã khung tham chiếu. Phân tách chuyển động được thực thi dựa trên đặc tính của mắt người trong việc nhận biết và phân tách các màu xám. Mã hóa khối tĩnh - động bao gồm hai phần mã hóa các khối tĩnh và các khối động. Mã hóa các khối động được thực hiện tương tự như mã hóa các khối bình thường trong mã hóa JPEG. Mã hóa các khối tĩnh dựa trên đặc tính sai khác bằng không mà thực hiện rút gọn các bước không cần thiết: DCT, lượng tử hóa. Phần giải mã khung tham chiếu nhằm đảm bảo dữ liệu tham chiếu của hai phần mã hóa và giải mã giống nhau. Thực tế, giải mã khung tham chiếu chỉ bảo gồm giải mã các khung động. Phương án đề xuất đảm bảo được tính đơn giản nhưng hiệu quả trong việc tăng tỷ lệ nén của mã hóa MJPEG. Với chất lượng video sau mã hóa tương đương, phương pháp đề xuất có thể đạt tỷ lệ nén gấp đôi so với MJPEG truyền thống và luôn cao hơn so với các phương pháp loại bỏ dư thừa thời gian đã được nêu trong luận văn: nén sai khác MJPEG, MJPEG với thuật toán xác định chuyển động Zipfian. Về mặt độ phức tạp, phương án đề xuất sử dụng một lượng phép tính ít gấp 3 lần so với phương án áp dụng MJPEG với thuật toán xác định chuyển động Zipfian. Điều này đảm bảo phương án đề xuất có thể đạt được tốc độ mã hóa cao hơn so với các phương án mã hóa xây dựng từ MJPEG được đề cập cho các video tồn tại ít chuyển động. Về mặt khả năng ứng dụng, mã hóa đề xuất hoàn toàn phù hợp cho các camera trong mạng cảm biến không dây bởi mã hóa đề xuất có độ phức tạp thấp và cho phép linh động GOP
Thiết kế, chế tạo bộ khuếch đại tạp âm thấp với cơ chế bảo vệ dùng cho Radar sóng Centimet
Keywords: Bộ khuếch đại tạp âm thấp, Radar sóng Centimet

Chương 1: Tổng quan về hệ thống Radar. Chương 2: Cơ sở lý thuyết về kỹ thuật siêu cao tần. Chương 3: Bộ khuếch đại tạp âm thấp và cơ chế bảo vệ.Chương 4: Thiết kế, mô phỏng và thực thi mạch
Các kỹ thuật SAT Solving
Keywords: Kỹ thuật SAT Solving, Kỹ thuật phần mềm

Chương 1 sẽ được giới thiệu về các vấn đề cơ bản như Lôgic mệnh đề, bài toán SAT, các SAT Solver và ứng dụng của phương pháp SAT Encoding. Chương 2 sẽ trình các kỹ thuật SAT solving cơ bản bao gồm thủ tục DPLL, và các kỹ thuật áp dụng trong DPLL như: CDCL, Back Jumping, 2 Watched literals, Clause Elimination. Chương 3 trình bày các kỹ thuật SAT Solving tiên tiến hiện nay, những kỹ thuật đang được cài đặt trong các SAT solver mạnh trên thế giới như GlueMinisat, Glucose.Chương 4 tiến hành thực nghiệm so sánh và đánh giá 3 SAT Solver trên bộ dữ liệu chuẩn của cuộc thi SAT ompetition hàng năm
Chẩn đoán vết nứt trong thanh bằng tần số riêng
Keywords: Chẩn đoán vết nứt, tần số

Chương 1: trình bày cơ sở lý thuyết dao động dọc trục của thanh có vết nứt,thiết lập phƣơng trình tần số cho dao động dọc trục của thanh có nhiều vết nứt với điều kiện biên tổng quát.Chương 2: trình bày nội dung bài toán chẩn đoán vết nứt trong thanh bằng tần số riêng; phương pháp dò tìm vết nứt và đƣa ra một quy trình chẩn đoán vết nứt bằng tần số riêng.Chương 3:trình bày các kết quả tính toán bằng số và thảo luận.
Mô hình ngôn ngữ sử dụng Mapreduce
Keywords: Mô hình ngôn ngữ, Mapreduce

Chương 1: trình bày các khái niệm cơ bản phục vụ cho đề tài. Chương này sẽ trình bày các kiến thức cơ bản về mô hình ngôn ngữ, mô hình N-gram, các phương pháp làm mịn và các độ đo dùng để đánh giá mô hình ngôn ngữ . Chương 2 trình bày các kiến thức cơ bản về Hadoop và MapReduce, giới thiệu về kiến trúc của Hadoop, MapReduce cũng như cơ chế làm việc củ a chúng. Chương 3 sẽ trình bày về việc ứng dụng Hadoop và MapReduce vào mô hình ngôn ngữ. Chương 4 giới thiệu về công cụ thực nghiệm và kết quả thực nghiệm.
Nghiên cứu ảnh hưởng của hình dáng thân vỏ đến đặc tính khí động học của đoàn xe chở Container
Keywords: Đặc tính khí động học, Xe chở Container

Phân tích kết quả thu được từ việc tính mô phỏng lực cản khí động tác động lên đoàn xe nguyên bản, tác giả đã đề xuất một số thay đổ i hình dáng cho thượng tầng cabin của đoàn xe, thân xe và một số thay đổi vị trí, khoảng cách đặt container 20 feet so với cabin, sử dụng phần mềm chuyên dụng Ansys-Fluent để mô phỏng quá trình chuyển động của đoàn xe khi đã có thay đổi hình dáng tại tốc độ khai thác để xác định lực cản khí động cùng các đặc tính khí động của xe sau khi đã thay đổi hình dáng theo đề xuất.
Thiết kế bộ lọc Kalman để tính toán ước lượng đường di chuyển của thiết bị khảo sát
Keywords: Bộ lọc Kalman, Kỹ thuật điện, Điện tử và viễn thông

Tìm ra một giải pháp định vị tốt hơn trong trường hợp không có hệ thố ng định vị sóng âm, hoặc hệ thống đó hoạt động không tốt, sử dụng các thông tin về chuyển động từ các cảm biến gắn trên thiết bị kéo theo tàu.
Các phương pháp tấn công chữ ký số: RSA,ELGAML,DSS
Keywords: Khoa học công nghệ, Phương pháp tấn công chữ ký số

Chương 1. Trình bày một số khái niệm cơ bản Chương 2. Tìm hiểu các phương pháp tấn công chữ ký số Chương 3 . Xây dựng thư viện tính toán số lớn Chương 4. Thử nghiệm chư ơng trình tấn công
Mô phỏng tính toán quá trình hình thành khoang hơi quanh vật thể chuyển động trong nước
Keywords: Khoang hơi, Vật thể chuyển động trong nước

Bước đầu nghiên cứu tổng quan các vấn đề lý thuyết liên quan đến sự hình thành khoang hơi khi vật chuyển động trong chất lỏng.Đi sâu tìm hiểu về mô phỏng số hiện tượng khoang hơi.Tìm hiểu các mô hình và phương pháp giải trong ANSYS Fluent. Sử dụng Fluent để mô phỏng bài toán vật thể chuyển động trong nước. Sau đó, tổng hợp các kế t quả để phân tích các ảnh hưởng liên quan đến sự hình thành khoang hơi. So sánh với các kết quả đã được công bố để tạm thời đưa ra mô hình và hình dạng đầu vật thể tối ưu nhất cho thiết kế vật thể chuyển động trong nước
Nghiên cứu thiết kế và chế tạo cảm biến tụ phẳng
Keywords: Cảm biến tụ phẳng, Kỹ thuật điện, điện tử và viễn thông

Chương 1: Tổng quan về thuyết cảm biến điện dung.Chương 2: Cấu trúc C4D và phương pháp phát hiện vật thể trên kênh chất lỏng. Chương 3: Cảm biến tụ phẳng vớivi kênh chất lỏng .Chương 4: Kết quả và thảo luận
An eficient method for automated control flow testing of programs
Keywords: Công nghệ thông tin, Dòng chảy tự động, Automated Testing, Control flow testing, black-box testing, White-box testing

The main goals of software testing are to reveal bugs and to ensure that the system being developed complies with the customer’s requirements. To make testing effective, it is recommended that test planning/development begin at the onset of the project. Software testing techni ques can be divided into approaches : black - box and w hite - box techniques. Black - box testing is mainly a validation technique that checks to see if the product meets the customer’s require ments. On the other hand, white - box testing is a verification technique which uses the source code to guide the selection of test data. Currently, software companies focus only on the black - box testing techniques in order to validate because White - box te sting very expensive , slow and it requires the tester have knowledge of code . In addition, implementing blac k - box and white - box testing separately make s white - box testing becomes more inefficient. This thesis presents a me thod for automated control flow testing of unit programs to sol v e the problems . The key idea o f this method is to combine the black - box and white - box techniqu es i n order to minimize the complex ity of white - box testing. Instead of per forming black - box and white - box separately, the proposed method uses the test inputs that are gener ated by black - box to reduce searching space of white - box testing. The method then continually eliminates arcs in remaining space to find non - duplicated test paths. Therefore, the pro posed method is able to operate white - box testing with less effort than the current method