VictorJuiz/thesis huggingface dataset:
Giải pháp theo dõi chuyển động mắt hỗ trợ cung cấp thông tin đặc trưng thị giác của trẻ rối loạn phổ tự kỷ
Keywords: Kỹ thuật xử lý ảnh và học máy, Chuyển động mắt -- Trẻ rối loạn phổ tự kỷ

Tự kỷ là các rối loạn phát triển thần kinh đặc trưng bởi sự tương tác và giao tiếp xã hội, các hành vi lặp đi lặp lại và rập khuôn, và sự phát triển trí tuệ không đều, đôi khi có khuyết tật về trí tuệ. Trong những năm gần đây, việc sử dụng công nghệ theo dõi chuyển động mắt để giải quyết các bài toán hỗ trợ trẻ rối loạn phổ tự kỷ đang nhận được sự quan tâm ngày càng tăng trong cộng đồng nghiên cứu. Tuy nhiên, hầu hết các nghiên cứu trước đây giải quyết các bài toán riêng lẻ như phân tích khả năng thị giác của trẻ tự kỷ, phương pháp phân loại trẻ tự kỷ, can thiệp trẻ tự kỷ, hoặc đánh giá hiệu quả can thiệp trẻ tự kỷ, hầu như chưa có nghiên cứu tập trung vào việc xây dựng một giải pháp hoàn chỉnh thu thập và trích xuất đặc trưng thị giác một cách tự động. Luận văn này tập trung nghiên cứu và phát triển giải pháp theo dõi chuyển động mắt hỗ trợ cung cấp thông tin đặc trưng thị giác của trẻ rối loạn phổ tự kỷ. Giải pháp sử dụng các kỹ thuật xử lý ảnh và học máy, nhận đầu vào là thông tin chuyển động mắt của trẻ, đưa ra các đặc trưng thị giác, và hiển thị trực quan các đặc trưng này. Kết quả nghiên cứu của luận văn có thể được sử dụng để hỗ trợ giải quyết nhiều bài toán hỗ trợ trẻ tự kỷ như phát hiện trẻ tự kỷ, can thiệp trẻ tự kỷ, và đánh giá hiệu quả can thiệp trẻ tự kỷ. Giải pháp đã được thử nghiệm trên cả nhóm trẻ bình thường và nhóm trẻ tự kỷ. Luận văn cũng đã xây dựng một bộ dữ liệu chuyển động mắt của 55 trẻ, trong đó có 29 trẻ bình thường và 26 trẻ tự kỷ. Bộ dữ liệu này có thể được sử dụng cho nhiều bài toán khác nhau nhằm hỗ trợ trẻ tự kỷ.
Tự động hóa giai đoạn lập trình các ứng dụng web bằng công cụ sinh mã tự động từ cơ sở dữ liệu quan hệ
Keywords: Lập trình tự động, Lập trình web -- Sinh mã tự động

Đề tài nghiên cứu của luận văn giới thiệu một công cụ sinh mã tự động từ cơ sở dữ liệu nhằm giải quyết vấn đề lặp lại và rút ngắn thời gian trong việc lập trình các ứng dụng web. Trong quá trình phát triển sản phẩm phần mềm nói chung và ứng dụng web nói riêng, việc xây dựng các tính năng cơ bản của lưu trữ liên tục như đọc, thêm mới, cập nhật và xóa luôn là một công việc đòi hỏi sự tập trung và thời gian lớn từ đội phát triển. Điều này không những tiêu tốn nhiều thời gian, mà còn tạo ra nguy cơ xuất hiện các lỗi cơ bản trong quá trình lập trình. Vì vậy, nghiên cứu này đề xuất và phát triển một công cụ tự động sinh mã nguồn từ cơ sở dữ liệu được thiết kế theo một quy tắc nhất định, giúp giảm bớt công sức và tối ưu chi phí sản xuất của dự án. Bài toán nghiên cứu tập trung vào việc phát triển một cách nhanh chóng và hiệu quả các tính năng chung, nhằm giảm thiểu công việc lặp lại và đảm bảo tính đồng nhất về kiến trúc mã nguồn trong các ứng dụng. Tận dụng khả năng mạnh mẽ của HandlerbarJs và .NET Reflection, từ đó tự động phân tích các thực thể ánh xạ của cơ sở dữ liệu và tạo ra mã nguồn theo một cấu trúc được xây dựng trước đó. Quy trình tự động này giúp đảm bảo mã nguồn được tạo ra chính xác và giúp tránh các sai sót do con người trong quá trình lập trình thủ công.
Hệ mã hóa đồng cấu dùng sơ đồ hệ mật ECC-ElGamal và ứng dụng
Keywords: An toàn thông tin -- Hệ mã hóa đồng cấu, Hệ mã hóa đồng cấu -- Bỏ phiếu từ xa

