Prevention of dark-cutting (DFD) beef in penned bulls at the abattoir

There is a large body of evidence indicating that activities associated with regrouping of bulls before slaughter, which leads to physical exhaustion mainly from mounting, are primary factors inducing dark-cutting (DFD) in beef. The aim of this study was to test several methods to control activity when regrouping cannot be avoided. Fifty bulls previously individually tied for at least 16 months were drafted into groups of five animals and released in a pen at the abattoir. After 18 to 22 h they were slaughtered. According to environmental conditions in the pen, the bulls were divided into four groups: Control group (n = 10, no experimentation); Electricity group (n = 10, an electric fence was constructed above the pen so that a mounting bull would receive an electric shock); Darkness group (n = 10, the whole stall was in darkness); and Combination group (n = 20, both treatments, of the electricity and darkness groups were applied). During the first hour of penning the behaviour of the bulls was videorecorded. After slaughter meat quality characteristics were measured. Dark-cutting was found in Control (70%), Electricity (30%) and Darkness (70%) groups, but not in the Combination group (0%). No treatment altered the repertoire of agonistic activity, but under the combined treatments the number of agonistic interactions was significantly lower than in any other group.     

Thermodynamic analysis of the refining of technical boron nitride

The efficiency of the process of refining technical boron nitride was assessed based on calculations of the chemical equilibrium in the B-N-O-C-Cl-H system. Three refining mixtures, CCl₄ + H₂, CCl₄ + NH₃ and CHCl₃ + NH₃, were considered. The analysis indicates that the use of ammonia-containing mixtures is more convenient, a lower residual oxygen content, lower contamination of the product by carbon and a better overall boron balance emerging. The calculations of the equilibrium composition of the solid phase enabled suitable technological conditions of the refining process (temperature and starting composition of the gaseous phase) to be established. The calculated results are compared with experimental data, and some observed differences are discussed.     

Properties of WN x /GaAs Schottky contacts prepared by ion implantation of nitrogen

The formation of WN _x /GaAs Schottky contacts using selective ion implantation of nitrogen into the sputtered tungsten film has been demonstrated. The contacts were characterized by Auger electron spectroscopy and current-voltage measurements. The composition of WN _x films and the thermal stability of WN _x /GaAs contacts were investigated. Good thermal stability of WN _x /GaAs contacts compared with a W/GaAs contact was observed after capless rapid thermal annealing at 450, 800 and 950°C for 10 s.     

Modal logic as metalogic

The goal of this paper is to show how modal logic may be conceived as recording the derived rules of a logical system in the system itself. This conception of modal logic was propounded by Dana Scott in the early seventies. Here, similar ideas are pursued in a context less classical than Scott's.First a family of propositional logical systems is considered, which is obtained by gradually adding structural rules to a variant of the nonassociative Lambek calculus. In this family one finds systems that correspond to the associative Lambek calculus, linear logic, relevant logics, BCK logic and intuitionistic logic. Above these basic systems, sequent systems parallel to the basic systems are constructed, which formalize various notions of derived rules for the basic systems. The deduction theorem is provable for the basic systems if, and only if, they are at least as strong as systems corresponding to linear logic, or BCK logic, depending on the language, and their deductive metalogic is not stronger than they are.However, though we do not always have the deduction theorem, we may always obtain a modal analogue of the deduction theorem for conservative modal extensions of the basic systems. Modal postulates which are necessary and sufficient for that are postulates of S4 plus modal postulates which mimic structural rules. For example, the modal postulates which Girard has recently considered in linear logic are necessary and sufficient for the modal analogue of the deduction theorem.All this may lead towards results about functional completeness in categories. When functional completeness, which is analogous to the deduction theorem, fails, we may perhaps envisage a modal analogue of functional completeness in a modal category, of which our original category is a full subcategory.     

Photo-Chemically-Deposited and Industrial Cu/ZnO/Al2O3 Catalyst Material Surface Structures During CO2 Hydrogenation to Methanol: EXAFS,XANES and XPS Analyses of Phases After Oxidation,Reduction, and Reaction

Catalysis Letters - Industrial Cu/ZnO/Al2O3 or novel rate catalysts, prepared with a photochemical deposition method, were studied under functional CH3OH synthesis conditions at the set temperature...     

Functionalized oligopolysiloxanes by heterogeneously catalyzed equilibration polymerization reactions

