机构

• 软件研究所 [13]
• 地质与地球物理研究所 [3]

采集方式

• OAI收割 [16]

内容类型

• 期刊论文 [15]
• 会议论文 [1]

发表日期

• 2022 [1]
• 2020 [1]
• 2019 [1]
• 2009 [1]
• 2006 [3]
• 2004 [1]
• 更多

学科主题

• Computer S... [1]
• Informatio... [1]

筛选

浏览/检索结果: 共16条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Characteristics of hydraulic conductivity in mountain block systems and its effects on mountain block recharge: Insights from field investigation and numerical modeling 期刊论文  OAI收割 JOURNAL OF HYDROLOGY, 2022, 卷号: 612, 页码: 10 作者:  Fu, Yunmei;  Dong, Yanhui;  Wang, Liheng;  Bour, Olivier;  V. Klepikova, Maria   |  收藏  |  浏览/下载：30/0  |  提交时间：2023/04/06 Mountain block recharge  Mountain hydrogeology  Fractured aquifer   Impacts of Regional Groundwater Flow and River Fluctuation on Floodplain Wetlands in the Middle Reach of the Yellow River 期刊论文  OAI收割 WATER, 2020, 卷号: 12, 期号: 7, 页码: 18 作者:  Fu, Yunmei;  Dong, Yanhui;  Xie, Yueqing;  Xu, Zhifang;  Wang, Liheng   |  收藏  |  浏览/下载：38/0  |  提交时间：2020/09/28 groundwater and surface-water interactions  floodplain wetlands  Yellow River  remote sensing  numerical simulation   Equivalence of Discrete Fracture Network and Porous Media Models by Hydraulic Tomography 期刊论文  OAI收割 WATER RESOURCES RESEARCH, 2019, 卷号: 55, 期号: 4, 页码: 3234-3247 作者:  Dong, Yanhui;  Fu, Yunmei;  Yeh, Tian-Chyi Jim;  Wang, Yu-Li;  Zha, Yuanyuan   |  收藏  |  浏览/下载：72/0  |  提交时间：2019/06/24 linear algorithm for lexicographic enumeration of cfg parse trees 期刊论文  OAI收割 SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2009, 卷号: 52, 期号: 7, 页码: 1177-1202 Dong YunMei   |  收藏  |  浏览/下载：18/0  |  提交时间：2011/03/18 hierarchical construction of set of parse trees  lexicographic enumeration of parse trees  counting of parse trees   towards practical computable functions on context-free languages 会议论文  OAI收割 3rd International Conference on Theory and Applications of Models of Computation (TAMC 2006), Beijing, PEOPLES R CHINA, MAY 15-20, Chen Haiming; Dong Yunmei   |  收藏  |  浏览/下载：20/0  |  提交时间：2011/07/28 recursive function  context-free language  structured data  operator  computability   CFL句子计数和分层词典序枚举 期刊论文  OAI收割 中国科学E辑, 2006, 卷号: 36, 期号: 12 董韫美   |  收藏  |  浏览/下载：15/0  |  提交时间：2010/08/25 CFL分层构造  CFL句子计数  CFL句子词典序枚举  自然枚举  D(o)m(o)si猜想  基于文法的句子枚举  推导树枚举  无二义CFG充分必要条件  推导树文法   facilitating formal specification acquisition by using recursive functions on context-free languages 期刊论文  OAI收割 Knowledge-Based Systems, 2006, 卷号: 19, 期号: 2, 页码: 141-151 Chen Haiming; Yunmei Dong   |  收藏  |  浏览/下载：23/0  |  提交时间：2010/07/22 Formal specification language  Context-free language  Recursive function  Specification acquisition  Specification validation   linear algorithm for lexicographic enumeration of cfg parse trees 期刊论文  OAI收割 Science in China Series F: Information Sciences, 2004, 卷号: 52, 期号: 7, 页码: 1177-1202 Dong Yunmei   |  收藏  |  浏览/下载：15/0  |  提交时间：2010/08/25 yet another meta-language for programming language processing 期刊论文  OAI收割 SIGPLAN Not, 2002, 卷号: 37, 期号: 6, 页码: 28-37 Chen Haiming; Dong, Yunmei   |  收藏  |  浏览/下载：19/0  |  提交时间：2010/07/22 meta-language  programming language processing  recursive function  context-fzee language   一个支持规约获取的形式规约语言 期刊论文  OAI收割 计算机学报, 2002, 卷号: 25, 期号: 5, 页码: 459-466 陈海明; 董韫美   |  收藏  |  浏览/下载：17/0  |  提交时间：2010/07/22 形式规约语言  上下文无关语言  递归函数