_ Mời bạn đọc đăng ký làm thẻ để được sử dụng tài liệu hoặc liên hệ số điện thoại: 0985803323
Tài liệu Thư viện số
Danh mục TaiLieu.VN
Formalizing and checking web service discovery models using B
Các phương pháp hình thức đã được ứng dụng thành công để kiểm chứng mô hình kiến trúc hướng dịch vụ tại giai đoạn thiết kế. Bài báo này đề xuất một phương pháp hình thức để đặc tả và kiểm chứng sự tương thích giữa các yêu cầu của dịch vụ web so với khả năng đáp ứng của chúng. Mời các bạn tham khảo nội dung bài báo.
12 p thuviendanang 27/12/2017 195 1
Từ khóa: Tạo chí tin học, Điều khiển học, Checking web service discovery models using B, Web service, Mô hình kiến trúc hướng dịch vụ
A study on detection techniques for downlink in multi carrier CDMA system
In this paper, we consider and compare several different detection techniques for the down link of a MC-CDMA system in terms of bit error rate (BER) performance. In addition, an analysis of the linear detection approach named minimum mean square error (MMSE) multi-user detection per user (MMSE MUD) is presented.
12 p thuviendanang 27/12/2017 209 1
Từ khóa: Tạo chí tin học, Điều khiển học, A study on detection techniques, Downlink in multi carrier CDMA system, Hệ thống CDMA, Thuật toán MMSE
Computational detection of natural selection in gene family expansion and contraction
Here we use a model of stochastic birth and death for mapping gene family evolution onto a phylogeny, and show that it can be efficiently applied to multispecies comparisons. The model offers the opportunity for researchers to make stronger inferences regarding the role of natural selection and changing duplication and deletion rates in gene family expansion or contraction. The work is performed as a part of the first author’s MS thesis...
14 p thuviendanang 27/12/2017 193 1
Từ khóa: Tạo chí tin học, Điều khiển học, Computational detection, atural selection, Gene family expansion, Cơ sở thống kê
About convergence rates in regularization for ill posed operator equations of hammerstein type
The aim of this paper is to study convergence rates of the regularized solutions in connection with the finite-dimensional approximations for the operator equation of Hammerstein type x+ F2F1(x)=f in reflexive Banach spaces under the perturbations for not only the operators Fi,i=1,2, but also f.
9 p thuviendanang 27/12/2017 183 1
Từ khóa: Tạo chí tin học, Điều khiển học, About convergence rates, Hammerstein type, nghiệm hiệu chỉnh, Toán tử ngược đơn điệu
A new method to implement AFij at core routers in diffserv networks
The most complicated part in DiffServ implementation belongs to AF BHP. Indeed, the complication of AF comes not only from its architecture, but also from its goals. This paper will propose a method to implement AFij of AF BHP at core routers in DiffServ networks. Using this method, we can make AF subclasses (AFij ) easily. Moreover, the performance of the system will be better since the mechanism has congestion control ability and fair...
9 p thuviendanang 27/12/2017 488 1
Từ khóa: Tạo chí tin học, Điều khiển học, A new method to implement AFij, Riffserv networks, Kiến trúc dịch vụ, Mạng dịch vụ
Một thuật toán lọc công tác cho trường hợp ít dữ liệu
The method formulates the collaborative filtering problem as classification problems and performs classification for all users simultaneously by using a modified boosting algorithm. This allows sharing common features among different classification tasks and thus reduces the negative effect of data sparseness. Experimental results show the effectiveness of the proposed method in comparison with other methods, especially when data are sparse.
13 p thuviendanang 27/12/2017 235 1
Từ khóa: Tạo chí tin học, Điều khiển học, Thuật toán lọc, Collaborative filtering, Lọc cộng tác, Thương mại điện tử, Cơ sở dữ liệu
Luật chuyển gia tử và tính chất bao hàm
Bài báo đề cập đến các tính chất quen thuộc khi sử dụng tập mờ và đại số gia tử là tính chất bao hàm và tính chất kế thừa ngữ nghĩa. Để các xử lý trên đại số gia tử thỏa mãn tính chất bao hàm khi chuyển gia tử. Mời các bạn cùng tham khảo.
10 p thuviendanang 27/12/2017 267 1
Từ khóa: Tạo chí tin học, Điều khiển học, Luật chuyển gia tử, Đại số gia tử, Tính chất kế thừa gia tử, Tính chất bao hàm gia tử
Constructing a bayesian belief network to generate learning path in adaptive hypermedia system
In this paper, we promote an algorithm based on shortest path search algorithm to evaluate learning object (LO) based on its attributes and constructed a Bayesian Belief Network (BBN) to generate learning path for each learner.
8 p thuviendanang 27/12/2017 151 1
Từ khóa: Tạo chí tin học, Điều khiển học, A bayesian belief network, Generate learning path, Adaptive hypermedia system, Hệ thống học thích nghi
Nghiên cứu phát hiện vết nứt trên vỏ trứng cút dùng xử lý ảnh và mạng nơron
Bài báo đề xuất phương pháp mới trong việc phát hiện vết nứt trên vỏ trứng cút, phương pháp này dùng kết hợp xử lý ảnh với mạng nơ ron. Giá trị histogram của ảnh rọi trứng cút được sử dụng làm dữ liệu huấn luyện mạng và kiểm tra độ chính xác của phương pháp đề xuất. Đầu tiên, các ánh sáng trắng, vàng, đỏ từ led luxeon được sử...
11 p thuviendanang 27/12/2017 276 1
Từ khóa: Tạo chí Tin học, Điều khiển học, Vỏ trứng cút, Xử lý ảnh, Phát hiện vết nứt trên vỏ trứng cút, Phân loại trứng cút, Quail eggs grading, Image processing, Neural networks
Phân mảng trên giá trị lặp của các thuộc tính cơ sở dữ liệu quan hệ
The original database may be rebuilt from the subfragmentations and the aliases. The fragmentation of the given relational database by group of the repeated values of the attributes will save the needed memory, increase the processing speed of data. This work has been applied in people’s committee of Hatay province and its districts and precints.
13 p thuviendanang 27/10/2017 168 1
Từ khóa: Tạo chí tin học, Điều khiển học
Cơ chế máy học chấn đoán virus máy tính
When computer virus wide spreads in the world nowadays, anti-virus needs to improve their identifying methods to enhance the performance. In this paper, we introduce a new method to diagnose computer virus. First, we analyse the characteristics of viral data type to define virus classes through object-oriented methods. Second, we study the machine learnning mechanism for each virus class. Finally, we apply these learning forms to a data...
10 p thuviendanang 27/10/2017 253 1
Từ khóa: Tạo chí tin học, Điều khiển học, Cơ chế máy học, Chẩn đoán virus máy tính, Virus máy tính, Hệ thống máy tính, The computer virus
Tổng hợp hệ thống thống suy diễn Neuro-Fuzzy thích nghi (Anfis) từ tập dữ liệu số.
Độ chính xác của hệ thống suy diễn Neuro-Fuzzy xấp xỉ hàm chưa biết diễn tả mối quan hệ giữa tín hiệu vào và ra của đối tượng thông qua một tập dữ liệu số phụ thuộc vào mức độ phù hợp giữa các tập mờ được thiết lập và đặc thù không gian của dữ liệu. Mời các bạn cùng tham khảo nội dung chi tiết về vấn đề này qua nội dung bài báo.
15 p thuviendanang 27/10/2017 261 1
Từ khóa: Tạo chí tin học, Điều khiển học, Tập dữ liệu số, Hệ thống suy diễn Neuro-Fuzzy, Neuro-Fuzzy xấp xỉ, Tập dữ liệu số, Đặc thù không gian của dữ liệu
Đăng nhập
Bộ sưu tập nổi bật