简介：Inthispaper,wepresentanalgorithmforsolvingaclassoftransportationproblemsandshowthatitisgloballyconvergent.Thepropsedalgorithmissimpletoimplementandeasytoparallelize.Thenumericalresultsindicatethattheproposedalgorithmiseffectiveforthisclassofproblems.

简介：Thepaperpresentsaneuralnetworkforsolvingaclassofquadraticprogrammingproblems.Theneuralnetworkiscompletelystabletoexactsolutionsandtherearenoparameterstoset.Moreover,noanaloguemultipliersanddividersarerequired,incontrasttoexistingneuralnetwork[3]whichneedsplentyofanaloguemultipliers.

简介：Thebasicprobleminoptimizingcommunicationnetworksistoassignapropercircuitforeachorigindestinationpairinnetworkssoastominimizetheaveragenetworkdelay,andthenetworkoptimalrouteselectionmodelisamulti-constrained0-1nonlinearprogrammingproblem,Inthispaper,anewstochasticoptimizationalgorthm,ImmuneAlgorithm,isappliedtosolvetheoptimizationproblemincommunicationnetworks,AndthebackbonenetworkvBNSischosentoillustratethetechniqueofevaluatingdelayinavirtualnetowrk.Atlast,IAiscomparedwiththeoptimizationmethodincommunicationnetworksbasedonGeneticAlgorithm,andtheresultshowsthatIAisbetterthanGAinglobaloptimumfinding.

简介：这篇论文提供复合条件质问(CCQ)和基于空格从踪迹代数学导出的踪迹信息使用要求引导的一个形式化方法的应用程序问题的一个形式化的定义。与解决CCQ的应用程序问题的形式化的进程，CCQ的申请的正式要求说明被给，一形式化，到正式要求说明的要求引导的结果的自动印射被执行，软件系统模型和应用程序代码被开发。通过住房信息上的全面质问的一个样品应用程序，可行性形式化，为CCQ的应用程序问题的自动软件开发被证明。结果关于形式化和自动软件开发为另外的问题有重要含意。