Effective Tension Active Cross-Section of Reinforced Concrete Beams After Cracking

In the design of concrete structures, estimation of the deflection of the structural members under the service loads is often a critical factor. Strains and displacements are linked to the tension stiffening effect, which is not quantified in the standards. The CEB-FIP model code proposes an interesting simplified method for evaluating the concrete tension stiffening effect on reinforced concrete behavior. One of the parameters which enables the mechanical contribution of the concrete to be quantified is the effective tensile active section of the reinforced concrete beams. In this paper, a new method for calculating the effective tensile active section A _ct.ef is proposed. The calculation is based on an analytical model of stress distribution in the full depth of the concrete section. An experimental study on several reinforced concrete beams is reported. The results show that the new proposed model enhances the accuracy of the beam deflection predictions significantly.     

Towards quality requirements via animated formal specifications

Assuring a high quality requirements specification document involves both an early validation process and an increased level of participation. An approach and its supporting environment which combines the benefits of a formal system specification and its subsequent execution via a rapid prototype is reported. The environment assists in the construction, clarification, validation and visualisation of a formal specification. An illustrative case study demonstrates the consequences of assertions about system properties at this early stage of software development. Our approach involves the pragmatic combination of technical benefits of formal systems engineering based techniques with the context‐sensitive notions of increased participation of both developer and user stakeholders to move us closer towards a quality requirements specification document.     

Variable structure control of a class of uncertain systems

This brief paper proposes a method for tuning the parameters of a variable structure controller. The approach presented extracts the error at the output of the controller and applies a nonlinear tuning law using this error measure. The adaptation mechanism drives the state tracking error vector to the sliding hypersurface and maintains the sliding mode. In the simulations, the approach presented has been tested on the control of Duffing oscillator and the analytical claims have been justified under the existence of measurement noise, uncertainty and large nonzero initial errors.     

Preparation and characterization of conductive polypyrrole/kaolinite composites

Conductive polypyrrole (PPy)/kaolinite clay composites were prepared by in situ chemical polymerization of pyrrole in the presence of kaolinite using FeCl₃ as oxidant. The PPy content and conductivity of the composites reached 32.8% and 8.3×10^?2 S/cm at HCl concentrations of 1.5 M and 0.5 M, respectively. The microhardness of the composites containing different amounts of PPy was higher than that of the PPy and kaolinite components. The highest microhardness observed was 30.17 kg/mm² for the composite containing 9.6% PPy. The electrical resistance of the composites was monitored during heating–cooling cycles over the range 5–120 °C. The change in resistance with temperature was more repeatable for the composite than for PPy. The composites were characterized by Fourier-transform infrared spectroscopy (FTIR), X-ray diffraction (XRD), thermogravimetric analysis (TGA) and scanning electron microscopy (SEM). The humidity-sensing properties were also examined.     

Particle-based simulation of the interaction between fluid and knitwear

We present a particle-based method to simulate and visualize the interaction of knitwear with fluids. The knitwear is modeled using spring-mass systems and the fluid is modeled using the smoothed particle hydrodynamics method. Two-way coupling is achieved by considering surface tension, capillary, and interparticle forces between the fluid and knitwear. The simulation of fluid and knitwear particles is performed on the graphics processing unit. Photorealistic rendering of knitwear and fluid is achieved by using a hardware-accelerated rasterization-based rendering technique. Our method is able to simulate and visualize the macro- and microstructure of free-form knitwear and reflective and refractive characteristics of the fluid surface.     

Multisecret-sharing schemes and bounded distance decoding of linear codes

Error-correcting codes are used to correct errors when messages are transmitted through a noisy communication channel. Bounded distance decoding (i.e. decoding up to the error-correcting capacity) is a method of correcting errors that guarantees unique decoding. Secret sharing is a cryptographic protocol that allows a secret known from a person called the dealer to be distributed to n participants. No single participant knows the secret but some special subsets of participants called coalitions can. In this paper, we present a multisecret-sharing scheme based on an error-correcting code where secret reconstruction is made by using bounded distance decoding of the code. This scheme is ideal in the sense that the size of each secret equals the size of any share. Its security improves on that of multisecret-sharing schemes.     

A Planning Framework for Non-Prehensile Manipulation under Clutter and Uncertainty

Robotic manipulation systems suffer from two main problems in unstructured human environments: uncertainty and clutter. We introduce a planning framework addressing these two issues. The framework plans rearrangement of clutter using non-prehensile actions, such as pushing. Pushing actions are also used to manipulate object pose uncertainty. The framework uses an action library that is derived analytically from the mechanics of pushing and is provably conservative. The framework reduces the problem to one of combinatorial search, and demonstrates planning times on the order of seconds. With the extra functionality, our planner succeeds where traditional grasp planners fail, and works under high uncertainty by utilizing the funneling effect of pushing. We demonstrate our results with experiments in simulation and on HERB, a robotic platform developed at the Personal Robotics Lab at Carnegie Mellon University.     

An exponential approach for the system of nonlinear delay integro-differential equations describing biological species living together

Neural Computing and Applications - In this paper, we consider a system of nonlinear delay integro-differential equations with convolution kernels, which arises in biology. This problem...