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

限定检索结果

文献类型

  • 159 篇 期刊文献
  • 78 篇 学位论文
  • 4 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 236 篇 工学
    • 176 篇 计算机科学与技术...
    • 144 篇 软件工程
    • 54 篇 机械工程
    • 36 篇 网络空间安全
    • 32 篇 控制科学与工程
    • 32 篇 建筑学
    • 19 篇 信息与通信工程
    • 14 篇 电气工程
    • 9 篇 材料科学与工程（可...
    • 8 篇 仪器科学与技术
    • 7 篇 电子科学与技术（可...
    • 4 篇 力学（可授工学、理...
    • 2 篇 交通运输工程
    • 1 篇 纺织科学与工程
    • 1 篇 航空宇航科学与技...
  • 35 篇 艺术学
    • 35 篇 设计学（可授艺术学...
  • 24 篇 管理学
    • 22 篇 管理科学与工程(可...
    • 2 篇 图书情报与档案管...
  • 10 篇 理学
    • 7 篇 数学
    • 2 篇 生物学
    • 1 篇 系统科学
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 军事学
    • 1 篇 军队指挥学

主题

  • 241 篇 约束求解
  • 45 篇 符号执行
  • 14 篇 cad
  • 12 篇 几何约束
  • 12 篇 静态分析
  • 11 篇 约束满足问题
  • 11 篇 参数化设计
  • 11 篇 特征造型
  • 9 篇 参数化
  • 8 篇 模糊测试
  • 8 篇 测试用例生成
  • 7 篇 人工智能
  • 7 篇 软件测试
  • 7 篇 测试用例
  • 6 篇 自由度分析
  • 5 篇 污点分析
  • 5 篇 漏洞挖掘
  • 5 篇 动态符号执行
  • 5 篇 漏洞检测
  • 4 篇 klee

机构

  • 21 篇 哈尔滨理工大学
  • 17 篇 吉林大学
  • 13 篇 浙江大学
  • 13 篇 北京邮电大学
  • 9 篇 华中科技大学
  • 9 篇 南京大学
  • 8 篇 南京航空航天大学
  • 7 篇 中国科学技术大学
  • 7 篇 电子科技大学
  • 6 篇 南京邮电大学
  • 5 篇 国防科学技术大学
  • 5 篇 东南大学
  • 5 篇 国防科技大学
  • 5 篇 大连海事大学
  • 5 篇 天津大学
  • 5 篇 武汉大学
  • 4 篇 上海交通大学
  • 4 篇 北京航空航天大学
  • 4 篇 中国科学院软件研...
  • 4 篇 吉林师范大学

作者

  • 10 篇 孙立镌
  • 5 篇 曹琰
  • 5 篇 魏强
  • 5 篇 陈立平
  • 5 篇 蒋凡
  • 5 篇 王清贤
  • 4 篇 高雪瑶
  • 4 篇 张健
  • 4 篇 孙吉贵
  • 4 篇 董金祥
  • 4 篇 张永刚
  • 4 篇 王海燕
  • 3 篇 郭曦
  • 3 篇 王远志
  • 3 篇 王戟
  • 3 篇 季晓慧
  • 3 篇 陆国栋
  • 3 篇 李海龙
  • 3 篇 郭连水
  • 3 篇 张焕国

语言

  • 241 篇 中文
检索条件"主题词=约束求解"
共 241 条 记 录，以下是241-250 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
3种CAD变量化设计方法的比较
收藏
分享
引用
中南民族学院学报（自然科学版） 2000年 第2期19卷 32-37页
作者： 唐菀 陆际光 中南民族学院计算机科学系
系统比较了目前 CAD变量化设计的 3种主要方法的改进算法 ,阐明了它们的求解过程与结果实质上是统一的 ,即化繁为简 ,逐步求解 .最后指出了将这 3种方法统一结合 ,可为变量化设计提供快捷而简单的技术手段 .
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共25页 <<  < 16 17 18 19 20 21 22 23 24 25 >  >> 跳转到页 
回到顶部
执行限定条件