VictorJuiz/thesis huggingface dataset:
Nghiên cứu gợi ý Api trong mã nguồn Java
Keywords: Java, Kỹ thuật phần mềm

Hiện nay, API là một công cụ hữu ích cho các nhà phát triển phần mềm để tích hợp các chức năng từ các thư viện bên thứ ba vào ứng dụng của họ. Nó cung cấp một tập hợp các hàm, lớp, phương thức hoặc giao thức được định nghĩa sẵn mà các nhà phát triển có thể sử dụng để truy cập các tính năng hoặc dữ liệu của một hệ thống hoặc thư viện bên ngoài. API đóng vai trò là cầu nối giữa các thành phần phần mềm khác nhau, cho phép chúng giao tiếp và trao đổi dữ liệu hiệu quả. Tuy nhiên, việc sử dụng các API không phải lúc nào cũng dễ dàng, để sử dụng các API một cách chính xác, nhà phát triển cần phải học kỹ tài liệu API và tìm kiếm các đoạn mã mẫu để hiểu cách sử dụng chúng. Nhằm hỗ trợ các nhà phát triển gọi API một cách nhanh chóng và hiệu quả, luận văn này giới thiệu MFLUTE, một phương pháp mới khai thác phân tích chương trình và ứng dụng mô hình ngôn ngữ thống kê để đề xuất các lời gọi API trong mã nguồn Java. Cụ thể, ứng với một đoạn mã chưa hoàn thành (ngữ cảnh), MFLUTE sử dụng các kỹ thuật phân tích chương trình để phân tích ngữ cảnh và tạo ra một danh sách các ứng viên API tiềm năng. Sau đó, công cụ sẽ sử dụng một mô hình ngôn ngữ để xếp hạng và đề xuất những cái có triển vọng nhất. Kết quả thử nghiệm của luận văn trên một bộ dữ liệu lớn của các dự án thực tế cho thấy MFLUTE có thể đề xuất gọi API chính xác với độ chính xác Top-1 là 71.34%. Hơn nữa, MFLUTE có thể cải thiện lên đến 12% về độ chính xác của các lời gọi đề xuất so với nghiên cứu tốt nhất hiện nay.
Cải tiến phương pháp sinh dữ liệu kiểm thử tự động từ mã nguồn
Keywords: Ngôn ngữ lập trình, Kiểm thử tự động

Kiểm thử phần mềm tự động được biết đến như là một trong những giải pháp quan trọng nâng cao chất lượng phần mềm, giảm thời gian và công sức của kiểm thử viên. Trong quá trình kiểm thử phần mềm, việc tự động sinh các bộ dữ liệu kiểm thử đạt độ phủ cao, có khả năng tìm lỗi với thời gian thực thi thấp là mục tiêu cần hướng đến. Luận án nghiên cứu tự động sinh dữ liệu kiểm thử từ mã nguồn và đã đạt được ba kết quả chính như sau. Luận án đề xuất phương pháp SDART - là cải tiến phương pháp DART với hai cải tiến. Cải tiến thứ nhất có mục đích giảm số lượng dữ liệu kiểm thử, giảm thời gian sinh dữ liệu kiểm thử qua việc cải thiện chiến lược tìm đường thi hành. Phương pháp này thay chiến lược tìm đường thi hành của DART bằng chiến lược tìm đường thi hành theo chiều rộng kết hợp với phân tích tĩnh. Cải tiến thứ hai mở rộng trình điều khiển kiểm thử tổng quát từ C sang C++ để hỗ trợ kiểm thử dự án C++. Sau khi cải tiến, độ phủ mã nguồn được tăng lên. Công cụ hỗ trợ và các kết quả thực nghiệm đã minh chứng cho tính đúng đắn và tính hiệu quả của phương pháp SDART. Luận án đề xuất phương pháp sinh dữ liệu kiểm thử tự động từ mã nguồn cho các dự án C/C++ sử dụng đồ thị dòng điều khiển có trọng số và phương pháp sinh dữ liệu kiểm thử từ các giá trị biên. Các phương pháp được đề xuất bao gồm phương pháp WCFT sinh dữ liệu kiểm thử từ CFG trọng số; phương pháp sinh dữ liệu kiểm thử tại biên BVTG và IBVTG; phương pháp kết hợp Hybrid là sự kết hợp WCFT và IBVTG để sinh dữ liệu kiểm thử với chi phí thời gian thấp và có khả năng phát hiện lỗi tại biên. Luận án đề xuất phương pháp tự động giả lập đơn vị mã nguồn (AS4UT) để sinh dữ liệu kiểm thử cho các hàm có chứa lời gọi hàm đến các hàm khác. Phương pháp này xem mỗi lời gọi hàm trong hàm cần kiểm thử là một biến giả lập và được thực hiện ở pha tiền xử lý CFG. Kết quả thực nghiệm cho thấy phương pháp này sinh ít bộ dữ liệu kiểm thử nhưng lại có độ phủ mã nguồn cao hơn phương pháp kiểm thử Concolic. Phương pháp AS4UT có khả năng ứng dụng cao trong thực tế vì ta có thể thực hiện đồng thời giai đoạn kiểm thử đơn vị và giai đoạn lập trình.
Algorithms and Hardware Architectures for high efficient Spiking Neural Networks = Các thuật toán và kiến trúc phần cứng cho Mạng thần kinh tăng tốc hiệu quả cao
Keywords: Mạng thần kinh, Điện tử học

