Tìm kiếm tài liệu miễn phí

Kỹ thuật lập trình (36.371)

Aggregation for quality management

The problem relevant for quality management such as aggregation of many features into one representative is analyzed. Actually, in quality management practice, standard approaches to aggregation are often trivial and as a consequence - inadequate. In this paper, aggregation is treated as a logical and/or pseudo-logical operation that is important from many points of view such as adequacy and interpretations.


Layout design of user interface components with multiple objectives

A multi-goal layout problem may be formulated as a Quadratic Assignment model, considering multiple goals (or factors), both qualitative and quantitative in the objective function. The facilities layout problem, in general, varies from the location and layout of facilities in manufacturing plant to the location and layout of textual and graphical user interface components in the human–computer interface. In this paper, we propose two alternate mathematical approaches to the single-objective layout model.


On a second order step-size algorithm

In this paper we present a modification of the second-order step-size algorithm. This modification is based on the so called "forcing functions". It is proved that this modified algorithm is well-defined. It is also proved that every point of accumulation of the sequence generated by this algorithm is a second-order point of the nonlinear programming problem.


A parametric visualization software for the assignment problem

In this paper we present a parametric visualization software used to assist the teaching of the Network Primal Simplex Algorithm for the assignment problem (AP). The assignment problem is a special case of the balanced transportation problem. The main functions of the algorithm and design techniques are also presented. Through this process, we aim to underline the importance and necessity of using such educational methods in order to improve the teaching of Computer Algorithms.


Measuring and evaluating efficiency and effectiveness using goal programming and data envelopment analysis in a fuzzy environment

Generally, in most situations optimal achievement of multiple goals is rarely possible for crisp mathematical programming techniques. In such cases, a compromise achievement of goals that leads to a satisfycing solution rather than an optimal solution bears more relevance. The present research introduces a Fuzzy Goal Data Envelopment Analysis (Fuzzy GoDEA) framework to measure and evaluate the goals of efficiency and effectiveness in a fuzzy environment.


An illustration of harmonic regression based on the results of the fast fourier transformation

This paper, through several case studies, reports research results for computer algorithm providing a harmonic model for time series. The starting point of the particular method is a harmonic analysis (Fourier-analysis or Lomb-periodogram). The results are optimized in a multifold manner resulting in a model which is easy to handle and able to forecast the underlying data.


A technique for improving readability of forrester diagram in system dynamics

We describe a three-pass algorithm for improving the readability of Forrester Diagram in system dynamics. The first pass converts Forrester Diagram to recurrent hierarchy. The second pass sorts the vertices on each level, with the goal of minimizing crossings. The third pass is a finite tuning of the layout that determines the horizontal positions of vertices. An illustrative example is given to verify the result.


Luật khẳng định, phủ định và ứng dụng

Lập luận khẳng định và phủ định được ứng dụng nhiều trong thực tế, đặc biệt là trong y học. Bài viết giới thiệu một số khái niệm mở rộng luật phủ định, luật tối thiểu, thuật toán phát hiện tất cả luật khẳng định, phủ định tối thiểu.


Dịch tự động Việt - K’Ho sử dụng phương pháp dựa vào thống kê

Một ứng dụng dịch tự động (Machine Translation - MT) từ tiếng Việt sang tiếng dân tộc K’Ho được trình bày. Ứng dụng nhằm mục đích giới thiệu phương pháp dịch tự động dựa vào thống kê (Statistics Machine Translation - STMT). Do tiếng Việt và tiếng dân tộc K’Ho cùng ngữ hệ Nam Á, nhưng lại thuộc nhóm ngôn ngữ khác nhau, nên phần chuyển ngữ thường được xử lý bằng cách sử dụng từ vựng, cụm từ và câu, thay vì bằng quy tắc cú pháp tổng quát.


Ebook Java script notes for professionals

(BQ) Ebook java script notes for professionals present main content: Getting started with javascript, javascript variables, datatypes in javascript.


Ebook Programming with python

