一种启发式的分布式最大独立集算法

从最大独立集问题的0-1整数规划数学描述入手,首先针对树图情形提出了一种基本的分布式树（Tree）算法,并证明该算法在树图情形下是最优的,然后将该Tree算法针对一般图情形进行了启发式的修正,得到一种新的分布式修正树（m-Tree）算法.理论分析表明,当图为树或二分图时,m-Tree算法可以简化为基于信用传播（BP）的分布式算法,是对BP算法的一种推广.仿真结果表明,对于树或二分图情形,m-Tree算法与BP算法都能收敛至最优解;对于一般图情形,m-Tree算法的收敛性能与权和性能均远优于BP算法,并且其权和性能接近最优解.     

4LB-0.6半喂入水稻联合收割机升降割台连杆优化设计

对4LB-0.6半喂入水稻联合收割机升降割台连杆机构提出了设计,得出了连杆安装尺寸与长度尺寸。将上下转臂连杆宽度厚度作为可变参数,通过Solidworks Simulation对割台虚拟样机简化机构工作位进行了108种设计情形的参数化设计算例有限元分析,列举出了上下转臂各设计情形最大应力历史图表、最大合位移历史图表。通过加权法综合分析法对于体积、最大应力、最大合位移评价指标进行综合处理,得出了最优设计情形,质量减轻43.42%。     

给定割点数的单圈图的第二大谱半径

谱图理论的一个主要问题是研究图的结构性质如何由图的谱性质反映.割点数是图的重要结构参数,讨论了单圈图的割点数和谱半径之间的联系.在刻画了给定割点数的单圈图中具有最大谱半径图的结构基础上,延续这一讨论,刻画了在某些情形下,给定割点数的单圈图中具有第二大谱半径的图的结构.     

广义树网络中的多端割

给定一个边赋权图和k个顶点(称为终端)的集合,多端割问题是要找到一个最小 权的边集,该边集使得每一个终端与其他所有的终端分离.对于一般图来说,当k为不小于3的常数时,这一问题是NP-难解的.对于广义树网络给出了这一问题的一个多项式时间精确算法.     

固定设计点情形下回归函数值的区间估计

对于固定设计点情形下的非参数回归模型,基于核估计的方法给出了回归函数的逐点置信区间和修正偏差置信区间.所给置信区间在相对较弱的条件下是渐近精确的.考虑到窗宽的选取对核估计和区间估计的重要影响,给出了适合所给置信区间的核估计窗宽的迭代选取方法.模拟结果显示迭代法收敛,且选取的窗宽表现良好,置信区间有令人满意的覆盖率.     

用关联矩阵求解最小割集方法

将关联矩阵引入到事故树分析中,通过对关联矩阵的运算,得出求解最小割(径)集的简便算法,为计算机辅助事故树分析的程设计提供新的途径.     

图中生成树数目的一个上界

图论中一个重要的极值问题是刻画具有最大生成树数目的某些图类的特征。利用图中割点数或割边数目,给出了连通图中生成树数目的上界。     

超短脉冲高次谐波谱的连续性

研究超短脉冲（3个光学周期）高次谐波发射功率谱的性状及其成因. 结果表明, 短脉冲谐波谱与长脉冲（10个光学周期）相比, 其平台区末端的谐波谱变得伪连续. 这是由于3个原因导致该现象: (1) 在短脉冲情形下, 谐波的生成仅经历1~2次辐射, 在长脉冲情形下, 谐波的生成经历多次辐射的累加; (2) 对于相同的谐波级次, 短脉冲比长脉冲的谐波线宽宽; (3) 短脉冲比长脉冲的激光频谱宽.      

割点图的Avalanche多项式

利用图的常返构形与支撑树的关系,研究有割点图的avalanche大小及其avalanche多项式.     

有限厚势垒量子阱中杂质态结合能

利用变分法对有限厚势垒GaAs/AlxGa1-xAs量子阱结构中杂质态结合能进行数值计算,给出杂质态结合能随阱宽、垒厚和杂质位置的变化关系,且与无限厚势垒情形进行比较.结果表明,有限厚势垒杂质态结合能明显小于无限厚势垒情形.同时,在中间阱宽时,这两种情形的杂质态结合能差别最大,在宽阱时,差别最小.此外,还考虑电子有效质量、材料介电常数及禁带宽度随流体静压力变化对杂质态结合能的影响.     