This thesis aims to propose efficient solutions to the above mentioned challenges. High efficient implementation of SNN on embedded platform requires a novel design for the basic neuron. We first propose a novel digital design for the Integrate-and-Fire neuron. The design must meet the criteria of being low-cost in terms of area, hence we can scale up the hardware design for larger system. To demonstrate the efficiency at a system level, we use this neuron as the core to implement a small scale, fixed 3-layers SNN network in hardware. To further improve the efficiency of the system, we then propose a novel algorithm that results in SNN network with weights in ternary format, hence reducing the memory storage requirement. We then tackle the second challenges with a novel max-pooling method for Convolutional SNNs. The dissertation covers the following key contributions: • As a first step, we proposed a simple digital design for the Integrate-and-Fire neuron. We focus on minimizing the additional features on some current stateof-the-arts works, keeping only the integration and the reset mechanism. This has resulted in a compact design with up to × 3.2 reduction in terms of area cost. To verify the efficiency of the neuron at a system level, a novel hardware architecture to implement a fully connected, 3-layers SNN network for the MNIST application is also proposed. The SNN is trained with the ANN-to-SNN conversion method and the weights used a 10-bits fixed point format. This was published in work [C2] • A novel training algorithm for SNNs with ternary weights is proposed. Such networks are named Ternary Weight Spiking Neural Networks (TW-SNN). The goal is to reduce the memory requirements for storing trained network parameters. To demonstrate the energy efficiency of the method, a novel and dedicated hardware architecture for TW-SNN is also proposed. This was published in work [J2]. • A novel max-pooling method is proposed for Convolutional SNNs. The proposed max-pooling method guarantees the accuracy of the SNNs, while is easy to implement in hardware. This was published in work [C1]. The thesis is divided into four major chapters. In chapter 1, the dissertation gives a brief introduction to SNNs and the related foundation concepts of SNNs such as the neurons, the encoding of information and the training process of SNNs. A literature review on state-of-the-art SNNs training algorithms and hardware architecture is also presented
Nghiên cứu và xây dựng hệ thống cảnh báo trượt đất sử dụng mạng cảm biến không dây
Keywords: Kỹ thuật điện tử ; Mạng cảm biến không dây

Ứng dụng mạng cảm biến không dây WSN (Wireless Sensor Network) với các cột cảm biến phân bố trên sườn dốc để thu thập dữ liệu thời gian thực tham số sườn dốc. Nghiên cứu, đề xuất cải tiến nhóm giải pháp tiết kiệm năng lượng cho nút cảm biến và nâng cao độ ổn định của hệ thống phù hợp với điều kiện hoạt động cảnh báo trượt lở đất. Nghiên cứu, phát triển mô hình, giải thuật, nguyên tắc hoạt động của hệ thống cảnh báo và dự báo nguy cơ trượt lở đất do mưa. Xây dựng hệ thống quan trắc biến dạng sườn dốc, diễn biến điều kiện thủy văn trên mặt và trong thân dốc có nguy cơ trượt lở. Triển khai thử nghiệm hoạt động hệ thống trên thực địa.
Nghiên cứu chế tạo hạt nano Ag, Au và nanocomposite Au/TiO2 bằng phương pháp tương tác plasma - chất lỏng và khảo sát một số tính chất của chúng
Keywords: Vật liệu ; Linh kiện

