吉林大学学报(工学版) ›› 2016, Vol. 46 ›› Issue (1): 235-241.doi: 10.13229/j.cnki.jdxbgxb201601035
Previous Articles Next Articles
KANG Hui, WANG Jia-qi, MEI Fang
CLC Number:
[1] Sutter H. The free lunch is over: A fundamental turn toward concurrency in software[J]. Dr. Dobb's Journal, 2005, 30(3): 202-210. [2] 康辉, 张双双, 梅芳. 一种递归π演算向Petri网的转换方法[J]. 吉林大学学报:工学版, 2014, 34(1):142-148. Kang Hui, Zhang Shuang-shuang, Mei Fang.Petri net translation of recursion π-calculus[J].Journal of Jilin University(Engineering and Technology Edition),2014, 34(1):142-148. [3] Victor, Björn, Faron Moller. The Mobility Workbench-a Tool for the π-calculus[M]. Computer Aided Verification, Heidelberg: Springer Berlin, 1994. [4] Paz H, Petrank E, Bacon D F, et al. An efficient on-the-fly cycle collection[C]∥Compiler Construction, Springer, Berlin Heidelberg, 2005: 156-171. [5] Honda K, Tokoro M. An object calculus for asynchronous communication[C]∥European Conference on Object-Oriented Programming. Springer Berlin Heidelberg, 1991: 133-147. [6] Boudol G. Asynchrony and the Pi-calculus[R]. INRIA Research Report 1702,1992. [7] 郝克刚, 郭小群. Pi 演算对图灵机的表达[J]. 计算机工程与科学, 2009, 31(10): 53-55. Hao Ke-gang,Guo Xiao-qun. Expression of turing machines by pi calculus[J].Computer Engineering & Science, 2009, 31(10): 53-55. [8] Milner R, Parrow J, Walker D. A calculus of mobile processes, parts I and II[J]. Information and Computation, 1992, 100(1):151-175. [9] Sangiorgi D. A theory of bisimulation for the π-calculus[J]. Acta Informatica, 1996, 33(1): 69-97. [10] Pierce B C, Turner D N. Pict: a programming language based on the Pi-Calculus[C]∥Proof, Language, and Interaction, 2000: 455-494. |
[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. |
|