Search

Hard spheres are an important benchmark of our understanding of natural and synthetic systems. In this work, colloidal experiments and Monte Carlo simulations examine the equilibrium and out-of-equilibrium assembly of hard spheres of diameter $\sigma$ within cylinders of diameter $\sigma\leq D\leq 2.82\sigma$. Although in such a system phase transitions formally do not exist, marked structural crossovers are observed. In simulations, we find that the resulting pressure-diameter structural diagram echoes the densest packing sequence obtained at infinite pressure in this range of $D$. We also observe that the out-of-equilibrium self-assembly depends on the compression rate. Slow compression approximates equilibrium results, while fast compression can skip intermediate structures. Crossovers for which no continuous line-slip exists are found to be dynamically unfavorable, which is the source of this difference. Results from colloidal sedimentation experiments at high P\'eclet number are found to be consistent with the results of fast compressions, as long as appropriate boundary conditions are used. The similitude between compression and sedimentation results suggests that the assembly pathway does not here sensitively depend on the nature of the out-of-equilibrium dynamics., Comment: 11 pages, 8 figures and 63 references

The precise arrangement of microscopic objects is critical to the development of functional materials and ornately patterned surfaces. Here, we present an acoustics-based method for the rapid arrangement of microscopic particles into organized and programmable architectures, which are periodically spaced within a square assembly chamber. This macroscale device employs two-dimensional bulk acoustic standing waves to propel particles along the base of the chamber toward pressure nodes or antinodes, depending on the acoustic contrast factor of the particle, and is capable of simultaneously creating thousands of size-limited, isotropic and anisotropic assemblies within minutes. We pair experiments with Brownian dynamics simulations to model the migration kinetics and assembly patterns of spherical microparticles. We use these insights to predict and subsequently validate the onset of buckling of the assemblies into three-dimensional clusters by experiments upon increasing the acoustic pressure amplitude and the particle concentration. The simulations are also used to inform our experiments for the assembly of non-spherical particles, which are then recovered via fluid evaporation and directly inspected by electron microscopy. This method for assembly of particles offers several notable advantages over other approaches (e.g., magnetics, electrokinetics and optical tweezing) including simplicity, speed and scalability and can also be used in concert with other such approaches for enhancing the types of assemblies achievable., Comment: 13 pages, 8 figures

The European Space Agency (ESA) uses an engine to perform tests in the Ground Segment infrastructure, specially the Operational Simulator. This engine uses many different tools to ensure the development of regression testing infrastructure and these tests perform black-box testing to the C++ simulator implementation. VST (VisionSpace Technologies) is one of the companies that provides these services to ESA and they need a tool to infer automatically tests from the existing C++ code, instead of writing manually scripts to perform tests. With this motivation in mind, this paper explores automatic testing approaches and tools in order to propose a system that satisfies VST needs.

Any traditional engineering field has metrics to rigorously assess the quality of their products. Engineers know that the output must satisfy the requirements, must comply with the production and market rules, and must be competitive. Professionals in the new field of software engineering started a few years ago to define metrics to appraise their product: individual programs and software systems. This concern motivates the need to assess not only the outcome but also the process and tools employed in its development. In this context, assessing the quality of programming languages is a legitimate objective; in a similar way, it makes sense to be concerned with models and modeling approaches, as more and more people start the software development process by a modeling phase. In this paper we introduce and motivate the assessment of models quality in the Software Development cycle. After the general discussion of this topic, we focus the attention on the most popular modeling language -- the UML -- presenting metrics. Through a Case-Study, we present and explore two tools. To conclude we identify what is still lacking in the tools side.