Xây dựng hệ tương tác plasma chất lỏng để chế tạo các hạt nano bạc, nano vàng, nanocomposite Au/TiO2. Nghiên cứu tính chất quang, xúc tác quang, diệt khuẩn của chúng nhằm ứng dụng trong một số ngành kỹ thuật, y học và đời sống.
Đề xuất giải pháp xấp xỉ và chính xác của điều khiển lưu lượng và đảm bảo độ tin cậy cho chuỗi chức năng dịch vụ trong Ảo hóa chức năng mạng
Keywords: Mạng máy tính, Truyền thông dữ liệu, Công nghệ thông tin

Chương 1 trình bày cơ sở lý thuyết liên quan đến các vấn đề nghiên cứu của luận án bao gồm: Các kiến thức tổng quan về Ảo hóa chức năng mạng gồm công nghệ Ảo hóa và sự ra đời của Ảo hóa chức năng mạng, các đặc điểm của Ảo hóa chức năng mạng và dịch vụ mạng cũng như các thách thức nghiên cứu trong Ảo hóa các chức năng mạng; các khảo sát các nghiên cứu liên quan, trong đó tập trung đề cập đến các hướng nghiên cứu trong lĩnh vực Ảo hóa chức năng mạng và các phương pháp nghiên cứu nhằm đảm bảo hiệu năng mạng trong NFV liên quan trực tiếp đến các đề xuất sau này của luận án. Chương 2 đề xuất giải pháp điều khiển lưu lượng có xem xét sự đa dạng về loại dịch vụ và sự đa dạng về lưu lượng dữ liệu trong nhiều khoảng thời gian ứng dụng định tuyến đa đường cho lưu lượng dịch vụ nhằm đảm bảo hiệu năng mạng trong môi trường NFV. Luận án xây dựng mô hình toán học của bài toán và các giải thuật xấp xỉ. Cuối cùng là các kết quả thực nghiệm kiểm chứng tính hiệu quả của giải pháp đề xuất theo phân tích lý thuyết. Chương 3 đề xuất giải pháp triển khai dự phòng các chức năng mạng ảo hiệu quả về chi phí và đảm bảo độ tin cậy cho chuỗi chức năng dịch vụ trong điện toán biên có triển khai NFV. Cụ thể, luận án xây dựng mô hình toán học và các giải thuật hiệu quả của giải pháp đề xuất. Sau đó, tính hiệu quả của giải pháp đề xuất được kiểm chứng dựa trên các kết quả thực nghiệm.
Nghiên cứu phân loại và xây dựng bộ dữ liệu lớp phủ đô thị tại Việt Nam
Keywords: Hệ thống thông tin, Dữ liệu lớp phủ, Dữ liệu thông tin

