Collaborative Research: Design and Run-time Techniques for Physically Coupled Software
协作研究:物理耦合软件的设计和运行技术
基本信息
- 批准号:0820061
- 负责人:
- 金额:$ 45万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2008
- 资助国家:美国
- 起止时间:2008-09-15 至 2012-08-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Proposal Number: 0820061/0820034/0820230TITLE: Design and Run-time Techniques for Physically Coupled SoftwarePIs: Ramesh Govindan (USC), Rajesh Gupta (UCSD), Mani Srivastava (UCLA), and Paulo Tabuada (UCLA)ABSTRACT:Many real-world systems are deeply embedded in the physical world and their operational behavior is determined in large part by a tight coupling between the system components and the physical environment. This project seeks to establish the scientific principles governing software for such physically-coupled systems by focusing on four challenges in the context of distributed sensing and control applications: 1) Support for physical context in the form of programming structures that enable application software to explicitly capture the state of the physical world as an observable in an embedded computation; 2) Formal methods for composing software modules that indirectly interact with each other through the physical world, and a run-time safety supervisor that provably enforces correctness of composition; 3) Programming structures to enable design and verification of applications with resource provisioning that is driven by and adapts to physical-world dynamics; 4) System software support for sharing physically-coupled sensor and actuator resources in distributed settings. In addition, educational techniques targeting the teaching of topics in physically-coupled computational systems are being explored by creating shared educational content in the form of self-contained reusable modules.
提案编号:0820061/0820034/0820230标题:物理耦合软件的设计和运行时技术PI:Ramesh Govindan(南加州大学),Rajesh Gupta(加州大学圣地亚哥分校),Mani Srivastava(加州大学洛杉矶分校)和Paulo Tabuada(加州大学洛杉矶分校)摘要:许多现实世界的系统深深地嵌入在物理世界中,它们的操作行为在很大程度上取决于系统组件和物理环境之间的紧密耦合。该项目旨在通过重点关注分布式传感和控制应用背景下的四个挑战,建立管理此类物理耦合系统软件的科学原则:1)以编程结构的形式支持物理上下文,使应用程序能够显式捕获物理状态世界作为嵌入式计算中的可观察对象; 2)用于组成通过物理世界间接地彼此交互的软件模块的形式化方法,以及可证明地强制执行组成的正确性的运行时安全监督器; 3)编程结构,以使得能够设计和验证具有资源供应的应用,所述资源供应由物理环境驱动并适应物理环境。4)系统软件支持在分布式环境中共享物理耦合的传感器和执行器资源。此外,针对物理耦合计算系统中的主题教学的教育技术正在探索通过创建共享的教育内容的形式,自包含的可重复使用的模块。
项目成果
期刊论文数量(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 }}
Mani Srivastava其他文献
Active Base Stations and Nodes for Wireless Networks
- DOI:
10.1023/a:1020825023234 - 发表时间:
2003-01-01 - 期刊:
- 影响因子:2.100
- 作者:
Athanassios Boulis;Paul Lettieri;Mani Srivastava - 通讯作者:
Mani Srivastava
On the amplification of security and privacy risks by post-hoc explanations in machine learning models
机器学习模型中事后解释放大安全和隐私风险
- DOI:
10.48550/arxiv.2206.14004 - 发表时间:
2022 - 期刊:
- 影响因子:0
- 作者:
Pengrui Quan;Supriyo Chakraborty;J. Jeyakumar;Mani Srivastava - 通讯作者:
Mani Srivastava
Molecular Modeling Evaluation of the Antimalarial Activity of Artemisinin Analogues: Molecular Docking and Rescoring using Prime/MM-GBSA Approach
青蒿素类似物抗疟活性的分子模型评估:使用 Prime/MM-GBSA 方法进行分子对接和重新评分
- DOI:
- 发表时间:
2010 - 期刊:
- 影响因子:0
- 作者:
Mani Srivastava;Harvinder Singh;P. Naik - 通讯作者:
P. Naik
Editorial: Farewell and Introduction to the New Editor-in-Chief
- DOI:
10.1109/tmc.2011.8 - 发表时间:
2011-01 - 期刊:
- 影响因子:0
- 作者:
Mani Srivastava - 通讯作者:
Mani Srivastava
REVIEW ARTICLE - RATIONAL USE OF SWARNA PRASHANA IN CHILDREN IN CURRENT TIMES OF COVID 19 CRISIS
评论文章 - 当前 COVID 19 危机时期儿童中 Swarna Prashana 的合理使用
- DOI:
- 发表时间:
2020 - 期刊:
- 影响因子:0
- 作者:
Mani Srivastava - 通讯作者:
Mani Srivastava
Mani Srivastava的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Mani Srivastava', 18)}}的其他基金
CRI: CI-EN: Collaborative Research: mResearch: A platform for Reproducible and Extensible Mobile Sensor Big Data Research
CRI:CI-EN:协作研究:mResearch:可复制和可扩展的移动传感器大数据研究平台
- 批准号:
1822935 - 财政年份:2018
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
SaTC: CORE: Medium: Collaborative: Privacy-Aware Trustworthy Control as a Service for the Internet of Things (IoT)
SaTC:核心:媒介:协作:物联网 (IoT) 的隐私意识可信控制即服务
- 批准号:
1705135 - 财政年份:2017
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
BD Spokes: SPOKE: WEST: Collaborative: MetroInsight: Knowledge Discovery and Real-Time Interventions from Sensory Data Flows in Urban Spaces
BD 发言:发言:WEST:协作:MetroInsight:城市空间中感知数据流的知识发现和实时干预
- 批准号:
1636916 - 财政年份:2016
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
CPS: Frontiers: Collaborative Research: ROSELINE: Enabling Robust, Secure and Efficient Knowledge of Time Across the System Stack
CPS:前沿:协作研究:ROSELINE:在整个系统堆栈中实现稳健、安全和高效的时间知识
- 批准号:
1329755 - 财政年份:2014
- 资助金额:
$ 45万 - 项目类别:
Continuing Grant
CSR: Large: Collaborative Research: Enabling Privacy-Utility Trade-Offs in Pervasive Computing Systems
CSR:大型:协作研究:在普适计算系统中实现隐私与效用的权衡
- 批准号:
1213140 - 财政年份:2012
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
PC3: Pervasive Sensing and Computing Technologies for Energy and Water Sustainability in Buildings
PC3:用于建筑物能源和水可持续性的普遍传感和计算技术
- 批准号:
1143667 - 财政年份:2011
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
Collaborative Research: Variability-Aware Software for Efficient Computing with Nanoscale Devices
协作研究:利用纳米级设备进行高效计算的可变性感知软件
- 批准号:
1029030 - 财政年份:2010
- 资助金额:
$ 45万 - 项目类别:
Continuing Grant
NetSE: Medium: Collaborative Research: Green Edge Networks
NetSE:媒介:协作研究:绿色边缘网络
- 批准号:
0905580 - 财政年份:2009
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
NetSE: Large: Collaborative Research: FieldStream: Network Data Services for Exposure Biology Studies in Natural Environments
NetSE:大型:协作研究:FieldStream:自然环境中暴露生物学研究的网络数据服务
- 批准号:
0910706 - 财政年份:2009
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
CSR--EHS: Collaborative Research: ASPIRE: Antipodal Staged Processing In Role-adaptive Embedded-systems
CSR--EHS:协作研究:ASPIRE:角色自适应嵌入式系统中的反足分阶段处理
- 批准号:
0614853 - 财政年份:2006
- 资助金额:
$ 45万 - 项目类别:
Continuing Grant
相似国自然基金
Research on Quantum Field Theory without a Lagrangian Description
- 批准号:24ZR1403900
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
Cell Research
- 批准号:31224802
- 批准年份:2012
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Cell Research
- 批准号:31024804
- 批准年份:2010
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Cell Research (细胞研究)
- 批准号:30824808
- 批准年份:2008
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Research on the Rapid Growth Mechanism of KDP Crystal
- 批准号:10774081
- 批准年份:2007
- 资助金额:45.0 万元
- 项目类别:面上项目
相似海外基金
Collaborative Research: Beyond the Single-Atom Paradigm: A Priori Design of Dual-Atom Alloy Active Sites for Efficient and Selective Chemical Conversions
合作研究:超越单原子范式:双原子合金活性位点的先验设计,用于高效和选择性化学转化
- 批准号:
2334970 - 财政年份:2024
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
Collaborative Research: Concurrent Design Integration of Products and Remanufacturing Processes for Sustainability and Life Cycle Resilience
协作研究:产品和再制造流程的并行设计集成,以实现可持续性和生命周期弹性
- 批准号:
2348641 - 财政年份:2024
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
Collaborative Research: DMREF: Closed-Loop Design of Polymers with Adaptive Networks for Extreme Mechanics
合作研究:DMREF:采用自适应网络进行极限力学的聚合物闭环设计
- 批准号:
2413579 - 财政年份:2024
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
Collaborative Research: Design and synthesis of hybrid anode materials made of chemically bonded carbon nanotube to copper: a concerted experiment/theory approach
合作研究:设计和合成由化学键合碳纳米管和铜制成的混合阳极材料:协调一致的实验/理论方法
- 批准号:
2334039 - 财政年份:2024
- 资助金额:
$ 45万 - 项目类别:
Continuing Grant
Collaborative Research: Design: Strengthening Inclusion by Change in Building Equity, Diversity and Understanding (SICBEDU) in Integrative Biology
合作研究:设计:通过改变综合生物学中的公平、多样性和理解(SICBEDU)来加强包容性
- 批准号:
2335235 - 财政年份:2024
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
Collaborative Research: Merging Human Creativity with Computational Intelligence for the Design of Next Generation Responsive Architecture
协作研究:将人类创造力与计算智能相结合,设计下一代响应式架构
- 批准号:
2329759 - 财政年份:2024
- 资助金额:
$ 45万 - 项目类别:
Standard Grant
Collaborative Research: Meshed GNSS-Acoustic Array Design for Lower-Cost Dense Observation Fields
合作研究:用于低成本密集观测场的网状 GNSS 声学阵列设计
- 批准号:
2321297 - 财政年份:2024
- 资助金额:
$ 45万 - 项目类别:
Continuing Grant
Collaborative Research: SaTC: CORE: Medium: Differentially Private SQL with flexible privacy modeling, machine-checked system design, and accuracy optimization
协作研究:SaTC:核心:中:具有灵活隐私建模、机器检查系统设计和准确性优化的差异化私有 SQL
- 批准号:
2317232 - 财政年份:2024
- 资助金额:
$ 45万 - 项目类别:
Continuing Grant
Collaborative Research: Design and synthesis of hybrid anode materials made of chemically bonded carbon nanotube to copper: a concerted experiment/theory approach
合作研究:设计和合成由化学键合碳纳米管和铜制成的混合阳极材料:协调一致的实验/理论方法
- 批准号:
2334040 - 财政年份:2024
- 资助金额:
$ 45万 - 项目类别:
Continuing Grant
Collaborative Research: DMREF: AI-enabled Automated design of ultrastrong and ultraelastic metallic alloys
合作研究:DMREF:基于人工智能的超强和超弹性金属合金的自动化设计
- 批准号:
2411603 - 财政年份:2024
- 资助金额:
$ 45万 - 项目类别:
Standard Grant