系统RDP中的广义重言式理论

研究带参数的模糊逻辑系统RDP中的广义重言式理论.结果表明系统RDP中只有三种不同的广义重言式,即(1/2),重言式,(1/2)+-重言式和重言式.将一些多值逻辑系统和模糊逻辑系统中行之有效的升级算法运用于系统RDP,证明在该系统中,升级算法可以将可迭0-重言式和可达(1/2)-重言式分别提升为可这(1/2)-重言式和可达(1/2)+-重言式,但是,对可达(1/2)+-重言式升级算法的结果仍然得到可达(1/2)+-重言式.这表明对非重言式有限次利用升级算法未必能得到重言式.     

基于lp有界噪声的压缩数据分离

本文考虑l_p有界噪声约束下的压缩数据分离问题,即从压缩测量数据中重建信号的不同稀疏子成分.为了重构不同框架D₁∈R^n×d₁和D₂∈R^n×d₂下(近似)稀疏的不同子成分,我们首先提出了l₁-αl₂分解分析算法,在测量矩阵满足一定的约束等距性条件且字典之间满足某个相互相干性条件时,此算法可以处理不同噪声干扰下的信号分离问题.此外,基于经典Dantzig Selector模型,我们还引入了l₁-αl₂分解分析Dantzig Selector算法,在适当条件下此算法也可以稳定分离压缩数据.数值实验表明,l₁-αl₂最小化算法对于冗余紧框架下的数据分离问题具有鲁棒性和稳定性.     

分布式L_(1/2)正则化

研究数据集被分割并存储于不同处理器时的特征提取和变量选择问题,其中处理器通过某种网络结构相互连接.提出分布式L_(1/2)正则化方法,基于ADMM算法给出分布式L_(1/2)正则化算法,证明了算法的收敛性.算法通过相邻处理器之间完成信息交互,其变量选择结果与数据集不分割时利用L_(1/2)正则化相同.实验表明,所提出的新算法有效、实用,适合于分布式存储数据处理.     

