咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 2 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

  • 3 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 工学
    • 2 篇 计算机科学与技术...
    • 1 篇 软件工程
  • 1 篇 艺术学
    • 1 篇 设计学（可授艺术学...

主题

  • 3 篇 归约策略
  • 1 篇 自动机
  • 1 篇 正则重写系统
  • 1 篇 归约系统
  • 1 篇 必要集
  • 1 篇 动态管理
  • 1 篇 模式匹配
  • 1 篇 参数化设计
  • 1 篇 几何约束

机构

  • 1 篇 华中科技大学
  • 1 篇 上海交通大学

作者

  • 2 篇 沈理
  • 1 篇 何海涛
  • 1 篇 孙永强
  • 1 篇 林凯

语言

  • 3 篇 中文
检索条件"主题词=归约策略"
共 3 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
必要平行最外归约策略
收藏
分享
引用
软件学报 1997年 第10期8卷 760-767页
作者： 沈理 孙永强 上海交通大学计算机系 上海200030
在必要集、必要位置等概念基础上，定义了必要平行最外归约策略．基于最小化必要集思想，该策略适用于正则系统全集，并接近按需调用策略的效率，在适用范围、效率和可实现性三个方面得到了兼顾．
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
平行最外模式匹配
收藏
分享
引用
软件学报 1996年 第A期7卷 329-337页
作者： 沈理 林凯
平行最外策略是归约系统中适用范围非常广的策略，平行最外模式匹配研究适用于该策略的高效模式匹配方法，本文在生成自适应匹配自动机ＡＰＭＡ的基础上，充分利用匹配失败状态的部分匹配信息，构造了平行最外匹配自动机ＰＯＰＭＡ。利... 详细信息
来源： 维普期刊数据库 维普期刊数据库 评论
二维参数化设计中几何约束动态管理的研究与实践
二维参数化设计中几何约束动态管理的研究与实践
收藏
分享
引用
作者： 何海涛 华中科技大学
学位级别：硕士
参数化设计在现代CAD 技术中占据着越来越重要的地位,几何约束系统的建模、管理与求解是该技术的关键,对约束如何进行方便、有效的管理一直未能得到很好的解决,因而在设计的过程中,约束的动态管理显得至关重要。 本文从几何约束的动态... 详细信息
来源： 同方学位论文库 同方学位论文库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件