Science of Sensor System Software
传感器系统软件科学
基本信息
- 批准号:EP/N007565/1
- 负责人:
- 金额:$ 533.09万
- 依托单位:
- 依托单位国家:英国
- 项目类别:Research Grant
- 财政年份:2016
- 资助国家:英国
- 起止时间:2016 至 无数据
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Sensors are everywhere, facilitating real-time decision making and actuation, and informing policy choices. But extracting information from sensor data is far from straightforward: sensors are noisy, prone to decalibrate, and may be misplaced, moved, compromised, and generally degraded over time. We understand very little about the issues of programming in the face of pervasive uncertainty, yet sensor-driven systems essentially present the designer with uncertainty that cannot be engineered away. Moreover uncertainty is a multi-level phenomenon in which errors in deployment can propagate through to incorrectly-positioned readings and then to poor decisions; system layering breaks down when exposed touncertainty. How can we be assured a sensor system does what we intend, in a range of dynamic environments, and how can we make a system ``smarter'' ? Currently we cannot answer these questions because we are missing a science of sensor system software. We will develop the missing science that will allow us to engineer for the uncertainty inherent in real-world systems. We will deliver new principles and techniques for the development and deployment of verifiable, reliable, autonomous sensor systems that operate in uncertain, multiple and multi-scale environments. The science will be driven and validated by end-user and experimental applications.
传感器无处不在,促进实时决策和驱动,并为政策选择提供信息。但是从传感器数据中提取信息远非简单:传感器有噪声,容易失准,并且可能被放错位置,移动,受损,并且随着时间的推移通常会退化。面对普遍存在的不确定性,我们对编程问题知之甚少,然而传感器驱动的系统本质上给设计师带来了无法通过工程消除的不确定性。此外,不确定性是一个多层次的现象,部署中的错误可以传播到位置不正确的读数,然后传播到糟糕的决策;当暴露在不确定性中时,系统分层就会崩溃。我们如何确保传感器系统在一系列动态环境中实现我们的意图,以及我们如何使系统“更智能”?目前我们无法回答这些问题,因为我们缺少传感器系统软件的科学。我们将开发缺失的科学,使我们能够为现实世界系统中固有的不确定性进行工程设计。我们将提供新的原则和技术,用于开发和部署可验证的,可靠的,自主的传感器系统,这些系统在不确定的,多尺度的环境中运行。科学将由最终用户和实验应用驱动和验证。
项目成果
期刊论文数量(10)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Interpreting Models of Social Group Interactions in Meetings with Probabilistic Model Checking
用概率模型检查解释会议中社会群体互动的模型
- DOI:10.1145/3279981.3279988
- 发表时间:2018
- 期刊:
- 影响因子:0
- 作者:Andrei O
- 通讯作者:Andrei O
Quantitative modelling and analysis of BDI agents
- DOI:10.1007/s10270-023-01121-5
- 发表时间:2023-08-28
- 期刊:
- 影响因子:2
- 作者:Archibald,Blair;Calder,Muffy;Xu,Mengwei
- 通讯作者:Xu,Mengwei
Modelling and verifying BDI agents with bigraphs
使用双图对 BDI 代理进行建模和验证
- DOI:10.1016/j.scico.2021.102760
- 发表时间:2022
- 期刊:
- 影响因子:1.3
- 作者:Archibald B
- 通讯作者:Archibald B
A tale of two graph models: a case study in wireless sensor networks
两种图模型的故事:无线传感器网络的案例研究
- DOI:10.1007/s00165-021-00558-z
- 发表时间:2021
- 期刊:
- 影响因子:1
- 作者:Archibald B
- 通讯作者:Archibald B
Data-driven modelling and probabilistic analysis of interactive software usage
- DOI:10.1016/j.jlamp.2018.07.003
- 发表时间:2018-11
- 期刊:
- 影响因子:0
- 作者:Oana Andrei;Muffy Calder
- 通讯作者:Oana Andrei;Muffy Calder
{{
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 }}
Muffy Calder其他文献
Practical Modelling with Bigraphs
使用 Bigraph 进行实用建模
- DOI:
- 发表时间:
2024 - 期刊:
- 影响因子:0
- 作者:
B. Archibald;Muffy Calder;Michele Sevegnani - 通讯作者:
Michele Sevegnani
Electronic Communications of the EASST Volume 22 ( 2009 ) Proceedings of the Third International Workshop on Formal Methods for Interactive Systems ( FMIS 2009 ) Tightly coupled verification of pervasive systems
EASST 电子通信第 22 卷 (2009) 第三届交互式系统形式方法国际研讨会 (FMIS 2009) 普适系统的紧耦合验证
- DOI:
- 发表时间:
2009 - 期刊:
- 影响因子:0
- 作者:
Muffy Calder;P. Gray;Chris Unsworth - 通讯作者:
Chris Unsworth
Verifying BDI Agents in Dynamic Environments
在动态环境中验证 BDI 代理
- DOI:
- 发表时间:
2022 - 期刊:
- 影响因子:0
- 作者:
B. Archibald;Muffy Calder;Michele Sevegnani;Mengwei Xu - 通讯作者:
Mengwei Xu
Process Algebra with Hooks for Models of Pattern Formation
带有模式形成模型钩子的过程代数
- DOI:
10.1016/j.entcs.2010.12.004 - 发表时间:
2010 - 期刊:
- 影响因子:0
- 作者:
A. Degasperi;Muffy Calder - 通讯作者:
Muffy Calder
Analysis of signalling pathways using the prism model checker
使用棱镜模型检查器分析信号通路
- DOI:
- 发表时间:
2005 - 期刊:
- 影响因子:0
- 作者:
Muffy Calder;V. Vyshemirsky;David R. Gilbert;R. Orton - 通讯作者:
R. Orton
Muffy Calder的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Muffy Calder', 18)}}的其他基金
EPSRC Capital Award for Core Equipment 2020/21
EPSRC核心设备资本奖2020/21
- 批准号:
EP/V034294/1 - 财政年份:2020
- 资助金额:
$ 533.09万 - 项目类别:
Research Grant
EPSRC Capital Award emphasising support for Early Career Researchers
EPSRC 资本奖强调对早期职业研究人员的支持
- 批准号:
EP/S017984/1 - 财政年份:2018
- 资助金额:
$ 533.09万 - 项目类别:
Research Grant
Bid for new Electron-Beam Lithography Tool
新型电子束光刻工具招标
- 批准号:
EP/P030459/1 - 财政年份:2017
- 资助金额:
$ 533.09万 - 项目类别:
Research Grant
University of Glasgow - Equipment Account
格拉斯哥大学 - 设备帐户
- 批准号:
EP/J014478/1 - 财政年份:2011
- 资助金额:
$ 533.09万 - 项目类别:
Research Grant
Verifying Interoperability Requirements in Pervasive Systems
验证普及系统中的互操作性要求
- 批准号:
EP/F033206/1 - 财政年份:2008
- 资助金额:
$ 533.09万 - 项目类别:
Research Grant
Supporting crossover between quantitative modelling communities
支持定量建模社区之间的交叉
- 批准号:
EP/F013817/1 - 财政年份:2007
- 资助金额:
$ 533.09万 - 项目类别:
Research Grant
SIGNAL: Stochastic process algebra for biochemical signalling pathway analysis
信号:用于生化信号通路分析的随机过程代数
- 批准号:
EP/E028519/1 - 财政年份:2007
- 资助金额:
$ 533.09万 - 项目类别:
Research Grant
相似国自然基金
人类NADPH sensor蛋白HSCARG调控机制研究
- 批准号:30930020
- 批准年份:2009
- 资助金额:170.0 万元
- 项目类别:重点项目
基于sensor agent的营养液组分动态测量与建模研究
- 批准号:60775014
- 批准年份:2007
- 资助金额:28.0 万元
- 项目类别:面上项目
相似海外基金
NSF Convergence Accelerator Track L: An Integrated and Miniaturized Opioid Sensor System: Advancing Evidence-Based Strategies for Addressing the Opioid Crisis
NSF 融合加速器轨道 L:集成和小型化阿片类药物传感器系统:推进解决阿片类药物危机的循证策略
- 批准号:
2344344 - 财政年份:2024
- 资助金额:
$ 533.09万 - 项目类别:
Standard Grant
Intelligent Radiation Sensor Readout System
智能辐射传感器读出系统
- 批准号:
10092132 - 财政年份:2024
- 资助金额:
$ 533.09万 - 项目类别:
EU-Funded
Multimodal cancer therapy and diagnostic system using 256-channel diamond quantum sensor array
使用256通道金刚石量子传感器阵列的多模式癌症治疗和诊断系统
- 批准号:
23H03721 - 财政年份:2023
- 资助金额:
$ 533.09万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
An integrated intervention using a pill ingestible sensor system to trigger actions on multifaceted social and behavioral determinants of health among PLWH
使用药丸摄入传感器系统进行综合干预,以针对艾滋病毒感染者健康的多方面社会和行为决定因素采取行动
- 批准号:
10820048 - 财政年份:2023
- 资助金额:
$ 533.09万 - 项目类别:
RAPID: Evaluation of an Artificial Intelligence-enhanced Edge Sensor System for Multi-Hazard Monitoring and Detection
RAPID:评估用于多危险监测和检测的人工智能增强型边缘传感器系统
- 批准号:
2346568 - 财政年份:2023
- 资助金额:
$ 533.09万 - 项目类别:
Standard Grant
Development of an Image Sensor System Capable of Simultaneous Visualization of Shear Stress and Extracellular Chemicals for Mechanobiology
开发能够同时可视化剪切应力和细胞外化学物质的图像传感器系统,用于机械生物学
- 批准号:
23H00182 - 财政年份:2023
- 资助金额:
$ 533.09万 - 项目类别:
Grant-in-Aid for Scientific Research (A)
Creation of an integrated chemical sensor system that combines molecular filtering, concentration, and sensing functions
创建集分子过滤、浓缩和传感功能于一体的集成化学传感器系统
- 批准号:
22KF0075 - 财政年份:2023
- 资助金额:
$ 533.09万 - 项目类别:
Grant-in-Aid for JSPS Fellows
Heart conduction system sensor based on van der Waals heterostructures
基于范德华异质结构的心脏传导系统传感器
- 批准号:
BB/X003736/1 - 财政年份:2023
- 资助金额:
$ 533.09万 - 项目类别:
Research Grant
Distributed Acoustic Sensor System for Modelling Active Travel
用于建模主动行程的分布式声学传感器系统
- 批准号:
EP/X01262X/1 - 财政年份:2023
- 资助金额:
$ 533.09万 - 项目类别:
Research Grant
Otis Brux-Sensor Night Guard - a novel wireless custom night guard system with pressure sensors to quantitatively measure bite compression forces and alleviate sleep bruxism
Otis Brux-Sensor Night Guard - 一种新型无线定制夜间防护系统,带有压力传感器,可定量测量咬合压力并缓解睡眠磨牙症
- 批准号:
10684494 - 财政年份:2023
- 资助金额:
$ 533.09万 - 项目类别: