共查询到20条相似文献,搜索用时 140 毫秒
1.
2.
格值上下文无关文法的范式 总被引:1,自引:0,他引:1
盛莉 《纯粹数学与应用数学》2010,26(2):270-274
给出了格值上下文无关文法(LCFG),Chomsky范式文法,Greibach范式文法的定义.证明了对任意的LCFG存在与之等价的Chomsky范式文法;给出了对任意的LCFG,存在与之等价的Greibach范式文法的条件.文中结论表明了LCFG的特性与其取值格的代数性质密切相关. 相似文献
3.
4.
刻画了弱(D)-反演半群S(P)上满足P-trμN=πN的最大的强(D)-同余;给出了S(P)上的特征核正规系的一种抽象刻画. 相似文献
5.
平行机半在线排序问题研究(Ⅱ) 总被引:15,自引:1,他引:14
继续介绍半在线平行机排序问题的研究进展.主要介绍第二类、第三类半在线模型.研究两个(或两个以上)半在线模型间关系:复合与限制.文章最后给出了一些待研究的问题。 相似文献
6.
讨论单机随机排序问题,目标函数为确定工件的排列顺序使工件的加权完工时间和的数学期望最小.设工件间的优先约束为有根森林,机器发生随机故障.对此情况,给出了多项式时间的最优算法. 相似文献
7.
8.
展示了tame遗传代数的bocses.对于每个维数d,给出了对应的仅含有不可约映射的极小bocses.除了有限个点外,这些极小bocses与对应代数的AR-箭图中具有性质dim(topM)<d的不可分解模M组成的满子图完全重合. 相似文献
9.
本文引入弱Hopf量子Yang-Baxter模概念.利用弱Hopf模基本定理的方法,获得了弱Hopf量子Yang-Baxter模基本定理,进一步还得到了相关Hopf模基本定理. 相似文献
10.
<正>EXAMPLE 1 Determining Wheth- er a Relation Represents a Function. Determining whether the following relation represent functions. (a)For this relation, the domain represents the employee of Saraxvs Pre -Owner Car Mart and the range repre- sents their base salary. 相似文献
11.
12.
在大系统控制中,H∞分散控制方法将整个系统划分成一系列子系统分别研究,然后综合设计大系统的分散控制器,这与结构力学中的子结构分析技术类似.本着这一思想建立了分散H∞控制与子结构振动分析的模拟关系、分散控制系统的最优H∞范数与整体结构一阶本征值之间的对应关系,进而利用结构力学中的模态综合法和扩展Wittriek-Williams算法计算这一参数.论的第(Ⅰ)部分主要介绍系统H∞控制及其本征函数的正交性和展开定理;第(Ⅱ)部分介绍分散控制系统最优H∞范数计算的模态综合法及数值算例。 相似文献
13.
利用解析法与有限元法相结合的“影响线算法”,求解了第一部分中建立的数学模型,分析了微循环系统动力学的若干重要问题,表明在微动脉自律运动周期内,间质流体压力将两次改变符号,因而某些理论中十分强调的间质流体压力是略高于或略低于大气压力的问题显得并不重要;微动脉自律运动能导致周期性的淋巴形成,间质总应力在这一过程中起着重要作用;微循环局部调节可以以动态平衡的方式在一定范围内满足代谢的需要.计算还表明了微动脉“阻力血管”的性质和微血管网络在热量交换过程中的高效性.这些结果说明我们建立的综合模型符合生理实际. 相似文献
14.
设E是一致凸Banach空间,且具有一致Gteaux可微范数,C是E的一个非空闭凸子集,T是渐近非扩张映射.对于任意x∈C,本文引入Cesàro意义上的修正Ishikawa迭代:x0=x∈C,yn=γnun+δnxn+(1-γn-δ)n+11∑j=0nTjxn,xn+1=μnvn+αnγf(xn)+βnxn+[(1-μn-βn)I-αnA]n+11∑j=0nTjyn,n≥0在适当的条件下证明此迭代序列的强(弱)收敛性. 相似文献
15.
该文依据弱Hopf代数的定义给出弱Hopf超代数的定义. 进而利用弱反极取代Hopf代数中反极的方法, 构造一类不是Hopf超代数的弱Hopf超代数wsldq(m|n), 并给出了wsldq(m|n)的PBW基. 相似文献
16.
17.
18.
We present a generalized numerical embedding algorthm for solving nonsmooth equations based on the results in [1],COnvergence of the algorithm is proved carefully and implementation is discussed.Application of the algorithm to the complementartity problem,Variational inequalities and nonlinear optimization problemis discussed. 相似文献
19.
郑权 《应用泛函分析学报》1999,(1)
设iAj(1≤j≤)是有界C_0群的可交换生成元,P(A)=∑_|μ|≤2a_μA~μ(A~μ=A_1~μ…A_n~μn)如果P是弱椭圆的且其实部是上有界的,则我们证明P(A)生成一个C_0半群. 相似文献
20.
任意一个弱分段Koszul模M都被证明存在一个自然的分次子模链0=U0(?)U1(?)U2(?)…(?) Ut=M使得每个商Ui/Ui-1都是分段Koszul模.本文的主要目的是建立M和Ui/Ui-1的极小分次投射解之间的关系.对n≥0,证明了Pn=⊕i=1t Pni,其中P*i→Ui/Ui-1→0和P*→M→0是相应的极小分次投射解,作为其直接推论,有pd(M)=max{pd(Ui/Ui-1)}成立. 相似文献