学科分类
/ 25
500 个结果
  • 简介:Theobjectiveofconformancetestingistodeterminewhetheranimplementationundertest(IUT)conformstoitsspecification.Indistributedtestarchitecturewheretherearemultipleremotetesters,theobjectivecanbecomplicatedbythefactthattestersmayencountercontrollabilityandobservabilityproblemsduringtheapplicationofatestsequence.Acertainamountofworkhasbeendoneintheareaofgeneratingtestsequencethatisfreefromtheseproblems.However,fewresearchersinvestigatethemfromtheaspectoftestexecution.Thisworkstudiesthetestexecutionphasewhentestsequencesareappliedtotheimple-mentationanditispointedoutthatcontrollabilityandobservabilityproblemscanberesolvedifandonlyifthetestsystemim-plementssometimingconstraints.Whendeterminingtheseconstraints,thedynamictimeinformationduringtestistakenintoaccount,whichreducesthetestexecutiontimeandimprovestestefficiencyfurther.

  • 标签: 分布式系统 检测 定时问题 可观测性 可控制性
  • 简介:不用说,接受这份殊荣,我十分荣幸。除了为多年来关心物理教育的各种问题而感到乐趣之外,我特别高兴在10年前就致力于AAPT的各种活动。它让我了解在座的许多人的工作,使我谦虚,很清楚,你们中间许多人都有可能象我今天这样站在领奖台上。

  • 标签: 主动学习 物理教育 AAPT 教学理念 课程设计 高中
  • 简介:在教学,经常会遇到条件不明确的问题,学生常顾此失彼,导致少解或漏解,这需要对不明确条件逐一分析讨论、做出正确的判断,这就是物理分类思想。

  • 标签: 分类思想 物理教学 中学 教学方法
  • 简介:TheconfigurationmanagementtoolCMThasbeenusedsinceseveralyearsnow,andinquitsdifferentprojects(Virgo,GLAST,LHCb,Auger,Atlas,etc).Thefeaturesofthetoolhavecontinuouslyevolvedaccordingtothegrowingneedsofthedevelopersandtofollowtheincreasingcomplexityofthesoftwarebasesithastoservice,Howevertheoriginalconcepts:readability,simplicity,flexibility,completenesshavebeenpreservedandthesyntanofthecoreelementofthesystem-therequirementsfile-hasbeenalwaysketpbackwardcompatible.MoreandmoreprojectspecificconventionsandneedshavefounrtheirexpressionusingCMT,andsimultaneouslythefocuesetoCMTfeatureshaveevolvedaccordingly,progressivelyraisingimportancetowardslanguagecustomisation,newdocumentgeneratorsproductionofpatterns,packageorganizationandsoftwaredistribution.ThebasicpropertiesoftheCMTtoolkitwillbeshortlypresentedbutthefocusofthediscussionwillbesettotheCMTtoolkitwillbeshortlypresentedbutthefocusofthediscussionwillbesettoptheserecentevolutions,throughtsometypicalexamplesobtainedfromactualprojectsshowingspecificdefinitionsorconventions.Thediscussionisthenextendedtowardsthegeneralizedquestionofthescalabilityinsoftwareproductionandmanagementinthecontextofe.g.Gridtechnologies.TheimpactofusinggenericandhighleveltoolssuchasCMT,whichalreadyoffersseveralsolutions,RPMortheGridtechnologies,inthisrespectwillbepresented.Inparticular,theroleofformalspecificationsforthesoftwareconfigurationappearstobecriticalforquerymechanismsrequiredinmanagementoperationsorinremoteactions.

  • 标签: 软件开发 大项目用软件 软件管理
  • 简介:Thereisagrowingsupportforthelowlyingscalarmesonsf0(500),f0(980),a0(980),and(800)tobegenerateddynamicallyfromtheinteractionofpseudoscalarmesons,whilethecaseofthenextsetofscalarresonancesathigherenergies,f0(1370),f0(1710),K0(1430)ismoreaquestionofdebate.Soisthecaseofthetensorresonancesf2(1270),f′2(1525),K2(1430).AnewperspectiveonthesestateshasbeenofferedinRef.[1]wherethef0(1370)andf2(1270)resonancesareshowntobegeneratedfromtheinteractionprovidedbythelocalhiddengaugeLagrangiansimplementingunitarization.Itisshownthattheideaofthenatureofthesestatesasvectormeson-vectormesoncompositestateshasbeentestedinmanyreactions.Yet,thepermanentdiscussionoftheissuedemandsextrachecksforotherobservablesand,inthissense,theweakdecaysbringanewsourceofvaluableinformationthatshouldservetotestdifferentmodels.

  • 标签: J/Ψ source case SENSE NEXT IDEA
  • 简介:我们为f(T)严肃理论在宇宙论的限制的精确上探索SandageLoeb(SL)测试的影响。因为它在远类星体的系列在Lyman-森林里测量redshift飘移,SL测试是对当前的宇宙论的观察的重要补充,盖住2z的redshift沙漠5。避免数据矛盾,当模仿30的基准的模型嘲笑SL测试数据,我们基于当前的联合观察数据使用最好合适的模型。我们确定为f(T)严肃理论的参数评价上的这些SL测试数据的影响。二个典型f(T)模型被考虑,幂定律模型f(T)PL和指数形式的模型f(T)终止。结果证明SL测试罐头有效地打破存在在在另外的宇宙论的观察的今日的事密度m和小瘤常数H0之间的强壮的退化。为考虑f(T)模型,SL测试的30年的观察能极其改进m和H0的限制精确,但是不能有效地改进模型参数的限制精确。

  • 标签: 红移 漂移 测试数据 基准模型 重力 观测数据
  • 简介:Rotation in Reaction 19F+51VRotationinReaction19F+51V¥WangQi;LuJun;XuHushan;LiSonglin;ZhuYongtaiandZhangYuhuIndLssi...

  • 标签:
  • 简介:Thefirstexcitedstateandthegroundstateof^17Farestudiedwiththeasymptoticnormalizationcoefficientmethod.Theresultsshowthattheprobabilitiesofthelastprotonbeingoutofthebinding-potentialinboththestatesareP=59.71%andP=27.61%,respectively.Thismeansthatthelastnucleoninboththestatesof^17Fisfar-extendedbeyondtherangeofnuclearforce,especiallyinthefirstexcitedstate.Thisresultisalsoverifiedbythecalculationofthedensitydistributionsofthelastprotonin^17F.Itisquantitativelyconfirmedthatthefirstexcitedstateof^1TFisanuclearhalostateanditsgroundstateisaprotonskinstate.

  • 标签: 奇异结构 ^17氟原子 第一激发态 基态 渐近正则系数法
  • 简介:AdetailedstudyofthepressureoscillationinducedbythefilmboilingofHeⅡispresented.Thefilmboilingstateandthestabilitynofthevapourfilmaredeterminedbythegoverningparameter(i.e.theimmersiondepth).Itisfoundthatthepowerdensityspectrumofthepressureoscillationinducedbythefilmboilingdisplaysthe1/f^α-behaviour.Theexponentαwasfoundtobewithintherangefromonetotwo,whichindicatestheexistenceofself-organizedcriticalityinthefilmboilingofHeⅡ.

  • 标签: 超流体 HeⅡ 膜沸腾 压强涨落
  • 简介:在这份报纸,我们学习稳定性局部地旋转地对称(LRS)Bianchi我在通过阶段空间分析的f(T)重力的宇宙模型。我们假设f(T)严肃能被当作象完美的液体一样表现的有效黑暗精力,并且建议在无压力的物质以及黑暗精力之间有相互作用。我们构造方程的相应自治系统检查模型的稳定性因为非幽灵,真空和幽灵分阶段执行。批评的点作为与相比在幽灵阶段仍然保持更稳定,这被结束非幽灵和真空盒子。最后,我们通过一些宇宙论的参数讨论模型的宇宙论的行为。

  • 标签: 相空间分析 宇宙模型 重力 各向异性 稳定性 旋转对称
  • 简介:目的:对于复杂技术系统,给出不同研究领域的初步分类,并找出一些研究关注的问题。创新点:提出了一种推理方法,将复杂技术系统的研究领域分为三类。方法:1.对相关的学术刊物进行直觉探索;2.对领域和子领域研究给出基于证据的分类规范;3.对基于相关学术刊物的控制给出的分类进行提炼与验证。结论:复杂技术系统的研究领域分为三类,分别为:(1)智能化类,包括哲学、本体和认识论;(2)实现类,包括方法论和复杂技术系统的创建;(3)影响类,包括表现和价值学。

  • 标签: 基础研究 复杂技术系统 初步分类 研究范畴与领域
  • 简介:WepresentanF-expansionmethodforfindingperiodicwavesolutionsofnonlinearevolutionequationsinmathematicalphysics,whichcanbethoughtofasaconcentrationofextendedJacobiellipticfunctionexpansionmethodproposedrecently.ByusingtheF-expansion,withoutcalculatingJacobiellipticfunctions,weobtainsimultaneouslymanyperiodicwavesolutionsexpressedbyvariousJacobiellipticfunctionsforthevariantBoussinesqequations.Whenthemodulusmapproaches1and0,thehyperbolicfunctionsolutions(includingthesolitarywavesolutions)andtrigonometricsolutionsarealsogivenrespectively.

  • 标签: F扩展 周期波 Boussinesq变量方程 JACOBI椭圆函数 孤波解
  • 简介:本文主要简述了分类思想方法的含义和应用,并结合教学实践经验就如何有效开展中学数学分类思想方法的应用提出自己的观点。

  • 标签: 分类思想方法 教学手段 渗透教学
  • 简介:Inthiswork,webrieflydiscussanovelclassofmodifiedgravitylikef(T,TG)gravity.Inthisbackground,weassumethenewagegraphicversionofpilgrimdarkenergyandreconstructf(T,TG)modelsfortwospecificvaluesofs.Wealsodiscusstheequationofstateparameter,squaredspeedofsoundandwDE-wDEplaneforthesereconstructedf(T,TG)models.Theequationofstateparameterprovidesphantom-likebehavioroftheuniverse.ThewDE-wDEplanealsocorrespondstoΛCDMlimit,thawingandfreezingregionsforbothmodels.

  • 标签: f(T TG) GRAVITY PILGRIM DE models
  • 简介:同学们刚刚接触电学时往往对根据并联实物图画电路以及根据并联电路图画对应的实物感到困难.究其原因,还是没有掌握解题方法.下面本文将结合实例对这两类问题的解题方法作浅显的介绍.

  • 标签: 并联电路 电路图 解题方法 图画 触电