188体育app官网_188体育投注

返回首页

《中国计算机学会通讯》2009年第十期出版

阅读量:2
2009-10-14
 
第10期专题是“Petri网理论与应用的蓬勃发展”,共有7篇文章组成。
近50年,Petri网的抽象研究和描述能力不断地向纵横两个方向扩展。它的应用也逐渐广泛起来,成为完成系统的形式化描述、系统的正确性验证、系统性能的评价、系统的目标实现和测试的有效的图形化数学工具。本期专题从扩展理论和应用两方面对Petri网模型进行了介绍。
专栏刊登了5篇文章,其中《明日之星的“姚”篮》一文是本刊记者采访清华大学理论计算机科学研究中心(ITCS)的文章。清华大学理论计算机科学研究中心(ITCS)在图灵奖获得者姚期智院士带领下,仅用短短5年时间,从无到有,在国际学术界占有一席之地,发表顶级论文110余篇。他们是怎样做到的呢?本期文章“明日之星的‘姚’篮”让读者跟随本刊记者的脚步,近距离感受姚期智教授建设世界一流研究所的高超智慧。《从木桶理论的两大误区看人才与企业的匹配》一文,是来自企业的一个人才与企业的新的观点,很有启发性。
本期“特别报道”是2009年改版以来第1~6期的一次大型读者调查报告。通过读者对本刊栏目、内容、形式等方面5个等级的调查,为本刊进一步办好刊物,更好地为会员为读者服务指明了方向。
 
目录:
专题  Petri网理论与应用的蓬勃发展  林闯
Petri网和Pi演算模型的表达能力  郭小群 郝克刚
Petri网的活性研究与应用  焦莉 陆维明
工作流研究——从WF-net到同步网 袁崇义 黄雨 赵文 张世琨
Petri网模型检测概述 段振华 张曼
不可否认协议的Petri网建模与分析 罗军舟 宋爱波 于枫 黎波涛
      Petri网在电子商务分析中的应用 杜玉越
专栏  明日之星的“姚”篮 玉琦 明行
云计算与虚拟化 肖臻
云计算——将计算变成水和电  刘鹏
互联网用户生成内容的管理和挖掘  崔斌 姚俊杰
从木桶理论的两大误区看人才与企业的匹配  臧根林
 
动态  超大规模分布式虚拟现实系统 汪国平 李胜
                                                 
                                                                                                    
译文 再谈计算机界的女性 玛丽亚﹒克雷伍  特勒﹒惠特尼 卡罗琳﹒西玛德(赵颖)
术语     188体育投注:Agent的中文译名  石纯一                                                                        
论坛     中国计算机学会监事会2008~2009年度工作报告 中国计算机学会
 
                                                                                          
《中国计算机学会通讯》编辑部
cccf@ict.ac.cn
读完这篇文章后,您心情如何?