Inverse identification of constitutive parameters from heat source fields: A local approach applied to hyperelasticity

In this paper, a new inverse identification method of constitutive parameters is developed from full kinematic and thermal field measurements. It consists in reconstructing the heat source field from two different approaches by using the heat diffusion equation. The first one requires the temperature field measurement and the value of the thermophysical parameters. The second one is based on the kinematic field measurement and the choice of a thermo-hyperelastic model that contains the parameters to be identified. The identification is carried out at the local scale, ie, at any point of the heat source field, without using the boundary conditions. In the present work, the method is applied to the challenging case of hyperelasticity from a heterogeneous test. Due to large deformations undergone by the rubber specimen tested, a motion compensation technique is developed to plot the kinematic and the thermal fields at the same points before reconstructing the heterogeneous heat source field. In the present case, the constitutive parameter of the Neo-Hookean model has been identified, and its distribution has been characterized with respect to the strain state at the surface of a cross-shaped specimen.     

A Potent Mimetic of the Siglec-8 Ligand 6’-Sulfo-Sialyl Lewisx

Siglecs are members of the immunoglobulin gene family containing sialic acid binding N-terminal domains. Among them, Siglec-8 is expressed on various cell types of the immune system such as eosinophils, mast cells and weakly on basophils. Cross-linking of Siglec-8 with monoclonal antibodies triggers apoptosis in eosinophils and inhibits degranulation of mast cells, making Siglec-8 a promising target for the treatment of eosinophil- and mast cell-associated diseases such as asthma. The tetrasaccharide 6’-sulfo-sialyl Lewis^x has been identified as a specific Siglec-8 ligand in glycan array screening. Here, we describe an extended study enlightening the pharmacophores of 6’-sulfo-sialyl Lewis^x and the successful development of a high-affinity mimetic. Retaining the neuraminic acid core, the introduction of a carbocyclic mimetic of the Gal moiety and a sulfonamide substituent in the 9-position gave a 20-fold improved binding affinity. Finally, the residence time, which usually is the Achilles tendon of carbohydrate/lectin interactions, could be improved.     

Canadian research activity in aquaculture: A bibliometric analysis

Analysis of the Canadian publications in the field of aquaculture reveals that Canada is one of the word's major contributors in this area. This confirms that Canada's expertise in science and technology often finds its stimulus in its resource-based industries. Several bibliometric indicators were used to enlighten the peculiar features of the Canadian research system. These include the channels of communication used by scientists, the authorship pattern, the level of collaboration, the identification of the institutions in which the research is performed and the uneven research effort distribution inside the country. The relevance of such quantitative measures for science policy-making is emphasized. The present study shows how bibliometric analysis, by describing the actual strengths and weaknesses of Canadian research and identifying the agents of this research activity, might foster a better understanding of the Canadian research enterprise as a whole.     

From information to probability: An axiomatic approach—Inference is information processing

We define the very rich language of composed conditionals on a three‐valued logic and use this language as the communication tool between man and machine. Communication takes place for three reasons: knowledge acquisition, query, and response. Learning, thinking, and answering questions are of a pure information theoretical nature. The pivot of this knowledge processing concept is the amount of information (bit) we receive if a conditional becomes true. We follow an axiomatic approach to information theory rather than the classical probabilistic approach of Shannon; information comes first, and then comes probability. In the light of this philosophy, query and response experience new interpretations. Both, acquisition and response are realized by maximizing entropy and minimizing relative entropy, respectively. The iterative solution of these mathematical optimization problems gives new insights into the adaptation of prior knowledge to new information. Our expert system shell SPIRIT supports this kind of knowledge processing, which will be established by suitable examples. © 2003 Wiley Periodicals, Inc.     

Fast, large-scale model predictive control by partial enumeration

Partial enumeration (PE) is presented as a method for treating large, linear model predictive control applications that are out of reach with available MPC methods. PE uses both a table storage method and online optimization to achieve this goal. Versions of PE are shown to be closed-loop stable. PE is applied to an industrial example with more than 250 states, 32 inputs, and a 25-sample control horizon. The performance is less than 0.01% suboptimal, with average speedup factors in the range of 80-220, and worst-case speedups in the range of 4.9-39.2, compared to an existing MPC method. Small tables with only 25-200 entries were used to obtain this performance, while full enumeration is intractable for this example.     

Semantical investigations into nonmonotonic and probabilistic logics

Different forms of semantics have been proposed for conditionals of the form “Usually, if A then B”, ranging from quantitative probability distributions to qualitative approaches using plausibility orderings, possibility distributions, or conditional objects. Atomic-bound systems, also called big-stepped probabilities, allow qualitative reasoning with probabilities, aiming at bridging the gap between qualitative and quantitative argumentation and providing a model for the nonmonotonic reasoning system P. By using Goguen and Burstall’s notion of institutions for the formalization of logical systems, we elaborate precisely which formal connections exist among big-stepped probabilities, standard probabilities, and qualitative logics. Based on our investigations, we also develop two variants of conditional objects, one of them having a simpler semantics while still providing a model for system P.     

Coverage-biased random exploration of large models and application to testing

This paper presents several randomised algorithms for generating paths in large models according to a given coverage criterion. Using methods for counting combinatorial structures, these algorithms can efficiently explore very large models, based on a graphical representation by an automaton or by a product of several automata. This new approach can be applied to random exploration in order to optimise path coverage and can be generalised to take into account other coverage criteria, via the definition of a notion of randomised coverage satisfaction. Our main contributions are a method for drawing paths uniformly at random in composed models, i.e. models that are given as products of automata, first without and then with synchronisation; a new efficient approach to draw paths at random taking into account some other coverage criterion. Experimental results show promising agreement with theoretical predictions and significant improvement over previous randomised approaches. This work opens new perspectives for future studies of statistical testing and model checking, mainly to fight the combinatorial explosion problem.