关于Boole函数线性可分性基本定理探讨

本文描述了Boole函数的线性可分性问题,并回顾了Boole函数线性可分性基本定理,通过举例指出了该定理的局限性,最后实验计算结果表明该定理当且仅当维数n小于等于3时成立。     

函数零点存在性的几种证法

利用介值定理、中值定理、单调性、最值、保号性证明有关函数零点的命题。     

关于多元复合函数求偏导数定理证明的一点注记

上海高等专科学校编写组所编《高等数学》(第二版)中册第十章中,关于多元复合函数求偏导数定理的证明,有些不妥现予以注明。       

布尔函数非线性度与代数免疫度的研究

本文将布尔函数的代数标准型分解为高阶部分和低阶部分,通过理论证明得出布尔函数非线性度的计算与布尔函数低阶部分无关,而只与高阶部分有关.在此基础上,推导出布尔函数非线性度和代数免疫度的关系,并得出结论：在布尔函数的构造中,非线性度和代数免疫度两个性质只能达到相对最优.     

预应力混凝土连续箱梁桥结构优化设计

结合有关工程实例,以预应力混凝土连续箱梁桥的上部结构造价为目标函数,以规范的构造、正截面强度和使用阶段的应力等要求为约束条件,主要以箱形梁截面的梁高为设计变量,应用改进枚举法,分别得到两种不同截面、构造形式下的优化设计结果。并对这两种优化设计结果进行比较,最终得出优化设计方案,使得桥梁构造合理、造价最低。     

浅谈数学构造法

依据问题本身具有的特点,构造相应的几何或方程或函数模型,使问题得以解证,称这种方法为构造法,即创造性的使用已知条件,创造性的应用数学知识来求解一些典型的具有一定难度的问题。此种方法可化繁为简、化难为易,不失为方便实用的解题方法。     

FDATool在窗函数法FIR滤波器设计教学中的应用

文章介绍了一种采用FDATool工具辅助窗函数法FIR滤波器设计教学的方法,利用直观的图形化显示来展示窗函数和窗长发生变化时对滤波器设计结果的影响,便于学生掌握窗函数法FIR滤波器设计方法的重点。同时,通过FDATool的使用也使学生掌握了一种利用MATLAB工具设计实际滤波器的方法,取得了较好的教学效果。     

计算机辅助赋予档案案卷题名研究

本文涉足了档案自动化工作新的领域——计算机辅助赋予档案案卷题名，给出了计算机自动赋予档案案卷题名的构造模式以及实现算法     

基于部分平行Web语料的自动术语翻译

不借助于任何辞典工具而从Web中自动挖掘出术语的翻译,这是一项有趣且富有挑战性的工作.本文提供了一种基于部分平行Web语料的自动术语翻译方法.首先通过一个术语对,采用Web挖掘技术,获取潜在的匹配模式.接着,在用户对源术语进行翻译时,利用已获取的模式来抽取候选答案集,最后依据评分函数,对候选答案进行排序,并将结果以格式化的形式反馈给用户.本文依据三条层次规则,构造了候选答案的评分函数.实验结果表明,本文所构造的评分函数客观反映了不同匹配模式的不同重要性,且基于部分平行Web语料的方法能够很好地发现源术语的正确翻译,优于现有的技术方案.     

基于词词关联矩阵改进的模糊检索研究 (一)——模糊集合检索系统中词词关联矩阵构造的策略和时机选择

通过模糊集合检索模型的规范描述,本文首先定义了检索系统中检索效率和系统效率之间的函数关系,并应用该函数关系对比分析模糊集合检索系统和标准布尔检索系统的性能,指出模糊集合检索系统所面临的"囚徒困境":检索效率的提升引起了系统效率的下降.之后针对"囚徒困境",从词词关联矩阵方面来改进模糊集合检索策略,寻求到解决"囚徒困境"的思路和技术手段.最后借助SQL语言演示词词关联矩阵的两种构造策略,建立数学模型分析词词关联矩阵构造的最优时机,并确立该思路为一种新的系统开发模式.根据时机来合理选择词词关联矩阵构造策略有助于改善现有模糊集合检索算法的执行效率,实现检索效率和系统效率的双赢.     

构造法在中学数学中的一些应用

