Achieving Quality and Coherent Configuration and Operations

实现质量和一致的配置和操作

• 批准号: 0423607
• 负责人: Peter Luh
• 金额: --
• 依托单位: University of Connecticut
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2004
• 资助国家: 美国
• 起止时间: 2004-09-01 至 2009-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0423607&HistoricalAwards=false
• 关键词: Achieving; Quality; Coherent; Configuration; Operations

This grant provides funding for the configuration and operation of complex systems using intelligent and secure buildings (e.g., offices, factories, malls, hospitals, schools, and apartments) as the background. The problem is important but difficult, and has profound societal impact such as in saving lives, preserving property, generating economic value, and reducing costs. With building traffic (elevators and stairs) as the problem context, our goal is to establish methodologies that are coherent across models, solutions, and phases for various combinations along the mode (normal and emergency) and resolution (coarse and detailed) axes while considering the interactions of building traffic with HVAC. The key idea is to synergistically integrate computer science and optimization. First, formal semantics that is sufficiently expressive and amenable to formal treatment will be developed to analyze and validate composite optimization models for buildings. Distributed models will then be created with coherency guarantees among models, solutions, and phases. To solve the problem, a decomposition and coordination approach will be established. It will synergistically integrate a novel price-based coordination scheme based on surrogate optimization with constraint programming techniques to fuse selected solver fragments. Formal semantics will then be used to combine models, methods, and phases for a seamless and coherent approach across resolutions and modes. The results will be validated on a virtual test bed. If successful, the results of this research will provide a systematic framework and a valuable set of methods for building designers, operators, and first responders for the coherent and optimized configuration and operation of buildings. They will also be used to support the investigation of next generation policies, standards, and procedures. The results can also be extended for the configuration and operation of other complex systems such as security monitoring, vehicles, and aircraft. From a different perspective, the research will open up a new direction for the synergistic integration of computer science and optimization to address the fundamental issues of multi-resolution and multi-mode modeling and optimization. The overall goal is to establish a framework toward coherent configuration and operation of complex systems while attracting and educating students in general, and to achieve economically sustainable intelligent and secure buildings in particular.

该赠款为使用智能和安全建筑的复杂系统的配置和操作提供资金（例如，办公室、工厂、商场、医院、学校和公寓）作为背景。 这个问题很重要，但也很困难，并具有深远的社会影响，例如拯救生命，保护财产，创造经济价值和降低成本。 以建筑交通（电梯和楼梯）为问题背景，我们的目标是建立跨模型，解决方案和阶段的方法，用于沿着模式（正常和紧急）和分辨率（粗略和详细）轴的各种组合，同时考虑建筑交通与HVAC的相互作用。 关键思想是协同整合计算机科学和优化。 首先，将开发具有足够表达性且易于形式化处理的形式化语义，以分析和验证建筑物的复合优化模型。 分布式模型将在模型、解决方案和阶段之间创建一致性保证。 为解决问题，将建立分解协调办法。 它将协同集成一个新的基于价格的协调计划的基础上，代理优化与约束编程技术融合选定的求解器片段。 然后将使用形式语义来组合联合收割机模型、方法和阶段，以实现跨分辨率和模式的无缝和一致的方法。 结果将在虚拟测试台上进行验证。 如果成功，这项研究的结果将为建筑设计师，运营商和第一响应者提供一个系统的框架和一套有价值的方法，以实现建筑物的一致和优化配置和运营。 它们还将用于支持下一代政策、标准和程序的调查。 结果也可以扩展到其他复杂系统的配置和操作，如安全监控，车辆和飞机。 从另一个角度来看，该研究将为计算机科学和优化的协同集成开辟新的方向，以解决多分辨率和多模式建模和优化的基本问题。 总体目标是建立一个框架，实现复杂系统的一致配置和操作，同时吸引和教育学生，特别是实现经济上可持续的智能和安全建筑。