Towards the design and implementation of aspect-oriented programming for spreadsheets

A spreadsheet usually starts as a simple and singleuser software artifact, but, as frequent as in other software systems, quickly evolves into a complex system developed by many actors. Often, different users work on different aspects of the same spreadsheet: while a secretary may be only involved in adding plain data to the spreadsheet, an accountant may define new business rules, while an engineer may need to adapt the spreadsheet content so it can be used by other software systems.Unfortunately,spreadsheetsystemsdonotoffermodular mechanisms, and as a consequence, some of the previous tasks may be defined by adding intrusive “code” to the spreadsheet. In this paper we go through the design and implementation of an aspect-oriented language for spreadsheets so that users can work on different aspects of a spreadsheet in a modular way. For example, aspects can be defined in order to introduce new business rules to an existing spreadsheet, or to manipulate the spreadsheet data to be ported to another system. Aspects are defined as aspect-oriented program specifications that are dynamically woven into the underlying spreadsheet by an aspect weaver. In this aspect-oriented style of spreadsheet development, differentusers develop,orreuse,aspects withoutaddingintrusive code to the original spreadsheet. Such code is added/executed by the spreadsheet weaving mechanism proposed in this paper.

Metaphorisms in programming

This paper introduces the metaphorism pattern of relational specification and addresses how specification following this pattern can be refined into recursive programs. Metaphorisms express input-output relationships which preserve relevant information while at the same time some intended optimization takes place. Text processing, sorting, representation changers, etc., are examples of metaphorisms. The kind of metaphorism refinement proposed in this paper is a strategy known as change of virtual data structure. It gives sufficient conditions for such implementations to be calculated using relation algebra and illustrates the strategy with the derivation of quicksort as example.

Production of elastic Chitosan/Chondroitin sulphate multilayer films for tissue regeneration

Membrane-like scaffolds are suitable to induce regeneration in many and different anatomic sites, such as periodontal membrane, skin, liver and cardiac tissues. In some circumstances, the films should adapt to geometrical changes of the attached tissues, such as in cardiac or blood vessel tissue engineering applications. In this context, we developed stretchable two-dimensional multilayer constructs through the assembling of two natural-based polyelectrolytes, chitosan (CHT) and chondroitin sulphate (CS), using the layer-by-layer methodology. The morphology, topography and the transparency of the films were evaluated. The in- fluence of genipin, a natural-derived cross-linker agent, was also investigated in the control of the mechanical properties of the CHT/CS films. The water uptake ability can be tailored by changing the cross-linker concentration, which influenced the young modulus and ultimate tensile strength. The maximum extension tends to decrease with the increase of genipin concentration, compromising the elastic properties of CHT/CS films: nevertheless using lower cross-linker contents, the ultimate tensile stress is similar to the films not cross-linked but exhibiting a significant higher modulus. The in vitro biological assays showed better L929 cell adhesion and proliferation when using the crosslinked membranes and confirmed the non-cytotoxicity of the CHT/CS films. The developed free-standing biomimetic multilayer could be designed to fulfill specific therapeutic requirements by tuning properties such as swelling, mechanical and biological performances.

Pure elastic contact force models

"Series: Solid mechanics and its applications, vol. 226"

Modelling the influence of microstructure on elastic properties and tensile damage behaviour of Mo-base silicide alloys

Mo-Si-B alloys, Real microstructures, Voronoi structures, Microstructural characterization, Modelling and finite element simulations, Effective material properties, Damage and Crack growth, tensile strength, fracture toughness

Elastic modelling of deformation twinning on the microscale

Magdeburg, Univ., Fak. für Maschinenbau, Diss., 2009

Line-fitting method of model order reduction for elastic multibody systems

Magdeburg, Univ., Fak. für Maschinenbau, Diss., 2015

Stability and error analysis for a numerical scheme to approximate elastic flow