应用构造法解决问题，就是以已知条件为先导，以相关的知识为辅助，以所求的结论为方向，通过细致的分析，丰富的联想，灵巧的构思，创造性地构造出一种新的数学形式，使所要求的问题，在这种模式下，得以轻而易举的解决。     

支持向量机在文本自动分类中的应用研究

针对数据挖掘中的文本自动分类问题,提出了一种基于支持向量机的分类方法。构造了可用于多个模式类识别的多层级连式SVM模型,该模型可完成对多个模式的分类识别。根据训练样本的分类体系完成对模型的构造之后,即可应用于实际文档的自动分类。文中给出了该模型的构造及应用的方法,用两种核函数作为内积回旋方案,以中国期刊网全文数据库部分文档数据为例验证了该方法的有效性。     

三点共线与三线共点的相关定理及其应用

三点共线与三线共点是几何学习中经常遇到的一类问题。本文利用射影几何的德萨格定理及其对偶定理（逆定理）、帕斯卡定理及其对偶定理（布利安双定理），给出此类问题的处理方法。     

文书类档案的主题标引研究

本文介绍一种基于全文的主题词自动标引方法。该方法将切分关键词和标引主题词融为一体,合理地构造了词典。本文还给出一个确定标引主题词的加权函数,讨论了一些相关的技术问题     

Chinese Relation Extraction Based on Ensemble Kernel

将基于特征向量的平面核和基于句法分析树的结构核组合,进行中文实体关系抽取.首先进行特征选择实验,为构造平面核中的特征向量选择最优特征集合,特征包括实体大类、实体子类、实体类别等实体信息以及实体对在句子中的前后词信息.在定义结构核函数时,从包含两个实体的句子中提取最短路径包含树(shortest path tree,SPT),然后使用卷积树核函数来计算两棵SPT树的相似度.在ACE RDC 2005中文语料库上进行实体关系大类的抽取实验,其F值达到了68.50%,比两个单独核函数的方法分别提高4.36%和17.37%.同时,在组合核中也进行了特征选择实验,得到了最好关系抽取性能的F值为70.58%,说明单独平面核的最优特征集在组合核中未必最优.结果表明,本文利用实体语义信息构造平面核并与结构核组合,对于中文实体关系抽取具有较好的性能.     

用户永远都是正确的

本文针对人们对“用户永远都是正确的”这个定理的疑惑,从理论与实践上阐述了该定理的基本意义和正确理解该定理的基本方法,认为只有树立“用户永远都是正确的”的图书馆信念,才能正确地理解和运用该定理。     

利用MATLAB软件辅助组合设计理论课程教学——以阿达玛矩阵的构造为例

本文以《组合设计理论》中的经典内容——阿达玛矩阵构造为例,详细展示了如何运用MATLAB软件包来进行辅助教学。实际教学案例表明MATLAB软件包的使用可显著提高授课效率,降低教学的难度,也有助于培养学生学习该门课程的兴趣。     

动态数学实验内容简介

初中及高中数学,一直以来被认为是抽象的、逻辑推理性的,因而使中学生产生一些难以理解和难以观察的困难。本光盘的制作意在通过使用计算机及多媒体辅助初中及高中数学教学,把抽象的数学变为数学实验。这样,学生可以象作物理实验、化学实验—样,通过作数学实验,理解数学概念、数学定理和数学图象,从而得出数学公式和结论,使数学的教与学变得生动活泼,充满乐趣。 『几何画板』是一个很好的制作数学教学课件的软件     

高中数学中的恒成立问题

新课标下的高考越来越重视学生对于数学知识综合应用能力的考察,高中数学中恒成立问题是一个考察学生综合应用能力很好途径。此类问题主要涉及到一次函数、二次函数等函数的性质、图像,其中渗透着构造、数形结合与方程等数学解题方法,综合性强,部分学生常感到无从下手,茫然不知所措,下面就其中一些常用的解法,进行一下归纳。     

高校图书馆电子资源学术效益评估指标体系构建

采用定量方法对高校图书馆电子资源的学术效益进行评估,侧重衡量图书馆电子资源服务于科研的影响与效果。从高校的科研产出和电子资源人均使用率两个维度,设计出电子资源学术效益评估三级指标体系,并构造了评估函数作为计算公式,以此评价图书馆电子资源的学术效益。