We describe an approach to the anal

We describe an approach to the analysis of protocols for
wireless sensor networks in scenarios with mobile nodes and dynamic
link quality. The approach is based on the theorem proving system PVS
and can be used for formal specification, automated simulation and verification of the behaviour of the protocol. In order to demonstrate the
applicability of the approach, we analyse the reverse path forwarding
algorithm, which is the basic technique used for diffusion protocols for
wireless sensor networks.

ผลลัพธ์ (ไทย) 1:

เราจะอธิบายวิธีการวิเคราะห์ของโปรโตคอลสำหรับเครือข่ายเซ็นเซอร์
ไร้สายในสถานการณ์ที่มีโหนดมือถือและ
คุณภาพการเชื่อมโยง dynamic วิธีการที่จะขึ้นอยู่กับการพิสูจน์ทฤษฎีบท pvs
ระบบและสามารถนำมาใช้สำหรับสเปคอย่างเป็นทางการในการจำลองแบบอัตโนมัติและการตรวจสอบพฤติกรรมของโปรโตคอล เพื่อที่จะแสดงให้เห็นถึงการบังคับใช้
ของวิธีการ,เราจะวิเคราะห์เส้นทางการส่งต่อกลับ
อัลกอริทึมซึ่งเป็นเทคนิคพื้นฐานที่ใช้สำหรับการกระจายโปรโตคอลสำหรับเครือข่ายเซ็นเซอร์
ไร้สาย

ผลลัพธ์ (ไทย) 2:

เราอธิบายวิธีการวิเคราะห์ของโพรโทคอลสำหรับ
ไร้สายเครือข่ายเซ็นเซอร์ในโหนโทรศัพท์เคลื่อนที่และแบบไดนามิก
คุณภาพเชื่อมโยง วิธีการตามทฤษฎีบทที่พิสูจน์ระบบ PVS
และสามารถใช้สำหรับ specification อย่างเป็นทางการ การจำลองแบบอัตโนมัติ และ verification ของพฤติกรรมของโพรโทคอลการ เพื่อแสดงให้เห็นถึงการ
ความเกี่ยวข้องของวิธี เราวิเคราะห์ส่งต่อเส้นทางย้อน
อัลกอริทึม ซึ่งเป็นเทคนิคพื้นฐานที่ใช้สำหรับโพรโทคอล diffusion สำหรับ
เครือข่ายเซ็นเซอร์ไร้สาย

ผลลัพธ์ (ไทย) 3:

เราจะอธิบายถึงวิธีที่การวิเคราะห์ของโปรโตคอลสำหรับการใช้งานในเครือข่ายไร้สาย
ซึ่งจะช่วยเซนเซอร์ในสถานการณ์ต่างๆด้วยโหนดโทรศัพท์มือถือและมี คุณภาพ
ลิงค์แบบไดนามิก วิธีการนี้เป็นที่ใช้ PVS ,ระบบเพื่อพิสูจน์บทพิสูจน์ที่
และสามารถใช้สำหรับการจำลองและ verification specification โดยอัตโนมัติอย่างเป็นทางการในการทำงานของโปรโตคอล ในการสั่งซื้อจะแสดงให้เห็นถึง
การใช้ที่ของการเรียนรู้ที่เราวิเคราะห์ย้อนกลับเส้นทางการส่งต่อ
อัลกอริธึมที่ซึ่งเป็นเทคนิคพื้นฐานที่ใช้สำหรับโปรโตคอล diffusion สำหรับเครือข่ายไร้สาย
เซนเซอร์