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

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

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. ***