简介:对于给定的图H,若存在可图序列π的一个实现包含H作为子图,则称π为蕴含H-可图的.Gould等人考虑了下述极值问题的变形:确定最小的偶整数σ(H,n),使得每个满足σ(π)≥σ(H,n)的n项可图序列π=(d1,d2,…,dn)是蕴含H-可图的,其中σ(π)=∑di.本文刻划了蕴含K4+P2-可图序列,其中K4+P2是向致的一个顶点添加两条悬挂边后构成的简单图.这一刻划导出σ(K4+P2,n)的值.
简介:<正>Foranyintegersa1,a2,a3,a4andcwitha1a2a3a40(modp),thispapershowsthatthereexistsasolutionX=(x1,x2,x3,x4)∈Z4ofthecongruencea1x12+a2x22+a3x32+a4x42≡c(modp)suchthat‖X‖=max{|x1|,|x2|,|x3|,|x4|}《p1/2logp.
简介:
简介:ThispaperconsidersanSIRSepidemicmodelthatincorporatesconstantimmigrationrate,ageneralpopulation-sizedependentcontactrateandproportionaltransferratefromtheinfectiveclasstosusceptibleclass.Athresholdparameteraisidentified.Ifσ≤1,thedisease-freeequilibriumisgloballystable.Ifσ>1,auniqueendemicequilibriumislocallyasymptoticallystable.Fortwoimportantspecialcasesofmassactionincidenceandstandardincidence,globalstabilityoftheendemicequilibriumisprovedprovidedthethresholdislargerthanunity.Somepreviousresultsareextendedandimproved.
简介:为了提供,身体上在地区性的规模为风侵蚀研究基于风建模,3D计算液体动力学(CFD)风模型被开发。模型基于海军司烧方程用C语言被规划,并且它作为开放源代码自由地可得到。与空间分析和建模工具(SAMT)综合,风模型举办方便输入准备和强大的产量可视化。为了验证风模型,,一系列实验在一条风隧道被进行。一个堵住的流入实验被设计在基本液体进程的模拟上测试模型的性能。一个圆障碍实验被设计检查模型是否能在风地上模仿障碍的影响。结果证明测量并且模仿的风地有高关联,和风模型能两个都模仿风的基本过程和对风地的障碍的影响。这些结果显示出风模型的高可靠性。一个区域的一个数字举起模型(DEM)(长的3800m和1700m宽)在在内部蒙古的Xilingele草地(自治区域,中国)被用于模型,和一块3D风地成功地被产生了。由风隧道实验的模型和足够的确认的清楚的实现在地区性的规模为风侵蚀的预言和评价打了一个稳固的基础。
简介:Weproposeanewcellularautomation(CA)trafficmodelthatisbasedonthecar-followingmodel.Aclassofdrivingstrategiesisusedinthecar-followingmodelinsteadoftheaccelerationintheNaSchtrafficmodel.Inourmodel,somerealisticdriverbehaviouranddetailedvehiclecharacteristicshavebeentakenintoaccount,suchasdistance-headwayandsafedistance,etc.Thesimulationresultsshowthatourmodelcanexhibitsometrafficflowstatesthathavebeenobservedintherealtraffic,andbothofthemaximumfluxandthecriticaldensityareveryclosetotherealmeasurement.Moreover,itiseasytoextendourmethodtomulti-lanetraffic.
简介:引进分次Armendariz环的概念,讨论了分次环R=n∈ZRn及由它导出的非分次环R,R0,及R[x]之间关于Armendariz环性质的关系,并推广了[8]的结论,得到在R=n∈ZRn是Z-型正分次环的前提下,若R是分次Armendariz,分次正规环,则R是P.P.环(Baer环)当且仅当R是分次P.P.环(分次Baer环).
简介:Multimediastreamingservedthroughpeer-to-peer(P2P)networksisboomingnowadays.However,theend-to-endstreamingqualityisgenerallyunstableduetothevariabilityofthestateofserve-peers.Ontheotherhand,proxycachingisabandwidth-efficientschemeforstreamingovertheInternet,whereasitisasubstantiallyexpensivemethodneedingdedicatedpowerfulproxyservers.Inthispaper,wepresentaP2PcooperativestreamingarchitecturecombinedwiththeadvantagesofbothP2Pnetworksandmultimediaproxycachingtechniquestoimprovethestreamingqualityofparticipatingclients.Inthisframe-work,aclientwillsimultaneouslyretrievecontentsfromtheserverandotherpeersthathaveviewedandcachedthesametitlebefore.Inthemeantime,theclientwillalsoselectivelycachetheaggregatedvideocontentsoastoservestillfutureclients.Theassociateprotocoltofacilitatethemulti-pathstreamingandadistributedutility-basedpartialcachingschemearedetailedlydis-cussed.Wedemonstratetheeffectivenessofthisproposedarchitecturethroughextensivesimulationexperimentsonlarge,Inter-net-liketopologies.
简介:SomecharacterizationsoftheconditionalexpectationoperatorsonLebesgue-BochnerspacesL_p(μ,X)aregiven,where1≤p<∞,p≠2.AlsoanexampleisgiventoshowthatthecharacterizationsoftheconditionalexpectationoperatorsonL_p(μ,X)aredifferentfromthatonL_p(μ)_zFinally,arepresentationoftheconstant-preservingcontractiveprojectiononspacesL_p(μ,X)isgotwhen0<p<1.
简介:扩大电子的一个模型是适合描述经由扫描掘显微镜获得的理论模拟和试验性的结果的更多,这被发现了,但是当动态性质容易被合并时,磁性,并且特别地电子旋转性质当测量不在时由于他们的构思的isotropy提出一个问题。一个电子的旋转与一个磁场反应并且因此有向量的性质。然而,电子纺纱也是各向同性的,建议它没有向量的性质。在对电子旋转的描述的这中央冲突,我们相信,矛盾的性质的许多的根为量旋转粒子被测量并且要求。利用电子旋转在真实三维的空间一致地在被描述的一个模型--一个扩大电子模型--我们证明纺纱可以被向量描述并且仍然维持它的isotropy。在这个框架,我们重新估计连续大小的Stern-Gerlach实验,Einstein-Podolsky-Rosen实验,和效果并且在所有情况中发现相当直觉的解释。
简介:我们为基于mesoscopic学习二进制液体建议一个模型在空间和州的变量是连续的的地方,作为multiparticle碰撞知道的分子的模拟技术,和时间是分离的。我们包括一条排斥规则模仿不要求在粒子之间的相互作用力量的计算的分离过程,因此二进制液体能在mesoscopic规模上被描述。模型概念上简单、计算地有效;它维持Galilee的不变性并且在micro-scale,和宏规模在系统保存团和精力,而动量全球性被保存。为大量温度和密度,模型在对二进制液体的已知的性质的好同意产出结果,例如密度侧面,接口宽度,阶段分离,和阶段生长。我们也与一致结果在拥挤的环境把模型用于二进制液体的学习。
简介:Thispapergivesadefinitionofidentifiabilityformultidimensionallinearinput-outputsystemsandpresentsanecessaryandsufficientconditionforitssatisfaction.Foraclassofidentifiablesystemsitisalsoshownthattheunknowncoeffcientsofthesystemcanconsistentlybeestimatedbyarecursivealgorithm.