机构

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

采集方式

• OAI收割 [9]

内容类型

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

发表日期

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

学科主题

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

筛选

浏览/检索结果: 共9条，第1-9条 帮助 条数/页： 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   |  收藏  |  浏览/下载：36/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   |  收藏  |  浏览/下载：16/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   |  收藏  |  浏览/下载：19/0  |  提交时间：2011/07/28 recursive function  context-free language  structured data  operator  computability   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   pattern matching compilation of functions defined in context-free languages 期刊论文  OAI收割 Journal of Computer Science and Technology, 2001, 卷号: 16, 期号: 2, 页码: 159-167 Chen Haiming; Yunmei Dong   |  收藏  |  浏览/下载：10/0  |  提交时间：2010/07/22 pattern matching  algorithm  recursive function  context-free language  functional language