简介：

简介：

简介：象在1975一样早，Shamos和Hoey首先给了O(nlgn)-timedivide-and-conquer算法(嘘算法在短)为发现点的最靠近的对的问题。在联合的一个过程，在一些点需要被计算的3n之间的欧几里得距离，计算距离的全面复杂性当时因此是3nlgn。因为距离的计算与另外的基本操作相比是更昂贵的，怎么嘘改善从计算距离的复杂性的方面的算法被考虑。在1998，周，熊和朱由把这复杂性归结为2nlgn改进了SHalgorithm。在这篇论文，我们做进一步的改进。计算距离的Theoverall复杂性被归结为(3nlgn)/2，它仅仅是一半SHalgorithm的。

简介：这份报纸为机器人考虑转矩控制问题，灵活关节由电的致动器开车。用PI转矩控制器的可完成的靠近环的追踪带宽可能由于零由负担动力学介绍了的传播是有限的，这被显示出。这限制被与PI转矩控制器在一致从负担运动使用积极反馈克服。积极反馈以负担速度，加速和猛拉被给。稳定性调节因为设计分散的PI转矩控制器以Routh-Hurwitz标准被导出。封闭系统的骚乱拒绝性质被描绘，分析被执行由省略加速或猛拉信号调查近似积极反馈的使用。这份报纸的结果为二DoF(自由的度)被说明系统。一个DoF系统的试验性的结果也被包括。

简介：SAT-basedboundedmodelchecking(BMC)hasbeenintroducedasacomplementarytechniquetoBDD-basedsymbolicmodelcheckinginrecentyears,andalotofsuccessfulworkhasbeendoneinthisdirection.TheapproachwasfirstintroducedbyA.Biereetal.incheckinglineartemporallogic(LTL)formulaeandthenalsoadaptedtocheckformulaeoftheuniversalfragmentofcomputationtreelogic(ACTL)byW.Penczeketal.Astheefficiencyofmodelcheckingisstillanimportantissue,wepresentanimprovedBMCapproachforACTLbasedonPenczek'smethod.Weconsidertwoaspectsoftheapproach.Oneisreductionofthenumberofvariablesandtransitionsinthek-modelbydistinguishingthetemporaloperatorEXfromtheothers.Theotherissimplificationofthetransformationofformulaebyusinguniformpathencodinginsteadofadisjunctionofallpathsneededinthek-model.Withtheseimprovements,foranACTLformula,thelengthofthefinalencodingoftheformulaintheworstcaseisreduced.TheimprovedapproachisimplementedinthetoolBMVandiscomparedwiththeoriginalonebyapplyingbothtotwowellknownexamples,mutualexclusionanddiningphilosophers.Thecomparisonshowstheadvantagesoftheimprovedapproachwithrespecttotheefficiencyofmodelchecking.

简介：Inordertoovercomethepoorlocalsearchabilityofgeneticalgorithm,resultinginthebasicgeneticalgorithmistime-consuming,andlowsearchabilityinthelateevolutionary,weusethegraycodinginsteadofbinarycodingatthebeginningofthecoding;weusemulti-pointcrossovertoreplacetheoriginalsingle-pointcrossoveroperation.Finally,theexperimentshowsthattheimprovedgeneticalgorithmnotonlyhasastrongsearchcapability,butalsothestabilityhasbeeneffectivelyimproved.

简介：Basedonavirtualsphericallightsourcemethod,thispaperpresentsanimprovedvirtualsphericallightsapproachforglossyilluminationbymodifyingareflectionrenderequation.First,inordertokeepprimitivesphericallights,itusesnon-zerosolidangleintegrationinsteadofageometricitemoftraditionalInstantRadiosityarithmetic.Second,theformulamodeforthelightenergyallocationofVSLsisimprovedbytheenergydistribution,inwhichtheradiusofsphereisreplacedbytheradiusofinscribedcirclegeneratedbythetangenttothenon-zerosolidangleofcone.Third,thesimilarfunctionofjudgingtwopointvisibilitytakesplaceofacosinetermintheapproximateequationsoftheVSLs.Experimentsshowthatblurringordisappearingphenomenonthatappearinpartofright-anglesurfacesceneisavoided.

简介：

简介：ThispaperpresentsafurtherimprovedProductionActivityControlArchitecturetodealwiththecomplexityofinformationbycreatingSub-ProducersandSub-MoverswhichwillnotonlygiveabettercontrolatworkstationlevelbutalsoreduceloadontheDispatcher.ItalsomakesananalysisofthebasicandimprovedPAC(ProductionActivityControl)ArchitectureintheControlSystemforIntegratedManufacturing.ThePACArchitectureandtheimprovementwillfurtherenhancetheflexibilityandadaptabilityofthearchitectureintheeverchangingenvironmentoftheShopFloorControl(SFC)Systems.

简介：

