VictorJuiz/thesis huggingface dataset:
Phân tích ý định từ văn bản ngắn, trực tuyến tiếng Việt
Keywords: Nhận dạng mẫu máy tính ; Tiếng Việt ; Phân tích văn bản ; Tin học ứng dụng

Toàn thể nội dung luận án bao gồm: Phần Mở đầu, phần này đề cập ý nghĩa và tính cấp thiết của luận án, tổng quan về bối cảnh nghiên cứu, động lực, mục tiêu, phạm vi, nội dung nghiên cứu, cùng những đóng góp chính của luận án. Chương 1, Tổng quan về ý định và phân tích ý định. Chương này giới thiệu về khái niệm ý định, thể hiện ý định trong văn bản, đồng thời giới thiệu về bài toán phân tích ý định từ văn bản trực tuyến cũng như các kiến thức cơ sở. Chương 2, Phân tích ý định từ văn bản trực tuyến. Chương này đưa ra khái niệm miền quan tâm và ý định hướng miền quan tâm của luận án. Từ đó phân tích và đề xuất tiến trình ba pha giải quyết bài toán phân tích ý định. Chương 3, Phát hiện ý định và xác định miền quan tâm của ý định. Chương này đề xuất các phương pháp học máy hiệu quả để giải quyết pha một (tức là bài toán phát hiện ý định), và pha hai (tức là bài toán xác định miền quan tâm của ý định). Chương 4, Trích chọn ý định từ văn bản trực tuyến theo tiếp cận học máy. Chương này đề xuất việc mô hình hóa pha ba của tiến trình ba pha về bài toán trích chọn thông tin trên dữ liệu chuỗi. Sau đó, lần lượt tiếp cận giải quyết bài toán nhờ phương pháp CRFs và Bi-LSTM-CRFs. Chương này cũng đề xuất một phương pháp hiệu quả dựa vào kỹ thuật học kết hợp để nâng cao độ chính xác của bài toán trích chọn ý định. Chương 5, Phân tích và trích chọn ý định đa miền quan tâm. Chương này trình bày phương pháp trích chọn ý định đa miền quan tâm dựa vào một bộ nhãn tổng quát do luận án đề xuất. Phần cuối của chương đưa ra những nhận định về ưu nhược điểm của bộ nhãn chung và bộ nhãn riêng. Phần Kết luận, phần này tổng hợp các kết quả chính mà luận án đóng góp.
Phát triển một số phương pháp giấu tin thuận nghịch trên ảnh đa cấp xám
Keywords: Nhúng tin ; Chất lượng hình ảnh ; Giấu tin ; Hệ thống thông tin

Mục tiêu thứ nhất là tăng khả năng nhúng tin, đối với giấu tin nói chung, giấu tin thuận nghịch nói riêng, khả năng nhúng tối đa của một lược đồ luôn được quan tâm hàng đầu. Các phương pháp được đề xuất trong luận án luôn quan tâm đến việc tăng khả năng nhúng trong thuật toán của mình nhưng vẫn đảm bảo được chất lượng ảnh chấp nhận được. Mục tiêu thứ hai là tăng chất lượng ảnh chứa tin, chất lượng ảnh chứa tin và khả năng nhúng luôn tỉ lệ nghịch với nhau, để duy trì chất lượng ảnh tốt nhất, luận án đề xuất các lược đồ với sự biến đổi thấp để có chất lượng ảnh tốt. Mục tiêu cuối cùng đó là giảm độ phức tạp của thuật toán giấu tin. Luận án đã đề xuất một lược đồ thủy vân với độ phức tạp thấp hơn khá nhiều so với thuật toán liên quan
A Unified View Approach to Software Development Automation = Phương pháp tiếp cận khung hình hợp nhất cho tự động hóa phát triển phần mềm
Keywords: Phần mềm, Công nghệ thông tin, Tự động hóa

