BCK-代数上的包含度

本文将张文修提出的包含度引入BCK-代数中,证明了一类BCK-代数的包含度的存在性,给出了BCK-代数上包含度的基本性质,刻划了BCK-代数拟紧性的特征．     

有关“二极管特性曲线测定”实验的讨论

普通物理实验教材中,对“二极管特性曲线测定”实验未加讨论直接采用了Id＝Ie（exp（eV/kT）-1）的解析公式,要求由实验结果求出指数e/kT,从而求出电子电荷e,或波尔兹曼常数k,并和理论值比较,考察实验误差．这种要求由于实际结果偏离解析公式较大,因而不尽合理．本文讨论了有关实验结果,并对上述结论作了必要的说明．最后建议对该实验的要求作合理的调整,即主要考察V—A的一般关系．     

具有齿轮—绳索机械系统动态力学特性的研究方法

建立了具有齿轮—绳索机械系统的离散—连续动态力学模型;应用“动态子结构方法”并引入“虚约束”的概念得到了该类力学模型的动态响应;最后,应用该方法进行了实例计算,计算结果表明,其计算精度高于对应的离散动态力学模型。     

聚类加权PSO-LSSVR的模拟电路性能在线评价策略

针对模拟电路性能在线评价中现场数据采集不可避免产生错值和干扰的问题,运用模糊C-均值聚类（FCM）方法,根据数据特征将电路模型分为多个子模型,同时对子模型样本进行加权;利用标准支持向量机（LSSVR）,结合粒子群算法（PSO）对于参数优化的优越性,实现对于错值、干扰参数的有效抑制.考虑到传统的离线评价策略在训练样本组发生变化时,存在模型不能适时调整等问题,引入增减交互更新设计,实现模型的快速在线更新.实验以高效模拟电路实验为依托,采用近两年内由精密仪器设备测评所得的传统的OTL放大电路的八项技术指标构建训练集,建立PSO-LSS-VR的组合模型进行在线评价.结果表明：该方法能有效处理错值和干扰所带来的回归偏差,性能优于传统LSSVR法、ε-SVR法,评价精度与精密仪器性能评价精度近乎相同,同时具有运算速度优的优势.仿真实验进一步验证了模拟电路性能评价方法PSO-LSSVR的有效性.     

一类含有2n个非零元的极小谱任意符号模式

设A为n阶符号模式,如果对任意n次首1实系数多项式r(x),都有一个实矩阵B在符号模式A的定性矩阵类Q(Α)中,且B的特征多项式为f(x)=r(x),则称A是谱任意的.如果A是谱任意的并且A的真子模式都不是谱任意的,则称A为极小谱任意的.文章对一类新的含有2n个非零元的n阶符号模式运用幂零——雅可比方法证明了其为极小谱任意模式.     

基于并查集的DBSCAN算法设计

DBSCAN算法是经典的基于密度的聚类算法,能够在含有噪声的数据中发现任意形状的簇,但其效率较低．并查集常用于解决不相交集合的合并问题,将并查集的方法应用于DBSCAN算法的设计中,使得算法效率得到有效提高．     

基于人—机—环境耦合效应的掘进工作面安全高效生产

本文应用人机环境系统工程的科学理论和方法,系统地研究掘进工作面人—机—环境系统的耦合效应,实现掘进工作面的安全、高效生产。文中分析了人—机—环境三个子系统的构成要素,探讨了各子系统和要素之间的关联,并提出增进整个掘进工作面安全高效生产的方法,得出在一定掘进工作面条件下,人的因素是安全生产的核心,通过提高人的素质和能力更好的实现掘进的安全高效。     

逼近紧Chebyshev集的太阳性

设X是局部一致凸空间,G是逼近紧Chebyshev集.证明了G是逼近紧Chebyshev集的充分必要条件是G是太阳集.     

紧李群上的卷积

利用紧李群G上一类卷积算子的自伴性和紧性,给出了L^2（G）的一种分解,并利用此分解方式回到了S^1上经典的Fourier分析,将泛函分析、李群、Fourier分析联系起来.     

S-亚紧空间

文章引入了S-亚紧空间,并且获得3个主要结果:(1)如果(X,J)是一个S-亚紧的T_2空间,则对X中的任意一个闭集A和不属于A的任一点x,存在U∈J,V∈SO(X,J)使x∈U,A■V且U∩V=φ。(2)如果(X,J^α)是S-亚紧的,则(X,J)是S-亚紧的。(3)(X,J)是一个极不连通的T_2空间,则(X,J)是S-亚紧的当且仅当X的每个开覆盖V0有一个点有限的正则闭加细V,V∈RC(X,J)。