一个极小不可满足公式子集的构造

对于极小不可满足公式和它的子类的研究是近年来兴起的一个热门方向.极小不可满足公式通过分裂得到的公式保持了极小不可满足性,它的子类的某些性质对于建立在分裂上的归纳证明是很有用的.找到了一个能递归构造的极小不可满足公式的子类M4X+,并证明这种递归构造方法具有可靠性和完备性,最后给出了一个构造实例.     

极小不可满足核及其提取

在极小不可满足公式和可满足公式的基础上给出极小不可满足核的定义,并给出用布尔可满足求解器提取不可满足公式的极小不可满足核的方法。     

极小不可满足核及其提取

在极小不可满足公式和可满足公式的基础上给出极小不可满足核的定义,并给出用布尔可满足求解器提取不可满足公式的极小不可满足核的方法。     

集合的某些子类间的包含关系

通过具体公式在增加或删去某些文字或子句后生成的新公式的可满足性来研究极小不可满足公式类的常见子类Dis-MU,HIT-MU,Unique-MU,MARG-MU,MAX-MU和之间的包含关系.     

集合MU的某些子类间的包含关系

通过具体公式在增加或删去某些文字或子句后生成的新公式的可满足性来研究极小不可满足公式类的常见子类Dis-MU,HIT-MU,Unique-MU,MARG-MU,MAX-MU和SYM-MU之间的包含关系.     

Selmer多项式不可约性的一个新证明

由n次多项式f(x)的全部根α1,α2…,αn ,构造一个关于根的对称多项式S(f)=n∑i=1(αi-1/αi) ,如果多项式f(x)在(◎)[x]可以分解为多项式g(x)h(x) ,利用恒等式S(f)=S(g)+S(h) ,得出多项式g(x)的可能形式,并利用上述方法给出Selmer多项式不可约性的一个统一证明.     

关于Q上不可约多项式的一个注记

指出文献「１」中的一个错误结论。并进一步讨论了一元多项式在有理数范围内的不可约性，给出了一个多项式的根全是实数的一个必要条件。     

不可微泛函拟极小问题解的C~(1,τ)正则性

设W(R)满足条件(1),本文证明泛函的局部1+W(R)一极小问题解的局部正则性。     

有理数域上整系数奇次多项式不可约的一个判别法

某些特殊多项式的可约性 ,如果按常规方法去判别 ,可能出现判别失效的情形 ,针对这一情况给出一个有理数域上奇次多项式不可约的判别法 ,并以例子说明它的用法     

一类Pell方程最小解的计算公式

给出特殊条件下Pell方程x2-Dy2=1(D为非平方的正整数)的最小解公式.     

信息度量公式的探讨

本文针对《管理信息系统》课程中关于信息度量的教学内容,结合信息论的相关知识,对信息量计算的常用公式进行了梳理,将信息度量分别从自信息量的计算、平均自信息量的计算和含有多个独立事件消息所含信息量的计算三个方面来分析。论文还指出了学生用错公式的主要原因是混淆了自信息量与平均信息量的计算公式,提出了教材内容改进意见与编排建议。     

高校累进性更名的社会学反思

高校校名的变更体现在层次、学科、地域和类型四个方面,并呈现出累进性特点。高校之所以进行累进性更名是因为校名能有效传递本学校的基本信息,累进性更名可提高学校在高校中的结构性网络位置并促进学校更好地生存和发展。高校累进性更名反映了高校间竞争关系的存在、高等教育评价机制不完备以及国家对教育符号资源的控制,它同时也启发我们,只有根植于本土文化的竞争才是最有效的竞争。     

量子力学中球谐函数递推公式新探

本引入方向算符、用算符的基本对易关系和代数关系推导出量子力学中常用的递推函数的递推公式。     

一类解析函数的系数泛函

本文引入了一个新的函数类kSPB（λ,α）,利用复分析中的一些方法,讨论了这个函数类的Fekete-Szeg不等式,得到了α3-μα2^2｜准确估计.     

对教育技术学专业改名的思考

对新颁布的《普通高等学校本科专业目录》中所修改名称专业的横向比较显示,"教育技术学"专业的改名不符合整体的专业"宽口径"取向,也不符合专业的成熟地位;专业改名的历史分析表明,当前的"教育技术学"专业改名既不合理又不合情,改名代价巨大;对专业名称进行语言学意义的思考进一步证明专业改名缺乏必要性。     

Renaming teaching practice through teacher reflection using critical incidents on a virtual training course

This study approaches teacher learning from a dialogical viewpoint where lecturers’ voices used in a training course context reflect how lecturers generated new professional discourse. The design of the training course considered the analysis of several critical incidents (CIs) in online teaching. An analytical framework based on lecturers’ discourse and ways of thinking about teaching was used to identify types of renaming teaching practice. The empirical element of the study analysed the written utterances about teaching provided by 12 online instructors in order to determine what kinds of new discourse emerged during the analysis of 15 CIs in online teaching. Results showed that local discourse is the lecturers’ most commonly used discourse, prototypical incidents generated more professional discourse than personal and real CIs, and professional discourse can be created by means of at least nine different ways of articulating discourse. On the basis of these results, some pedagogical implications for lecturer learning are discussed.     

不同认知水平的解答编码对数学公式学习的影响研究

图形编码、示意编码和标签编码对公式学习具有不同的影响.高认知水平的图形编码在公式以情景方式呈现时,作业成绩最优;无论是否图形提示,在7天之后的回忆实验中,图形编码的回忆成绩最优,且图形编码对于图形提示极为敏感.