Propose an aDSL, named domain class specification language (DCSL), which consists in a set of annotations that express the essential structural constraints and the essential behaviour of a domain class. The design features were carefully selected from a number of authoritative software and system engineering resources and show that they form a minimum design space of the domain class.Propose a unified domain modelling approach, which uses DCSL to express both the structural and behavioural modelling elements. The dissertation chooses the UML activity diagram language for behavioural modelling and discusses how the domain-specific constructs of this language are expressed in DCSL. To demonstrate the applicability of the approach the dissertation defines the unified domain modelling patterns for tackling the design problems posed by five core UML activity flows. Define 4-property characterisation for the software that are constructed directly from the domain model. These properties are defined based on a conceptual layered software model that includes the domain model at the core, an intermediate module layer surrounding this core and an outer software layer. Propose a second aDSL, named module configuration class language (MCCL), that is used for designing module configuration classes (MCCs) in a module-based software architecture. An MCC provides an explicit class-based definition of a set of module configurations of a given class of software modules. The MCCs can easily be reused to create different variants of the same module class, without having to change the module class design. Develop set of software tools for DCSL, MCCL and the generators associated with these aDSLs. These tools were implemented as components in a software framework, named jDomainApp, which was developed as part of the research
Phân tích đáp ứng của profile cánh máy bay theo cách tiếp cận đối ngẫu
Keywords: Cơ kỹ thuật ; Bài toán flutter ; Khí động học

Mục tiêu của Luận án là tập trung vào phân tích dữ liệu từ cảm biến thu được từ điện thoại của con người trong cuộc sống hàng ngày, từ đó phát hiện được các hành động của con người, đặc biệt tập trung vào hành động ngã. Để giải quyết được mục tiêu của Luận văn, chúng tôi tập trung vào giải quyết các vấn đề chính sau: Tìm hiểu và nghiên cứu các kỹ thuật phân tích dữ liệu hiện có trên thế giới. Các kỹ thuật biến đổi dữ liệu dựa trên nhiều loại cảm biến khác nhau của điện thoại. Từ đó có thể tìm được kỹ thuật phù hợp nhất để có thể áp dụng vào bài toán phát hiện hành động ngã. Từ tập dữ liệu đầu vào dựa trên cảm biến của điện thoại thông minh, có thể xây dựng được hệ thống phát hiện các hành động (đi bộ, ngồi, chạy, ngã, …) của con người trong cuộc sống hàng ngày. Nghiên cứu thuật toán tối ưu để có thể nâng cao được độ chính xác của hệ thống. Giảm thiểu tối đa sự nhầm lẫn giữa các hành động, đặc biệt là hành động bình thường và hành động ngã
Xây dựng đồ thị tái tổ hợp di truyền cho dữ liệu hệ gen
Keywords: Dữ liệu, Khoa học máy tính, Hệ gen, Thuật toán

Chương 1. Giới thiệu khái quát về hệ gen người và các mạng phát sinh loài (phylogenetic networks). Sau đó là phần giới thiệu về bài toán xây dựng đồ thị ARG. Phần cuối của chương trình bày các cách tiếp cận giải bài toán xây dựng đồ thị ARG và ứng dụng của ARG trong nghiên cứu tương quan toàn hệ gen. Chương 2. Đề xuất một thuật toán xây dựng đồ thị ARG cho dữ liệu lớn hàng nghìn trình tự độ dài hệ gen người. Để làm được điều đó, chúng tôi đưa ra các nhược điểm của các cách tiếp cận hiện có, đặc biệt là những hạn chế trong thuật toán Margarita xây dựng đồ thị ARG hợp lý được đề xuất bởi Minichiello và Durbin [52], từ đó đưa ra thuật toán đề xuất nhằm khắc phục các nhược điểm đó. Các kết quả thực nghiệm ở phần sau của chương đã chứng tỏ hiệu quả của thuật toán đề xuất. Phần cuối của chương giới thiệu kết quả ứng dụng thuật toán đề xuất vào bài toán tìm vùng gen liên quan đến bệnh sốt rét ở Châu Phi trên tập dữ liệu lớn gồm 5560 trình tự trên toàn nhiễm sắc thể 11. Các kết quả trong phần này đã khẳng định thêm hiệu quả, khả năng ứng dụng của thuật toán đề xuất trong các bài toán thực tế trên dữ liệu lớn. Chương 3 của luận án giới thiệu các phương pháp nhằm cực tiểu hóa số sự kiện tái tổ hợp trong quá trình xây dựng đồ thị ARG. Cụ thể, chúng tôi đề xuất hai phương pháp: (1) kết hợp một số đặc trưng của dữ liệu; (2) kết hợp kĩ thuật sử dụng trong các phương pháp xây dựng đồ thị ARG tối thiểu với chiến lược thực hiện sự kiện tái tổ hợp đề xuất trong chương 2 để tối ưu hóa số sự kiện tái tổ hợp. Các thực nghiệm trên các bộ dữ liệu khác nhau đã chứng tỏ hiệu quả của các phương pháp đề xuất.
Một số phương pháp xử lý và phân loại tín hiệu điện não cho các ứng dụng giao diện não – máy tính
Keywords: Khoa học máy tính; Phương pháp xử lý; Tín hiệu điện não

