Trong khoa học về trí tuệ nhân tạo, có nhiều phương pháp để biểu diễn tri thức
nhưng những phương pháp này lại không hiệu quả trong việc biểu diễn và suy luận
trên các tri thức phức tạp. Bên cạnh đó, các phương pháp suy diễn cũng đóng một vai
trò quan trọng trong các hệ cơ sở tri thức, nhưng nghững phương pháp suy diễn hiện
nay vẫn còn mang tính khái quát cao, chưa thể mô phỏng được lối tư duy của con
người. Trong thực tế, khi giải quyết một bài toán, chúng ta thường không tìm ngay
một lời giải mới mà trước tiên ta sẽ tìm những bài toán liên quan với bài toán ấy
để từ đó có cách giải quyết phù hợp. Mô hình mẫu COKB, một hướng tiếp cận hiện
đại, đã và đang được nghiên cứu phát triển do khả năng ứng dụng của nó trong việc
biểu diễn các tri thức. Mô hình COKB là mô hình có thể sử dụng rất hiệu quả trong
việc thiết kế các hệ cơ sở tri thức phức tạp, như các miền tri thức về Hình học,
Giải tích, Vật lý…
Trong phạm vi của bài thu hoạch nhỏ này, em sẽ trình bày khái niệm về mô hình
COKB từ đó ứng dụng mô hình này trong việc xây dựng chương trình giải toán
hình học phẳng cấp THCS.
Qua đây, em cũng xin được gửi lời cảm ơn đến Phó Giáo Sư - Tiến sỹ Đỗ Văn Nhơn ,
người đã tận tâm truyền đạt những kiến thức nền tảng cơ bản cho em về môn học
“Biểu diễn tri thức và ứng dụng”. Bên cạnh đó tôi cũng xin chân thành cảm ơn toàn
thể các bạn bè học viên trong lớp đã tận tình giúp đỡ cho tôi trong những thời điểm
khó khăn khi tìm hiểu tiểu luận này.
https://lop6.net/
Đề tài Quản lý hệ thống bán vé máy bay của hãng hàng không Vietnam Airline sử...Anastasia Smitham
Khi có một yêu cầu đề xuất mua vé máy bay từ khách hàng, bộ phận kinh
doanh sẽ giới thiệu về các loại vé, các chuyến bay đang có. Và sau đó yêu cầu khách
hàng điền thông tin vào phiếu thông tin gồm: Tên tuổi, năm sinh, số chứng minh
thư/số hộ chiếu, số điện thoại, loại vé,số lượng vé chuyến bay. Nhân viên phòng
kinh doanh có nhiệm vụ nhập lại các thông tin lên hệ thống thông qua phiếu thông
tin vừa điền của khách hàng. Phòng Kinh doanh có nhiệm vụ tiếp nhận và xử
lý,kiểm tra các thông tin về hồ sơ nếu không có gì sai sót. Khách hàng sẽ nhận được
vé từ nhân viên và thanh toán tri phí cho vé. Khách hàng có thể trả lại vé hoặc thay
đổi lại lịch trình bay đã đăng ký của mình trong vòng 24h . Là nơi sẽ tiếp nhận hồ sơ
và xử lý thông tin hồ sơ sửa đổi của khách hàng. Nếu không có gì thay đổi hồ sơ sẽ
được xét duyệt và Vé sẽ được chuyển xuống cho khách hàng. Sau 24h khách hàng
không thể trả lại hoặc sửa đổi lịch trình bay.
Hàng tháng bộ phận kế toán sẽ thống kê lượng vé bán, lượng khách hàng
trong tháng lên cho bộ phận kế hoạch. Từ đó bộ phận kế hoạch sẽ phân tích chiến
lược mới, đưa ra các biện pháp để tăng doanh thu, phát triển của công ty. Bộ phận
kế toán cũng thống kê doanh thu, chi phí, lương nhân viên lên ban quản trị. Bộ phận
này cũng là nơi trả lương cho nhân viên.
Bộ phận là nơi tiếp nhận hồ sơ tuyển dụng và quản lý nhân viên trong công
ty. Khi có nhu cầu thêm nhân viên bộ phận nhân sự sẽ thêm thông tin nhân viên:
năm sinh, quê quán, địa chỉ, trình độ, số điện thoại, chức vụ. Nếu có sai sót sẽ chịu
trách nhiệm sửa đổi thông tin và có thể xóa thông tin nhân viên khi nhân viên nào đó
nghỉ việc hoặc bị xa thải. Hàng tháng bộ phận này sẽ gửi báo cáo tình trạng nhân
viên lên ban quản trị.
Do có rất nhiều chuyến bay nên bộ phận kế hoạch sẽ phải là nơi sắp xếp lịch
trình bay, phi công cho nhân viên. Quản lý các đường bay, sao cho các máy bay cất
cánh và hạ cánh không bị trùng trên đường bay. Khi máy bay đã cũ có nhu cầu thay
mới bộ phận chịu trách nhiệm xóa thông tin máy bay, sửa thông tin máy bay khi
thông tin có thay đổi, thêm thông tin khi hãng nhập thêm máy bay mới.
Ban quản trị sẽ theo dõi quá trình làm việc của các bộ phận. Từ các báo cáo
và thực tế thì ban quản trị sẽ đưa ra những quyết định, chỉ thị cho các bộ phận thực
hiện.
https://lop6.net/
Ngày nay, chúng ta đang được sống trong kỷ nguyên của tin học nhờ sự
vượt bậc , sự bùng nổ mạnh mẽ của công nghệ thông tin. Công nghệ thông tin
không chỉ dừng lại ở mục đích phục vụ cho khoa học kỹ thuật mà đi sâu vào
đời sống, chính trị, kinh tế, xã hội, trở nên thân thiện, gần gũi , mang lại nhiều
lợi ích cho con người. Công nghệ thông tin ngày càng khẳng định được tính
hữu dụng và sức mạnh trong mọi phương diện, mọi ngành nghề của cuộc
sống, nhất là trong thời đại kinh tế thị trường hiện như bây giờ.
Đi kèm theo đó, các hệ thống website cũng phát triển không ngừng với đủ
các lĩnh vực: văn hoá, thời sự, khoa học công nghệ, làm đẹp, nấu ăn, thể thao,
ca nhạc, phim ảnh,giáo dục, y tế… Tuy nhiên, để tạo ra một trang web có sức
sống bền lâu thì bản thân nó phải mang lại lợi ích cho nhiều người. Giao diện
bắt mắt là yếu tố quan trọng để người xem click chuột đến website của bạn.
Nhưng yếu tố quyết định giữ chân độc giả lại là nội dung mà web site cung
cấp.
Trong thời gian 6 tuần thực tập, được sự giúp đỡ của thầy giáo Ngô Văn
Hưng và các anh chị tại Công ty Cổ phần Qsoft Việt Nam, em đã hoàn thành
bài báo cáo thực tập của mình với đề tài Thiết kế website cho trường học.
Tuy nhiên, với tầm hiểu biết còn hạn hẹp, kiến thức về thiết kế, lập trình web
chưa nhiều, kinh nghiệm viết bài còn ít nên không thể tránh khỏi những thiếu
sót.
https://lop6.net/
Lời nói đầu
Trong vài thập kỉ trở lại đây, với sự bùng nổ của ngành công nghệ
thông tin đã mang lại cho chúng ta những thành tựu công nghệ mới, việc này tạo
điều kiện cho sự phát triển và ra đời của thương mại điện tử. Bằng việc sử dụng
mã nguồn mở các nhà thiết kế, lập trình viên đã tạo ra những website thương
mại điện tử với những plugin, theme,extension… giải quyết các vẫn đề nan giải
của hình thức mua bán, trao đổi hàng hóa trước đó như thời gian, định mức, số
lượng, quản lí .... Để góp phần làm phát triển hơn hệ thống mã nguồn mở
Magento 2, trong đồ án tốt nghiệp này em đã lựa chọn đề tài : “ Xây dựng
plugin bán vé trên magento 2“
Nhu cầu thực tế
Với đồ án này, em xin được trình bày chi tiết phân tích, thiết kế và xây
dựng ứng dụng bán vé trên nền tảng mã nguồn mở Magento 2. Thông tin lấy về
sẽ từ các trang web bán khóa học và vé xem phim tại các rạp với tính năng khá
thân thuộc với người tiêu dùng hiện nay như : vietjet.net,….. Đây sẽ là trang
web vô cùng hữu ích với nhu cầu đặt vé trước của người dùng.Đồng thời giúp
cho người quản trị viên quản lí gian hàng, đơn đặt hàng và mọi thứ liên quan
một cách đơn giản, dễ tiếp cận.
Ngoài ra, em còn viết một plugin cho website nhằm đáp ứng yêu cầu cần
thiết trong việc đặt vé.
Nội dung đề tài
Tên đề tài
Xây dựng viết plugin hỗ trợ đặt vé
Nhiệm vụ của đề tài
Đề tài này là một hệ thống chạy trên:
- Server: VPS
- Mã nguồn PHP.
https://lop6.net/
Chúng ta đang sống trong một nền kinh tế hết sức năng động và sáng tạo,
đòi hỏi con người phải luôn luôn tìm tòi học hỏi và phát huy hết khả năng của
mình. Chính vì vậy nhu cầu trao đổi thông tin ngày càng lớn, với chất lượng dịch
vụ ngày càng cao. Nhu cầu con người ngày càng tăng cao, đòi hỏi phải có một công
nghệ mạng viễn thông tiến tiến. Yêu cầu tốc độ truyền dẫn lớn, băng thông rộng, đa
phương tiện, đáp ứng mọi nhu cầu trao đổi thông tin của con người.
Đáp ứng những nhu cầu này, công nghệ ghép kênh theo bước sóng quang
(WDM) là một giải pháp hoàn hảo cho phép tận dụng hiệu quả băng thông cực lớn
của sợi quang, nâng cao được dung lượng truyền dẫn và làm giảm giá thành sản
phẩm. Sự phát triển này sẽ mang lại những ưu điểm vượt trội về chất lượng truyền
dẫn cao, đặc biệt là băng thông rộng.
Cấu trúc của bài báo cáo bao gồm 4 phần như sau:
Phần I: Giới thiệu chung về hệ thống thông tin quang WDM
Phần II: Khuếch đại quang EDFA
Phần III: Sợi quang G 652
Phần IV: Giới thiệu và tìm hiểu phần mềm mô phỏng OPTISYSTEM
https://lop6.net/
Đề tài Quản lý văn bản trường cao đẳng sư phạm Trung ƯơngAnastasia Smitham
Trong chương trình đào tạo của Khoa Quản lý - Văn thư có nhiều học phần
cần sử dụng phần mềm “Quản lý văn bản đi và đến” như: Nghiệp vụ văn thư;
Quản lý văn bản và sử dụng con dấu; Ứng dụng công nghệ thông tin vào công
tác văn phòng, Công tác văn thư lưu trữ trong doanh nghiệp, Công tác văn thư
lưu trữ trong cơ quan Đảng.
Từ trước đến nay, khi dạy các học trên vì không có phần mềm “Quản lý văn
bản đi và đến” nên giảng viên chỉ hướng đến việc giúp SV lĩnh hội cách quản lý
bằng sổ hoặc mô tả hình ảnh giao diện về “Quản lý văn bản đi và đến” trên máy
tính. Do đó, khi đi thực tập thậm chí sau khi tốt nghiệp SV chưa biết cách quản
lý văn bản đi, đến trên máy vi tính. Điều đó làm cho mức độ đáp ứng yêu cầu
của xã hội của SV thấp nên cơ hội về việc làm của SV còn hạn chế. Để giúp SV
có kỹ năng giải quyết văn bản trên máy tính, tăng cơ hội về việc làm cho họ
đồng thời góp phần nâng cao chất lượng đào tạo của nhà trường cần có phần
mềm trên để phục vụ hoạt động dạy và học các học phần trên của SV.
Bên cạnh đó, công tác quản lý văn bản của trường đang thực hiện bằng sổ
nên có nhiều bất cập xảy ra, do đó cũng cần phải có phần mềm này để quản lý
các văn bản đi và đến của trường.
Hiện nay, rất nhiều các doanh nghiệp đã và đang sử dụng các sản phẩm phần
mềm của nhiều công ty phần mềm khác nhau, mỗi phần mềm mang đặc thù
riêng của từng cơ quan, nó đáp ứng tốt ở cơ quan này nhưng lại không tốt ở cơ
quan khác, hơn nữa giá thành sản phẩm phần mềm rất cao và chi phí bảo trì tốn
kém. Phần mềm "Quản lý văn bản đi, đến" được thiết kế theo nhu cầu sử dụng
của từng môn học cũng như yêu cầu sử dụng của người trực tiếp quản lý văn
bản, đặc biệt là vấn đề chèn số văn bản đi đã được giải quyết trong khi đó các
phần mềm khác không đáp ứng chức năng này. Việc cài đặt cũng như bảo trì
phần mềm sẽ đơn giản và nhanh chóng hơn.Vì thế việc tạo ra phần mềm đáp
ứng công tác giảng dạy cũng như công tác quản lý văn bản của Nhà trường là rất
cần thiết.
https://lop6.net/
Đề tài Hệ thống cung cấp và tích hợp dịch vụ thông tinAnastasia Smitham
Hệ thống cung cấp và tích hợp các dịch vụ thông tin xoay quanh các ứng dụng liên
quan đến hệ thống tổng đài cá nhân Asterisk. Hệ thống sử dụng Asterisk như một trung
tâm phân phối và cung cấp các dịch vụ thông tin thông qua kết hợp với các tính năng cao
cấp mà Asterisk hỗ trợ như Asterisk Voicemail (cho phép gửi tin nhắn thoại trong tổng đài
Asterisk), Asterisk Festival (tích hợp cộng nghệ mã nguồn mở text-to-speech Festival vào
Asterisk), Asterisk DUNDi (cho phép kết nối nhiều Asterisk Server lại với nhau) v.v… Từ
mỗi tính năng cao cấp này chúng ta có thể xây dựng vô vàn những ứng dụng trong thực
tiễn như Hệ thống quản lý công việc kết hợp thoại (Asterisk Voicemail), Hệ thống đọc
thông tin qua tổng đài (Asterisk Festival) hay Hệ thống gọi điện thoại quốc tế (Asterisk
DUNDi) v.v….
Trước hết, Asterisk là một hệ thống tổng đài cá nhân, nó cho phép thiết lập hệ
thống điện thoại cá nhân thông qua mạng LAN hết sức dễ dàng và thuận tiện, với chi phí
hầu như không có. Trên thực tế, nhu cầu gọi điện thoại miễn phí trong một tổ chức là hết
sức cần thiết, nếu chi phí cho việc triển khai một hệ thống như thế là miễn phí thì sẽ tiết
kiệm không nhỏ cho các tổ chức và cá nhân có nhu cầu, hệ thống tổng đài cá nhân Asterisk
chính là sự lựa chọn đầu tiên cho các nhà ứng dụng phần mềm.
Hiện tại, việc cấu hình trên thoại cho các nhu cầu như gọi điện thoại trong mạng
LAN, Internet hay gửi voicemail đã thực hiện được. Cấu hình Asterisk cho phép kết nối
với hệ thống PSTN thông qua được điện thoại thông thường để triển khai một số dịch vụ
cơ bản cũng đã thành công. Hướng phát triển tiếp theo sẽ tập trung vào Asterisk Festival,
xây dựng hệ thống đọc điểm cho sinh viên và học sinh.
https://lop6.net/
Hiện nay, toán học được coi là nền tảng của sự phát triển. Hàng triệu người từ
các nền văn hóa khác nhau đều nỗ lực trong môn học này. Ở Việt Nam toán học cũng
đã thể hiện được vị trí quan trọng kể từ khi đất nước bắt đầu phát triển. Tất cả mọi lĩnh
vực đều cần có trình độ toán. Vì đó toán học là một môn rất quan trọng mà chúng ta
nên học và rèn luyện hàng ngày đặc biệt là trẻ nhỏ. Khi còn nhỏ, trẻ sẽ dễ dàng tiếp thu
toán nhanh nhất để thúc đẩy sự suy tư của trẻ thay vì học thụ động như khi trưởng
thành. Độ tuổi này các em có khả năng tự mình tìm ra các quy tắc riêng cho bản thân
theo một cách hoàn toàn bản năng. Nhờ đó, trẻ sẽ học nhanh và dễ dàng tiếp thu kiến
thức mà giáo viên truyền đạt.
Cùng với đó sự phát triển của công nghệ di động đã bùng nổ trong vài năm qua.
Các thiết bị cầm tay đã trở nên rất mạnh mẽ và phổ biến. Trong vài năm trở lại đây, hệ
điều hành Android ra đời và trở thành nền tảng điện thoại thông minh phổ biến nhất
thế giới. Những ưu điểm dễ thấy nhất của Android chính là khả năng tùy biến nhanh
chóng, dễ làm quen, ứng dụng hỗ trợ phong phú, tương thích với đa cấu hình phần
cứng của các nhà sản xuất. Hầu như tất cả những smartphone sử dụng hệ điều hành
Android đều dễ sử dụng, đơn giản tùy biến theo sở thích cá nhân. Với sự phát triển
mạnh mẽ như vậy của Android, và lập trình game trên Android, cơ hội cho lập trình
viên là rất lớn. Vì vậy, nhóm đã chọn đề tài “Lập trình ứng dụng game Fun Math
trên Android”. Trong đề tài này, nhóm sẽ trình bày cái nhìn cơ bản về lập trình game
trên Android và demo ứng dụng game trong đó.
https://lop6.net/
Trong những năm gần đây, việc tin học hóa nhà trường đã trở thành khá phổ
biến ở các nước trên thế giới, việt nam cũng mới bắt đầu thực hiện được một vài năm
gần đây. Và vì thế, việc nâng cao Quản Lý Thư Viện bằng Máy Tính là một điều cần
thiết.
Thư viện trường đại học Sao Đỏ là nơi không thể thiếu được cho mỗi sinh viên
của trường, ở đó tập trung một lượng lớn sinh viên ra vào thư viện để đọc, mượn và trả
sách. Nhu cầu học tập ngày càng cao đặc biệt là để đảm bảo kiến thức có tính logic và
chính xác thì việc tìm đến với sách là rất cần thiết, để đáp ứng nhu cầu đó thì thư viện
trường đã tăng số lượng sách đáng kể rất phong phú về loại sách cũng như số lượng.
Vì thế mà người thủ thư trong một ngày phải liên tục lặp đí lặp lại công việc tìm
sách, cho độc giả mượn trả sách sắp xếp sách đúng theo vị trí quy định đã khó khăn lại
càng khó khăn hơn. Và với sự phát triển của nhà trường thì thư viện càng được phát
triển hơn nữa và khi đó công việc của người thủ thư càng nhiều hơn.
Từ đó vấn đề quản lý sách được coi là rất cần thiết. Quản lý tốt cung cấp đầy
đủ, nhanh chóng và chính xác về các loại sách cho sinh viên và thống kê báo cáo với
ban quản lý là thực sự cần thiết.
Là sinh viên đang học ngành CNTT, việc học tập, trang bị và tiếp thu các kiến
thức về tin học từ thực tế cũng như công tác quản lý là cần thiết. Chính vì vậy mà dưới
sự hướng dẫn của thầy giáo, chúng em đã bước đầu làm quen với việc tìm hiểu, phân
tích và vận dụng những kiến thức đó và thực tế.
Trong đó, xây dựng phần mềm phục vụ công việc là một trong những vấn đề
mà các lập trình viên quan tâm hàng đầu. Hệ thống thông tin về “Quản lý thư viện
trường đại học Sao Đỏ” cũng là một trong những ứng dụng mà được quan tâm nhiều
nhất.
Với mong muốn tìm hiểu một phần nhỏ trong kho tàng phát triển của công nghệ
thông tin, nhóm em đã đi vào tìm hiểu về cách thức tổ chức và hoạt động của thư viện
trường đại học Sao Đỏ để từ đó xây dựng phần phân tích hệ thống thông tin về “Quản
lý thư viện trường đại học Sao Đỏ” nhằm phục vụ cho lợi ích của các thư viện nói
chung và của thư viện trường đại học Sao Đỏ nói riêng
https://lop6.net/
Đề tài Quản lý hệ thống bán vé máy bay của hãng hàng không Vietnam Airline sử...Anastasia Smitham
Khi có một yêu cầu đề xuất mua vé máy bay từ khách hàng, bộ phận kinh
doanh sẽ giới thiệu về các loại vé, các chuyến bay đang có. Và sau đó yêu cầu khách
hàng điền thông tin vào phiếu thông tin gồm: Tên tuổi, năm sinh, số chứng minh
thư/số hộ chiếu, số điện thoại, loại vé,số lượng vé chuyến bay. Nhân viên phòng
kinh doanh có nhiệm vụ nhập lại các thông tin lên hệ thống thông qua phiếu thông
tin vừa điền của khách hàng. Phòng Kinh doanh có nhiệm vụ tiếp nhận và xử
lý,kiểm tra các thông tin về hồ sơ nếu không có gì sai sót. Khách hàng sẽ nhận được
vé từ nhân viên và thanh toán tri phí cho vé. Khách hàng có thể trả lại vé hoặc thay
đổi lại lịch trình bay đã đăng ký của mình trong vòng 24h . Là nơi sẽ tiếp nhận hồ sơ
và xử lý thông tin hồ sơ sửa đổi của khách hàng. Nếu không có gì thay đổi hồ sơ sẽ
được xét duyệt và Vé sẽ được chuyển xuống cho khách hàng. Sau 24h khách hàng
không thể trả lại hoặc sửa đổi lịch trình bay.
Hàng tháng bộ phận kế toán sẽ thống kê lượng vé bán, lượng khách hàng
trong tháng lên cho bộ phận kế hoạch. Từ đó bộ phận kế hoạch sẽ phân tích chiến
lược mới, đưa ra các biện pháp để tăng doanh thu, phát triển của công ty. Bộ phận
kế toán cũng thống kê doanh thu, chi phí, lương nhân viên lên ban quản trị. Bộ phận
này cũng là nơi trả lương cho nhân viên.
Bộ phận là nơi tiếp nhận hồ sơ tuyển dụng và quản lý nhân viên trong công
ty. Khi có nhu cầu thêm nhân viên bộ phận nhân sự sẽ thêm thông tin nhân viên:
năm sinh, quê quán, địa chỉ, trình độ, số điện thoại, chức vụ. Nếu có sai sót sẽ chịu
trách nhiệm sửa đổi thông tin và có thể xóa thông tin nhân viên khi nhân viên nào đó
nghỉ việc hoặc bị xa thải. Hàng tháng bộ phận này sẽ gửi báo cáo tình trạng nhân
viên lên ban quản trị.
Do có rất nhiều chuyến bay nên bộ phận kế hoạch sẽ phải là nơi sắp xếp lịch
trình bay, phi công cho nhân viên. Quản lý các đường bay, sao cho các máy bay cất
cánh và hạ cánh không bị trùng trên đường bay. Khi máy bay đã cũ có nhu cầu thay
mới bộ phận chịu trách nhiệm xóa thông tin máy bay, sửa thông tin máy bay khi
thông tin có thay đổi, thêm thông tin khi hãng nhập thêm máy bay mới.
Ban quản trị sẽ theo dõi quá trình làm việc của các bộ phận. Từ các báo cáo
và thực tế thì ban quản trị sẽ đưa ra những quyết định, chỉ thị cho các bộ phận thực
hiện.
https://lop6.net/
Ngày nay, chúng ta đang được sống trong kỷ nguyên của tin học nhờ sự
vượt bậc , sự bùng nổ mạnh mẽ của công nghệ thông tin. Công nghệ thông tin
không chỉ dừng lại ở mục đích phục vụ cho khoa học kỹ thuật mà đi sâu vào
đời sống, chính trị, kinh tế, xã hội, trở nên thân thiện, gần gũi , mang lại nhiều
lợi ích cho con người. Công nghệ thông tin ngày càng khẳng định được tính
hữu dụng và sức mạnh trong mọi phương diện, mọi ngành nghề của cuộc
sống, nhất là trong thời đại kinh tế thị trường hiện như bây giờ.
Đi kèm theo đó, các hệ thống website cũng phát triển không ngừng với đủ
các lĩnh vực: văn hoá, thời sự, khoa học công nghệ, làm đẹp, nấu ăn, thể thao,
ca nhạc, phim ảnh,giáo dục, y tế… Tuy nhiên, để tạo ra một trang web có sức
sống bền lâu thì bản thân nó phải mang lại lợi ích cho nhiều người. Giao diện
bắt mắt là yếu tố quan trọng để người xem click chuột đến website của bạn.
Nhưng yếu tố quyết định giữ chân độc giả lại là nội dung mà web site cung
cấp.
Trong thời gian 6 tuần thực tập, được sự giúp đỡ của thầy giáo Ngô Văn
Hưng và các anh chị tại Công ty Cổ phần Qsoft Việt Nam, em đã hoàn thành
bài báo cáo thực tập của mình với đề tài Thiết kế website cho trường học.
Tuy nhiên, với tầm hiểu biết còn hạn hẹp, kiến thức về thiết kế, lập trình web
chưa nhiều, kinh nghiệm viết bài còn ít nên không thể tránh khỏi những thiếu
sót.
https://lop6.net/
Lời nói đầu
Trong vài thập kỉ trở lại đây, với sự bùng nổ của ngành công nghệ
thông tin đã mang lại cho chúng ta những thành tựu công nghệ mới, việc này tạo
điều kiện cho sự phát triển và ra đời của thương mại điện tử. Bằng việc sử dụng
mã nguồn mở các nhà thiết kế, lập trình viên đã tạo ra những website thương
mại điện tử với những plugin, theme,extension… giải quyết các vẫn đề nan giải
của hình thức mua bán, trao đổi hàng hóa trước đó như thời gian, định mức, số
lượng, quản lí .... Để góp phần làm phát triển hơn hệ thống mã nguồn mở
Magento 2, trong đồ án tốt nghiệp này em đã lựa chọn đề tài : “ Xây dựng
plugin bán vé trên magento 2“
Nhu cầu thực tế
Với đồ án này, em xin được trình bày chi tiết phân tích, thiết kế và xây
dựng ứng dụng bán vé trên nền tảng mã nguồn mở Magento 2. Thông tin lấy về
sẽ từ các trang web bán khóa học và vé xem phim tại các rạp với tính năng khá
thân thuộc với người tiêu dùng hiện nay như : vietjet.net,….. Đây sẽ là trang
web vô cùng hữu ích với nhu cầu đặt vé trước của người dùng.Đồng thời giúp
cho người quản trị viên quản lí gian hàng, đơn đặt hàng và mọi thứ liên quan
một cách đơn giản, dễ tiếp cận.
Ngoài ra, em còn viết một plugin cho website nhằm đáp ứng yêu cầu cần
thiết trong việc đặt vé.
Nội dung đề tài
Tên đề tài
Xây dựng viết plugin hỗ trợ đặt vé
Nhiệm vụ của đề tài
Đề tài này là một hệ thống chạy trên:
- Server: VPS
- Mã nguồn PHP.
https://lop6.net/
Chúng ta đang sống trong một nền kinh tế hết sức năng động và sáng tạo,
đòi hỏi con người phải luôn luôn tìm tòi học hỏi và phát huy hết khả năng của
mình. Chính vì vậy nhu cầu trao đổi thông tin ngày càng lớn, với chất lượng dịch
vụ ngày càng cao. Nhu cầu con người ngày càng tăng cao, đòi hỏi phải có một công
nghệ mạng viễn thông tiến tiến. Yêu cầu tốc độ truyền dẫn lớn, băng thông rộng, đa
phương tiện, đáp ứng mọi nhu cầu trao đổi thông tin của con người.
Đáp ứng những nhu cầu này, công nghệ ghép kênh theo bước sóng quang
(WDM) là một giải pháp hoàn hảo cho phép tận dụng hiệu quả băng thông cực lớn
của sợi quang, nâng cao được dung lượng truyền dẫn và làm giảm giá thành sản
phẩm. Sự phát triển này sẽ mang lại những ưu điểm vượt trội về chất lượng truyền
dẫn cao, đặc biệt là băng thông rộng.
Cấu trúc của bài báo cáo bao gồm 4 phần như sau:
Phần I: Giới thiệu chung về hệ thống thông tin quang WDM
Phần II: Khuếch đại quang EDFA
Phần III: Sợi quang G 652
Phần IV: Giới thiệu và tìm hiểu phần mềm mô phỏng OPTISYSTEM
https://lop6.net/
Đề tài Quản lý văn bản trường cao đẳng sư phạm Trung ƯơngAnastasia Smitham
Trong chương trình đào tạo của Khoa Quản lý - Văn thư có nhiều học phần
cần sử dụng phần mềm “Quản lý văn bản đi và đến” như: Nghiệp vụ văn thư;
Quản lý văn bản và sử dụng con dấu; Ứng dụng công nghệ thông tin vào công
tác văn phòng, Công tác văn thư lưu trữ trong doanh nghiệp, Công tác văn thư
lưu trữ trong cơ quan Đảng.
Từ trước đến nay, khi dạy các học trên vì không có phần mềm “Quản lý văn
bản đi và đến” nên giảng viên chỉ hướng đến việc giúp SV lĩnh hội cách quản lý
bằng sổ hoặc mô tả hình ảnh giao diện về “Quản lý văn bản đi và đến” trên máy
tính. Do đó, khi đi thực tập thậm chí sau khi tốt nghiệp SV chưa biết cách quản
lý văn bản đi, đến trên máy vi tính. Điều đó làm cho mức độ đáp ứng yêu cầu
của xã hội của SV thấp nên cơ hội về việc làm của SV còn hạn chế. Để giúp SV
có kỹ năng giải quyết văn bản trên máy tính, tăng cơ hội về việc làm cho họ
đồng thời góp phần nâng cao chất lượng đào tạo của nhà trường cần có phần
mềm trên để phục vụ hoạt động dạy và học các học phần trên của SV.
Bên cạnh đó, công tác quản lý văn bản của trường đang thực hiện bằng sổ
nên có nhiều bất cập xảy ra, do đó cũng cần phải có phần mềm này để quản lý
các văn bản đi và đến của trường.
Hiện nay, rất nhiều các doanh nghiệp đã và đang sử dụng các sản phẩm phần
mềm của nhiều công ty phần mềm khác nhau, mỗi phần mềm mang đặc thù
riêng của từng cơ quan, nó đáp ứng tốt ở cơ quan này nhưng lại không tốt ở cơ
quan khác, hơn nữa giá thành sản phẩm phần mềm rất cao và chi phí bảo trì tốn
kém. Phần mềm "Quản lý văn bản đi, đến" được thiết kế theo nhu cầu sử dụng
của từng môn học cũng như yêu cầu sử dụng của người trực tiếp quản lý văn
bản, đặc biệt là vấn đề chèn số văn bản đi đã được giải quyết trong khi đó các
phần mềm khác không đáp ứng chức năng này. Việc cài đặt cũng như bảo trì
phần mềm sẽ đơn giản và nhanh chóng hơn.Vì thế việc tạo ra phần mềm đáp
ứng công tác giảng dạy cũng như công tác quản lý văn bản của Nhà trường là rất
cần thiết.
https://lop6.net/
Đề tài Hệ thống cung cấp và tích hợp dịch vụ thông tinAnastasia Smitham
Hệ thống cung cấp và tích hợp các dịch vụ thông tin xoay quanh các ứng dụng liên
quan đến hệ thống tổng đài cá nhân Asterisk. Hệ thống sử dụng Asterisk như một trung
tâm phân phối và cung cấp các dịch vụ thông tin thông qua kết hợp với các tính năng cao
cấp mà Asterisk hỗ trợ như Asterisk Voicemail (cho phép gửi tin nhắn thoại trong tổng đài
Asterisk), Asterisk Festival (tích hợp cộng nghệ mã nguồn mở text-to-speech Festival vào
Asterisk), Asterisk DUNDi (cho phép kết nối nhiều Asterisk Server lại với nhau) v.v… Từ
mỗi tính năng cao cấp này chúng ta có thể xây dựng vô vàn những ứng dụng trong thực
tiễn như Hệ thống quản lý công việc kết hợp thoại (Asterisk Voicemail), Hệ thống đọc
thông tin qua tổng đài (Asterisk Festival) hay Hệ thống gọi điện thoại quốc tế (Asterisk
DUNDi) v.v….
Trước hết, Asterisk là một hệ thống tổng đài cá nhân, nó cho phép thiết lập hệ
thống điện thoại cá nhân thông qua mạng LAN hết sức dễ dàng và thuận tiện, với chi phí
hầu như không có. Trên thực tế, nhu cầu gọi điện thoại miễn phí trong một tổ chức là hết
sức cần thiết, nếu chi phí cho việc triển khai một hệ thống như thế là miễn phí thì sẽ tiết
kiệm không nhỏ cho các tổ chức và cá nhân có nhu cầu, hệ thống tổng đài cá nhân Asterisk
chính là sự lựa chọn đầu tiên cho các nhà ứng dụng phần mềm.
Hiện tại, việc cấu hình trên thoại cho các nhu cầu như gọi điện thoại trong mạng
LAN, Internet hay gửi voicemail đã thực hiện được. Cấu hình Asterisk cho phép kết nối
với hệ thống PSTN thông qua được điện thoại thông thường để triển khai một số dịch vụ
cơ bản cũng đã thành công. Hướng phát triển tiếp theo sẽ tập trung vào Asterisk Festival,
xây dựng hệ thống đọc điểm cho sinh viên và học sinh.
https://lop6.net/
Hiện nay, toán học được coi là nền tảng của sự phát triển. Hàng triệu người từ
các nền văn hóa khác nhau đều nỗ lực trong môn học này. Ở Việt Nam toán học cũng
đã thể hiện được vị trí quan trọng kể từ khi đất nước bắt đầu phát triển. Tất cả mọi lĩnh
vực đều cần có trình độ toán. Vì đó toán học là một môn rất quan trọng mà chúng ta
nên học và rèn luyện hàng ngày đặc biệt là trẻ nhỏ. Khi còn nhỏ, trẻ sẽ dễ dàng tiếp thu
toán nhanh nhất để thúc đẩy sự suy tư của trẻ thay vì học thụ động như khi trưởng
thành. Độ tuổi này các em có khả năng tự mình tìm ra các quy tắc riêng cho bản thân
theo một cách hoàn toàn bản năng. Nhờ đó, trẻ sẽ học nhanh và dễ dàng tiếp thu kiến
thức mà giáo viên truyền đạt.
Cùng với đó sự phát triển của công nghệ di động đã bùng nổ trong vài năm qua.
Các thiết bị cầm tay đã trở nên rất mạnh mẽ và phổ biến. Trong vài năm trở lại đây, hệ
điều hành Android ra đời và trở thành nền tảng điện thoại thông minh phổ biến nhất
thế giới. Những ưu điểm dễ thấy nhất của Android chính là khả năng tùy biến nhanh
chóng, dễ làm quen, ứng dụng hỗ trợ phong phú, tương thích với đa cấu hình phần
cứng của các nhà sản xuất. Hầu như tất cả những smartphone sử dụng hệ điều hành
Android đều dễ sử dụng, đơn giản tùy biến theo sở thích cá nhân. Với sự phát triển
mạnh mẽ như vậy của Android, và lập trình game trên Android, cơ hội cho lập trình
viên là rất lớn. Vì vậy, nhóm đã chọn đề tài “Lập trình ứng dụng game Fun Math
trên Android”. Trong đề tài này, nhóm sẽ trình bày cái nhìn cơ bản về lập trình game
trên Android và demo ứng dụng game trong đó.
https://lop6.net/
Trong những năm gần đây, việc tin học hóa nhà trường đã trở thành khá phổ
biến ở các nước trên thế giới, việt nam cũng mới bắt đầu thực hiện được một vài năm
gần đây. Và vì thế, việc nâng cao Quản Lý Thư Viện bằng Máy Tính là một điều cần
thiết.
Thư viện trường đại học Sao Đỏ là nơi không thể thiếu được cho mỗi sinh viên
của trường, ở đó tập trung một lượng lớn sinh viên ra vào thư viện để đọc, mượn và trả
sách. Nhu cầu học tập ngày càng cao đặc biệt là để đảm bảo kiến thức có tính logic và
chính xác thì việc tìm đến với sách là rất cần thiết, để đáp ứng nhu cầu đó thì thư viện
trường đã tăng số lượng sách đáng kể rất phong phú về loại sách cũng như số lượng.
Vì thế mà người thủ thư trong một ngày phải liên tục lặp đí lặp lại công việc tìm
sách, cho độc giả mượn trả sách sắp xếp sách đúng theo vị trí quy định đã khó khăn lại
càng khó khăn hơn. Và với sự phát triển của nhà trường thì thư viện càng được phát
triển hơn nữa và khi đó công việc của người thủ thư càng nhiều hơn.
Từ đó vấn đề quản lý sách được coi là rất cần thiết. Quản lý tốt cung cấp đầy
đủ, nhanh chóng và chính xác về các loại sách cho sinh viên và thống kê báo cáo với
ban quản lý là thực sự cần thiết.
Là sinh viên đang học ngành CNTT, việc học tập, trang bị và tiếp thu các kiến
thức về tin học từ thực tế cũng như công tác quản lý là cần thiết. Chính vì vậy mà dưới
sự hướng dẫn của thầy giáo, chúng em đã bước đầu làm quen với việc tìm hiểu, phân
tích và vận dụng những kiến thức đó và thực tế.
Trong đó, xây dựng phần mềm phục vụ công việc là một trong những vấn đề
mà các lập trình viên quan tâm hàng đầu. Hệ thống thông tin về “Quản lý thư viện
trường đại học Sao Đỏ” cũng là một trong những ứng dụng mà được quan tâm nhiều
nhất.
Với mong muốn tìm hiểu một phần nhỏ trong kho tàng phát triển của công nghệ
thông tin, nhóm em đã đi vào tìm hiểu về cách thức tổ chức và hoạt động của thư viện
trường đại học Sao Đỏ để từ đó xây dựng phần phân tích hệ thống thông tin về “Quản
lý thư viện trường đại học Sao Đỏ” nhằm phục vụ cho lợi ích của các thư viện nói
chung và của thư viện trường đại học Sao Đỏ nói riêng
https://lop6.net/
أفضل 11 موقع لعمل اختبارات إلكترونية (Slide Decks).pdfqorrectdm
مع تطور التكنولوجيا، أصبحت أنظمة وأدوات الامتحانات الإلكترونية جزءاً أساسياً من التعليم الحديث. في هذا العرض، سنستعرض أفضل الأنظمة والأدوات التي تساعد المؤسسات التعليمية على تحسين عمليات الامتحان وتقديم تجربة تعليمية متميزة.
2024 State of Marketing Report – by HubspotMarius Sescu
https://www.hubspot.com/state-of-marketing
· Scaling relationships and proving ROI
· Social media is the place for search, sales, and service
· Authentic influencer partnerships fuel brand growth
· The strongest connections happen via call, click, chat, and camera.
· Time saved with AI leads to more creative work
· Seeking: A single source of truth
· TLDR; Get on social, try AI, and align your systems.
· More human marketing, powered by robots
ChatGPT is a revolutionary addition to the world since its introduction in 2022. A big shift in the sector of information gathering and processing happened because of this chatbot. What is the story of ChatGPT? How is the bot responding to prompts and generating contents? Swipe through these slides prepared by Expeed Software, a web development company regarding the development and technical intricacies of ChatGPT!
Product Design Trends in 2024 | Teenage EngineeringsPixeldarts
The realm of product design is a constantly changing environment where technology and style intersect. Every year introduces fresh challenges and exciting trends that mold the future of this captivating art form. In this piece, we delve into the significant trends set to influence the look and functionality of product design in the year 2024.
How Race, Age and Gender Shape Attitudes Towards Mental HealthThinkNow
Mental health has been in the news quite a bit lately. Dozens of U.S. states are currently suing Meta for contributing to the youth mental health crisis by inserting addictive features into their products, while the U.S. Surgeon General is touring the nation to bring awareness to the growing epidemic of loneliness and isolation. The country has endured periods of low national morale, such as in the 1970s when high inflation and the energy crisis worsened public sentiment following the Vietnam War. The current mood, however, feels different. Gallup recently reported that national mental health is at an all-time low, with few bright spots to lift spirits.
To better understand how Americans are feeling and their attitudes towards mental health in general, ThinkNow conducted a nationally representative quantitative survey of 1,500 respondents and found some interesting differences among ethnic, age and gender groups.
Technology
For example, 52% agree that technology and social media have a negative impact on mental health, but when broken out by race, 61% of Whites felt technology had a negative effect, and only 48% of Hispanics thought it did.
While technology has helped us keep in touch with friends and family in faraway places, it appears to have degraded our ability to connect in person. Staying connected online is a double-edged sword since the same news feed that brings us pictures of the grandkids and fluffy kittens also feeds us news about the wars in Israel and Ukraine, the dysfunction in Washington, the latest mass shooting and the climate crisis.
Hispanics may have a built-in defense against the isolation technology breeds, owing to their large, multigenerational households, strong social support systems, and tendency to use social media to stay connected with relatives abroad.
Age and Gender
When asked how individuals rate their mental health, men rate it higher than women by 11 percentage points, and Baby Boomers rank it highest at 83%, saying it’s good or excellent vs. 57% of Gen Z saying the same.
Gen Z spends the most amount of time on social media, so the notion that social media negatively affects mental health appears to be correlated. Unfortunately, Gen Z is also the generation that’s least comfortable discussing mental health concerns with healthcare professionals. Only 40% of them state they’re comfortable discussing their issues with a professional compared to 60% of Millennials and 65% of Boomers.
Race Affects Attitudes
As seen in previous research conducted by ThinkNow, Asian Americans lag other groups when it comes to awareness of mental health issues. Twenty-four percent of Asian Americans believe that having a mental health issue is a sign of weakness compared to the 16% average for all groups. Asians are also considerably less likely to be aware of mental health services in their communities (42% vs. 55%) and most likely to seek out information on social media (51% vs. 35%).
AI Trends in Creative Operations 2024 by Artwork Flow.pdfmarketingartwork
This article is all about what AI trends will emerge in the field of creative operations in 2024. All the marketers and brand builders should be aware of these trends for their further use and save themselves some time!
A report by thenetworkone and Kurio.
The contributing experts and agencies are (in an alphabetical order): Sylwia Rytel, Social Media Supervisor, 180heartbeats + JUNG v MATT (PL), Sharlene Jenner, Vice President - Director of Engagement Strategy, Abelson Taylor (USA), Alex Casanovas, Digital Director, Atrevia (ES), Dora Beilin, Senior Social Strategist, Barrett Hoffher (USA), Min Seo, Campaign Director, Brand New Agency (KR), Deshé M. Gully, Associate Strategist, Day One Agency (USA), Francesca Trevisan, Strategist, Different (IT), Trevor Crossman, CX and Digital Transformation Director; Olivia Hussey, Strategic Planner; Simi Srinarula, Social Media Manager, The Hallway (AUS), James Hebbert, Managing Director, Hylink (CN / UK), Mundy Álvarez, Planning Director; Pedro Rojas, Social Media Manager; Pancho González, CCO, Inbrax (CH), Oana Oprea, Head of Digital Planning, Jam Session Agency (RO), Amy Bottrill, Social Account Director, Launch (UK), Gaby Arriaga, Founder, Leonardo1452 (MX), Shantesh S Row, Creative Director, Liwa (UAE), Rajesh Mehta, Chief Strategy Officer; Dhruv Gaur, Digital Planning Lead; Leonie Mergulhao, Account Supervisor - Social Media & PR, Medulla (IN), Aurelija Plioplytė, Head of Digital & Social, Not Perfect (LI), Daiana Khaidargaliyeva, Account Manager, Osaka Labs (UK / USA), Stefanie Söhnchen, Vice President Digital, PIABO Communications (DE), Elisabeth Winiartati, Managing Consultant, Head of Global Integrated Communications; Lydia Aprina, Account Manager, Integrated Marketing and Communications; Nita Prabowo, Account Manager, Integrated Marketing and Communications; Okhi, Web Developer, PNTR Group (ID), Kei Obusan, Insights Director; Daffi Ranandi, Insights Manager, Radarr (SG), Gautam Reghunath, Co-founder & CEO, Talented (IN), Donagh Humphreys, Head of Social and Digital Innovation, THINKHOUSE (IRE), Sarah Yim, Strategy Director, Zulu Alpha Kilo (CA).
Trends In Paid Search: Navigating The Digital Landscape In 2024Search Engine Journal
The search marketing landscape is evolving rapidly with new technologies, and professionals, like you, rely on innovative paid search strategies to meet changing demands.
It’s important that you’re ready to implement new strategies in 2024.
Check this out and learn the top trends in paid search advertising that are expected to gain traction, so you can drive higher ROI more efficiently in 2024.
You’ll learn:
- The latest trends in AI and automation, and what this means for an evolving paid search ecosystem.
- New developments in privacy and data regulation.
- Emerging ad formats that are expected to make an impact next year.
Watch Sreekant Lanka from iQuanti and Irina Klein from OneMain Financial as they dive into the future of paid search and explore the trends, strategies, and technologies that will shape the search marketing landscape.
If you’re looking to assess your paid search strategy and design an industry-aligned plan for 2024, then this webinar is for you.
5 Public speaking tips from TED - Visualized summarySpeakerHub
From their humble beginnings in 1984, TED has grown into the world’s most powerful amplifier for speakers and thought-leaders to share their ideas. They have over 2,400 filmed talks (not including the 30,000+ TEDx videos) freely available online, and have hosted over 17,500 events around the world.
With over one billion views in a year, it’s no wonder that so many speakers are looking to TED for ideas on how to share their message more effectively.
The article “5 Public-Speaking Tips TED Gives Its Speakers”, by Carmine Gallo for Forbes, gives speakers five practical ways to connect with their audience, and effectively share their ideas on stage.
Whether you are gearing up to get on a TED stage yourself, or just want to master the skills that so many of their speakers possess, these tips and quotes from Chris Anderson, the TED Talks Curator, will encourage you to make the most impactful impression on your audience.
See the full article and more summaries like this on SpeakerHub here: https://speakerhub.com/blog/5-presentation-tips-ted-gives-its-speakers
See the original article on Forbes here:
http://www.forbes.com/forbes/welcome/?toURL=http://www.forbes.com/sites/carminegallo/2016/05/06/5-public-speaking-tips-ted-gives-its-speakers/&refURL=&referrer=#5c07a8221d9b
ChatGPT and the Future of Work - Clark Boyd Clark Boyd
Everyone is in agreement that ChatGPT (and other generative AI tools) will shape the future of work. Yet there is little consensus on exactly how, when, and to what extent this technology will change our world.
Businesses that extract maximum value from ChatGPT will use it as a collaborative tool for everything from brainstorming to technical maintenance.
For individuals, now is the time to pinpoint the skills the future professional will need to thrive in the AI age.
Check out this presentation to understand what ChatGPT is, how it will shape the future of work, and how you can prepare to take advantage.
أفضل 11 موقع لعمل اختبارات إلكترونية (Slide Decks).pdfqorrectdm
مع تطور التكنولوجيا، أصبحت أنظمة وأدوات الامتحانات الإلكترونية جزءاً أساسياً من التعليم الحديث. في هذا العرض، سنستعرض أفضل الأنظمة والأدوات التي تساعد المؤسسات التعليمية على تحسين عمليات الامتحان وتقديم تجربة تعليمية متميزة.
2024 State of Marketing Report – by HubspotMarius Sescu
https://www.hubspot.com/state-of-marketing
· Scaling relationships and proving ROI
· Social media is the place for search, sales, and service
· Authentic influencer partnerships fuel brand growth
· The strongest connections happen via call, click, chat, and camera.
· Time saved with AI leads to more creative work
· Seeking: A single source of truth
· TLDR; Get on social, try AI, and align your systems.
· More human marketing, powered by robots
ChatGPT is a revolutionary addition to the world since its introduction in 2022. A big shift in the sector of information gathering and processing happened because of this chatbot. What is the story of ChatGPT? How is the bot responding to prompts and generating contents? Swipe through these slides prepared by Expeed Software, a web development company regarding the development and technical intricacies of ChatGPT!
Product Design Trends in 2024 | Teenage EngineeringsPixeldarts
The realm of product design is a constantly changing environment where technology and style intersect. Every year introduces fresh challenges and exciting trends that mold the future of this captivating art form. In this piece, we delve into the significant trends set to influence the look and functionality of product design in the year 2024.
How Race, Age and Gender Shape Attitudes Towards Mental HealthThinkNow
Mental health has been in the news quite a bit lately. Dozens of U.S. states are currently suing Meta for contributing to the youth mental health crisis by inserting addictive features into their products, while the U.S. Surgeon General is touring the nation to bring awareness to the growing epidemic of loneliness and isolation. The country has endured periods of low national morale, such as in the 1970s when high inflation and the energy crisis worsened public sentiment following the Vietnam War. The current mood, however, feels different. Gallup recently reported that national mental health is at an all-time low, with few bright spots to lift spirits.
To better understand how Americans are feeling and their attitudes towards mental health in general, ThinkNow conducted a nationally representative quantitative survey of 1,500 respondents and found some interesting differences among ethnic, age and gender groups.
Technology
For example, 52% agree that technology and social media have a negative impact on mental health, but when broken out by race, 61% of Whites felt technology had a negative effect, and only 48% of Hispanics thought it did.
While technology has helped us keep in touch with friends and family in faraway places, it appears to have degraded our ability to connect in person. Staying connected online is a double-edged sword since the same news feed that brings us pictures of the grandkids and fluffy kittens also feeds us news about the wars in Israel and Ukraine, the dysfunction in Washington, the latest mass shooting and the climate crisis.
Hispanics may have a built-in defense against the isolation technology breeds, owing to their large, multigenerational households, strong social support systems, and tendency to use social media to stay connected with relatives abroad.
Age and Gender
When asked how individuals rate their mental health, men rate it higher than women by 11 percentage points, and Baby Boomers rank it highest at 83%, saying it’s good or excellent vs. 57% of Gen Z saying the same.
Gen Z spends the most amount of time on social media, so the notion that social media negatively affects mental health appears to be correlated. Unfortunately, Gen Z is also the generation that’s least comfortable discussing mental health concerns with healthcare professionals. Only 40% of them state they’re comfortable discussing their issues with a professional compared to 60% of Millennials and 65% of Boomers.
Race Affects Attitudes
As seen in previous research conducted by ThinkNow, Asian Americans lag other groups when it comes to awareness of mental health issues. Twenty-four percent of Asian Americans believe that having a mental health issue is a sign of weakness compared to the 16% average for all groups. Asians are also considerably less likely to be aware of mental health services in their communities (42% vs. 55%) and most likely to seek out information on social media (51% vs. 35%).
AI Trends in Creative Operations 2024 by Artwork Flow.pdfmarketingartwork
This article is all about what AI trends will emerge in the field of creative operations in 2024. All the marketers and brand builders should be aware of these trends for their further use and save themselves some time!
A report by thenetworkone and Kurio.
The contributing experts and agencies are (in an alphabetical order): Sylwia Rytel, Social Media Supervisor, 180heartbeats + JUNG v MATT (PL), Sharlene Jenner, Vice President - Director of Engagement Strategy, Abelson Taylor (USA), Alex Casanovas, Digital Director, Atrevia (ES), Dora Beilin, Senior Social Strategist, Barrett Hoffher (USA), Min Seo, Campaign Director, Brand New Agency (KR), Deshé M. Gully, Associate Strategist, Day One Agency (USA), Francesca Trevisan, Strategist, Different (IT), Trevor Crossman, CX and Digital Transformation Director; Olivia Hussey, Strategic Planner; Simi Srinarula, Social Media Manager, The Hallway (AUS), James Hebbert, Managing Director, Hylink (CN / UK), Mundy Álvarez, Planning Director; Pedro Rojas, Social Media Manager; Pancho González, CCO, Inbrax (CH), Oana Oprea, Head of Digital Planning, Jam Session Agency (RO), Amy Bottrill, Social Account Director, Launch (UK), Gaby Arriaga, Founder, Leonardo1452 (MX), Shantesh S Row, Creative Director, Liwa (UAE), Rajesh Mehta, Chief Strategy Officer; Dhruv Gaur, Digital Planning Lead; Leonie Mergulhao, Account Supervisor - Social Media & PR, Medulla (IN), Aurelija Plioplytė, Head of Digital & Social, Not Perfect (LI), Daiana Khaidargaliyeva, Account Manager, Osaka Labs (UK / USA), Stefanie Söhnchen, Vice President Digital, PIABO Communications (DE), Elisabeth Winiartati, Managing Consultant, Head of Global Integrated Communications; Lydia Aprina, Account Manager, Integrated Marketing and Communications; Nita Prabowo, Account Manager, Integrated Marketing and Communications; Okhi, Web Developer, PNTR Group (ID), Kei Obusan, Insights Director; Daffi Ranandi, Insights Manager, Radarr (SG), Gautam Reghunath, Co-founder & CEO, Talented (IN), Donagh Humphreys, Head of Social and Digital Innovation, THINKHOUSE (IRE), Sarah Yim, Strategy Director, Zulu Alpha Kilo (CA).
Trends In Paid Search: Navigating The Digital Landscape In 2024Search Engine Journal
The search marketing landscape is evolving rapidly with new technologies, and professionals, like you, rely on innovative paid search strategies to meet changing demands.
It’s important that you’re ready to implement new strategies in 2024.
Check this out and learn the top trends in paid search advertising that are expected to gain traction, so you can drive higher ROI more efficiently in 2024.
You’ll learn:
- The latest trends in AI and automation, and what this means for an evolving paid search ecosystem.
- New developments in privacy and data regulation.
- Emerging ad formats that are expected to make an impact next year.
Watch Sreekant Lanka from iQuanti and Irina Klein from OneMain Financial as they dive into the future of paid search and explore the trends, strategies, and technologies that will shape the search marketing landscape.
If you’re looking to assess your paid search strategy and design an industry-aligned plan for 2024, then this webinar is for you.
5 Public speaking tips from TED - Visualized summarySpeakerHub
From their humble beginnings in 1984, TED has grown into the world’s most powerful amplifier for speakers and thought-leaders to share their ideas. They have over 2,400 filmed talks (not including the 30,000+ TEDx videos) freely available online, and have hosted over 17,500 events around the world.
With over one billion views in a year, it’s no wonder that so many speakers are looking to TED for ideas on how to share their message more effectively.
The article “5 Public-Speaking Tips TED Gives Its Speakers”, by Carmine Gallo for Forbes, gives speakers five practical ways to connect with their audience, and effectively share their ideas on stage.
Whether you are gearing up to get on a TED stage yourself, or just want to master the skills that so many of their speakers possess, these tips and quotes from Chris Anderson, the TED Talks Curator, will encourage you to make the most impactful impression on your audience.
See the full article and more summaries like this on SpeakerHub here: https://speakerhub.com/blog/5-presentation-tips-ted-gives-its-speakers
See the original article on Forbes here:
http://www.forbes.com/forbes/welcome/?toURL=http://www.forbes.com/sites/carminegallo/2016/05/06/5-public-speaking-tips-ted-gives-its-speakers/&refURL=&referrer=#5c07a8221d9b
ChatGPT and the Future of Work - Clark Boyd Clark Boyd
Everyone is in agreement that ChatGPT (and other generative AI tools) will shape the future of work. Yet there is little consensus on exactly how, when, and to what extent this technology will change our world.
Businesses that extract maximum value from ChatGPT will use it as a collaborative tool for everything from brainstorming to technical maintenance.
For individuals, now is the time to pinpoint the skills the future professional will need to thrive in the AI age.
Check out this presentation to understand what ChatGPT is, how it will shape the future of work, and how you can prepare to take advantage.
A brief introduction to DataScience with explaining of the concepts, algorithms, machine learning, supervised and unsupervised learning, clustering, statistics, data preprocessing, real-world applications etc.
It's part of a Data Science Corner Campaign where I will be discussing the fundamentals of DataScience, AIML, Statistics etc.
Time Management & Productivity - Best PracticesVit Horky
Here's my presentation on by proven best practices how to manage your work time effectively and how to improve your productivity. It includes practical tips and how to use tools such as Slack, Google Apps, Hubspot, Google Calendar, Gmail and others.
The six step guide to practical project managementMindGenius
The six step guide to practical project management
If you think managing projects is too difficult, think again.
We’ve stripped back project management processes to the
basics – to make it quicker and easier, without sacrificing
the vital ingredients for success.
“If you’re looking for some real-world guidance, then The Six Step Guide to Practical Project Management will help.”
Dr Andrew Makar, Tactical Project Management
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
Đề tài Mô hình Cokb và ứng dụng vào giải toán hình học
1. Đại Học Quốc Gia TP.HCM
Đại Học Công Nghệ Thông Tin
BÁO CÁO CHUYÊN ĐỀ
BIỂU DIỄN TRI THỨC VÀ ỨNG DỤNG
ĐỀ TÀI:
MÔ HÌNH COKB VÀ ỨNG DỤNG VÀO
GIẢI TOÁN HÌNH HỌC
GVHD: PGS.TS. ĐỖ VĂN NHƠN
Người thực hiện: Trần Quốc Cường Mã số: CH1301082
Lớp: Cao học khóa 8
NHA TRANG – 2014
2. Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn
https://lop6.net/ Trang: 1
MỤC LỤC
MỤC LỤC........................................................................................................................ 1
PHẦN 1.MÔ HÌNH COKB............................................................................................ 4
I. Khái niệm về đối tượng tính toán COKB .................................................4
1. Giới thiệu............................................................................................4
2. Định nghĩa..........................................................................................4
3. Mô hình cho một đối tượng tính toán.................................................5
II. Mô hình tri thức về các đối tượng tính toán..............................................6
1. Giới thiệu............................................................................................6
2. Mô hình ..............................................................................................6
3. Ví dụ áp dụng .....................................................................................9
III. Tổ chức cơ sở tri thức COKB .................................................................10
1. Các thành phần của COKB: ............................................................10
2. Biểu đồ liên hệ giữa các thành phần của COKB .............................11
IV. Giải toán trên đối tượng tính toán...........................................................11
1. Các vấn đề cơ bản cho hành vi đối tượng........................................11
2. Giải quyết vấn đề..............................................................................12
PHẦN 2: ÁP DỤNG MÔ HÌNH COKB GIẢI TOÁN HÌNH HỌC PHẲNG.......... 15
I. Giới thiệu ................................................................................................15
II. Thiết kế hệ cơ sở tri thức cho miền tri thức hình học phẳng ..................15
1. Tập C – tập các khái niệm đối tượng tính toán................................15
2. Tập H tập quan hệ phân cấp giữa các đối tượng.............................15
3. Tập R – tập quan hệ giữa các đối tượng tính toán ..........................15
4. Tập Ops – tập hợp các toán tử.........................................................16
5. Tập Funcs – tập hợp các hàm ..........................................................16
6. Rules – tập hợp các luật...................................................................16
7. Tập Sample – tập hợp các bài toán mẫu..........................................16
III. Thiết kế bộ suy diễn tự động của chương trình ......................................17
PHẦN 3: LẬP TRÌNH ỨNG DỤNG COKB GIẢI TOÁN HÌNH HỌC PHẲNG.. 19
I. Giới thiệu: ...............................................................................................19
3. Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn
https://lop6.net/ Trang: 2
II. Tạo package đọc File: .............................................................................19
1. Danh sách các files theo cấu trúc COKB.........................................19
2. Tạo package đọc files: .....................................................................20
III. Code xử lý chính của chương trình:........................................................22
1. Hàm đọc sự kiện Facts:....................................................................22
2. Hàm đọc Rules: ................................................................................22
3. Hàm xử lý chính cho bài toán:.........................................................22
IV. Kết quả chương trình: .............................................................................27
V. Hướng dẫn sử dụng chương trình: ..........................................................28
KẾT LUẬN.................................................................................................................... 30
TÀI LIỆU THAM KHẢO............................................................................................ 31
4. Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn
https://lop6.net/ Trang: 3
LỜI MỞ ĐẦU
Trong khoa học về trí tuệ nhân tạo, có nhiều phương pháp để biểu diễn tri thức
nhưng những phương pháp này lại không hiệu quả trong việc biểu diễn và suy luận
trên các tri thức phức tạp. Bên cạnh đó, các phương pháp suy diễn cũng đóng một vai
trò quan trọng trong các hệ cơ sở tri thức, nhưng nghững phương pháp suy diễn hiện
nay vẫn còn mang tính khái quát cao, chưa thể mô phỏng được lối tư duy của con
người. Trong thực tế, khi giải quyết một bài toán, chúng ta thường không tìm ngay
một lời giải mới mà trước tiên ta sẽ tìm những bài toán liên quan với bài toán ấy
để từ đó có cách giải quyết phù hợp. Mô hình mẫu COKB, một hướng tiếp cận hiện
đại, đã và đang được nghiên cứu phát triển do khả năng ứng dụng của nó trong việc
biểu diễn các tri thức. Mô hình COKB là mô hình có thể sử dụng rất hiệu quả trong
việc thiết kế các hệ cơ sở tri thức phức tạp, như các miền tri thức về Hình học,
Giải tích, Vật lý…
Trong phạm vi của bài thu hoạch nhỏ này, em sẽ trình bày khái niệm về mô hình
COKB từ đó ứng dụng mô hình này trong việc xây dựng chương trình giải toán
hình học phẳng cấp THCS.
Qua đây, em cũng xin được gửi lời cảm ơn đến Phó Giáo Sư - Tiến sỹ Đỗ Văn Nhơn ,
người đã tận tâm truyền đạt những kiến thức nền tảng cơ bản cho em về môn học
“Biểu diễn tri thức và ứng dụng”. Bên cạnh đó tôi cũng xin chân thành cảm ơn toàn
thể các bạn bè học viên trong lớp đã tận tình giúp đỡ cho tôi trong những thời điểm
khó khăn khi tìm hiểu tiểu luận này.
5. Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn
https://lop6.net/ Trang: 4
PHẦN 1.MÔ HÌNH COKB
I. Khái niệm về đối tượng tính toán COKB
1. Giới thiệu
Trong nhiều vấn đề giải toán dựa trên tri thức ta thường đề cập đến các đối tượng
khác nhau và mỗi đối tượng có cấu trúc bao gồm một số thuộc tính với những quan hệ
nhất định giúp ta thực hiện sự suy diễn, tính toán.
Cấu trúc đối tượng trên một số hành vi giải toán nhất định để tạo ra một đối
tượng.
Nhiều bài toán khác nhau có thể được biểu diễn dưới dạng mạng các đối tượng.
Cách biểu diễn ny có thể được áp dụng một cách có hiệu quả trong các hệ giải toán,
chẳng hạn như các hệ giải các bài toán hình học.
2. Định nghĩa
Một đối tượng tính toán là đối tượng O có cấu trúc gồm:
- Một danh sách các thuộc tính Attr(O) = x1, x2,..., xn trong đó mỗi thuộc tính
lấy giá trị trong một miền xác định nhất định, và giữa các thuộc tính ta có các
quan hệ thể hiện qua các sự kiện, các luật suy diễn hay các công thức tính
toán.
- Các hành vi liên quan đến sự suy diễn và tính toán trên các thuộc tính của đối
tượng hay trên các sự kiện như:
Xác định bao đóng của một tập hợp thuộc tính A Attr(O).
Xác định tính giải được của bài toán suy diễn tính toán có dạng A → B với A
Attr(O) và B Attr(O).
Thực hiện các tính toán.
Xem xét tính xác định của đối tượng, hay của một sự kiện.
Ví dụ:
6. Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn
https://lop6.net/ Trang: 5
Cấu trúc tam giác gồm các yếu tố như : 3 cạnh a, b, c; 3 góc tương ứng với 3
cạnh : , , ; 3 đường cao tương ứng : ha, hb, hc; diện tích S của tam giác, v.v
… cùng với các công thức liên hệ giữa chúng sẽ trở thành một đối tượng tính
toán khi ta tích hợp cấu trúc ny với các hành vi xử lý liên quan đến việc giải bài
toán tam giác cũng như các hành vi xem xét một sự kiện nào đó liên quan đến
các thuộc tính hay chính bản thân đối tượng.
3. Mơ hình cho một đối tượng tính tốn
Một đối tượng tính toán có thể được mô hình bởi bộ:
(Attrs, F, Facts, Rules)
Attrs là tập hợp các thuộc tính của đối tượng,
F là tập hợp các quan hệ suy diễn tính toán,
Facts là tập hợp các tính chất hay các sự kiện vốn có của đối tượng, và
Rules là tập hợp các luật suy diễn trên các sự kiện liên quan đến các thuộc tính
cũng như liên quan đến bản thân đối tượng.
Ví dụ: Đối tượng “TAM_GIAC” được biểu diễn theo mô hình trên gồm có:
- Attrs = GocA, GocB, GocC, a, b, c, ha, hb, hc, ma, mb, mc, pa, pb, pc, S, p,
R, r, ra, rb, rc
- F = GocA + GocB + GocC = Pi, a*sin(GocB) = b*sin(GocA), a^2 = b^2 +
c^2 - 2*b*c*cos(GocA), ...
- Facts =
- Rules = {GocA = GocB} {a = b}, {a = b} {GocA = GocB},
{GocA=pi/2} {a^2 = b^2+c^2, b⊥c}, ...
Xét một loại Com-object, với cấu trúc như sau:
(Attrs, F, Facts, Rules)
Cho trước (gt) A Attrs, Xác định B Attrs.
7. Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn
https://lop6.net/ Trang: 6
Ký hiệu vấn đề là: A → B.
Algorithm:
GĐ 1: Tìm một lời giải Solution dựa trên suy diễn tiến; Solution có dạng danh
sách các quan hệ suy diễn tính toán hay các luật được áp dụng.
GĐ 2: Thực hiện loại bước thừa trong Solution để được Solution cuối cùng.
II. Mô hình tri thức về các đối tượng tính toán
1. Giới thiệu
Mỗi loại đối tượng tính toán khi xét riêng biệt chỉ thể hiện được một phần tri
thức có tính chất cục bộ trong ứng dụng trong khi kiến thức của con người về một lĩnh
vực hay một phạm vi kiến thức nào đó thường bao gồm các khái niệm về các loại đối
tượng khác nhau với những mối quan hệ v những thành phần khác liên quan.
Ví dụ: cạnh a của một tam giác là một thuộc tính của đối tượng tam giác, khi xét
như một đối tượng độc lập thì nó l một “đoạn thẳng”, là một loại đối tượng có những
luật riêng của nó.
Để có mot mô hình biểu diễn tri thức rộng hơn có thể sử dụng trong việc xây
dựng một hệ cơ sở tri thức và giải toán về các loại đối tượng khác nhau ta cần phải
xem xét khái niệm đối tượng tính toán trong một hệ thống khái niệm các đối tượng
cùng với các loại sự kiện, các loại quan hệ khác nhau và các dạng luật liên quan đến
chúng.
Mô hình tri thức về các đối tượng tính toán là mô hình cho một dạng cơ sở tri
thức bao gồm các khái niệm về các đối tượng có cấu trúc cùng với các loại quan hệ và
các công thức tính toán liên quan.
2. Mô hình
Ta gọi một mô hình tri thức về các đối tượng tính toán, viết tắt là một mô hình
COKB (Computational Objects Knowledge Base), là một hệ thống (C, H, R, Ops,
Rules) gồm:
- Một tập hơp C các khái niệm về các đối tượng tính toán
8. Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn
https://lop6.net/ Trang: 7
- Mỗi khái niệm là một loại đối tượng tính toán có cấu trúc và được phân mức
theo sự thiết lập của cấu trúc đối tượng, gồm: biến thực, đối tượng cơ bản,
đối tượng mức 1 và đối tượng mức 2.
- Các đối tượng cơ bản có cấu trúc rỗng hoặc có cấu trúc gồm một số thuộc tính
thuộc kiểu thực. Các đối tượng loại ny có thể làm nền cho sự thiết lập các đối
tượng ở mức cao hơn.
- Các đối tượng tính toán mức 1 có một thuộc tính loại <real> và có thể được
thiết lập từ một danh sách nền các đối tượng cơ bản.
Các đối tượng tính toán mức 2 có các thuộc tính loại real và các thuộc tính thuộc
loại đối tượng mức 1, và đối tượng có thể được thiết lập trên một danh sách nền các
đối tượng cơ bản.
- Một tập hơp H các quan hệ phân cấp giữa các loại đối tượng
Trên tập hợp C ta có một quan hệ phân cấp theo đó có thể có một số khái niệm là
sự đặc biệt hóa của các khái niệm khác, chẳng hạn như một tam giác cân cũng là một
tam giác, một hình bình hành cũng là một tứ giác. Có thể nói rằng H là một biểu đồ
Hasse khi xem quan hệ phân cấp trên là một quan hệ thứ tự trên C.
- Một tập hơp R các khái niệm về các loại quan hệ trên các loại đối tượng
Mỗi quan hệ được xác định bởi <tên quan hệ> và các loại đối tượng của quan hệ,
và quan hệ có thể có một số tính chất trong các tính chất sau đây: tính chất phản xạ,
tính chất đối xứng, tính chất phản xứng và tính chất bắc cầu.
- Một tập hơp Ops các toán tử
Các toán tử cho ta một số phép toán trên các biến thực cũng như trên các đối
tượng, chẳng hạn các phép toán số học và tính toán trên các đối tượng đoạn và góc
tương tự như đối với các biến thực.
- Một tập hơp Rules gồm các luật
Các luật thể hiện các tri thức mang tính phổ quát trên các khái niệm và các loại
sự kiện khác nhau. Mỗi luật cho ta một qui tắc suy luận để đi đến các sự kiện mới từ
9. Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn
https://lop6.net/ Trang: 8
các sự kiện nào đó, và về mặt cấu trúc nó gồm 2 thành phần chính là: phần giả thiết
của luật và phần kết luận của luật. Phần giả thiết và phần kết luận đều là các tập hợp
sự kiện trên các đối tượng nhất định.
Một luật r có thể được mô hình dưới dạng:
r : sk1, sk2, ..., skn sk1, sk2, ..., skm
* Phân loại sự kiện:
Mỗi sự kiện là một phát biểu khẳng định một tính chất về một hay một số đối
tượng tính toán. Ở đây chúng ta xem xét 6 loại sự kiện khác nhau như sau:
Loại 1: Phát biểu về loại (hay tính chất) của một đối tượng. Ví dụ: Ob là một tam
giác.
Loại 2: Phát biểu về tính xác định của một đối tượng (các thuộc tính coi như đã
biết) hay của một thuộc tính. Ví dụ: Giả sử đoạn AB trong tam giác ABC được cho
trước.
Loại 3: Phát biểu về sự xác định của một thuộc tính hay một đối tượng thông qua
một biểu thức hằng.
Ví dụ: đoạn AB = 2*m^2 + 1 (với m được cho trước), góc ABC = / 3.
Loại 4: Sự kiện về sự bằng nhau giữa một đối tượng hay một thuộc tính với một
đối tượng hay một thuộc tính khác.
Ví dụ: thuộc tính a của đối tượng Ob thuộc loại tam giác = đoạn CD, đối tượng
Ob1 = đối tượng Ob2.
Loại 5: Sự kiện về sự phụ thuộc của một đối tượng hay của một thuộc tính theo
những đối tượng hay các thuộc tính khác thông qua một công thức tính toán.
Ví dụ: O1.a = O2.a + 2*O2.b
Loại 6: Sự kiện về một quan hệ trên các đối tượng hay trên các thuộc tính của
các đối tượng.
Ví dụ: đoạn AB song song với đoạn CD, điểm M thuộc đoạn AB.
10. Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn
https://lop6.net/ Trang: 9
3. Ví dụ p dụng
Phần kiến thức về các tam giác và các tứ giác trong hình học phẳng có thể được
biểu diễn theo mô hình tri thức về các đối tượng tính toán như dưới đây.
- Các khái niệm về các đối tượng gồm:
o Điểm, đđường thẳng
o Đoạn thẳng. tia
o Góc.
o Các loại tam giác và các loại tứ giác.
- Các quan hệ phân cấp giữa các loại đối tượng:
Giữa các khái niệm về các loại tam giác và các loại tứ giác có các quan hệ phân
cấp theo sự đặc biệt hóa của các khái niệm, được thể hiện bởi các biểu đồ sau đây:
- Các quan hệ giữa các khái niệm bao gồm các loại quan hệ như:
11. Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn
https://lop6.net/ Trang: 10
o Quan hệ thuộc về của 1 điểm đối với một đoạn thẳng.
o Quan hệ trung điểm của một điểm đối với một đoạn thẳng.
o Quan hệ song song giữa 2 đoạn thẳng.
o Quan hệ vuông góc giữa 2 đoạn thẳng.
o Quan hệ bằng nhau giữa 2 tam giác.
- Các toán tử:
Các toán tử số học và các hàm sơ cấp cũng áp dụng đối với các đối tựng loại
“đoạn thẳng” và các đối tượng loại “góc”.
- Các luật:
Các luật thể hiện các định lý hay qui tắc suy diễn trên các loại sự kiện khác nhau.
Ví dụ: Một tam giác ABC có 2 cạnh AB và AC bằng nhau thì tam giac là tam
giác cân tại A. Với 3 đoạn thẳng a, b và c, nếu a // b và a ⊥ c thì ta có b ⊥ c.
III.Tổ chức cơ sở tri thức COKB
1. Các thành phần của COKB:
Một cơ sở tri thức về các đối tượng tính toán có thể được tổ chức bởi một hệ
thống file text có cấu trúc gồm:
- Tập tin “Concepts.txt” lưu trữ các định danh (hay tên gọi) cho các khái niệm về
các loại đối tượng; mỗi định danh có một file tương ứng lưu thông tin cấu
trúc của loại đối tượng.
- Tập tin “RELATIONS.txt” lưu trữ thông tin về các loại quan hệ khác nhau trên
các loại đối tượng.
- Tập tin “Hierarchy.txt” lưu lại các biểu đồ Hasse thể hiện quan hệ phân cấp đặc
biệt hóa trên các khái niệm.
- Các tập tin với tên tập tin có dạng “<tên khái niệm đối tượng>.txt” để lưu trữ
cấu trúc của loại đối tượng <tên khái niệm đối tượng>.
12. Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn
https://lop6.net/ Trang: 11
- Tập tin “Operators.txt” lưu trữ các thông tin về các toán tử trên các đối tượng.
- Tập tin “FACTS.txt” lưu trữ thông tin về các loại sự kiện khác nhau.
- Tập tin “RULES.txt” lưu trữ hệ luật của cơ sở tri thức.
- File “objects.txt” lưu các đối tượng cụ thể mặt định.
2. Biểu đồ liên hệ giữa các thành phần của COKB
IV. Giải toán trên đối tượng tính toán
1. Các vấn đề cơ bản cho hành vi đối tượng
- Vấn đề 1:
Xét tính giải được của bài toán GT KL, trong đó GT và KL là các tập hợp
những sự kiện trên các thuộc tính của đối tượng.
- Vấn đề 2:
Tìm một lời giải cho bài toán GT KL, trong đó GT và KL là các tập hợp
những sự kiện trên các thuộc tính của đối tượng.
13. Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn
https://lop6.net/ Trang: 12
- Vấn đề 3:
Thực hiện tính toán các thuộc tính trong tập hợp KL từ các sự kiện trong GT
trong trường hợp bài toán GT KL giải được, trong đó GT và KL là các tập hợp
những sự kiện trên các thuộc tính của đối tượng.
- Vấn đề 4:
Xét tính xác định của đối tượng dựa trên một tập sự kiện cho trước trên các
thuộc tính của đối tượng.
2. Giải quyết vấn đề
- Định nghĩa về “sự hợp nhất” của các sự kiện.
Ví dụ về các sự kiện hợp nhất với nhau:
DOAN[A,B] và DOAN[A,B].
TAM_GIAC[A,B,C]. a và DOAN[B,C].
Ob.a = (m+1)^2 và Ob.a = m^2 + 2*m + 1.
Ob1 = Ob2 và Ob2 = Ob1.
a^2 = b^2 + c^2 và b^2 = a^2 – c^2.
“a song song b” và “b song song a”.
- Định nghĩa về một bước giải là một bước suy ra sự kiện mới từ một số sự kiện
đã biết thuộc một trong các dạng suy luận như: suy diễn mặc nhiên, áp dụng
luật suy diễn, áp dụng quan hệ tính toán, giải hệ phương trình, …
Ví dụ về các bước giải:
14. Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn
https://lop6.net/ Trang: 13
If then
- Định nghĩa về một lời giải của một bài toán và tính giải được dựa trên quan hệ
“bao hàm hợp nhất”.
- Thực hiện quá trình tìm lời giải theo cách suy diễn tiến với sự áp dụng của một
số qui tắc heuristic, kết hợp với kỹ thuật loại bỏ các bước dư thừa để rút gọn
lời giải.
Ví dụ 1: Xét bài toán GT KL trên đối tượng “TAM_GIAC”, với
GT = a, b=1, c, GocA = m*(b+c), GocA = 2*GocB,
KL = GocB, GocC.
Kết quả: bài toán giải được.
Ví dụ 2: Xét bài toán GT KL trên đối tượng “TAM_GIAC”, với
GT = a, b=5, GocA = m*(b+c), GocA = 2*GocB, a^2=b^2+c^2, KL =
GocB, GocC.
Lời giải:
1. Suy ra töø
2. Suy ra từ
3. Suy ra từ
15. Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn
https://lop6.net/ Trang: 14
4. Suy ra từ
5. Suy ra từ và
6. Suy ra từ .
16. Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn
https://lop6.net/ Trang: 15
PHẦN 2: ÁP DỤNG MÔ HÌNH COKB GIẢI TOÁN
HÌNH HỌC PHẲNG
I. Giới thiệu
Trên cơ sở hệ thống bài tập về hình học phẳng và Kĩ thuật thiết kế hệ giải toán
tự động , ta dùng mô hình COKB để xây dựng hệ cơ sở tri thức và bộ suy diễn cho
ứng dụng: “Chương trình giải toán tự động các bài toán hình học phẳng trong chương
trình toán cấp THCS.”
II. Thiết kế hệ cơ sở tri thức cho miền tri thức hình học phẳng
Trên cơ sở hệ thống bài tập về hình học phẳng và Kĩ thuật thiết kế hệ giải toán
tự động , ta dùng mô hình COKB
1. Tập C – tập các khái niệm đối tượng tính toán
Tập C gồm các khái niệm: “Điểm”, “Tia”, “Đoạn”, “Góc”, “Đường thẳng”,
“Tam giác”, “Hình thang”, “Đường tròn”…
- “Điểm” là đối tượng cơ bản.
- “Tia”, “Đoạn” là các đối tượng cấp 1.
- “Tam giác” , “Đường tròn” là các đối tượng cấp 2.
2. Tập H tập quan hệ phân cấp giữa các đối tượng
Từ tập hợp các khái niệm về đối tượng tính toán ở trên ta có quan hệ phân cấp
giữa các tượng, ví dụ như:.
- “Góc nhọn”, “Góc tù” là những dạng của khái niệm của “Góc”.
- “Tam giác cân”, “Tam giác vuông”, “Tam giác đều” là những dạng của khái
niệm “Tam Giác”.
3. Tập R – tập quan hệ giữa các đối tượng tính toán
Ta có các loại quan hệ sau:
- Quan hệ nền: là quan hệ giữa các số thực.
17. Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn
https://lop6.net/ Trang: 16
- Quan hệ cấp cơ bản: là quan hệ giữa các đối tượng nền và quan hệ giữa các đối
tượng cấp 1.
- Quan hệ cấp 1: là quan hệ giữa các đối tượng cơ bản, đối tượng cấp 1 và đối
4. Tập Ops – tập hợp các toán tử
Trong miền tri thức hình học phẳng ở cấp THCS, toán tử là quan hệ giữa các số
thực nên ta có thể xem như Ops = {}.
5. Tập Funcs – tập hợp các hàm
Tập Func gồm các hàm sau:
- Trung điểm của đoạn thẳng.
- Hình chiếu của một điểm trên đường thẳng.
- Hàm đối xứng của một điểm qua một đường thẳng.
6. Rules – tập hợp các luật
Các tính chất, mệnh đề, định lý trong tri thức toán hình học phẳng ở cấp THCS
có thể được biểu diễn bằng các luật trên các đối tượng tính toán. Chẳng hạn:
{a: DOAN, b: DOAN, c: DOAN, a // b, c ┴ a} => {c ┴ b}.
{A: DIEM, B: DIEM, C: DIEM, BC = AC} => {ABC là tam cân tại C}.
{A: DIEM, B: DIEM, C: DIEM, AB ┴ BC} => { góc ABC = 90o
}.
7. Tập Sample – tập hợp các bài toán mẫu
- Bài toán mẫu về việc xác định loại của đối tượng: Xác định tam giác vuông,
Hình chữ nhật, đường tròn.
- Bài toán mẫu về:
o Giải tam giác vuông.
o Giải tam giác cân.
o Quan hệ giữa đường kính và dây cung trong đường tròn.
18. Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn
https://lop6.net/ Trang: 17
III. Thiết kế bộ suy diễn tự động của chương trình
Mô hình bài toán trên miền tri thức hình học phẳng được định nghĩa như sau:
(O, F, Goal)
Bài toán P: “Cho tam giác ABC với các giả thiết sau: đoạn AH = 6, BC = 211,
Góc A = 50o
. Tìm đoạn AB?”
- Mô hình bài toán:
O = { TAM_GIAC[A,B,C], [H, DIEM]}
F = { H = HINHCHIEU(A, DOAN[B,C]),
DOAN[A,H].dai = 6, DOAN[B,C].dai = 211
GOC[C,A,B] = 50;}
Goal = {DOAN[A,B].dai}.
- Lời giải của chương trình:
o Bước 1:
{ H = HINHCHIEU(A, DOAN[B,C]), DOAN[B,C].dai,
GOC[C,A,B] }
➔ {GOC[B,C,A]}
Bởi “Luật suy diễn”: [“Tính chất của tam giác”]
o Bước 2:
{ GOC[C,A,B], GOC [B,C,A] }
➔ {GOC[A,B,C]}
Bởi “Luật suy diễn”: [“Tính chất của tam giác”]
o Bước 3:
{ DOAN[A,C], GOC[C,A,B] }
➔ {[“DUONGCAO”, DOAN[C,H], TAMGIAC[A,B,C]]}
19. Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn
https://lop6.net/ Trang: 18
Bởi “Luật suy diễn”: [“Tính chất của tam giác”]
o Bước 4:
{[“DUONGCAO”, DOAN[C,H], TAMGIAC[A,B,C]],
DOAN[A,B,C] }
➔ {DOAN[B,C]}
Bởi “Luật suy diễn”: [“Tính chất của tam giác”]
20. Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn
https://lop6.net/ Trang: 19
PHẦN 3: LẬP TRÌNH ỨNG DỤNG COKB GIẢI
TOÁN HÌNH HỌC PHẲNG
I. Giới thiệu:
Để viết chương trình demo giải toán hình học phẳng theo mô hình COKB, em
quyết định sử dụng ngôn ngữ lập trình Maple vì những ưu điểm sau:
- Maple là phần mềm chuyên dụng cho công việc tính toán bao gồm các tính
toán thuần túy bằng ký hiệu toán học, các tính toán số và các tính toán bằng
đồ thị.
- Maple dễ sử dụng, đòi hỏi cấu hình không lớn, đáp ứng nhu cầu tính toán của
nhiều đối tượng.
II. Tạo package đọc File:
1. Danh sách các files theo cấu trúc COKB
Danh sách các files theo cấu trúc COKB như đã đề cập ở mục III.1
- TIA.txt
- DIEM.txt
- DOAN.txt
- DUONG_THANG.txt
- GOC.txt
- HINH_BINH_HANH.txt
- HINH_VUONG.txt
- TAM_GIAC.txt
- TU_GIAC.txt
- OBJECTS.txt
21. Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn
https://lop6.net/ Trang: 20
- Hierarchy.txt
- RELATIONS.txt
- RULES.txt
2. Tạo package đọc files:
Đây là code mẫu để đọc file Rules.
Readrules := proc()
local read_1Rule;
read_1Rule := proc()
local loai, tens, kieus, ten1, n1, kieu1, gt_kl, k;
loai := ""; tens := []; kieus := []; gt_kl := [{},{}];
line := readline(fd);
# bo qua dong begin_rule
while line <> 0 and SearchText("begin_rule", line) = 0 and
SearchText("end_rules", line) = 0 do
line := readline(fd);
end do;
# thoat khoi ham neu den dong cuoi cung end_rules
if SearchText("end_rules", line) > 0 then
RETURN (NULL);
fi;
line := readline(fd);
# doc den dong end_rule thi dung lai
while line <> 0 and SearchText("end_rule", line) = 0 do
if SearchText("kind_rule", line) > 0 then
loai := rhs(parse(line));
else
k := SearchText(":", line);
# doc phan hypothesis_part va gan vao bien hypothesis_part = gt_kl[1]
if SearchText("hypothesis_part", line) > 0 then
gt_kl[1] := substring(line, (k+1)..length(line));
line := readline(fd);
while line <> 0 and SearchText("end_hypothesis_part", line) = 0 do
22. Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn
https://lop6.net/ Trang: 21
gt_kl[1] := cat (gt_kl[1], line);
line := readline(fd);
end do;
gt_kl[1] := parse(gt_kl[1]);
# doc phan goal_part va gan vao bien goal_part = gt_kl[2]
elif SearchText("goal_part", line) > 0 then
gt_kl[2] := substring(line, (k+1)..length(line));
line := readline(fd);
while line <> 0 and SearchText("end_goal_part", line) = 0 do
gt_kl[2] := cat (gt_kl[2], line);
line := readline(fd);
end do;
gt_kl[2] := parse(gt_kl[2]);
# doc phan A,B,C : DIEM; tens = A,B,C; kieus = DIEM
elif k > 0 then
ten1 := [parse( substring(line, 1..(k-1)) )]; n1 := nops(ten1);
kieu1 := convert ( parse( substring(line, (k+1)..length(line)) ), string);
tens := [op(tens), op(ten1)]; kieus := [op(kieus), kieu1 $ n1];
fi;
fi;
line := readline(fd);
end do; # while
if gt_kl[1] <> {} or gt_kl[2] <> {} then
Rule := [op(Rule), [loai, tens, kieus, gt_kl] ];
fi;
end: # Read_1Rule
while line <> 0 and SearchText("end_rules", line) = 0 do
read_1Rule();
end do; # while
end: # Readrules
23. Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn
https://lop6.net/ Trang: 22
III. Code xử lý chính của chương trình:
1. Hàm đọc sự kiện Facts:
GetFacts:=proc(nameObj)
local facts,f;
facts := {};
for f in ObjStruct(nameObj)[6] do
facts := `union`(facts, {f[6]});
end do;
return facts
end proc:
2. Hàm đọc Rules:
GetRules:=proc(nameObj)
local rules,r;
rules := {};
for r in ObjStruct(nameObj)[7] do
rules := `union`(rules, {{r[4][1][1], r[4][2][1]}});
end do;
return rules;
end proc:
3. Hàm xử lý chính cho bài toán:
Tinh:=proc(GT,KL,nameObj)
local knownVar,knownVal,r,flag,Vnew,findResultPath,flag1,exactResult,
checked,knowVar1,r1,rr1,rules,g,u,M,F,s,conditions,v;
M := ObjStruct(nameObj)[2];
F := GetFacts(nameObj);
findResultPath := [];
knownVal := GT;
knownVar := {};
# start of bo them vao F dua vao rules
for g in GT do
24. Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn
https://lop6.net/ Trang: 23
if evalb(SetVars(rhs(g),nameObj) = {}) then
knownVar := {lhs(g), op(knownVar)};
else
# duyet rules va gan vao cho F
rules := GetRules(nameObj);
for u in rules do
if evalb(u[1] = g) then
F := `union`(F, {convert(g, name), convert(u[2], name)});
elif evalb(u[2]=g) then
F := `union`(F, {convert(g, name), convert(u[1], name)});
else
F := `union`(F, {convert(g, name)});
end if;
end do;
end if;
end do;
# end of bo them vao F dua vao rules
while not(KL subset knownVar) do
flag := false;
for r in F do
if nops(SetVars(parse(r),nameObj) minus knownVar) = 1 then
flag := true; Vnew := `minus`(SetVars(parse(r), nameObj), knownVar);
break;
end if;
end do;
if not flag then
return printf(" Khong tim ra duoc ket qua n");
25. Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn
https://lop6.net/ Trang: 24
end if;
knownVar := `union`(knownVar, Vnew);
# sub: thay the KnownVal trong ctrinh r
knownVal := `union`(knownVal, solve(subs(knownVal, parse(r)), Vnew));
findResultPath := [op(findResultPath), [parse(r), Vnew[1]]];
end do;
# viet thuat giai loai bo luat thua
# danh sach tham so tinh ra ket qua minus tham so gia thiet
knowVar1 := `minus`(knownVar, map(proc (x) options operator, arrow; lhs(x) end proc, GT));
# danh sach ket qua da rut gon
exactResult := [findResultPath[nops(findResultPath)]];
# truy vet lai ket qua vi du: p=2⋅a+2⋅b suy ra duoc qua 2 tham so a va b
checked := `minus`(SetVars(findResultPath[nops(findResultPath)][1], nameObj), KL);
# lap lai cho den khi ket qua truy vet la {}
while not evalb(nops(checked) = 0) do
for r1 in checked[1] do
for rr1 in findResultPath do
if (evalb(rr1[2] = r1)) and not ({r1} subset map(x->lhs(x),GT)) then
checked := `minus`(`union`(checked, SetVars(rr1[1], nameObj)), {rr1[2]});
checked := `minus`(checked, {r1});
exactResult := [op(exactResult), rr1];
end if;
end do;
end do;
if (not (checked subset knowVar1)) and evalb(nops(checked)=nops(GT)) then
checked := `minus`(checked, map(proc (x) options operator, arrow; lhs(x) end proc, GT));
end if;
26. Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn
https://lop6.net/ Trang: 25
if (not (checked subset knowVar1)) then
checked := `minus`(checked, map(proc (x) options operator, arrow; lhs(x) end proc, GT));
end if;
end do;
# Xuat ket qua
XuatKQ(exactResult, GT, nameObj);
# In gia tri ket qua
for s in knownVal do
if evalb(lhs(s)=KL[1]) then
printf("_ Ket qua %s n", convert(s, string));
end if;
end do;
end proc:
XuatKQ:=proc(Results,GT,nameObj)
local i,j,xuat,temp,temp1,deduces,l,temp2,temp3,temp4,temp5,m;
j := 1;
deduces := [];
for i from nops(Results) by -1 to 1 do
deduces := [op(deduces), [Results[i], j]];
j := j+1;
end do;
j := 1;
for i from nops(Results) by -1 to 1 do
temp := convert(Results[i][1], string);
temp1 := convert(j, string);
printf("_ Buoc thu %s : %s n", temp1, temp);
# Xet tung bien ben ve phai
27. Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn
https://lop6.net/ Trang: 26
for l in SetVars(Results[i][1],nameObj) do
# Chi xet truong hop khong phai la ket qua
if not evalb(l = Results[i][2]) then
# Kiem tra co thuoc tap gia thiet
if {l} subset map(x->lhs(x),GT) then
temp2 := convert(l, string);
printf(" %s : gia thiet n", temp2);
else # Kiem tra co thuoc tap suy dien
for m in deduces do
if evalb(m[1][2] = l) then
temp3 := convert(m[1][2], string);
temp4 := convert(m[2], string);
printf(" %s : suy ra tu buoc thu %s n", temp3, temp4);
end if;
end
end if;
end if;
end do;
# In ket qua
temp5 := convert(Results[i][2], string);
printf(" Tinh duoc %s n", temp5);
j := j+1;
end do;
return deduces;
end proc:
28. Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn
https://lop6.net/ Trang: 27
IV. Kết quả chương trình:
- Bài toán 1: Cho tam giác ABC, với các giả thiết GT sau: bán kính đường tròn
nội tiếp r = 3, chu vi p = 4, đoạn AC = 21. Tính đường cao HB.
o Nhập vào chương trình như sau:
Tinh({b = 21, p = 4, r = 3}, {hb}, "TAM_GIAC")
o Kết quả xuất ra:
_ Buoc thu 1 : S = p*r
p : gia thiet
r : gia thiet
Tinh duoc S
_ Buoc thu 2 : S = 1/2*b*hb
S : suy ra tu buoc thu 1
b : gia thiet
Tinh duoc hb
_ Ket qua hb = 8/7
- Bài toán 2: Cho tam giác ABC với các giả thiết sau: đoạn AH = 6, BC = 211,
Góc A = 50o
. Tính đoạn AB.
o Nhập vào chương trình như sau:
Tinh({b = 211, ha = 6, GocA = 50}, {a}, "TAM_GIAC")
o Kết quả xuất ra:
_ Buoc thu 1 : ha = b*sin(GocC)
b : gia thiet
ha : gia thiet
Tinh duoc GocC
_ Buoc thu 2 : GocA+GocB+GocC = Pi
GocA : gia thiet
GocC : suy ra tu buoc thu 1
Tinh duoc GocB
_ Buoc thu 3 : hc = b*sin(GocA)
b : gia thiet
GocA : gia thiet
Tinh duoc hc
_ Buoc thu 4 : hc = a*sin(GocB)
hc : suy ra tu buoc thu 3
GocB : suy ra tu buoc thu 2
Tinh duoc a
_ Ket qua a = 211*sin(50)/sin(Pi-50-arcsin(6/211))
29. Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn
https://lop6.net/ Trang: 28
- Bài toán 3: Cho tam giác ABC với các giả thiết sau: góc A = 50o
, AC = 69.
Tính đoạn BC.
o Nhập vào chương trình như sau:
Tinh({b = 69, GocA = 50}, {a}, "TAM_GIAC")
o Kết quả xuất ra:
Khong tim ra duoc ket qua
V. Hướng dẫn sử dụng chương trình:
- Download phần mềm Maple 13.
- Tạo thư mục CObject_Knowledge tại ổ đĩa D, và chép các files TIA.txt,
DIEM.txt, DOAN.txt, DUONG_THANG.txt, GOC.txt,
HINH_BINH_HANH.txt, HINH_VUONG.txt, TAM_GIAC.txt,
TU_GIAC.txt, OBJECTS.txt, Hierarchy.txt, RELATIONS.txt, RULES.txt
- Chép file package “TriangleLib.m” vào thư mục lib của thư mục cài đặt Maple
(thường là C:Program FilesMaple 13lib).
- Sử dụng maple để mở file “TieuLuan_Triangle.mw”.
- Click vào biểu tượng để thực thi chương trình.
- Đưa con trỏ đến cuối dòng của chương trình và thực hiện tính toán như bước
II.4.
o Bài toán: Cho tứ giác ABCD, với các giả thiết sau: Góc A = 60, cạnh
AB = 110, cạnh BC = 10, cạnh CD = 120, chu vi p = 190, Góc C = 30,
Góc D = 140. Tính diện tích S.
o Nhập vào chương trình như sau:
tugiac := Tinh({GA = 60, GC = 30, GD = 140, a = 110, b = 10, c = 120,
p = 190}, {S}, "TU_GIAC")
30. Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn
https://lop6.net/ Trang: 29
o Kết quả xuất ra:
_ Buoc thu 1 : a+b+c+d = p
a : gia thiet
b : gia thiet
c : gia thiet
p : gia thiet
Tinh duoc d
_ Buoc thu 2 : GA+GB+GC+GD = 2*Pi
GA : gia thiet
GC : gia thiet
GD : gia thiet
Tinh duoc GB
_ Buoc thu 3 : 2*S = a*b*sin(GB)+c*d*sin(GD)
GB : suy ra tu buoc thu 2
GD : gia thiet
a : gia thiet
b : gia thiet
c : gia thiet
d : suy ra tu buoc thu 1
Tinh duoc S
_ Ket qua S = 550*sin(2*Pi-230)-3000*sin(140)
31. Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn
https://lop6.net/ Trang: 30
KẾT LUẬN
ô hình COKB là mô hình thích hợp cho việc thiết kế một cơ sở tri thức với
các khái niệm có thể được biểu diễn bởi các đối tượng tính toán, cấu trúc
tường minh giúp dễ dàng thiết kế các môđun truy cập cơ sở tri thức. Tiện lợi cho việc
thiết kế các mô đun giải toán tự động. Thích hợp cho việc định ra một ngôn ngữ khai
báo bài toán và đặc tả bài toán một cách tự nhiên. Các mô hình và thuật giải được đề
xuất có thể làm công cụ cho việc xây dựng các hệ giải bài toán dựa trên tri thức, các
hệ cơ sở tri thức, và các phầm mềm dạy học với sự hỗ trợ giải toán thông minh.
Là mô hình rất tốt cho việc biểu diễn các tri thức của con người, đặc biệt là các tri
thức về Toán học, Vật lý, Hóa học.
Chương trình giải toán tự động về Toán Hình Học phẳng ở THCS được xây dựng
bằng ứng dụng mô hình COKB cho việc biểu diễn tri thức trên miền tri thức này. Lời
giải của hện thống tự nhiên, chính xác và phù hợp cách suy nghĩ của con người.
Tuy nhiên việc ứng dụng các thuật toán vào thực tiễn là bài toán khó, kiến thức của
học viên còn chưa sâu vì vậy chương trình cũng như nội dung tiểu luận vẫn còn những
khiếm khuyết, rất mong được Thầy nhận xét và góp ý để học viên hiểu biết thêm
nhiều kiến thức về công nghệ này.
Em xin chân thành cảm ơn Thầy PGS.TS Đỗ Văn Nhơn, giảng viên chuyên đề
Biểu Diễn tri thức và Ứng dụng, đã truyền đạt những kiến thức quý báu về các thuật
toán và tạo cơ hội được làm chuyên đề này để hiểu sâu hơn
Trận trọng cảm ơn Thầy.
M
32. Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn
https://lop6.net/ Trang: 31
TÀI LIỆU THAM KHẢO
[1] Slide COKB(2011) – 5 components. PGS.TS Đỗ Văn Nhơn.
[2] Phương pháp suy diễn trên mô hình COKB dựa trên tri thức bài toán mẫu và ứng
dụng. PGS.TS Đỗ Văn Nhơn
[3] Đỗ Văn Nhơn, Xây dựng hệ tính toán thông minh – Xây dựng và phát triển các
mô hình biểu diễn tri thức cho các hệ giải toán tự động, Luận án tiến sĩ, Đại
học quốc gia – HCM (2001-2002).
[4] Hoàng Kiếm & Đỗ Văn Nhơn, Mở rộng và phát triển mô hình tri thức các đối
tượng tính toán, Kỷ yếu Hội thảo Quốc Gia Một số vấn đề chọn lọc của CNTT,
NXB Khoa học kỹ thuật (2005).
[5] Đỗ Văn Nhơn, Kiến trúc hệ giải bài tập cho người học và kỹ thuật thiết kế, Tạp
chí Khoa. Học Giáo dục kỹ thuật, Đại học sư phạm kỹ thuật TpHCM, Số 2(4)
2007.
[6] Bộ Giáo dục và Đào tạo, Sách Giáo khoa Bài học và Bài tập các lớpTHCS, NXB
Giáo dục.
[7] Hoàng Kiếm, Giải một Bài toán trên Máy tính như thế nào, tập 1, NXB Giáo Dục
(2000).
[8] G. Polya, Giải bài toán như thế nào, Nhà xuất bản Giáo dục (1997).
[9] Frank van Harmelem & Vladimir & Bruce, 2008, “Handbook of
Knowledge, Representation”, Elsevier.
[10] Stuart Russell & Peter Norvig, Artificial Intelligence – A modern
approach (second edition), Prentice Hall (2003).
[11] John F. Sowa. Knowledge Representation: Logical, Philosophical and
Computational Foundations, Brooks/Cole (2000).
33. Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn
https://lop6.net/ Trang: 32
[12] Nhon Do, An ontology for knowledge representation and Applications,
Proceeding of World Academy of science, engineer and technology, vol. 32,
August 2008, ISSN: 2070-370
[13] Nhon Van Do, Computational Networks for Knowledge Representation, World
Academy of Science, Engineering and Technology, Volume 56, August 2009,
ISSN 2070 – 3724 (ICCSISE 2009), Singapore, 2009.
[14] Nhon Do & Hien Nguyen, Model for Knowledge Representation using Sample
Problems and Designing a Program for automatically solving algebraic
problems, World Academy of Science, Engineering and Technology, (ICEEEL
2010), Paris, 2010.
[15] Nhon Do, Hien Nguyen, “A reasoning method on Computation Network
and Its applications.”, 2011 International MultiConference of Engineers and
Computer Scientists, IMECS 2011, ISBN: 978-988-18210-3-4, pp. 137-141,
Hongkong , March 2011.
[16] http://www.maplesoft.com.
[17] http://maplevn2008.wordpress.com