A Study of Architectural Models for Cyber-Physical Systems
信息物理系统架构模型研究
基本信息
- 批准号:0824404
- 负责人:
- 金额:$ 20万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2008
- 资助国家:美国
- 起止时间:2008-06-01 至 2009-10-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
The focus of this project is on cyber-physical systems (CPS) -- physical and engineered systems whose operations are integrated, monitored, and controlled by a computational core. Applications of CPS include, for example, critical (physical) infrastructure control (electric power, water resources, gas and fuel distribution, transportation, etc.), highly dependable medical devices and systems, traffic control and safety, advanced automotive systems, process control, and manufacturing, energy conservation and environmental control, avionics, distributed robotics (tele-presence, tele-medicine), and manufacturing.Traditional frameworks for designing and configuring computing and networking systems do not capture the complexity of CPS systems -- principally because many of the abstractions developed for computing and networking deliberately abstract away essential properties of the physical world. Existing real-time operating systems (mix of operating systems, middleware, and general-purpose virtual machines) are not sufficient to support the complexity challenges of emerging classes of cyber-physical systems because of the mismatch between traditional computation abstractions and properties of physical processes. Some current technical approaches partially bridge the abstraction gap (such as real-time operating systems, middleware technologies, specialized embedded processor architectures, and specialized networks). However, current research and development of cyber-physical systems calls for non-incremental, revolutionary approaches, where new abstractions are built from the ground up. These abstractions must enable reasoning at every level for high-confidence system composition and addresses issues such as time-criticality, safety, and security.In response to the need for a CPS framework, this SGER project will investigate architectural models with the goal of helping the research community to develop a cyber-physical system vision that integrates both computer science (real-time systems; embedded systems; software and system verification, validation, and certification; computing technologies; wireless and wired networking; sensor nets) and the traditional physical sciences and engineering disciplines (control, physical sensors and actuators, physical system design and engineering, materials, even biology and nanotechnology). Such models are likely to provide a platform for future cyber-physical systems design that brings these interacting elements into a single focus.This project will also sponsor several meetings (workshops, symposia, summit, etc) that aim at providing a forum for engineers and scientists in academia, industry and government to present their latest research findings in any aspects of cyber-physical systems, and, consequently, allow the community to define and enhance the research agenda for this important emerging field. The primary intellectual merit of the proposal resides in analyzing existing cyber-physical systems and developing abstracted architecture models that will enable future cyber-physical systems design and realization. The broader impact of the proposed work is on the research community at-large, through the project focus on issues related to cyber-physical systems. The advancement achieved through this Cyber-physical system research is expected to improve the research and development capabilities in the nation and contribute to increased global competitiveness.
该项目的重点是网络物理系统(CP)--其操作由计算核心集成、监控和控制的物理和工程系统。CPS的应用包括,例如,关键(物理)基础设施控制(电力、水资源、天然气和燃料分配、运输等)、高度可靠的医疗设备和系统、交通控制和安全、先进的汽车系统、过程控制和制造、节能和环境控制、航空电子、分布式机器人(远程呈现、远程医疗)和制造。用于设计和配置计算和网络系统的传统框架没有抓住CPS系统的复杂性--主要是因为许多为计算和网络开发的抽象故意抽象出物理世界的基本属性。由于传统的计算抽象和物理过程的属性之间的不匹配,现有的实时操作系统(操作系统、中间件和通用虚拟机的混合)不足以支持新兴类别的网络物理系统的复杂性挑战。当前的一些技术方法部分地弥补了抽象的鸿沟(例如实时操作系统、中间件技术、专用嵌入式处理器体系结构和专用网络)。然而,目前对网络物理系统的研究和开发需要非增量的革命性方法,在这种方法中,新的抽象是从头开始建立的。这些抽象必须能够在每个级别上对高置信度系统组成进行推理,并解决诸如时间关键程度、安全性和安全性等问题。为了响应对CPS框架的需求,SGER项目将调查体系结构模型,目的是帮助研究社区开发一种计算机科学(实时系统;嵌入式系统;软件和系统验证、验证和认证;计算技术;无线和有线网络;传感器网络)和传统物理科学和工程学科(控制、物理传感器和执行器、物理系统设计和工程、材料,甚至生物和纳米技术)相结合的网络物理系统愿景。这些模型很可能为未来的网络物理系统设计提供一个平台,将这些相互作用的元素集中在一起。该项目还将赞助几个会议(研讨会、研讨会、峰会等),旨在为学术界、工业界和政府的工程师和科学家提供一个论坛,介绍他们在网络物理系统任何方面的最新研究成果,并因此允许社区定义和加强这一重要新兴领域的研究议程。该提案的主要智力价值在于分析现有的网络物理系统,并开发抽象的体系结构模型,使未来的网络物理系统设计和实现成为可能。拟议工作的更广泛影响是通过将重点放在与网络物理系统有关的问题上,对整个研究界产生影响。通过这项网络物理系统研究取得的进展预计将提高该国的研发能力,并有助于提高全球竞争力。
项目成果
期刊论文数量(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 }}
Wei Zhao其他文献
General flux model in the turbulence driven by multiscale forces
- DOI:
10.1103/physrevfluids.7.084607 - 发表时间:
2022-02 - 期刊:
- 影响因子:2.7
- 作者:
Wei Zhao - 通讯作者:
Wei Zhao
The Fractional Kalman Filter-Based Asynchronous Multirate Sensor Information Fusion
基于分数卡尔曼滤波器的异步多速率传感器信息融合
- DOI:
- 发表时间:
2018 - 期刊:
- 影响因子:2.3
- 作者:
Guangyue Xue;Yubin Xu;Jing Guo;Wei Zhao - 通讯作者:
Wei Zhao
Validation of Landsat land surface temperature product in the conterminous United States using in situ measurements from SURFRAD, ARM, and NDBC sites
使用 SURFRAD、ARM 和 NDBC 站点的现场测量验证美国本土的 Landsat 陆地表面温度产品
- DOI:
10.1080/17538947.2020.1862319 - 发表时间:
2020-12 - 期刊:
- 影响因子:5.1
- 作者:
Si-Bo Duan;Zhao-Liang Li;Wei Zhao;Penghai Wu;Cheng Huang;Xiao-Jing Han;Maofang Gao;Pei Leng;Guofei Shang - 通讯作者:
Guofei Shang
Structures of Pb-BHA Complexes Adsorbed on Scheelite Surface
白钨矿表面吸附的Pb-BHA配合物的结构
- DOI:
10.3389/fchem.2019.00645 - 发表时间:
2019-09 - 期刊:
- 影响因子:5.5
- 作者:
Wei Zhao;Sun Wenjuan;Hu Yuehua;Han Haisheng;Sun Wei;Wang Ruolin;Zhu Yangge;Li Bicheng;Song Zhenguo - 通讯作者:
Song Zhenguo
Preparation and characterization of a VEGF-Fc fusion protein matrix for enhancing HUVEC growth
用于增强 HUVEC 生长的 VEGF-Fc 融合蛋白基质的制备和表征
- DOI:
10.1007/s10529-012-0959-7 - 发表时间:
2012-06 - 期刊:
- 影响因子:2.7
- 作者:
Meihua Yu;Fengyi Du;Hirohiko Ise;Wei Zhao;Yan Zhang;Yaoting Yu;FanglianYao;Jun Yang;Toshihiro Akaike - 通讯作者:
Toshihiro Akaike
Wei Zhao的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Wei Zhao', 18)}}的其他基金
A Study of Architectural Models for Cyber-Physical Systems
信息物理系统架构模型研究
- 批准号:
0963979 - 财政年份:2009
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
Insightful Understanding of China's Science Education and Research
对中国科学教育与研究的深刻认识
- 批准号:
0963985 - 财政年份:2009
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
ITR/NGS: Collaborative Research: DDDAS: Data Dynamic Simulation for Disaster Management
ITR/NGS:合作研究:DDDAS:灾害管理数据动态模拟
- 批准号:
0963973 - 财政年份:2009
- 资助金额:
$ 20万 - 项目类别:
Continuing Grant
Insightful Understanding of China's Science Education and Research
对中国科学教育与研究的深刻认识
- 批准号:
0829548 - 财政年份:2008
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
ITR/NGS: Collaborative Research: DDDAS: Data Dynamic Simulation for Disaster Management
ITR/NGS:合作研究:DDDAS:灾害管理数据动态模拟
- 批准号:
0808419 - 财政年份:2007
- 资助金额:
$ 20万 - 项目类别:
Continuing Grant
A Symposium on Cyber-Enabled Discoveries and Innovations
网络驱动的发现和创新研讨会
- 批准号:
0734828 - 财政年份:2007
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
Collaborative Research: WN: Proper Location Identification in Wireless Networks
合作研究:WN:无线网络中的正确位置识别
- 批准号:
0721569 - 财政年份:2007
- 资助金额:
$ 20万 - 项目类别:
Continuing Grant
Collaborative Research: Visualization: Overlay Network Support for Remote Visualization of Time-Varying Data
协作研究:可视化:覆盖网络支持时变数据的远程可视化
- 批准号:
0808417 - 财政年份:2007
- 资助金额:
$ 20万 - 项目类别:
Continuing Grant
Collaborative Research: Visualization: Overlay Network Support for Remote Visualization of Time-Varying Data
协作研究:可视化:覆盖网络支持时变数据的远程可视化
- 批准号:
0329181 - 财政年份:2003
- 资助金额:
$ 20万 - 项目类别:
Continuing Grant
ITR/NGS: Collaborative Research: DDDAS: Data Dynamic Simulation for Disaster Management
ITR/NGS:合作研究:DDDAS:灾害管理数据动态模拟
- 批准号:
0324988 - 财政年份:2003
- 资助金额:
$ 20万 - 项目类别:
Continuing Grant
相似海外基金
Shaping Spaces - Architectural Models in Context.
塑造空间 - 背景中的建筑模型。
- 批准号:
AH/T006374/1 - 财政年份:2021
- 资助金额:
$ 20万 - 项目类别:
Research Grant
Basic research on the preservation and utilization of architectural models of cultural properties
文物建筑模型保存与利用基础研究
- 批准号:
18K04546 - 财政年份:2018
- 资助金额:
$ 20万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Architectural Models in context: creativity, skill and spectacle
背景下的建筑模型:创造力、技巧和奇观
- 批准号:
AH/P01481X/1 - 财政年份:2017
- 资助金额:
$ 20万 - 项目类别:
Research Grant
Architectural Models and the Professional Practice of the Architect, 1843-1916
建筑模型和建筑师的专业实践,1843-1916
- 批准号:
1652992 - 财政年份:2015
- 资助金额:
$ 20万 - 项目类别:
Studentship
SHF: Small: Tactic-Centric Traceability Models for Preserving Architectural Quality
SHF:小型:以策略为中心的可追溯性模型,用于保持建筑质量
- 批准号:
1218303 - 财政年份:2012
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
Computer Architectural Design and Exploration with Support From New Programming Models, Design Tools and Languages
新编程模型、设计工具和语言支持下的计算机体系结构设计和探索
- 批准号:
420462-2012 - 财政年份:2012
- 资助金额:
$ 20万 - 项目类别:
Postgraduate Scholarships - Doctoral
A Study of Architectural Models for Cyber-Physical Systems
信息物理系统架构模型研究
- 批准号:
0963979 - 财政年份:2009
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
Spatial Knowledge and the Built Environment: The Design Implications of Making, Processing and Digitally Prototyping Architectural Models
空间知识和建筑环境:制作、处理和数字原型建筑模型的设计意义
- 批准号:
DP0560098 - 财政年份:2005
- 资助金额:
$ 20万 - 项目类别:
Discovery Projects
Architectural models and formal techniques for design of high quality telecom software
用于设计高质量电信软件的架构模型和形式化技术
- 批准号:
8976-1997 - 财政年份:2000
- 资助金额:
$ 20万 - 项目类别:
Discovery Grants Program - Individual
Architectural models and formal techniques for design of high quality telecom software
用于设计高质量电信软件的架构模型和形式化技术
- 批准号:
8976-1997 - 财政年份:1999
- 资助金额:
$ 20万 - 项目类别:
Discovery Grants Program - Individual