简介：

简介：无

简介：

简介：

简介：

简介：

简介：

简介：Toolmanagementisnotasingle,simpleactivity,itiscomprisedofacomplexsetoffunctions,especiallyinaflexiblemanufacturingsystem(FMS)environment.Theissuesassociatedwithtoolmanagementincludetoolrequirementplanning,toolreal-timescheduling,toolcribmanagement,toolinventorycontrol,toolfaultdiagnosis,tooltrackingandtoolmonitoring.Inordertomaketoolsflowinto/outofFMSefficiently,thisworkisaimedtodesignaknowledge-baseddecisionsupportsystem(KBDSS)fortoolmanagementinFMS.Firstlyanoverviewoftoolmanagementfunctionsisdescribed.ThenthestructureofKBDSSfortoolmanagementandtheessentialagentsinthedesignofKBDSSarepresented.FinallytheindividualagentsofKBDSSarediscussedfordesignanddevelopment.

简介：Theobjectivesofthisstudyaretoassesslandsuitabilityandtopredictthespatialandtemporalchangesinlandusetypes(LUTs)byusingGIS-basedlandusemanagementdecisionsupportsystem.AGISdatabasewithdataonclimate,topography,soilcharacteristic,irrigationcondition,fertilizerapplication,andspecialsocioeconomicactivitieshasbeendevelopedandusedfortheevaluationoflandproductivityfordifferentcropsbyintegratingwithacropgrowthmodel--theerosionproductivityimpactcalculator(EPIC).Internationalfoodpolicysimulationmodel(IFPSIM)isalsoembeddedintoGISforthepredictionsofhowcropdemandsandcropmarketpriceswillchangeunderalternativepolicyscenarios.Aninferenceengine（IE)includinglandusechoicemodelisdevelopedtoillustratelandusechoicebehaviorbasedonlogitmodels,whichallowstoanalyzehowdiversifiedfactorsrangingfromclimatechanges,croppricechangestolandmanagementchangescanaffectthedistributionofagriculturallanduse.Atestforintegratedsimulationistakenineach0.1°by0.1°gridcelltopredictthechangeofagriculturallandusetypesatgloballevel.Globallandusechangesaresimulatedfrom1992to2050.

简介：Thispapercapturesdatafromacollaborativeschooldistrict-universitydesignedcasestudythatlooksintosecondaryin-serviceteachers’perceptionsofwhatafirst-yearteachershouldknowandbeabletodotobepreparedtobesuccessfulinhisorherclassroom.Theseinsightshelpedtodesignateam-taughtcourseinFall2017forpreservicesocialstudiesteachersandtolaytheframeworkforfutureteaminginitiativesintheCollegeofEducationandtheschooldistrict.

