Luận văn lý thuyết danh sách và quá trình tự Động hóa vận chuyển tại nhà máy sản xuất xi măng việt nam

Đề tải “Lý thuyết danh sách và quả trình tự động hóa vận chuyên tại nhà may san xuất xi măng Việt Nam”, sản phẩm của đề tải là một ứng dụng trên thực tế và có thẻ được sit dung ở các nhả

BỘ GIÁO DỤC VÀ ĐÀO TẠO

TRUONG DAI HOC BACH KHOA HA NOI

LY THI THANH VAN

LY THUYET DANH SACH VA QUA TRINH TY DONG HOA VAN CHUYEN

TAI NHA MAY SAN XUẤT XI MĂNG VIỆT NAM

Chuyên ngành : Toản Tìn ứng dụng

LUẬN VĂN THẠC SĨ KỸ THUẬT

NGƯỜI HƯỚNG DẪN KHOA HỌC

G§.TSKILẺ HIỦNG SƠN

Hà Nội - 2012

MUC LUC

CHƯƠNG L LÝ THUYÉT DANH SÁCH

1.1 Các phép toàn cơ băn( Hlementary Operations)

Ky téu danh sach(List notation) Chiều dải danh: sach(Length)

Sự ghép váo nhau, sự noi vao nhau(Con atenalion )

Ảnh xa(Map)

Bo loc(Filtcr)

Thép todn tham chidu( Operator Precedence)

Phép toan rut gon(‘The reduction operator) ccc eee

Giá trị giả (Fictitious values) Phép đồng cdu(Homomorphisms)

0 Đình nghấn bằng phép đẳng cdu (Definition by homonnorphiems)

Rut gon có hướng và đệ quy(Direoted reduction and recursiơn}

Rut gon bén trai va phai(Left and rịg ht ređuction)

Dé quy tinh chat (Recursive characterisation) Hiệu quá cúa việc cân nhie( ficiency cénideration)