This book is an offshoot of this. In many ways, I am indebted to my students and colleagues over the decades; discussions with them, often spurred by a query, have been immensely helpful in honing my understanding and clarifying concepts. Implicitly the same is reflected in the book as well. I thank Suvira Srivastav and Praveen Kumar for steering the book through the Processes in Springer.


Ebook React in pattern

(BQ) The book is highly opinionated. It represents my own understanding of the described patterns and it is possible that they have a different interpretation around the web. Have this in mind when arguing with someone and using this book as an argument.


Ebook Android notes for professionals

(BQ) Ebook Android notes for professionals present main content: Getting started with android, android studio, instant run in android studio and coordinator layout and mehaviors.


Một số ảnh hưởng mang tính kỹ thuật và xã hội lên thành quả đội ảo

Bài báo này sử dụng góc nhìn kỹ thuật - xã hội để tổng hợp lý thuyết và đề xuất một mô hình khái niệm về ảnh hưởng của một số tiền tố kỹ thuật và một số tiền tố xã hội lên thành quả đội ảo. Sau đó, một nghiên cứu định lượng trên 226 mẫu hợp lệ được tiến hành với các phân tích EFA, CFA và SEM, thu được: (1) một mô hình nghiên cứu về ảnh hưởng của hai nhóm tiền tố kỹ thuật-xã hội lên thành quả đội ảo, và (2) một bộ thang đo gồm 25 biến đảm bảo độ tin cậy và độ giá trị.


Bài giảng Trí tuệ nhân tạo: Chương 3 - PGS.TS. Lê Thanh Hương (tt)

Bài giảng "Trí tuệ nhân tạo - Chương 3: Kỹ thuật giải quyết vấn đề" cung cấp cho người học các kiến thức: Biểu diễn bằng logic hình thức và các phương pháp chứng minh, một số phương pháp giải quyết vấn đề khác. Mời các bạn cùng tham khảo.


Bài giảng Trí tuệ nhân tạo: Giải thuật di truyền - PGS.TS. Lê Thanh Hương

Bài giảng "Trí tuệ nhân tạo: Giải thuật di truyền" cung cấp cho người học các kiến thức về lịch sử trí tuệ nhân tạo, tiến hóa trong thế giới thực, giải pháp tệ nhất, làm cách nào để mã hóa giải pháp,... Mời các bạn cùng tham khảo nội dung chi tiết.


Bài giảng Trí tuệ nhân tạo: Chương 4 - PGS.TS. Lê Thanh Hương

Bài giảng "Trí tuệ nhân tạo - Chương 4: Tri thức và suy diễn" cung cấp cho người học các kiến thức: Tri thức là gì, phân loại tri thức, suy diễn đối với logic mệnh đề, suy diễn lùi,... Mời các bạn cùng tham khảo nội dung chi tiết.


Bài giảng Trí tuệ nhân tạo: Chương 6 - PGS.TS. Lê Thanh Hương

Bài giảng "Trí tuệ nhân tạo - Chương 6: Học máy" cung cấp cho người học các kiến thức: Các phương pháp học, học, học có giám sát - qui nạp, học cây quyết định, học dựa trên mẫu, mạng nơron nhân tạo,... Mời các bạn cùng tham khảo.


Bài giảng Trí tuệ nhân tạo: Chương 5 - PGS.TS. Lê Thanh Hương

Bài giảng "Trí tuệ nhân tạo - Chương 5: Ngôn ngữ lập trình Prolog" cung cấp cho người học các kiến thức: Giới thiệu, cú pháp, cơ chế tìm lời giải của Prolog, danh sách (list). Mời các bạn cùng tham khảo nội dung chi tiết.


Bài giảng Trí tuệ nhân tạo: Chương 3 - PGS.TS. Lê Thanh Hương

Bài giảng "Trí tuệ nhân tạo - Chương 3: Kỹ thuật giải quyết vấn đề" cung cấp cho người học các kiến thức: Khoa học trí tuệ nhân tạo, phân loại vấn đề, các phương pháp biểu diễn vấn đề, giải quyết vấn đề,... Mời các bạn cùng tham khảo.


