On the constraints violation in forward dynamics of multibody systems

It is known that the dynamic equations of motion for constrained mechanical multibody systems are frequently formulated using the Newton–Euler’s approach, which is augmented with the acceleration constraint equations. This formulation results in the establishment of a mixed set of partial differential and algebraic equations, which are solved in order to predict the dynamic behavior of general multibody systems. The classical solution of the equations of motion is highly prone to constraints violation because the position and velocity constraint equations are not fulfilled. In this work, a general and comprehensive methodology to eliminate the constraints violation at the position and velocity levels is offered. The basic idea of the described approach is to add corrective terms to the position and velocity vectors with the intent to satisfy the corresponding kinematic constraint equations. These corrective terms are evaluated as a function of the Moore–Penrose generalized inverse of the Jacobian matrix and of the kinematic constraint equations. The described methodology is embedded in the standard method to solve the equations of motion based on the technique of Lagrange multipliers. Finally, the effectiveness of the described methodology is demonstrated through the dynamic modeling and simulation of different planar and spatial multibody systems. The outcomes in terms of constraints violation at the position and velocity levels, conservation of the total energy and computational efficiency are analyzed and compared with those obtained with the standard Lagrange multipliers method, the Baumgarte stabilization method, the augmented Lagrangian formulation, the index-1 augmented Lagrangian, and the coordinate partitioning method.     

Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation

We thoroughly study the behavioural theory of epi, a ??-calculus extended with polyadic synchronisation. We show that the natural contextual equivalence, barbed congruence, coincides with early bisimilarity, which is thus its co-inductive characterisation. Moreover, we relate early bisimilarity with the other usual notions, ground, late and open, obtaining a lattice of equivalence relations that clarifies the relationship among the ??standard?? bisimilarities. Furthermore, we apply the theory developed to obtain an expressiveness result: epi extended with key encryption primitives may be fully abstractly encoded in the original epi calculus. The proposed encoding is sound and complete with respect to barbed congruence; hence, cryptographic epi (crypto-epi) gets behavioural theory for free, which contrasts with other process languages with cryptographic constructs that usually require a big effort to develop such theory. Therefore, it is possible to use crypto-epi to analyse and to verify properties of security protocols using equational reasoning. To illustrate this claim, we prove compliance with symmetric and asymmetric cryptographic system laws, and the correctness of a protocol of secure message exchange.     

Dissimilarity-based classification of chromatographic profiles

This paper proposes a non-parametric method for the classification of thin-layer chromatographic (TLC) images from patterns represented in a dissimilarity space. Each pattern corresponds to a mixture of Gaussian approximation of the intensity profile. The methodology comprises various phases, including image processing and analysis steps to extract the chromatographic profiles and a classification phase to discriminate among two groups, one corresponding to normal cases and the other to three pathological classes. We present an extensive study of several dissimilarity-based approaches analysing the influence of the dissimilarity measure and the prototype selection method on the classification performance. The main conclusions of this paper are that, Match and Profile-difference dissimilarity measures present better results, and a new prototype selection methodology achieves a performance similar or even better than conventional methods. Furthermore, we also concluded that simplest classifiers, such as k-NN and linear discriminant classifiers (LDCs), present good performance being the overall classification error less than 10% for the four-class problem.     

Distance maps from unthresholded magnitudes

A straightforward algorithm that computes distance maps from unthresholded magnitudes is presented, suitable for still images and video sequences. While results on binary images are similar to classic Euclidean Distance Transforms, the proposed approach does not require a binarization step. Thus, no thresholds are needed and no information is lost in intermediate classification stages. Experiments include the evaluation of spatial and temporal coherence of distance map values, showing better results in both measurements than those obtained with Sobel or Deriche gradients and classic chessboard distance transforms.     

Detection of Redundant Code Using R 2 D 2

