Limit load and failure mechanisms of soda lime glass foam

Foamed glass is widely used in the industry as an insulating material. However, its mechanical properties are not well-investigated yet. Foamed glass is produced from glass waste that causes discrepancy in mechanical properties of the final product. This paper shows a way to increase the limit of the load capacity of foamed glass, which is very fragile and sensitive to mechanical and thermal loading conditions. In this paper, three different methods of load application on cellular glass structure (rough contact, resin and flour interfaces) and their influence on failure mechanisms were investigated in detail. The results of numerical analyses, based on finite elements method and compression strength tests using the digital image correlation method, indicate that the overall strength of the material is limited by boundary effects. A careful adjustment of the interface property is the main factor to draw useful conclusions and to extend load limits of cellular glass in engineering applications.     

The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar

The Mizar system is one of the pioneering systems aimed at supporting mathematical proof development on a computer that have laid the groundwork for and eventually have evolved into modern interactive proof assistants. We claim that an important milestone in the development of these systems was the creation of organized libraries accumulating all previously available formalized knowledge in such a way that new works could effectively re-use all previously collected notions. In the case of Mizar, the turning point of its development was the decision to start building the Mizar Mathematical Library as a centrally-managed knowledge base maintained together with the formalization language and the verification system. In this paper we show the process of forming this library, the evolution of its design principles, and also present some data showing its current use with the modern version of the Mizar proof checker, but also as a rich corpus of semantically linked mathematical data in various areas including web-based and natural language proof presentation, maths education, and machine learning based automated theorem proving.     

SDN-based architecture for providing quality of service to high-performance distributed applications

The specification of quality of service (QoS) requirements in most of the existing networks is still challenging. In part, traditional network environments are limited by their high administrative cost, although software-defined networks (SDNs), a newer network paradigm, simplify the management of the whole network infrastructure. In fact, SDN provides a simple way to effectively develop QoS provisioning mechanisms. In this sense, we explore the SDN model and its flexibility to develop a QoS provisioning architecture. Through the use of our new architecture, network operators are able to specify QoS levels in a simple way. Each individual data flow can be addressed, and the architecture we propose also negotiates the QoS requirements between the network controller and applications. On the other hand, the network controller continuously monitors the network environment. Then, it allocates network elements resources and prioritizes traffic, adjusting the network performance. We evaluate the feasibility of our QoS provisioning mechanism by presenting three experimental setups under realistic scenarios. For example, for a given scenario where we evaluate file transfers, our results indicate that the additional SDN modules present negligible overhead. Moreover, for a given setup, we observe a reduction of up to 82% in the file transfer times.     

Temporal state change Bayesian networks for modeling of evolving multivariate state sequences: model,structure discovery and parameter estimation

Data Mining and Knowledge Discovery - Many systems can be expressed as multivariate state sequences (MSS) in terms of entities and their states with evolving dependencies over time. In order to...     

Proteases to Improve the Mechanical Characteristics of Durable Press Finished Cotton Fabrics

N‐Methylol reagents are conventional crosslinking agents that are still widely used in textile industry to produce crease‐resistant cotton fabrics. In this work serine proteases were used to recover the strength of fabrics, cross‐linked with N‐hydroxymethylacrylamide. Nearly one half of the strength loss of crosslinked cotton fabrics could be restored after protease treatment, while the wrinkle recovery angle (WRA) decreased only slightly. The enzymatic hydrolysis of the amide cross‐links in the durable pressed cellulose was confirmed by FT‐IR analysis and dyeability with an acid dye.

Effect of protease concentration on the tensile strength recovery, WRA and acid dye dyeability at 30 min reaction time.     

Heterogeneous distribution of chain mobility in nascent UHMWPE in the less entangled state

The structure of chain entanglements in the solid state is important for revealing the relationship of structure and properties of polyolefin. In this work, low-field solid-state ¹H NMR is used to study the chain dynamics of ultra-high molecular weight polyethylene (UHMWPE) in the solid state. It has been found that the relaxation distribution, analyzed by a multi-exponential inversion program, is an effective method to characterize the heterogeneous chain mobility. It is evidenced from the results that the UHMWPE in a less entangled state presents an obviously heterogeneous distribution of chain mobility in the non-crystalline phase, corresponding to its heterogeneous distribution of entangled points. In comparison, the commercial UHMWPE with a large number of entanglements shows a much more uniform mobility of the non-crystalline components. This heterogeneous distribution of chain mobility becomes even more critical after annealing the samples below the melting point, especially for the less entangled UHMWPE.     

Development of composite membrane PBAT: Zeolite Y for application as rhynchophorol release system

Composite membranes consisting of biodegradable poly(butylene adipate‐co‐terephthalate (PBAT) and zeolite Y (0–10 wt %) were produced by extrusion. Zeolite Y is well dispersed in the membrane up to 5 wt %, but tends to agglomerate at higher contents. The presence of zeolite Y in the composite resulted in an improvement of the thermal stability, mechanical properties, and increased the barrier properties. The interaction of the composite membranes with rhynchophorol was investigated by different techniques, showing that the semiochemical progressively lixiviates PBAT monomers, causing thermal and mechanical properties to decrease. However, no interaction seemed to occur between the rhynchophorol and the zeolite. Studies of diffusion of pheromone through membranes have shown that the addition of the zeolite Y has not contributed significantly to a decrease in the release rate of rhynchophorol, but the presence of the zeolite Y helps to increase chemical, mechanical, and thermal stabilities of the membranes. © 2017 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2018 , 135, 45757.     

Isolation of Failing Scan Cells through Convolutional Test Response Compaction

This paper describes a non-recursive fault diagnosis technique for scan-based designs with convolutional test response compaction. The proposed approach allows a time-efficient and accurate identification of failing scan cells using Gauss–Jordan elimination method.

Carbon speciation of diesel exhaust and urban particulate matter NIST standard reference materials with C(1s) NEXAFS spectroscopy

The U.S. National Institute of Standards and Technology (NIST) provides a number of particulate matter (PM) standard reference materials (SRM) for use in environmental and toxicological methodology and research. We present here the first analysis with respect to the molecular structure of the carbon in three such NIST SRM samples, i.e., diesel engine exhaust soot from heavy duty equipment engines (SRM 1650), diesel soot from a forklift engine (SRM 2975), and urban PM collected in St. Louis, MO (SRM 1648), with near-edge X-ray absorption fine structure (NEXAFS) spectroscopy. The NEXAFS spectra of the two diesel soot samples appear quite similar, while they differ significantly from the urban PM spectrum, in agreement with X-ray diffraction data published recently. Such comparison is made in terms of aromatic and aliphatic carbon species, as well as by a general comparison with graphitic materials. Both diesel soot SRM samples contain basic graphitic structures, but the presence of exciton resonance and extended X-ray absorption fine structure oscillations in SRM 1650 and the lack therof in SRM 2975 suggest that SRM 1650 is the more graphitic material.The presence of polycyclic aromatic hydrocarbons, which have a characteristic NEXAFS resonance at the same position as graphite, can obscure the graphitic character of soot, unless an extraction of the organic matter is made. Our NEXAFS data do not suggest that the urban PM sample SRM 1648 contains a substantial amount of graphite-like material.