Nghiên cứu, đánh giá các phương pháp biến đổi độ phân giải đối với dữ liệu đa nguồn trong bài toán phân loại lớp phủ đô thị tại Việt Nam. Các dữ liệu đầu vào đóng vai trò quan trọng đến kết quả phân loại lớp phủ đô thị, tuy nhiên các dữ liệu này được thu thập từ nhiều nguồn khác nhau nên có độ phân giải khác nhau, đòi hỏi phải được biến đổi về cùng một độ phân giải. Quá trình biến đổi độ phân giải sẽ ảnh hưởng đến chất lượng dữ liệu, vì vậy cần đánh giá các phương pháp biến đổi độ phân giải nhằm lựa chọn phương pháp phù hợp với từng loại dữ liệu. Nghiên cứu và cải tiến phương pháp phân loại lớp phủ đô thị của GLCNMO cho khu vực Việt Nam trên cơ sở lựa chọn dữ liệu và tính toán các ngưỡng phù hợp. Việc lựa chọn dữ liệu và ngưỡng phân tách chính xác ảnh hưởng rất lớn đến kết quả đầu ra. Vì vậy, các dữ liệu phải được lựa chọn và tiến hành tiền xử lý phù hợp, trong đó bao gồm quy trình tính toán chỉ số theo chu kỳ đối với dữ liệu đặc trưng (dữ liệu NDVI được tính toán từ 23 chu kỳ trong năm). Bên cạnh đó, việc nghiên cứu phương pháp tách ngưỡng tự động phù hợp với dữ liệu được lựa chọn là một bước quan trọng trong quá trình cải tiến phương pháp phân loại lớp phủ đô thị tại Việt Nam. Xây dựng bộ dữ liệu lớp phủ đô thị Việt Nam và ứng dụng trong đánh giá sự ảnh hưởng của quá trình phát triển đô thị tới vấn đề ô nhiễm bụi PM2.5 trong không khí tại Việt Nam. Các bản đồ lớp phủ đô thị Việt Nam từng năm được tính toán dựa trên phương pháp phân loại lớp phủ đô thị theo chu kỳ nhất định (3-5 năm tùy thuộc vào dữ liệu đầu vào) và được kết hợp tạo thành bộ dữ liệu. Để phát huy hiệu quả của bộ dữ liệu lớp phủ đô thị Việt Nam trong thực tiễn, trong khuôn khổ của luận án này bộ dữ liệu được ứng dụng trong đánh giá sự hưởng của quá trình mở rộng đô thị tới một vấn đề đang được quan tâm rộng rãi hiện nay đó là ô nhiễm bụi PM2.5 trong không khí.
Nghiên cứu và phát triển các phương pháp khử nhiễu ảnh CT liều thấp
Keywords: Ảnh, Kỹ thuật điện tử

Nghiên cứu phát triển phương pháp khử nhiễu ảnh CT liều thấp, trong đó có sự kết hợp việc sử dụng biểu diễn thưa và các bộ lọc truyền thống, dựa trên tập các hình ảnh chất lượng cao cho trước, sao cho nhiễu được khử trong khi bảo toàn được càng nhiều chi tiết nhỏ càng tốt. Nghiên cứu áp dụng mạng nơ-ron tích chập CNN vào bài toán khử nhiễu ảnh CT liều thấp, dựa trên tập dữ liệu lớn các hình ảnh CT liều thấp, liều thường, sao cho ảnh đầu ra có chất lượng càng gần với chất lượng ảnh CT liều thường càng tốt.
Nghiên cứu phân loại và xây dựng bộ dữ liệu lớp phủ đô thị tại Việt Nam
Keywords: Xây dựng bộ dữ liệu, Hệ thống thông tin

Luận án tập trung vào các mục tiêu chính sau: Nghiên cứu, đánh giá các phương pháp biến đổi độ phân giải đối với dữ liệu đa nguồn trong bài toán phân loại lớp phủ đô thị tại Việt Nam. Nghiên cứu và cải tiến phương pháp phân loại lớp phủ đô thị của GLCNMO cho khu vực Việt Nam trên cơ sở lựa chọn dữ liệu và tính toán các ngưỡng phù hợp. Xây dựng bộ dữ liệu lớp phủ đô thị Việt Nam và ứng dụng trong đánh giá sự ảnh hưởng của quá trình phát triển đô thị tới vấn đề ô nhiễm bụi PM2.5 trong không khí tại Việt Nam.
Nghiên cứu phát triển máy phát tịnh tiến không lõi sắt cho thiết bị chuyển đổi năng lượng sóng
Keywords: Cơ kỹ thuật, Máy phát điện, Phát điện thủy chiều, Năng lượng sóng

Đánh giá được thực trạng các thiết bị chuyển đổi năng lượng sóng và máy phát điện tịnh tiến đang phát triển trong nước và trên thế giới. Đề xuất được một giải pháp công nghệ trong lĩnh vực chuyển đổi năng lượng sóng phù hợp với điều kiện kinh tế, kĩ thuật cho vùng biển nước sâu của Việt Nam. Đề xuất được phương án nâng cao cường độ từ trường trong máy phát điện tịnh tiến dùng cho thiết bị chuyển đổi năng lượng sóng. Tính toán được công suất điện đầu ra của máy phát điện tịnh tiến dựa trên thông số đầu vào của thiết bị.
Một số kỹ thuật nâng cao hiệu năng phần mềm nhúng trên bộ xử lý đa nhân
Keywords: Kỹ thuật phần mềm, Công nghệ thông tin, Phần mềm nhúng -- Kỹ thuật, Bộ xử lý đa nhân