We present the R ² D ² redundancy detector. R ² D ² identifies redundant code fragments in large software systems written in Lisp. For each pair of code fragments, R ² D ² uses a combination of techniques ranging from syntax-based analysis to semantics-based analysis, that detects positive and negative evidences regarding the redundancy of the analyzed code fragments. These evidences are combined according to a well-defined model and sufficiently redundant fragments are reported to the user. R ² D ² explores several techniques and heuristics to operate within reasonable time and space bounds and is designed to be extensible.     

Bond Between Near-Surface Mounted Carbon-Fiber-Reinforced Polymer Laminate Strips and Concrete

In recent years, a strengthening technique based on near-surface mounted (NSM) laminate strips of carbon-fiber-reinforced polymer (CFRP) has been used to increase the load-carrying capacity of concrete and masonry structures by introducing laminate strips into precut grooves on the concrete cover of the elements to be strengthened. The high experimentally derived levels of strength efficacy with concrete columns, beams, and masonry panels have presented NSM as a viable and promising technique. This practice requires no surface preparation work and, after cutting the groove, requires minimal installation time compared to the externally bonded reinforcing technique. A further advantage associated with NSM CFRP is its ability to significantly reduce the probability of harm resulting from fire, acts of vandalism, mechanical damage, and aging effects. To assess the bond behavior of CFRP to concrete, pullout-bending tests have been carried out. The influences of bond length and concrete strength on bond behavior are analyzed, the tests are described, and the results are presented and discussed in detail. Finally, a local stress-slip relationship is determined based on both experimental results and a numerical strategy.     

Crossing Paths in Human Renal Cell Carcinoma (hRCC)

Historically, cell-signaling pathways have been studied as the compilation of isolated elements into a unique cascade that transmits extracellular stimuli to the tumor cell nucleus. Today, growing evidence supports the fact that intracellular drivers of tumor progression do not flow in a single linear pathway, but disseminate into multiple intracellular pathways. An improved understanding of the complexity of cancer depends on the elucidation of the underlying regulatory networks at the cellular and intercellular levels and in their temporal dimension. The high complexity of the intracellular cascades causes the complete inhibition of the growth of one tumor cell to be very unlikely, except in cases in which the so-called “oncogene addiction” is known to be a clear trigger for tumor catastrophe, such as in the case of gastrointestinal stromal tumors or chronic myeloid leukemia. In other words, the separation and isolation of the driver from the passengers is required to improve accuracy in cancer treatment. This review will summarize the signaling pathway crossroads that govern renal cell carcinoma proliferation and the emerging understanding of how these pathways facilitate tumor escape. We outline the available evidence supporting the putative links between different signaling pathways and how they may influence tumor proliferation, differentiation, apoptosis, angiogenesis, metabolism and invasiveness. The conclusion is that tumor cells may generate their own crossroads/crosstalk among signaling pathways, thereby reducing their dependence on stimulation of their physiologic pathways.     

Evaluation of the effect of heat input in superduplex stainless steel deposition by the plasma powder process*

Plasma powder surfacing is one of the latest processes for application of coatings, with control of dilution as its main feature. Surfacing with superduplex stainless steels is an interesting option for the construction and repair of equipment for applications in a highly corrosive environment, allowing the desired characteristics to be achieved: corrosion resistance and good mechanical properties. The aim of this work is to assess the ferrite content in the weld metal and the mechanical characteristics via microhardness profiles in surfacing of C-Mn steel pipes with deposition of UNS S32760 by plasma powder surfacing. Welding operations were carried out on pipes with deposition of SDSS, employing three welding heat input levels, varying the welding speed or the welding current. Then the geometry was analysed, the ferrite content in the weld metal was quantified and the microhardness profile was recorded. Variation in welding heat input caused changes in weld bead geometry, with variation in the welding current producing the most significant changes. Increase in heat input caused decrease in ferrite content of the weld metal. Regarding microhardness, only the condition with a higher level of welding current gave sufficiently high levels of microhardness in the weld metal.