型为gn的MGDDλ(3,4,ng)的存在性

可分组3-设计是一类重要的组合设计,在3-平衡设计的研究过程中起着重要作用.Mendelsohn型可分组3-设计是可分组3-设计的一种有向推广形式,它在研究有向3-设计时有重要应用.研究了Mendelsohn型可分组3-设计的存在性问题,通过直接构造与递归构造相结合的方法,证明了:型为gn的MGDDλ(3,4,ng)存在的充要条件为λn(n-1)(n-2)g3≡0(mod 4)且n≥4,除去n=5,λ≡1(mod 2),g≡1(mod 2).     

正整数被素数p整除的判别法

设p是素数且p≠2,5,|k|是满足10k≡1(mod p)成立的最小正整数,Mn=n∏i=010iai(0≤ai≤9,i=0,1,…,n,an≠0).运用数学归纳法证明了:若对?i=0,1,…,n-1,有bi+1=kci+ai+1,bi+1≡ci+1(mod p),其中c0=a0,|ci+1|≤p-1/2,则p|Mn...     

无向双环网络的强彩虹连通性

设n,s_1,s_2是3个正整数,满足1≤s_1s_2n/2,gcd(n,s_1,s_2)=1.无向双环网络G(n;±s_1,±s_2)是如下定义的无向图(V(G),E(G)):其节点集V(G)={0,1,…,n-1},边集E(G)={i→i+s_l(mod n),i→i-s_l(mod n),i→i+s_2(mod n),i→i-s_2(mod n)|i=0,1,…,n-1}.本文中通过对无向双环网络任意两点之间的最短路径进行刻画,进而给出了该网络强彩虹连通的一个着色方案,最后得到了该网络强彩虹连通数的一个上界,该上界主要由G(n;±s_1,±s_2)所对应的同余方程xs_1+ys_2≡0(mod n)的最小非负解和最小交叉解的4个参数表示.     

关于K_n-{v_(n-5)v_(n-4),v_(n-3)v_(n-2),v_(n-1)v_n}(n≥14,n≡0(mod2))的点可区别边色数

给出了图K_n-{v_(n-5)v_(n-4),v_(n-3)v_(n-2),v_(n-1)v_n}(n≥14,n≡0(mod2))的点可区别边色数,其中Kn为n阶完全图。     

整数集合的sum-free集(无和集)分拆的一个注记

本文根据g(n,k)的值证明了:φ(n,1)=[(n+1)/2](n≡1(mod2));φ(n,2)=n-[n/5](n≡4(mod(5)).ψ(n,1)=[(n+1)/2](p≡0(mod2));ψ(n,2)=n-[n/5](p≡0(mod5)).及其n和p取其他值与k≥3时,给出了φ(n,k)与ψ(n,k)的范围.并说明了g(n,k)与ψ(n,k)在求Ramsey数的作用.     

关于Sylow p-子群循环的12p~n阶群的构造

设p为奇素数,且p5,对Sylow p-子群循环的12pn阶群进行了完全分类并获得了其全部构造:1)当p≡1(mod 12)时,G恰有16个彼此不同构的类型;2)当p≡5(mod12)时,G恰有10个彼此不同构的类型;3)当p≡7(mod 12)时,G恰有14个彼此不同构的类型;4)当p≡11(mod 12)时,G恰有9个彼此不同构的类型.     

关于不定方程x~3+5~3=2Ry~2

设R=p1 p2 Q,Q=r i(n∈Z),ri-1(mod6)(1≤i≤n)为互异的奇素数,p1≡p2≡1(mod 6)为奇素数。运用初等方法得出了不定方程x 3+53=2Ry 2无正整数解的一个充分条件。     

关于不定方程x~3-1=3pqy~2的整数解研究

设pi≡1(mod 6)(1≤i≤s)为奇素数.关于不定方程x3-1=3s∏i=1piy2(s≥2)的初等解法至今仍未解决.主要利用Pell方程的解的性质、递归序列、同余式、平方剩余等证明了p≡q≡1(mod 6)为奇素数,pq≡7(mod 12),(p/q)=1时,不定方程x3-1=3pqy2仅有平凡解(x,y)=(1,0).     

丢番图方程x~3±1=2pDy~2的整数解

设D=∏r+i(n∈Z),ri≡5 mod 6(1≤i≤n)为彼此不相同的奇素数,p≡1 mod 6为奇素数,关于丢番i=1图方程x3±1=2pDy2的初等解法至今仍未解决.运用Pell方程的解的性质、同余式、平方剩余、递归序列等讨论了丢番图方程x3±1=2pDy2的整数解的情况.     

可分解算子的一个算子刻划

