Verifying

This study aims to empirically verify the real-time responses following long-term optimal charging schedules in experimental conditions. Through empirical testing, this research complements and affirms the practical feasibility aspect of long-term optimal charging schedules for electric two-wheeler charging stations in Vietnam.

9p viengfa 28-10-2024 3 2   Download

This study proposes the application of Ensemble Decision Tree Boosted (EDT Boosted) model for forecasting the surface chloride concentration of marine concrete Cs. A database of 386 experimental results was collected from 17 different sources covering twelve variables was used to build and verify the predictive power of the EDT model.

12p viengfa 28-10-2024 5 2   Download

This article presents the study of calculating the draft of continuous floating bridge assembled from plastic buoys. The author calculates the draft by two different methods, which are theoretical calculation and finite element modeling using SAP2000 software, to verify the discrepancy of the results of these two methods.

11p viyamanaka 06-02-2025 4 1   Download

Bài giảng Thương mại điện tử: Chương 2 - Cơ sở hạ tầng của thương mại điện tử, được biên soạn gồm các nội dung chính sau: Kỹ thuật chuyển mạch gói, nghi thức TCP/IP và kiến trúc mạng client/server; Các chương trình tiện ích để theo dõi (trace), định vị(locate) và kiểm tra (verify) trạng thái các máy tính trên mạng Internet;...Mời các bạn cùng tham khảo!

84p tambang1206 31-12-2024 21 5   Download

Kiến trúc mạng của các mạng hỗ trợ cho Internet và TMĐT Các nghi thức (Protocols) sử dụng để giao dịch thương mại và gửi nhận e-mail Các chương trình tiện ích để theo dõi (trace), định vị(locate) và kiểm tra (verify) trạng thái các máy tính trên mạng Internet. Các ứng dụng thông dụng trên Internet :e-mail, Telnet, và FTP Lịch sử và việc ứng dụng ngôn ngữ Web (SGML, HTML, và XML) Các thẻ , liên kết trong HTML Kiến trúc của máy khách/chủ trên nền Web và các thông điệp chuyển giao giữa các máy khách/chủ....

122p manhlinh87 10-12-2009 650 150   Download

Small frequently issued packets Discover neighbours and negotiate "adjacencies" Verify continued availability of adjacent neighbours Hello packets and Link State Advertisements (LSAs) build and maintain the topological database Hello packets are addressed to 224.0.0.5.

128p coc_xanh 15-01-2013 82 12   Download

Carrier Sense Multiple Access (CSMA) is a probabilisticMedia Access Control (MAC) protocol in which a node verifies the absence of other traffic before transmitting on a shared transmission medium CAN uses a nondestructive bitwise arbitration, which means that messages remain intact after arbitration is completed even if collisions are detected. All the arbitration takes place without corruption or delay of the message that wins the arbitration.

36p xblue06 13-05-2013 86 11   Download

Formal methods mathematical languages, techniques and tools, used to specify and verify systems, goal is help engineers construct more reliable systems. Introduction to Formal Methodspresents about introduction; formal specification; formalformal verificationverification; model checking; theorem proving.

29p ngkhacvu 22-05-2015 80 7   Download

Bài giảng môn "Thương mại điện tử - Bài 2: Internet và Web - Cơ sở hạ tầng của thương mại điện tử" trình bày các nội dung: Kiến trúc mạng của các mạng hỗ trợ cho Internet và thương mại điện tử; các nghi thức (Protocols) sử dụng để giao dịch thương mại và gửi nhận e-mail, các chương trình tiện ích để theo dõi (trace), định vị(locate) và kiểm tra (verify) trạng thái các máy tính trên mạng Internet. Mời các bạn cùng tham khảo nội dung chi tiết.

68p tsmttc_007 12-09-2015 116 11   Download

Bài giảng "Bài 2: Internet và Web - Cơ sở hạ tầng của TMĐT" cung cấp cho người học các kiến thức: Kiến trúc mạng của các mạng hỗ trợ cho Internet và TMĐT, các nghi thức (Protocols) sử dụng để giao dịch thương mại và gửi nhận e-mail, các chương trình tiện ích để theo dõi (trace), định vị(locate) và kiểm tra (verify) trạng thái các máy tính trên mạng Internet.

110p doinhugiobay_02 12-11-2015 157 14   Download