Bầu cử, biểu quyết là một trong những hoạt động quan trọng nhất trong mọi tổ chức, đoàn thể cũng như các hình thức tổ chức chính trị. Với sự phát triển của kết nối toàn cầu như hiện nay và đặc biệt là đại dịch COVID diễn ra gần đây, bài toán bỏ phiếu online lại càng được xem trọng. Tuy loại bỏ được nhược điểm về khoảng cách địa lý cũng như việc đi lại, việc bỏ phiếu online lại dấy lên mối bận tâm về việc bảo mật thông tin phiếu bầu của các cử tri. Mối bận tâm này hoàn toàn có thể được giải quyết bằng mã hóa đồng cấu. Chương 1: Về hệ mã hóa đồng cấu: Trình bày những kiến thức nền tảng về khái niệm và lịch sử của mã hóa đồng cấu, một số hệ mã hóa đồng cấu nổi bật cùng sơ qua một số ứng dụng thực tế của mã hóa đồng cấu Chương 2: Hệ mã hóa đồng cấu dựa trên sơ đồ ECC-ElGamal: Trình bày các kiến thức về mật mã trên đường cong elliptic và hệ mật ECC-ElGamal, một hệ mật đồng cấu trên đường cong elliptic. Đồng thời, tôi cũng sẽ nghiên cứu về cách xây dựng đường cong elliptic 160-bit để hệ mật ECC-ElGamal của mình có thể sử dụng. Chương 3: Ứng dụng hệ mã hóa đồng cấu vào bỏ phiếu từ xa: Trình bày yêu cầu về một hệ thống bỏ phiếu online. Trình bày ý tưởng, thiết kế và lập trình và kiểm thử hệ thống bỏ phiếu từ xa trên hệ mật đồng cấu ECC-ElGamal. Đồng thời tôi tiến hành thực nghiệm hệ thống này trên quy mô nhỏ và đánh giá hệ thống được lập trình này.
Nghiên cứu tối ưu hóa cấu trúc cơ khí, ứng dụng trong công nghệ in 3D
Keywords: Điều khiển tự động -- Tối ưu hóa kết cấu cơ khí, Phương pháp tối ưu hóa