Tinh déi ngu va tinh chuyén mn hoa(Duakily and sy

CHUONG I CAC UNG DUNG CUA LY THUYET DANH SACH cưa

2.1 Bai toán lãi tức

2.2 Bài toán dự báo à coi

2.3 Tỉnh lãi tức hàng năm

2.4, Giá trị hiện thời ucceooeeieerieirree

2.5 Tiên chịu nợ hàng năm

2.6 Hải toàn trả BÓP noi nrienieoe

2.7 Bai loan dur cl - - 34

2.8 Dạng chuẩn của bài toán quy hoạch tuyển tỉnh - - 35 3.8 Bài toán đối ngẫu HH1 te 35 CHƯƠNG II LÝ THUYÊT DANH SÁCH VÀ QUÁ TRÌNH TỰ ĐỒNG HÓA VẬN CHUYỂN VÀO BÀI TOÁX QUẢN I.Ý XÏ NGHIỆP XI MĂNG 37

3,1 Dầu vào bài toán ccoeeioer HH HH” HH Hg HH 137

3.2 Giải pháp "— TH game —- 3.3 Mỡ rộng, kh meerarerrieoou 3Ð CHUONG IV PHAN TICH THIRT KR HE THONG - 42 4.1 Phân tích yêu cầu HHHeeierrarreeroeoae.T2 4.2 Phâu tích chức năng sec Xeererseooo.48Ỷ 4.3 Mô bình hỏa chức năng - TH game we AS

SAL, Quản lý xe vàOT8 cài TH HH ham erriee „61

5.2 Quản lý thông tin cọ họng eregreeeereei 66

CHUONG I LÝ THUYÉT DANH SÁCH

1.1 Các phép toán cơ ban( Elementary Operations)

1.1.1 Kỷ hiệu danh séch(List notation)

Danh sach(list) là một bộ các giá trị tuyên tỉnh có tỉnh chất chung tương tự nhau bao gồm các phân tử: phần tử thứ nhất, phân tử thứ hai , phân tử thử n List(danh sách) còn được gọi là Sequence(tuân tự) được sử dụng trong toán học và các ngành khác

Một danh sách hữu han được biểu thị bằng cách sử dụng các dâu ngoặc vuông và dâu phẩy Vỉ dụ: [1,2.3) là một danh sách của ba số nguyên [[*b`,`y',`e'], ['b`,'y``e']] là một danh sách của hai phân tử, mỗi phân tử là một danh sách các ký tự

[Ï là một danh sách trồng, [a] là danh sách chứa một phan tử, [[]] là danh sách chửa một list trồng, hình thức đặc biệt [m n] sẽ được sử dụng đề biểu thị danh sách các số nguyên tăng dần theo thứ tự từ m đến n Nếu m> n thi [m n]=[]

Không giỏng như tập, danh sách có thẻ chửa nhiều giá trị tương tự nhau Ví dụ: [1,1] lả danh sách chứa hai phân tử 1,1

Danh sách là bộ các giá trị cùng một đặc tính chung Điều nảy có nghĩa là chủng ta có

thé có danh sách các số, danh sách của nhân vật, thâm chí liệt kê các chức năng, nhưng

sẽ không bao giờ kết hợp hai loại giá trị khác trong một danh sách Với hạn chế nảy,

các loại danh sách được xem xét có thẻ được mô tả một cách đơn giản Một danh sách các số sẽ được ký hiệu [Nưm], một danh sách các kỷ tự được kỷ hiệu [Char] Ví dụ: [[Num]] miêu tả danh sách kiểu số của một danh sách và [A => B] miêu tã danh sách các chức năng từ A đến B,

1.12 Chiều dài danh sách(Length)

Chiêu đài của một danh sách lả số các phân tử trong danh sách đó Chiều dải được tỉnh toán bằng phương thức # như sau:

Mân binh chức năng xóa thông tin xe trong xi nghiệp

Màn bình xóa thông ta lái xe(chưa chọu bản ghì)

Man hinh quản ly loại hàng Min hình chức năng sửa thông tin hàng hóa

Màn hình chức năng xóa thông tin hàng hỏa(chưa chon ban ghì) Màn bình xóa thông tin hàng hóa(đã chọn bản ghỉ)

Min bình quản lý đơn vị nhập hàng ò cecc>

Màn bình chức năng sửa thông tin đơn vị nhập hàng Min binh chức năng xóa thông tin đơn vị nhập hàng (chưa chọn bán ghì) Mân bình xóa thông tra đơn vị nhập hàng (dã chọn bản ghì)

Mở rộng: ƒ *+ trong đỏ,ƒ là mot ham so bien đổi a > f vax la mét danh sach cing với kiểu /aj Kết quả thu được sẽ là danh sách kiểu /J Các kiêu biến nay có thẻ được

biểu diễn bằng những kiểu đặc biệt ví dụ: nếu even : Miơn — Bool được miều tả như

Sau:

Even*[1 4] = [false, true, false, true],

Kết luận: hàm Even đã ánh xạ tư một giá trị kiểu số sang kiểu bool, kết quả trả vẻ là

kiểu bool

hư các phép toản khác, phép toán * là được xuất hiện trong việc tỉnh toán mở rộng

~_ *) là một hảm bien doi: fa] > [f] Hoac la anh xa: f: a Df

- (f)*) là một hàm đặt trên một danh sách của các danh sách và áp dụng sự biển đổi của hàm (/*) tới mọi phân tử của danh sách

Một số đặc điểm quan trọng của phép toản *

- Mi quan hệ giữa phép * và †† cho các danh sách x và y ta có

#*(x+y) = %) + /®)

- Tinh chat két hop

ứ g)*= *) (g*) Mặt khác: f là một hàm thuận và hàm ngược như sau:

Go =F

1.1.5 B6 loc(Filter)

Toan tir @ 1a chi ra tinh chat cia p, danh sach x va trả về một danh sách của x

thỏa man p Vi du: even 4 [1 10] = [2,4,6,8]

Phép toán nảy được đưa bởi ảnh xạ như sau:

4: (œ 2 Boal) x [a] > [a]

Mân binh chức năng xóa thông tin xe trong xi nghiệp

Màn bình xóa thông ta lái xe(chưa chọu bản ghì)

Man hinh quản ly loại hàng Min hình chức năng sửa thông tin hàng hóa

Màn hình chức năng xóa thông tin hàng hỏa(chưa chon ban ghì) Màn bình xóa thông tin hàng hóa(đã chọn bản ghỉ)

Min bình quản lý đơn vị nhập hàng ò cecc>

Màn bình chức năng sửa thông tin đơn vị nhập hàng Min binh chức năng xóa thông tin đơn vị nhập hàng (chưa chọn bán ghì) Mân bình xóa thông tra đơn vị nhập hàng (dã chọn bản ghì)

MỞ ĐẦU

Nguồn gốc của Toán học cũng như các ngành khoa học đều là các vẫn đề thực tế mả loài người cân tìm hiểu để cải thiện cuộc sông, Ngảy nay toản học có nhiêu ứng dung

rất rộng đãi trong các ngành khác nhau

Lý thuyết danh sách có rất nhiều ửng dụng trong thực tế: các ứng dung vao bài toán tài

chinh(bai toán lãi tức, bài toán đự báo ), bài toán vận tải, bài toán vẻ tính min, max và

quy hoạch tuyến tính

Đề tải “Lý thuyết danh sách và quả trình tự động hóa vận chuyên tại nhà may san xuất

xi măng Việt Nam”, sản phẩm của đề tải là một ứng dụng trên thực tế và có thẻ được

sit dung ở các nhả máy, xi nghiệp xi măng Việt Nam hay ở các công ty quản lý xe: xe

bus, taxi Sản phẩm của đề tải là một trong những ứng dụng thực tế của “Lý thuyết

danh sách” Vi vậy em chọn đề tài nảy để nghiên cửu về các phép toan va tmg dung của nó trong các lĩnh vực khác nhau

Mục đích chỉnh của luận văn là tìm hiểu về lý thuyết danh sách và các ứng dụng trên thực tế Luận văn gồm 6 chương:

Chương I Lý thuyết danh sách

Nội dung chính của chương 1 là đưa ra khái niệm, các định lý, bỏ đề trên danh sách va

các phép toản trên danh sách

Chương II Các ứng dụng của lý thuyết danh sách

Nội dung chính của chương II là tìm hiệu về các ứng dụng của lý thuyết danh sách trên thực tế ở các lĩnh vực khác nhau

Chương II Lý thuyết danh sách và quá trình tự động hóa vận chuyền vào bài toán quản lý xí nghiệp xi măng.

CHUONG I LÝ THUYÉT DANH SÁCH

1.1 Các phép toán cơ ban( Elementary Operations)

1.1.1 Kỷ hiệu danh séch(List notation)

Danh sach(list) là một bộ các giá trị tuyên tỉnh có tỉnh chất chung tương tự nhau bao gồm các phân tử: phần tử thứ nhất, phân tử thứ hai , phân tử thử n List(danh sách) còn được gọi là Sequence(tuân tự) được sử dụng trong toán học và các ngành khác

Một danh sách hữu han được biểu thị bằng cách sử dụng các dâu ngoặc vuông và dâu phẩy Vỉ dụ: [1,2.3) là một danh sách của ba số nguyên [[*b`,`y',`e'], ['b`,'y``e']] là một danh sách của hai phân tử, mỗi phân tử là một danh sách các ký tự

[Ï là một danh sách trồng, [a] là danh sách chứa một phan tử, [[]] là danh sách chửa một list trồng, hình thức đặc biệt [m n] sẽ được sử dụng đề biểu thị danh sách các số nguyên tăng dần theo thứ tự từ m đến n Nếu m> n thi [m n]=[]

Không giỏng như tập, danh sách có thẻ chửa nhiều giá trị tương tự nhau Ví dụ: [1,1] lả danh sách chứa hai phân tử 1,1

Danh sách là bộ các giá trị cùng một đặc tính chung Điều nảy có nghĩa là chủng ta có

thé có danh sách các số, danh sách của nhân vật, thâm chí liệt kê các chức năng, nhưng

sẽ không bao giờ kết hợp hai loại giá trị khác trong một danh sách Với hạn chế nảy,

các loại danh sách được xem xét có thẻ được mô tả một cách đơn giản Một danh sách các số sẽ được ký hiệu [Nưm], một danh sách các kỷ tự được kỷ hiệu [Char] Ví dụ: [[Num]] miêu tả danh sách kiểu số của một danh sách và [A => B] miêu tã danh sách các chức năng từ A đến B,

1.12 Chiều dài danh sách(Length)

Chiêu đài của một danh sách lả số các phân tử trong danh sách đó Chiều dải được tỉnh toán bằng phương thức # như sau:

Mở rộng: ƒ *+ trong đỏ,ƒ là mot ham so bien đổi a > f vax la mét danh sach cing với kiểu /aj Kết quả thu được sẽ là danh sách kiểu /J Các kiêu biến nay có thẻ được

biểu diễn bằng những kiểu đặc biệt ví dụ: nếu even : Miơn — Bool được miều tả như

Sau:

Even*[1 4] = [false, true, false, true],

Kết luận: hàm Even đã ánh xạ tư một giá trị kiểu số sang kiểu bool, kết quả trả vẻ là

kiểu bool

hư các phép toản khác, phép toán * là được xuất hiện trong việc tỉnh toán mở rộng

~_ *) là một hảm bien doi: fa] > [f] Hoac la anh xa: f: a Df

- (f)*) là một hàm đặt trên một danh sách của các danh sách và áp dụng sự biển đổi của hàm (/*) tới mọi phân tử của danh sách

Một số đặc điểm quan trọng của phép toản *

- Mi quan hệ giữa phép * và †† cho các danh sách x và y ta có

#*(x+y) = %) + /®)

- Tinh chat két hop

ứ g)*= *) (g*) Mặt khác: f là một hàm thuận và hàm ngược như sau:

Go =F

1.1.5 B6 loc(Filter)

Toan tir @ 1a chi ra tinh chat cia p, danh sach x va trả về một danh sách của x

thỏa man p Vi du: even 4 [1 10] = [2,4,6,8]

Phép toán nảy được đưa bởi ảnh xạ như sau:

4: (œ 2 Boal) x [a] > [a]

Mở rộng: ƒ *+ trong đỏ,ƒ là mot ham so bien đổi a > f vax la mét danh sach cing với kiểu /aj Kết quả thu được sẽ là danh sách kiểu /J Các kiêu biến nay có thẻ được

biểu diễn bằng những kiểu đặc biệt ví dụ: nếu even : Miơn — Bool được miều tả như

Sau:

Even*[1 4] = [false, true, false, true],

Kết luận: hàm Even đã ánh xạ tư một giá trị kiểu số sang kiểu bool, kết quả trả vẻ là

kiểu bool

hư các phép toản khác, phép toán * là được xuất hiện trong việc tỉnh toán mở rộng

~_ *) là một hảm bien doi: fa] > [f] Hoac la anh xa: f: a Df

- (f)*) là một hàm đặt trên một danh sách của các danh sách và áp dụng sự biển đổi của hàm (/*) tới mọi phân tử của danh sách

Một số đặc điểm quan trọng của phép toản *

- Mi quan hệ giữa phép * và †† cho các danh sách x và y ta có

#*(x+y) = %) + /®)

- Tinh chat két hop

ứ g)*= *) (g*) Mặt khác: f là một hàm thuận và hàm ngược như sau:

Go =F

1.1.5 B6 loc(Filter)

Toan tir @ 1a chi ra tinh chat cia p, danh sach x va trả về một danh sách của x

thỏa man p Vi du: even 4 [1 10] = [2,4,6,8]

Phép toán nảy được đưa bởi ảnh xạ như sau:

4: (œ 2 Boal) x [a] > [a]

#fai.a2, an] =n

#[] = 0 For m<=n;

W[m n] = nem+1

Nhu vay: # [a] > Num

Phuong thtre # dé tinh cheu dai của danh sảch gồm các phân tử cỏ tỉnh chất tương tự

nhau vả trả về kiểu số

1.1.3 Sự ghép vào nhau, sự nỗi vào nhau(Coneatenation )

Hai danh sách cỏ thể được nói vào nhau đề thành một danh sách dai hon Bằng cách sử dung phép toan +

đai, aa, an] †R [b1, b2, ,bm] = [at, a2, ,n, bì, ba, ,bm]

[J#x=x ttl] =x

x th (iy the) =(x thy) He, voix, y, z là các danh sách

Mỗi quan hệ giữa # và ‡F là được đưa ra bởi công thức sau:

Hox thy) = ax th ty

Keétluan) = ++: /a] x [a] > [a]

114 Anh xa(Map)

Phép toan * với mỗi phân tử của danh sảch(ist) như sau:

#* lai, as, ,an] = [ƒ ai, ƒA, f ar]

#II=1l

Phép toán * được định nghĩa như sau

* > (a Df) x [a] > [B]

Mân binh chức năng xóa thông tin xe trong xi nghiệp

Màn bình xóa thông ta lái xe(chưa chọu bản ghì)

Man hinh quản ly loại hàng Min hình chức năng sửa thông tin hàng hóa

Màn hình chức năng xóa thông tin hàng hỏa(chưa chon ban ghì) Màn bình xóa thông tin hàng hóa(đã chọn bản ghỉ)

Min bình quản lý đơn vị nhập hàng ò cecc>

Màn bình chức năng sửa thông tin đơn vị nhập hàng Min binh chức năng xóa thông tin đơn vị nhập hàng (chưa chọn bán ghì) Mân bình xóa thông tra đơn vị nhập hàng (dã chọn bản ghì)

#fai.a2, an] =n

#[] = 0 For m<=n;

W[m n] = nem+1

Nhu vay: # [a] > Num

Phuong thtre # dé tinh cheu dai của danh sảch gồm các phân tử cỏ tỉnh chất tương tự

nhau vả trả về kiểu số

1.1.3 Sự ghép vào nhau, sự nỗi vào nhau(Coneatenation )

Hai danh sách cỏ thể được nói vào nhau đề thành một danh sách dai hon Bằng cách sử dung phép toan +

đai, aa, an] †R [b1, b2, ,bm] = [at, a2, ,n, bì, ba, ,bm]

[J#x=x ttl] =x

x th (iy the) =(x thy) He, voix, y, z là các danh sách

Mỗi quan hệ giữa # và ‡F là được đưa ra bởi công thức sau:

Hox thy) = ax th ty

Keétluan) = ++: /a] x [a] > [a]

114 Anh xa(Map)

Phép toan * với mỗi phân tử của danh sảch(ist) như sau:

#* lai, as, ,an] = [ƒ ai, ƒA, f ar]

#II=1l

Phép toán * được định nghĩa như sau

* > (a Df) x [a] > [B]

#fai.a2, an] =n

#[] = 0 For m<=n;

W[m n] = nem+1

Nhu vay: # [a] > Num

Phuong thtre # dé tinh cheu dai của danh sảch gồm các phân tử cỏ tỉnh chất tương tự

nhau vả trả về kiểu số

1.1.3 Sự ghép vào nhau, sự nỗi vào nhau(Coneatenation )

Hai danh sách cỏ thể được nói vào nhau đề thành một danh sách dai hon Bằng cách sử dung phép toan +

đai, aa, an] †R [b1, b2, ,bm] = [at, a2, ,n, bì, ba, ,bm]

[J#x=x ttl] =x

x th (iy the) =(x thy) He, voix, y, z là các danh sách

Mỗi quan hệ giữa # và ‡F là được đưa ra bởi công thức sau:

Hox thy) = ax th ty

Keétluan) = ++: /a] x [a] > [a]

114 Anh xa(Map)

Phép toan * với mỗi phân tử của danh sảch(ist) như sau:

#* lai, as, ,an] = [ƒ ai, ƒA, f ar]

#II=1l

Phép toán * được định nghĩa như sau

* > (a Df) x [a] > [B]

MỞ ĐẦU

Nguồn gốc của Toán học cũng như các ngành khoa học đều là các vẫn đề thực tế mả loài người cân tìm hiểu để cải thiện cuộc sông, Ngảy nay toản học có nhiêu ứng dung

rất rộng đãi trong các ngành khác nhau

Lý thuyết danh sách có rất nhiều ửng dụng trong thực tế: các ứng dung vao bài toán tài

chinh(bai toán lãi tức, bài toán đự báo ), bài toán vận tải, bài toán vẻ tính min, max và

quy hoạch tuyến tính

Đề tải “Lý thuyết danh sách và quả trình tự động hóa vận chuyên tại nhà may san xuất

xi măng Việt Nam”, sản phẩm của đề tải là một ứng dụng trên thực tế và có thẻ được

sit dung ở các nhả máy, xi nghiệp xi măng Việt Nam hay ở các công ty quản lý xe: xe

bus, taxi Sản phẩm của đề tải là một trong những ứng dụng thực tế của “Lý thuyết

danh sách” Vi vậy em chọn đề tài nảy để nghiên cửu về các phép toan va tmg dung của nó trong các lĩnh vực khác nhau

Mục đích chỉnh của luận văn là tìm hiểu về lý thuyết danh sách và các ứng dụng trên thực tế Luận văn gồm 6 chương:

Chương I Lý thuyết danh sách

Nội dung chính của chương 1 là đưa ra khái niệm, các định lý, bỏ đề trên danh sách va

các phép toản trên danh sách

Chương II Các ứng dụng của lý thuyết danh sách

Nội dung chính của chương II là tìm hiệu về các ứng dụng của lý thuyết danh sách trên thực tế ở các lĩnh vực khác nhau

Chương II Lý thuyết danh sách và quá trình tự động hóa vận chuyền vào bài toán quản lý xí nghiệp xi măng.

Nội dưng chính cña chương TTT là đưa ra đầu vào của bài loán, và việc vận dụng lý thuyết đanh sách vào bài toán quản lý xí nghiện xi măng

Chương TV Phân tích thiết kế hệ thống

Sử dụng UML đẻ phân tích chức năng và thiết kế hệ thông bài toán quản lý xí nghiệp

xi ming Việt nam

Chương V Ứng dụng mỗ phúng

Chương V đưa ra các chức năng từ tổng hợp đến chỉ tiết của ứng dụng, đưa ra quy trình thực hiện kết hợp với giao điện của chương trình

Chương VI Kết quả và hướng phát triển

Chương VI dưa ra những kết quả dạt dược trong luận văn và hướng phát triển mổ rộng

về mặt lý thuyết và ứng đụng trong thực tế

Tuan van được nghiên cứn trên góc độ toán học, tìm hiển về danh sách và nghiên cứu các phép toán trên danh sách đó Tìm hiểu thực tế các giáo trình về toán học và các ứng, dụng, các giáo trình sách nước ngoài để đua ra các ứng dụng thực tế

MỞ ĐẦU

Nguồn gốc của Toán học cũng như các ngành khoa học đều là các vẫn đề thực tế mả loài người cân tìm hiểu để cải thiện cuộc sông, Ngảy nay toản học có nhiêu ứng dung

rất rộng đãi trong các ngành khác nhau

Lý thuyết danh sách có rất nhiều ửng dụng trong thực tế: các ứng dung vao bài toán tài

chinh(bai toán lãi tức, bài toán đự báo ), bài toán vận tải, bài toán vẻ tính min, max và

quy hoạch tuyến tính

Đề tải “Lý thuyết danh sách và quả trình tự động hóa vận chuyên tại nhà may san xuất

xi măng Việt Nam”, sản phẩm của đề tải là một ứng dụng trên thực tế và có thẻ được

sit dung ở các nhả máy, xi nghiệp xi măng Việt Nam hay ở các công ty quản lý xe: xe

bus, taxi Sản phẩm của đề tải là một trong những ứng dụng thực tế của “Lý thuyết

danh sách” Vi vậy em chọn đề tài nảy để nghiên cửu về các phép toan va tmg dung của nó trong các lĩnh vực khác nhau

Mục đích chỉnh của luận văn là tìm hiểu về lý thuyết danh sách và các ứng dụng trên thực tế Luận văn gồm 6 chương:

Chương I Lý thuyết danh sách

Nội dung chính của chương 1 là đưa ra khái niệm, các định lý, bỏ đề trên danh sách va

các phép toản trên danh sách

Chương II Các ứng dụng của lý thuyết danh sách

Nội dung chính của chương II là tìm hiệu về các ứng dụng của lý thuyết danh sách trên thực tế ở các lĩnh vực khác nhau

Chương II Lý thuyết danh sách và quá trình tự động hóa vận chuyền vào bài toán quản lý xí nghiệp xi măng.

Mân binh chức năng xóa thông tin xe trong xi nghiệp

Màn bình xóa thông ta lái xe(chưa chọu bản ghì)

Man hinh quản ly loại hàng Min hình chức năng sửa thông tin hàng hóa

Màn hình chức năng xóa thông tin hàng hỏa(chưa chon ban ghì) Màn bình xóa thông tin hàng hóa(đã chọn bản ghỉ)

Min bình quản lý đơn vị nhập hàng ò cecc>

Màn bình chức năng sửa thông tin đơn vị nhập hàng Min binh chức năng xóa thông tin đơn vị nhập hàng (chưa chọn bán ghì) Mân bình xóa thông tra đơn vị nhập hàng (dã chọn bản ghì)

#fai.a2, an] =n

#[] = 0 For m<=n;

W[m n] = nem+1

Nhu vay: # [a] > Num

Phuong thtre # dé tinh cheu dai của danh sảch gồm các phân tử cỏ tỉnh chất tương tự

nhau vả trả về kiểu số

1.1.3 Sự ghép vào nhau, sự nỗi vào nhau(Coneatenation )

Hai danh sách cỏ thể được nói vào nhau đề thành một danh sách dai hon Bằng cách sử dung phép toan +

đai, aa, an] †R [b1, b2, ,bm] = [at, a2, ,n, bì, ba, ,bm]

[J#x=x ttl] =x

x th (iy the) =(x thy) He, voix, y, z là các danh sách

Mỗi quan hệ giữa # và ‡F là được đưa ra bởi công thức sau:

Hox thy) = ax th ty

Keétluan) = ++: /a] x [a] > [a]

114 Anh xa(Map)

Phép toan * với mỗi phân tử của danh sảch(ist) như sau:

#* lai, as, ,an] = [ƒ ai, ƒA, f ar]

#II=1l

Phép toán * được định nghĩa như sau

* > (a Df) x [a] > [B]

Mở rộng: ƒ *+ trong đỏ,ƒ là mot ham so bien đổi a > f vax la mét danh sach cing với kiểu /aj Kết quả thu được sẽ là danh sách kiểu /J Các kiêu biến nay có thẻ được

biểu diễn bằng những kiểu đặc biệt ví dụ: nếu even : Miơn — Bool được miều tả như

Sau:

Even*[1 4] = [false, true, false, true],

Kết luận: hàm Even đã ánh xạ tư một giá trị kiểu số sang kiểu bool, kết quả trả vẻ là

kiểu bool

hư các phép toản khác, phép toán * là được xuất hiện trong việc tỉnh toán mở rộng

~_ *) là một hảm bien doi: fa] > [f] Hoac la anh xa: f: a Df

- (f)*) là một hàm đặt trên một danh sách của các danh sách và áp dụng sự biển đổi của hàm (/*) tới mọi phân tử của danh sách

Một số đặc điểm quan trọng của phép toản *

- Mi quan hệ giữa phép * và †† cho các danh sách x và y ta có

#*(x+y) = %) + /®)

- Tinh chat két hop

ứ g)*= *) (g*) Mặt khác: f là một hàm thuận và hàm ngược như sau:

Go =F

1.1.5 B6 loc(Filter)

Toan tir @ 1a chi ra tinh chat cia p, danh sach x va trả về một danh sách của x

thỏa man p Vi du: even 4 [1 10] = [2,4,6,8]

Phép toán nảy được đưa bởi ảnh xạ như sau:

4: (œ 2 Boal) x [a] > [a]

Mở rộng: ƒ *+ trong đỏ,ƒ là mot ham so bien đổi a > f vax la mét danh sach cing với kiểu /aj Kết quả thu được sẽ là danh sách kiểu /J Các kiêu biến nay có thẻ được

biểu diễn bằng những kiểu đặc biệt ví dụ: nếu even : Miơn — Bool được miều tả như

Sau:

Even*[1 4] = [false, true, false, true],

Kết luận: hàm Even đã ánh xạ tư một giá trị kiểu số sang kiểu bool, kết quả trả vẻ là

kiểu bool

hư các phép toản khác, phép toán * là được xuất hiện trong việc tỉnh toán mở rộng

~_ *) là một hảm bien doi: fa] > [f] Hoac la anh xa: f: a Df

- (f)*) là một hàm đặt trên một danh sách của các danh sách và áp dụng sự biển đổi của hàm (/*) tới mọi phân tử của danh sách

Một số đặc điểm quan trọng của phép toản *

- Mi quan hệ giữa phép * và †† cho các danh sách x và y ta có

#*(x+y) = %) + /®)

- Tinh chat két hop

ứ g)*= *) (g*) Mặt khác: f là một hàm thuận và hàm ngược như sau:

Go =F

1.1.5 B6 loc(Filter)

Toan tir @ 1a chi ra tinh chat cia p, danh sach x va trả về một danh sách của x

thỏa man p Vi du: even 4 [1 10] = [2,4,6,8]

Phép toán nảy được đưa bởi ảnh xạ như sau:

4: (œ 2 Boal) x [a] > [a]

Nội dưng chính cña chương TTT là đưa ra đầu vào của bài loán, và việc vận dụng lý thuyết đanh sách vào bài toán quản lý xí nghiện xi măng

Chương TV Phân tích thiết kế hệ thống

Sử dụng UML đẻ phân tích chức năng và thiết kế hệ thông bài toán quản lý xí nghiệp

xi ming Việt nam

Chương V Ứng dụng mỗ phúng

Chương V đưa ra các chức năng từ tổng hợp đến chỉ tiết của ứng dụng, đưa ra quy trình thực hiện kết hợp với giao điện của chương trình

Chương VI Kết quả và hướng phát triển

Chương VI dưa ra những kết quả dạt dược trong luận văn và hướng phát triển mổ rộng

về mặt lý thuyết và ứng đụng trong thực tế

Tuan van được nghiên cứn trên góc độ toán học, tìm hiển về danh sách và nghiên cứu các phép toán trên danh sách đó Tìm hiểu thực tế các giáo trình về toán học và các ứng, dụng, các giáo trình sách nước ngoài để đua ra các ứng dụng thực tế

DANH MỤC HÌNH VẼ

Hình 1 Sơ đồ phân tích chức năng

Hình 2 Use case hệ thông quản lý xe vào ra nhà mắy

Hình 3 Biểu đồ lớp(class diagram)

Hình 4 Sơ đỗ mô hình hoạt đông

Hình 5 Biểu đồ hoạt động (Activity Diagram)

Hình 6 Biểu đồ tuân tự

Hình 7 Màn hình chức năng quản ly xe vảo ra - -

Hình 8 Màn hình chức năng quản lý xe vào ra

Hình 9, Màn hình chức năng thêm mới xe đăng kỷ vào ra(thảnh công)

Hình 10 Màn hình chức năng thêm mới xe đăng ký vào ra(lôi)

Hình 11 Màn hình chức năng sửa thông tin xe đăng ky vao ra

Hình 12 Mân hình chức năng xóa thông tin xe đăng ký vào ra

Hình 13 Mản hình chức năng chọn xe đi vảo, ra xỉ nghiệp

Hình 14 Màn hình liên kết với phần cửng hiển thị danh sách xe ra vào

Hình 15 Màn hình quản lý thông tin xe, lai xe, loại hing, đơn vị nhap hang

Hình 16 Màn hình chức năng quân lý người lái xe

Hình 18 Màn hình chức năng thêm người lái xe

Hình 19 Màn hình chức năng sửa thông tin người lái Xe

Hình 20 Màn hình chức năng xóa thông tin người lái xe

Hinh 21 Man hinh quan ly xe

Nội dưng chính cña chương TTT là đưa ra đầu vào của bài loán, và việc vận dụng lý thuyết đanh sách vào bài toán quản lý xí nghiện xi măng

Chương TV Phân tích thiết kế hệ thống

Sử dụng UML đẻ phân tích chức năng và thiết kế hệ thông bài toán quản lý xí nghiệp

xi ming Việt nam

Chương V Ứng dụng mỗ phúng

Chương V đưa ra các chức năng từ tổng hợp đến chỉ tiết của ứng dụng, đưa ra quy trình thực hiện kết hợp với giao điện của chương trình

Chương VI Kết quả và hướng phát triển

Chương VI dưa ra những kết quả dạt dược trong luận văn và hướng phát triển mổ rộng

về mặt lý thuyết và ứng đụng trong thực tế

Tuan van được nghiên cứn trên góc độ toán học, tìm hiển về danh sách và nghiên cứu các phép toán trên danh sách đó Tìm hiểu thực tế các giáo trình về toán học và các ứng, dụng, các giáo trình sách nước ngoài để đua ra các ứng dụng thực tế

Nội dưng chính cña chương TTT là đưa ra đầu vào của bài loán, và việc vận dụng lý thuyết đanh sách vào bài toán quản lý xí nghiện xi măng

Chương TV Phân tích thiết kế hệ thống

Sử dụng UML đẻ phân tích chức năng và thiết kế hệ thông bài toán quản lý xí nghiệp

xi ming Việt nam

Chương V Ứng dụng mỗ phúng

Chương V đưa ra các chức năng từ tổng hợp đến chỉ tiết của ứng dụng, đưa ra quy trình thực hiện kết hợp với giao điện của chương trình

Chương VI Kết quả và hướng phát triển

Chương VI dưa ra những kết quả dạt dược trong luận văn và hướng phát triển mổ rộng

về mặt lý thuyết và ứng đụng trong thực tế

Tuan van được nghiên cứn trên góc độ toán học, tìm hiển về danh sách và nghiên cứu các phép toán trên danh sách đó Tìm hiểu thực tế các giáo trình về toán học và các ứng, dụng, các giáo trình sách nước ngoài để đua ra các ứng dụng thực tế

CHUONG I LÝ THUYÉT DANH SÁCH

1.1 Các phép toán cơ ban( Elementary Operations)

1.1.1 Kỷ hiệu danh séch(List notation)

Danh sach(list) là một bộ các giá trị tuyên tỉnh có tỉnh chất chung tương tự nhau bao gồm các phân tử: phần tử thứ nhất, phân tử thứ hai , phân tử thử n List(danh sách) còn được gọi là Sequence(tuân tự) được sử dụng trong toán học và các ngành khác

Một danh sách hữu han được biểu thị bằng cách sử dụng các dâu ngoặc vuông và dâu phẩy Vỉ dụ: [1,2.3) là một danh sách của ba số nguyên [[*b`,`y',`e'], ['b`,'y``e']] là một danh sách của hai phân tử, mỗi phân tử là một danh sách các ký tự

[Ï là một danh sách trồng, [a] là danh sách chứa một phan tử, [[]] là danh sách chửa một list trồng, hình thức đặc biệt [m n] sẽ được sử dụng đề biểu thị danh sách các số nguyên tăng dần theo thứ tự từ m đến n Nếu m> n thi [m n]=[]

Không giỏng như tập, danh sách có thẻ chửa nhiều giá trị tương tự nhau Ví dụ: [1,1] lả danh sách chứa hai phân tử 1,1

Danh sách là bộ các giá trị cùng một đặc tính chung Điều nảy có nghĩa là chủng ta có

thé có danh sách các số, danh sách của nhân vật, thâm chí liệt kê các chức năng, nhưng

sẽ không bao giờ kết hợp hai loại giá trị khác trong một danh sách Với hạn chế nảy,

các loại danh sách được xem xét có thẻ được mô tả một cách đơn giản Một danh sách các số sẽ được ký hiệu [Nưm], một danh sách các kỷ tự được kỷ hiệu [Char] Ví dụ: [[Num]] miêu tả danh sách kiểu số của một danh sách và [A => B] miêu tã danh sách các chức năng từ A đến B,

1.12 Chiều dài danh sách(Length)

Chiêu đài của một danh sách lả số các phân tử trong danh sách đó Chiều dải được tỉnh toán bằng phương thức # như sau:

DANH MỤC HÌNH VẼ

Hình 1 Sơ đồ phân tích chức năng

Hình 2 Use case hệ thông quản lý xe vào ra nhà mắy

Hình 3 Biểu đồ lớp(class diagram)

Hình 4 Sơ đỗ mô hình hoạt đông

Hình 5 Biểu đồ hoạt động (Activity Diagram)

Hình 6 Biểu đồ tuân tự

Hình 7 Màn hình chức năng quản ly xe vảo ra - -

Hình 8 Màn hình chức năng quản lý xe vào ra

Hình 9, Màn hình chức năng thêm mới xe đăng kỷ vào ra(thảnh công)

Hình 10 Màn hình chức năng thêm mới xe đăng ký vào ra(lôi)

Hình 11 Màn hình chức năng sửa thông tin xe đăng ky vao ra

Hình 12 Mân hình chức năng xóa thông tin xe đăng ký vào ra

Hình 13 Mản hình chức năng chọn xe đi vảo, ra xỉ nghiệp

Hình 14 Màn hình liên kết với phần cửng hiển thị danh sách xe ra vào

Hình 15 Màn hình quản lý thông tin xe, lai xe, loại hing, đơn vị nhap hang

Hình 16 Màn hình chức năng quân lý người lái xe

Hình 18 Màn hình chức năng thêm người lái xe

Hình 19 Màn hình chức năng sửa thông tin người lái Xe

Hình 20 Màn hình chức năng xóa thông tin người lái xe

Hinh 21 Man hinh quan ly xe

DANH MỤC HÌNH VẼ

Hình 1 Sơ đồ phân tích chức năng

Hình 2 Use case hệ thông quản lý xe vào ra nhà mắy

Hình 3 Biểu đồ lớp(class diagram)

Hình 4 Sơ đỗ mô hình hoạt đông

Hình 5 Biểu đồ hoạt động (Activity Diagram)

Hình 6 Biểu đồ tuân tự

Hình 7 Màn hình chức năng quản ly xe vảo ra - -

Hình 8 Màn hình chức năng quản lý xe vào ra

Hình 9, Màn hình chức năng thêm mới xe đăng kỷ vào ra(thảnh công)

Hình 10 Màn hình chức năng thêm mới xe đăng ký vào ra(lôi)

Hình 11 Màn hình chức năng sửa thông tin xe đăng ky vao ra

Hình 12 Mân hình chức năng xóa thông tin xe đăng ký vào ra

Hình 13 Mản hình chức năng chọn xe đi vảo, ra xỉ nghiệp

Hình 14 Màn hình liên kết với phần cửng hiển thị danh sách xe ra vào

Hình 15 Màn hình quản lý thông tin xe, lai xe, loại hing, đơn vị nhap hang

Hình 16 Màn hình chức năng quân lý người lái xe

Hình 18 Màn hình chức năng thêm người lái xe

Hình 19 Màn hình chức năng sửa thông tin người lái Xe

Hình 20 Màn hình chức năng xóa thông tin người lái xe

Hinh 21 Man hinh quan ly xe

MỞ ĐẦU

Nguồn gốc của Toán học cũng như các ngành khoa học đều là các vẫn đề thực tế mả loài người cân tìm hiểu để cải thiện cuộc sông, Ngảy nay toản học có nhiêu ứng dung

rất rộng đãi trong các ngành khác nhau

Lý thuyết danh sách có rất nhiều ửng dụng trong thực tế: các ứng dung vao bài toán tài

chinh(bai toán lãi tức, bài toán đự báo ), bài toán vận tải, bài toán vẻ tính min, max và

quy hoạch tuyến tính

Đề tải “Lý thuyết danh sách và quả trình tự động hóa vận chuyên tại nhà may san xuất

xi măng Việt Nam”, sản phẩm của đề tải là một ứng dụng trên thực tế và có thẻ được

sit dung ở các nhả máy, xi nghiệp xi măng Việt Nam hay ở các công ty quản lý xe: xe

bus, taxi Sản phẩm của đề tải là một trong những ứng dụng thực tế của “Lý thuyết

danh sách” Vi vậy em chọn đề tài nảy để nghiên cửu về các phép toan va tmg dung của nó trong các lĩnh vực khác nhau

Mục đích chỉnh của luận văn là tìm hiểu về lý thuyết danh sách và các ứng dụng trên thực tế Luận văn gồm 6 chương:

Chương I Lý thuyết danh sách

Nội dung chính của chương 1 là đưa ra khái niệm, các định lý, bỏ đề trên danh sách va

các phép toản trên danh sách

Chương II Các ứng dụng của lý thuyết danh sách

Nội dung chính của chương II là tìm hiệu về các ứng dụng của lý thuyết danh sách trên thực tế ở các lĩnh vực khác nhau

Chương II Lý thuyết danh sách và quá trình tự động hóa vận chuyền vào bài toán quản lý xí nghiệp xi măng.

Mở rộng: ƒ *+ trong đỏ,ƒ là mot ham so bien đổi a > f vax la mét danh sach cing với kiểu /aj Kết quả thu được sẽ là danh sách kiểu /J Các kiêu biến nay có thẻ được

biểu diễn bằng những kiểu đặc biệt ví dụ: nếu even : Miơn — Bool được miều tả như

Sau:

Even*[1 4] = [false, true, false, true],

Kết luận: hàm Even đã ánh xạ tư một giá trị kiểu số sang kiểu bool, kết quả trả vẻ là

kiểu bool

hư các phép toản khác, phép toán * là được xuất hiện trong việc tỉnh toán mở rộng

~_ *) là một hảm bien doi: fa] > [f] Hoac la anh xa: f: a Df

- (f)*) là một hàm đặt trên một danh sách của các danh sách và áp dụng sự biển đổi của hàm (/*) tới mọi phân tử của danh sách

Một số đặc điểm quan trọng của phép toản *

- Mi quan hệ giữa phép * và †† cho các danh sách x và y ta có

#*(x+y) = %) + /®)

- Tinh chat két hop

ứ g)*= *) (g*) Mặt khác: f là một hàm thuận và hàm ngược như sau:

Go =F

1.1.5 B6 loc(Filter)

Toan tir @ 1a chi ra tinh chat cia p, danh sach x va trả về một danh sách của x

thỏa man p Vi du: even 4 [1 10] = [2,4,6,8]

Phép toán nảy được đưa bởi ảnh xạ như sau:

4: (œ 2 Boal) x [a] > [a]

Nội dưng chính cña chương TTT là đưa ra đầu vào của bài loán, và việc vận dụng lý thuyết đanh sách vào bài toán quản lý xí nghiện xi măng

Chương TV Phân tích thiết kế hệ thống

Sử dụng UML đẻ phân tích chức năng và thiết kế hệ thông bài toán quản lý xí nghiệp

xi ming Việt nam

Chương V Ứng dụng mỗ phúng

Chương V đưa ra các chức năng từ tổng hợp đến chỉ tiết của ứng dụng, đưa ra quy trình thực hiện kết hợp với giao điện của chương trình

Chương VI Kết quả và hướng phát triển

Chương VI dưa ra những kết quả dạt dược trong luận văn và hướng phát triển mổ rộng

về mặt lý thuyết và ứng đụng trong thực tế

Tuan van được nghiên cứn trên góc độ toán học, tìm hiển về danh sách và nghiên cứu các phép toán trên danh sách đó Tìm hiểu thực tế các giáo trình về toán học và các ứng, dụng, các giáo trình sách nước ngoài để đua ra các ứng dụng thực tế

#fai.a2, an] =n

#[] = 0 For m<=n;

W[m n] = nem+1

Nhu vay: # [a] > Num

Phuong thtre # dé tinh cheu dai của danh sảch gồm các phân tử cỏ tỉnh chất tương tự

nhau vả trả về kiểu số

1.1.3 Sự ghép vào nhau, sự nỗi vào nhau(Coneatenation )

Hai danh sách cỏ thể được nói vào nhau đề thành một danh sách dai hon Bằng cách sử dung phép toan +

đai, aa, an] †R [b1, b2, ,bm] = [at, a2, ,n, bì, ba, ,bm]

[J#x=x ttl] =x

x th (iy the) =(x thy) He, voix, y, z là các danh sách

Mỗi quan hệ giữa # và ‡F là được đưa ra bởi công thức sau:

Hox thy) = ax th ty

Keétluan) = ++: /a] x [a] > [a]

114 Anh xa(Map)

Phép toan * với mỗi phân tử của danh sảch(ist) như sau:

#* lai, as, ,an] = [ƒ ai, ƒA, f ar]

#II=1l

Phép toán * được định nghĩa như sau

* > (a Df) x [a] > [B]

DANH MỤC HÌNH VẼ

Hình 1 Sơ đồ phân tích chức năng

Hình 2 Use case hệ thông quản lý xe vào ra nhà mắy

Hình 3 Biểu đồ lớp(class diagram)

Hình 4 Sơ đỗ mô hình hoạt đông

Hình 5 Biểu đồ hoạt động (Activity Diagram)

Hình 6 Biểu đồ tuân tự

Hình 7 Màn hình chức năng quản ly xe vảo ra - -

Hình 8 Màn hình chức năng quản lý xe vào ra

Hình 9, Màn hình chức năng thêm mới xe đăng kỷ vào ra(thảnh công)

Hình 10 Màn hình chức năng thêm mới xe đăng ký vào ra(lôi)

Hình 11 Màn hình chức năng sửa thông tin xe đăng ky vao ra

Hình 12 Mân hình chức năng xóa thông tin xe đăng ký vào ra

Hình 13 Mản hình chức năng chọn xe đi vảo, ra xỉ nghiệp

Hình 14 Màn hình liên kết với phần cửng hiển thị danh sách xe ra vào

Hình 15 Màn hình quản lý thông tin xe, lai xe, loại hing, đơn vị nhap hang

Hình 16 Màn hình chức năng quân lý người lái xe

Hình 18 Màn hình chức năng thêm người lái xe

Hình 19 Màn hình chức năng sửa thông tin người lái Xe

Hình 20 Màn hình chức năng xóa thông tin người lái xe

Hinh 21 Man hinh quan ly xe

MỞ ĐẦU

Nguồn gốc của Toán học cũng như các ngành khoa học đều là các vẫn đề thực tế mả loài người cân tìm hiểu để cải thiện cuộc sông, Ngảy nay toản học có nhiêu ứng dung

rất rộng đãi trong các ngành khác nhau

Lý thuyết danh sách có rất nhiều ửng dụng trong thực tế: các ứng dung vao bài toán tài

chinh(bai toán lãi tức, bài toán đự báo ), bài toán vận tải, bài toán vẻ tính min, max và

quy hoạch tuyến tính

Đề tải “Lý thuyết danh sách và quả trình tự động hóa vận chuyên tại nhà may san xuất

xi măng Việt Nam”, sản phẩm của đề tải là một ứng dụng trên thực tế và có thẻ được

sit dung ở các nhả máy, xi nghiệp xi măng Việt Nam hay ở các công ty quản lý xe: xe

bus, taxi Sản phẩm của đề tải là một trong những ứng dụng thực tế của “Lý thuyết

danh sách” Vi vậy em chọn đề tài nảy để nghiên cửu về các phép toan va tmg dung của nó trong các lĩnh vực khác nhau

Mục đích chỉnh của luận văn là tìm hiểu về lý thuyết danh sách và các ứng dụng trên thực tế Luận văn gồm 6 chương:

Chương I Lý thuyết danh sách

Nội dung chính của chương 1 là đưa ra khái niệm, các định lý, bỏ đề trên danh sách va

các phép toản trên danh sách

Chương II Các ứng dụng của lý thuyết danh sách

Nội dung chính của chương II là tìm hiệu về các ứng dụng của lý thuyết danh sách trên thực tế ở các lĩnh vực khác nhau

Chương II Lý thuyết danh sách và quá trình tự động hóa vận chuyền vào bài toán quản lý xí nghiệp xi măng.

CHUONG I LÝ THUYÉT DANH SÁCH

1.1 Các phép toán cơ ban( Elementary Operations)

1.1.1 Kỷ hiệu danh séch(List notation)

Danh sach(list) là một bộ các giá trị tuyên tỉnh có tỉnh chất chung tương tự nhau bao gồm các phân tử: phần tử thứ nhất, phân tử thứ hai , phân tử thử n List(danh sách) còn được gọi là Sequence(tuân tự) được sử dụng trong toán học và các ngành khác

Một danh sách hữu han được biểu thị bằng cách sử dụng các dâu ngoặc vuông và dâu phẩy Vỉ dụ: [1,2.3) là một danh sách của ba số nguyên [[*b`,`y',`e'], ['b`,'y``e']] là một danh sách của hai phân tử, mỗi phân tử là một danh sách các ký tự

[Ï là một danh sách trồng, [a] là danh sách chứa một phan tử, [[]] là danh sách chửa một list trồng, hình thức đặc biệt [m n] sẽ được sử dụng đề biểu thị danh sách các số nguyên tăng dần theo thứ tự từ m đến n Nếu m> n thi [m n]=[]

Không giỏng như tập, danh sách có thẻ chửa nhiều giá trị tương tự nhau Ví dụ: [1,1] lả danh sách chứa hai phân tử 1,1

Danh sách là bộ các giá trị cùng một đặc tính chung Điều nảy có nghĩa là chủng ta có

thé có danh sách các số, danh sách của nhân vật, thâm chí liệt kê các chức năng, nhưng

sẽ không bao giờ kết hợp hai loại giá trị khác trong một danh sách Với hạn chế nảy,

các loại danh sách được xem xét có thẻ được mô tả một cách đơn giản Một danh sách các số sẽ được ký hiệu [Nưm], một danh sách các kỷ tự được kỷ hiệu [Char] Ví dụ: [[Num]] miêu tả danh sách kiểu số của một danh sách và [A => B] miêu tã danh sách các chức năng từ A đến B,

1.12 Chiều dài danh sách(Length)

Chiêu đài của một danh sách lả số các phân tử trong danh sách đó Chiều dải được tỉnh toán bằng phương thức # như sau:

Mân binh chức năng xóa thông tin xe trong xi nghiệp

Màn bình xóa thông ta lái xe(chưa chọu bản ghì)

Man hinh quản ly loại hàng Min hình chức năng sửa thông tin hàng hóa

Màn hình chức năng xóa thông tin hàng hỏa(chưa chon ban ghì) Màn bình xóa thông tin hàng hóa(đã chọn bản ghỉ)

Min bình quản lý đơn vị nhập hàng ò cecc>

Màn bình chức năng sửa thông tin đơn vị nhập hàng Min binh chức năng xóa thông tin đơn vị nhập hàng (chưa chọn bán ghì) Mân bình xóa thông tra đơn vị nhập hàng (dã chọn bản ghì)