1.   مشاوره و انجام پروپوزال  و پایان نامه ، مشاوره در زمینه ارائه سمینار، 
       مشاوره و انجام مقاله های بین المللی و داخلی، 
       مشاوره و انجام مقاله در مجله های علمی پژوهشی معتبر، 
        مشاوره و آموزش شبیه سازی شبکه توسط شبیه ساز آکادمیک 2-NS، 
         مشاوره و آموزش شبیه سازهای ترافیک شهری از قبیل  SUMO، ONE، و ...
          کمک به دانشجویان برای پیاده سازی ایده ها و مقالات خود با شبیه سازهای
               NS2, NS3 , OMNET++ , ONE
     
    
                 شماره تماس :
                         حسین رنجبران:    09101607834   
                                          
    
                  ساعات تماس: 
                                      ۸ الی ۲۰
                         
                   ایمیل:
                         hossein.ranjbaran.it@gmail.com
                        
           
    

Towards the Formal Performance Analysis of Wireless Sensor Networks

شروع موضوع توسط Hossein Ranjbaran ‏15/7/14 در انجمن WSN

وضعیت موضوع:
You must be a logged-in, registered member of this site to view further posts in this thread.
  1. Administrator
    Hossein Ranjbaran
    کاربر ویژه
    تاریخ عضویت:
    ‏3/10/13
    ارسال ها:
    1,034
    تشکر شده:
    197
    Abstract—The performance of Wireless Sensor Networks (WSNs) is traditionally analyzed using simulation or paper and pencil proof methods. However, such methods cannot ascertain accurate analysis, which is a serious drawback for safety and financial-critical applications. In order to overcome this limitation, we propose to use a higher-order-logic theorem prover (HOL) to formally analyze the performance of WSNs. In particular, this paper presents a generic formal performance analysis methodology for WSNs using the k-set randomized scheduling as an energy saving approach. The proposed methodology is primarily based on the formalized theories of measure and probability. For illustration purposes, we formally analyze the performance of a WSN deployed for volcanic earthquake detection.

    Keywords-Wireless Sensor Networks, k-set Randomized Scheduling, Probabilistic Analysis, Formal Verification, Theorem Proving, HOL4.

    لینک دانلود در پست بعد برای اعضاء قابل مشاهده است.
     
وضعیت موضوع:
You must be a logged-in, registered member of this site to view further posts in this thread.

این صفحه را به اشتراک بگذارید