Thiết kế cơ khí được hiểu là một quá trình tính toán trong đó các nhà thiết kế vận dụng các kiến thức khoa học kỹ thuật để tạo một chi tiết máy đáp ứng một yêu cầu kỹ thuật nào đó phục vụ cho lao động sản xuất. Vì nhiều lý do, trong đó không ít lý do là thị trường cạnh tranh, một kỹ sư không chỉ quan tâm đến một thiết kế máy hoạt động đạt yêu cầu kỹ thuật đề ra mà còn là thiết kế tốt nhất theo một cách nào đó. Quá trình xác định thiết kế tốt nhất đó được gọi là tối ưu hóa. Một trong những trở ngại của quá trình tối ưu hóa kết cấu cho các chi tiết cơ khí đó là các kết cấu tối ưu này thường gặp khó khăn, vướng mắc trong quá trình chế tạo, sản xuất. Trong nhiều trường hợp việc chế tạo ra các kết cấu này là không thể, hoặc có thể chế tạo ra được nhưng rất mất thời gian và tốn kém. Sản xuất bồi đắp, còn được gọi là in 3D, sản xuất các chi tiết bằng cách thực hiện xếp chồng từng lớp vật liệu. Công nghệ này là tiềm năng để chế tạo các cấu trúc phức tạp, đặc biệt cho các cấu trúc tối ưu hóa cấu trúc liên kết. Không cần dụng cụ, khuôn mẫu hay các quy trình phức tạp, in 3D áp dụng linh hoạt cho mọi cấu trúc phức tạp, điều này không chỉ tiết kiệm chi phí sản xuất mà còn rút ngắn chu kỳ sản xuất, đặc biệt là trong tạo mẫu nhanh và sản xuất hàng loạt nhỏ. Ngoài ra, tiềm năng của in 3D về các cấu trúc phức tạp cũng thúc đẩy việc thiết kế các cấu trúc tích hợp giúp giảm số lượng chi tiết và quy trình lắp ráp. Luận văn tập trung nghiên cứu, tích hợp tối ưu hóa cấu trúc cơ khí và công nghệ in 3D để có thể tận dụng tối đa lợi thế và tiềm năng của chúng, đồng thời có triển vọng ứng dụng rộng rãi trong sản xuất hiện tại.
Nghiên cứu ứng dụng CI/CD hỗ trợ tích hợp và triển khai phần mềm
Keywords: Kỹ thuật phần mềm -- Ứng dụng CI/CD, Phần mềm tích hợp

Cấu trúc luận văn được chia làm 3 chương với các nội dung của từng chương như sau. Trước hết, trong chương 1, luận văn sẽ đi vào trình bày các kiến thức nền tảng liên quan đến quy trình phát triển phần mềm cũng như mô hình tích hợp liên tục và phân phối liên tục. Tiếp đó luận văn sẽ tập trung vào việc phân tích các thách thức đang tồn tại khi áp dụng mô hình tích hợp liên tục và phân phối liên tục vào quá trình phát triển phần mềm. Dựa trên các phần tích đã có trong Chương 1, trong Chương 2 luận văn sẽ xác định bài toán cần thực hiện để giải quyết các thách thức đã nêu và đề xuất một giải pháp để xây dựng một quy trình tích hợp và phân phối liên tục cho các dự án phần mềm, đồng thời cũng trình bày các công nghệ được áp dụng để xây dựng quy trình và lý do sử dụng công nghệ đó. Chương 3, luận văn sẽ trình bày cách thức triển khai một quy trình CI/CD cho hai ứng dụng mã nguồn mở khác nhau bằng việc áp dụng những giải pháp từ Chương 2. Cuối cùng, qua phần kết luận, luận văn sẽ tóm tắt lại thành quả nghiên cứu và đề xuất hướng nghiên cứu dự định trong tương lai.
Nghiên cứu chế tạo vật liệu nano composite từ than sinh học và vật liệu khung hữu cơ - kim loại (MOFs) ứng dụng cho hấp phụ khí CO2
Keywords: Chế tạo vật liệu nano composite, Than sinh học

Luận văn trình bày phương pháp chế tạo vật liệu Nanocomposite từ than sinh học và vật liệu khung hữu cơ-kim loại (MOFs). Khảo sát khả năng hấp phụ CO2 ở một số điều kiện sát với điều kiện nhiệt độ cao và nồng độ CO2 thấp. Than sinh học được lấy từ quá trình khí hóa sinh khối vỏ hạt mắc-ca, MOFs được sử dụng trong luận văn là Cu-BTC. Cấu trúc của vật liệu được xác định bằng phương pháp nhiễu xạ tia X (XRD). Hình thái học bề mặt được quan sát bởi phương pháp kính hiển vi điện tử quét (SEM). Các nhóm chức và nguyên tố xuất hiện trên bề mặt được xác định bằng phương pháp phổ hồng ngoại FTIR và phổ tán sắc năng lượng tia X (EDS). Phương pháp Brunauer – Emmett – Teller (BET) dùng để xác định diện tích bề mặt và thể tích lỗ rỗng xốp.
Nghiên cứu phương pháp xây dựng mô hình biểu diễn câu cho tiếng Việt và ứng dụng vào các bài toán phân cụm tin tức
Keywords: Khoa học máy tính, Xây dựng mô hình biểu diễn, Biểu diễn câu cho tiếng Việt, Bài toán phân cụm tin tức

