简介：

简介：ymboliccircuitsimulatoristraditionallyappliedtothesmall-signalanalysisofanalogcircuits.Thispaperestablishesasymbolicbehavioralmacromodelingmethodapplicabletobothsmall-signalandlarge-signalanalysisofgeneraltwo-stageoperationalamplifiers(op-amps).Theproposedmethodcreatesatwo-poleparametricmacromodelwhoseparametersareanalyticalfunctionsofthecircuitelementparametersgeneratedbyasymboliccircuitsimulator.Amomentmatchingtechniqueisusedinderivingtheanalyticalmodelparameter.Thecreatedparametricbehavioralmodelcanbeusedforop-ampsperformancesimulationinbothfrequencyandtimedomains.Inparticular,theparametricmodelsarehighlysuitedforfaststatisticalsimulationofop-ampsinthetime-domain.Experimentresultsshowthatthestatisticaldistributionsoftheop-ampslewandsettlingtimecharacterizedbytheproposedmodelagreewellwiththetransistor-levelresultsinadditiontoachievingsignificantspeedup.

简介：Thispaperinvestigatessymbolicalgorithmicanalysisofrectangularhybridsystems.Todealwiththesymbolicreachabilityproblem,arestrictedconstraintsystemcalledhybridzoneisformalizedfortherepresentationandmanipulationofrectangularautomatastate-spaces.Hybridzonesareprovedtobeclosedoversymbolicreachabilityoperationsofrectangularhybridsystems.Theyarealsoappliedtomodel-checkingproceduresforverifyingsomeimportantclassesoftimedcomputationtreelogicformulas.Torepresenthybridzones,adatastructurecalleddifferenceconstraintmatrixisdefined.Theseenableustodealwiththesymbolicalgorithmicanalysisofrectangularhybridsystemsinanefficientway.

简介：TheGreatGatsbyisconsideredthefinestachievementofFitzgerald’sliterarycareer.Thenovelissuccessfulforitsnarrativeskill,gracefulanddelicateprosestyle,andespecially,theemploymentofsymbolismwhichcontributesmosttothedepthandbroadnessofitstheme.Thereisanabundanceofimageswhicharefullofsymbolicmeaningthroughthewholestory,amongwhichthemostimportantoneisunquestionablytheemploymentof"thegreenlight".Thispaper,throughanalyzingtheskillfulemploymentofsymbolisminthetermof"thegreenlight"inthenovel,discussesthedeepconnotationthatisimpartedbythenovelistandexplainsthedecisiveroleofthesymbolismofthisterminthenovelinshapingthefigures,developingtheplotofthestory,anddeepeningthethemesofthework.

简介：Thepulseamplificationinthedispersion-decreasingfiber(DDF)isinvestigatedviasymboliccomputationtosolvethevariable-coefficienthigher-ordernonlinearSchr(o|¨)dingerequationwiththeeffectsofthird-orderdispersion,self-steepening,andstimulatedRamanscattering.Theanalyticone-solitonsolutionofthismodelisobtainedwithasetofparametricconditions.Basedonthissolution,thefundamentalsolitonisshowntobeamplifiedintheDDF.ThecomparisonoftheamplitudeofpulsesfordifferentdispersionprofilesoftheDDFisalsoperformedthroughthegraphicalanalysis.Theresultsofthispaperwouldbeofcertainvaluetothestudyofsignalamplificationandpulsecompression.

简介：Abstract.ARiccatiequationinvolvingaparameterandsymboliccomputationareusedtouni-formlyconstructthedifferentformsoftravellingwavesolutionsfornonlinearevolutionequa-tions.Itisshownthatthesignoftheparametercanbeappliedinjudgingtheexistenceofvari-ousformsoftravellingwavesolutions.Anefficiencyofthismethodisdemonstratedonsomee-quations,whichincludeBurgers-Huxleyequation,Caudrey-Dodd-Gibbon-Kawadaequation,gen-eralizedBenjamin-Bona-MahonyequationandgeneralizedFisherequation.

简介：这篇文章被奉献寻求可变coefficientGinzburg四轮马车(vcGL)的解决方案方程。在符号的计算和直接ansaetz的帮助下，四转变，到标准的vcGL方程的减小和圆柱的nonlinearSchroedinger方程，它作为分析答案的变化被发现了被获得。代替这些答案进那些转变，vcGL的相应分析解决方案被获得。

简介：IntheEasyDynmultibodyopensourceproject,computeralgebrahasbeenusedfromthebeginningtogeneratetheexpressionsofvelocitiesandaccelerationsofthebodies,bysymbolicdifferentiationoftheirposition.Originally,theMuPADcomputeralgebrasystemhadbeenretainedbecauseitwasfreelyavailablefornoncommercialpurposesandshowedverygoodtechnicalfeatures.Unfortunately,MuPADisnowadaysonlyavailablethroughcommercialchannelsandneedstobereplacedtokeepEasyDynpubliclyavailable.ThispaperpresentswhyXcas/Giacisfinallyselected,amongotherlong-termpromisingprojectslikeAxiom,Maxima,SageorYacas.Amongthechoicecriteria,theaccessibility,theportability,theeaseofuse,theautomaticexporttoClanguage,andthesimilaritywiththeMuPADlanguageareallconsidered.TheperformancesoftheMuPADandXcas/Giacimplementationsarealsocomparedonsomeexamples.