Luận án này gồm 06 phần trong đó có Phần mở đầu, 04 chương nội dung và Phần kết luận. Phần mở đầu nêu lên tính cấp thiết của vấn đề nghiên cứu, mục tiêu, đóng góp khoa học và phạm vi của luận án. Chương 1 nêu tổng quan các vấn đề liên quan đến tín hiệu điện não, cơ chế sinh ra tín hiệu điện não và một số phương pháp xử lý, phân tích tín hiệu điện não. Chương 2 trình bày đề xuất phương pháp xử lý, tăng cường chất lượng tín hiệu điện não đầu vào của hệ giao diện não máy tính bằng cách khử tín hiệu điện não bất thường sinh ra do nháy mắt. Phương pháp được đề xuất kết hợp mạng học sâu tự mã hóa thưa và biến đổi wavelet để khử tín hiệu điện 18 não bất thường sinh ra do nháy mắt một cách tự động và theo thời gian thực. Chương 3 trình bày một số cách tiếp cận và đề xuất các mô hình phân loại dựa trên học máy như máy vec-tơ hỗ trợ, mạng nơ-ron nhân tạo, mạng học sâu. Chương 4 trình bày cách tiếp cận sử dụng học cộng đồng xếp ngăn để tăng cường khả năng phân loại của các phương án dựa trên học máy đã được đề xuất trong ứng dụng BCI phục vụ điều khiển thiết bị điện tử gia dụng thông minh. Phần kết luận đưa ra đánh giá tổng quát về các kết quả nghiên cứu trình bày trong luận án, các đóng góp chính của luận án và gợi ý một số hướng nghiên cứu để phát triển các nội dung đã được thảo luận trong luận án.
Một số cải tiến phương pháp kiểm chứng giả định – đảm bảo cho phần mềm dựa trên thành phần
Keywords: Phần mềm ứng dụng ; Kỹ thuật phần mềm

Đề xuất một phương pháp sinh các giả định nhỏ nhất và mạnh nhất cục bộ để giảm chi phí của bài toán kiểm chứng giả định - đảm bảo. Ý tưởng chính của phương pháp đề xuất là tích hợp một biến thể của kỹ thuật trả lời các câu truy vấn thành viên vào trong thuật toán học đề xuất được cải tiến từ thuật toán của Cobleigh. Ngoài ra, phương pháp này cũng sử dụng các ứng viên cho giả định được sinh bởi thuật toán của Cobleigh làm cơ sở để phân tích. Với một ứng viên cơ sở này, để có giả định nhỏ nhất, luận án kiểm tra các ứng viên cho giả định nhỏ nhất Ai với kích thước tăng dần. Việc này được tiến hành bằng cách lấy tổ hợp chập t của các trạng thái từ tập trạng thái của Ai, với 1 < t < |Ai|. Trong các ứng viên cho giả định nhỏ nhất có cùng kích thước t, với mỗi ứng viên C (|L(C)| = n), phương pháp này kiểm tra mọi khả năng từ khả năng chỉ có một chuỗi đến khả năng có n-1 chuỗi thuộc vào L(C). Phương pháp này dừng ngay khi tìm được giả định đầu tiên thỏa mãn luật kiểm chứng giả định - đảm bảo. Do đó, giả định được sinh bởi phương pháp được đề xuất là giả định nhỏ nhất và mạnh nhất cục bộ. Một công cụ hỗ trợ cũng đã được cài đặt và thực nghiệm với một số ví dụ điển hình để minh chứng cho tính hiệu quả của phương pháp đề xuất.
Phân tích tự động mã độc trong các thiết bị nhúng trên nền Linux
Keywords: Thiết bị nhúng ; Mã độc