Bài toán xây dựng mô hình biểu diễn câu (Sentence Embedding) là một trong những bài toán quan trọng trong lĩnh vực xử lý ngôn ngữ tự nhiên. Vector biểu diễn câu là đầu vào cho các bài toán như phân tích cảm xúc (Sentiment Analysis), phân loại văn bản (Text classification), tìm kiếm sự tương đồng (Text similarity), hỏi đáp (Question answering),... Do đó, mô hình biểu diễn câu càng tốt thì kết quả đem lại càng cao. Cũng đã có nhiều phương pháp được đưa ra nhưng chủ yếu thực hiện trên các nguồn dữ liệu tiếng Anh, trong tiếng Việt còn khá là hạn chế. Luận văn này sẽ nghiên cứu hai phương pháp xây dựng mô hình biểu diễn câu là SimCSE và PaSeR và áp dụng nó vào trong tiếng Việt. Hơn nữa, hiện tại cũng chưa có bộ dữ liệu chuẩn dành bài toán biểu diễn câu trong tiếng Việt nên luận văn cũng đề xuất một hướng xây dựng bộ dữ liệu tự động cho quá trình học không giám sát và đặt tên là unsupVNLI. Kết quả của nghiên cứu cũng được ứng dụng vào bài toán thực tế là gom nhóm tin tức.
Thiết kế bộ tăng tốc phần cứng CNN cho trích xuất đặc trưng Radiomics
Keywords: Kỹ thuật điện tử, Thiết kế bộ tăng tốc phần cứng, Phần cứng CNN, X-quang ngực

Covid-19 là một bệnh viêm đường hô hấp cấp do virus SARS-CoV-2 gây ra. Bệnh này có khả năng lây lan nhanh chóng và tiềm ẩn nguy cơ đe dọa tính mạng, vì vậy việc chuẩn đoán bệnh nhân nhiễm Covid-19 một cách nhanh chóng và chính xác là vô cùng quan trọng. Một trong những phương pháp để phát hiện và chẩn đoán Covid-19 là sử dụng mạng nơ-ron tích chập (CNN) để trích xuất đặc trưng từ ảnh X-quang phổi. Tuy nhiên CNN có tính phức tạp tính toán cao vì yêu cầu hàng tỷ thao tác cho mỗi hình ảnh và thời gian xử lý kéo dài. Để giải quyết vấn đề này đề tài "Thiết kế bộ tăng tốc phần cứng mạng CNN cho trích xuất đặc trưng Radiomics" đã được thực hiện với mục tiêu thiết kế được bộ tăng tốc phần cứng mạng CNN và trích xuất được đặc trưng Covid-19 từ ảnh X-quang phổi. Luận văn đã thực hiện các công việc thiết kế và mô phỏng các đơn vị tính tích chập và đơn vị tổng hợp tối đa, từ đó xây dựng mô hình CNN. Qua quá trình thiết kế và mô phỏng, các đơn vị tích chập và đơn vị tổng hợp được hoạt động đúng chức năng thuật toán. Mô hình CNN đã được xây dựng nhằm trích xuất đặc trưng Covid-19 từ hình ảnh X-quang phổi. Kết quả đạt được là mô hình CNN hiệu quả, giúp xử lý nhanh chóng và chính xác trong việc phát hiện và phân loại Covid-19. Nhờ sự hỗ trợ của bộ tăng tốc phần cứng, hiệu suất tính toán được tối ưu hóa và tiêu thụ năng lượng được giảm xuống, từ đó nâng cao khả năng ứng phó với tình hình đại dịch toàn cầu.
Phương pháp sinh tự động giao diện người dùng từ mô hình yêu cầu FRSL
Keywords: Kỹ thuật phần mềm, Biểu diễn các đối tượng, kỹ thuật mô hình hóa, Sinh tự động giao diện người

