wtt-度的 Nonbounding 定理

本文用“魔怪方法”证明了对任何一个低的 r.e.集 D,存在一个 r.e.集C,使得 D<_(wtt)C,且对任何 r.e.集 A,B,如果 A≤_(wtt)C,B≤_(wtt)C,A(?)_(wtt)D,B(?)_(wtt)D,则 deg(A)∩deg(B)≠(?).此处 deg(A),deg(B)分别表示 A,B 的 wtt-度.     

现代脑科学与教育

脑科学的不断进步,使其在教育中的应用经历了四个阶段.现代脑科学研究中的基础神经 生物学和脑的高级功能两个不同研究层面对教育实践都有重要的启示,其中对神经突触的增长模 型、突触的可塑性、阶段性、经验与环境对脑发展的影响和学习与记忆、多元智力理论及情绪的脑机 制研究的不断发展,对教育的可行性、必要性和适时性给予了新的启示.     

低强度超声激活血卟啉对S180细胞的杀伤作用

为探讨低强度超声激活血卟啉对在体S180肉瘤细胞的杀伤作用，对荷瘤小鼠采用声动力疗法处理，分别从癌组织生长状况、显微结构及超微结构等方面进行研究。结果表明：超声激活血卟啉对肿瘤生长的抑制作用明显大于其他实验组，癌细胞在处理后的不同时间段，其显微结构及超微结构均表现出不同程度的损伤。     

关于Levesque的信念逻辑的完备性

Ｈ．Ｊ．Ｌｅｖｅｓｑｕｅ最近为了研究非单调推理提出了含有两个模态词Ｂ，Ｎ的信念逻辑系统，并猜想它是完备的．本文提出了Ｔ~＊－集合的概念，并证明一句子集合如果是Ｔ~＊－集合，那么是可满足的．本文的定理是［１］中定理Ａ２的推广．并得到［１］中定理Ａ．２的一个简单的证明．     

非p脱殊的非分枝的r.e.度在低的r.e.度中的稠密性

本文证明了非p脱殊的非分枝的r.e.度在低的r.e.度中是稠密的.     

r.e.的p—脱殊度是交不可到达的

本文证明 r.e.的 p-脱殊度是交不可到达的以及交不可到达的度是稠密的.     

递归算术公理的简化

本文,我们把递归算术系统简化为下列三个系统:A_0V_2、A_0V_1I_2θ_2及A_0V_1I_2θ_2~*,此处A_0为存在性公理,而V_n、I_n、θ_n、θ_n~*为唯一性规则,其定义如下:A_0是:给了H(x,y),存在一函数F(u,x),使得规则V_n是:此处是指“可推导出”,x为约束变元,它在前件中不能进行代入,I_n是V_n当H是么函数I(I(x)=x)时的特例,θ_n是V_n当H为θ(θ(x)=0)时的特例,θ_n~*又是θ_n当F(u_1,…,u_n,0)=0时的特例。     

高教程序代码作业抄袭检测的方法研究与实践

学生的编程水平直接反映技术类课程的学习效果,因此教学考察中程序代码作业的比重也越来越大.由于程序代码作业抄袭成本低,导致抄袭现象不同程度地存在于各高校教学中,严重影响了学生能力的培养和教师教学的效果,打击学生学习的积极性乃至损坏学风.为此以智能且自动化方式找出学生作业的相似之处,分析学生抄袭的总体情况为目的,将人工智能算法和数据处理分析技术相结合,提出一种学生作业抄袭检测方法.首先,分析学生提交的程序代码作业的复杂情况,设计作业数据预处理流程.然后,具体提出了基于KR和Winnowing的程序代码作业相似度检测算法,与传统检测方法相比通过代码格式化等改进手段提升了学生作业相似检测的精准度,并在大批量作业检测实践中,研究优化算法增加了不同学生之间作业相似结果的区分度.为了验证相似度计算部分的有效性和实用性,进一步设计了相关的模拟实验流程(包括与JPlag检测系统的对比),给出在相同实验数据集上不同抄袭类型下的相似度计算结果.最后,依托于科大讯飞博思智慧在线学习平台对该研究进行了真实场景的实际应用.实验结果以及实际应用都表明,该程序代码作业抄袭检测方法,对高校学生程序代码作业相似度检测有效...     

RESEARCH ANNOUNCEMENTS R.e. Degrees of Recursively Inseparable Sets

The concept of recursively inseparable sets is an important concept in therecursion theory.The Sacks’splitting theorem is an important theorem in thetheory of degrees of unsolvability.Since it appears,many scholars generalize itfrom different respects,such that splitted sets have some particular properties.Inthis paper we combine the concept of recursively inseparable sets with the Sacks’theorem,and generalize the Sacks’theorem.     

递归算术的复迭系统(Ⅰ)

建立“复迭算术”主要困难有两个:一是推出函数D_α的性质,一是推出函数[x~(1/2)]的性质。作者建立了一个递归算术的复迭系统A~1V_2W,其中A~1是用允许一个参数的复迭式定义的存在性公理,V_2是用允许两个参数的复迭式定义的函数的唯一性规则,W是用参数变异递归式定义的函数唯一性规则。