Nghiên cứu về dịch máy và các cách tiếp cận dịch máy, khái quát về học sâu và mạng nơ ron. Tìm hiểu về mô hình Transformer, cài đặt và thử nghiệm mô hình trên tập ngữ liệu song ngữ Trung-Việt với khoảng hơn 15 ngàn câu. Kết quả thực nghiệm cho thấy phương pháp dịch áp dụng mô hình Transformer cho kết quả khả quan hơn
Phân tích và xử lý tín hiệu cho dữ liệu không đầy đủ ứng dụng trong y sinh
Keywords: Xử lý tín hiệu ; Phân tích tín hiệu ; Dữ liệu không đầy đủ ; Y sinh

Luận án đã đề xuất các phương pháp và giải thuật xử lý tín hiệu không đầy đủ, ứng dụng xử lý tín hiệu y sinh, cụ thể như sau: Theo hướng chủ động thu thập dữ liệu không đầy đủ để tăng tốc độ xử lý, luận án đề xuất 02 phương pháp mới (NewCCS-MRI và CCS-SWIFT) về lấy mẫu nén (CS) tất định dựa trên hệ hỗn loạn cho hệ thống thu nhận ảnh cộng hưởng từ (MRI) truyền thống và hệ thống MRI đặc biệt SWIFT; Theo hướng khôi phục lại dữ liệu bị mất mát trong quá trình thu thập, luận án đề xuất 03 thuật toán mới (SW-PETRELS, NL-PETRELS và MS-PETRELS) nhằm cải tiến thuật toán PETRELS dùng cho ước lượng không gian của dữ liệu không đầy đủ. Từ đó, luận án đề xuất phương pháp phân tích phần tử song song (CP) thích nghi cho ten-xơ bậc 3 đối với dữ liệu không đầy đủ, cùng các thuật toán ước lượng không gian con tương ứng, áp dụng cho trích xuất thông tin và khôi phục dữ liệu điện não đồ bề mặt (EEG) không đầy đủ...
Một số bài toán tối ưu trên mạng xã hội
Keywords: Khoa học máy tính; Bài toán tối ưu; Mạng xã hội

Nghiên cứu bài toán IM, IB trên các mô hình phát tán truyền thông tin. Qua đó đề xuất nghiên cứu các bài toán biến thể mới có tính ứng dụng trong thực tiễn. Đề xuất các mô hình giải quyết các bài toán trên, nghiên cứu độ phức tạp của chúng trên các mô hình lan truyền thông tin được sử dụng rộng rãi. Đề xuất các thuật toán hiệu quả để giải quyết các bài toán trên, trong đó đặc biệt chú trọng tới việc nâng cao chất lượng lời giải cũng như khả năng ứng dụng với các mạng cỡ lớn hàng trăm nghìn cho tới hàng triệu, tỷ cạnh hoặc đỉnh
Nghiên cứu nâng cao hiệu năng hoạt động của mạng ngang hàng có cấu trúc
Keywords: Công nghệ thông tin, Mạng máy tính, Mạng ngang hàng có cấu trúc

Tìm hiểu một thuật toán đảm bảo cân bằng tải trong mạng ngang hàng có cấu trúc. Giải pháp đề xuất dựa trên thuật toán cân bằng tải theo ngưỡng của Ganesan kết hợp với việc bổ sung khái niệm thư mục để lưu trữ thông tin về các nút nặng tải và nhẹ tải, trong đó xem xét đến cả tải xử lý các câu truy vấn tìm kiếm một nút trong quá trình thực hiện cân bằng tải. Nghiên cứu giải pháp điều khiển tắc nghẽn tại một nút trong quá trình xử lý các truy vấn. Giải pháp đề xuất thay thế một nút bị tắc nghẽn trong bảng định tuyến của nút chuyển tiếp truy vấn bằng một nút không tắc nghẽn tốt nhất được chọn từ danh sách các nút không tắc nghẽn tiếp theo trên đường đi để tạo ra một tuyến đường mới, tránh tắc nghẽn từ nút chuyển tiếp câu truy vấn đến nút quản lý khóa. Đề xuất giải pháp sao lưu dữ liệu dựa trên việc phân cụm không gian khóa DHT để đảm bảo tính sẵn sàng của dữ liệu và hỗ trợ cân bằng tải cho hệ thống. Dữ liệu sao lưu được đặt tại các nút trong cùm cụm với nút quản lý khóa. Thuật toán đề xuất bao gồm cơ chế cập nhật thông tin giữa các nút trong cụm để đảm bảo cân bằng tải và cơ chế khôi phục dữ liệu khi có nút rời mạng, cơ chế phân cụm động, cơ chế sao lưu và khôi phục dữ liệu. Ngoài ra, thuật toán cũng bao gồm cơ chế gia nhập mạng cho phép các nút gần nhau về mặt vật lý sẽ tham gia vào cùng một cụm nhằm giảm thời gian cập nhật thông tin cụm và chi phí để duy trì dữ liệu trong cụm
Nâng cao hiệu năng thi hành các phép toán trên đồ thị
Keywords: Công nghệ thông tin, Hệ thống thông tin, Phép toán trên đồ thị

