【摘 要】
：
DR算法是一种完备的归结算法,但在归结过程中会产生大量的新子句,增加了求解时间,所以提高DR算法效率就成了一个问题。文中提出一种基于DR算法的预处理策略CC(Clauses Conduc
【机 构】
：
西南交通大学数学学院,西南交通大学系统可信性自动验证国家地方联合工程实验室
【基金项目】
：
国家自然科学基金资助项目(61673320).
论文部分内容阅读
DR算法是一种完备的归结算法,但在归结过程中会产生大量的新子句,增加了求解时间,所以提高DR算法效率就成了一个问题。文中提出一种基于DR算法的预处理策略CC(Clauses Conduction),通过缩减子句集的规模,得到一个子子句集,再在其上运行DR算法,使得求解时间减少。这种策略虽不完备,但可以大幅度缩减运行时间。
其他文献
名著阅读是学生接触、了解经典的途径，为了提升小学生的文学素养，苏教版的教材中就设置安排了《三打白骨精》等课文，让学生通过经典节选的阅读，提升其文化底蕴。但是目前在这些课文的教学中，教师往往只从节选入手，忽视了对名著的有效连接与充分拓展，造成学生综合素养的培养受阻。本文从研究中外名著的链接入手，结合教学实际案例，讨论如何利用导课、鉴赏和拓展，实现对经典作品的高效阅读。 一、激趣导课，连线名著 课
在阅读教学中，教师不仅要注重课堂教学的深刻高效，还要注重课堂检测环节的设计，也就是我们平时为学生布置的作业。作业是检查学生知识掌握情况的凭据，在语文教学的过程中，教师凭借作业获得学生学习情况的反馈，及时调整自己的教学事略。所以语文教师在设计作业的时候要重视学生的个性特点微改革，让学生在多样化的作业中发展能力，提升素养。 一、实践活动，读写结合 小学生喜欢参加实践活动，而新课标也提倡构建生本课堂
叶圣陶先生在谈及作文的时候提出了作文源于生活积累的作文教学观，认为写作这件事情和学生的日常生活分不开，学生的生活充实到什么程度，就能写出怎样的作文。由此可见，在日常生活中积累写作素材对学生写作能力的提高起到至关重要的作用。积累生活化素材让学生摆脱了写作时“无米下炊”的窘态，只要善于观察，就能从日常生活中寻常的人和事中受到启发，写出有见地、能吸引人的好文章。 一、放眼日常，记录感动瞬间 写作文需
《语文课程标准》中指出：“让学生具有独立阅读的能力，注重情感体验，有较丰富的积累，形成良好的语感。”语感，是对语言文字的一种敏锐感受，是对特定环境中的话语不经过逻辑推理，直接迅速整体地感知和把握，那么，究竟应该怎样对学生进行语感能力的培养呢？ 一、诵读吟詠——感悟语言 朱熹说过 “读书百遍，其义自见”。通过大量的诵读自觉或不自觉地获得语感，是我国传统语文教学培养语感的重要方法。当代语文教学也十
目的应用Meta分析评价血维生素D水平与颈动脉粥样硬化的关系。方法检索2016年4月之前国内外发表的有关血维生素D水平与颈动脉粥样硬化关系的文章。应用Statal2．0进行分析，Q检验
“夫缀文者情动而辞发，观文者披文以入情，沿波讨源，虽幽必显。”它意在表明——文学作品是伴随作者的丰富情感而生的，读者也应带着自己的情感去阅读学习；这样才能更好地走进文本，走向作者和人物角色的内心世界。时至今日，在大力强调人文教育新形势下，以“工具性与人文性相统一”为基本特征的语文学科教学，更应通过各类途径和方法，认真挖掘并努力彰显不容忽视的人文元素，积极开展丰富多元的人文化教学活动，为促进学生的全