SGER: Applying Digital Evolution to Behavioral Models

SGER:将数字进化应用于行为模型

基本信息

  • 批准号:
    0750787
  • 负责人:
  • 金额:
    --
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2007
  • 资助国家:
    美国
  • 起止时间:
    2007-09-15 至 2009-08-31
  • 项目状态:
    已结题

项目摘要

ABSTRACT0750787ChengMichigan StateThe Problem. Computing technology now affects nearly every dimension of modern society: managingcritical infrastructure such as power grids and telecommunication networks; supporting electronic commerceand medical information systems; and controlling the operation of aircraft and automobiles. This pervasiveness of computing technology, coupled with its rapidly increasing complexity, gives rise to the need for computer systems that are able to adapt to changing conditions. In the last decade, extensive research has been conducted on many aspects of self-adaptive software systems. Examples include adaptive software mechanisms [1 20]; software-architecture-based techniques for supporting dynamic adaptation [21 38]; adaptable and extensible operating systems [39 42]; and requirements-level and formal methods-based techniques [43 52]. This research has greatly improved our understanding of adaptive software and several key supporting concepts, including computational reflection [53 55], separation of concerns [12, 56], component-based design [57, 58], and transparent interception of program flow [59 61].Despite these advances, designing an adaptive software system remains a very challenging task. We speculatethat much of the difficulty is due to the fact that adaptive software is being designed and implemented usingtraditional tools and environments intended for the development of non-adaptive software. We contend that thefull potential of dynamically adaptive software systems cannot be realized without fundamental advances inthe corresponding development environments. Such environments must enable developers to explicitly addressthose aspects of the design problem that distinguish adaptive systems from non-adaptive systems. These issuesinclude anticipating how the software may need to adapt in the future, constructing decision-making softwareto govern the adaptation, and ensuring that system integrity is not compromised by adaptation.
Abstract0750787Chengmichigan statethe问题。现在,计算技术影响了现代社会的几乎每个方面:管理危机基础设施,例如电网和电信网络;支持电子商业信息系统;并控制飞机和汽车的操作。计算技术的这种普遍存在,再加上其快速增加的复杂性,这引起了对能够适应不断变化条件的计算机系统的需求。在过去的十年中,对自适应软件系统的许多方面进行了广泛的研究。例子包括自适应软件机制[1 20];基于软件架构的基于支持动态适应的技术[21 38];适应性且可扩展的操作系统[39 42];以及基于需求级和正式方法的技术[43 52]。这项研究大大提高了我们对自适应软件和几个关键支持概念的理解,包括计算反思[53 55],关注点分离[12,56],基于组件的设计[57,58]和程序流的透明拦截[59 61]。我们推测许多困难是由于使用传统工具和环境设计和实施了用于开发非自适应软件的事实。我们认为,如果没有在相应的开发环境中的基本进步,动态自适应软件系统的全部潜力将无法实现。这样的环境必须使开发人员能够明确解决设计问题的各个方面,这些方面将自适应系统与非自适应系统区分开。这些问题包括预期该软件可能需要在将来适应,构建决策Softwareto管理改编,并确保不受适应性的系统完整性不损害系统的完整性。

项目成果

期刊论文数量(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 }}

Betty Cheng其他文献

Betty Cheng的其他文献

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

{{ truncateString('Betty Cheng', 18)}}的其他基金