Mô hình hoá quá trình xử lý các truy vấn khoảng cách ngắn nhất trên đồ thị động, quy mô lớn dựa vào lịch thi hành phép toán đồng thời và dựa vào cấu trúc dữ liệu phù hợp cho phép nâng cao hiệu năng bộ nhớ đệm cache. Đóng góp này được công bố trong công trình được đăng trên kỷ yếu hội thảo quốc tế ICCCI năm 2017. Đề xuất ba giải pháp (akGroup, akGroupPlus và bigGraph) để nâng cao hiệu năng thi hành các truy vấn đồng thời trên đồ thị động quy mô lớn với khả năng thi hành song song cả các truy vấn duyệt đồ thị lẫn cập nhật đồ thị. Cả ba giải pháp này đều dựa trên ý tưởng chính là (i) xây dựng cấu trúc dữ liệu đồ thị phù hợp để nâng cao hiệu năng của bộ nhớ đệm cache; (ii) lựa chọn hướng duyệt đồ thị một cách linh hoạt dựa không chỉ vào số lượng đỉnh con mà cả số lượng đỉnh cháu của mỗi hàng đợi; và (iii) đề xuất giải pháp song song hoá các truy vấn đồng thời, cả đối với các phép toán cập nhật lẫn truy vấn khoảng cách ngắn nhất trên đồ thị. Các kết quả này đã được chúng tôi công bố trong công trình tại hội thảo BDCAT về quản lý dữ liệu lớn năm 2016, hội thảo quốc tế ICCCI năm 2017 và công bố trong tạp chí quốc tế Transactions on Computational Collective Intelligence, Springer, năm 2018. Xây dựng hai giải thuật nâng cao hiệu năng quá trình tính độ trung tâm gần và độ trung tâm trung gian trên đồ thị quy mô lớn với giải pháp bigGraph được xây dựng dựa trên việc (i) tổ chức dữ liệu đồ thị phù hợp và (ii) song song hoá các phép tính SSSP trên mỗi đỉnh của đồ thị. Kết quả này của chúng tôi đã được công bố trong kỷ yếu hội thảo quốc tế SoICT năm 2018
Hệ thống xử lý tín hiệu điện não tự động phát hiện gai động kinh
Keywords: Kỹ thuật Viễn thông, Tín hiệu điện não tự động, Công nghệ

Nghiên cứu một hệ thống đa bước phát hiện gai động kinh dựa trên việc phân tích tín hiệu EEG đơn kênh, khai thác mối liên hệ theo thời gian giữa các gai động kinh gần nhau trên từng kênh. Xây dựng một hệ thống đa bước để phát gai động kinh tự dựa trên việc phân tích tín hiệu EEG đa kênh, khai thác mối liên hệ theo không gian của các gai động kinh trên các kênh gần nhau
Phát triển thuật toán tự triển khai cho hệ thống đa robot giám sát môi trường không biết trước
Keywords: Kỹ thuật điện tử, Người máy, Hệ thống đa robot

Trình bầy một phương pháp mới có tên là điều khiển phân tán đa tầng, viết tắt là HDC (Hierarchical Distributed Control), cho duy trì sự toàn vẹn mạng toàn cục của hệ thống đa robot. HDC được ứng dụng để xây dựng chiến lược tự triển khai hệ thống đa robot cho khám phá, theo dõi đa mục tiêu và bao phủ. Nghiên cứu một điều khiển phân tán đa tầng (HDC) cho duy trì sự toàn vẹn của mạng đa robot. Ứng dụng HDC được cho chiến lược tự triển khai cho theo dõi đa mục tiêu, viết tắt là MTT (Multi-Target Tracking), và bao phủ của hệ thống đa robot kết nối mạng trong môi trường không biết trước. Đề xuất thuật toán phát hiện và phân loại biên trong đó sửa lỗi biên được thực hiện bằng thuật toán mới dựa trên tiếp cận hình học
Xử lý không nhất quán trong tích hợp tri thức dựa trên logic
Keywords: Công nghệ thông tin, Hệ thống thông tin, Tin học