本文证明了:定理 对T∈B(X),下列三种叙述是等价的:i)T是可分解算子.ii)对σ(T)的每个开覆盖{G_i}1≤i≤n,存在X到X中的算子组{E_i}1≤i≤n,使得(?)E_i=I;E_iX(?)(?)_T(G_i),1≤i≤n;(?),1≤i≤n.iii)对σ(T)的每个开覆盖{G_i)1≤i≤n,存在满足ii)中诸条件的,且为线性算子的组{E_i}1≤i≤n.     

导集运算与拓扑空间

利用非空集合中满足一定条件的子集族建立拓扑空间的方法有很多,如应用开集公理建立拓扑空间、应用邻域系公理建立拓扑空间、应用边界运算建立拓扑空间.笔者定义了导集运算,并应用这个定义建立了拓扑空间.     

关于一类凸函数的闭包

有很大一类凸函数是由凸集取其“下部边界”生成的,即f:R~n→RU{-∞}U{=∞}定义为f(x)=inf{μ|(x,μ∈F},其中F 为R~(n+1)中的一个凸集。例如下确界卷积,由给定凸函数生成的正齐次凸函数,以及凸函数在线性变换下的象均为F 取某些特定集合时由上或所定义。但一般而言,F 不一定是f 的上图,故由clf 生成的函数不一定是f 的闭包。本文研究clf 与由clF 生成的函数间的关系。     

微机防误闭锁系统实现遥控操作的可行性

介绍了微机防误闭锁系统的工作过程,分析了在原有系统基础上实现遥控操作的可行性,简述了升级改造后具备的功能及日常维护事项。     

闭格的性质

对闭格进行研究,给出了闭格的等价刻画,讨论了闭格与Locale的关系,并证明了闭格的笛卡尔乘积仍是闭格.同时,得到了闭格在保任意并的满态射下仍是闭格,最后证明了闭格在闭包运算下的像是闭格.     

Quotient space model based on algebraic structure

In the quotient space theory of granular computing,the universe structure is assumed to be a topology,therefore,its application is still limited.In this study,based on the quotient space model,the universe structure is assumed as an algebra instead of a topology.As to obtain the algebraic quotient operator,the granulation must be uniquely determined by a congruence relation,and all the congruence relations form a complete semi-order lattice,which is the theoretical basis of granularities ' completeness.When the given equivalence relation is not a congruence relation,it defines the concepts of upper quotient and lower quotient,and discusses some of their properties which demonstrate that falsity preserving principle and truth preserving principle are still valid.Finally,it presents the algorithms and example of upper quotient and lower quotient.The work extends the quotient space theory from structure,and provides theoretical basis for the combination of the quotient space theory and the algebra theory.     

围海工程堵口合龙技术研究

为合理选择堵口顺序和方法以及确定最佳堵口合龙技术方案，利用水量平衡方程对围海工程堵口合龙过程口门水力要素变化规律进行了研究。结果表明：大龙口口门选择时，可采用汛期潮型，并以控制流速确定其尺寸，同时做好龙口护底和堤头防护；堵口合龙时，应采用非汛期潮型，以涨潮最大流速等值线确定堵口顺序和方法；软土地基堵口段要采用宽浅式口门及复式断面，断面边坡最大流速处于坡脚，施工中要加强防护；最佳堵口合龙技术方案要满足工程量小、施工组织管理容易以及一个小潮期能堵口截流成功的要求。     

Kleene闭包的实质和有关问题

对Ｋｌｅｅｎｅ闭包的实质做了详细讨论，得到了Ｋｌｅｅｎｅ闭包和正闭包的代数表示，并对与之有关的一些问题进行了讨论。     

关于不分明化拓扑中闭包运算的一点注记

该文指出了应明生一文中的一个错误,并给出了其中定理５．３的上半部分的一个简单证法,从而奠定了不分明化闭包运算的定义的正确性。     

宽戗堤截流二维数值模拟计算研究

为了研究单戗堤立堵截流随着戗堤宽度的增加的水力特性,采用平面二维浅水方程对宽浅河谷单戗立堵截流进行了数学模型试验,通过对截流时的分流流量变化,戗堤进占过程的戗堤中轴线流速和上下游水位落差变化,探讨了立堵截流中戗堤的宽度效应．计算表明,随着戗堤顶宽的增加,龙口前壅水高度逐渐增加,截流落差逐渐加大,戗堤进口处跌水跌幅减小,使得龙口内水流变得相对平顺,降低了龙口水流对戗堤的冲刷,减小了抛投料粒径并有利于抛投料的稳定．     

清江高坝洲工程二期截流

高坝洲水电站二期工程截流是在清江上游隔河岩水电站停机控泄下和利用一期完建的底孔作导流的特殊条件下进行的，从而形成了龙口（ 宽３０ｍ） 小流量（１３０ ｍ ３／ｓ） ，大落差（２６１ ｍ ） ，高流速（５２ｍ／ｓ） 的特点与国内类似工程相比，难度相对较大，由于精心设计和科学组织施工，截流取得了圆满成功，为高坝洲第１ 台机组比计划提前４ 个月发电赢得了宝贵的施工时间