割宽与图的有关参数（英文）

起源于VLSI设计及网络通讯，一个图的割宽是将它嵌入于一条路的最小“拥挤度”，研究了割宽与其它图论参数的关系，包括与带宽、路宽、树宽及页数的关系。     

一类新变换图的基本性质

通过引入符号\,“通过引入符号"0",定义了一类新的变换图.首先对于一般的非空简单无向图G,研究了它的10种新变换图的连通性和正则性.特别对于正则图G,利用图G的谱刻画了其变换图的谱.     

一族孤立子系统的规范变换

立足于一个2×2谱问题, 推出了一类新的(1+1)维孤子方程族, 对该方程族中的参数取不同的值, 可得到广义TD族, TD族, 广义C-KdV和C-KdV, 另外, 此2×2谱问题与AKNS谱问题存在着规范变换, 位势函数之间也存在广义Miura 变换, 进而, 两孤子方程族之间满足一定的等价关系。     

关于图的拓扑带宽与割宽的关系的一些结果

运用图的剖分为工具，本文讨论图的拓扑带宽和割宽的关系。     

一类变换图的同构问题

利用度序列的概念,证明变换图G~(--+)与H_n~(--+)同构,当且仅当G与_n同构.以及在G连通的条件下,G~(--+)与C_n~(--+)同构,当且仅当G与_n同构.     

保等价关系变换半群T_E(X)的秩

设TX为集合X上的全变换半群,E为X上一个非平凡的等价关系.令TE(X)={f∈TX∶(a,b)∈E■(af,bf)∈E}则它在映射的合成运算下做成TX的一个子半群.称TE(X)为保等价关系变换半群.现讨论对于一个特殊情况,即X是有限的且E只有两个等价类,分别含有r,l(l>r>1)个元.我先讨论同胚群G的秩,然后考虑的TE(X)秩.结果发现,这时TE(X)有一组生成元,含有Crl+7个元素,从而确定了TE(X)的秩不超过Crl+7.     

基于音素相关后验概率变换的发音质量评价

帧规整对数后验概率是目前公认最有效的发音质量的度量。但该文证明了该度量还反映了当前发音对应的声学模型与概率空间中声学模型的混淆程度,使其在评分任务上存在着严重的缺陷。因此,该文提出了可训练的音素相关的后验概率变换;并研究了线性和非线性sigmoid变换,同时给出线性变换的显式全局最优解和非线性变换的梯度下降解法。在全国采集的普通话水平测试现场考试的篇章朗读题型上进行实验。实验结果表明:当概率空间包含所有音素时,该方法能使人机相关度从0.582提升至0.768;当采用优化的概率空间时,该方法能使人机相关度从0.696提升至0.773。     

Research on transformation from UML statechart to interface automata

This paper studies the problem of deriving an interface automata model from UML statechart, in which, interface automata is a formaliged model for describing component behavior in an open system, but there is no universal criterion for deriving behavior from component to construct the model. UML is a widely used modeling standard, yet it is very difficult to apply it to system verification and testing directly for its imprecise semantics. After analyzing the expression ability of the two models, several transformation rules are defined and each step of transformation is described in detail, after that, the approach is illustrated with an example. The paper provides a method for acquiring interface automata and lays the foundation for related research.     

用投影变换方法解决画法几何问题的研究

介绍换面法、旋转法和斜投影法等三种投影变换方法,并分析各自的画法特点,指出每种方法可解决的画法几何类型题,并进一步总结出每一种投影方法最适合解决的类型题.     

线接触弹流润滑问题的贴体坐标变换和交错网格解法

通过贴体坐标变换把带这界的线接触弹流润滑问题化为定边界问题。在分析了目前常用解法的二阶格式失隐的原因后，提出了一种交错网格二阶格式。算例表明，本二阶格式不令比一阶格式的精度有显著提高，而且具有良好的数值稳定性。