Otto-von-Guericke-Universität Magdeburg, Fakultät für Mathematik, Univ., Dissertation, 2015

Nondictatorial Arrovian Social Welfare Functions: An Integer Programming Approach

In the line opened by Kalai and Muller (1997), we explore new conditions on prefernce domains which make it possible to avoid Arrow's impossibility result. In our main theorem, we provide a complete characterization of the domains admitting nondictorial Arrovian social welfare functions with ties (i.e. including indifference in the range) by introducing a notion of strict decomposability. In the proof, we use integer programming tools, following an approach first applied to social choice theory by Sethuraman, Teo and Vohra ((2003), (2006)). In order to obtain a representation of Arrovian social welfare functions whose range can include indifference, we generalize Sethuraman et al.'s work and specify integer programs in which variables are allowed to assume values in the set {0, 1/2, 1}: indeed, we show that, there exists a one-to-one correspondence between solutions of an integer program defined on this set and the set of all Arrovian social welfare functions - without restrictions on the range.

Integer Programming on Domains Containing Inseparable Ordered Paris

Using the integer programming approach introduced by Sethuraman, Teo, and Vohra (2003), we extend the analysis of the preference domains containing an inseparable ordered pair, initiated by Kalai and Ritz (1978). We show that these domains admit not only Arrovian social welfare functions \without ties," but also Arrovian social welfare functions \with ties," since they satisfy the strictly decomposability condition introduced by Busetto, Codognato, and Tonin (2012). Moreover, we go further in the comparison between Kalai and Ritz (1978)'s inseparability and Arrow (1963)'s single-peak restrictions, showing that the former condition is more \respectable," in the sense of Muller and Satterthwaite (1985).

Hyperplasia of elastic tissue in hepatic schistosomal fibrosis

Elastic tissue hyperplasia, revealed by means of histological, immunocytochemical and ultrastructural methods, appeared as a prominent change in surgical liver biopsies taken from 61 patients with schistosomal periportal and septal fibrosis. Such hyperplasia was absent in ecperimental murine schistosomiasis, including mice with "pipe-stem" fibrosis. Displaced connective tissue cells in periportal areas, such as smooth muscle cells, more frequently observed in human material, could be the site of excessive elastin synthesis, and could explain the differences observed in human and experimental materials. Elastic tissue, sometimes represented by its microfibrillar components, also appeared to be more condensed in areas of matrix (collagen) degradation, suggesting a participation of this tissue in the remodelling of the extracellular matrix. By its rectratile properties elastic tissue hyperplasia in hepatic schistosomiasis can cause vascular narrowing and thus play a role in the pathogenesis of portal hypeertension.

An objective anisotropic elastic plastic model and Algorithm applicable to bone mechanics

The implicit projection algorithm of isotropic plasticity is extended to an objective anisotropic elastic perfectly plastic model. The recursion formula developed to project the trial stress on the yield surface, is applicable to any non linear elastic law and any plastic yield function.A curvilinear transverse isotropic model based on a quadratic elastic potential and on Hill's quadratic yield criterion is then developed and implemented in a computer program for bone mechanics perspectives. The paper concludes with a numerical study of a schematic bone-prosthesis system to illustrate the potential of the model.

Permeability estimates from poro-elastic dispersion analyses of sonic logs

Modern sonic logging tools designed for shallow environmental and engineering applications allow for P-wave phase velocity measurements over a wide frequency band. Methodological considerations indicate that, for saturated unconsolidated sediments in the silt to sand range and source frequencies ranging from approximately 1 to 30 kHz, the observable poro-elastic P-wave velocity dispersion is sufficiently pronounced to allow for reliable first-order estimations of the underlying permeability structure. These predictions have been tested on and verified for a surficial alluvial aquifer. Our results indicate that, even without any further calibration, the thus obtained permeability estimates as well as their variabilities within the pertinent lithological units are remarkably close to those expected based on the corresponding granulometric characteristics.