首页> 美国政府科技报告 >Applications of the Theory of Distributed and Real-Time Systems to theDevelopment of Large-Scale Timing Based Systems

【24h】

Applications of the Theory of Distributed and Real-Time Systems to theDevelopment of Large-Scale Timing Based Systems

机译：分布式实时系统理论在大规模定时系统开发中的应用

获取原文

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

This RD status report covers (1) modeling and verification tools, (2) algorithmsand impossibility results, and (3) applications.

著录项

作者
Lynch, N.;
展开▼
作者单位

展开▼
年度 1997
页码
总页数 13
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Distributed data processing; Automata; Algorithms; Computer communications; Realtime; Input output processing; Concurrent engineering; Computer program verification; Fault tolerance;

机译：分布式数据处理;自动机;算法;计算机通信;实时;输入输出处理;并行工程;计算机程序验证;容错;

相似文献

外文文献
中文文献
专利

1. An agent-based distributed real-time optimal control strategy for building HVAC systems for applications in the context of future IoT-based smart sensor networks [J] . Su Bing, Wang Shengwei Applied Energy . 2020,第Sepa15期

机译：基于代理的分布式实时最优控制策略，用于在未来的IOT的智能传感器网络上下文中构建HVAC系统
2. Optimal design of distributed energy resource systems under large-scale uncertainties in energy demands based on decision-making theory [J] . Yun Yang, Da Li, Shi-Jie Zhang, Thermal science . 2019,第2aPartaB期

机译：基于决策理论的能源需求大规模不确定性下的分布式能源资源系统的优化设计
3. INVESTIGATION AND APPLICATIONS OF PANSYSTEMS RECOGNITION THEORY AND PANSYSTEMS-OPERATIONS RESEARCH OF LARGE-SCALE SYSTEMS(Ⅱ) [J] . 吴学谋, 郭定和应用数学和力学：英文版 . 1991,第001期

机译：大规模系统策布识别理论与策园系统 - 运作研究的调查与应用（Ⅱ）
4. Two-armed robot systems-a review of current theory and thedevelopment of algorithms for real-time collision avoidance [C] . Beaumont R.G., Crowder R.M. Networks, 1993. International Conference on Information Engineering '93. 'Communications and Networks for the Year 2000' . 1993

机译：双臂机器人系统-现行理论综述和实时避免碰撞算法的发展
5. Integrated timing analysis and verification of component-based distributed real-time systems. [D] . Kumar, Pranav Srinivas. 2016

机译：基于组件的分布式实时系统的集成时序分析和验证。
6. Real-time interactive simulations of large-scale systems on personal computers and cell phones: Toward patient-specific heart modeling and other applications [O] . Abouzar Kaboudian, Elizabeth M. Cherry, Flavio H. Fenton 2019

机译：个人计算机和手机上大型系统的实时交互式仿真：针对特定患者的心脏建模和其他应用
7. Translating End-to-End Timing Requirements to Timing Analysis Model in Component-Based Distributed Real-Time Systems [O] . Mubeen, Saad, Mäki-Turja, Jukka, Sjödin, Mikael 2012

机译：在基于组件的分布式实时系统中将端到端时序需求转换为时序分析模型
8. Applications of the Theory of Distributed and Real Time Systems to theDevelopment of Large-Scale Timing Based Systems [R] . Lynch, N. 1998

机译：分布式实时系统理论在大规模定时系统开发中的应用

Applications of the Theory of Distributed and Real-Time Systems to theDevelopment of Large-Scale Timing Based Systems

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