Tìm hiểu và đánh giá các công trình nghiên cứu trong và ngoài nước có liên quan đến cải tiến hiệu năng của phần mềm. Nghiên cứu các vấn đề trong xử lý song song, phân vùng dữ liệu và xử lý bất đồng bộ của phần mềm và phần mềm nhúng. Tìm hiểu môi trường phát triển phần mềm nhúng và các thư viện hỗ trợ lập trình cho các hệ thống nhúng. Đề xuất các mô hình hóa cho một số kỹ thuật nâng cao hiệu năng phần mềm nhúng trên bộ xử lý đa nhân. Cài đặt thực nghiệm và đánh giá kết quả của các kỹ thuật đề xuất.
Factors affecting students’ blended learning - a study at a university in Vietnam = những yếu tố ảnh hưởng đến việc học theo mô hình học tập kết hợp của sinh viên - nghiên cứu tại một trường đại học ở Việt Nam
Keywords: Phương pháp giảng dạy, Tiếng Anh ; Mô hình học tập kết hợp

In the last few years, blended learning (BL) has become a popular delivery method in higher education, not only in Western countries but also in Asian regions as well (Kim & Bonk, 2006; Latchem & Jung, 2009, Tham & Tham, 2011) due to its advantages of integrating both traditional face-to-face and online components. Therefore, it is even considered as an inevitable trend of education all over the world, or “the single greatest unrecognized trend in higher education today” (Young, 2002, p.33). However, as a matter of fact, there is no “one-size-fits-all” model; therefore, whether the implementation of this new teaching method really brings course effectiveness with regards to students‟ outcomes and satisfaction, etc., in a particular context is still an open-ended question. Previous studies also demonstrate contradicting results about the effectiveness of blended learning. While a lot of research support that students can attain higher academic outcomes and feel more satisfied in a blended environment, many others show the opposite results. From these evidences, it is apparent that teaching and learning “influenced by more than just the teaching format” .” (Nortvig et al., 2018, p.53). Therefore, this study is expected to explore the contributing as well as the hindering factors to students‟ learning in the context of Vietnam where the number of research conducted on BL is still restricted (Huynh & Le, 2014, Ngoc et al., 2020a; Chi, Vinh, Lin., 2011). Besides, this study also aims at verifying whether the factors mentioned in literature review in other contexts all over the world also coincide with those revealed in this study or there are some unique factors in Vietnamese context. Last but not least, some recommendations can be made to minimize the negative effects of the hindering factors and enhance the effectiveness of BL implementation.
Nghiên cứu về các phương pháp học biểu diễn dữ liệu.
Keywords: Biểu diễn dữ liệu -- Phương pháp ; Hệ thống Thông tin

Trình bày tổng quan về các phương pháp giảm chiều dữ liệu để xử lý các bài toán phân cụm, phân lớp và hồi quy. Trình bày các giảm chiều dữ liệu trong các bài toán phân lớp, các thuật toán học đặc trưng ẩn. Triển khai thực nghiệm để đánh giá hiệu năng của một số thuật toán học biểu diễn được sử dụng trong các thuật toán phân lớp: cây quyết định (Decision Tree Classifier/Classification and Regression Trees – CART), Support Vector Machine (SVM), Rừng ngẫu nhiên (Random Forest Classifier – RF), Gradient Boosting Classifier (GBM) vào phân tích, đánh giá trên một tập cơ sở dữ liệu có nguồn tại kho lưu trữ máy học UCI
Nghiên cứu ảnh hưởng của vết nứt tới ổn định và dao động của kết cấu tấm FGM
Keywords: Vết nứt ; Kết cấu tấm FGM ; Cơ kỹ thuật

Xây dựng các phương trình chủ đạo và phương pháp giải số bài toán ổn định của tấm (đồng chất, FGM) có vết nứt đặt hoặc không đặt trên nền đàn hồi. Xây dựng các phương trình chủ đạo và phương pháp giải số bài toán dao động tự do của tấm (đồng chất, FGM) có vết nứt trên nền đàn hồi và trong môi trường nhiệt độ. Lập trình khảo sát bằng số ảnh hưởng của các tham số vết nứt đến tải tới hạn (ở mục i), tần số dao động tự do (ở mục ii) của tấm.
Phát triển kỹ thuật chắt lọc tri thức trong học suốt đời đối với miền dữ liệu văn bản
Keywords: Kỹ thuật chắt lọc tri thức ; Miền dữ liệu văn bản ; Dữ liệu