Chương 2 cung cấp những kiến thức về Internet và Web - Cơ sở hạ tầng của Ecommerce. Các nội dung chính trong chương này gồm có: Kiến trúc mạng của các mạng hỗ trợ cho Internet và TMĐT; kiến trúc mạng của các mạng hỗ trợ cho Internet và TMĐT; các chương trình tiện ích để theo dõi (trace), định vị (locate) và kiểm tra (verify) trạng thái các máy tính trên mạng Internet;...và một số nội dung khác.

100p youcanletgo_01 04-01-2016 108 14   Download

Bài 2 - Internet và Web: Cơ sở hạ tầng của thương mại điện tử. Bài này trang bị cho người học những nội dung chính như: kiến trúc mạng của các mạng hỗ trợ cho Internet và thương mại điện tử; các nghi thức (Protocols) sử dụng để giao dịch thương mại và gửi nhận e-mail; các chương trình tiện ích để theo dõi (trace), định vị(locate) và kiểm tra (verify) trạng thái các máy tính trên mạng Internet.

110p tangtuy16 02-07-2016 106 15   Download

Bài giảng Mạng máy tính nâng cao - Chương 12: Single-Area OSPF Implementation includes OSPF Overview, OSPF Hierarchy Example, Configuring Loopback Interfaces, Verifying the OSPF Configuratio, OSPF debug Commands, Load Balancing with OSPF.

21p maiyeumaiyeu26 23-12-2016 95 9   Download

Bài giảng Quản lý dự án: Chương 5 - Quản lý phạm vi dự án cung cấp cho người học những kiến thức như: Thu thập các yêu cầu (Collect Requirements); Định nghĩa phạm vi (Define Scope); Tạo WBS (Work Breakdown Structure); Xác nhận phạm vi (Verify Scope); Điều khiển phạm vi (Control Scope); Phần mềm trong quản lý phạm vi dự án. Mời các bạn cùng tham khảo!

51p elysale 17-06-2021 62 8   Download

One of the limitations of the BDI (Belief-Desire-Intention) model is the lack of any explicit mechanisms within the architecture to be able to learn. In particular, BDI agents do not possess the ability to adapt based on past experience. This is important in dynamic environments as they can change, causing previously successful methods for achieving goals to become inefficient or ineffective.

108p runthenight07 01-03-2023 19 3   Download

The objectives of this research work are: Study the clay intercalation by organic dye and develop a process to produce nanoclay-dye pigment with better stability and good performance; Conduct structural characterization to verify the level of intercalation and stability of clay-dye pigment by using X-Ray diffraction (XRD) and Transmission Electron Microscopy (TEM); Investigate the thermal stability of clay dye pigment using Thermo Gravimetric Analysis (TGA) to reveal the effect of dye intercalation into the clay on improving thermal stability of organic dye; Compound the clay- pigment with ...

141p runthenight07 01-03-2023 10 3   Download

The aim of the study was to solve the students’ problems in speaking lesson by using task-based activities. Then, the first objective was to verify the effectiveness of using task-based learning on the speaking performance of the 11th grade students at Diem Thuy high school. Specifically, it investigated whether TBL exerted any influence on students’ performance in speaking classes. The second objective was to explore students’ opinions towards the use of task-based learning in speaking lessons.

123p beloveinhouse04 01-09-2021 44 6   Download

This study was conducted at some universities in Ho Chi Minh city in Vietnam. The objectives aimed at finding out the similarities and differences in teachers’ and students’ beliefs about classroom interactions in large non-English majored classes and how teachers’ and students’ beliefs about classroom interactions corresponded to their actual practice. Data were collected from questionnaires for 100 teachers teaching English to non-English majors and 100 students. Besides, semi-structured interviews were conducted with representative teachers and students from both groups.

236p nguathienthan12 23-05-2021 21 4   Download

The thesis directs at providing tools, which support for automatic trans-lation from an application of event-driven systems to a target Event-B model that makes less eort and reduces the diculties in modeling pro-cess. The output of these tools are expected to be able usable in the Event-B supporting tools such as Rodin.

174p tamynhan0 04-07-2020 25 7   Download

The objective of this thesis is to verify the hypothesis of the microcredit impact on income for poor households and to identify factors affecting the access to microcredit of the poor households in order to find solutions to increase income through increasing access to microcredit for them.

38p slimzslimz 23-12-2019 40 6   Download