Flexural behavior of stratified reinforced concrete: construction,testing, analysis,and design

Stratified concrete poses a promising alternative for construction. Its fresh and hardened properties have been studied at the material level; however, structural behavior in steel reinforced specimens has not been studied. This paper focuses on the flexural behavior of eight stratified reinforced concrete (SRC) specimens representing slices from a slab or non-bearing wall. Specimens with two stratified concrete designs and three steel ratios were tested and compared to estimates from a fiber element numerical model and rectangular stress-block design methods from ACI 318 and Eurocode 2. The results suggest that SRC has similar damage modes as ordinary reinforced concrete (ORC). The fiber element model accurately estimated the measured behavior, while ACI 318 and Eurocode 2 differed from the experimental results by <25%. These prediction accuracies are similar to those for ORC. Therefore, the flexural design of SRC can be done using both fiber element and rectangular stress-block approaches.     

Social impacts of road traffic: perceptions and priorities of local residents

The assessment of the social impacts of road traffic is usually based on objective indicators or on expert judgement, without input from the affected communities. This paper considers the perceptions and priorities of local residents about traffic impacts and possible mitigation measures, using as a case study a rural area that will be affected by traffic associated with the construction of a nuclear power station. The study consisted of a qualitative phase followed by a stated preference survey. Econometric models were used to measure the relative priority of different impacts and mitigation measures. The most impactful aspects were noise, vibration and increased car or bus travel times. The most preferred measures were night-time restrictions to HGVs, parking restrictions and safety measures for pedestrians and cyclists. There were significant differences in preferences according to residence location, gender, employment status and household composition. The results provide information about aspects that tend to be aggregated in existing assessment frameworks, separating the reduction in the utility of some activities (like walking and driving) and the suppression of those activities.     

On the Structure of Amorphous Mesoporous Silica Nanoparticles by Aberration‐Corrected STEM

Mesoporous silica materials have demonstrated a vast spectrum of applications, stimulating an intensive field of study due to their potential use as nanocarriers. Nonetheless, when produced at the nanoscale, their structural characterization is hindered due to the re‐arrangement of the pores. To address this issue, this work combines molecular dynamics simulations with electron microscopy computer simulations and experimental results to provide an insight into the structure of amorphous mesoporous silica nanoparticles. The amorphous silica model is prepared using a simple melt‐quench molecular dynamics method, while the reconstruction of the mesoporous nanoparticles is carried out using a methodology to avoid false symmetry in the final model. Simulated scanning transmission electron microscopy images are compared with experimental images, revealing the existence of structural domains, created by the misalignment of the pores to compensate the surface tension of these spherical nanoparticles.     

Shortcut fusion rules for the derivation of circular and higher-order programs

Functional programs often combine separate parts using intermediate data structures for communicating results. Programs so defined are modular, easier to understand and maintain, but suffer from inefficiencies due to the generation of those gluing data structures. To eliminate such redundant data structures, some program transformation techniques have been proposed. One such technique is shortcut fusion, and has been studied in the context of both pure and monadic functional programs. In this paper, we study several shortcut fusion extensions, so that, alternatively, circular or higher-order programs are derived. These extensions are also provided for effect-free programs and monadic ones. Our work results in a set of generic calculation rules, that are widely applicable, and whose correctness is formally established.     

Quantum-inspired design of resilient substitution boxes: From coding to hardware implementation

S-boxes constitute a cornerstone component in symmetric-key cryptographic algorithms, such as DES and AES encryption systems. In block ciphers, they are typically used to obscure the relationship between the plaintext and the ciphertext. Non-linear and non-correlated S-boxes are the most secure against linear and differential cryptanalysis. In this paper, we focus on a twofold objective: first, we evolve regular S-boxes with high non-linearity and low auto-correlation properties; then automatically generate evolvable hardware for the obtained S-box. Targeting the former, we use a quantum-inspired evolutionary algorithm to optimize regularity, non-linearity and auto-correlation, which constitute the three main desired properties in resilient S-boxes. Pursuing the latter, we exploit the same algorithm to automatically generate the evolvable hardware designs of substitution boxes that minimize hardware space and encryption/decryption time, which form the two main hardware characteristics. We compare our results against existing and well-known designs, which were produced by using conventional methods as well as through genetic algorithm. We will show that our approach provides higher quality S-boxes coding as well as circuits.     

Improving the non-extensive medical image segmentation based on Tsallis entropy

Thresholding techniques for image segmentation is one of the most popular approaches in Computational Vision systems. Recently, M. Albuquerque has proposed a thresholding method (Albuquerque et al. in Pattern Recognit Lett 25:1059–1065, 2004) based on the Tsallis entropy, which is a generalization of the traditional Shannon entropy through the introduction of an entropic parameter q. However, the solution may be very dependent on the q value and the development of an automatic approach to compute a suitable value for q remains also an open problem. In this paper, we propose a generalization of the Tsallis theory in order to improve the non-extensive segmentation method. Specifically, we work out over a suitable property of Tsallis theory, named the pseudo-additive property, which states the formalism to compute the whole entropy from two probability distributions given an unique q value. Our idea is to use the original M. Albuquerque’s algorithm to compute an initial threshold and then update the q value using the ratio of the areas observed in the image histogram for the background and foreground. The proposed technique is less sensitive to the q value and overcomes the M. Albuquerque and k-means algorithms, as we will demonstrate for both ultrasound breast cancer images and synthetic data.     

SUTIL – Network selection based on utility function and integer linear programming

This work presents SUTIL, a mechanism for network selection in the context of next generation networks (NGN). SUTIL selection mechanism prioritizes networks with higher relevance to the application and lower energy consumption and it enables full and seamless connectivity to mobile user devices and applications. Consequently, SUTIL contributes to realize the vision of ubiquitous computing, in which services, devices, and sensor-enriched environments interact anytime, anywhere to accomplish human designed tasks. The provided solution is based on utility function and integer linear programming and it aims at: (i) maximizing the user satisfaction while meeting application QoS and (ii) minimizing the energy consumption of devices when connecting to a target network. The solution is global since it considers for a given base station all devices that are simultaneously candidate for handoff. Simulation results showed the benefits of SUTIL usage in NGN environments.