吉林大学学报(工学版) ›› 2015, Vol. 45 ›› Issue (5): 1565-1571.doi: 10.13229/j.cnki.jdxbgxb201505027
Previous Articles Next Articles
FENG Xiao-ning1, WANG Zhuo2, ZHANG Xu1
CLC Number:
[1] 孙利民,李建中,陈渝,等.无线传感器网络[M].北京:清华大学出版社,2009. [2] Godskesen J C. A calculus for mobile ad hoc networks[C]∥Coordination Models and Languages. Springer Berlin Heidelberg, 2007: 132-150. [3] Merro M. An observational theory for mobile ad hoc networks[J]. Electronic Notes in Theoretical Computer Science, 2007, 173: 275-293. [4] Mezzetti N, Sangiorgi D. Towards a calculus for wireless systems[J]. Electronic Notes in Theoretical Computer Science, 2006, 158: 331-353. [5] Singh A, Ramakrishnan C R, Smolka S A. A process calculus for mobile ad hoc networks[J]. Science of Computer Programming, 2010, 75(6): 440-469. [6] Orfanus D, Heimfarth T, Wagner F R. Process algebra to model Self-Organizing behavior in wireless sensor networks[C]∥Ultra Modern Telecommunications & Workshops, 2009. ICUMT'09. International Conference on, IEEE, 2009:1-6. [7] Liu S, Zhao Y, Zhu H, et al. A calculus for mobile Ad Hoc networks from a group probabilistic Perspective[C]∥High-Assurance Systems Engineering (HASE), 2011 IEEE 13th International Symposium on. IEEE, 2011: 157-162. [8] Thong V T, Buttyán L, Dvir A. On formal and automatic security verification of WSN transport protocols[J]. International Scholarly Research Notices,2014:891467. [9] Gallina L, Rossi S. A process calculus for energy‐aware multicast communications of mobile ad hoc networks[J]. Wireless Communications and Mobile Computing, 2013, 13(3): 296-312. [10] Milner R. 通信与移动系统[M]. 林惠民,柳欣欣,刘佳,等译.北京:清华大学出版社,2009:88. [11] Vasudevan S, Kurose J, Towsley D. Design and analysis of a leader election algorithm for mobile ad hoc networks[C]∥Network Protocols,2004,ICNP,2004,Proceedings of the 12th IEEE International Conference on. IEEE,2004: 350-360. [12] Yang P, Dong Y, Ramakrishnan C R, et al. A Provably correct Compiler for Efficient Model Checking of Mobile Processes[M].Practical Aspects of Declarative Languages. Springer Berlin Heidelberg, 2005: 113-127. |
[1] | ZHANG Wei-wei, HE Jia-feng, GAO Guo-wang, REN Li-li, SHEN Xuan-jing. Wireless Mesh network routing and channel allocation union optimization algorithm based on game theory [J]. 吉林大学学报(工学版), 2018, 48(3): 887-892. |
[2] | MA Jian, FAN Jian-ping, LIU Feng, LI Hong-hui. The evolution model of objective-oriented software system [J]. 吉林大学学报(工学版), 2018, 48(2): 545-550. |
[3] | LIU Zhou-zhou, PENG Han. Topology control algorithm based on node reliability in WSN [J]. 吉林大学学报(工学版), 2018, 48(2): 571-577. |
[4] | LUO Yang-xia, GUO Ye. Software recognition based on features of data dependency [J]. 吉林大学学报(工学版), 2017, 47(6): 1894-1902. |
[5] | TANG Kun, SHI Rong-hua. Detection of wireless sensor network failure area based on butterfly effect signal [J]. 吉林大学学报(工学版), 2017, 47(6): 1939-1948. |
[6] | YU Bin-bin, WU Xin-yu, CHU Jian-feng, HU Liang. Signature protocol for wireless sensor network based on group key agreement [J]. 吉林大学学报(工学版), 2017, 47(3): 924-929. |
[7] | DONG Ying, ZHOU Zhan-ying, SU Zhen-zhen, XU Yang, QIAN Zhi-hong. Cross-layer MAC protocol based on routing information for WSN [J]. 吉林大学学报(工学版), 2017, 47(2): 647-654. |
[8] | YING Huan, WANG Dong-hui, WU Cheng-gang, WANG Zhe, TANG Bo-wen, LI Jian-jun. Efficient deterministic replay technique on commodity system environment [J]. 吉林大学学报(工学版), 2017, 47(1): 208-217. |
[9] | ZHU Hai-yang, ZHANG He, MA Shao-jie. Parameter optimization of enhanced ultrasonic circumferential scanning node in WSN [J]. 吉林大学学报(工学版), 2017, 47(1): 262-267. |
[10] | LI Yong, HUANG Zhi-qiu, WANG Yong, FANG Bing-wu. New approach of cross-project defect prediction based on multi-source data [J]. 吉林大学学报(工学版), 2016, 46(6): 2034-2041. |
[11] | LIU Zhou-zhou, WANG Fu-bao. Improvement of discrete shuffled frog-leaping algorithm and application in compressed sensing reconstruction [J]. 吉林大学学报(工学版), 2016, 46(4): 1261-1268. |
[12] | ZHANG Jing, LIU Yan-heng, ZHANG Jin-dong, SUN Geng. Cluster size adaptive adjustable strategy for wireless sensor networks [J]. 吉林大学学报(工学版), 2016, 46(3): 876-883. |
[13] | WANG Nian-bin, ZHU Guan-wen, ZHOU Lian-ke, WANG Hong-wei. Novel dataspace index for efficient processing of path query [J]. 吉林大学学报(工学版), 2016, 46(3): 911-916. |
[14] | TE Ri-gen, JIANG Sheng, LI Xiong-fei, LI Jun. Document compression scheme based on integer data [J]. 吉林大学学报(工学版), 2016, 46(1): 228-234. |
[15] | KANG Hui, WANG Jia-qi, MEI Fang. A parallel programming language based on Pi-calculus [J]. 吉林大学学报(工学版), 2016, 46(1): 235-241. |
|