this book constitutes the refereed proceedings of the 20th International conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008. the 33 revised full papers presented together wit...
详细信息
ISBN:
(数字)9783540705451
ISBN:
(纸本)9783540705437
this book constitutes the refereed proceedings of the 20th International conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008. the 33 revised full papers presented together with 14 tool papers and 2 invited papers and 4 invited tutorials were carefully reviewed and selected from 104 regular paper and 27 tool paper submissions. the papers are organized in topical sections on concurrency, memory consistency, abstraction/refinement, hybrid systems, dynamic verification, modeling and specification formalisms, decision procedures, program verification, program and shape analysis, security and program analysis, hardware verification, model checking, space efficient algorithms, and model checking.
thE PURPOSE of this paper is to demonstrate why a mass memory subsystem for multi-program operation requires simultaneity in both command and data transfer channels. A hypothetical computer system is discussed which w...
ISBN:
(纸本)9781450374958
thE PURPOSE of this paper is to demonstrate why a mass memory subsystem for multi-program operation requires simultaneity in both command and data transfer channels. A hypothetical computer system is discussed which will illustrate the points presented here and in a MAC project1.
the two volumes LNCS 10199 and 10200 constitute the refereed conference proceedings of the 20th European conference on the Applications of Evolutionary Computation, EvoApplications 2017, held in Amsterdam, the Netherl...
详细信息
ISBN:
(数字)9783319558493
ISBN:
(纸本)9783319558486
the two volumes LNCS 10199 and 10200 constitute the refereed conference proceedings of the 20th European conference on the Applications of Evolutionary Computation, EvoApplications 2017, held in Amsterdam, the Netherlands, in April 2017, collocated withthe Evo* 2016 events EuroGP, EvoCOP, and EvoMUSART.;the 46 revised full papers presented together with 26 poster papers were carefully reviewed and selected from 108 submissions. EvoApplications 2016 consisted of the following 13 tracks: EvoBAFIN (natural computing methods in business analytics and finance), EvoBIO (evolutionary computation, machine learning and data mining in computational biology), EvoCOMNET (nature-inspired techniques for telecommunication networks and other parallel and distributed systems), EvoCOMPLEX (evolutionary algorithms and complex systems), EvoENERGY (evolutionary computation in energy applications), EvoGAMES (bio-inspired algorithms in games), EvoIASP (evolutionary computation in image analysis, signal processing, and pattern recognition), EvoINDUSTRY (nature-inspired techniques in industrial settings), EvoKNOW (knowledge incorporation in evolutionary computation), EvoNUM (bio-inspired algorithms for continuous parameter optimization), EvoPAR (parallel implementation of evolutionary algorithms), EvoROBOT (evolutionary robotics), EvoSET (nature-inspired algorithms in software engineering and testing), and EvoSTOC (evolutionary algorithms in stochastic and dynamic environments).
this book constitutes refereed proceedings of the 20th International conference on Mathematical optimizationtheory and Operations Research, MOTOR 2021, held in Irkutsk, Russia, in July 2021. Due to the COVID-19 ...
详细信息
ISBN:
(数字)9783030864330
ISBN:
(纸本)9783030864323
this book constitutes refereed proceedings of the 20th International conference on Mathematical optimizationtheory and Operations Research, MOTOR 2021, held in Irkutsk, Russia, in July 2021. Due to the COVID-19 pandemic the conference was held online.;the 31 full papers and 3 short papers presented in this volume were carefully reviewed and selected from a total of 102 submissions. the papers in the volume are organised according to the following topical headings: continuous optimization; integer programming and combinatorial optimization; operational research applications; optimal control.
In this paper mathematical programming models for minimizing input-output time of a system of computer runs were discussed. Without experience gained withthe basic model developed in this paper, no general statements...
详细信息
In this paper mathematical programming models for minimizing input-output time of a system of computer runs were discussed. Without experience gained withthe basic model developed in this paper, no general statements should be made. Intuitively we can make the following observations, some of which may be obvious to experts: (1) - Most input-output bound computer runs will have their running time minimized by using the basic "pq" model in which we consider only the number of records per file, number of characters per record, and number of storage locations available for holding records. Aside from possible processing rhythm problems, this must be qualified by: (2) - Pairs of files--one input, the other output--which move in the same rhythm, should not be assigned to the same channel. A "master" file being updated has the input file moving about as fast as the output file. the same is true of "transaction" files being edited. (3) - Larger blocking factors in a run make the input-output operations more independent from the processing operations. Hence, as in (1) above, the "pq" model will optimize correspondingly better and adjustments by changing the rij or sij in the objective function may be correspondingly less effective. (4) - In a processing-bound computer run, the sacrificing of storage space used for input-output areas may help to reduce processing time. Such storage reassignment in one run may affect other runs in which the same files are used. It is rather obvious that reducing the blocking factor of the file withthe largest number of characters per record may help most. We could develop another mathematical programming model for making this quantitative decision in case the file withthe longest data records has also one of the largest number of records in the run or runs involved. (5) - Terminal files (original input or final output) of the system of runs appear to be very amenable to modification by changing rij or sij, if the interlock time or processin
A discrete, linear, fixed time, fixed state boundary condition optimal control problem with a quadratic cost functional is formulated and solved using a computational algorithm for sequential optimization. Second orde...
A discrete, linear, fixed time, fixed state boundary condition optimal control problem with a quadratic cost functional is formulated and solved using a computational algorithm for sequential optimization. Second order linear control problem with unbounded control over interval of interest was run as illustration.
A discrete, linear, fixed time, fixed state boundary condition optimal control problem with a quadratic cost functional is formulated and solved using a computational algorithm for sequential optimization. Second orde...
A discrete, linear, fixed time, fixed state boundary condition optimal control problem with a quadratic cost functional is formulated and solved using a computational algorithm for sequential optimization. Second order linear control problem with unbounded control over interval of interest was run as illustration.
A PROGRAM can be logically described as a set of elements Aj, which contain the instructions, and a matrix cjk which gives the connections between these elements (JUMP instructions). (In PERT terms the elements Aj are...
Resin-fiber reinforced structure, initially flexible, upon command will polymerize into rigid structure while in hard vacuum environment;rigidization technique evaluated was vapor phase catalyzed crosslinking of solva...
详细信息
Resin-fiber reinforced structure, initially flexible, upon command will polymerize into rigid structure while in hard vacuum environment;rigidization technique evaluated was vapor phase catalyzed crosslinking of solvated polymer system;goal of concept involves deployment of large space structures including 60 ft parabolic solar energy converter;urethanes and polyesters were found to be satisfactory resins for this program.
deals with new developments in the areas of optimization, optimal control and systemmodeling. the themes range across various areas of optimization: continuous and discrete, numerical and analytical, finite and infin...
详细信息
ISBN:
(数字)9780387356990
ISBN:
(纸本)9781402075650;9781475766691
deals with new developments in the areas of optimization, optimal control and systemmodeling. the themes range across various areas of optimization: continuous and discrete, numerical and analytical, finite and infinite dimensional, deterministic and stochastic, static and dynamic, theory and applications, foundations and case studies. Besides some classical topics, modern areas are also presented in the contributions, including robust optimization, filter methods, optimization of power networks, data mining and risk control.;this volume contains invited and selected papers from presentations at the 20th IFIP TC7 conference on systemmodeling and optimization, which took place at the University of Trier, Germany from July 23 to 27, 2001, and which was sponsored by the International Federation for Information Processing (IFIP).
暂无评论