吉林大学学报(工学版) ›› 2014, Vol. 44 ›› Issue (01): 142-148.doi: 10.13229/j.cnki.jdxbgxb201401025
• paper • Previous Articles Next Articles
KANG Hui1, ZHANG Shuang-shuang1,2, MEI Fang1
CLC Number:
| [1] Thomas E. Service-Oriented Architecture(SOA): Concepts, Technology, and Design[M]. New Jersey: PrenticeHall, 2005.[2] Leymann F, Roller D, Schmidt M T. Web services and business process management[J]. IBM Systems Journal, 2002, 41(2): 198-211.[3] Milner R, Parrow J, Walker D. A calculus of mobile processes part Ⅰ/Ⅱ[J]. Journal of Information and Computation, 1992, 100(1): 1-77.[4] Milner R. Communication and Concurrent[M]. New Jersey: PreticeHall, 1989.[5] Roland Meyer. A theory of structural stationarity in the π-Calculus[J]. Acta Informatica, 2009, 46:87-137.[6] Michele B, Davide S. A fully abstract semantics for causality in the Pi calculus[C]//Proceedings of STACS'95, LNCS, Springer, 1995, 900: 243-254.[7] Baeten J C M, Bergstra J A, Klop J W. An operational semantics for process algebra[J]. Mathematical Problems in Computation Theory, 1988, 21: 47-81.[8] Eile B, Raymond D, Maciei K. Petri Net Algebra[M]. Bolin: Springer, 2001.[9] Ulrich B, Daniel M. Object-oriented concepts for coloured Petri nets[C]//IEEE International Conference on Systems, Man and Cybernetics, 1993, 3: 279-286.[10] Peschanski F, Klaudel H, Devillers R. A Petri Net Interpretation of Open Reconfigurable Systems[C]//PETRI NETS 2011, LNCS 6709, 2011:208-227.[11] Christensen S, Hansen N D. Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs[J]. Application and Theory of Petri Nets, 1993, 691: 186-205.[12] Raymond D, Hanna K, Maciej K. A compositional Petri net translation of general Pi calculus terms[J]. Formal Aspects of Computing, 2008, 20: 429-450.[13] Peschanski F, Klaudel H, Devillers R. A decidable characterization of a graphical pi-calculus with iterators[C]//In: Infinity. EPTCS, 2010, 39:47-61. |
| [1] | LIU Fu,ZONG Yu-xuan,KANG Bing,ZHANG Yi-meng,LIN Cai-xia,ZHAO Hong-wei. Dorsal hand vein recognition system based on optimized texture features [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(6): 1844-1850. |
| [2] | WANG Li-min,LIU Yang,SUN Ming-hui,LI Mei-hui. Ensemble of unrestricted K-dependence Bayesian classifiers based on Markov blanket [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(6): 1851-1858. |
| [3] | JIN Shun-fu,WANG Bao-shuai,HAO Shan-shan,JIA Xiao-guang,HUO Zhan-qiang. Synchronous sleeping based energy saving strategy of reservation virtual machines in cloud data centers and its performance research [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(6): 1859-1866. |
| [4] | ZHAO Dong,SUN Ming-yu,ZHU Jin-long,YU Fan-hua,LIU Guang-jie,CHEN Hui-ling. Improved moth-flame optimization method based on combination of particle swarm optimization and simplex method [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(6): 1867-1872. |
| [5] | LIU En-ze,WU Wen-fu. Agricultural surface multiple feature decision fusion disease judgment algorithm based on machine vision [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(6): 1873-1878. |
| [6] | OUYANG Dan-tong, FAN Qi. Clause-level context-aware open information extraction [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(5): 1563-1570. |
| [7] | LIU Fu, LAN Xu-teng, HOU Tao, KANG Bing, LIU Yun, LIN Cai-xia. Metagenomic clustering method based on k-mer frequency optimization [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(5): 1593-1599. |
| [8] | GUI Chun, HUANG Wang-xing. Network clustering method based on improved label propagation algorithm [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(5): 1600-1605. |
| [9] | LIU Yuan-ning, LIU Shuai, ZHU Xiao-dong, CHEN Yi-hao, ZHENG Shao-ge, SHEN Chun-zhuang. LOG operator and adaptive optimization Gabor filtering for iris recognition [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(5): 1606-1613. |
| [10] | CHE Xiang-jiu, WANG Li, GUO Xiao-xin. Improved boundary detection based on multi-scale cues fusion [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(5): 1621-1628. |
| [11] | ZHAO Hong-wei, LIU Yu-qi, DONG Li-yan, WANG Yu, LIU Pei. Dynamic route optimization algorithm based on hybrid in ITS [J]. 吉林大学学报(工学版), 2018, 48(4): 1214-1223. |
| [12] | HUANG Hui, FENG Xi-an, WEI Yan, XU Chi, CHEN Hui-ling. An intelligent system based on enhanced kernel extreme learning machine for choosing the second major [J]. 吉林大学学报(工学版), 2018, 48(4): 1224-1230. |
| [13] | FU Wen-bo, ZHANG Jie, CHEN Yong-le. Network topology discovery algorithm against routing spoofing attack in Internet of things [J]. 吉林大学学报(工学版), 2018, 48(4): 1231-1236. |
| [14] | CAO Jie, SU Zhe, LI Xiao-xu. Image annotation method based on Corr-LDA model [J]. 吉林大学学报(工学版), 2018, 48(4): 1237-1243. |
| [15] | HOU Yong-hong, WANG Li-wei, XING Jia-ming. HTTP-based dynamic adaptive streaming video transmission algorithm [J]. 吉林大学学报(工学版), 2018, 48(4): 1244-1253. |
|
||