Current researches about multi-vehicle cooperation task assignment models, such as capacitated transshipment assignment problem (CTAP) and mixed integer linear programming (MILP), have extreme amounts of computation n...
详细信息
the state of the art in model-driven software engineering is a combination of structural modeling and conventional programming to supply the operational behavior of the system. this fact leads to the so-called code ge...
详细信息
ISBN:
(数字)9783030378738
ISBN:
(纸本)9783030378738;9783030378721
the state of the art in model-driven software engineering is a combination of structural modeling and conventional programming to supply the operational behavior of the system. this fact leads to the so-called code generation dilemma when model and hand-written code evolve independently during the software development process. In this paper we present an approach of integrating two OMG standards to overcome this problem: A tight integration of UML used for structural modeling and the Action Language for Foundational UML (ALF) for behavioral modeling using a textual surface notation leads to a full-blown model-driven process which allows for the generation of fully executable source code. Supplying hand-written code fragments in the target language is no longer necessary.
In the processing and applying of the digital map, it is one of the key technologies that aligning the maps from different projective coordinate systems to a standard. Using the principium of geometric correction, the...
详细信息
ISBN:
(纸本)9781424406838
In the processing and applying of the digital map, it is one of the key technologies that aligning the maps from different projective coordinate systems to a standard. Using the principium of geometric correction, the paper compared and analyzed three correction models of the raster map, presented the idea of correcting the maps of different scale with corresponsive correction models, and citing a map of certain scale, the author compared the correction effects and errors of three models by programming and proved the accuracy and feasibility of this idea.
To suppress interferences in the airspace and improve the robustness of beam, a robust adaptive beamforming algorithm based on second-order cone programming (RAB_SOCP) is proposed in this paper. Using worst-case optim...
详细信息
this paper proposes a method for optimizing the jump trajectory of a robot, aiming to minimize the maximum torque. By utilizing the dynamics of the entire machine and iteratively refining the range of joint torques, t...
详细信息
Microgrids contain different nanogrids with various power capacities and fluctuations in production. An overall strategy for managing power flow between all interconnected nanogrids is needed. this paper presents a mu...
详细信息
the proceedings contain 128 papers. the topics discussed include: fast and reliable random number generators for scientific computing;large-scale computations withthe unified Danish Eulerian model;a chemical engineer...
详细信息
ISBN:
(纸本)3540290672
the proceedings contain 128 papers. the topics discussed include: fast and reliable random number generators for scientific computing;large-scale computations withthe unified Danish Eulerian model;a chemical engineering challenge problem that can benefit from interval methods;interval based Markov Decision processes;a verification method for solutions of linear programming problems;on the approximation of interval functions;the distributed interval geometric machine model;new algorithms for statistical analysis of interval data;on efficiency of tightening bonds in interval global optimization;applying software testing matrices to lapack;parallel algorithms for balanced truncation model reduction of sparse systems;and applying high performance computing techniques in astrophysics.
Under the background of 'two-carbon' target, the microgrid of 'source-network-load-storage' structure, as an important intermediary for realizing multi-energy complementarity, multi-energy coupling, an...
详细信息
A general technique based on scoring scheme reweighting is proposed that can be used to speed up dynamic programming algorithms for a variety of pairwise sequence alignment problems. For the standard sequence alignmen...
详细信息
暂无评论