简介：IEEE802.15.4protocolisproposedtomeetthelowlatencyandenergyconsumptionneedsinlow-ratewirelessapplications,however,fewanalyticalmodelsaretractableenoughforcomprehensiveevaluationoftheprotocol.ToevaluatetheIEEE802.15.4slottedCSMA/CAchannelaccessmechanisminthispaper,weproposeapracticalandaccuratediscreteMarkovchainmodel,whichcandynamicallyrepresentdifferentnetworkloads.Bycomputingthesteady-statedistributionprobabilityoftheMarkovchain,weobtainanevaluationformulaforthroughput,energyconsumption,andaccesslatency.Thenwefurtheranalyzetheparametersthatinfluenceperformanceincludingpacketarrivalrate,initialbackoffexponentandmaximumbackoffnumber.Finally,NS2simulatorhasbeenusedtoevaluatetheperformanceofthe802.15.4CSMA/CAmechanismunderdifferentscenariosandtovalidatetheaccuracyoftheproposedmodel.

简介：这篇论文为H论述一个改进方法--有为靠近环的系统的地区性的稳定性限制的二控制。控制器被一套固定获得的凸的联合给。两连续；在一个已知的polytopic领域的分离时间的系统被调查。为参数依赖者Lyapunov功能的存在的新基于LMI的足够的条件被建议。数字例子被给证明建议条件提供有用；更少的保守人士为H的问题结果--有地区性的稳定性限制的二控制。

简介：

简介：HEAPSORT的新变体在这篇论文被介绍。算法不是在强壮的意义的一个内部分类算法，自从为n整数的额外的存储是必要的。新算法的基本想法类似于古典分类算法HEAPSORT，但是算法以另一个方法重建堆。新算法的基本想法是它在每个节点使用仅仅一比较。新算法移动散步在堆击倒一条路径直到一片叶被到达。立即把元素放在根到它的目的地的请求被放松。新算法关于n木头n要求???在最坏情况和n的0.788928n比较记载n???仅仅关于非常必要的0.4n的一般水准上的n比较。它平均打败甚至QUICKSORT的聪明的变体，如果n不是很小的。最坏情况和最好的盒子之间的差别显示仍然为由更小心地构造堆的新算法的改进有空间。电子增补材料这篇文章(doi:10.1007/s11390-007-9106-7)的联机版本包含增补材料，它对授权用户可得到。

简介：

简介：Somenewlinearmatrixinequality(LMI)representationsfordeley-independentanddelay-dependentstabilityconditionsareobtainedbyintroducingadditionalmatricesandeliminatingtheproductcouplingofthesystemmatricesandtheLyapunovmatrices.Theresultsimproveconservativenessofthegivenconditionsfortheanalysisandthedesignoftime-delaysystemswithpolytopic-typeuncertainty.

简介：ThispaperproposesandevaluatestwoimprovedPetrinet(PN)-basedhybridsearchstrategiesandtheirapplicationstoflexiblemanufacturingsystem(FMS)scheduling.Thealgorithmsproposedinsomepreviouspapers,whichcombinePNsimulationcapabilitieswithA*heuristicsearchwithinthePNreachabilitygraph,maynotfindanoptimumsolutionevenwithanadmissibleheuristicfunction.Toremedythedefectsanimprovedheuristicsearchstrategyisproposed,whichadoptsadifferentmethodforselectingthepromisingmarkingsandreservestheadmissibilityofthealgorithm.Tospeedupthesearchprocess,anotheralgorithmisalsoproposedwhichinvokesfasterterminationconditionsandstillguaranteesthatthesolutionfoundisoptimum.TheschedulingresultsarecomparedthroughasimpleFMSbetweenouralgorithmsandthepreviousmethods.Theyarealsoappliedandevaluatedinasetofrandomly-generatedFMSswithsuchcharacteristicsasmultipleresourcesandalternativeroutes.

简介：这篇论文与polytopic无常处理柔韧的稳定性的问题和一个分离时间的系统的柔韧的稳定。一个新、简单的方法被介绍给直接decoupleLyapunov矩阵和系统动态矩阵。把这个方法与参数依赖者Lyapunov功能途径相结合产出作为特殊情况包括一些存在的新标准。一个数字例子超过存在的说明改进。关键词柔韧的稳定性-柔韧的稳定-参数依赖者Lyapunov功能-线性矩阵不平等这个工作被中国(号码20050533015)和中国的国家科学基金的医生题目基础部分地支持(号码60425310，60574014)。张先明在1968出生了。他从中央南方大学在应用数学收到了硕士学位，在1991的中国，并且他在中央南方大学在控制理论和工程收到了博士度，在2006的中国。从2005年4月到2006年4月，他是在中央Queensland大学的一个访问学者，澳大利亚。现在，他是中央南方大学的一个副教授。他的当前的研究兴趣是时间延期系统，柔韧的控制和它的应用程序。吴敏在1963出生了。他从中央南方大学在工程收到了学士和硕士学位，长沙，在1983和1986的中国分别地。他从东京工学院在工程收到了一个博士学位，东京，在1999的日本。现在，他是中央南方大学的一个教授。他收到了在1999设计IFAC的实践论文奖金的控制(联合与M。Nakano和J.H。她)。他的当前的研究兴趣是过程控制，柔韧的控制，和聪明的系统。Jinhua她在1963出生了。他从中央南方大学在工程收到了学士，长沙，中国在1983，并且在1990的一个硕士和在从东京工学院的工程的在1993的一个博士，东京，日本。在1993，他加入了Mechatronics的部门，工程的学校，东京工业大学；并且在2004年4月，他转了到Bionics的大学鈥檚学院，在他当前是一个副教授的地方。他收到了在1999设计IFAC的实践论文奖金的控制(