环型二元序列的赋权对换排序问题

研究了环型二元序列的赋权对换排序问题。定义一个长度为l的对换的费用是f(l)=lα,0≤α<1,对环型二元序列的赋权对换排序问题给出了一个O(logn)近似算法,其中n是环型二元序列的长度。     

二部图上的K1,m划分问题

 考虑了二部图上的|V|-K_1,m划分问题.首先利用网络最大流与网络最小费用流算法给出了赋权二部图上该问题的1个多项式算法,然后证明了:不考虑二部图上的权重或w是一固定常数时,该算法的复杂度为O((|V|+|U|)³.最后证明了:赋权二部图上最小最大|V|-K_1,m划分问题是NP-难的.     

带机器准备时间的同类机在线与半在线排序问题

研究带机器准备时间的m台同类机(uniform machines)在线和半在线排序问题，目标函数为极小化最大机器(工件)完工时间。对于在线情形，证明了LS算法的最坏情况为ρ=｛（1 √5）/2，m=2,1 √2m-2/2,m≥3，并且当m=2，LS算法是最好的近似算法；当m=2，3，…，6时界是紧的，特别地，当s1=s2=…=sm-1,sm≥l时，证明了LS算法的最坏情况界为ρ=｛（1 √5）/2，m=2,3-4/m 1,m≥3，而且界是紧的；对于已知加工时间递减的半在线排序问题，证明了LS算法的最坏情况界为2—2/(m 1)。     

多人评判的不可能性

赋权评判法运用于实际问题时,往往遇到多人评判(或称群组评判)的情况,即先由个人按一定要求对指标集合中每一指标赋权,权值属于[0,l],通常令l=1.然后按一定法则综合各个评判者所赋的权,得出指标的综合排序,本文主要讨论了不可能存在综合个人“赋权”的函数,这是在引进信息可比性后(即考虑了各评判者对同一指标赋权大小这个因素),在更普遍的意义上证明了不可能性.     

系统Hα中的广义重言式理论

给出了一类带参数的[0，1]上的t-模*α及与之伴随的新的蕴涵算子Hα(0≤α≤1)，进而建立了多值系统Hα．当α＝1时，Hα就是R0型蕴涵算子；α＝0时，Hα是Godel蕴涵算子，所以R0算子与Godel算子在Hα系统中统一起来．在Hα系统中引入了带参数的非运算フα，研究了多值系统H1/2＝(フ1/2，V，→1/2)，以H1/2为赋值域建立了F(S)中重言式的分类定理，并将广义重言式分类定理推广到系统Hα(O＜α＜1)中．     

部分工件必须不误工的误工排序问题

排序论中使误工工件的个数为最少的单台机器排序问题,称为误工问题,是排序论中最基本的问题之一.1973年,Sidney研究在工件的一个子集T中的工件必须不误工的条件下,使误工工件的个数为最少的误工排序问题1｜T｜∑Uj,并且给出该问题复杂性为O(n log n)的多项式算法--Sidney算法.本文把Sidney 算法改写成比较简洁的算法1,1)步骤1:设E 0=T,J－E 0=｛j1,j2,…,jm｝,j1＜j2＜…＜jm,m=n-｜T｜,令k=1:2)步骤2:若k=m+1,算法终止,(Em,J－Em)就是最优排序:若k＜m+1,转入步骤3:3)步骤3:设Fk=Ek-1∪{jk},计算Ek如下:如果Fk是不误工子集,令Ek=Ek-1∪{jk}:否则,如果Fk不是不误工子集,令Ek+Fk\{jr}.其中工件jr的加工时间为pr=max{pi｜ji∈Fk\T}.Ek中的工件是按EDD序排列.k=k+1,转入步骤2.并用数学归纳法证明算法1产生的排序是该误工问题的最优解.     

基于对换门库的可逆逻辑电路综合算法

为了将可逆函数以较小的代价自动构造为对应的可逆逻辑电路,提出了一种基于对换门库的综合算法.首先,将可逆函数的输出作为快速排序算法的输入数据,在排序算法中按顺序保留所交换的元素对,并输出该元素对序列；其次,利用置换群规则对该序列进行优化处理,获得相似度最高的对换序列；然后,逆序排列该对换序列,并基于对换门库生成可逆函数的初始电路；最后,应用电路门优化规则,对初始电路进行优化,得到最终的可逆逻辑电路.相比于其他算法,所提算法明显提高了可逆逻辑综合效率,其思想的简洁性使得算法更易于理解和实现.     

Cn中Stieltjes积分族与几个全纯函数空间的关系

在Cn中讨论了Cauchy-Stieltjes积分族Jp和Bloch型空间、Besov空间、Bergman空间的包含关系，得到如下结果：(1)当0≤q＜p+1-n时，βqJp；（2）当p≥0,q＞p+1时，Jpβq；(3)当q＞p≥0时，JpΔq；(4)当p＞0时，ΔpJp；(5)当0＜p＜n+1且0＜q＜(n+1)/p时，JpLqa；(6)当n+1＜p＜∞且max｛0，n+1-（pn)/(n+1)｝＜σ＜1时，L(n+1)/p)aJp+σ.     

