简介:在计算机辅助工艺设计中,工序图的设计是工艺设计的一个重要组成部分,是否有一个好的工序图的设计环境,直接影响到CAPP系统能否广泛应用。我所CAPP系统已正式应用于科研生产中。该CAPP系统的工序图设计是在AutoCAD下绘制的,在试运行中发现,工序图的绘制还比较繁琐,究其原因有:(1)到现在为止还没有一种商业化的专用工序图设计软件;(2)工艺工序图设计中有一些专用特殊符号(如定位符号、夹紧符号及焊接符号等)特殊的线型以及一些专用的标注符号等,这些符号如让工艺人员在通用的CAD软件中绘制既费时又不规范;(3)由于工序图只是一个示意图,很多图形是可用以前绘制的或别人已绘制好的相似的图形稍作修改即可,然而在全所范围内没有一个集中统一管理的工序图图库以供所有的工艺人员实现资源共享,各自为政,重复劳动较多。为了解决这一问题,需开发一个适合CAPP中工序图设计的专用工序图CAD系统。
简介:左R-模M称为Eω-内射模,如果对环R中任意的ω阶Euclid理想I来说,任何R-模同态能够拓展为R-模同态。左R-模M称为Eω-投射模,若对环R中任意的ω阶Euclid理想I和任何R-模同态f∈HomR(M,R/I),存在R-模同态g∈HomR(M,R)使得f=πg,其中π是自然同态。本文证明P和Q均是Eω-投射模当且仅当PQ是Eω-投射模。进而,又证明了每一个左R-模是Eω-投射的当且仅当每一个左R-模是Eω-内射。
简介:Itisknownfromclassicaldifferentialgeometrythatonecanreconstructacurvewith(n-1)prescribedcurvaturefunctions,ifthesefunctionscanbedifferentiatedacertainnumberoftimesintheusualsenseandifthefirst(n-2)functionsarestrictlypositive.ItisestablishedherethatthisresultstillholdsundertheassumptionthatthecurvaturefunctionsbelongtosomeSobolevspaces,byusingthenotionofderivativeinthedistributionalsense.ItisalsoshownthatthemappingwhichassociateswithsuchprescribedcurvaturefunctionsthereconstructedcurveisofclassC∞.
简介:Numericalestimatesforelectronsandmesonsparticle–antiparticlecreationfromvacuuminthepresenceofstrongelectromagneticfieldsarederived,usingthecompleteprobabilitydensityrelationofPopov’simaginarytimemethod(Popov,JETPLett.13,185(1971);Sov.Phys.JETP34,709(1972);Sov.Phys.JETP35,659(1972);PopovandMarinov,Sov.J.Nucl.Phys.16,449(1973);JETPLett.18,255(1974);Sov.J.Nucl.Phys.19,584(1974));(Popov,Phys.Let.A298,83(2002)),andwithintheframeworkofanexperimentalsetupliketheE144(Burkeetal.,Phys.Rev.Lett.79,1626(1997)).Theexistenceofcrossingpointamongpaircreationefficiencycurvesofdifferentphotonenergiesandtheroleofodd/evenmultiphotonordersintheproductionratesarediscussed.Finallyakindoftunabilityprocessbetweenthetwocreationprocessesisdiscussed.
简介:Usingfourβ-cyclodextrinderivatives,2,6-di-O-benzyl-3-O-heptanonyl-β-CD,2,6-di-O-benzyl-3-O-octanonyl-β-CD,2,3-di-O-benzyl-6-O-heptanonyl-β-CD,and2,3-di-O-benzyl-6-O-octanonyl-β-CD,aschiralstationaryphasesofcapillarygaschromatography(CGC),theenantiomersofSharplessepoxideswerewellseparated.Theenantiomerexcessvalues(e.e.%)ofsomechiralSharplessepoxideswerealsodeterminedsuccessfullyusingtheseCDs.
简介:TheequilibriummolalitiesofIn3+inextractionreaction:In3+(aq)+3HOx(org)=In(Ox)3(org)+3H+(aq)weremeasuredationicstrengthsfrom0.13to2.54mol-kg-1intheaqueousphasecontainingNa2SO4asthesupportingelectrolyteandatconstantinitialmolalityofextractant,HOx,intheorganicphaseattemperaturesfrom278.15to308.15K,whereHOxandOxmean8-hydroxy-quinoliueanditsanion,respectively.ThestandardextractionconstantsK0atvarioustemperatureswereobtainedbytwomethodsproposedinourpreviouspaper.
简介: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.
简介:LetB(E,F)bethesetofallboundedlinearoperatorsfromaBanachspaceEintoanotherBanachspaceF,B+(E,F)thesetofalldoublesplittingoperatorsinB(E,F)andGI(A)thesetofgeneralizedinversesofA2B+(E,F).InthispaperweintroduceanunboundeddomainW(A,A^+)inB(E,F)forA2B+(E,F)andA^+2GI(A),andprovideanecessaryandsufficientconditionforT2W(A,A^+).Thenseveralconditionsequivalenttothefollowingpropertyareproved:B=A^+(IF+(T??A)A^+)??1isthegeneralizedinverseofTwithR(B)=R(A^+)andN(B)=N(A^+),forT2W(A,A^+),whereIFistheidentityonF.Alsoweobtainthesmooth(C¥)diffeomorphismMA(A^+,T)fromW(A,A^+)ontoitselfwiththefixedpointA.LetS=fT2W(A,A^+):R(T)\N(A^+)=f0gg,M(X)=fT2B(E,F):TN(X)R(X)gforX2B(E,F)g,andF=fM(X):8X2B(E,F)g.UsingthediffeomorphismMA(A^+,T)weprovethefollowingtheorem:SisasmoothsubmanifoldinB(E,F)andtangenttoM(X)atanyX2S.ThetheoremexpandsthesmoothintegrabilityofFatAfromalocalneighborhooldatAtotheglobalunboundeddomainW(A,A^+).Itseemstobeusefulfordevelopingglobalanalysisandgeomatricalmethodindifferentialequations.
简介:Alooplessgraphonnverticesinwhichverticesareconnectedatleastbyaandatmostbybedgesiscalleda(a,b,n)-graph.A(b,b,n)-graphiscalled(b,n)-graphandisdenotedbyKbn(itisacompletegraph),itscomplementbyKbn.Anonincreasingsequencep=(d1,…,dn)ofnonnegativeintegersissaidtobe(a,b,n)graphicifitisrealizablebyan(a,b,n)-graph.Wesayasimplegraphicsequencep=(d1,…,dn)ispotentiallyK4—K2[K2-graphicifithasaarealizationcontaininganK4—K2[K2asasubgraphwhereK4isacompletegraphonfourverticesandK2[K2isasetofindependentedges.Inthispaper,wefindthesmallestdegreesumsuchthateveryn-termgraphicalsequencecontainsK4—K2[K2assubgraph.
简介:Itisidentifiedthatbarelypassingelectronsarethedriveofthee-Gshbones,ratherthanthebarelytrappedelectronsatlowfrequency.Thefrequencyjumpine-Bshboneexperimentsisreproducedandanalyzed.Itisfoundthatthee-Bshbonefrequencyincreaseswiththehotelectronenergy,whichisconsistentwiththeexperiments.Thegrowthrateofthemode(m=2,n=2)isgreaterthanthatofthemode(m=1,n=1).
简介:Afusionbreedermightbeanessentialintermediateapplicationoffusionenergyatearlierterm,sinceithasthepotentialtoprovideplentyofcommercialfissilefuel.Basedonfusionphysicsandtechnologiesavailableatpresentandinthenearfuture,therealisticfusionexperimentalbreeder,FEB-Ewasdesigned.