复合并行机F''''2|m1≥2,m2=1|Cmax排序问题的归并算法研究

在文献[1]中,已经证明了排序问题F2|m1≥2,m2=1|Cmax是NP完全问题,没有好算法.本文提出了复合并行机F'2|m1≥2,m2=1|Cmax排序问题的一个启发式算法--归并算法,并证明了该算法在最坏情况下的性能比(Performance Ratio)是2m-1/m,且优于文献[2]中算法.     

Pm||C_(max)问题的算法A_(KK)的一个改进的最坏情况性能比(英文)

本文考虑的是平行机排序问题Pm||Cmax.对此问题Knuth和Kleitman给出了一个近似算法AKK,Graham证明了此算法的最坏情况性能比不大于1 (1-1/m/1 |k/m|),而且当k(?)0(modm)时这个界是紧的.在本文中我们给出了此算法的一个改进的最坏情况性能比:1 max{1-1/m/1 k1 1/m,1-1/m-k2/1 k1},其中k1和k2为非负整数且k1m k2=k.本文证明了当k2≠0时,它好于Graham的结果,同时我们给出了两个实例说明这个界是紧的.     

Pm‖Cmax问题的算法AKK的一个改进的最坏情况性能比

本文考虑的是平行机排序问题Pm‖Cmax.对此问题Knuth和Kleitman给出了一个近似算法AKK,Graham证明了此算法的最坏情况性能比不大于1＋1-1/m/1＋｜k/m｜,而且当k≡0（modm）时这个界是紧的.在本文中我们给出了此算法的一个改进的最坏情况性能比： 1＋max{1-1/m/1＋k1＋1/m,1-1/m-k2/1＋k1},其中k1和k2为非负整数且k1m＋k2=k.本文证明了当k2≠0时,它好于Graham的结果,同时我们给出了两个实例说明这个界是紧的.     

P_*(κ)线性互补问题基于一类新核函数的大步校正内点算法(英文)

本文采用一簇新的核函数设计原始-对偶内点算法用于解决P*(κ)线性互补问题.通过利用一些优良、简洁的分析工具,证明该算法具有O(q(2κ+1)n1/p(logn)1+1/qlog(n/ε))迭代复杂性.     

具有时间与位置相关的两类平行机排序问题

研究带有维修时间限制的时间和位置效应平行机排序问题,涉及同型机和非同类机两种机器类型.工件的实际加工时间同时受到位置效应和时间效应影响,且机器具有维修限制.目标函数由机器负载,总完工时间与总等待时间组成.非同类机情形下,通过将排序问题转化为指派问题,给出多项式时间算法,其算法的时间复杂度为O（n^k+2/（k-1）!）.同型机情形下通过转化目标函数,使用匹配算法得出排序问题的多项式时间解,其时间复杂度为O（（2n+m+n log n）n^k-1/（k-1）!）.     

基于l1-l2范数的块稀疏信号重构

压缩感知(compressed sensing,CS) 是一种全新的信息采集与处理的理论框架,借助信号内在的稀疏性或可压缩性,可以从小规模的线性、非自适应的测量中通过求解非线性优化问题重构原信号.块稀疏信号是一种具有块结构的信号,即信号的非零元是成块出现的.受YIN Peng-hang, LOU Yi-fei, HE Qi等提出的l_1-2范数最小化方法的启发,将基于l₁-l₂范数的稀疏重构算法推广到块稀疏模型,证明了块稀疏模型下l₁-l₂范数的相关性质,建立了基于l₁-l₂范数的块稀疏信号精确重构的充分条件,并通过DCA(difference of convex functions algorithm) 和ADMM(alternating direction method of multipliers)给出了求解块稀疏模型下l₁-l₂范数的迭代方法.数值实验表明,基于l₁-l₂范数的块稀疏重构算法比其他块稀疏重构算法具有更高的重构成功率.     

一种修正的CD共轭梯度法及其全局收敛性

求解无约束优化问题的共轭梯度法,其搜索方向的下降性往往依赖于所采用的线性搜索.将提出一种修正的CD算法,其搜索方向d_k始终满足1-1/u≤(-g_k~Td_k)/(‖g_k‖~2)≤1+1/u(u1),即算法在不依赖任何线性搜索的情况下能始终产生充分下降方向.同时,当采用精确线性搜索时,该修正的CD算法就是标准的CD共轭梯度法.在适当条件下,还证明了修正的CD算法在强Wolfe线性搜索下具有全局收敛性.最后,我们给出了相应的数值结果,说明了算法是一种有效的算法.     

von Neumann代数上的局部可乘Lie n-导子

A₁，…，A_n的（n-1）-换位子记为p_n（A₁，…，A_n）.令M是von Neumann代数，n ≥ 2是任意正整数，L：M → M是一个映射.本文证明了，若M不含I₁型中心直和项，且L满足L（p_n（A₁，…，A_n））=∑_k=1ⁿ p_n（A₁，…，A_k-1，L（A_k），A_k+1，…，A_n）对所有满足条件A₁A₂=0的A₁，A₂，…，A_n ∈ M成立，则L（A）=φ（A）+f（A）对所有A ∈ M成立，其中φ：M → M和f：M → Z（M）（M的中心）是两个映射，且满足φ在P_iMP_j上是可加导子，f（p_n（A₁，A₂，…，A_n））=0对所有满足A₁A₂=0的A₁，A₂，…，A_n ∈ P_iMP_j成立（1 ≤ i，j ≤ 2），P₁ ∈ M是core-free投影，P₂=I-P₁；若M还是因子且n ≥ 3，则L满足条件L（p_n（A₁，A₂，…，A_n））=∑_k=1ⁿ p_n（A₁，…，A_k-1，L（A_k），A_k+1，…，A_n）对所有满足A₁A₂A₁=0的A₁，A₂，…，A_n ∈ M成立当且仅当L（A）=φ（A）+h（A）I对所有A ∈ M成立，其中φ是M上的可加导子，h是M上的泛函且满足h（p_n（A₁，A₂，…，A_n））=0对所有满足条件A₁A₂A₁=0的A₁，A₂，…，A_n ∈ M成立.     

A Finite—dimensional Integrable System with Time Parameter

ＡＦｉｎｉｔｅ－ｄｉｍｅｎｓｉｏｎａｌＩｎｔｅｇｒａｂｌｅＳｙｓｔｅｍｗｉｔｈＴｉｍｅＰａｒａｍｅｔｅｒＺｈａｎｇＪｉｎｓｈｕｎ（张金顺）；ＷａｎｇＨｏｎｇｙｅ（王鸿业）（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＺｈｅｎｇｚｈｏｕＵｎｉｖｅｒ...     

Existence results for doubly near resolvable (υ, 3, 2)-BIBDs

Let V be a set of υ elements. A (1, 2; 3, υ, 1)-frame F is a square array of side v which satisfies the following properties. We index the rows and columns of F with the elements of V, V={x₁,x₂,…,x_υ}. (1) Each cell is either empty or contains a 3-subset of V. (2) Cell (x_i, x_i) is empty for i=1, 2,…, υ. (3) Row x_i of F contains each element of V−{x_i} once and column x_i of F contains each element of V−{x_i} once. (4) The collection of blocks obtained from the nonempty cells of F is a (υ, 3, 2)-BIBD. A (1, 2; 3, υ, 1)-frame is a doubly near resolvable (υ, 3, 2)-BIBD. In this paper, we first present a survey of existence results on doubly near resolvable (υ, 3, 2)-BIBDs and (1, 2; 3, υ, 1)-frames. We then use frame constructions to provide a new infinite class of doubly near resolvable (υ, 3, 2)-BIBDs by constructing (1, 2; 3, υ, 1)-frames.     

Gaussian fluctuations of eigenvalues in log-gas ensemble: Bulk case I

We study the central limit theorem of the k-th eigenvalue of a random matrix in the log-gas ensemble with an external potential V = q2mx2 m. More precisely, let Pn(d H) = Cne-nTrV(H)dH be the distribution of n × n Hermitian random matrices, ρV(x)dx the equilibrium measure, where Cnis a normalization constant, V(x) = q2mx2m with q2m=Γ(m)Γ(12)/Γ(2m+1/2), and m ≥ 1. Let x1 ≤···≤ xnbe the eigenvalues of H. Let k := k(n) be such that k(n)/n∈ [a, 1- a] for n large enough, where a ∈(0,12).Define G(s) :=∫s-1ρV(x)dx,- 1 ≤ s ≤ 1,and set t := G-1(k/n). We prove that, as n →∞,xk- t log n1/2 2π21/2nρV(t)→ N(0, 1)in distribution. Multi-dimensional central limit theorem is also proved. Our results can be viewed as natural extensions of the bulk central limit theorems for GUE ensemble established by J. Gustavsson in 2005.     

正交酉元列在有限von Neumann代数的迹自由积中的应用

令M_1为一个有限的von Neumann代数,τ_1为其上的一个忠实正规迹态.我们将证明,如果M_1中存在一列两两正交的酉元列{u_k:k∈N},则对任意具有忠实正规迹态τ_2的有限von Neumann代数M_2(≠C),迹自由积(M_1,τ_1)*(M_2,τ_2)是Ⅱ_1型因子.作为推论可以得出,如果M_1有一个von Neumann子代数N不包含最小投影,则对任意具有忠实迹态τ_2的有限von Neumann代数M_2(≠C),迹自由积(M_1,τ_1)*(M_2,τ_2)是Ⅱ_1型因子.     

Embedding of circulant graphs and generalized Petersen graphs on projective plane

Both the circulant graph and the generalized Petersen graph are important types of graphs in graph theory. In this paper, the structures of embeddings of circulant graph C(2n + 1; {1, n}) on the projective plane are described, the number of embeddings of C(2n + 1; {1, n}) on the projective plane follows, then the number of embeddings of the generalized Petersen graph P(2n +1, n) on the projective plane is deduced from that of C(2n +1; {1, n}), because C(2n + 1;{1, n}) is a minor of P(2n + 1, n), their structures of embeddings have relations. In the same way, the number of embeddings of the generalized Petersen graph P(2n, 2) on the projective plane is also obtained.     

振荡超奇性Hilbert变换的Sobolev有界性

主要研究R~n上沿曲线Γ(t)=(t~(p_1),t~(p_2),…,t~(p_n))的振荡超奇性Hilbert变换H_(n,α,β)=∫_0~1 f(x-Γ(t))e~(it-β)t~(-1-α),在Sobolev空间上的有界性,其中0p_1P_2…P_n,αβ0.证明了对于0γ(nα)/((n+1))(p_1+α),当|1/p-1/2|(β-(n+1)[α-(β+p_1)γ])/(2β)时,H_(n,α,β)是从L_γ~2(R~n))到L~2(R~n)的有界算子.特别地,当β≥(α-γp_1)/(γ+1/(n+1))等时,H_(n,α,β)是从L_γ~2(R~n)到L~2(R~n)的有界算子·     

图的k部划分的一个注记

设k≥2是一个整数。本文证明了任意有m条边的图都存在一个顶点的划分V_1,V_2…,V_k,使得e(V_1,V_2…,V_k)≥k-1/k m+k-1/2k((2m+1/4)~1/2-1/2)-(k-2)~2/8k,且max{e(V_i):1≤i≤k}≤m/k~2+(k-1)/2k~2((2m+1/4)~1/2-1/2+3/8-7k-4/8k~2.我们的结果改进了[Fan G.,Hou J.,Zeng Q.,A bound for judicious k-partitions of graphs,Discrete Appl.Math.,2014,179:86—99]的主要结论.     

NOTE ON REGULAR D—OPTIMAL MATRICES

Let A be a j x d (0,1) matrix. It is known that if j = 2k - 1 is odd, then det(AAT) ≤ (j+1)((j+1)d/4j)j; if j is even, then det(AAT) ≤ (j+1)((j+2)d/4(j+1))j. A is called a regular D-optimal matrix if it satisfies the equality of the above bounds. In this note, it is proved that if j = 2k - 1 is odd, then A is a regular D-optimal matrix if and only if A is the adjacent matrix of a (2k - 1, k, (j + l)d/4j)-BIBD; if j = 2k is even, then A is a regular D-optimal matrix if and only if A can be obtained from the adjacent matrix B of a (2k + 1,k + 1,(j + 2)d/4(j +1))-BIBD by deleting any one row from B. Three 21 x 42 regular D-optimal matrices, which were unknown in [11], are also provided.     

Hardy-Hilbert型不等式的一个加强

改进了Hlder不等式,并利用加强的Hlder的不等式对联系β函数的带参数的Hardy-Hilbert型不等式进行了改进,建立一个新的形如sum from n=1 to ∞ sum from m=1 to ∞(ambn/(m+n)λ)/相似文献