英语口语教学中的交际教学法

从发挥教师的主观能动性出发，初步探讨了教师如何通过精选命题，小组讨论等多种形式训练学生日常会话能力，提高教学质量，以期促进英语口语教学。     

函数图像的变换

函数图像的变换是研究函数性质的一项重要工具,高考要求能够利用函数的奇偶性及图像的对称性描绘函数的图像,能够利用函数的图像研究函数的性质,通过函数的图像也可以进一步加深对函数性质的理解。总之,函数的性质和图像二者相辅相成,缺一不可。在复习时我们应突出函数图像的几何变换,以便更好的研究函数的性质。     

利用Delphi7.0实现节流装置的设计计算

以节流装置的三种计算命题为研究点,采用Delphi7.0编程来实现测量设备的选取、设计和计算,计算准确、效果良好,对于节流装置的设计应用开发有着极大参考价值.     

基于语义解析的领域问答系统的设计与实现

针对高考咨询问题重复性高、搜索引擎回答较为冗余等现状,从各网站的半结构化以及非结构数据中抽取知识三元组,构建高校信息知识图谱;对涉及多种约束的复杂问句的问答方法进行研究,提出一个基于语义解析的问答模型,通过对问句的解析将问句自动转换为Neo4 j查询语句.实验结果表明,该系统能较为准确地回答大部分领域问题,为其他领域类问答系统的实现提供了借鉴.     

“蛋白质变性”生物化学实验教学实践研究

蛋白质实验是高中生物实验教学的重要组成部分。近年来,新高考试卷中增加了“蛋白质”相关知识的分值比例。“蛋白质变性”生物化学实验是强化学生生物理论知识学习成效、提升学生运用生物知识解决生活实际问题能力的重要举措。结合多年教学经验,详细阐述“蛋白质变性”生物化学实验教学实施策略,让学生更加清晰地了解蛋白质的成分。     

自主命题的在线教学模式设计

为了解决在线教学过程中“刷课蹭学分”以及传统在线课程试题管理缺陷等问题,分析在线课程教学不理想的根本原因,通过对比在线教学与游戏得到的启示,提出自主命题的在线教学模式。以程序设计基础课程为例,介绍自主命题在线教学模式的应用设计,并在技术层面对系统提出4个要求。     

命题对象的空间逻辑运算模型

在现有逻辑系统中,各连接词的运算模型都可以归结为某些“代数算子”,其共同特征是仅考虑了命题所描述集合的代数测度大小,而没有考虑它们在几何空间中的位置关系。文章以“空间位置相关性”为中心,提出了“摸天花板问题”,分析了逻辑运算中存在的几何位置相关性。在“命题对象”、“真位向量”、“空间图像”等概念的基础上,提出了命题对象的空间逻辑运算模型,并结合格分维理论给出了在几何图像中的具体应用形式。本文工作拓展了泛逻辑学中广义相关性的含义,为连接词的运算形式提供了一种新的模型。     

双枝模糊逻辑

在双枝模糊集基础上,建立了双枝模糊逻辑的框架,这是对单枝模糊逻辑的合理扩展。从双枝模糊命题入手,给出双枝模糊逻辑的性质和双枝模糊逻辑公式,以及双枝模糊逻辑的析取范式与合取范式。这些结果为研究双枝模糊推理和双枝模糊控制奠定了基础。     

基于SAT求解的面向对象程序类型分析

类型分析是面向对象程序分析中的重要环节,精确的类型分析能够提高其它程序分析的精度.由于传统精确分析方法固有的高复杂性,现有的类型分析大都使用粗糙的分析方法.提出了一种基于SAT求解的面向对象程序类型分析方法.该方法用命题逻辑表示类型在变量间的传递关系,将程序抽象成命题公式,并使用高效的SAT求解器求解,从而获得变量运行时的类型集合.该方法是流敏感的,并且具有良好的伸缩性,既可以进行快速但精度低的上下文不敏感分析,也可以进行较慢但精度高的上下文敏感分析.     

填空题命题规则与评分算法

填空题答案既有客观性,也有主观性。为了快速合理、准确有效地自动评分,研究了相关文献,讨论了填空题具有一题多空、答案多值及相邻答案可以互换位置等特点。提出空格同分值和答案无标点、无复合的试题编制规则,使用核心词汇和竖线联结的答案描述规则,以及采取混合匹配和两种结果的评分策略。设计并实现了填空题自动评分算法。经实际应用验证,能够满足通用考试的现实需求。