论文部分内容阅读
<正>1.引言一个模型的作用是对想要构造或分析的系统性质给出严格定义,同时也为验证这些性质提供一个基础。现有的用于软件开发的每一种形式化描述和分析方法其有效性范围均是相对于程序执行的某一数学模型而言,并不是实际的系统。
并发系统模型研究
【摘 要】
：
<正>1.引言一个模型的作用是对想要构造或分析的系统性质给出严格定义,同时也为验证这些性质提供一个基础。现有的用于软件开发的每一种形式化描述和分析方法其有效性范围均
【机 构】
：
南京大学计算机科学系
【出 处】
：
计算机科学
【发表日期】
：
1996年5期
其他文献
武汉中共中央机关旧址纪念馆位于江岸区胜利街163~171号,依托武汉中共中央机关旧址(全国重点文物保护单位)以及与其毗邻的唐生智公馆(湖北省文物保护单位)、怡和洋行公寓(武
探讨PBL结合LBL教学模式在验光学教学中的应用效果。选取湖北科技学院眼视光学专业和眼耳鼻喉专业学生共116人,随机分为实验组和对照组。实验组采用PBL＋LBL教学模式进行教学,
<正>一、前言 50年代,机器翻译被视为一个纯悴的“解码”问题,基于经验的、概率统计的方法在机器翻译的研究
对快速路入口匝道交通系统控制算法进行了分析研究,并提出了入口匝道调节率控制方程的主要控制参数确定方法,对北京市西二环快速路的部分交通数据进行了交通流特性分析,利用P
基于领域的面向对象软件重用工具(简称OORT)是我们在PC Windows环境下开发的可重用软部件管理工具。OORT按应用领域来组织、管理可重用软部件,支持多个应用领域软部件的建
摘要：课堂教学的“有效性”，就是在有效的教学时间内体现出的教学效果和教学效率。课堂教学中该怎样的时候就要怎样。 关键字：有效性；课改 中图分类号：G623.5 文献标识码：A 文章编号：1006-3315(2008)07-095-01 本文为全文原貌 未
国内结算和国际结算目前还存在许多差异,消除这种差异,尽早和国际惯例接轨,有助于社会主义市场经济的支付结算体系的建立和完整.
摘 要：文章提出了“在提高社会文明程度中推动公共图书馆的高质量发展”的命题，并从七个方面进行了具体阐述：一是深化文明创建;二是加强社会教育;三是弘扬志愿精神;四是注重信息文明;五是推广生态文明;六是提升厕所水平;七是强化律己意识。如何将公共图书馆的发展纳入社会文明的考量之中，并积极发挥公共图书馆在社会教育中的作用，是文章探析的主要问题。 关键词： 公共图书馆;文明创建;社会教育;志愿服务;信息
摘要：如何让学生兴趣盎然地走进习作，用手中的笔尽情地倾诉自己的真情实感呢?从生活入手，缘情而发，积极营造充满情趣的习作氛围，不失为一种润物细无声的好办法。关键词：体验；习作中图分类号：G623.24 文献标识码：A 文章编号：1006-3315(2008)07-071-01一、生活中体验真情叶圣陶先生说过：“生活如泉源，文章如溪水，泉源丰富而不枯竭，溪水自然活泼地流个不歇。”陆游也曾说过“尔果欲学
本文通过讨论一类非递归结构的计算思想，揭示了在传统图灵模型框架内研究人工智能的局限性。作者认为，突破图灵模型，建立真正意义上的智能模型是人工智能，乃至整个计算机科学得以