Đề xuất thuật toán và MH CĐSĐ miền gần CD-AMC phát triển từ MH CĐSĐ AMC của Z. Chen và B. Liu [18] với giải pháp chắt lọc tri thức phải-đi-cùng và tri thức không-thể-đi-cùng chỉ từ các miền quá khứ gần thay vì từ tất cả các miền quá khứ [ChamNT1]. Đề xuất hai cách thức xác định miền gần đối với miền dữ liệu hiện tại (dựa trên tập từ – tập chủ đề trong CD-AMC và dựa trên các bộ phân lớp văn bản quá khứ trong CCDAMC (Classifier-based CD-AMC)), áp dụng vào tác vụ phân lớp đa nhãn tiếng Việt [ChamNT1] và tác vụ phân lớp quan điểm tiếng Anh [ChamNT2], đồng thời, tiến hành đánh giá thực nghiệm các mô hình đề xuất. Hơn nữa, luận án đã tiến hành kiểm định thống kê một mẫu theo phân phối-t (one-sample t test) về kỳ vọng quần thể giả thuyết khi chưa biết độ lệch chuẩn quần thể để minh chứng mô hình đề xuất thực sự có hiệu năng cao hơn so với AMC [ChamNT1]. Đề xuất MH CĐSĐ miền gần hướng đích TCD-AMC (Targeted CD - AMC) kết hợp MH CĐSĐ miền gần CD-AMC của luận án với mô hình chủ đề hướng đích TTM (Targeted Topic Model) của S. Wang và cộng sự [98] và áp dụng vào tác vụ phân lớp đa nhãn trích xuất khía cạnh trong khai phá quan điểm tiếng Việt [ChamNT3]. - Đề xuất mô hình HMSĐ chắt lọc tri thức tham số mô hình học sâu BiLSTM-KD-NER cho tác vụ nhận dạng thực thể y sinh tiếng Việt và tiến hành thực nghiệm kiểm chứng, đánh giá đề xuất này [ChamNT4].
Khung hình thức hỗ trợ đảm bảo chất lượng chuyển đổi mô hình
Keywords: Kỹ thuật phần mềm, Chuyển đổi mô hình, Kiểm thử chuyển đổi mô hình, Kiểm thử hướng đặc tả

Đề xuất ngôn ngữ TC4MT (Test Cases for Model Transformations - TC4MT) cho phép đặc tả mức cao các loại cam kết khác nhau của bộ chuyển đổi mô hình như cam kết kiểu, cam kết hành vi và cam kết thể thức chuyển. Cam kết kiểu gồm siêu mô hình nguồn và siêu mô hình đích mô tả kiểu của dữ liệu được thao tác bởi chuyển đổi mô hình sẽ được đặc tả bởi các đồ thị kiểu. Cam kết hành vi đặt ra thêm các ràng buộc trên các mô hình đầu vào, đầu ra, quan hệ giữa chúng được đặc tả bởi các mẫu đồ thị biểu diễn các tập tiền điều kiện, hậu điều kiện và bất biến của bộ chuyển đổi mô hình. Cam kết thể thức diễn đạt sự thay đổi đồng bộ của các phần tử mô hình nguồn và mô hình đích tại mỗi bước chuyển và được diễn đạt bởi các luật chuyển tam đồ thị. Sử dụng đặc tả làm cơ sở kiểm thử, luận án đề xuất hai hướng tiếp cận chính để kiểm thử các bộ chuyển đổi mô hình: (1) Kết hợp phân vùng dựa trên cam kết kiểu và cam kết hành vi để thiết kế bộ ca kiểm thử kiểm chứng tính đúng đắn về ngữ pháp, tính bảo toàn thông tin và tính đầy đủ của bộ chuyển đổi mô hình; (2) Phân tích quan hệ phụ thuộc giữa các luật diễn đạt cam kết thể thức để thiết kế bộ ca kiểm thử, kiểm chứng một cách có hệ thống các tính chất của bộ chuyển đổi mô hình. Để đánh giá hiệu quả của các phương pháp đề xuất, luận án cài đặt một số ví dụ chuyển đổi mô hình cùng các công cụ hỗ trợ. Tiến hành phân tích kết quả kiểm thử trên các ví dụ chuyển, luận án thảo luận về tính ứng dụng của phương pháp kiểm thử đề xuất và đánh giá hiệu quả phát hiện lỗi của các tập ca kiểm thử được sinh ra từ các phương pháp đó.
Nghiên cứu ứng dụng Phương pháp CFEM trong Cơ học vật rắn biến dạng
Keywords: Phương pháp CFEM, Cơ học vật rắn biến dạng