NSF Student and Early-Career Faculty Travel and Registration Grant for 2017 IEEE International Conference on Software Engineering (ICSE)
NSF 学生和早期职业教师 2017 年 IEEE 国际软件工程会议 (ICSE) 旅行和注册补助金
  • 批准号:
    1723560
  • 财政年份:
    2017
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Collaborative Research: CI-ADDO-EN: Research Repository for Model-Driven Software Development (REMODD)
协作研究:CI-ADDO-EN:模型驱动软件开发研究存储库 (REMODD)
  • 批准号:
    1305358
  • 财政年份:
    2013
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Collaborative Research: CI-ADDO-NEW: Research Repository for Model-Driven Software Development (REMODD)
协作研究:CI-ADDO-NEW:模型驱动软件开发研究存储库 (REMODD)
  • 批准号:
    0854931
  • 财政年份:
    2009
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
ORCHID: Harnessing Digital Evolution to Design High-Assurance Adaptive Systems
ORCHID:利用数字演进设计高保证自适应系统
  • 批准号:
    0820220
  • 财政年份:
    2008
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Collaborative Proposal: Center for Software-Intensive Ultra-Large-Scale Systems
合作提案:软件密集型超大规模系统中心
  • 批准号:
    0700329
  • 财政年份:
    2007
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Facilitating the Modeling and Analysis of Distributed Real-time Embedded Systems
促进分布式实时嵌入式系统的建模和分析
  • 批准号:
    0541131
  • 财政年份:
    2006
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Travel Grant for Attending Doctoral Symposium for RE06
参加RE06博士生研讨会旅费补助
  • 批准号:
    0631266
  • 财政年份:
    2006
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
CRI: A Repository for Model Driven Development
CRI:模型驱动开发的存储库
  • 批准号:
    0551622
  • 财政年份:
    2006
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Experimental Partnership - Meridian: An Integrated Toolkit for Developing Interactive Distributed Applications
实验性合作伙伴关系 - Meridian:用于开发交互式分布式应用程序的集成工具包
  • 批准号:
    0000433
  • 财政年份:
    2000
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
Object-oriented Development and Analysis of Embedded Systems
嵌入式系统的面向对象开发与分析
  • 批准号:
    9901017
  • 财政年份:
    1999
  • 资助金额:
    --
  • 项目类别:
    Standard Grant

相似国自然基金

氨氢发动机尾气污染生成机制与净化技术研究(单一子课题申请)
  • 批准号:
  • 批准年份:
    2023
  • 资助金额:
    300 万元
  • 项目类别:
    专项基金项目
氨氢发动机尾气污染生成机制与净化技术研究(单一子课题申请)
  • 批准号:
    T2341002
  • 批准年份:
    2023
  • 资助金额:
    300.00 万元
  • 项目类别:
    专项项目
氨氢融合零碳多源混动系统基础研究(总课题申请)
  • 批准号:
    T2341001
  • 批准年份:
    2023
  • 资助金额:
    900 万元
  • 项目类别:
    专项基金项目
循环肿瘤核酸(ctNA)精准监测早期肺癌治疗后复发的研究(联合申请B)
  • 批准号:
    82241238
  • 批准年份:
    2022
  • 资助金额:
    200.00 万元
  • 项目类别:
    专项项目
肝癌肝移植免疫稳态维持的精准策略及选择性区域免疫耐受新靶点研究(联合申请 A)
  • 批准号:
    82241225
  • 批准年份:
    2022
  • 资助金额:
    200.00 万元
  • 项目类别:
    专项项目

相似海外基金

Applying digital archeology to rock art placement
将数字考古学应用于岩画布局
  • 批准号:
    DE240100030
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Discovery Early Career Researcher Award
Safe, secure and fast name resolution by applying DNS and digital certificates
通过应用 DNS 和数字证书进行安全、可靠和快速的名称解析
  • 批准号:
    22K12007
  • 财政年份:
    2022
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Applying Digital Health to the AF Ablation NCDR, Enabling Longitudinal Follow-up
将数字健康应用于房颤消融 NCDR,实现纵向随访
  • 批准号:
    10672387
  • 财政年份:
    2021
  • 资助金额:
    --
  • 项目类别:
Applying a Digital Tool to Support Self-regulated Learning Strategies in Introductory Geoscience Courses
应用数字工具支持地球科学入门课程中的自我调节学习策略
  • 批准号:
    2111533
  • 财政年份:
    2021
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Applying pathomics to establish a biosignature for aggressive skin melanoma
应用病理学建立侵袭性皮肤黑色素瘤的生物特征
  • 批准号:
    10545113
  • 财政年份:
    2021
  • 资助金额:
    --
  • 项目类别:
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了