学科分类
/ 19
371 个结果
  • 简介:由于C^3I系统所具有的分布特点,其功能需求描述必须考虑信息处理和通信两方面,本文从C^3I系统功能分析入手,讨论了一种Petri网建立C^3I系统功能需求的可执行描述模型的方法。

  • 标签: C^3I系统 系统功能 PETRI网 功能需求 分布系统
  • 简介:IntroductionTherecentdiscoveryofaclassofcarboncontainingmoleculesknownasthefulereneshasproducedaseriesofmaterialswithawideran...

  • 标签: FULLERENES ESR Carbon centered RADICAL
  • 简介:LetT=(T(t))t≥0beaboundedC-regularizedsemigroupgeneratedbyAonaBanachspaceXandR(C)bedenseinX.WeshowthatifthereisadensesubspaceYofXsuchthatforeveryx∈Y,σu(A,Cx),thesetofallpointsλ∈iRtowhich(λ-A)^-1Cxcannotbeextendedholomorphically,isatmostcountableandσr(A)NiR=Ф,thenTisstable.AstabilityresultforthecaseofR(C)beingnon-denseisalsogiven.Ourresultsgeneralizetheworkonthestabilityofstronglycontinuoussenfigroups.

  • 标签: G-正半群 稳定性 巴拿赫空间 生成子 强连续
  • 简介:Thispaperreportstwolanthanidecomplexesofformula(C9H7)Ln(C8H8)·(THF)2whereLnisProrNd,C9H7isindenyl,andC8H8iscyclooctatetraene(COT).ThecomplexeswerepreparedbythereactionofLnCl3withK(C9H7)andK2(C8H8)inTHF.(C9H7)Pr(C8H8)·(THF)2crystallizesinTHFat-15℃inthemonoclinicspacegroupP21:withunitcelldimensionsa=8.446(0),b=10.083(2),c=13.407(3),β=105.48(1)°,V=1100.43(35)3,Dc=1.52g/cm3andZ=2.ThefinalRvalueis0.033,Rwvalueis0.030,respectively.In(C9H7)Pr(C8H8)·(THF)2afive-memberedringcentroidofC9H7,theC8H8ringcentroidandthetwooxygenatomsfromthetwoTHFmoleculesformadistortedtetrahedralgeometryaroundthemetal.

  • 标签: complexes monoclinic membered C8H8)Ln C8H8)Pr C9H7
  • 简介:TwospectralsequencesaredronedrespectivelyforcohomologiesH^P(Ωf1k-,0)andH^P(Af,k-,0)ofsingularitiesofC^∞mappings.Theyarefinitelydimensiionalnewinvarancesunderrightequivalencesandcontacttransformationsrespectively.FormuLaetobecomputedbylinearalgebrsareproved.

  • 标签: 谱序列 上同调 奇异性 C^∞映射
  • 简介:LetGbeasecondcountablelocallycompactgroupoidwithHaarsystem{λuH},HbeaclosedsubgroupoidcontainingG^0withHaarsystem{λuH}.T.MasudaintroducedtheC^*-Groupoiddynamicsystem(G,A,α)anditsreducedcrossedproductCrea(G,A)in[2]:whereAisC^*-algebraαisthekomomorphismG→Aut(A).InthispapertheauthorintroducestheC^*-groupoiddynamicsystems(H,A,α/H)and(H\G2,A,^-α)inducedby(G,A,α)andprovesthatC*red(H,A)andC^*red(H\G^2,A)arestronglyMoritaequivalentMoreovertheinducedrepresentationfromC^*red(H,A)toC^*red(G,A)isgot.

  • 标签: C^*-群力学系统 听觉系统 群代数 交叉乘积
  • 简介:ThispapershowsthattheC1-curvedfiniteelementdevelopedbyBernadoningeneralcannotsatisfytheessentialboundaryconditionsonapproximateboundary.Furthermore,amodifiedC1-curvedfiniteelementisgiven,whichiscompatiblewiththeelementofArgyristriangleandcansatisfythehomogeneousDirichletboundaryconditionsonapproximateboundary.

  • 标签: Curved boundary DOMAIN Argyris TRIANGLES C1-curved
  • 简介:C19-DITERPENOIDALKALOIDSOFDELPHINIUMMOLLIPILUM¥SuoMingZHANG;QingYuOu(LanzhouInstituteofChemicalPhysics,ChineseAcademyofSci?..

  • 标签:
  • 简介:TheCprogramminglanguageisexpressiveandflexible,butnotsafe;asitsexpressivepowerandflexibilityareobtainedthroughunsafelanguagefeatures,andimproperuseofthesefeaturescanleadtoprogrambugswhosecausesarehardtoidentify.SinceCiswidelyused,anditisimpracticaltorewriteallexistingCprogramsinsafelanguages,sowaysmustbefoundtomakeCprogramssafe.ThispaperdealswiththeunsafefeaturesofCandpresentsasurveyonexistingsolutionstomakeCprogramssafe.Wehavestudiedbinary-levelinstrumentationtools,sourcecheckers,source-levelinstrumentationtoolsandsafedialectsofC,andpresentacomparisonofdifferentsolutions,summarizedthestrengthsandweaknessesofdifferentclassesofsolutions,andshowmeasuresthatcouldpossiblyimprovetheaccuracyoralleviatetheoverheadofexistingsolutions.

  • 标签: C语言 程序设计语言 信息安全 编译工具
  • 简介:ThispaperintroducestheconceptoflocalC-cosins-familyandinverstigateitsbasicproperties,Inparticular,acharacterizationofthecompleteinfinitesimalgeneratorofalocalC-cosinefamilyisobtained,AsanapplieationofthistheorytothesecondordersbstractCauchyproblems,acharacterizationofthelocalC-well-posednessoftheseproblemsisgivenintermsofthelocalC-cosinefamilytheory.

  • 标签: 余弦族 完全生成元 二阶柯西问题 半群
  • 简介:LetιbeatriangulationofapolygonaldomainDR2withverticesV={v1:1≤i≤N,}andRSk(D,τ)={u∈Ck(D):(T∈τ,u|τisarationalfunction}.Thepurposeofthispaperistostudytheexist-enceandconstructionofCμ-rationalsplinefunctionsonanytriangulationτforCAGD.TheHermiteprob-lemHμ(V,U)={findu∈

  • 标签: TRIANGULATION spline CAGD polygonal rational vertex
  • 简介:Thispaperderivesfirstordernecessaryandsufficientconditionsforunconstrainedconed.c.Programmingproblemswheretheunderlinedspaceispartiallyorderedwithrespecttoacone.Theseconditionsaregivenintermsofdirectionalderivativesandsubdifferentialsofthecomponentfunctions.Moreover,conjugatedualityforconed.c.Optimizationisdiscussedandweakdualitytheoremisprovedinamoregeneralpartiallyorderedlineartopologicalvectorspace(generalizingtheresultsin[11]).

  • 标签: 锥d.c.最优化 共轭对偶 弱对偶定理 次梯度 多目标优化 方向导数
  • 简介:TheinteractionbetweenC60’sinsolidC60hasbeencalculatedby(exp-6-1)potential,andthecauseandthecontrolledfactorofthehighrapidrotationsofC60’swerediscussed.InordertodescribethedisordereddegreeofC60rotation,anequivalentMisintroduced.Thephasetransitionsatthe~260Kandatthe~90KarestudiedfromtheviewpointofC60rotation.Thepotentialbarriersoftheorderedrotationbelowthe~260Kandthedisorderedrotationabovethe~260Khavebeengiven,andtheeffectoftheexternalpressureonthetemperatureofphasetransitionhasalsobeengiven.

  • 标签: FULLERENE C60 MOLECULAR ROTATION phase TRANSITION
  • 简介:A.simplicialmesh(triangulation)isconstructedthatgeneralizesthetwo-dimensional4-directionmeshtoR~m.Thismesh,withsymmetric,shift-invariantvaluesatthevertices,isshowntoadmitaboundedC~1interpolantifandonlyifthealternatingsumofthevaluesattheverticesofany1-cubeiszero.Thisim-pliesthaiinterpolationattheverticesofanm-dimensional,simplicialmeshbyaC~1piecewisepolynomialofdegreem+1withonepiecepersimplexisunstable.

  • 标签: invariant INTERPOLATION TRIANGULATION PIECEWISE symmetric cube
  • 简介:LetAbeaunitalC*-algebra,n∈N∪{∞}.Itisprovedthattheisomorphism△n:Un0(A)/DUn0(A)→AffT(A)/△n0(π1(Un0(A)))isisometricforsomesuitabledistances.Asanapplication,theauthorhasthesplitexactsequence0→AffT(A)/△n0(π1(Un0(A)))iA→Un(A)/DUn(A)πA→Un(A)/Un0(A)→0withiAcontractive(andisometricifn=∞)undercertainconditionofA.

  • 标签: 迹空间 不变量 酉群 C^*代数 同胚群 等距群