Lựa chọn một dạng logic mô tả para-nhất quán bốn giá trị dựa trên logic mô tả ALC mở rộng; định nghĩa mô phỏng hai chiều và tương tự hai chiều dựa trên lớp logic mô tả para-nhất quán trên nền logic mô tả ALC mở rộng được lựa chọn; phát biểu và chứng minh tính chất bảo toàn và tính chất Hennessy-Milner đối với mô phỏng hai chiều và tương tự hai chiều được định nghĩa; phát biểu bài toán học khái niệm trong logic mô tả para-nhất quán bốn giá trị, đề nghị một thuật toán giải xấp xỉ bài toán học khái niệm trong logic mô tả para-nhất quán bốn giá trị và tiến hành thực nghiệm. Lựa chọn một dạng logic mô tả mờ theo ngữ nghĩa G'odel logic mô tả mờ theongữ nghĩa G'odel (một mở rộng mờ của logic mô tả ALC mở rộng với các đặc trưng được bổ sung giữa các vai trò nghịch đảo, định danh, các hạn chế về số lượng, vai trò phổ quát và khả năng phản xạ cục bộ của một vai trò); định nghĩa mô phỏng hai chiều và tương tự hai chiều đối với logic mô tả mờ được lựa chọn; định nghĩa và chứng minh tính bảo toàn và tính chất Hennessy-Milner đối với mô phỏng hai chiều và tương tự hai chiều được định nghĩa. trưng được bổ sung giữa các vai trò nghịch đảo, định danh, các hạn chế về số lượng, vai trò phổ quát và khả năng phản xạ cục bộ của một vai trò); định nghĩa mô phỏng hai chiều và tương tự hai chiều đối với logic mô tả mờ được lựa chọn; định nghĩa và chứng minh tính bảo toàn và tính chất Hennessy-Milner đối với mô phỏng hai chiều và tương tự hai chiều được định nghĩa
Chế tạo vật liệu và nghiên cứu tính chất của dây nano từ tính nền Co
Keywords: Dây nano từ tính -- Nghiên cứu -- Chế tạo; Vật liệu nano -- Nghiên cứu -- Chế tạo Nơi xuất bản: Luận án TS.

Đã nghiên cứu và chế tạo được một số dây nano từ tính nền Co có cấu trúc tinh thể bằng phương pháp lắng đọng điện hóa với đường kính từ 100 - 600 nm và chiều dài từ 3,5 - 9 µm. - Dây nano Co-Ni-P có lực kháng từ Hc tăng từ 105 đến 1940 Oe khi độ pH tăng từ 2,0 đến 5,5; Hc tăng tiếp đến 2300 Oe khi tăng từ trường lắng đọng đến 2010 Oe. Các dây nano nhiều đoạn Co/Au và Co-Ni-P/Au có Hc lần lượt là khoảng 170 Oe và 1320 Oe. - Hằng số dị hướng từ hiệu dụng phụ thuộc vào chiều dài của đoạn dây từ tính Co, tăng từ 0,84 kJ/m3 đến 25,5 kJ/m3 khi chiều dài đoạn từ tính Co tăng từ 750 nm đến 3500 nm.
Nghiên cứu phát hiện mẫu chất liệu trong ảnh
Keywords: Công nghệ thông tin, Khoa học máy tính, Xử lý ảnh, Đồ họa

