Formal Analysis, Verification, Synthesis, and Execution of Real-Time Rule-Based Expert Systems

基于规则的实时专家系统的形式分析、验证、综合和执行

• 批准号: 9111563
• 负责人: Albert Cheng
• 金额: $ 6.5万
• 依托单位: University of Houston
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1991
• 资助国家: 美国
• 起止时间: 1991-09-01 至 1996-02-29
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9111563&HistoricalAwards=false
• 关键词: Formal; Analysis; Verification; Synthesis; Execution

9442825 Cheng This REU supplemental award No. CCR-9111563 enables two undergraduate students to participate in the research on the formal analysis, verification, synthesis, and execution of realtime rule-based expert systems. The projects to be performed by these students include the design and implementation of several modules for the analysis of rule- based systems written in different expert system shells and the synthesis of real-time rule-based systems with bounded response time. The students also gain hands-on experience in the development of an efficient and fault-tolerant execution environment for real-time rule-based systems. Students under this program have access to state-of-theart computing facilities and to industrial real-time rule-based systems. This award recognizes the importance of hands-on experience in active research for attracting and training undergraduates, in particular, women and minorities, for careers in mathematics, science and engineering, and that too few such experiences are now available at large, urban, public universities. ***

9442825程这REU补充奖号CCR-9111563使两名本科生参与形式分析，验证，合成和执行的实时规则为基础的专家系统的研究。 由这些学生执行的项目包括设计和实现几个模块，用于分析在不同专家系统外壳中编写的基于规则的系统，以及具有有限响应时间的实时基于规则的系统的合成。 学生还将获得为基于规则的实时系统开发高效和容错执行环境的实践经验。 该计划的学生可以使用最先进的计算设施和工业实时规则系统。 该奖项承认积极研究的实践经验对于吸引和培训本科生，特别是妇女和少数民族，从事数学，科学和工程职业的重要性，而现在在大型城市公立大学中，这种经验太少了。 ***