Seismic Response of a Platform-Frame System with Steel Columns

Timber platform-frame shear walls are characterized by high ductility and diffuse energy dissipation but limited in-plane shear resistance. A novel lightweight constructive system composed of steel columns braced with oriented strand board (OSB) panels was conceived and tested. Preliminary laboratory tests were performed to study the OSB-to-column connections with self-drilling screws. Then, the seismic response of a shear wall was determined performing a quasi-static cyclic-loading test of a full-scale specimen. Results presented in this work in terms of force-displacement capacity show that this system confers to shear walls high in-plane strength and stiffness with good ductility and dissipative capacity. Therefore, the incorporation of steel columns within OSB bracing panels results in a strong and stiff platform-frame system with high potential for low- and medium-rise buildings in seismic-prone areas

Visual Model-Driven Design, Verification and Implementation of Security Protocols

A novel visual model-driven approach to security protocol design, verification, and implementation is presented in this paper. User-friendly graphical models are combined with rigorous formal methods to enable protocol verification and sound automatic code generation. Domain-specific abstractions keep the graphical models simple, yet powerful enough to represent complex, realistic protocols such as SSH. The main contribution is to bring together aspects that were only partially available or not available at all in previous proposal

Smoke, alcohol and drug addiction and male fertility

In recent decades, the decline in human fertility has become increasingly more worrying: while therapeutic interventions might help, they are vexing for the couple and often burdened with high failure rates and costs. Prevention is the most successful approach to fertility disorders in males and females alike. We performed a literature review on three of the most common unhealthy habits - tobacco, alcohol and drug addiction - and their reported effects on male fertility. Tobacco smoking is remarkably common in most first-world countries; despite a progressive decline in the US, recent reports suggest a prevalence of more than 30% in subjects of reproductive age - a disturbing perspective, given the well-known ill-effects on reproductive and sexual function as well as general health. Alcohol consumption is often considered socially acceptable, but its negative effects on gonadal function have been consistently reported in the last 30 years. Several studies have reported a variety of negative effects on male fertility following drug abuse - a worrying phenomenon, as illicit drug consumption is on the rise, most notably in younger subjects. While evidence in these regards is still far from solid, mostly as a result of several confounding factors, it is safe to assume that cessation of tobacco smoking, alcohol consumption and recreational drug addiction might represent the best course of action for any couple trying to achieve pregnancy

Formally based semi-automatic implementation of an open security protocol

International audienceThis paper presents an experiment in which an implementation of the client side of the SSH Transport Layer Protocol (SSH-TLP) was semi-automatically derived according to a model-driven development paradigm that leverages formal methods in order to obtain high correctness assurance. The approach used in the experiment starts with the formalization of the protocol at an abstract level. This model is then formally proved to fulfill the desired secrecy and authentication properties by using the ProVerif prover. Finally, a sound Java implementation is semi-automatically derived from the verified model using an enhanced version of the Spi2Java framework. The resulting implementation correctly interoperates with third party servers, and its execution time is comparable with that of other manually developed Java SSH-TLP client implementations. This case study demonstrates that the adopted model-driven approach is viable even for a real security protocol, despite the complexity of the models needed in order to achieve an interoperable implementation