Bài giảng Trí tuệ nhân tạo: Chương 1 - PGS.TS. Lê Thanh Hương

Bài giảng Trí tuệ nhân tạo - Chương 1: Tổng quan cung cấp cho người học các kiến thức về trí tuệ nhân tạo là gì, các nội dung cơ bản, các hướng nghiên cứu cơ bản, lịch sử hình thành,... Mời các bạn cùng tham khảo nội dung chi tiết.


Bài giảng Trí tuệ nhân tạo: Chương 2 - PGS.TS. Lê Thanh Hương

Bài giảng "Trí tuệ nhân tạo - Chương 2: Tác tử thông minh" cung cấp cho người học các kiến thức: Tác tử và môi trường, một số đặc điểm của tác tử, PEAS – Những yếu tố cần xem xét khi thiết kế tác tử,... Mời các bạn cùng tham khảo.


Những nội dung ôn tập java core

Tài liệu "Những nội dung ôn tập java core" trình bày các tính Chất Của Java OOPs, các kiểu dữ liệu, các từ khóa (static, final, abstract , Interface , override, overload…) và xử lý ngoại lệ trong java. Mời các bạn tham khảo!


Some new de morgan picture operator triples in picture fuzzy logic

Some basic operators of fuzzy logic as negation, t-norms, t-conorms for picture fuzzy sets firstly are defined and studied in [6, 9]. This paper is devoted to some classes of representable picture fuzzy t-norms and representable picture fuzzy t-conorms on PFS and a basic algebra structure of Picture Fuzzy Logic De Morgan triples of picture operators.


Automatic heart disease prediction using feature selection and data mining technique

This paper presents an automatic Heart Disease (HD) prediction method based on feature selection with data mining techniques using the provided symptoms and clinical information assigned in the patients dataset. Data mining which allows the extraction of hidden knowledges from the data and explores the relationship between attributes, is the promising technique for HD prediction.


Minimizing makespan of personal scheduling problem in available time -windows with split min and setup time constraints

This paper deals with personal scheduling problem in available time-windows with splitmin and setup-time constraints. The jobs are splittable into sub-jobs and a common lower bound on the size of each sub-job is imposed. The objective function aims to find a feasible schedule that minimizes the total completion time of all jobs.


GMM for emotion recognition of Vietnamese

The results showed that the recognition scores are rather high with the case for which there is a full combination of parameters as MFCC and its first and second derivatives, fundamental frequency, energy, formants and its correspondent bandwidths, spectral characteristics and F0 variants.


Congestion control algorithm for message routing in structured peer to peer networks

This paper proposes a congestion control algorithm for message routing in structured P2P networks by changing the routing table of nodes in the network to route the packet to the destination without going through congested nodes. The performance of the proposed the method has been evaluated and compared with the conventional Chord protocol.


Some algorithms related to consistent decision table

In this paper, we propose an algorithm finding object reducts of consistent decsion table. On the other hand, we also show an algorithm to find some attribute reducts and the correctness of our algorithms is proof-theoretical. These algorithms of ours have polynomial time complexity. Our finding object reduct helps other algorithms of finding attribute reducts become more effective, especially as working with huge consistent decision table.


Theoretical analysis of picture fuzzy clustering

Recently, picture fuzzy clustering (FC-PFS) has been introduced as a new computational intelligence tool for various problems in knowledge discovery and pattern recognition. However, an important question that was lacked in the related researches is examination of mathematical properties behind the picture fuzzy clustering algorithm such as the convergence, the boundary or the convergence rate, etc. In this paper, we will prove that FC-PFS converges to at least one local minimum. Analysis on the loss function is also considered.


Tài liệu mới download

Từ khóa được quan tâm

Có thể bạn quan tâm

Portwood_Bluetooth_Java
  • 01/10/2011
  • 68.874
  • 803
Secure PHP Development- P90
  • 08/12/2010
  • 80.069
  • 586

Bộ sưu tập

Danh mục tài liệu