序半群Quantale完备化的进一步结果

本文给出了序半群上幂集Quantale的最大拓扑闭包的具体形式,即序半群的最小Quantale完备化.在此基础上,证明了Quantale范畴Quant是序半群范畴OSGrp*的满的反射子范畴.最后,给出了序半群Quantale完备化的一个应用.     

求解二次分配问题的新的流量模型

二次分配问题是具有广泛应用背景的经典组合优化难题之一。本文在二次分配问题已有线性化模型的基础上,提出了一种新的基于流量的线性化模型。数值试验结果表明,新模型无论从时间上还是计算节点数都更具有优势。     

低气压下长间隙工频放电试验平台研究

为研究极高海拔低气压下工频放电特性,搭建了包括真空试验腔、真空泵、真空计、工频电源、高速摄像机等仪器的低气压长间隙工频放电试验平台,并对其气密性和放电性能进行测试。该平台可实现23 Pa~100 k Pa范围内气压调节和600mm以内放电间隙调节。测试结果表明:试验平台能够模拟海拔20 km以上的长间隙工频放电,且对于试验周期较短的工频放电特性研究具有良好的气密性和放电性能。研究成果对高海拔低气压下长间隙放电特性研究具有重要参考价值。     

吉林省西部地区野生杀虫植物资源调查

报道了吉林省西部地区野生杀虫植物共计118种,分属43科.对杀虫植物资源进行评价,可为该资源开发利用提供科学依据.     

高师物理专业力学课程改革--普通物理力学和理论力学打通教学的实践与思考

本文讨论了高师物理专业力学课程实施教学改革,打通普通物理力学和理论力学教学的必要性和可行性,介绍了我们实施改革教学的实践和思考。     

传送流的软实时复用

MPEG2是由运动图像专家组织提出的图像及其伴音的通用编码标准,该标准在广电网络获得大量应用,MPEG2标准的研究是本论文的基础,论文对与本课题相关的MPEG2标准进行了说明,给出了软件实现传送流实时复用的方法,并详细介绍了其协议处理和时钟处理的原理和实现.最后对算法的性能和可行性进行了分析,得出实验结论.     

区间直觉模糊判断矩阵群决策中的逆判问题

研究了区间直觉模糊判断矩阵的群决策问题.定义了两种区间直觉模糊集相似度公式,给出两种与决策群体意见一致性程度最高的理想区间直觉模糊判断矩阵构造优化方法.利用矩阵对不同专家判断矩阵中相同位置元素的一致性进行分析,并对不同专家的判断信息进行整体相似程度分析,最后通过算例说明了该方法的有效性和实用性.     

关于结构分解技术中两种分解方法的比较研究

投入产出技术中的结构分解技术被广泛的应用于经济系统的各个领域,但随着不同的经济分析的需要,发现传统的结构分解方法——算术分解法在分析效率、强度等指数型指标时存在一定的分解困难。因此,本文提出了广义指数分解方法的基本概念和一般解,通过模型建立、以及我国生产能源消耗量的实证分析,对两种分解方法进行比较。研究表明,两种分解方法适用不同的指标形式,广义指数分解法在分析指数型指标时,更具优势。     

一类二阶非线性差分方程的全局吸引性

考虑二阶非线性差分方程xn＋1=a＋bxn/A＋xn-1,n=0,1,2,….证明了当条件a,b,A∈（0,∞）成立时方程的唯一正平衡点x^-=（b-A＋√（（b-A）2＋4a））～（1/2））/2是方程的所有正解的一个全局吸引子,所得推论证明了由Kocic和Ladas提出的一个猜想是正确的.     

关于复对称矩阵特征根的补注

This note investigates the relationship of eigenvalues of Hermitian matrices P and UPU+ with UU+ = Ik and k ≤ n. We present several equivalent conditions for λi(UPU+) = λi(P) (i ≤ k ≤ n).