标准ML语言基本库

在所有的现代编程语言中，标准ML被公认为是属于最高级别的，由于其严密的语法定义，因此，被许多应用优先选择；另外由于其定义明确，因此可移植性很高。本书描述了标准的ML基本库，该基本库足够的丰富和有效支持这一通用语言的日常任务，书中提供了用于标准ML(SML)语言的基本类型及函数的集合，它们是由标准的ML定义(经修订的)[MTHM97]所描述的。     

Остроградский──Gauss定理的一个注记

本文给出在一定条件下，即使在闭曲面围成的空间区域内有奇点公式也同样成立。     

多属性决策的一种主客观综合法

本文针对一类具有判断矩阵的多属性决策问题，提出了一种主客观综合法，即通过求解一个双目标决策问题来确定属性指标的权向量，并以实例说明该方法的应用。     

多自由度系统振动的Barnett-Lothe矩阵

利用Stroh理论的本征方程与多自由度振动的方程非常相似特点,将Stroh理论推广到多自由度系统振动的分析研究中,获得多自由度振动的Barnett-Lothe矩阵及Barnett-Lothe积分公式,避免了求解特征值和特征向量的麻烦。     

矩阵范数的界和方阵的ρ-条件数

本文给出了长方矩阵的p-范数及更广一类矩阵范数的上、下界又给出了方阵的p-条件数等于1的条件。(1≤p≤ ∞)。文[1]则是p=2的情况。前三节讨论p-条件数,第四节讨论长方矩阵范数的界。     

统计模式识别的研究

模式识别的基本目标就是在有监督和无监督的情况下进行分类,在模式识别的各种模型中,基于统计的方法已经被广泛的研究并应用于实际.一些新的技术和方法的引入（神经网络和支持向量机方法）也促进了该领域发展,文章研究了基于统计的模式识别的进展情况,给出了模式识别的概念、原理、方法并对各种方法进行了相关的评述.     

求异面直线间距离的直接求解法和向量法

异面直线间距离是指夹在两条异面直线间公垂线段的长度，求异面直线间距离一直以来都是距离问题中的难点，在此就如何求异面直线问题距离谈两种常用方法—直接求解法和向量法。     

关于极值问题的一个注记

本首先把一元函数极值从本质上推广到多元函数极值，进一步给出了以往教材中没有提到的，关于三元函数极值的有效的具体判别方法。     

谈两种不同的拟序

对近年出版的高等学校教学参考书和专著中关于拟序的两种不同的定义进行了讨论，分析了二者的性质、异同和关系，并给出了消除同名异义性的建议。     

基于多尺度排列熵和正则化RVFL的高压隔膜泵单向阀故障诊断

高压隔膜泵单向阀运行工况复杂,运行时产生的振动信号具有非线性、非平稳特性,导致信号特征提取困难,故障状态难以识别.为了提取单向阀运行状态的非线性动力学特征,提升故障诊断模型的识别精度和泛化能力,提出了一种基于多尺度排列熵（Multi-scale Permutation Entropy,MPE）和正则化随机向量函数链接（Random Vector Functional Link,RVFL）网络的单向阀故障诊断方法.首先,对工况下采集的单向阀振动信号进行变分模态分解（Variational Mode Decomposition,VMD）获得既定的若干本征模态函数（Intrinsic Mode Function,IMF）分量;然后,计算IMF分量的多尺度排列熵,构建表征单向阀运行状态的特征值向量;最后,基于运行状态的特征值向量,建立正则化随机RVFL的故障诊断模型,并应用于单向阀的运行状态监测与识别.实验结果表明,构建的故障诊断模型能够精确地识别单向阀的故障类型,准确率达到98.89%.