Beyond Q-Resolution and Prenex Form: a Proof System for Quantified Constraint Satisfaction

We consider the quanti fied constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quanti fication, whether or not the sentence is true on the structure. We present a proof system for certifying the falsity of QCSP instances and develop its basic theory; for instance, we provide an algorithmic interpretation of its behavior. Our proof system places the established Q-resolution proof system in a broader context, and also allows us to derive QCSP tractability results.

Gross energy requirement in fishing operations

Energy is a key input into the fish harvesting process. Efficient use of energy helps in reducing operational costs and environmental impact, while increasing profits. Energy optimisation is an important aspect of responsible fishing as enunciated in the Code of Conduct for Responsible Fisheries. Gross Energy Requirement (GER) is the sum of all non-renewable energy resources consumed in making available a product or service and is expressed in energy units per physical unit of product or service delivered. GER is a measure of intensity of non-renewable resource use and it reflects the amount of depletion of earth’s inherited store of non-renewable energy in order to create and make available a product or service. In this study, GER in fish harvesting up to the point of landing is estimated in selected fish harvesting systems in the small-mechanised sectors of Indian fisheries and compared with reported results from selected non mechanised and motorised fishing systems to reflect the situation during 1997-1998. Among the fish harvesting systems studied, GER t fish-1 ranged from 5.54 and 5.91 GJ, respectively, for wooden and steel purse seiners powered by 156 hp engines; 6.40 GJ for wooden purse seiner with 235 hp engine; 25.18 GJ for mechanised gillnet/line fishing vessel with 89 hp engines; to 31.40 and 36.97 GJ, respectively, for wooden and steel trawlers powered by 99-106 hp engines.

Dietary cholesterol requirement of larvae and postlarvae of the prawn Penaeus indicus (H. Milne Edwards)

Two sets of experiments were conducted to determine the dietary cholesterol requirement of larvae and postlarvae 1-10 of Penaeus indicus. Seven approximately isocaloric and isonitrogenous purified experimental diets were tried with graded levels of cholesterol ranging from 0 to 4%. The control feed for larvae and postlarvae 1-10 were phytoplankton and compounded feed NPCL-17, developed by CMFRI, Cochin respectively. Result of these experiments indicates that cholesterol is an essential nutrient in the diet of larvae and postlarvae 1-10. Survival and growth of larvae and postlarvae 1-10 were greatly affected by cholesterol deficiency in the diet. The optimal cholesterol requirement for larvae appeared to be 0.5% of the diet, while it was higher for postlarvae where inclusion of cholesterol at a level of 2% in the diet gave higher growth.

The use of object oriented modelling and simulation tools in constraint satisfaction for embodiment design

The software package Dymola, which implements the new, vendor-independent standard modelling language Modelica, exemplifies the emerging generation of object-oriented modelling and simulation tools. This paper shows how, in addition to its simulation capabilities, it may be used as an embodiment design tool, to size automatically a design assembled from a library of generic parametric components. The example used is a miniature model aircraft diesel engine. To this end, the component classes contain extra algebraic equations calculating the overload factor (or its reciprocal, the safety factor) for all the different modes of failure, such as buckling or tensile yield. Thus the simulation results contain the maximum overload or minimum safety factor for each failure mode along with the critical instant and the device state at which it occurs. The Dymola "Initial Conditions Calculation" function, controlled by a simple software script, may then be used to perform automatic component sizing. Each component is minimised in mass, subject to a chosen safety factor against failure, over a given operating cycle. Whilst the example is in the realm of mechanical design, it must be emphasised that the approach is equally applicable to the electrical or mechatronic domains, indeed to any design problem requiring numerical constraint satisfaction.

Energy substrate requirement for in vitro maturation of oocytes from unstimulated adult rhesus monkeys

The energy substrates lactate, pyruvate, and glucose were evaluated for supporting in vitro cytoplasmic maturation of rhesus monkey oocytes. A total of 321 cumulus-oocyte complexes (COCs) aspirated from greater than or equal to 1000 mum diameter follicles

A preliminary study on the protein requirement of Chanos chanos (Forskal) fry in a controlled environment

Growth rate of fish appeared to be related to the levels of the protein in the diet up to 40%. Fish fed diets containing 50 and 60% grew slower than those fed 40%, and the optimum level appears to be 40% when fed to fry at a rate of 10% of body weight. Best feed conversion of 1.96 was also obtained from the 40% protein diet. Mean survival rates were low in all treatments, but highest for the 40% protein diet. The competition of 5 isocaloric experimental diets containing various levels of protein are tabulated, as are weight gains, diet conversions and survival rates for milkfish fry fed various dietary levels of protein. Growth curves for milkfish fry are shown, and the relationship between weight gains of milkfish fry and the dietary levels of protein are illustrated.

