Proposal of visual strength grading rules for Uruguayan pine timber

A previous database with bending and density data of 261 structural size specimens of currently produced Uruguayan slash pine and loblolly pine timber was adjusted to meet testing and characterization requirements of European standards. Visual parameters and mechanical properties for each specimen were evaluated and their relationship was statistically analyzed. Results suggested that all specimens can be grouped in one visual grade with engineered properties similar to those of European C14 strength class. Modulus of elasticity and characteristic bending strength were the defining properties for class assignation.     

Evaluation of the complex hygrothermal behaviors of epoxy–amine systems

In this study, the complex hygrothermal behavior of two epoxy systems used for strengthening applications was studied. In these systems, property loss by plasticization simultaneously occurred with property gain during additional curing. A comparison of the changes in the glass-transition temperature (T_g) and crosslink density with water immersion at different temperatures clearly showed that the two effects of additional curing by a postcuring reaction and plasticization by water absorption were in competition with each other during the exposure. The changes in the conversion with different exposure conditions suggested that water accelerated the postcuring reaction, even at low temperatures; this resulted in a significant difference in the postcuring reaction between unexposed and exposed epoxies. The construction of the plot of T_g versus conversion for the unexposed system and the placement of the T_g for exposed systems onto this master plot provided a method for evaluating the plasticization effect while excluding the influence of additional curing. © 2012 Wiley Periodicals, Inc. J Appl Polym Sci, 2012     

Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover

This paper is a report about the use of Matita, an interactive theorem prover under development at the University of Bologna, for the solution of the POPLmark Challenge, part 1a. We provide three different formalizations, including two direct solutions using pure de Bruijn and locally nameless encodings of bound variables, and a formalization using named variables, obtained by means of a sound translation to the locally nameless encoding. According to this experience, we also discuss some of the proof principles used in our solutions, which have led to the development of a generalized inversion tactic for Matita.     

A survey on content-centric technologies for the current Internet: CDN and P2P solutions

One of the most striking properties of the Internet is its flexibility to accommodate features it was not conceived for. Among the most significant examples, in this survey we consider the transition of the Internet from a reliable fault-tolerant network for host-to-host communication to a content-centric network, i.e. a network mostly devoted to support efficient generation, sharing and access to content. We survey this research area according to a top-down approach. We present a conceptual framework that encompasses the key building blocks required to support content-centric networking in the Internet. Then we describe in detail the two most important types of content-centric Internet technologies, i.e., Content-Delivery Networks (CDNs) and P2P systems. For each of them, we show how they cover the key building blocks. We then identify the functional components of CDN and P2P content management solutions, and discuss the main solutions proposed in the literature for each of them. We consider different types of content (both real time and non real time), and different networking environments (fixed, mobile, …). Finally, we also discuss the main recent research trends focused on how to design the Future Internet as a native content-centric network.     

巨人的花园——对不同尺度棕地的差异化策略

近几十年来，旧工业区转型的项目不断增加，范围日益扩大，内涵不断扩充，被认为是城市改造的主要途径。工业区的转型不仅是自身的需要，而且经常能提供一个现实的机会来设想与城市在功能和关系上的深远变化。因为实施的连续性和话题的扩展性，这种转型要放在社会、技术和国际化变化的语境下，考虑典型的城市改造过程中的周期性活力，作为持续演变的效果来进行分析。这种改善往往受到多方面影响，包括：该地区最初的设计、与城市中断了的互动、新的机遇以及潜在的需求。所以，转型不仅意味着现存物质空间的改变，往往还作为观念工具，提供区域层面的解决之道。     

Detecting component changes at run time with behavior models

Modern software systems are composed of several services which may be developed and maintained by third parties and thus they can change independently and without notice during the system’s runtime execution. In such systems, changes may possibly be a threat to system functional correctness, and thus to its reliability. Hence, it is important to detect them as soon as they happen to enable proper reaction. Change detection can be done by monitoring system execution and comparing the observed execution traces against models of the services composing the application. Unfortunately, formal specifications for services are not usually provided and developers have to infer them. In this paper we propose a methodology which exactly addresses these issues by using software behavior models to monitor component execution and detect changes. In particular, we describe a technique to infer behavior model specifications with a dynamic black box approach, keep them up-to-date with run time observations and detect behavior changes. Finally, we present a case study to validate the effectiveness of the approach in component change detection for a component that implements a complex, real communication protocol.     

Thermodynamic modeling of hydrogen refueling for heavy-duty fuel cell buses and comparison with aggregated real data

The foreseen uptake of hydrogen mobility is a fundamental step towards the decarbonization of the transport sector. Under such premises, both refueling infrastructure and vehicles should be deployed together with improved refueling protocols. Several studies focus on refueling the light-duty vehicles with 10 kg_H2 up to 700 bar, however less known effort is reported for refueling heavy-duty vehicles with 30–40 kg_H2 at 350 bar. The present study illustrates the application of a lumped model to a fuel cell bus tank-to-tank refueling event, tailored upon the real data acquired in the 3Emotion Project. The evolution of the main refueling quantities, such as pressure, temperature, and mass flow, are predicted dynamically throughout the refueling process, as a function of the operating parameters, within the safety limits imposed by SAE J2601/2 technical standard. The results show to refuel the vehicle tank from half to full capacity with an Average Pressure Ramp Rate (APRR) equal to 0.03 MPa/s are needed about 10 min. Furthermore, it is found that the effect of varying the initial vehicle tank pressure is more significant than changing the ambient temperature on the refueling performances. In conclusion, the analysis of the effect of different APRR, from 0.03 to 0.1 MPa/s, indicate that is possible to safely reduce the duration of half-to-full refueling by 62% increasing the APRR value from 0.03 to 0.08 MPa/s.     

Low-cycle fatigue behavior of flexible 3D printed thermoplastic polyurethane blends for thermal energy storage/release applications

Thermal energy storage (TES) materials constituted by a microencapsulated paraffin having a melting temperature of 6°C and a thermoplastic polyurethane (TPU) matrix were prepared through fused deposition modeling. Scanning electron microscope (SEM) micrographs demonstrated that the microcapsules were homogeneously distributed within the matrix, with a rather good adhesion within the layers of 3D printed specimens, even at elevated concentrations of microcapsules. The presence of paraffin capsules having a rigid polymer shell lead to a stiffness increase, associated to a decrease in the stress and in the strain at break. Tensile and compressive low-cycles fatigue tests showed that the presence of microcapsules negatively affected the fatigue resistance of the samples, and that the main part of the damage occurred in the first fatigue cycles. After the first 10 loading cycles at 50% of the stress at break, a decrease in the elastic modulus ranging from 60% for neat TPU to 80% for composite materials was detected. This decrease reached 40% of the original value at 90% of the stress at break after 10 cycles. Differential scanning calorimetry tests on specimens after fatigue loading highlighted a substantial retention of the original TES capability, in the range of 80%–90% of the pristine value, even after 1000 cycles, indicating that the integrity of the capsules was maintained and that the propagation of damage during fatigue tests took probably place within the surrounding polymer matrix. It could be therefore concluded that it is possible to apply the developed blends in applications where the materials are subjected to cyclic stresses, both in tensile and compressive mode.