Interlocking, Ribbing and Folding: Explorations in Parametric Constructions

This paper presents three projects involving the design and fabrication of architectural structures through the use of different parametric software and digital manufacturing methods. The first project is a flexible partition composed of interlocking elements shaped using a laser-cutter. The second project is a university exhibition unit made with various wooden panels manufactured through a computer numerical controlled (CNC) system. The third project is a system of metal sheets folded by digital machines to create urban circulation spaces. The three works develop a parametric programming of geometry based on certain technical factors, enabling the recognition of patterns of interaction between formal and constructive issues involved in the definition of shapes through parametric controls. Differences in materials and processes are contrasted by similarities of function and conditions involved, creating a system of local, global, productive and environmental parameters that produces a repertoire of self-similar dimensions and variations as well as multiple possibilities of initial setups and final configurations. It suggests a specific field of design exploration focusing on the development of differentiated components and variable architectural configurations, in a kind of open parametric system.     

Skeleton computation of orthogonal polyhedra

Skeletons are powerful geometric abstractions that provide useful representations for a number of geometric operations. The straight skeleton has a lower combinatorial complexity compared with the medial axis. Moreover, while the medial axis of a polyhedron is composed of quadric surfaces the straight skeleton just consist of planar faces. Although there exist several methods to compute the straight skeleton of a polygon, the straight skeleton of polyhedra has been paid much less attention. We require to compute the skeleton of very large datasets storing orthogonal polyhedra. Furthermore, we need to treat geometric degeneracies that usually arise when dealing with orthogonal polyhedra. We present a new approach so as to robustly compute the straight skeleton of orthogonal polyhedra. We follow a geometric technique that works directly with the boundary of an orthogonal polyhedron. Our approach is output sensitive with respect to the number of vertices of the skeleton and solves geometric degeneracies. Unlike the existing straight skeleton algorithms that shrink the object boundary to obtain the skeleton, our algorithm relies on the plane sweep paradigm. The resulting skeleton is only composed of axis‐aligned and 45° rotated planar faces and edges.     

Hardness of preorder checking for basic formalisms

We investigate the complexity of preorder checking when the specification is a flat finite-state system whereas the implementation is either a non-flat finite-state system or a standard timed automaton. In both cases, we show that simulation checking is Exptime-hard, and for the case of a non-flat implementation, the result holds even if there is no synchronization between the parallel components and their alphabets of actions are pairwise disjoint. Moreover, we show that the considered problems become Pspace-complete when the specification is assumed to be deterministic. Additionally, we establish that comparing a synchronous non-flat system with no hiding and a flat system is Pspace-hard for any relation between trace containment and bisimulation equivalence, even if the flat system is assumed to be fixed.     

A New Distribution System Reconfiguration Approach Using Optimum Power Flow and Sensitivity Analysis for Loss Reduction

This paper presents a new approach for distribution system reconfiguration (DSR) based on optimum power flow (OPF) in which the branch statuses (open/close) are represented by continuous functions. In the proposed approach, all branches are initially considered closed, and from the OPF results, a heuristic technique is used to determine the next loop to be broken by opening one switch. Then the list of switches that are candidates to be opened is updated, and the above process is repeated until all loops are broken, making the distribution system radial. This paper includes results and comparisons on test systems utilized in three classical papers published in the technical literature, as well as in a previous paper by the authors. Results obtained on a real large-scale distribution system are also presented     

Fatigue damage accumulation of cold expanded hole in aluminum alloys subjected to block loading

Fatigue damage accumulation of cold expanded hole in aluminum alloys used in land transportation components was investigated. Tests were carried out using pre-cracked SENT specimens and inserting an expanded hole at the crack tip. The degree of the cold expansion was chosen equal to 4.3%. Tests were performed in two and four block loading under constant amplitude. Two sequences were compared.The increasing and the decreasing magnitude were compared. The experimental results were compared to the damage calculated by the Miner's rule and a new simple fatigue damage indicator. This comparison shows that the ‘model of the damage stress’, which take into account of the loading history, yields a good estimation of the experimental results. Moreover, the error is minimized in comparison to the Miner's model.     

TPC-W e-commerce benchmark evaluation

Correctly interpreting benchmark results requires a basic knowledge of the synthetic workload the benchmark uses to determine how well it represents diverse e-commerce applications' real-world workloads. Factors that influence these results include the characteristics of the system under test, the procedures used to execute the tests, and the performance metrics the benchmark generates. TPC-W performs server evaluation in a controlled Internet e-commerce environment that simulates the activities of a business-oriented transactional Web server. The authors used experimental results from their TPC-W implementation to assess the benchmark's behavior, including its granularity and sensitivity to changes in workload and system parameters.     

Coordinated scheduling of production and delivery from multiple plants

This paper deals with the scheduling of orders and vehicle assignment for production and distribution planning in a scenario of no-wait, immediate delivery to the customer site. We first describe the problem and then present an integer programming model that maximizes the weighted value of the orders served. We consider a special case of the problem which can be solved in polinomial time by a minimum cost flow algorithm. Based on this approach we develop a heuristic procedure for the general case. Comparisons with an exact graph-based method attest that our heuristic produces good-quality solutions in short running times.     

Audience-induced inhibition of overt practice during learning.

Three experiments with 204 undergraduates examined the hypothesis that an audience can inhibit overt practice and thereby impair learning of unfamiliar words and enhance learning of familiar words. This hypothesis was derived from an analysis of motoric and symbolic mediation during learning. In comparison with learning while alone, the results show that the audience inhibited overt practice of unfamiliar and familiar words and that reduced practice was detrimental to learning unfamiliar words. Inhibition of overt practice with an audience enhanced learning of familiar words in only 1 of the experiments. Instructions to practice overtly reduced the audience-inhibition effect in learning unfamiliar words. The studies are discussed in the context of drive-theory explanations for social facilitation effects in learning. (20 ref) (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Towards 3D Bioprinted Spinal Cord Organoids

Three-dimensional (3D) cultures, so-called organoids, have emerged as an attractive tool for disease modeling and therapeutic innovations. Here, we aim to determine if boundary cap neural crest stem cells (BC) can survive and differentiate in gelatin-based 3D bioprinted bioink scaffolds in order to establish an enabling technology for the fabrication of spinal cord organoids on a chip. BC previously demonstrated the ability to support survival and differentiation of co-implanted or co-cultured cells and supported motor neuron survival in excitotoxically challenged spinal cord slice cultures. We tested different combinations of bioink and cross-linked material, analyzed the survival of BC on the surface and inside the scaffolds, and then tested if human iPSC-derived neural cells (motor neuron precursors and astrocytes) can be printed with the same protocol, which was developed for BC. We showed that this protocol is applicable for human cells. Neural differentiation was more prominent in the peripheral compared to central parts of the printed construct, presumably because of easier access to differentiation-promoting factors in the medium. These findings show that the gelatin-based and enzymatically cross-linked hydrogel is a suitable bioink for building a multicellular, bioprinted spinal cord organoid, but that further measures are still required to achieve uniform neural differentiation.