简介：为了由固体为xylanase生产优化文化条件，用杆菌pumilus说发酵(SSF)，与象支持的稻外壳，稳固的媒介与液体发酵媒介的800mL包含了稻外壳的200g[木聚糖，20.0g/L；胨，2.0g/L；酵母摘录，2.5g/L；K2HPO4，2.5g/L；KH2PO4，1.0g/L；NaCl，0.1g/L；(NH4)2SO4，2.0g/L，CaCl2楰杮漠?潬楣愠獳'覒X整?楷桴爠獥獩慴据?潴爠捩???桴?癥污慵楴湯漠?桴?潰整瑮慩?景爠獥獩慴据?呑獌?湡?桴?敲楳瑳湡?敲潳牵散?潦湵?湩瘠牡潩獵漠杲湡獩獭戠獥摩獥爠捩？

简介：

简介：

简介：AbstractBackground:Substantial research is underway to develop next-generation interventions that address current malaria control challenges. As there is limited testing in their early development, it is difficult to predefine intervention properties such as efficacy that achieve target health goals, and therefore challenging to prioritize selection of novel candidate interventions. Here, we present a quantitative approach to guide intervention development using mathematical models of malaria dynamics coupled with machine learning. Our analysis identifies requirements of efficacy, coverage, and duration of effect for five novel malaria interventions to achieve targeted reductions in malaria prevalence.Methods:A mathematical model of malaria transmission dynamics is used to simulate deployment and predict potential impact of new malaria interventions by considering operational, health-system, population, and disease characteristics. Our method relies on consultation with product development stakeholders to define the putative space of novel intervention specifications. We couple the disease model with machine learning to search this multi-dimensional space and efficiently identify optimal intervention properties that achieve specified health goals.Results:We apply our approach to five malaria interventions under development. Aiming for malaria prevalence reduction, we identify and quantify key determinants of intervention impact along with their minimal properties required to achieve the desired health goals. While coverage is generally identified as the largest driver of impact, higher efficacy, longer protection duration or multiple deployments per year are needed to increase prevalence reduction. We show that interventions on multiple parasite or vector targets, as well as combinations the new interventions with drug treatment, lead to significant burden reductions and lower efficacy or duration requirements.Conclusions:Our approach uses disease dynamic models and machine learning to support decision-making and resource investment, facilitating development of new malaria interventions. By evaluating the intervention capabilities in relation to the targeted health goal, our analysis allows prioritization of interventions and of their specifications from an early stage in development, and subsequent investments to be channeled cost-effectively towards impact maximization. This study highlights the role of mathematical models to support intervention development. Although we focus on five malaria interventions, the analysis is generalizable to other new malaria interventions.

简介：Themachine-toolsperformanceswithintheframeworkofhigh-speedmachiningbothdependonthedesignofthereferencetrajectoryandonthetuningoftheservocontrollers.Thereductionofthecontouringerrorcanbeachievedbyadaptingthefeedratetothepathprofile.Analternativemethodconsistsofsmoothingthespatialtrajectorythatallowstodecreasethecycletime.Apathsmoothingtechniqueisprovided,whichusesananalogywithracing-carpiloting.Thetrajectoryismodifiedpointwiseaccordingtoasetofrulesandisdesignedusingfuzzycontrol.

简介：Thereliabilityofreal-timeembeddedsoftwaredirectlydeterminesthereliabilityofthewholereal-timeembeddedsystem,andtheeffectivesoftwaretestingisanimportantwaytoensuresoftwarequalityandreliability.Basedontheanalysisofthecharacteristicsofreal-timeembeddedsoftware,theformalmethodisintroducedintothereal-timeembeddedsoftwaretestingfieldandthereal-timeextendedfinitestatemachine(RT-EFSM)modelisstudiedfirstly.Then,thetimezonedivisionmethodofreal-timeembeddedsystemispresentedandthedefinitionanddescriptionmethodsoftime-constrainedtransitionequivalenceclass(timeCTEC)arepresented.Furthermore,theapproachesofthetestingsequenceandtestcasegenerationareputforward.Finally,theproposedmethodisappliedtoatypicalavionicsrealtimeembeddedsoftwaretestingpracticeandtheexamplesofthetimeCTEC,testingsequencesandtestcasesaregiven.Withtheanalysisofthetestingresult,theapplicationverificationshowsthattheproposedmethodcaneffectivelydescribethereal-timeembeddedsoftwarestatetransitioncharacteristicsandreal-timerequirementsandplaytheadvantagesoftheformalmethodsinaccuracy,effectivenessandtheautomationsupporting.Combinedwiththetestingplatform,thereal-time,closedloopandautomatedsimulationtestingforreal-timeembeddedsoftwarecanberealizedeffectively.

简介：

简介：Informationhidingschemesbasedonvectorquantization(VQ)usuallyrequirelengthyVQencodinganddecodingprocesses.Inthispaper,weproposeanefficientinformationhidingmethodbasedonclosestpairedtreestructurevectorquantization(CPTSVQ).Thesimulationresultshowsthattheexecutiontimeoftheproposedschemeismuchshorterthanthatattainedbypreviousapproaches.

简介：在一个现代电的驱动程序，转子地面向的控制(RFOC)方法被用来完成好表演和适当短暂回答。在这个方法，转子流动的空间向量来由转子抵抗价值方便。转子抵抗是根据马达速度和房间温度改变变化的重要参数之一。在这份报纸，一个新联机评价方法被利用由使用沃尔什功能领域获得转子抵抗。沃尔什功能是在piecewise常数基础功能(PCBF)的最适用的功能之一解决动态方程。在另一方面，一个不可分的运作的矩阵被用来简化计算算法的过程和速度。模拟结果证明建议方法能够在要用体力地与注射噪音在对比估计转子抵抗的时间间隔上在一台电的机器解决动态方程。

简介：Somepropertiesofconvexconesareobtainedandareusedtoderiveseveralequivalentconditionsaswellasanotherimportantpropertyfornearlycone-subconvexlikeset-valuedfunctions.Undertheassumptionsofnearlycone-subconvexlikeness,aLagrangianmultipliertheoremonBensonproperefficiencyispresented.Relatedresultsaregeneralized.