Đưa ra thuật toán phát hiện mẫu chất liệu trong ảnh dựa vào việc sử dụng đặc trưng bất biến địa phương kết hợp sử dụng kỹ thuật véctơ định vị để xác định các vị trí của mẫu chất liệu xuất hiện trong ảnh. Thuật toán đã được cài đặt thử nghiệm đạt kết quả khả quan với độ chính xác trên 90% cho các loại mẫu chất liệu có cấu trúc hình học bề mặt cao. Ứng dụng kỹ thuật phát hiện mẫu chất liệu trong ảnh cho bài toán phát hiện ảnh số giả mạo kết hợp cải tiến từ thuật toán Exact Match và Exact Match*, nhằm phát hiện được các vùng giả mạo bị thay đổi bởi phép biến đổi tỉ lệ và phép biến đổi quay mà các thuật toán khác chưa giải quyết được. Kết quả thực nghiệm cho thấy hầu hết các ảnh giả mạo dạng cắt dán trên cùng một ảnh mà các vùng giả mạo bị thay đổi bởi các phép biến đổi quay và tỉ lệ đều phát hiện được. Đề xuất biểu diễn mẫu chất liệu dựa vào nhiễu và thuật toán phát hiện mẫu chất liệu dựa vào nhiễu. Thuật toán toán được cài đặt và tỏ ra hiệu quả với các trường hợp ảnh chứa mẫu chất liệu có sự thay đổi về ánh sáng, đây cũng là một trong những thách thức của các nghiên cứu về chất liệu. Nghiên cứu kỹ thuật phát hiện mẫu chất liệu dựa vào Fractal trên cơ sở nghiên cứu sự liên quan của hình học Fractal với thuộc tính chất liệu như tính tự tương tự ở các tỉ lệ khác nhau của các vùng khác nhau trên mẫu chất liệu
Các phương pháp xây dựng ma trận biến đổi axít amin
Keywords: Công nghệ thông tin, Khoa học máy tính, Trí tuệ nhân tạo, Xây dựng ma trận

Đưa ra những cải tiến cho phương pháp ước lượng mô hình bằng ML để giảm thời gian chạy và tăng độ chính xác bằng cách chia tách nhỏ dữ liệu đầu vào bằng hai phương pháp ngẫu nhiên và dựa theo cấu trúc cây phân loài. Ưu điểm của thuật toán cải tiến được kiểm định bằng thực nghiệm trên các bộ dữ liệu chuẩn của Pfam và virút cúm. Đề xuất một cải tiến khác để giảm thời gian ước lượng bằng cách giảm thiểu các bước xây dựng cây và tối ưu tham số. Kết quả thực nghiệm cho thấy thời gian giảm được 2 lần so với phương pháp gốc. Xây dựng một hệ thống ước lượng tự động cung cấp cho người dùng nhiều tùy chọn và kết quả. Thực nghiệm cho thấy hiệu quả đáp ứng rất tốt của hệ thống với lượng người dùng lớn. Đề xuất mô hình FLU áp dụng cho virút cúm. Thực nghiệm cho thấy FLU tốt hơn hẳn tất cả các mô hình hiện nay khi ứng dụng vào nghiên cứu các chuỗi prôtêin của virút cúm
Kiểm thử dựa trên mô hình với cách tiếp cận mô hình hóa chuyên biệt miền
Keywords: Kỹ thuật Phần mềm ; Kiểm thử ; Mô hình hóa chuyên biệt miền ; USL ; TCSL ; USLTG

Trình bày ngôn ngữ USL (Use Case Specification Language) để đặc tả rõ ràng các ca sử dụng, hướng đến khả năng sinh tự động các chế tác phần mềm (software artifacts) khác nhau trong quy trình phát triển phần mềm bằng các chuyển đổi mô hình. Ngôn ngữ được xây dựng với cách tiếp cận mô hình hóa chuyên biệt miền. Xây dựng ngôn ngữ TCSL (Test Case Specification Language) để đặc tả rõ ràng các ca kiểm thử. Phân tích một phương pháp USLTG (USL-based Test Generation) để sinh tự động các ca kiểm thử từ ca sử dụng bằng cách chuyển đổi tự động các mô hình USL vào trong một mô hình TCSL. Xây dựng bộ công cụ hỗ trợ USL cho phép tích hợp ngôn ngữ USL vào trong phương pháp phát triển phần mềm hướng mô hình. Cụ thể, bộ công cụ cung cấp trình soạn thảo để tạo các mô hình USL một các trực quan và cung cấp các bộ sinh tự động các chế tác khác nhau từ mô hình. Từ đó sinh các ca kiểm thử tự động từ các mô hình USL. Ngoài ra, trình bày các ví dụ nghiên cứu được áp dụng cho các phương pháp của luận án, cung cấp các đánh giá của ngôn ngữ USL với các ngôn ngữ đặc tả khác, và so sánh phương pháp USLTG với một số phương pháp sinh ca kiểm thử từ ca sử dụng khác