On the evaluation of space-time functions, in:

Abstract-The Proto spatial programming language abstracts the distributed execution of programs as evaluation of spacetime functions over dynamically defined subspaces on a manifold. Previously, however, function evaluation has always been defined in terms of a complete inlining of expressions during compilation. This simplified the definition of programs, at the cost of limiting expressiveness and duplicating code in compiled binaries. In this paper, we address these shortcomings, producing a model of in-place function evaluation and analysis of its implications for Proto. We have extended the MIT Proto compiler and ProtoKernel virtual machine to implement this model, and empirically verified the reduction of compiled binary size

On the evaluation of space-time functions, in:

Abstract-The Proto spatial programming language abstracts the distributed execution of programs as evaluation of spacetime functions over dynamically defined subspaces on a manifold. Previously, however, function evaluation has always been defined in terms of a complete inlining of expressions during compilation. This simplified the definition of programs, at the cost of limiting expressiveness and duplicating code in compiled binaries. In this paper, we address these shortcomings, producing a model of in-place function evaluation and analysis of its implications for Proto. We have extended the MIT Proto compiler and ProtoKernel virtual machine to implement this model, and empirically verified the reduction of compiled binary size

On the evaluation of space-time functions, in:

In an environment increasingly saturated with computing devices, it is desirable for some services to be distributed, executing via local interactions between devices. Creating fast, flexible, and dynamic distributed services requires a general model of function calls distributed over space-time. Prior models, however, have either depended strongly on large-scale Internet infrastructure or have restrictions in the scope or resolution of space-time for inputs, outputs, or evaluation of the function. We address this by providing a formal general model of function calls over space-time. We then fully realize a practical model of spacetime function calls, based in the Proto language, and present both theoretical and empirical results. Finally, we show how our results for Proto generalize into implications for any model of distributed computing

Analysis of non-stationary flow interaction with simple form objects

ArticleThe paper is devoted to the analysis of a non-stationary rigid body interaction in a fluid flow. Initially, an approximate method for determining the forces due to fluid interaction with the rigid body is offered. For this purpose, the plane movement of a mechanical system with an infinite DOF (degrees of freedom) is reduced to 5 DOF motion: 3 DOF for the body and 2 DOF for the areas of compression and vacuum in fluid flow. Differential equations of non-stationary motion are formed by the laws of classical mechanics. The use of an approximate method has been quantified by computer modelling. The average difference in results was found to be small (< 5%). The analysis of the fluid (air) interaction is carried out for a rigid body of two simple geometries - flat plate and diamond. The results obtained are used to refine the parameters of the proposed approximate method that is addressed in the present study for fluid interaction with the non-stationary rigid body. Theoretical results obtained in the final section are used in the analysis of the movement of prismatic bodies in order to obtain energy from the fluid flow

Analysis of non-stationary flow interaction with simple form objects

ArticleThe paper is devoted to the analysis of a non-stationary rigid body interaction in a fluid flow. Initially, an approximate method for determining the forces due to fluid interaction with the rigid body is offered. For this purpose, the plane movement of a mechanical system with an infinite DOF (degrees of freedom) is reduced to 5 DOF motion: 3 DOF for the body and 2 DOF for the areas of compression and vacuum in fluid flow. Differential equations of non-stationary motion are formed by the laws of classical mechanics. The use of an approximate method has been quantified by computer modelling. The average difference in results was found to be small (< 5%). The analysis of the fluid (air) interaction is carried out for a rigid body of two simple geometries - flat plate and diamond. The results obtained are used to refine the parameters of the proposed approximate method that is addressed in the present study for fluid interaction with the non-stationary rigid body. Theoretical results obtained in the final section are used in the analysis of the movement of prismatic bodies in order to obtain energy from the fluid flow