论文部分内容阅读
<正>Petri网是原联邦德国Carl Adam Petri博士在60年代初提出的研究信息系统及其相互关系的数学模型。经过三十多年的发展,已成为具有严密数学基础,多种抽象层次的通用网论,得到了广泛的应用。我国也有一批科研人员从事Petri网理论的研究工
Internet上Petri网分析工具综述
【摘 要】
：
<正>Petri网是原联邦德国Carl Adam Petri博士在60年代初提出的研究信息系统及其相互关系的数学模型。经过三十多年的发展,已成为具有严密数学基础,多种抽象层次的通用网论,
【机 构】
：
复旦大学计算机科学系,复旦大学计算机科学系上海200433,上海200433
【出 处】
：
计算机科学
【发表日期】
：
1996年4期
其他文献
摘要：新课程下的数学课堂，应积极培养学生良好的计算习惯，促进学生对计算方法的掌握，提高学生数学计算的正确率，使之达到一定的熟练程度，并逐步做到计算方法的合理和灵活。关键词：小学生数学计算能力；计算习惯；课堂教学；家庭教育；算法多样化中图分类号：G623.5 文献标识码：A 文章编号：1006-3315(2008)07-101-01小学生数学计算能力是指学生根据课程标准的要求，在数学基本计算中较高的
<正>归纳逻辑程序设计,以下简称ILP,是将归纳学习的理论与逻辑程序设计的方法相结合的一种机
<正>演绎数据库是数据库技术发展的重要方向之一。Datolog是典型的演绎数据库语言,实质上是不带函词的一阶Horn子句语言,在演绎数据库中充当着查询语言和知识表示语言的双重
<正>一、动词远程搭配的可能情形动词词组的远程搭配是机译系统当中的一大难点,下面将对英
诞生于1939年的《黄河大合唱》是中国共产党领导的文艺工作者在抗日战争期间创作的一部具有标志性意义的文艺作品。这部作品的乐谱如何制造大众传播的社会轨迹?新民主主义革
2021年2月25日上午,全国脱贫攻坚总结表彰大会在北京人民大会堂隆重举行。中共中央总书记、国家主席、中央军委主席习近平向全国脱贫攻坚楷模荣誉称号获得者颁奖并发表重要讲
一、Cscw的发展历史计算机支持的协同工作(C sCW)的研究始于60年代.美国的D.Englebart[,J发表了一篇“A Coneep-tual Framework for the Augmentation of Man,5 In-tellect”
本文从介绍计算的演化入手，引出了当前人工智能研究中存在的本质困难，指出了这些困难与近代数学的关系，也指出了ＡＩ的出路和所应采取的策略。最后，结合具体算法，介绍了按自然法则计算
索引技术是数据库系统中的一项重要技术。在面向对象数据库系统中，由于模型本人有许多复杂的特性，索引技术显得更有意义，更为复杂。本文给出了一种高效的，切实可行的索引技术－嵌套