The Experimental Evaluation of a Fuzzy Set Based Approach ToEstimating the Correctness of Computer Programs

基于模糊集的计算机程序正确性估计方法的实验评估

基本信息

  • 批准号:
    8301745
  • 负责人:
  • 金额:
    $ 3.47万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    1983
  • 资助国家:
    美国
  • 起止时间:
    1983-07-15 至 1986-06-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 }}

Farokh Bastani其他文献

A study of the model and algorithms for handling location-dependent continuous queries
  • DOI:
    10.1007/s10115-005-0196-7
  • 发表时间:
    2005-04-20
  • 期刊:
  • 影响因子:
    3.100
  • 作者:
    Manish Gupta;Manghui Tu;Latifur Khan;Farokh Bastani;I-Ling Yen
  • 通讯作者:
    I-Ling Yen

Farokh Bastani的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Farokh Bastani', 18)}}的其他基金

I/UCRC: NSF Net-centric and Cloud Software and Systems
I/UCRC:NSF 以网络为中心的云软件和系统
  • 批准号:
    1361795
  • 财政年份:
    2014
  • 资助金额:
    $ 3.47万
  • 项目类别:
    Continuing Grant
Collaborative Research: FRP: QoS-Assured Service Composition and Execution
合作研究:FRP:QoS保证的服务组合和执行
  • 批准号:
    1128270
  • 财政年份:
    2011
  • 资助金额:
    $ 3.47万
  • 项目类别:
    Standard Grant
MRI Consortium: Development of Instrumentation for Measuring the Dependability and Quality of Cloud Computing Systems
MRI 联盟:开发用于测量云计算系统可靠性和质量的仪器
  • 批准号:
    1126393
  • 财政年份:
    2011
  • 资助金额:
    $ 3.47万
  • 项目类别:
    Standard Grant
Collaborative Research: IUCRC Center Proposal: Net-Centric Software and Systems
合作研究:IUCRC 中心提案:以网络为中心的软件和系统
  • 批准号:
    0855944
  • 财政年份:
    2009
  • 资助金额:
    $ 3.47万
  • 项目类别:
    Continuing Grant
I/UCRC: A Planning Activity for Joining the Center for Embedded Systems
I/UCRC:加入嵌入式系统中心的规划活动
  • 批准号:
    0733940
  • 财政年份:
    2007
  • 资助金额:
    $ 3.47万
  • 项目类别:
    Standard Grant
Relational Programs
关系型程序
  • 批准号:
    9900922
  • 财政年份:
    1999
  • 资助金额:
    $ 3.47万
  • 项目类别:
    Standard Grant
Investigation of a Robust Software Architecture for Safety-Critical Applications
针对安全关键应用的鲁棒软件架构的研究
  • 批准号:
    9803993
  • 财政年份:
    1998
  • 资助金额:
    $ 3.47万
  • 项目类别:
    Standard Grant

相似国自然基金

基于重要农地保护LESA(Land Evaluation and Site Assessment)体系思想的高标准基本农田建设研究
  • 批准号:
    41340011
  • 批准年份:
    2013
  • 资助金额:
    20.0 万元
  • 项目类别:
    专项基金项目

相似海外基金

Proposal and real-world evaluation of a VANET protocol utilizing fuzzy logic and reinforcement learning
利用模糊逻辑和强化学习的 VANET 协议的提案和实际评估
  • 批准号:
    25730053
  • 财政年份:
    2013
  • 资助金额:
    $ 3.47万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
Evolutionary Multiobjective Optimization Algorithm with Designer's Evaluation for Fuzzy System Design
模糊系统设计的设计者评价的进化多目标优化算法
  • 批准号:
    18700228
  • 财政年份:
    2006
  • 资助金额:
    $ 3.47万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
Evaluation of Road Pricing by Travel Behavior Model with Fuzzy Logic
模糊逻辑出行行为模型评价道路定价
  • 批准号:
    16560460
  • 财政年份:
    2004
  • 资助金额:
    $ 3.47万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Fuzzy evaluation of the educational contents in higher education and the educational system construction
高等教育教育内容的模糊评价与教育体系建设
  • 批准号:
    14380083
  • 财政年份:
    2002
  • 资助金额:
    $ 3.47万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Methodology for integrated environmental and economic evaluation of products and processes with support of the fuzzy-set theory
在模糊集理论的支持下对产品和过程进行综合环境和经济评价的方法
  • 批准号:
    5352720
  • 财政年份:
    2002
  • 资助金额:
    $ 3.47万
  • 项目类别:
    Research Grants
Research of Educational Evaluation System Applying Fuzzy Theory
应用模糊理论的教育评价体系研究
  • 批准号:
    10680198
  • 财政年份:
    1998
  • 资助金额:
    $ 3.47万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
A study on evaluation of natural shape lines using fractal theory and fuzzy systems theory
利用分形理论和模糊系统理论评价自然形状线条的研究
  • 批准号:
    10650395
  • 财政年份:
    1998
  • 资助金额:
    $ 3.47万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Evaluation and Analysis of "Informatic education" by Fuzzy Theory of a Junior High School, at Senior High School and University
模糊理论对初中、高中、大学“信息化教育”的评价与分析
  • 批准号:
    09680286
  • 财政年份:
    1997
  • 资助金额:
    $ 3.47万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Research of Educational Evaluation Applying Fuzzy Theory
应用模糊理论的教育评价研究
  • 批准号:
    08680209
  • 财政年份:
    1996
  • 资助金额:
    $ 3.47万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Development of Evaluation System for Teaching Materials Using Fuzzy System
利用模糊系统开发教材评价系统
  • 批准号:
    07808027
  • 财政年份:
    1995
  • 资助金额:
    $ 3.47万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了