【摘 要】
：
Event-Condition-Action(ECA)规则的评估和执行独立于其他规则,但规则行为间交互作用可能导致系统行为不可预测或不安全。典型的问题有规则的不一致性和终止性。针对上述问题,提出将ECA规则转换为时间自动机,对规则之间的交互进行分析。采用时间自动机验证工具UPPAAL验证规则集合是否存在交互问题。以痴呆老人智能辅助系统为例,实验结果证明了该方法的可行性和有效性。
【基金项目】
：
国家自然科学基金项目（71271038）
论文部分内容阅读
Event-Condition-Action(ECA)规则的评估和执行独立于其他规则,但规则行为间交互作用可能导致系统行为不可预测或不安全。典型的问题有规则的不一致性和终止性。针对上述问题,提出将ECA规则转换为时间自动机,对规则之间的交互进行分析。采用时间自动机验证工具UPPAAL验证规则集合是否存在交互问题。以痴呆老人智能辅助系统为例,实验结果证明了该方法的可行性和有效性。
其他文献
摘 要：语文是小学高年级阶段非常重要的一门学科，对学生的成长和发展具有十分关键性的影响。阅读教学作为小学高年级语文教学的一部分，开展个性化的阅读教学，能够进一步拓展学生的阅读思维，培养学生良好阅读习惯，进而增强学生的阅读能力。本文中，笔者分析了当前小学高年级语文阅读教学存在的问题，在此基础上再详细探讨了小学高年级语文个性化阅读教学的策略，希望能够为今后相关内容的研究提供一定参考依据。 关键词：小
摘 要：游戏最大的特点就是娱乐性，在小学语文教学中，借助游戏可以达到寓教于乐的效果。众所周知，爱玩是孩子的天性，因此处于小学阶段的学生很难在语文课堂上集中精力配合教师的教学，导致课堂效率下降。基于这一现实情况，小学语文教师在进行课堂教学时可以适当地采用诸如游戏这样的教学方式，并不断探究具体的游戏教学策略，激发学生的学习兴趣，促使语文教学高效完成。 关键词：小学语文;游戏教学;教学策略 小学语文
传统空气质量指数预测方法在考虑相关影响因子时,忽略了气象参数和污染物浓度之间的相关性,而且预测模型的结构比较单一。提出一种面向短期的基于神经网络模型的预测方法,通过分析5个气象参数以及6个污染物浓度数据,获取数据之间的相关性;在构建预测模型时针对不同污染物采用不同的气象参数和时序污染物浓度数据进行预测,训练模型时为不同污染物预测学习不同的权值。实验结果表明,气象参数对污染物浓度的变化具有较大的影响
摘 要：初中课程作为初中教学中的一门基础课程，是学生系统学习数学知识的开端，起着开启民智的教育作用。在初中阶段培育学生学习数学的兴趣是为将来学习更高层次数学打下基础。随着新课程标准改革的实施和素质教育的时代背景下，初中数学教师运用新的教学手段促进教育事业的发展，提高数学课堂教育的质量，成为了数学教育界所共同关注的热点。本文将从合作学习这一教学模式理念来探讨分析，其在数学中的应用概况，探讨如何提高数
为了了解我校五年级同学的家庭手机使用情况以及废旧手机流向等方面情况,并提出切实可行的解决方案,向社会和社区推广,以实现节能减排的目的.因此,特进行此项调查.
摘 要：怎样的课堂才算是童心课堂？相信大家都认可这样的一个理念：处处以孩子們为出发点的课堂，真实的课堂，生动活泼、充满着乐趣的课堂。薛法根老师执教的《螳螂捕蝉》教学视频中，导一导、演一演的环节，给我的印象就非常深刻：“他先请学生两人一组，一人演少年，一人演吴王，练台词。在练台词的时候，设计一下人物的表情、语言和动作。”从孩子们热情地参与到专注的排练，很明显看到了孩子们是在快乐地学习着。在学生成功表
在中职院校当中,幼儿的教育专业有着创新性和多样性的特点。它和传统的舞蹈教学模式不同。所以,要对这些发展进行特别的关注。对于舞蹈教学内容来说,创新是一个改革,和传统教
随着计算机应用的不断推广, 计算机应用系统的规模越来越大, 系统的复杂度也越来越高, 为了降低软件系统开发技术风险, 人们开始专注软件系统架构的应用研究.为了解决电厂安
为了在网络管理中,既可以避免对特定厂商的管理系统的过分依赖,又可以充分管理不同厂商的网络设备,提出设计和应用解析MIB文件的API。描述MIB定义文件,分析定义特征,文件之间的依赖关系;设计出一套实用的文件解析API;按照先生成依赖图,后解析数据类型和值的顺序,使用C#实现MIB文件解析API。应用程序使用该API之后,能够方便地对MIB定义文件进行解析,生成依赖图,形成MIB树。
在学生的整个学习生涯中,小学阶段起着十分重要的奠基作用,因此,无论是培养学生的书写习惯还是学习兴趣,都应当从小学抓起,为其之后的学习和生活做好铺垫。基于此,新时期的语