刷新
{{item.name}}会员
U.S.-China Cooperative Research: A Theory and Methodology for Testing Concurrent Software Systems
中美合作研究：测试并发软件系统的理论和方法
基本信息
- 批准号：0096143
- 负责人：
- 金额：$ 2.9万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：2000
- 资助国家：美国
- 起止时间：2000-01-15 至 2002-04-30
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Xudong He其他文献
McPatom: A Predictive Analysis Tool for Atomicity Violation Using Model Checking
McPatom：使用模型检查进行原子性违规的预测分析工具
- DOI：
10.1007/978-3-642-31759-0_14 - 发表时间：
2012 - 期刊：
- 影响因子：0
- 作者：
Reng Zeng;Zhuo Sun;Su Liu;Xudong He - 通讯作者：
Xudong He
A methodology for constructing predicate transition net specifications
构造谓词转换网规范的方法
- DOI：
10.1002/spe.4380210806 - 发表时间：
1991 - 期刊：
- 影响因子：0
- 作者：
Xudong He;John A. N. Lee - 通讯作者：
John A. N. Lee
A Method to Build and Analyze Scientific Workflows from Provenance through Process Mining
一种从起源到流程挖掘构建和分析科学工作流程的方法
- DOI：
- 发表时间：
2011 - 期刊：
- 影响因子：0
- 作者：
Reng Zeng;Xudong He;Jiafei Li;Zheng Liu;Wil M.P. van der Aalst - 通讯作者：
Wil M.P. van der Aalst
Radar HRRP Target Recognition via Semi-supervised Multi-Task Deep Network
通过半监督多任务深度网络进行雷达 HRRP 目标识别
- DOI：
10.1109/access.2019.2933866 - 发表时间：
2019 - 期刊：
- 影响因子：3.9
- 作者：
Chenkai Zhao;Xudong He;Jing Liang;Tiantian Wang;Changba Huang - 通讯作者：
Changba Huang
A formal model-based approach for developing an interoperable mobile agent system
用于开发可互操作的移动代理系统的基于模型的正式方法
- DOI：
10.3233/mgs-2006-2407 - 发表时间：
2006 - 期刊：
- 影响因子：0
- 作者：
Junhua Ding;Peter J. Clarke;Dianxiang Xu;Xudong He;Yi Deng - 通讯作者：
Yi Deng
Xudong He的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Xudong He', 18)}}的其他基金
U.S.-China Cooperative Research: A Theory and Methodology for Testing Concurrent Software Systems
中美合作研究：测试并发软件系统的理论和方法
- 批准号：
9731620 - 财政年份：1998
- 资助金额：
$ 2.9万 - 项目类别：
Standard Grant
Research Initiation Award: Theory, Analysis and Applications of Hierarchical Predicate Transition Nets
研究启动奖：层次谓词转移网络的理论、分析与应用
- 批准号：
9308003 - 财政年份：1993
- 资助金额：
$ 2.9万 - 项目类别：
Standard Grant
相似国自然基金
greenwashing behavior in China:Basedon an integrated view of reconfiguration of environmental authority and decoupling logic
- 批准号：
- 批准年份：2024
- 资助金额：万元
- 项目类别：外国学者研究基金项目
Exploring Changing Fertility Intentions in China
- 批准号：
- 批准年份：2024
- 资助金额：万元
- 项目类别：外国学者研究基金
Incentive and governance schenism study of corporate green washing behavior in China: Based on an integiated view of econfiguration of environmental authority and decoupling logic
- 批准号：
- 批准年份：2024
- 资助金额：万元
- 项目类别：外国学者研究基金项目
Financial Constraints in China
and Their Policy Implications
- 批准号：
- 批准年份：2024
- 资助金额：万元
- 项目类别：外国优秀青年学 者研究基金项目
BoCP: US-China: 榕-蜂共生体系性状创新在增加生物多样性中的贡献
- 批准号：32261123001
- 批准年份：2022
- 资助金额：450 万元
- 项目类别：国际(地区)合作与交流项目
SRS:US-China:极端温度事件下城乡区域低碳人居环境系统脆弱性分析与韧性提升
- 批准号：T221101033
- 批准年份：2022
- 资助金额：0.00 万元
- 项目类别：国际(地区)合作与交流项目
SRS:US-China:城乡复合系统水体温室气体排放特征及调控机制
- 批准号：T2261129474
- 批准年份：2022
- 资助金额：300.00 万元
- 项目类别：国际(地区)合作与交流项目
SRS: US-China: 城乡复合系统水体温室气体排放特征及调控机制
- 批准号：
- 批准年份：2022
- 资助金额：300 万元
- 项目类别：
SRS: US-China: 极端温度事件下城乡区域低碳人居环境系统脆弱性分析与韧性提升
- 批准号：
- 批准年份：2022
- 资助金额：297.5 万元
- 项目类别：
SRS:US-China:基础设施促进城乡融合可持续发展的驱动机理与决策机制研究
- 批准号：T2261129477
- 批准年份：2022
- 资助金额：300.00 万元
- 项目类别：国际(地区)合作与交流项目
相似海外基金
U.S.-China Cooperative Research: Control of complex nonlinear systems with applications
中美合作研究：复杂非线性系统控制及其应用
- 批准号：
0408925 - 财政年份：2004
- 资助金额：
$ 2.9万 - 项目类别：
Standard Grant
U.S.-China Cooperative Research: Study In Bimetallic Catalysis Between University of Delaware and Peking University
中美合作研究：特拉华大学与北京大学双金属催化研究
- 批准号：
0321942 - 财政年份：2003
- 资助金额：
$ 2.9万 - 项目类别：
Standard Grant
U.S.-China Cooperative Research: Impacts of Water Column and Sediment-Water Interface Nitrogen Dynamics on Water Quality in Taihu Lake, China
中美合作研究：中国太湖水体和沉积物-水界面氮动态对水质的影响
- 批准号：
0318794 - 财政年份：2003
- 资助金额：
$ 2.9万 - 项目类别：
Standard Grant
U.S.-China Cooperative Research: Isotopic Evidence for Late Cenozoic Climate and Ecosystem Changes in China
中美合作研究：中国晚新生代气候和生态系统变化的同位素证据
- 批准号：
0204923 - 财政年份：2002
- 资助金额：
$ 2.9万 - 项目类别：
Standard Grant
U.S.-China Cooperative Research: BTeV Calorimetry
中美合作研究：BTeV 量热法
- 批准号：
0223602 - 财政年份：2002
- 资助金额：
$ 2.9万 - 项目类别：
Standard Grant
AWARE U.S.-China Cooperative Research on Pleistocene Hunter-Gatherers of the Tibetan Plateau
意识到中美对青藏高原更新世狩猎采集者的合作研究
- 批准号：
0214870 - 财政年份：2002
- 资助金额：
$ 2.9万 - 项目类别：
Standard Grant
U.S.-China Cooperative Research (AWARE/REU): Structural Origin of Photosensitivity in Lead Glasses
美中合作研究（AWARE/REU）：铅玻璃光敏性的结构起源
- 批准号：
0113801 - 财政年份：2001
- 资助金额：
$ 2.9万 - 项目类别：
Standard Grant
U.S.-China Cooperative Research: Novel Silicon-On-Insulator using Amorphous Aluminum Nitride and Amorphous Diamond as Insulating Layers
中美合作研究：采用非晶氮化铝和非晶金刚石作为绝缘层的新型绝缘体硅
- 批准号：
0004547 - 财政年份：2001
- 资助金额：
$ 2.9万 - 项目类别：
Standard Grant
U.S.-China Cooperative Research: Sequence and Chemostratigraphic Pilot Study of the Neoproterozoic Yangtze Platform, South China
中美合作研究：华南新元古代扬子地台层序和化学地层初步研究
- 批准号：
0089252 - 财政年份：2001
- 资助金额：
$ 2.9万 - 项目类别：
Standard Grant
U.S.-China Cooperative Research: Utilizing Three-Dimensional Data in a Virtual Urban Environment to Support and Evaluate Planning Decisions
中美合作研究：利用虚拟城市环境中的三维数据支持和评估规划决策
- 批准号：
0089884 - 财政年份：2001
- 资助金额：
$ 2.9万 - 项目类别：
Standard Grant