对于合同的解释

从合同解释的由来入手,系统介绍了表示主义理论和意思主义理论的基本情况,从其对比分析中得出对于我国合同解释的看法:以表示主义的理论为基础,坚持以探求假定的当事人意思为目的,采用表示主义理论中由阐释到推定的合同解释规则(包括其本身存在的价值和在中国司法实践中生存发展的适应性)。最后探讨了《合同法》规定的经验与不足。     

基于文本空间表示模型的文本相似度计算研究

在分析现有文本表示法的基础之处,提出一种以段落、语句、词语为层次结构的文本表示方法——文本空间表示模型,并在此模型基础上探讨一种以文本段落为基本单位的相似文本计算算法,以实现相似文本检测目标。最后建立测试集并在测试集上执行检测实验,结果表明此方具有较好的相似文本发现效果。     

直接设元与间接设元

设元(设未知数)的常用方法有两种：直接设元法和间接设元法．直接设元法就是把要求的量直接用未知数表示，间接设元法就是选取一个与问题有关的量为未知数，通过这个未知数求出题中要求的量，下面举二例来说明．     

“教”因何而生——“用字母表示数”教学片段与反思

一、因经验而生 上课伊始,我板书“字母”,问：字母你们都熟悉吗？ 学生齐喊“熟悉”。 于是我又接着板书“表示数”,问：“那字母表示数你们见过吗？？ 生1：在加法交换律中见过a＋b=b＋a     

巧玩扑克牌激活抽象数学模型建构的情趣——苏教版数学教材四年级下册《用字母表示数》教学实录及赏析

学情简析·学生在以往的学习中已经初步接触过用字母表示数,但是对于具有普遍意义的用字母表示数及用含有字母的式子表示数量关系的学习需求还是潜意识的,没有被激活。由具体的数过渡到用字母表示数．     

模拟退火K均值算法在文本挖掘中的应用

讨论了聚类分析及文本挖掘,分析了一种用模拟退火思想改进的K均值聚类算法在文本挖掘中的应用。传统的信息检索技术已经不适应日益增加的、大量文本数据处理的需求。如何从数据中分析和提取有用信息即文本挖掘已经成为数据挖掘中日益流行与重要的研究课题。     

思维的符号属性与形式化倾向——发生认识论主旨探析

人是符号的动物.人的理性的符号属性尤为突出.发生认识论从发生学的视角来探知理性的发生何以可能,从心理学途径为思维的这一本质特点提供了经验的和实验的证据,并进一步提示出其形式化倾向.通过对逻辑数学结构的个体发生学研究,以及对于个体认识发展和人类科学史发展方向的追踪,皮亚杰确立了思维的符号属性和形式化倾向,拓宽了对理性本质探求的思想之路.     

注重数学思想方法的提炼——关于化归思想的一个案例分析

数学思想方法是对数学内容及其所使用的方法的本质认识．中国的数学教育早就形成重视“数学思想方法”教学的共识，用字母表示数的思想方法，集合与对应的思想方法，函数与方程的思想方法，数形结合的思想方法，数学模型的思想方法，转换化归的思想方法等也一直受到理论上的重视（参见文[1]）．但是认识上的统一、理论上的重视还不能保证实践上的自觉行动和行动中的良好效果，说得抽象了（甚至贴标签）学生不理解，     

学习一般现在时应注意的几个问题

一般现在时通常表示现在经常发生的或习惯性的动作或目前的状态,是英语中最常用、最基础的时态。要想学会英语的其它时态,必须从一般现在时开始。学习一般现在时,我们需要注意以下几个问题:一、一般现在时的构成     

运用ASM描述安全协议

介绍了抽象状态机（ASM）,建立了基于这种形式化方法的协议描述于验证的环境,并建立了一般意义上的入侵者模型.作为应用实例,给出了 Helsinki协议的 ASM规约,说明利用这个规约可以直观的演绎 Horng-Hsu攻击.