简介：分叉的反控制指由适当控制与特别需要的性质和地点创造某个分叉的任务。我们考虑，经由反馈控制和符号的计算，在混乱的刘系统的Hopf分叉的反控制的问题。我们建议一个反控制计划并且证明与不受管束的系统相比，控制反的刘系统能在一个大得多的参数区域展出Hopf分叉。使用的反控制策略保留刘系统和罐头的平衡结构被使用与比较喜欢的稳定性在需要的地点产生Hopf分叉。我们在不同操作条件下面说明反控制途径的效率。

简介：Asymboliccomputationmethodtodecidewhetherthesolutionstothesystemoflinearpartialdifferentialequationiscompleteviausingdifferentialalgebraandcharacteristicsetispresented.Thisisamechanizationmethod,anditcanbecarriedoutonthecomputerintheMapleenvironment.

简介：

简介：Thedevelopmentofnewproductsofhighquality,lowunitcost,andshortleadtimetomarketarethekeyelementsrequiredforanyenterprisetoobtainacompetitiveadvantage.Thispartofthepaperpresentsamethodologytoautomaticallysimulatetheconceptualdesignresultsinthevirtualentityform.Totheidentifiedbasicmechanisms,theirkinematicanalysisiscarriedoutbymatchingbasicBarranovtrusses,andtheirvirtualentitiesaremodeledbasedonfeature-basedtechniqueandencapsulatedasonedesignobject.Basedonthestructuresofthebasicmechanismsandtheirconnections,aspacelayouttothemechanicalsystemcorrespondingtothesymbolicschemeisthenfulfilled.Withthepreset-assemblyapproach,allpartsinthemechanicalsystemareputontoproperpositionswheretheconstraintequationsaremetaccordingtothespacelayoutresults.Inthisway,thevirtualentityassemblymodelofthemechanicalsystemrelativetothesymbolicschemeissetup.Theapproachpresentedinthispapercannotonlyobtaininnovativeconceptualconceptualdesignresults,butalsocanevaluatetheirperformancesunder3-Denviromentefficently.

简介：Thedevelopmentofnewproductsofhighquality,lowunitcost,andshortleadtimetomarketarethekeyelementsrequiredforanyenterprisetoobtainacompetitiveadvantage.Forshortingtheleadtimetomarketandimprovingthecreativityandperformancesoftheproduct,arule-basedconceptualdesignapproachandamethodologytosimulatetheconceptualdesignresultsgeneratedinconceptualdesignprocessinautomaticalvirtualentityformarepresentedinthispaper.Thispartofpaperpresentsarule-basedconceptualdesignmethodforgeneratingcreativeconceptualdesignschemesofmechanismsbasedonYan’skinematicchainregenerationcreativedesignmethod.Thedesignrulesareadoptedtodescribethedesignrequirementsofthefunctionalcharacteristics,theconnectionrelationshipsandtopologicalcharacteristicsamongmechanisms.Throughthegraphs-basedreasoningprocess,theconceptualdesignspaceisexpandedextremely,andthepotentialcreativeconceptualdesignresultsarethendugout.Byrefiningthedesignrules,thesolutionexplorationproblemisavioded,andthetendentiousconceptualdesignschemesaregenerated.Sincemechanical,electricalandhydraulicsubsystemscanbetransformedintogeneralmechansims,theconceptualdesignmethodpresentedinthispapercanalsobeappliedintheconceptualdesignproblemofcomplexmechatronicsystems.Andthenthemethodtoidentifyconceptualdesignschemesisgiven.

简介：<正>Inthefifties.Calderonestablishedaformalrelationbetweensvmbolandkerneldistribu-tion,butitisdifficulttoestablishanintrinsicrelation.TheCalderon-Zygmund（C-Z）schoolstudiedrheC-Zoperators,andHormander.KohnandNirenberg,etal.studiedthesymbolicoperators.HereweapplyarefinementoftheLittlewood-Paley（L-P）decomposition,analyseundernewwaveletbases.tocharacterizebothsymbolicoperatorsspacesOpS1,δmandkerneldistributionsspaceswithotherspacescomposedofsomeahnostdiagonalmatrices.thengetanisometricbetweenOpS1,δmandkerneldistri-butionspaces

简介：摘要：中国传统的文化，认为植物都是具有灵性的，对人的各方面都能起到一定的作用，所以也就延伸出了植物风水学一说。直到今天，风水学说依然可以作为选择绿化植物的标准之一。许多植物在风水学说中有自己的特殊的含义，同时风水学说也有其独特的植物配置理论。当然风水理论是中国古人通过实践积累而形成的空间环境优化方法理论，与现代生态学环境评价理论有异曲同工的模型概念。这其中的植物配置原理不仅符合植物的生态特性、美化居住环境，同时对人心理和生理方面产生影响，从而产生疗愈的效果。