二阶非线性常微分方程的三点边值问题的一个存在定理

获得了非线性二阶三点边值问题w^n(t) f(t,w(t)＝0.0≤t≤i；w（0）=0，αw（η）=w（I）的一个正解存在定理，其中0＜η＜1，0＜α＜l／η。在此，非线性项f既不是超线性又不是次线性的。结论是通过使用锥拉伸与锥压缩型Krasnosel’sskii不动点定理获得的。某些现有的存在性结论得到了改进和推广。     

非线性分数阶微分方程边值问题多重正解的存在性

 研究了非线性分数阶微分方程边值问题 ^cD^α₀₊u(t)+f(t,u(t))=0, 0cD^α₀₊为Caputo分数阶导数.通过Green函数的性质,利用不动点定理得出了奇异和非奇异微分方程边值问题多重正解的存在性的一些理论以及奇异问题的唯一解存在性理论,并给出了相应的例证.     

一类时滞微分方程的稳定度

系统的性能的系境的好坏与其稳定度有着紧密的联系,在本文中我们建立了由时滞微分方程(?)所决定的系统的稳定度公式,以及稳定度的的某些粗略估计。     

确定双曲型方程未知系数的反问题

本文在有界区域上讨论了一雏线性双曲型方程的初边值问题. {p(x)ux)x q(x)u(x,t) r(x)s(t), (x,t) ∈Ωu(x,0) =f1(x), u1(x,0) =f2(x), 0≤ x ≤ lαtu(0,t) β1ux(0,t)= g1 (t), α2u(l,t) β2ux(l,t)= g2(t), 0≤ x ≤ T 其中αi2 βi2≠0,i=1,2,由给定的平行附加条件u(x,t)=f3(x),确定未知函数r(x)的反问题,得到了反问题解的存在性和唯一性.     

一致连续的多维倒向随机微分方程的L1解

建立了一致连续的多维倒向随机微分方程 (BSDE)L1 解的一个新的存在唯一性结果,其中生成元g关于y满足Osgood条件,关于z是α-Hölder(0＜α＜1)连续的,并且g的第i个分量仅仅依赖于矩阵z的第i行.     

α-次预解算子族在有界扰动下的性质保持

作者考虑了α-次预解算子族（1＜α＜2）在有界扰动下的性质保持,证明在适当条件下扰动α-次预解算子族继承了原有预解族的范数连续性,紧性以及可微性.     

分数阶微分方程边值问题正解的存在性

利用不动点指数理论,在相应线性算子的第一特征值的条件下,对下面的分数阶微分方程建立了正解的存在性定理Dα0+u(t)+f(t,u(t))=0,0相似文献   

具p-Laplacian非线性奇异边值系统正解的存在性

研究了下面带有p-Laplacian算子的非线性奇异边值系统:(ф_p(u'_i))'+a_i(t)f_i(u₁,u₂)=0, 0＜t＜1,α_iф_p(u_i(0))-β_iф_p(u'_i(0))=0, γ_iф_p(u_i(1))+δ_iф_p(u'_i(1))=0,(i=1,2)正解的存在性。其中ф_p(s)为p-Laplacian 算子,即ф_p(s)=|s|^p-2s, p>1, (ф_p)^-1=ф_q,1/p+1/q=1, α_i＞0, β_i≥0, γ_i＞0, δ_i≥0, i=1,2.这里f_{i是下半连续函数(i=1,2). 通过使用锥上的不动点定理,在相当弱的条件下, 获得了这类奇异边值系统正解的存在性.}     

欧拉函数的例外值

研究了一个数论问题：欧拉函数的例外值,得到了n=4p1^α1p2α2…psαs（p1,…,ps为互异的奇质数）即4‖n的n为Euler函数例外值的充分必要条件.     

α-可逆环的一点注记

设α是环R的自同态。称环R为右α-可逆环,如果对任意的a,b∈R若ab=0,则bα（a）=0.本文讨论了α-可逆环,α-刚性环,可逆环和弱α-Skew Armendariz环的关系。设R是可逆环和右α-可逆环,证明了：（1）R是弱α-Skew Armendariz环;（2）对任意的正整数n, R[x] /（x^n）是弱α-Skew Armendariz环;（3）若αt=1R,则R[x;α]是弱Armendariz环.     

α-可逆环的一点注记(英文)

设α是环R的自同态。称环R为右α-可逆环,如果对任意的a,b∈R若ab=0,则bα(a)=0.本文讨论了α-可逆环,α-刚性环,可逆环和弱α-Skew Armendariz环的关系。设R是可逆环和右α-可逆环,证明了:(1)R是弱α-Skew Armendariz环;(2)对任意的正整数n, R[x] /(xn)是弱α-Skew Armendariz环;(3)若αt=1R,则R[x;α]是弱Armendariz环.