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

限定检索结果

文献类型

  • 4 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 3 篇 工学
    • 2 篇 地质资源与地质工...
    • 1 篇 力学（可授工学、理...
    • 1 篇 机械工程
    • 1 篇 动力工程及工程热...
    • 1 篇 控制科学与工程
    • 1 篇 计算机科学与技术...
    • 1 篇 化学工程与技术
    • 1 篇 航空宇航科学与技...
    • 1 篇 核科学与技术
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 理学
    • 1 篇 化学

主题

  • 4 篇 prospec
  • 2 篇 tables
  • 1 篇 rock
  • 1 篇 keeping
  • 1 篇 administration
  • 1 篇 形式化描述
  • 1 篇 currently
  • 1 篇 jiangsu
  • 1 篇 ctl
  • 1 篇 molybdenum
  • 1 篇 apatite
  • 1 篇 模板
  • 1 篇 guizhou
  • 1 篇 quartz
  • 1 篇 geochemistry
  • 1 篇 模型检测
  • 1 篇 sps
  • 1 篇 guiyang
  • 1 篇 bureau
  • 1 篇 record

机构

  • 1 篇 哈尔滨工程大学

作者

  • 1 篇 纪明宇
  • 1 篇 陈志远
  • 1 篇 黄少滨
  • 1 篇 白玉

语言

  • 3 篇 英文
  • 1 篇 中文
检索条件"主题词=Prospec"
共 4 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
模型检测中的CTL形式化描述模板
收藏
分享
引用
哈尔滨工程大学学报 2013年 第4期34卷 483-487页
作者： 陈志远 黄少滨 白玉 纪明宇 哈尔滨工程大学计算机科学与技术学院 黑龙江哈尔滨150001
针对SPS(specification pattern system)和prospec(property specification)不能将组合命题形式化为模型检测器可以接受的CTL(computation tree logic)公式问题,通过研究SPS和prospec产生系统性质描述的形式化方法,并对比CTL与FIL(futur... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
NONMETALS DEPOSITS
收藏
分享
引用
Abstracts of Chinese Geological Literature 2011年 第1期27卷 68-71页
20110251 Chen Jiyan(College of Resource and Environment,Guizhou University,Guiyang 550003,China);Zhang Jie Mode of Occurrence of Rare Earth Elements in Posphorite in Zhijin County,Guizhou Province,China(Acta Mineralog... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
Xinjiang Discovered the Largest Molybdenum Mine Deposit,Submitted 573000 Tonnes of Molybdenum Metal Volume
收藏
分享
引用
China Nonferrous Metals Monthly 2015年 第2期 3-4页
According to Xinjiang Bureau of Geology and Mineral Exploration:An ultra large molybdenum mine was newly discovered near Yumin County,the molybdenum metal volume currently in application for record keeping is573,000 t... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
prospecTING EXPLORATION
收藏
分享
引用
Abstracts of Chinese Geological Literature 2007年 第4期23卷 177-177页
20072994 Chen Jiabin(China Economic Academy of Land and Resources,Beijing 101149,China)Global Copper Resource and Its Strategy in China in Future Five Years(Jiangsu Geology,ISSN1003-6474,CN32-1258/P,30(4),2006,p.314-3... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件