Development of DSL Compilers for Specialized Processors

Programming and Computer Software - Modern computer systems often include specialized processors that are programmed in domain-specific languages. The compiler-in-the-loop technology, which assumes...     

Soret and Dufour effects between two rectangular plane walls with heat source/sink

This study addresses the thermo‐diffusion and the diffusion‐thermo phenomena in a semi‐infinite absorbent channel whose walls are contracting/expanding, with heat source/sink effects. The governing partial differential equations with suitable boundary conditions are transformed to a system of dimensionless ordinary differential equations. An analytic solution of the problem has been found using a technique called homotopy analysis method (HAM). HAM gives consistently valid answers to the problem over an extensive variety of parameters and also provides better accuracy. To validate the analytical results, a comparison has been presented with a numerical solution calculated by using the parallel shooting method. The effects of dimensionless parameters, that is, deformation parameter, Reynolds number, Soret and Dufour numbers, and heat source/sink parameter on the expressions of velocity, temperature, and concentration profiles are analyzed graphically to understand the physics of the deformable channel. It has been noted that the velocity across the channel is higher for the expanding channel, as compared to that for the contracting channel. Also the Soret and Dufour number increases the temperature of the fluid, and decreases the concentration. The temperature profile has an increasing behavior in the case of heat source, and a decreasing behavior in the case of heat sink.     

Moderate lameness leads to marked behavioral changes in dairy cows

Lameness is one of the most prevalent diseases affecting the welfare of cows in modern dairy production. Lameness leads to behavioral changes in severely lame cows, which have been investigated in much detail. For early detection of lameness, knowledge of the effects of moderate lameness on cow behavior is crucial. Therefore, the behavior of nonlame and moderately lame cows was compared on 17 Swiss dairy farms. On each farm, 5 to 11 nonlame (locomotion score 1 of 5) and 2 to 7 moderately lame (locomotion score 3 of 5) cows were selected for data collection in two 48-h periods (A, B) separated by an interval of 6 to 10 wk. Based on visual locomotion scoring, 142 nonlame and 66 moderately lame cows were examined in period A and 128 nonlame and 53 moderately lame cows in period B. Between these 2 periods, the cows underwent corrective hoof trimming. Lying behavior, locomotor activity, and neck activity were recorded by accelerometers (MSR145 data logger, MSR Electronics GmbH, Seuzach, Switzerland), and feeding and rumination behaviors by noseband sensors (RumiWatch halter, ITIN + HOCH GmbH, Liestal, Switzerland). Furthermore, visits to the brush and the concentrate feeder, and the milking order position were recorded. In comparison with nonlame cows, moderately lame cows had a longer lying duration, a longer average lying bout duration, and a greater lateral asymmetry in lying duration. Average locomotor activity, locomotor activity during 1 h after feed delivery or push-ups, and average neck activity were lower in moderately lame cows. Eating time and the number of eating chews (jaw movements) were reduced in moderately lame compared with nonlame cows, whereas no effect of moderate lameness was evident for ruminating time, number of ruminating chews and boluses, and average number of ruminating chews per bolus. Moderately lame cows visited the concentrate feeder and the brush less frequently, and they were further back in the milking order compared with nonlame cows. In conclusion, nonlame and moderately lame cows differed in a biologically relevant way in many of the behavioral variables investigated in this study. Therefore, the use of these behavioral changes seems to be promising to develop a tool for early lameness detection.     

Deformation of a surface layer and coating application using a flexible tool

The microstructure and properties of the functional coatings formed by impact friction processing of product surfaces with a flexible tool are studied. It is established that the processing produces a hard nanostructured surface layer with fragments up to 0.13 µm in size, as it is achieved by severe plastic deformation.     

Alloy optimisation of bainitic steel for large plastic mould

Based on the phase transformation theories, especially the T₀ concept of bainite transformation, alloy optimisation of bainitic steel with carbides has been carried out aiming at the produce of plastic mould with large cross-section. The effect of manganese and silicon on proeutectoid ferrite and bainite transformation is explored by dilatometric analysis, XRD and different microscopy techniques. The results show that after the alloy optimisation, the transformation of proeutectoid ferrite is suppressed and when the cooling rate is lower than 0·1°C?s^??1, the new lower bainite transformation appears by decreasing carbon capacity of austenite and promoting carbide precipitation. Industrial production proves that the optimised alloy SDP1 can meet the demand for the plastic mould with the thickness of 1050?mm.     

Deep Neural Networks for Determining the Parameters of Buildings from Single-Shot Satellite Imagery

Journal of Computer and Systems Sciences International - The height of a building is a basic characteristic needed for analytical services. It can be used to evaluate the population and functional...