One rarely encounters programming languages and frameworks that provide general-purpose and type-safe hot code swap. It is demonstrated here that this is entirely possible in Haskell, by faithfully following the motto...
详细信息
theories and design principles of a general nature will be far too weak to be of much value to the practitioners. We should develop specialized theories that are applicable in specific domains, and we should work on b...
详细信息
ISBN:
(纸本)3540434836
theories and design principles of a general nature will be far too weak to be of much value to the practitioners. We should develop specialized theories that are applicable in specific domains, and we should work on binding these theories and principles much like the way we structure large systems today. functionalprogramming, for instance, provides impressive facilities for modularization, programming in layers and program integration. However, several important areas are not covered by the functional style of programming: non-determinism, persistent storage management, and matrix-based computations, for instance. there seem to be no easy extensions of functional-based system to include these domains. I suggest that we abandon the idea of a Grand Unification theory, and design specialized theories that handle a few things well. We should be studying how the capabilities of functionalprogramming and object-based programming, for instance, can be integrated, different theories being applicable in each domain. the challenge lies in seamless integration. this proposal amounts to a strong prescription for empiricism, that we have to do a large number of experiments to understand where theories can play a role, and which kinds of theories would be most appropriate and when. Examples of a few small theories will be given and their effectiveness and limitations will be illustrated.
Designing and implementing a multirotor imposes some challenges: limited flight time and take-off mass, motor/propeller matching and unsteady dynamics. In this paper, these challenges are addressed by multi-objective ...
详细信息
ISBN:
(纸本)9781538630327
Designing and implementing a multirotor imposes some challenges: limited flight time and take-off mass, motor/propeller matching and unsteady dynamics. In this paper, these challenges are addressed by multi-objective optimization of a multirotor's operational parameters like flight velocity, flight altitude and motor/propeller rpm, and physical parameters like motor, battery and propeller geometry. New contributions are establishing a functional dependence of rotor thrust and power coefficients on design parameters, and incorporating aerodynamic effects within the optimization environment. Additionally, the rationality of optimization is enhanced by modeling physical parameters as discrete variables. the numerical results indicate that Genetic Algorithm reliably finds an optimum design, and improves flight time and maximum take-off mass by 35%.
In this paper we present an approach and a software prototype that enables domain experts to program control software in the automation domain. the approach follows the principles of domain-specific modeling providing...
详细信息
ISBN:
(纸本)9781424437597
In this paper we present an approach and a software prototype that enables domain experts to program control software in the automation domain. the approach follows the principles of domain-specific modeling providing a graphical domain-specific language to model the control cycle of an injection molding machine, a user interface to manipulate and monitor the control cycle as well as code generators to generate control code that can be executed by the machine. As result, domain experts like machine operators can manipulate and monitor the control cycle directly on the touch-screen of a machine without detailed software development expertise.
the results of investigating the microwave generator withthe goffered cavity are presented. Gyroton on the goffred resonator makes it possible to achieve efficiency 81%.
ISBN:
(纸本)1424401089
the results of investigating the microwave generator withthe goffered cavity are presented. Gyroton on the goffred resonator makes it possible to achieve efficiency 81%.
Dynamic supply chain model is presented in this paper, mixed integer programming method is used. We combine strategy level with operation level. Simulation effect of two supply chain networks is analyzed by z transfor...
详细信息
ISBN:
(纸本)1595931120
Dynamic supply chain model is presented in this paper, mixed integer programming method is used. We combine strategy level with operation level. Simulation effect of two supply chain networks is analyzed by z transformation and exponential smoothing method, the objective is that obtains minimal cost of supply chain network structure.
Cultivating high quality talents major in simulation is important to developing simulation discipline. Combined withthe Northwestern Polytechnical University's education on master and doctor of simulation discipl...
详细信息
ISBN:
(纸本)9781424417865
Cultivating high quality talents major in simulation is important to developing simulation discipline. Combined withthe Northwestern Polytechnical University's education on master and doctor of simulation discipline recently, this paper presents the education goals, methods and products etc, Having analyzed it and giving some solutions on the problems such as student's subject changing, government's investment, discipline system building. the paper has some worthiness to reference by other colleges on simulation subject education and talents cultivating.
this work discuss briefly the Elastic Flow Rerouting (EFR)-a traffic restoration strategy for protecting traffic flows in communication networks (including wireless networks). EFR aims at alleviating the trade-off bet...
详细信息
ISBN:
(纸本)9781479987849
this work discuss briefly the Elastic Flow Rerouting (EFR)-a traffic restoration strategy for protecting traffic flows in communication networks (including wireless networks). EFR aims at alleviating the trade-off between practicabilty of traffic restoration and the cost of network resources observed in existing networking solutions. We provide a discussion on the strategy and position it among the other strategies.
the emerging paradigm shift for analysis of elastic systems is caused by demands of reorganization behavior of systems at run-time. For solution this problem a mathematical framework for graph-based dynamic analysis i...
详细信息
ISBN:
(纸本)9781728159539
the emerging paradigm shift for analysis of elastic systems is caused by demands of reorganization behavior of systems at run-time. For solution this problem a mathematical framework for graph-based dynamic analysis is introduced. the essential of the framework is a definition of the generalized graph-based model of the elastic system. Bond graphs, Fractal Petri nets, fractal graphs, and their matrix presentation are included in the framework and inherit technique of generalized model.
there are strong demands to utilize multi-core computing resources effectively for large-scale and highly detailed multi-agent simulations. We have proposed a framework to assist parameter tuning process of multi-core...
详细信息
ISBN:
(纸本)9781479968336
there are strong demands to utilize multi-core computing resources effectively for large-scale and highly detailed multi-agent simulations. We have proposed a framework to assist parameter tuning process of multi-core programming for simulation developers to utilize many parallel cores in their simulation programs efficiently. However, due to its massive computation costs, it is not easy task to seek the sufficient compilation and execution parameters and analyze their performance characteristics for various execution settings. In this paper, we present a preliminary analysis of parameter optimization based on BLMAB by utilizing our framework. We show how our BLMAB-based approach can effectively be used on the parameter optimization process.
暂无评论