Summary A new general procedure for preparation of functionalized oligopolysiloxanes of predetermined molecular weight is described. It utilizes heterogeneously catalyzed siloxane equilibration polymerization reactions which do not require troublesome and sometimes difficult post-preparative work-up procedures usually encountered with the well known homogeneously catalyzed corresponding reactions. The method is described using as example the preparation of , -telechelic vinyldimethylsiloxy-oligopolydimethylsiloxanes from octamethylcyclotetrasiloxane and 1,3-divinyltetramethyldisiloxane, but reference to the preparations of trimethylsiloxy-, dimethylsiloxy-and carboxypropyldimethylsiloxyoligopolydimethylsiloxanes, oligopolymethylhydridosiloxanes or their copolymers is also made.     

Isobutylene polymerization in the presence of t-BuCl/SnCl4

Summary The effect of tert-butyl chloride in the polymerizations of isobutylene carried out in the presence of SnCl₄ in dichloromethane at temperatures-20°C and-78°C was investigated. Synthesized polyisobutylene samples showed a bimodal molecular weight distribution (MWD) and it was found that the weight content of the lowermolecular weight (LMW) fraction increased with increasing t-BuCl concentration in the polymerization mixture. The effect of ageing of the initiation mixture t-BuCl/SnCl₄ in CH₂Cl₂ prepared in advance on MWD of the PIB samples was also studied. Ageing of the initiation system supports the formation of the LMW fraction and this oily PIB is the only product of the polymerization at-20°C, .     

Nature-Inspired Meta-Heuristics on Modern GPUs: State of the Art and Brief Survey of Selected Algorithms

Graphic processing units (GPUs) emerged recently as an exciting new hardware environment for a truly parallel implementation and execution of Nature and Bio-inspired Algorithms with excellent price-to-power ratio. In contrast to common multicore CPUs that contain up to tens of independent cores, the GPUs represent a massively parallel single-instruction multiple-data devices that can nowadays reach peak performance of hundreds and thousands of giga floating-point operations per second. Nature and Bio-inspired Algorithms implement parallel optimization strategies in which a single candidate solution, a group of candidate solutions (population), or multiple populations seek for optimal solution or set of solutions of given problem. Genetic algorithms (GA) constitute a family of traditional and very well-known nature-inspired populational meta-heuristic algorithms that have proved its usefulness on a plethora of tasks through the years. Differential evolution (DE) is another efficient populational meta-heuristic algorithm for real-parameter optimization. Particle swarm optimization (PSO) can be seen as nature-inspired multiagent method in which the interaction of simple independent agents yields intelligent collective behavior. Simulated annealing (SA) is global optimization algorithm which combines statistical mechanics and combinatorial optimization with inspiration in metallurgy. This survey provides a brief overview of the latest state-of-the-art research on the design, implementation, and applications of parallel GA, DE, PSO, and SA-based methods on the GPUs.     

Towards a Trajectory Planning Concept: Augmenting Path Planning Methods by Considering Speed Limit Constraints

Trajectory planning is an essential part of systems controlling autonomous entities such as vehicles or robots. It requires not only finding spatial curves but also that dynamic properties of the vehicles (such as speed limits for certain maneuvers) must be followed. In this paper, we present an approach for augmenting existing path planning methods to support basic dynamic constraints, concretely speed limit constraints. We apply this approach to the well known A* and state-of-the-art Theta* and Lazy Theta* path planning algorithms. We use a concept of trajectory planning based on a modular architecture in which spatial and dynamic parts can be easily implemented. This concept allows dynamic aspects to be processed during planning. Existing systems based on a similar concept usually add dynamics (velocity) into spatial curves in a post-processing step which might be inappropriate when the curves do not follow the dynamics. Many existing trajectory planning approaches, especially in mobile robotics, encode dynamic aspects directly in the representation (e.g. in the form of regular lattices) which requires a precise knowledge of the environmental and dynamic properties of particular autonomous entities making designing and implementing such trajectory planning approaches quite difficult. The concept of trajectory planning we implemented might not be as precise but the modular architecture makes the design and implementation easier because we can use (modified) well known path planning methods and define models of dynamics of autonomous entities separately. This seems to be appropriate for simulations used in feasibility studies for some complex autonomous systems or in computer games etc. Our basic implementation of the augmented A*, Theta* and Lazy Theta* algorithms is also experimentally evaluated. We compare (i) the augmented and basic A*, Theta* and Lazy Theta* algorithms and (ii) optimizing of augmented Theta* and Lazy Theta* for distance (the trajectory length) and duration (time needed to move through the trajectory).