刷新
{{item.name}}会员
A System-Level Approach for Verification of Multi-Agent Systems for Implied Scenarios
隐含场景多代理系统验证的系统级方法
基本信息
- 批准号：442933-2013
- 负责人：
- 金额：$ 1.53万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Postgraduate Scholarships - Doctoral
- 财政年份：2014
- 资助国家：加拿大
- 起止时间：2014-01-01 至 2015-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
Software verification, Distributed system, Multi-agent system, Scenario-based specification, Requirement engineering, Implied scenarios, Agent-based design, Intelligent software systems, Emergent behavior, Sequence diagrams
软件验证，分布式系统，多Agent系统，基于场景的规格说明，需求工程，隐含场景，基于Agent的设计，智能软件系统，涌现行为，序列图
项目成果
期刊论文数量（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 }}
Mireslami, Seyedehmehrnaz其他文献
Dynamic Cloud Resource Allocation Considering Demand Uncertainty
- DOI：
10.1109/tcc.2019.2897304 - 发表时间：
2021-07-01 - 期刊：
- 影响因子：6.5
- 作者：
Mireslami, Seyedehmehrnaz;Rakai, Logan;Far, Behrouz Homayoun - 通讯作者：
Far, Behrouz Homayoun
Mireslami, Seyedehmehrnaz的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Mireslami, Seyedehmehrnaz', 18)}}的其他基金
A System-Level Approach for Verification of Multi-Agent Systems for Implied Scenarios
隐含场景多代理系统验证的系统级方法
- 批准号：
442933-2013 - 财政年份：2015
- 资助金额：
$ 1.53万 - 项目类别：
Postgraduate Scholarships - Doctoral
A System-Level Approach for Verification of Multi-Agent Systems for Implied Scenarios
隐含场景多代理系统验证的系统级方法
- 批准号：
442933-2013 - 财政年份：2013
- 资助金额：
$ 1.53万 - 项目类别：
Postgraduate Scholarships - Doctoral
相似国自然基金
粒子level set方法的改进与空间自适应波浪模型并行化研究
- 批准号：52171245
- 批准年份：2021
- 资助金额：58 万元
- 项目类别：面上项目
基于Level Set方法的三维爆炸与冲击仿真软件开发及其应用
- 批准号：11502121
- 批准年份：2015
- 资助金额：25.0 万元
- 项目类别：青年科学基金项目
层级稀疏化的Mid-Level特征空间下高分辨率遥感影像检索方法研究
- 批准号：41401376
- 批准年份：2014
- 资助金额：25.0 万元
- 项目类别：青年科学基金项目
CPU/GPGPU紧耦合异构多核系统共享Last Level Cache优化研究
- 批准号：61379035
- 批准年份：2013
- 资助金额：75.0 万元
- 项目类别：面上项目
基于新LEVEL SET方法的双标量小火焰模型的研究
- 批准号：51306013
- 批准年份：2013
- 资助金额：25.0 万元
- 项目类别：青年科学基金项目
Level Set方法及其在爆炸与冲击问题数值模拟中的应用研究
- 批准号：10872085
- 批准年份：2008
- 资助金额：48.0 万元
- 项目类别：面上项目
几何造型中交互式Level Set方法研究
- 批准号：60373036
- 批准年份：2003
- 资助金额：23.0 万元
- 项目类别：面上项目
逆向工程中基于小波特征的曲面配准与Level-set建模方法研究
- 批准号：50305027
- 批准年份：2003
- 资助金额：18.0 万元
- 项目类别：青年科学基金项目
用Level Set方法研究气液两相流界面迁移的微观特性
- 批准号：50106011
- 批准年份：2001
- 资助金额：20.0 万元
- 项目类别：青年科学基金项目
相似海外基金
System-level integration to promote the mental health of Indigenous children: A community-driven mixed methods approach
促进土著儿童心理健康的系统级整合：社区驱动的混合方法
- 批准号：
nhmrc : GNT1164251 - 财政年份：2019
- 资助金额：
$ 1.53万 - 项目类别：
Project Grants
South Dakota Working in STEM for Equity (SD-WISE): A System, Institutional, and Individual Level Approach to Policy Change
南达科他州致力于 STEM 促进公平 (SD-WISE)：系统、机构和个人层面的政策变革方法
- 批准号：
1463993 - 财政年份：2015
- 资助金额：
$ 1.53万 - 项目类别：
Standard Grant
A System-Level Approach for Verification of Multi-Agent Systems for Implied Scenarios
隐含场景多代理系统验证的系统级方法
- 批准号：
442933-2013 - 财政年份：2015
- 资助金额：
$ 1.53万 - 项目类别：
Postgraduate Scholarships - Doctoral
Development of contact analysis approach based on level set method for biomechanical simulation of musculoskeletal system
基于水平集方法的肌肉骨骼系统生物力学模拟接触分析方法的开发
- 批准号：
15K04757 - 财政年份：2015
- 资助金额：
$ 1.53万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Model-based Approach for System-Level Testing and Validation
基于模型的系统级测试和验证方法
- 批准号：
1509420 - 财政年份：2015
- 资助金额：
$ 1.53万 - 项目类别：
Standard Grant
A System-Level Approach for Verification of Multi-Agent Systems for Implied Scenarios
隐含场景多代理系统验证的系统级方法
- 批准号：
442933-2013 - 财政年份：2013
- 资助金额：
$ 1.53万 - 项目类别：
Postgraduate Scholarships - Doctoral
Equation-Free Approach to System-Level Dynamic Modeling in Electric Energy Processing
电能处理系统级动态建模的无方程方法
- 批准号：
1137880 - 财政年份：2011
- 资助金额：
$ 1.53万 - 项目类别：
Continuing Grant
Lifting Device-Level Characteristics for Error Resilient System Level Design: A Crosslayer Approach
提升设备级特性以实现容错系统级设计：跨层方法
- 批准号：
182085881 - 财政年份：2010
- 资助金额：
$ 1.53万 - 项目类别：
Priority Programmes
Equation-Free Approach to System-Level Dynamic Modeling in Electric Energy Processing
电能处理系统级动态建模的无方程方法
- 批准号：
0801415 - 财政年份：2008
- 资助金额：
$ 1.53万 - 项目类别：
Continuing Grant
Improving Undergraduate Power Engineering Education: A System-Level Approach to Teaching Electromechanical Energy Conversion
改进本科电力工程教育：机电能量转换教学的系统级方法
- 批准号：
9952517 - 财政年份：2000
- 资助金额：
$ 1.53万 - 项目类别：
Standard Grant