CSR-EHS: Virtual Node Abstraction Layers for Designing Embedded Systems
CSR-EHS: Virtual Node Abstraction Layers for Designing Embedded Systems
批准号:
0715397
负责人:
Nancy Lynch
金额:
$18.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2007
资助国家:
美国
项目状态:
已结题
起止时间:
2007-08-01 至 2011-07-31
中文摘要
该项目正在开发虚拟节点层(VNLayers)的概念,将其作为在动态网络(如移动无线网络)中实现嵌入式应用的基础。VN层是编程抽象层,由称为虚拟节点(VNS)的抽象机和客户机节点组成,客户机节点是物理计算节点的对应物,外加连接虚拟节点和客户机节点的本地通信服务。VN层对时序和故障的假设各不相同。可以使用复制状态机、基于领导者或基于仲裁的策略在物理网络上模拟VN层。虚拟节点层特别适合于实现控制和协调应用,包括移动机器人协调、智能公路管理和空中交通管理应用。在这里,VNS可以收集真实世界的信息,与其他VNS交换信息,为真实世界的实体计划活动,并传播计划。例如,一个被编程为红绿灯的VNS系统可以用于管理高速公路系统中的汽车活动。
英文摘要
This project is developing the notion of Virtual Node Layers (VNLayers) as a foundation for implementing embedded applications in dynamic networks, such as mobile wireless networks. VN Layers are programming abstraction layers consisting of abstract machines called Virtual Nodes (VNs), plus Client Nodes, which are counterparts of physical computing nodes, plus a local communication service connecting Virtual and Client Nodes. VN Layers vary in their assumptions about timing and failures. A VN Layer may be emulated over a physical network, using replicated-state-machine, leader-based, or quorum-based strategies. Such a layer can provide a simple, well-behaved platform for programming dynamic network applications, a task which is currently difficult.Virtual Node Layers appear to be especially well suited for implementing control and coordination applications, including mobile robot coordination, intelligent highway management, and air-traffic management applications. Here, VNs can collect real-world information, exchange information with other VNs, plan activities for real-world entities, and disseminate the plans. For example, a system of VNs programmed as traffic lights can be used to manage the activity of cars in a highway system.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
AF: Small: An Algorithmic Theory of Brain Behavior: Concept Representation and Learning in Spiking Neural Networks
-
批准号:2139936
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2022
-
负责人:Nancy Lynch
-
依托单位:
AF: Small: Distributed Algorithms for Dynamic, Noisy Platforms: Wireless Networks, Robot Swarms, and Insect Colonies
-
批准号:2003830
-
项目类别:Standard Grant
-
资助金额:$34.94万
-
财政年份:2020
-
负责人:Nancy Lynch
-
依托单位:
NSF-BSF: AF: Small: An Algorithmic Theory of Brain Networks
-
批准号:1810758
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2018
-
负责人:Nancy Lynch
-
依托单位:
AF: Medium: Distributed Algorithms for Resource-Constrained and Dynamic Settings
-
批准号:1461559
-
项目类别:Continuing Grant
-
资助金额:$74.14万
-
财政年份:2015
-
负责人:Nancy Lynch
-
依托单位:
AF: Small: Bounded-Contention Coding for Wireless Networks
-
批准号:1217506
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2012
-
负责人:Nancy Lynch
-
依托单位:
CCF-AF: Abstract Medium Access Control Layers
-
批准号:0937274
-
项目类别:Standard Grant
-
资助金额:$84.82万
-
财政年份:2010
-
负责人:Nancy Lynch
-
依托单位:
CPS: Medium: Collaborative Research: Geometric Distributed Algorithms for Multi-Robot Coordination and Control
-
批准号:1035199
-
项目类别:Standard Grant
-
资助金额:$34.0万
-
财政年份:2010
-
负责人:Nancy Lynch
-
依托单位:
Theoretical Foundations for Reliable Computing in Unreliable Mobile ad hoc Networks
-
批准号:0726514
-
项目类别:Standard Grant
-
资助金额:$27.5万
-
财政年份:2007
-
负责人:Nancy Lynch
-
依托单位:
Extending the Power and Applicability of the Timed Input/Output Automata Framework
-
批准号:0702670
-
项目类别:Standard Grant
-
资助金额:$46.0万
-
财政年份:2007
-
负责人:Nancy Lynch
-
依托单位:
CSR--EHS: Collaborative Research: Verification of Probabilistic Hybrid Systems: Stability and Beyond
-
批准号:0614414
-
项目类别:Continuing Grant
-
资助金额:$23.0万
-
财政年份:2006
-
负责人:Nancy Lynch
-
依托单位:
ITR/SY: Communication and Data Sharing Services for Dynamic Distributed Systems
-
批准号:0121277
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2001
-
负责人:Nancy Lynch
-
依托单位:
Building Blocks for Distributed Applications: Theory and Practice
-
批准号:9909114
-
项目类别:Standard Grant
-
资助金额:$8.0万
-
财政年份:1999
-
负责人:Nancy Lynch
-
依托单位:
The IOA Language and Toolset: Support for Designing, Analyzing, and Building Distributed Systems
-
批准号:9876931
-
项目类别:Continuing Grant
-
资助金额:$36.0万
-
财政年份:1999
-
负责人:Nancy Lynch
-
依托单位:
CISE Postdoctoral Research Associates in Experimental Computer Science: Support for Developing Highly Available Distributed Applications
-
批准号:9901592
-
项目类别:Standard Grant
-
资助金额:$6.6万
-
财政年份:1999
-
负责人:Nancy Lynch
-
依托单位:
Practical Formal Methods for the Design and Analysis of Complex Concurrent Systems
-
批准号:9804665
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:1998
-
负责人:Nancy Lynch
-
依托单位:
The Topological Approach to Asynchronous Computability
-
批准号:9520298
-
项目类别:Continuing Grant
-
资助金额:$22.81万
-
财政年份:1996
-
负责人:Nancy Lynch
-
依托单位:
A Unified Framework for Verification and Complexity Analysis of Real-Time and Distributed Systems
-
批准号:9225124
-
项目类别:Continuing Grant
-
资助金额:$32.4万
-
财政年份:1993
-
负责人:Nancy Lynch
-
依托单位:
Summer Institute in Japan for U.S. Graduate Students in Science and Engineering
-
批准号:9210596
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:1992
-
负责人:Nancy Lynch
-
依托单位:
Distributed Algorithms
-
批准号:8915206
-
项目类别:Continuing Grant
-
资助金额:$41.83万
-
财政年份:1990
-
负责人:Nancy Lynch
-
依托单位:
Modularity of Distributed Algorithms
-
批准号:8611442
-
项目类别:Continuing Grant
-
资助金额:$51.66万
-
财政年份:1986
-
负责人:Nancy Lynch
-
依托单位:
国内基金
海外基金
登录
查看更多内容
不同F1小鼠影响EHS生长的研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:
-
依托单位:
靶向调控环氧二十碳三烯酸/环氧化物水解酶(EETs/EHs轴延缓IgA肾病进展的作用与机制研究
-
批准号:CSTB2022NSCQ-LZX0027
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2022
-
负责人:刘俊彦
-
依托单位:
EHS3D-MT数据的RRMC统一处理与反演解释
-
批准号:41874087
-
项目类别:面上项目
-
资助金额:63.0万元
-
批准年份:2018
-
负责人:白登海
-
依托单位:
东喜马拉雅构造结及周围地区深部三维结构与动力学(EHS3D)-第二阶段
-
批准号:41330212
-
项目类别:重点项目
-
资助金额:315.0万元
-
批准年份:2013
-
负责人:白登海
-
依托单位:
EHS3D-MT数据的静位移校正与畸变分析
-
批准号:40974043
-
项目类别:面上项目
-
资助金额:56.0万元
-
批准年份:2009
-
负责人:白登海
-
依托单位:
东喜马拉雅构造结及周围地区深部三维结构与动力学(EHS3D)-第一阶段
-
批准号:40634025
-
项目类别:重点项目
-
资助金额:160.0万元
-
批准年份:2006
-
负责人:白登海
-
依托单位: