QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 英语广告语篇中情态化词的分布与翻译及语用分析 期刊论文 湖南科技学院学报, 2012, 卷号: 第33卷, 页码: 166-168 作者:  李江春 收藏  |  浏览/下载：1/0  |  提交时间：2019/04/17 情态化词  模态与赋值  翻译  语用功能   青海木里矿区冻土环境评价研究 学位论文 硕士, 寒区旱区环境与工程研究所: 中国科学院寒区旱区环境与工程研究所, 2008 曹伟 收藏  |  浏览/下载：14/0  |  提交时间：2013/08/22 青海木里矿区  冻土环境  层次分析法  突变级数法  评价模型   汉语口语系统的鲁棒性语义分析器研究 学位论文 博士, 中国科学院声学研究所: 中国科学院声学研究所, 2004 刘蓓 收藏  |  浏览/下载：26/0  |  提交时间：2011/05/07 口语对话系统  自然语言理解  语义分析  知识表示  鲁棒性   带复杂数据结构的模型检测工具 期刊论文 计算机研究与发展, 2004, 卷号: 41, 期号: 11, 页码: 1990-1999 张轶; 林惠民 收藏  |  浏览/下载：9/0  |  提交时间：2010/08/24 模型检测  传值进程  带赋值符号迁移图  谓词μ演算  复杂数据结构 model-checking  value-passing process  STGA  predicate μ-calculus  non-trivial data structures   面向传值进程的一阶模态逻辑的可判定性与模型检测 期刊论文 中国科学E辑, 2003, 卷号: 33, 期号: 2, 页码: 97-110 薛锐; 林惠民 收藏  |  浏览/下载：7/0  |  提交时间：2010/08/24 一阶模态逻辑  可判定性  模型检测  传值进程