Phân tích các bài toán đàn hồi tuyền tính cơ bản bao gồm trường ứng suất biến dạng, dao động riêng cho vật liệu đồng nhất và vật liệu biến thiên theo không gian (FGM) bằng phương pháp CFEM. Phân tích cơ học phá hủy các bài toán đàn hồi tuyến tính kết cấu FGM ở dạng phẳng chịu tải trọng tĩnh và tải trọng động, bài toán lan truyền vết nứt bằng phương pháp CFEM mở rộng (X-CFEM). Phân tích bài toán phi tuyến hình học cho kết cấu 2D và 3D với vật liệu đàn hồi tuyến tính và vật liệu không nén được (Vật liệu có hệ số Poisson’s gần bằng 0.5) bằng phương pháp CFEM. Xây dựng mô tích phân số mới cho phần tử 3D, thay thế cho tích phân số Gauss truyền thống với số điểm tích phân ít hơn.
Ổn định và các đáp ứng phi tuyến của kết cấu tấm và vỏ composite gia cường các sợi nano các bon, có cơ lý tính biến đổi (FG-CNTRC)
Keywords: Cơ kỹ thuật, Cơ học vật liệu, Vật liệu nano composite

Luận án đề ra các mục tiêu sử dụng phương pháp tiếp cận giải tích để nghiên cứu các nội dung sau đây: Phân tích dao động và các đáp ứng tĩnh và động lực học phi tuyến của các tấm chữ nhật FG-CNTRC. Nghiên cứu đáp ứng động lực học và dao động phi tuyến của vỏ trụ tròn FG-CNTRC chịu các loại tải khác nhau. Nghiên cứu ổn định phi tuyến của vỏ nón cụt FG-CNTRC. Từ những kết quả nghiên cứu đó, luận án đề ra mục tiêu cần đánh giá được ảnh hưởng của các yếu tố như cấu trúc hình học, tính không hoàn hảo, tham số của nền đàn hồi, lực ngoài và nhiệt độ lên lực tới hạn, các tần số dao động, cũng như tới các đáp ứng phi tuyến tĩnh và động lực học của các kết cấu FG-CNTRC.
Nghiên cứu, phát triển hệ thống vi bơm tích hợp chức năng trộn sử dụng cấu trúc vòi phun định hướng ứng dụng trong y sinh học
Keywords: Kỹ thuật điện tử, Công nghệ vi cơ điện tử, Phát triển hệ thống, Hệ thống vi bơm tích hợp

Luận án thu thập và nghiên cứu các tài liệu đã công bố về vi bơm, bộ trộn, cảm biến. Nghiên cứu và đánh giá các mô hình toán học được sử dụng để tính toán, thiết kế, mô phỏng vi bơm, bộ trộn và cảm biến. Nghiên cứu, lựa chọn giải pháp, thiết kế hệ thống cảm biến điện dung cho việc xác định môi trường lưu chất sau khi trộn. Tính toán, thiết kế, mô phỏng hoạt động của vi bơm và bộ trộn sử dụng phần mềm các phần tử hữu hạn (COMSOL). Chế tạo nguyên mẫu vi bơm và tiến hành thực nghiệm khảo sát hoạt động của thiết bị. Chế tạo cảm biến điện dung tích hợp tại kênh đầu ra của vi bơm. Thiết kế và xây dựng hệ thống đo và điều khiển vi bơm/bộ trộn. Thực hiện các thử nghiệm để thu thập và phân tích dữ liệu, đánh giá và tối ưu thiết kế.