关于饱和模型的讨论

一阶模型论中,关于可数模型的讨论是一个重要课题。在这方面,对于可数饱和模型的研究已得到了一些意义重要的经典结果。在文献[1]中,Benda定义了比饱和模型的条件要弱一些的几乎饱和模型和满模型的概念,探讨了它们的一些相关性质,证明了如果一个可数语言上     

基于改进的Fish-search算法的信息检索研究

分析了动态搜索算法“Fish-search”相对于一般深度优先算法的优势,但存在由于搜索范围的随机性导致重复搜索及搜索时间过长.通过对鱼群群聚行为的分析,定义一个参数“dist”来控制搜索的范围和时间,使得搜索过程能自适应地调整搜索范围.     

模型论中有关代数闭域的一个性质

模型论是数理逻辑的主要分支之一,其在近世代数、数论以及拓扑学中有着广泛的应用.本文给出了任意一个代数闭域G的性质,并给予了证明.     

无限集合的有限子集理论的等价转化

利用Ehrenfeucht博奕 ,证明了任一无限集合的有限子集理论与自然数集合的有限子集理论是初等等价的     

不锈钢离心泵叶轮的激光焊接

离心泵叶轮加工质量的好坏将会对离心泵的性能产生重要的影响,然而空间扭曲形叶轮虽然效率高、性能好,但是难于加工,使用传统焊接方法容易产生形变,焊缝粗糙,内应力大,这大大的影响了离心泵的使用效能。通过将激光焊接技术应用于空间扭曲形离心泵叶轮的制造中,则可以有效的解决这些问题。结合阳江新力工业有限公司在离心泵叶轮制造中的生产实际,分析了激光加工技术的优势及其加工方法,并通过对焊缝宏观形貌和金相组织的分析与焊接接头拉伸性能测试表明激光焊接可以获得成型良好的焊缝,焊缝组织细小,热影响区窄,接头显微组织和力学性能优良,适合叶轮的制造。     

浅谈理论力学解题中参照系的变换

研究理论力学问题，先要选取参照系，建立坐标系．在分析解决问题时，通过参照系的变换，可以简化解题步骤，培养学生的发散思维能力，收到事半功倍的效果．     

基于深度自动编码器的多标签分类研究

在多标签分类的相关研究中,由于现有的基于网络表示学习算法的相关方法只利用了网络中节点之间的邻接领域信息,而没有考虑到节点之间的结构相似性,从而导致分类准确性较低,因此,本文提出一种基于深度自动编码器的多标签分类模型。该方法首先利用轨迹计算算法(Orca)计算不同规模下网络中节点的结构相似性,作为深度自动编码器的输入来改进隐藏层中的向量表示,保留网络的全局结构;然后利用节点的邻接领域信息在模型中进行联合优化,从而能有效地捕捉到网络的高度非线性结构;最后根据隐藏层得到节点的向量表示,利用支持向量机对节点进行多标签分类。验证实验采用3个公开的网络数据集,实验结果表明,与基准方法相比,本文方法在多标签分类任务中能取得更好的效果。     

模型集省略初探

本文对一阶理论的势范畴性作了一点推广和补充说明，讨论了模型集被省略的几种情形．     

粒子群优化算法中加速因子的设置与试验分析

着重分析了粒子群优化算法中线性变化加速因子对粒子收敛的影响，使用4个著名的基准函数，对加速因子进行了测试，并在此基础上，对加速因子提出了一个推荐的设置值．模拟实验结果表明，该推荐设置值可以使粒子在搜索的初期获得更好的多样性，从而使粒子具有更强的摆脱局部极值的能力，在后期加快粒子的收敛速度以提高PSO算法的性能。     

寻找第一个对偶可行基的一般方法

文章给出了线性规划问题标准形式的一种较弱形式——准标准形并给出了相应的单纯形方法,然后以此为工具给出了寻找第一个对偶可行基的一般方法,从而为求解常量含参数的线性规划问题提供了一般解法.这一方法使对偶单纯性方法这一理论体系得以完善.