《中国计算机学会通讯》2009年第十期出版
第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
<<< 上一篇
CNCC2010指导委员会成立
<<< 下一篇 第24次全国计算机安全学术交流会圆满结束
读完这篇文章后,您心情如何?
推荐内容
More >>>- · CCCF2025年5月刊发布——《计算》杂志创刊
- · CSP满分说 | 武汉理工大学闫卢昊:参与CCF NO
- · 破解AI应用“幻觉”困局,CTO与CDO深圳论剑,
- · “智联生态,数创未来”第三届CCF中国网络大
- · CSP高分说 | 四川大学林宸:CSP助我夯实基础
- · 188体育投注:申报2025年度CCF教材出版资助项目的通知
- · 188体育投注:申报2025年度CCF推荐优秀国内教材的通知
- · 第二届CCF量子线路设计自动化研讨会顺利召开
- · 【会议通知】2025 CCF系统软件技术论坛
- · 绿动算力·超智融合 | CCF HPC China 2025相约
- · CSP高分说 | 哈尔滨工业大学杨一凡:我的算法
所有评论仅代表网友意见