Hiện nay trong quy trình phát triển phần mềm truyền thống đang phụ thuộc nhiều vào các yếu tố con người cũng như quy trình của một tổ chức doanh nghiệp. Với các hệ thống ngày càng đa dạng và phức tạp thì không tránh khỏi những phát sinh ngoài mong muốn như sai sót hay hiệu năng, chi phí để phát triển một hệ thống hoàn chỉnh. Bên cạnh đó, giao diện người dùng rất quan trọng trong thời đại ứng dụng web và di động ngày nay. Do đó, phương pháp tự động hóa trong việc tạo bản mẫu giao diện người dùng từ các đặc tả yêu cầu chức năng ban đầu là nhu cầu vô cùng thiết yếu. Bằng cách áp dụng phương pháp này, ta có thể biểu diễn và mô tả các yêu cầu và thiết kế của giao diện bằng các mô hình trừu tượng, không dựa vào mã nguồn cụ thể. Tính tự động hóa trong việc sinh giao diện từ mô hình giúp giảm thiểu công sức viết mã và tăng tính tái sử dụng. Thay vì chỉnh sửa mã giao diện trực tiếp, chỉ cần cập nhật mô hình và chạy lại quá trình sinh mã, giúp giảm thiểu thời gian và công sức cần thiết để duy trì và nâng cấp giao diện. Mô hình hóa trong việc phát triển giao diện hướng mô hình giúp diễn đạt và hiểu rõ hơn về yêu cầu và thiết kế của hệ thống trước khi bước vào việc viết mã nguồn. Điều này giúp giảm thiểu sai sót và tăng tính nhất quán trong quá trình phát triển. Tự động hóa giao diện hướng mô hình cũng giúp tăng tính linh hoạt và dễ dàng thay đổi khi cần thiết. Các thay đổi trong mô hình có thể dễ dàng được cập nhật và áp dụng vào quy trình phát triển mà không làm ảnh hưởng đến mã nguồn hiện tại, giúp tiết kiệm thời gian và công sức. Chính vì lẽ đó, hướng tiếp cận của luận văn là áp dụng các luật chuyển đổi để biểu diễn giao diện phác thảo từ các thành phần của mô hình yêu cầu FRSL. Mô hình FRSL sẽ đóng vai trò mô hình hóa phân tích xử lý đặc tả các ca sử dụng, từ đó, xây dựng các đặc tả cho các chức năng, đối tượng theo yêu cầu của tình huống nghiên cứu cụ thể. Luận văn sẽ xây dựng các bộ luật để chuyển đổi, xây dựng các chức năng, biểu diễn các đối tượng tương ứng theo mô hình IFML. Sau đó, với phần đồ họa sử dụng công cụ tích hợp để sinh tự động bản mẫu giao diện người dùng theo đặc tả ca sử dụng.
Ứng Dụng Các Mô Hình Học Sâu Tóm Tắt Văn Bản Tiếng Việt Tự Động
Keywords: Khoa học máy tính, Xử lý dữ liệu, Tóm tắt văn bản tự động

Trong kỷ nguyên số với sự phát triển mạnh mẽ của mạng Internet, công nghệ thông tin như hiện nay lượng tài liệu văn bản khổng lồ được tạo ra với nhiều mục đích sử dụng khác nhau như: nội dung các trang web, tin tức, mạng xã hội, blog, sách, tiểu thuyết, tài liệu chuyên ngành, bài báo khoa học,… khiến cho việc đọc hiểu và trích lược các thông tin cần thiết trong khối tri thức đồ sộ này tốn nhiều thời gian và chi phí. Do nội dung các văn bản này tăng lên theo cấp số nhân hằng ngày nên người dùng sẽ mất nhiều thời gian hơn để tìm kiếm thông tin mà mình quan tâm. Kết quả là người dùng sẽ dễ bị bao quanh bởi nhiều thông tin lặp lại hoặc không quan trọng trong các văn bản kết quả tìm kiếm dẫn đến việc chưa nắm được và hiểu hết các nội dung thực sự quan trọng. Vì vậy việc tóm tắt và cô đọng các nguồn văn bản trở nên quan trọng và cấp thiết trong kỷ nguyên số hiện nay để tăng hiệu quả cũng như tăng khả năng tiếp nhận, giảm thời gian cần thiết để nắm bắt thông tin của người dùng. Tóm tắt văn bản thủ công là một tác vụ tốn kém nhiều nguồn lực về công sức và thời gian của con người. Để giải quyết vấn đề này, nhiều nghiên cứu về khai phá dữ liệu, xử lý ngôn ngữ tự nhiên đã được thực hiện nhằm xây dựng các phương pháp tóm tắt văn bản tự động. Nội dung của luận văn gồm 4 chương: Chương 1 trình bày tổng quan về tóm tắt văn bản. Chương 2: Kiến thức cơ sở. Chương 3: Phương pháp tóm tắt văn bản. Chương 4: Thực nghiệm
Thiết kế và điều khiển hệ thống phân loại hàng hóa công nghiệp với PLC và Robot tay máy
Keywords: Kỹ thuật điện tử, Điều khiển hệ thống