Dietary crude protein requirement of Tilapia nilotica fry

To determine growth and survival of Tilapia nilotica fry fed formulated practical dry diets with varying crude protein levels, fish were subjected to 3 seperate feeding trials. Isocaloric practical diets containing 20, 25, 30 and 35% crude protein were fed to fry at 15% fish biomass daily for 7 weeks in 2 trials and another set containing 20, 25, 30, 35, 40, 45 and 50% was given for 8 weeks. On the basis of growth, survival and feed conversion, T. nilotica fry required 35% crude protein in the practical diets given at 15% fish biomass.

Dietary phosphorus requirement of juvenile black seabream, Sparus macrocephalus

A growth trial was conducted to estimate the optimum requirement of dietary available phosphorus (P) for black seabream (Sparus macrocephalus) in indoor net cages (1.5x1.0x1.0 m). Triplicate groups of black seabream (11.45 +/- 0.02 g) were fed diets containing graded levels (0.18, 0.36, 0.54, 0.72, 0.89 and 1.07%) of available P to satiation for 8 weeks. The basal diet (diet 1), containing 0.18% available P, was supplemented with graded levels of monosodium phosphate (NaH2PO4 2H(2)O) to formulate five experimental diets. The fish were fed twice daily (08:00 h and 16:00 h) and reared in seawater (salinity, 26-29 g l(-1)) at a temperature of 28 +/- 1 degrees C. Dissolved oxygen during the experiment was above 5 mg l(-1). The specific growth rate (SGR), weight gain (WG), feed efficiency (FE) and protein efficiency ratio (PER) were all significantly improved by dietary phosphorus up to 0.54% (P<0.05) and then leveled off beyond this level. Hepatosomatic index (HSI) was inversely correlated with dietary phosphorus levels (P< 0.05). Efficiency of P utilization stabled in fish fed diets containing 0.18%-0.54% available P and then decreased dramatically with further supplementation of dietary phosphorus. Body composition analysis showed that the whole-body lipid, ash, calcium and phosphorus contents were all significantly affected by dietary available P concentration (P<0.05), however, no significance were found in whole-body calcium/phosphorus (Ca/P) ratios among all the treatments (P>0.05). Dietary phosphorus levels also affected the mineralization of vertebrae, skin and scale (P<0.05). Ca/P ratios in vertebrae and scale were not influenced by dietary P supplementation, while skin Ca/P ratio increased statistically with dietary available P levels (quadratic effect, P<0.001). The blood chemistry analysis showed that dietary available P had distinct effects on enzyme activities of alkaline phosphatase (ALP) and plasma lysozyme (LSZ), as well as contents of triacyglycerol (TG) and total cholesterol (T-CHO) (P<0.05). Broken-line analysis showed maximum weight gain (WG) was obtained at dietary available P concentrations of 0.55%. Quadratic analysis based on P contents in whole fish, vertebrae or scale indicated that the requirements were 0.81, 0.87 and 0.88%, respectively. Signs of phosphorus deficiency were characterized by poor growth, slightly reduced mineralization and an increase in body lipid content. (C) 2008 Published by Elsevier B.V.

Dietary methionine requirement for juvenile rockfish, Sebastes schlegeli

A 65-day growth trial was conducted at 19.5 degrees C to determine the optimal dietary methionine for juvenile rockfish, Sebastes schlegeli. Semipurified diets were formulated to be isonitrogenous and isoenergetic. Fish meal was used as intact protein source and crystal amino acid was used as a part of dietary protein. Six experimental diets were formulated to contain 5.8, 10.8, 15.8, 20.8, 25.8 and 30.8 g kg(-1) dietary methionine. The results showed that dietary methionine significantly affected specific growth rate, weight gain, food conversion ratio, protein productive value (PPV), energy retention efficiency, carcass index and body composition. No significant difference was found in hepatosomatic index. The dietary methionine requirement for maximum growth was 13.7 g kg(-1) dry matter or 28.0 g kg(-1) of dietary protein when cystine content was 1.2 g kg(-1) dry matter.

requirement analysis of information and knowledge management in postmodern perspective on curriculum

National Basic Research Program of China; Chinese Academy of Sciences; Information Society Technologies; Institute of Computing Technology, Chinese Academy of Sciences; Zhuhai National Hi-tech Industrial Development Zone