Analyzing logic programs with dynamic scheduling

Traditional logic programming languages, such as Prolog, use a fixed left-to-right atom scheduling rule. Recent logic programming languages, however, usually provide more flexible scheduling in which computation generally proceeds leftto- right but in which some calis are dynamically "delayed" until their arguments are sufRciently instantiated to allow the cali to run efficiently. Such dynamic scheduling has a significant cost. We give a framework for the global analysis of logic programming languages with dynamic scheduling and show that program analysis based on this framework supports optimizations which remove much of the overhead of dynamic scheduling.

Analysis of Proseds bare-tether performance

NASA's tether experiment ProSEDS will be placed in orbit on board a Delta-II rocket in early 2003. ProSEDS will test bare-tether electron collection, deorbiting of the rocket second stage, and the system dynamic stability. ProSEDS performance will vary both because ambient conditions change along the orbit and because tether-circuit parameters follow a step by step sequence in the current operating cycle. In this work we discuss how measurements of tether current and bias, plasma density, and deorbiting rate can be used to check the OML law for current collection. We review circuit bulk elements; characteristic lengths and energies that determine collection (tether radius, electron thermal gyroradius and Debye length, particle temperatures, tether bias, ion ram energy); and lengths determining current and bias profiles along the tether (extent of magnetic self-field, a length gauging ohmic versus collection impedances, tether length). The analysis serves the purpose of estimating ProSEDS behavior in orbit and fostering our ability for extrapolating ProSEDS flight data to different tether and environmental conditions.

Watching subgraphs to improve efficiency in maximum clique search

This paper describes a new technique referred to as watched subgraphs which improves the performance of BBMC, a leading state of the art exact maximum clique solver (MCP). It is based on watched literals employed by modern SAT solvers for boolean constraint propagation. In efficient SAT algorithms, a list of clauses is kept for each literal (it is said that the clauses watch the literal) so that only those in the list are checked for constraint propagation when a (watched) literal is assigned during search. BBMC encodes vertex sets as bit strings, a bit block representing a subset of vertices (and the corresponding induced subgraph) the size of the CPU register word. The paper proposes to watch two subgraphs of critical sets during MCP search to efficiently compute a number of basic operations. Reported results validate the approach as the size and density of problem instances rise, while achieving comparable performance in the general case.

Yield and sugar accumulating capacities of Airén cultivar. A preliminary study

Airén is the most worldwide spread white grape cultivar, high yielding, well adapted to hot, dry conditions, and not very sensitive to fungal diseases. Its largest growing region is La Mancha, where Airén has been traditionally bush trained, spur pruned and grown with no irrigation. However, grape growing has evolved to meet the need for higher yields and harvest mechanization; and modern cultural practices train grape vines to simple multi-wire trellis systems, cane pruned, and usually irrigated. The aim of the present study was to evaluate the yield and sugar accumulating capacities of Airén cultivar with regard to leaf area, and to assess the influence that different yield components have on yield. In 2014, five commercial irrigated vineyards, located in La Mancha, of different ages, and grafted onto different rootstocks were selected for this study. Canopy surface area (SA) was measured at maturity. Berry weight and sugar concentration were measured during ripening on a weekly basis. Yield and yield components were determined at harvest. Values for shoot density ranged 2.3-5.1 shoots/m2; SA, 0.6-1.1 m2/m2; yield, 20-40 t/ha; fertility, 1.1-1.7 bunches/shoot; bunch weight, 450-650 g; berry weight, 2.5-2.9 g; and sugar concentration, 17-21 ºBrix. The number of bunches per shoot was the yield component that had the greatest influence on yield. The number of berries was the main contributing factor to bunch weight. A lineal relationship between SA/yield and sugar concentration was observed, with values of SA/yield ranging from 0.20 to 0.45 m2/kg. A ratio SA/yield of approximately 0.4 m2/kg was needed to reach a value of 20 ºBrix. Hence it would be necessary a SA of 12000 m2/ha, under the conditions of this study, to achieve a 30 t/ha yield, and a sugar concentration of 20 ºBrix. These results are a step forward in the study of the Airén cultivar, being of help for grape growers in the center area of Spain in order to maximize crop yield and sugar accumulation.

Efecto de la incusion de hidrolizado de mucosa digestiva porcina (palbio 50 rd®) y del nivel de lisina del pienso sobre los parametros productivos en pollos de 1 a 21 dias de edad

El hidrolizado de mucosa digestiva de porcino (Palbio 50 RD ® , Bioiéerica, S.A., PAL) se utiliza con resultados óptimos en la alimentación de lechones recién destetados (Lindeman el al. 2000; Corassa et al. 2007). En un trabajo reciente, Mohiti-Asli et al. (2011) observaron que la inclusión de PAL mejoraba los resultados productivos en pollos de engorde a cualquier edad. En este trabajo se demostró que los niveles más recomendables de utilización de PAL teniendo en cuenta razones productivas y económicas, era el 2,5%. En esta investigación se estudio el efecto de la inclusión de 2,5% de PAL en piensos para pollos con niveles crecientes de lisina total (LYS, 1,1 a 1,4%). El objetivo fue estudiar si los efectos beneficiosos del PAL sobre la productividad de los pollos eran independientes o no del nivel de LYS del pienso.

Correlation between ileal digestibility of amino acids and chemical composition of soybean meals in broilers at 21 days of age

The correlations between chemical composition and coefficient of standardized ileal digestibility (CSID) of crude protein (CP) and amino acids (AA) were determined in 22 soybean meal (SBM) samples originated from USA (n = 8), Brazil (BRA; n = 7) and Argentina (ARG; n = 7) in 21-day old broilers. Birds were fed a commercial maize-SBM diet from 1 to 17 days of age followed by the experimental diets in which the SBM tested was the only source of protein (205 g CP/kg) for three days. Also, in vitro nitrogen (N) digestion study was conducted with these samples using the two-step enzymatic method. The coefficient of apparent ileal digestibility (CAID) of the SBM, independent of the origin, varied from 0.820 to 0.880 for CP, 0.850 to 0.905 for lysine (Lys), 0.859 to 0.907 for methionine (Met) and 0.664 to 0.750 for cysteine (Cys). The corresponding CSID values varied from 0.850 to 0.966 for CP, 0.891 to 0.940 for Lys, 0.931 to 0.970 for Met and 0.786 to 0.855 for Cys. The CSID of CP and Lys of the SBM were positively correlated with CP (r = 0.514; P menor que 0.05 and r = 0.370; P = 0.09, respectively), KOH solubility (KOH sol.) (r = 0.696; P menor que 0.001 and r = 0.619; P menor que 0.01, respectively), trypsin inhibitor activity (TIA) (r = 0.541; P menor que 0.01 and r = 0.416; P = 0.05, respectively) and reactive Lys (r = 0.563; P menor que 0.01 and r = 0.486; P menor que 0.05) values, but no relation was observed with neutral detergent fiber and oligosaccharide content. No relation between the CSID of CP determined in vivo and N digestibility determined in vitro was found. The CSID of most key AA were higher for the USA and the BRA meals than for the ARG meals. For Lys, the CSID was 0.921, 0.919 and 0.908 (P menor que 0.05) and for Cys 0.828, 0.833 and 0.800 (P menor que 0.01) for USA, BRA and ARG meals, respectively. It is concluded that under the conditions of this experiment, the CSID of CP and Lys increased with CP content, KOH sol., TIA and reactive Lys values of the SBM. The CSID of most limiting AA, including Lys and Cys, were higher for USA and BRA meals than for ARG meals.