用ALE法数值模拟三分支管三维气体流场

采用分块耦合技术,利用泊松方程生成三维贴体网格．用ＡＬＥ法对一截面为圆形的三分支管三维稳态湍流流场进行了数值模拟,并与激光多普勒测量结果进行比较．计算显示：模拟结果与试验结果符合较好,能反映三分支管的流动特性．     

函数子卡诺图及其在逻辑设计中的应用

在逻辑电路的设计过程中,经常涉及到用卡诺图化简逻辑函数,本文给出一种新的化简方法,即函数子卡诺图的化简法,同时举例说明在逻辑设计中的应用。     

三角网格上的矩阵值有理插值

借助于Sam elson 型矩阵广义逆,构造了三角网格上的矩阵值有理插值,其表现形式为Thiele型二元连分式.矩阵有理插值的等价性、特征性和唯一性得到了证明.     

枇杷枝条修剪机器人的视觉识别和框架提取

通过对枇杷枝条特征图像的分析,提出了一种枇杷枝条图像识别和框架提取的方法.该方法首先通过对亮度进行转换,找到通用的分割阈值;然后将分割图像和转换的二值图像进行叠加,获取初始枇杷枝条特征图像;再利用枇杷枝条的连枝特征进行第二次特征图像的提取和噪音的消除;之后通过枝条边界轮廓和非合理间断部分的补偿处理,完成枇杷枝条框架的提取,获得机器人修剪所需的枇杷枝条直径和中心点坐标.文中还通过实例对该方法的准确性进行了验证,枇杷枝条图像正确识别率达91.2%.     

无平方因子的优美指数问题

对形如P1P2…Pk（Pi为相异素数）的无平方因子的正整数是否为优美指数的问题进行了一些探讨．否定了唐波在文献[5]中提出的一个猜想．     

求解凸比凸比式和问题的单纯形分支定界方法

针对凸比凸比式和问题提出一单纯形分支定界算法.该算法通过引入新的变量将原问题转化为一系列线性规划子问题,从而可用标准的单纯形方法求解这些子问题,且随着迭代次数的增加子问题规模并不扩大.另外从理论上证明了算法能收敛到原问题的全局最优解,且数值实验表明算法是可行的.     

一个数论函数τsp（n）的均值

引入了一个新的数论函数,称其为简单除数函数,给出了两个引理,在这些的基础上运用初等方法研究了简单除数函数的均值性质．得到了一个渐近公式并给出了相应的证明．     

关于Smarandache函数及Smarandache LCM函数的混合均值

目的研究一个包含Smarandache函数S(n)及Smarandache LCM函数SL(n)的混合均值问题。方法利用初等及解析方法以及组合技巧。结果证明了在一个给定区间[1,x]上,满足S(n)≠SL(n)的正整数的个数与x相比,是一个高阶无穷小。给出了一个混合均值公式。结论函数S(n)与SL(n)的值几乎处处相等。     

幂矩阵的秩展开公式

设A是n级复数矩阵,E←可逆矩阵T,使A^m=Tdiag[J1^m,J2^m,…,J2^m]T^-1,其中：Ji（i=1,2,…,s）是初等因子（λ-λi）^ri所对应的若当块,并且∑i=1sri=n,借助等式rankA^m=∑i=1srankJi^m,利用rankJi^m的特点,分别从A是否可逆两个角度及幂指数m的不同取值范围,给出了幂矩阵A^m的秩rankA^m的展开公式。     

任务工期随实际开工时间变化的RCPSP精确算法

针对资源受限项目调度展开讨论 .与前人研究的侧重点有所不同 ,我们考虑了项目中每个任务工期随其实际开工时间而变化、任务对可更新 (再生 )资源需求的任意分布、以及可更新 (再生 )资源的最大供给量随着时间而变化的一般情形 .作为对前人研究结果的进一步推广 ,我们利用分枝定界技术 ,以及事件驱动的时间增量方式 ,成功地获得了这种一般的项目调度问题的最优解 .