简介:近日SpectraLogic公司为其T系列磁带库特制了BLUESCALE软件环境。这种成熟的软件已经经历了10多年的行业应用验证。BLUESCALE本身就具有灵活性与智能性,并支持未来新的功能与技术的发展。
简介:Inthispaper,wepresentadetectiontechniqueofand-parallelisminlogicprograms.Thedetectionconsistsofthreephases:analysisofentrymodes,derivationofexitmodesanddeterminationofexecutiongraphexpressions.Comparedwithothertechniques^[2,4,5],ourapproachwiththecompile-timeprogram-leveldata-dependenceanalysisoflogicprograms,canefficientlyexploitand-parallelisminlogicprograms.Twoprecompilers,basedonourtechniqueandDeGroot'sapproach^[3]respectively,havebeenimplementedinSES-PIMsystem^[12],ThroughcompilingandrunningsometypicalbenchmarksinSES-PIM,weconcludethatourtechniquecan,inmostcases,exploitasmuchand-parallelismasthedynamicapproach^[13]doesunder“produces-consumer”scheme,andneedslessdynamicoverheadwhileexploitingmoreandparallelismthanDeGroot'sapproachdoes.
简介:<正>1.IntroductionInthepreviousdiscussiononthelogicofthinkingofZhouYi,wehaveattemptedtoexaminetheevolutionfromtheeightdiagramstothesixty-fourhexagrams,inthehopeoffindingoutwhatittriestoconveytoitsreadersandhowitachievesitsaim.1Ourconclusionis:ZhouYisetupathinkingmodelwhichdeeplyinfluencedtheChinesetraditionalcultureandwecanseeitsinfluencesintoday’sChina.Moreover,theinterpretationsofthesymbolicdiagramsprovidedby
简介:Sustainabledevelopment,aconceptwhichhasbeenbuiltwiththesustainabilityofeconomicprogressionasamainthrust,hasbeenawidelypreferredmodeltotraditionaldevelopmentalmodels.However,therealmeaningofwhatsustainabledevelopmentisandshouldincludehasbeenanobjectofdebate.Ontheonehand,differingfromtraditionaleconomicdevelopmentalmodels,economicprogressdoesnotnecessitatethepracticeof‘sustainabledevelopment'.Ontheotherhand,currentlevelsofscienceandtechnologyarestillunabletosolveseveralproblemsthatarisewitheconomicdevelopment.Sustainabledevelopmenthastransferredtheresponsibilityofenvironmentaldestructiontothatofdevelopingcountries.Lastly,insteadofutilizingthebesttechnologyandleadershipintoformulatingexcellentenvironmental-protectionpolicies,itismoreimportanttocreatewidespreadawarenesstothepublicontheneedtoprotecttheenvironmentandtherebyengagetheirparticipationindecision-makingtoactuallyrealizewhatistruly‘sustainabledevelopment'.
简介:AhomomorphismψoflogicprogramsfromPtoP'isafunctionmappingAtoms(P)toAtoms(P')andpaper,thecomplexityofthedecisionproblemsonhomomorphismandisomorphismfordefinitelogicprogramsisstudied.Itisshownthatthehomomorphismproblem(HOM-LP)fordefinitelogicprogramsisNP-complete,andtheisomorphismproblem(ISO-LP)isequivalenttothegraphisomorphismproblem(GI).