论文部分内容阅读
本文通过引进序Petri网的概念,定义了序Petri网计算机,最后讨论该机器的计算能力:它可以计算所有的一般递归函数。
序佩特里（Petri）网计算能力分析
【摘 要】
：
本文通过引进序Petri网的概念,定义了序Petri网计算机,最后讨论该机器的计算能力:它可以计算所有的一般递归函数。
【机 构】
：
南开大学数学研究所天津300071
【出 处】
：
软件学报
【发表日期】
：
1993年3期
【基金项目】
：
国家自然科学基金资助
其他文献
本文对目前在处理复杂对象上的３种有代表性的逻辑语言进行了详细的综合分析，对比了它们在语法，语义及应用上的优优点。在此基础上提出了一种清晰，严谨和可实现的、能处理复杂对象
【摘 要】随着教育的发展，教育水平的提高，教育功能日益扩大，教师担负的角色也日趋复杂。教师这一职业的特殊性决定了教师心理健康的重要性，因此对教师心理问题的研究和调适值得我们去积极探索。 【关键词】教师心理健康；意义；标准；原因；自我调适方法 一、教师心理健康的含义 所谓教师心理健康是指教师在教育教学过程中有意识地完善人格，发挥心理潜能，维护和增强心理各方面的机能和社会适应能力，预防各种心理疾
本文介绍将ＡＩ技术和ＤＳＳ相结合而研制的一个智能支持决策系统ＮＵＩＤＳＳ及其在能源决策管理中的应用。目前，ＡＩ与ＤＳＳ结合的系统正在以很快的速度开发和实现，然而如何将ＤＳＳ与ＡＩ，特别是ＥＳ进行集成仍存在许多问题
本文指出ＥＳ所固有的一些困难引起了ＥＳ的设计和维护上的困难，提出了ＥＳ的软件工程方法的观点，描述认知过程的知识说明和建造ＥＳ过程的ＰＬＷＦ模型，用来解决ＥＳ的设计阶段和维护阶段产生的问题。
教学活动是教师与学生共同参与的。教师的＂教（讲）＂与学生的＂学（听）＂构成了教学中的两个主体。让学生走上讲台,体验教师的角色,教师则重温学生的身份,从而使＂教＂与＂学＂两个主体换位,即学生
仅仅在一层知识上进行推理的推理模型有许多不足之处，例如，推理模型本身不能解释其行为的合理性（从观察者角度看），推理模型与外界进行信息交互时往往不能模拟人类的信息交互过程等
副溶血弧菌是成人腹泻中常见的致病菌之一，临床症状轻重不一，重者可有明显的全身中毒症状，常需住院治疗。笔者自2003年6月～2009年6月，应用黄连素治疗副溶血弧菌肠道感染70例，收到了
ＪＳＬＣ系统是一个规格说明语言ＪＳＬ的转换系统，它的实现反映了一种规格说明语言的转换方法，本文详细介绍了ＪＳＬＣ系统的组成结构、实现基础和技术要点。
独立学院在我国高等教育事业中占有重要的地位，其发展状况直接关系到人民的利益和国家的利益。独立学院招生工作是独立学院生存和发展的关键，招生工作的好坏，事关民办高等教育乃
本文首先介绍了设计模式的概念及其在软件开发中的作用，进而结合标准接口仪器自动测试领域给出了设计模式的描述形式，并以特定领域的设计模式作为构件构造特定领域的软件构架，从