Some problems on the functional dependency related to armstrong relations in the relational datamodel.
Journal of Computer Science and Cybernetics - Tập 14 Số 1 - Trang 1-8 - 2016
Vu Duc Thi
In the paper, we give some results to combinatorial algorithms for functional dependency (FD for short) connecting the construction of Armstrong relations, relation schemes, the FD-relation implication problem, and the FD-relation equivalence problem. These algorithms play important roles in logical and structural investigations of the relational data model. Now, they are know to have exponential ...... hiện toàn bộ
Geometrical correction and geo-referencing for automatic map data entry
Journal of Computer Science and Cybernetics - Tập 15 Số 2 - Trang 54-60 - 2016
Ngô Quốc Tạo
This paper presents the method of Geometrical Correction and Geo-referencing for Automatic Map Data Entry. We propose the method to find linear and polynomial transformations. We transform relative coordinate system maps vectorized into maps of projection coordinate systems. Be side, we use this method to merge two pages of an image (a map) into a page. The paper also present the selecting most ap...... hiện toàn bộ
Mô hình nền tảng máy chủ chia sẻ và bài toán vector packing trong cung cấp tài nguyên cho dịch vụ ảo hóa
Journal of Computer Science and Cybernetics - - 2014
Đoàn Văn Ban, Phạm Minh Nhật, Lê Văn Sơn
Tối ưu hóa tài nguyên để cung cấp cho dịch vụ ảo hóa nhằm nâng cao hiệu suất dịch vụ IaaS (infrastructure as a service), đáp ứng yêu cầu khai thác tài nguyên hiệu quả trong Điện toán Đám mây là vấn đề đang được quan tâm hiện nay. Trong bài báo này, chúng tôi nghiên cứu bài toán cung cấp tài nguyên đa chiều từ nền tảng máy chủ chia sẻ cho dịch vụ ảo hóa, đưa ra công thức tính trên cơ sở bài toán q...... hiện toàn bộ
#Resource allocation #vector packing #cloud computing #linear programming.
Các thuật toán qui hoạch động song song để nhận dạng ảnh dựa trên đường biên
Journal of Computer Science and Cybernetics - Tập 6 Số 4 - Trang 6--15 - 2018
Giang Vu Thang
The dynamic programming is an important procedure for speed understanding and image recognition. In this paper, the application of dynamic programming to recognize the shape basing on its contour is recalled, then the parallenlism of this process is analyzed and exploited. Some parallel dynamic programming algorithms for evaluating the smallest value of the minimum intersegment distance path in a...... hiện toàn bộ
Analyses of robust stablity of imc control systems
Journal of Computer Science and Cybernetics - Tập 14 Số 1 - Trang 19-25 - 2016
Vu Ngoc Phan
The IMC structure of control systems shows advantages over the other control structures. The IMC structure permits US overcoming dificulties when a limitation of actuating magnitude as well as nonlinearity of the plant must be taken in account. The target of this paper is to describe the IMC control systems and their stability robustness. In Section 2 the normal feedback structure and the IMC stru...... hiện toàn bộ
Một số vấn đề cơ bản của hệ điều hành thời gian thực
Journal of Computer Science and Cybernetics - - 2016
Phan Minh Tân
This paper is concerned with the design of operating systems for realtime or online computer systems. An online or realtime operating system must respond to all critical demands in restricted times promply. After presenting the functions and principles of design, some examples of using Realtime Operating System in measurement and control are given for illustration.
Benchmarking NIPT algorithms on detecting numerical chromosome trisomyJournal of Computer Science and Cybernetics - Tập 40 Số 2 - Trang 103--115 - 2024
Le Sy Vinh
Noninvasive prenatal test (NIPT) is a widely used screening method to detect trisomy on chromosomes 13, 18, and 21. The lack of positive samples prevents us from examining the performance of NIPT algorithms on detecting trisomy on other chromosomes. Recently, we have introduced an efficient computational method to generate positive samples with trisomy from negative samples. In this paper, we appl...... hiện toàn bộ
#Non-invasive prenatal test (NIPT) #WisecondorX #VINIPT #CNVKit #Autosomal trisomy #Simulation.
Thuật toán phân tích nguyên tố đối với siêu mãJournal of Computer Science and Cybernetics - Tập 29 Số 4 - Trang 351-357 - 2014
Hung Van Kieu
Siêu mã, một loại mã độ dài thay đổi có nhiều tính chất đặc biệt, đã được giới thiệu và nghiên cứu bởi Đỗ Long Vân và tác giả trong một số bài báo gần đây. Một siêu mã được gọi là nguyên tố nếu nó không thể phân tích thành tích ghép của hai siêu mã khác. Phân tích nguyên tố đối với một siêu mã là phân tích nó thành tích ghép của các siêu mã nguyên tố. Trong bài báo này, một thuật toán phân tích ng...... hiện toàn bộ
#Code #supercode #prime supercode #prime decomposition
Một phương pháp xử lý truy vấn trong CSDL mờ tiếp cận ngữ nghĩa lân cận đại số gia tử
Journal of Computer Science and Cybernetics - Tập 24 Số 4 - Trang 281-294 - 2012
Nguyễn Cát Hồ, Nguyễn Công Hào