学科分类
/ 3
58 个结果
  • 简介:Toenhancetheexpressivepowerandthedeclarativeabilityofadeductivedatabase,variousCWA(ClosedWorldAssumption)formalizationsincludingthenaiveCWA,thegeneralizedCWAandthecarefulCWAareextendedtomulti-valuedlogics.Thebasicideaistoembedlogicformulasintosomepolynomialring.Theextensionscanbeappliedinauniformmannertoanyfinitelymulti-valuedlogics.Thereforetheyarealsoofcomputationalsignificance.

  • 标签: CWA 演绎数据库 逻辑数据库
  • 简介:Theset-valuedoptimizationproblemwithconstraintsisconsideredinthesenseofsuperefficiencyinlocallyconvexlineartopologicalspaces.Undertheassumptionofic-cone-convexlikeness,byapplyingtheseperationtheorem,Kuhn-Tucker's,Lagrange'sandsaddlepointsoptimalityconditions,thenecessaryconditionsareobtainedfortheset-valuedoptimizationproblemtoattainitssupereffcientsolutions.Also,thesufficientconditionsforKuhn-Tucker's,Lagrange'sandsaddlepointsoptimalityconditionsarederived.

  • 标签: 集值优化 最优性条件 线性拓扑空间 优化问题 拉格朗日 分离定理
  • 简介:Inthispaper,weintroducematrix-valuedmultiresolutionanalysisandmatrix-valuedwaveletpackets.Aprocedurefortheconstructionoftheorthogonalmatrix-valuedwaveletpacketsispresented.Thepropertiesofthematrix-valuedwaveletpacketsareinvestigated.Inparticular,aneworthonormalbasisofL2(R,Cs×s)isobtainedfromthematrix-valuedwaveletpackets.

  • 标签: 矩阵 多分辨率 正交函数 微分方程
  • 简介:Efficientalgorithmsareestablishedforthecomputationofbivariatelacunaryvectorvaluedrationalinterpolantsbasedonthebranchedcontinuedfractionsandanumericalexampleisgiventoshowhowthealgorithmsareimplemented,

  • 标签: BRANCHED continued FRACTION INTERPOLATION algorithm.
  • 简介:In[3],akindofmatrix-valuedrationalinterpolants(MRIs)intheformofRn(x)=M(x)/D(x)withthedivisibilityconditionD(x)|‖M(x)‖2,wasdefined,andthecharacterizationtheoremanduniquenesstheoremforMRIswereproved.Howeverthisdivisibilityconditionisfoundnotnecessaryinsomecases.Inthispaper,weremovethisrestrictedcondition,definethegeneralizedmatrix-valuedrationalinterpolants(GMRIs)andestablishthecharacterizationtheoremanduniquenesstheoremforGMRIs.OnecanseethatthecharacterizationtheoremanduniquenesstheoremforMRIsarethespecialcasesofthoseforGMRIs.Moreover,bydefiningakindofinnerproduct,wesucceedinunifyingtheSamelsoninversesforavectorandamatrix.

  • 标签: 矩阵值 有理数插值 唯一性 可分割条件
  • 简介:Avarietyofmatrixrationalinterpolationproblemsincludethepartialrealizationproblemformatrixpowerseriesandtheminimalrationalinterpolationproblemforgeneralmatrixfunctions.Severalproblemsincircuittheoryanddigitalfilterdesigncanalsobere-ducedtothesolutionofmatrixrationalinterpolationproblems[1—4].Bymeansofthereachabilityandtheobservabilityindicesofdefinedpairsofmatrices,Antoulas,Ball,KangandWillemssolvedtheminimalmatrixrationalinterpolationproblemin[1].Onthe

  • 标签:
  • 简介:ApeaknormisdefinedforLpspacesofE-valuedBochnerintegrablefunctions,whereEisaBanachspace,andbestapproximationsfromasuntoelementsofthespacearecharacterized.Applicationsaregiventosomefamiliesofsimultaneousbestapproximationproblems.

  • 标签: 万州
  • 简介:AnewkindofvectorvaluedrationalinterpolantsisestablishedbymeansofSamelsoninverse,withscalarnumeratorandvectorvalueddenominator.ItisessentiallydifferentfromthatofGraves-Morris(1983),wheretheinterpolantsareconstructedbyThiele-typecontinuedfractionswithvectorvaluednumeratorandscalardenominator.Thenewapproachismoresuitabletocalculatethevalueofavectorvaluedfunctionforagivenpoint.Andanerrorformulaisalsogivenandproven.

  • 标签: NEVILLE型矢量 有理数插值对象 数量分子 矢量值分母
  • 简介:有四值的沃尔什系列的布尔功能的三个班被介绍,他们的沃尔什光谱分布是坚定的。他们从Maiorana-McFarland和DillonPS的弄弯的函数被导出<潜水艇class=“a-plus-plus”>ap类型并且单项的形式\Tr_1^{2m}\lambdax^{r2^m-1}由在二点补充弄弯的函数的值的\指。

  • 标签: 沃尔什谱 布尔函数 BENT函数 频谱分布 单项式 AP
  • 简介:Somenonlinearapproximants,i.e.,exponential-suminterpolationwithequaldistanceoratorigin,(0,1)-type,(0,2)-typeand(1,2)-typefraction-sumapproximations,formatrixvaluedfunctionsareintroduced.Alltheseapproximationproblemsleadtoasameformsystemofnonlinearequations.Solvingmethodsforthenonlinearsystemarediscussed.Conclusionsonuniquenessandconvergenceoftheapproximantsforcertainclassoffunctionsaregiven.

  • 标签: 非线性逼近 矩阵值函数 非线性方程 非线性系统 唯一性 收敛性
  • 简介:在这份报纸,我们考虑Banach空间的一个班珍视单个积分。这些操作员的Lp固定已经被获得了。我们将从BMO讨论他们的固定到BMO。作为应用,我们为经典g功能和Marcinkiewicz积分得到BMO固定。一些已知的结果被改进。

  • 标签: Banach空间 BMO有界性 奇异积分 MARCINKIEWICZ积分 蒙特利尔 经营者
  • 简介:Thecomputationalproblemsoftwospecialdeterminantsareinvestigated.Thosedeterminantsappearintheconstructionofthefunction-valuedPade-typeapproximationforcomputingFredholmintegralequationofthesecondkind.Themaintooltobeusedinthispaperisthewell-knownSchurcomplementtheorem.

  • 标签: 函数值Padé逼近 计算问题 行列式 Schur余角定理
  • 简介:Let{Xk(t),t≥0},k=1,2,...,beasequenceofindependentGaussianprocesseswithaσ^2k(h)=E(Xk(t+h)--Xk(t))^2.Putσ(p,h)=(∞/∑/k=1σ^pk(h))^1/p,p≥1.Theauthorestablishesthelargeincrementresultsforboundedσ(p,h).

  • 标签: 无穷维高斯过程 大增量 有界性 序列
  • 简介:BymakinguseofThiele-typebivariatebranchedcontinuedfractionsandSumelsoninverse,weconstructafewkindsofbivariatevectorvaluedrationalinterpolonts(BVRIs)overrectangulargridsandfindoutcertainrelationsamongtheseBVRIssuchasboundaryidentityandduality.

  • 标签: BRANCHED conlinuad FRACTION INTERPOLATION vector-grid.
  • 简介:Triplebranchedcontinuedfractions(TBCFs)areconstructedbymeansofwell-defineThiele-typepartialinverteddifferences.Thecharacterizatioontheorem,uniquenesstheoremandsomeprojectionidentitypropertiesareobtainedforvectorvaluedrationalinterpolantshyTBCFs.

  • 标签: 向量值 插值有理数 分歧 连续分数
  • 简介:Inthisarticleweintroducethevectorvaluedsequencespacem(Eκ,φ,A),associatedwiththemultipliersequenceA=(λκ)ofnon-zerocomplexnumbers,andthetermsofthesequencearechosenfromtheseminormedspacesEκ,seminormedbyfκforallkεN.Thisgeneralizesthesequencespacere(φ)introducedandstudiedbySargent.Westudysomeofitspropertieslikesolidity,completeness,andobtainsomeinclusionresults.Wealsocharacterizethemultiplierproblemandobtainthecorrespondingspacesdualtom(Eκ,φ,A).Weprovesomegeneralresultstoo.

  • 标签: 乘法序列空间 固体空间 完全性 双重性 均衡空间 数学分析
  • 简介:1IutroductionManykindsofmatrix-valuedrationalinterpolationorapproximationproblemshaveappearedinrecentyears([1-7]).MotivatedbyGraves-Morris’Thiele-typevector-val-uedrationalinterpolants[6],GuChuanqingandChenZhibing[7]discussedthematrix-valuedrationalinterpolantsinThiele-typecontinuedfractionform,withmatrix-valuednu-

  • 标签: 回回