摘要：主要研究了文本分类精度问题。介绍了文本分类的基本过程,提出了一种改进的支持向量机文本分类技术,设计并实现了一个开放的中文文档自动分类系统。实验结果表明,提出的方法不仅具有较高的训练效率,同时也能得到很高的分类准确率和查全率。

摘要：为了有效解决函数系统建模、信号实时分析等数理支持领域验证与测试的定理证明形式化问题,设计并实现了利用Lebesgue积分的运算特征在PVS定理证明器中进行形式化证明与分析.主要对其分裂定理、不等式计算、闭区间子集可积分性、多重分部、线性运算、Cauchy可积分准则和极限定理等多个方面进行了形式化,且依据数学定理与推论形式化,说明Lebesgue积分在PVS中的形式化是可行的、有效的.以标准反相积分器为应用模型,对其通用电路原理与机制进行了形式化证明,通过数理分析测试了本文Lebesgue积分形式化定理库的正确性.

摘要：为了生物计算机的实现,算术运算是完成所有计算模型的最基本运算;到目前为止,对膜系统中算术运算的研究只是处于整数域内,还没有实现有理数域内的算术运算;为实现有理数域的乘除法运算,基于生物类细胞模型,介绍了膜计算的基本原理和特性,然后构造基于规则优先级的算术P系统来实现有理数域内的乘法和除法,并举出相应的例子进行详细的说明以及实验仿真;实验仿真结果表明,提出的构造分数P系统来实现有理数域内的乘除法的思想和设计的规则是正确的,能够得到预期目标。

摘要：《幼儿园教育指导纲要(试行)》(以下简称《纲要》)指出:“幼儿艺术活动的能力是在大胆表现的过程中逐渐发展起来的,教师的作用应主要在于激发幼儿感受美、表现美的情趣,丰富他们的审美经验,使之体验自由表达和创造的快乐。”近年来,有关幼儿艺术活动的研究有很多,但从研究现状上来看,部分教师在美术活动中过分依赖范画,限制了幼儿的发散性思维,导致幼儿表现出来的作品千篇一律。

摘要：介绍基于MapX的灌区地理信息系统的设计思想、开发过程及使用的关键技术,并通过一大型平原自流灌区地理信息系统的开发,论述了实现这些思想和方法的过程。

摘要：国际贸易高速发展的今天,产业内贸易已经成为重要的贸易形式,研究直接投资、地理距离以及自由贸易协定对产业内贸易的作用有助于中国更好地制定贸易发展战略。本文以中国与欧盟、东盟中的主要贸易对象为对比样本,选取2005～2016年面板数据,对中国与欧盟、东盟部分国家构建引力模型,进行实证分析,并根据分析结果对中国未来贸易政策提出建议。

摘要：针对金属钌联吡啶配合物,以N3染料分子为基础,设计了一系列理论模型配合物,cis/trans-[RuII(dcbpy)(L)2(X)2](L=NH3,Pyridine;X=NCS,Cl,CN;dcbpy=4,4′-bis(car-boxylic acid)-2,2′-bipyridine)配合物。采用密度泛函理论(DFT)中的B3LYP方法和LanL2DZ基组优化了配合物的几何结构。在含时密度泛函方法(TD-DFT)和极化连续介质模型(PCM)级别下,计算了以上12个配合物在溶液中电子吸收光谱。通过与N3染料的实验数据对比,讨论了模型配合物的电子跃迁性质,同时研究了受体(L)和供体(X)配体变化对光谱跃迁影响的规律性。

摘要：在我们的平时教育教学中,有很多的案例表明,幼儿的智慧是幼儿的动作结构逐步内化的结果,幼儿期智慧的形成是外部物质活动和物质化活动向头脑内部表象、概念逐步转化的结果。现结合具体案例进行分析。

摘要：本文分析高职院校学生培养特性和面向对象分析与设计的课程体系,提出了案例引入教学法和项目驱动教学法。