首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   2篇
  免费   0篇
自动化技术   2篇
  2011年   1篇
  2010年   1篇
排序方式: 共有2条查询结果,搜索用时 0 毫秒
1
1.
迟文明  朱怡安 《微处理机》2011,32(5):26-29,34
如何利用广义随机Petri网对WS-BPEL描述语言进行建模、验证以及评价,进而实现对Web服务组合过程可靠性和性能的分析,一直都是领域研究中的难点和热点。首先,给出WS-BPEL业务流程到GSPN的映射规则和转换方法;并通过对GSPN模型进行可达性和不变量分析,实现对WS-BPEL业务流程正确性的验证;然后,借助构造与GSPN模型同构的马尔可夫链,完成对系统性能的分析;最后,以某实例为分析对象,对模型的正确性和有效性进行了验证。  相似文献   
2.
基于跳数场的无线传感器网络路由协议研究   总被引:1,自引:1,他引:0  
研究了无线传感器网络路由机制;在分析了基于跳数场的多径路由协议的基础上,针对其存在节点负载不均衡的缺陷,提出了新的局部动态改变节点功率的路由算法,该算法在建立跳数场时选取出一跳扩展节点来分担一跳节点的负担,在数据传输过程中使用基于节点剩余能量和连通度的加权函数值作为转发节点的选择依据,均衡了中间节点的能耗;仿真实验表明,新的算法能够有效均衡负载,延长网络生存期.  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号