Đề tài nghiên cứu tập trung vào việc phát triển một hệ thống phân loại sản phẩm tự động sử dụng PLC kết hợp tay máy robot trong một dây chuyền sản xuất công nghiệp. Nghiên cứu có thể liên quan đến các ngành công nghiệp như sản xuất, đóng gói, hoặc lắp ráp, và đề cập đến tính cấp thiết của việc tự động hóa quy trình phân loại sản phẩm để cải thiện năng suất, độ chính xác, và giảm bớt công sức lao động. Nhiệm vụ chính thực hiện trong luận văn là: Thiết kế mô hình dây chuyền phân loại hàng hóa công nghiệp phục vụ cho việc nghiên cứu các yếu tố ảnh hưởng đến chất lượng xử lý ảnh trong công nghiệp. Mô hình hóa sự liên kết linh hoạt giữa các cơ cấu, thiết bị điều khiển tronghệ thống như: Robot, PLC, Camera, PC,...
Nghiên cứu và tối ưu các kỹ thuật phân tích ảnh ứng dụng trong hệ thống phân loại hàng hóa công nghiệp
Keywords: Kỹ thuật điện tử, Kỹ thuật phân tích ảnh ứng dụng

Các phương pháp xử lý, nâng cao chất lượng ảnh thiếu sáng. Xác định được mối tương quan giữa cường độ sáng theo giá trị Lux và thống kê Histogram ảnh xám. Đánh giá độ chính xác của các phương pháp nhận dạng học máy và học sâu với các điều kiện khác nhau về cường độ ánh sáng. Phân tích, đánh giá các kết quả để tìm được điểm tối ưu về mức cường độ sáng dựa trên kết quả nhận dạng, phân loại theo SVM(Support Vector Machine). Áp dụng các thuật toán, điều kiện tối ưu vào việc xây dựng chương trình Vision phân loại sản phẩm công nghiệp.
Phương pháp tăng tốc độ sử dụng bàn phím ảo dựa trên tín hiệu điện não của người dùng trong hệ thống giao diện não - máy tính
Keywords: Khoa học máy tính, Bàn phím ảo ET

Luận văn này trình bày một phương pháp tăng tốc độ sử dụng bàn phím ảo trong giao diện não-máy tính. Mục tiêu của luận văn là điều chỉnh thời gian chờ nhập của bàn phím ảo ET ( bàn phím sử dụng tín hiệu mắt như là một con trỏ thực hiện các thao tác chọn phím). Việc điều chỉnh thời gian chờ nhập phím là cần thiết, đặc biệt trong việc đảm bảo trải nghiệm cũng như tình trạng sức khỏe của người dùng là các bệnh nhân bị tổn thương chức năng vận động như ALS hay đột quỵ. Để giải quyết nhiệm vụ này, luận văn sử dụng tín hiệu điện não để xác định trạng thái tập trung của người dùng, qua đó điều chỉnh thời gian chờ nhập phím dựa vào chỉ số độ tự tin của mô hình học máy được đào tạo trên một tập dữ liệu lớn tín hiệu điện não của nhóm người thường và người bị tổn thương chức năng vận động. Các dữ liệu thu được trong quá trình người dùng sử dụng bàn phím ảo cũng được lưu lại để tái huấn luyện và tinh chỉnh mô hình để phục vụ cho mục đích cá nhân hóa người dùng.
Nghiên Cứu Nhận Dạng Hệ Thống Với Tri Thức Mới Cho Hệ Thống Truyền Thông Mimo Kích Thước Lớn
Keywords: Nhận dạng hệ thống; MIMO kích thước lớn; Tri thức mới; CRB; Học sâu

