Collaborative Research: Reasoning About Open Systems
协作研究:关于开放系统的推理
基本信息
- 批准号:9312433
- 负责人:
- 金额:$ 7万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:1995
- 资助国家:美国
- 起止时间:1995-06-01 至 1998-05-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Distributed programs are complex and hard to reason about. An important source of difficulty in actual installed distribution systems is their open-ended nature; unlike modules described in traditional programming languages, over time distributed components may be added or removed, and they may change their connectivity. The goal of this project is to study how large systems can be divided into extensible modular components about which one can reason separately. Such a separation can facilitate the development and incremental modification of code. The research is based on a model of Actors: The model supports data encapsulation, procedural abstraction, asynchronous communication, reconfigurability, and dynamic creation. A formal algebra of actor configurations is being developed and methods for composing properties of open actor systems is studied. The research seeks a foundation for the formal verification of safety-critical distributed software systems.
分布式程序很复杂,很难推理。 在实际安装的分布式系统中,一个重要的困难来源是它们的开放性;与传统编程语言描述的模块不同,随着时间的推移,分布式组件可能会被添加或删除,并且它们可能会改变它们的连接性。 这个项目的目标是研究如何将大型系统划分为可扩展的模块化组件,并分别进行推理。 这种分离可以促进代码的开发和增量修改。 该模型支持数据封装、过程抽象、异步通信、可重构性和动态创建。 一个正式的代数的演员配置正在开发和方法组成的开放演员系统的性能进行了研究。 该研究为安全关键分布式软件系统的形式化验证奠定了基础。
项目成果
期刊论文数量(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 }}
Scott Smith其他文献
On the correlation functions associated with polynomials of the diffusion operator
关于与扩散算子多项式相关的相关函数
- DOI:
10.1002/qj.893 - 发表时间:
2011 - 期刊:
- 影响因子:8.9
- 作者:
Max Yaremchuk;Scott Smith - 通讯作者:
Scott Smith
EFFECTS OF ALTERNATING CURRENT ELECTRICAL STIMULATION ON THE CELLULAR CHEMISTRY AND PROLIFERATION OF C2C12 MUSCLE CELLS
交流电刺激对 C2C12 肌细胞的细胞化学和增殖的影响
- DOI:
- 发表时间:
2016 - 期刊:
- 影响因子:0
- 作者:
K. M. Koh;D. Nawarathna;D. Ewert;T. Gustad;Scott Smith;K. Hou - 通讯作者:
K. Hou
Southern Great Plains (SGP) Aerosol Observing System (AOS) Instrument Handbook
南部大平原 (SGP) 气溶胶观测系统 (AOS) 仪器手册
- DOI:
- 发表时间:
2021 - 期刊:
- 影响因子:0
- 作者:
J. Uin;B. Pnnl;Scott Smith - 通讯作者:
Scott Smith
Process planning for hybrid manufacturing using additive friction stir deposition
使用添加剂搅拌摩擦沉积的混合制造工艺规划
- DOI:
- 发表时间:
2023 - 期刊:
- 影响因子:3.9
- 作者:
Joshua Kincaid;Elijah Charles;Ryan Garcia;J. Dvorak;Timothy No;Scott Smith;Tony Schmitz - 通讯作者:
Tony Schmitz
ST Wavefront Sensing and Control
ST 波前传感和控制
- DOI:
- 发表时间:
2007 - 期刊:
- 影响因子:0
- 作者:
L. Feinberg;B. Dean;D. Aronstein;C. Bowers;Bill Hayden;R. Lyon;R. Shiri;Scott Smith;Scott Acton;Larkin Carey;A. Contos;E. Sabatke;J. Schwenker;D. Shields;Timothy W. Towel - 通讯作者:
Timothy W. Towel
Scott Smith的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Scott Smith', 18)}}的其他基金
GARDE: Design Projects to Enable Veteran Reintegration in an Educational System
GARDE:设计项目以帮助退伍军人重新融入教育系统
- 批准号:
1401507 - 财政年份:2014
- 资助金额:
$ 7万 - 项目类别:
Standard Grant
EAGER: Reconceiving Scripting Language Design
EAGER:重新构思脚本语言设计
- 批准号:
1347405 - 财政年份:2013
- 资助金额:
$ 7万 - 项目类别:
Standard Grant
REU Site: Summer Research Experiences in Wireless Sensor Networks - Design and Applications
REU 网站:无线传感器网络夏季研究经验 - 设计和应用
- 批准号:
1005106 - 财政年份:2010
- 资助金额:
$ 7万 - 项目类别:
Continuing Grant
Collaborative Research: Integrating Asynchronous Digital Design into the Undergraduate Computer Engineering Curriculum throughout the Nation
合作研究:将异步数字设计纳入全国本科计算机工程课程
- 批准号:
0717572 - 财政年份:2007
- 资助金额:
$ 7万 - 项目类别:
Standard Grant
Integrating Asynchronous Digital Design and Testing into the Undergraduate Computer Engineering Curriculum
将异步数字设计和测试融入本科计算机工程课程
- 批准号:
0536343 - 财政年份:2006
- 资助金额:
$ 7万 - 项目类别:
Standard Grant
Gearing for Success: Scholar-Leaders in Mathematics and Computing
为成功做好准备:数学和计算领域的学者领袖
- 批准号:
0324131 - 财政年份:2003
- 资助金额:
$ 7万 - 项目类别:
Standard Grant
MRI: Acquisition of Immersive WorkWall System for Campus-wide Visualization Research
MRI:购买沉浸式工作墙系统用于校园范围内的可视化研究
- 批准号:
0079557 - 财政年份:2000
- 资助金额:
$ 7万 - 项目类别:
Standard Grant
Semantic Tools for Realistic Programming Languages
现实编程语言的语义工具
- 批准号:
9301340 - 财政年份:1994
- 资助金额:
$ 7万 - 项目类别:
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: Behavioral Science and the Making of the Right-Reasoning Public Health Citizenry
合作研究:行为科学与正确推理的公共卫生公民的培养
- 批准号:
2341512 - 财政年份:2024
- 资助金额:
$ 7万 - 项目类别:
Continuing Grant
Collaborative Research: Behavioral Science and the Making of the Right-Reasoning Public Health Citizenry
合作研究:行为科学与正确推理的公共卫生公民的培养
- 批准号:
2341513 - 财政年份:2024
- 资助金额:
$ 7万 - 项目类别:
Continuing Grant
Collaborative Research: SBP: Increasing Social Equality in STEM through Children's Structural Reasoning
合作研究:SBP:通过儿童的结构推理提高 STEM 中的社会平等
- 批准号:
2317713 - 财政年份:2023
- 资助金额:
$ 7万 - 项目类别:
Continuing Grant
Collaborative Research: Advancing Mentor Teachers' Practices through Collaborative Pedagogical Reasoning
协作研究:通过协作教学推理推进导师实践
- 批准号:
2300666 - 财政年份:2023
- 资助金额:
$ 7万 - 项目类别:
Continuing Grant
Collaborative Research: Machine Learning for Student Reasoning during Challenging Concept Questions
协作研究:机器学习在挑战性概念问题中帮助学生推理
- 批准号:
2226553 - 财政年份:2023
- 资助金额:
$ 7万 - 项目类别:
Standard Grant
Collaborative Research: Machine Learning for Student Reasoning during Challenging Concept Questions
协作研究:机器学习在挑战性概念问题中帮助学生推理
- 批准号:
2226601 - 财政年份:2023
- 资助金额:
$ 7万 - 项目类别:
Standard Grant
Collaborative Research: SaTC: CORE: Small: Mechanized Cryptographic Reasoning in Separation Logic
协作研究:SaTC:核心:小型:分离逻辑中的机械化密码推理
- 批准号:
2314324 - 财政年份:2023
- 资助金额:
$ 7万 - 项目类别:
Continuing Grant
Collaborative Research: SaTC: CORE: Small: Mechanized Cryptographic Reasoning in Separation Logic
协作研究:SaTC:核心:小型:分离逻辑中的机械化密码推理
- 批准号:
2314323 - 财政年份:2023
- 资助金额:
$ 7万 - 项目类别:
Continuing Grant
Collaborative Research: Advancing Mentor Teachers' Practices through Collaborative Pedagogical Reasoning
协作研究:通过协作教学推理推进导师实践
- 批准号:
2300665 - 财政年份:2023
- 资助金额:
$ 7万 - 项目类别:
Continuing Grant
Collaborative Research: SBP: Increasing Social Equality in STEM through Children's Structural Reasoning
合作研究:SBP:通过儿童的结构推理提高 STEM 中的社会平等
- 批准号:
2317714 - 财政年份:2023
- 资助金额:
$ 7万 - 项目类别:
Standard Grant