POWRE: Analysis of Specialized Constraint Models for Engineering Design

EIA-9870404 Sitharam，Meera 肯特州立大学POWRE研究增强：工程设计专用约束模型分析 这项工作是从过去PI的研究工作和尝试多样化到具体的问题，在计算机科学和工程领域，直接的实际相关性和核心实验验证的底线。 这项工作包括两个试点探索性研究项目。 第一个项目集中在关键的，缺少技术的几何约束系统分解成小，紧凑的子系统，其解决方案可以重组。 第二个项目涉及一个全面的非合作资源分配模型和分析的发展，特别是在尽力而为的环境中设计的QoS供应体系结构，特别强调弥合从理论到可实现性的差距差距。 在这两个项目中，将进行严格的分析，并开发小型原型实施。

EIA-9870404Sitharam, Meera Kent State UniversityPOWRE Research Enhancement: Analysis of Specialized Constraint Models for Engineering Design This work is a departure from the past PI's research effort and an attempt to diversify into specific problem-areas in Computer Science and Engineering where immediate practical relevance and hard-core experimental verification are the bottom line. The work encompasses two pilot exploratory research projects. The first project concentrates on key, missing technology for decomposition of geometric constraint systems into small, compact subsystems whose solutions can be recombined. The second project involves development of a comprehensive noncooperative resource allocation model and analysis, specifically for designing QoS provision architectures in best-effort environments, with particular emphasis on bridging the gap from theory to realizability. In both projects, rigorous analyses will be performed and small, prototype implementations developed.