Các thế hệ mạng di động như 5G hay WiFi 802.11ax hiện nay đang phải sử dụng một phần đáng kể băng thông và tài nguyên tính toán cho việc nhận dạng kênh truyền vô tuyến. Luận văn tập trung vào giảm thiểu chi phí và độ phức tạp của việc ước lượng kênh truyền trong các hệ thống MIMO kích thước lớn bằng việc sử dụng các “tri thức mới”, ví dụ phương pháp bán mù sử dụng thêm các thông tin bên lề về cấu hình mảng ăng-ten hay học máy, học sâu sử dụng thông tin khác với thông tin kênh. Trước hết, đường bao Cramér Rao được sử dụng để xem xét sai số ước lượng tối thiểu của việc nhận dạng kênh truyền khi thay đổi cấu hình của các mảng ăng-ten MIMO kích thước lớn cũng như khi sử dụng giải thuật bán mù nhằm giảm thiểu chi phí. Kết quả mô phỏng chỉ ra rằng các cấu hình mảng ăng-ten 3D (ví dụ: UCyA) không những giúp tiết kiệm diện tích triển khai mà còn giảm sai số trong quá trình ước lượng kênh truyền. Bên cạnh đó, sử dụng một phần thông tin thống kê từ dữ liệu chưa biết trước theo hướng tiếp cận bán mù cũng có thể làm tăng tính chính xác của việc ước lượng. Sau đó, một mạng nơ-ron sâu có tên ISDNN được đề xuất cho cả hai mô hình kênh truyền có cấu trúc và không sử dụng cấu trúc để nhận dạng các hệ thống viễn thông MIMO kích thước lớn. Mạng nơ-ron được đề xuất cho sai số và độ phức tạp đều thấp hơn các giải thuật ước lượng tuyến tính như ZF hay MMSE với độ lợi có thể lên đến 103 về tỷ lệ lỗi bít và giảm O(L) về độ phức tạp. Ngoài ra, khi so sánh với một mạng nơ-ron sâu khác là DetNet, chỉ với 24 tham số học, độ chính xác của ISDNN cũng vượt trội, tiệm cận tỷ lệ lỗi bít 10−4 . Các nghiên cứu trong luận văn chỉ ra tiềm năng của việc ứng dụng các “tri thức mới” trong việc ước lượng kênh truyền, khi có thể giải quyết nhiều bài toán như chi phí, độ phức tạp, và hiệu năng.
Nghiên cứu giải pháp sinh dữ liệu kiểm thử tự động hiệu quả cho các dự án điều khiển ô tô sử dụng ngôn ngữ C/C++
Keywords: Ngôn ngữ lập trình ; Kiểm thử tự động, Dữ liệu kiểm thử tự động

Kiểm thử đơn vị các dự án C/C++, đặc biệt là các dự án phần mềm cho xe ô tô, đã và đang trở thành một bài toán thu hút sự quan tâm của cả cộng đồng nghiên cứu lẫn các công ty phát triển phần mềm. Hiện nay, các phương pháp kiểm thử phần mềm tự động đang được nghiên cứu và áp dụng rộng rãi để đảm bảo chất lượng và độ tin cậy của sản phẩm phần mềm. Kiểm thử phần mềm tự động có thể phân loại thành hai hướng tiếp cận chính là kiểm thử tĩnh và kiểm thử động. Kế thừa hai hướng tiếp cận trên, kiểm thử tượng trưng động được đề xuất với nhiều cải tiến và thu được những thành tựu nhất định. Dù là một bài toán quan trọng đã trải qua quá trình nghiên cứu và tìm hiểu lâu dài nhưng hiện nay chưa có một phương pháp kiểm thử phần mềm tự động nào thực sự đủ tốt. Khi áp dụng các hướng tiếp cận này, một số vấn đề nảy sinh trong quá trình kiểm thử đơn vị tự động cho các đơn vị mã nguồn của dự án xe ô tô. Luận văn này đề xuất một phương pháp sinh dữ liệu kiểm thử đơn vị nhằm giải quyết các hạn chế kể trên. Phương pháp đề xuất giúp tăng độ bao phủ kiểm thử và nâng cao độ tin cậy của mã nguồn ngay trong quá trình phát triển phần mềm khi mã nguồn chưa hoàn thiện. Ý tưởng chính của phương pháp đề xuất là (i) xử lý các tình huống cú pháp, kiểu dữ liệu đặc biệt trong mã nguồn C/C++, (ii) cải tiến quy trình sinh dữ liệu kiểm thử theo hướng tiếp cận kiểm thử tượng trưng động, và (iii) tích hợp kỹ thuật tự động tạo giả lập đơn vị mã nguồn. Phương pháp đề xuất đã được cài đặt thành một công cụ hỗ trợ kiểm thử tự động cho nhiều dự án phần mềm điều khiển xe ô tô viết bằng C/C++. Kết quả thực nghiệm cho thấy rằng phương pháp có khả năng sinh ra một lượng ít hơn dữ liệu kiểm thử nhưng vẫn đảm bảo nâng cao độ phủ mã nguồn đạt được so với các phương pháp truyền thống. Phương pháp đề xuất đã được tích hợp vào công cụ AKAUTAUTO - sản phẩm hợp tác nghiên cứu giữa Phòng thí nghiệm đảm bảo chất lượng phần mềm (khoa Công nghệ thông tin, Trường Đại học Công nghệ, ĐHQGHN) và đơn vị FGA–GAM (FPT Global Automotive & Manufacturing) để kiểm thử tự động các phần mềm điều khiển xe ô tô. Những kết quả tích cực của phương pháp đề xuất cho thấy tiềm năng ứng dụng thực tế để kiểm thử các thư viện và dự án nhúng C/C++ có kích thước lớn.
Sinh chế tác phần mềm từ đặc tả yêu cầu hướng mô hình
Keywords: Phần mềm ; Yêu cầu hướng mô hình, Kỹ thuật phần mềm

Kỹ nghệ phần mềm hướng mô hình (MDSE) dựa trên nền tảng mô hình hóa các khía cạnh của hệ thống đang trở thành một phương pháp phổ biến. Trong đó kỹ thuật chuyển đổi mô hình nhằm tạo ra các chế tác phần mềm đóng vai trò quan trọng. Các chế tác phần mềm bao gồm giao diện bản mẫu, các mô hình thiết kế UML, mã nguồn chương trình, bộ ca kiểm thử…Luận văn hướng tới một trong những chế tác phần mềm đó là ca kiểm thử. Việc sinh tự động ca kiểm thử từ đặc tả yêu cầu chức năng có một số khó khăn, bao gồm: (1) Đặc tả chính xác các yêu cầu chức năng; (2) Biễn diễn chính xác các ca kiểm thử; (3) Phát triển các chuyển đổi mô hình để sinh các ca kiểm thử. Theo đó, luận văn giới thiệu một phương pháp sinh tự động ca kiểm thử theo tiếp cận hướng mô hình, cụ thể như sau. Đầu tiên, các yêu cầu chức năng tương ứng với mô hình ca sử dụng sẽ được đặc tả chính xác dựa vào ngôn ngữ đặc tả FRSL. Tiếp đó, luận văn tập trung xây dựng bộ chuyển đổi để chuyển từ mô hình FRSL sang mô hình Filmstrip. Ở đây, mô hình Filmstrip được sử dụng để biểu diễn mô hình ca kiểm thử. Bằng cách sử dụng kỹ thuật tìm kiếm mô hình, từ mô hình Filmstrip này các ca kiểm thử có thể được sinh tự động