937 research outputs found
Recommended from our members
Possible crater-based pingos, paleolakes and periglacial landscapes in the high latitudes of Utopia Planitia, Mars
THE INFLUENCE OF FOLIAR FERTILIZATION WITH HUMIC ACIDS ON THE PRODUCTION OF WHITE CABBAGE
The main purpose of the study was to test the effect of some fertilizers based on humic acids on autumn cabbage,Bucharest F1 in the ecological conditions of the South-West of Romania. The foliar products applied were formulated and obtained by ICPA Bucharest. The biological material was represented by the Bucharest F1 hybrid. The experience included three variants: V1-untreated, V2-foliar fertilization with Deceneu and V3 foliar fertilization with Humifert Plus. In order to achieve the proposed objectives, biometric determinations have been carried out on the eatable organs: height and diameter of the head, the shape index and the degree of stuffi,but also the quantity and quality of the cabbage production. Application of fertilizers led to increased production at the fertilized variants, significant differences were at the variant with the Deceneu product, 132.5 kg/ha and a good accumulation of ascorbic acid, 35.78 mg/100g fresh matter, when applying Humifert Plu
Study of the Mg-Nd alloy obtained by electrolysis in molten oxifluoride media
Mg-Nd alloys have been produced by electrolysis of the molten mixture LiF-NdF3-MgF2 using Nd2(CO3)3 and MgF2 as raw materials. An electrolysis cell was designed having the anode made of super dense graphite and the cathode made of molybdenum metal. The quasi-binary system (NdF3-LiF)eutectic-MgF2 was investigated and the liquidus line was determined using thermo-differential analysis. The solubility of Nd2(CO3)3 in the LiF-NdF3-MgF2 system was investigated by the carbothermal technique
VARIABILITY OF YIELD AND FEW QUALITY COMPONENTS TO SOME MUTANT/RECOMBINANT LINES OF WINTER WHEAT
Ten DH mutant/recombinant wheat lines viz. Ai-II 126, Ai-II 131, Ai-II 152, Ai-II 172, Ai-II 183, Ai-II 193, Ai-II 201, Ai-II 223, Bi-I 3, Bi-I 40 and their parental forms Izvor and F00628-34 were analyzed for yield and some grain quality parameters (protein and starch content, TKW, hectolitre mass and moisture content). These lines were cultivated in Southern Romania, on chernozen soil in 2015-2017 period. Lines with higher yield potential were identified and of quality. Average yield of 6757 Kg/ha (Ai-II 152) and 6724 Kg/ha (Ai-II 193) were obtained and protein content of 13.35% (Ai-II 126) and 13.10% (Ai-II 172) were realized. Higher variability for TKW was identified and smaller for starch and HM. Significant positive correlation between TKW and protein content and negative correlation between protein and starch and yield was found. The results of this study conclude that on the basis of the analyzed characters there are some lines which can be selected as one of best genotypes.
Elektrokemijski postupak za proizvodnju titanovih kompozitnih slitina
The paper presents a new method for precursors’ synthesis of titanium alloys matrix composites through an electrochemical process in molten calcium chloride. The cathode of the cell was made from metallic oxides powders and reinforcement ceramic particles, which were pressed and sintered into disk form and the anode from graphite. The process occurred at 850 °C, in two stages, at 2,7 / 3,2 V: the ionization of the oxygen in oxides and the reduction with calcium formed by electrolysis of calcium oxide fed in the electrolyte. The obtained composite precursors, in a form of metallic sponge, were consolidated by pressing and sintering. Chemical and structural analyses on composites samples were performed.Članak prikazuje novu metodu prethodne sinteze titanovih kompozitnih slitina s elektrokemijskim postupkom u rastaljenom kalcijevom kloridu. Katoda ćelije ustrojena je od praškastog metalnog oksida ojačan keramičkim česticama, koji je stlačen u obliku diska, a anoda je od grafita. Postupak se odvijao na 850 °C u dva stupnja, 2,7/3,2 V: ionizacija kisika u oksidima i redukcija kalcijem nastajala je elektrolizom kalcijevih oksida u elektrolitu. Dobiveni prethodno kompozit u obliku metalne spužve je očvrsnut tlačenjem i sinteriranjem. Provedena je kemijska i strukturna analiza uzoraka kompozita
Dislocation core field. I. Modeling in anisotropic linear elasticity theory
Aside from the Volterra field, dislocations create a core field, which can be
modeled in linear anisotropic elasticity theory with force and dislocation
dipoles. We derive an expression of the elastic energy of a dislocation taking
full account of its core field and show that no cross term exists between the
Volterra and the core fields. We also obtain the contribution of the core field
to the dislocation interaction energy with an external stress, thus showing
that dislocation can interact with a pressure. The additional force that
derives from this core field contribution is proportional to the gradient of
the applied stress. Such a supplementary force on dislocations may be important
in high stress gradient regions, such as close to a crack tip or in a
dislocation pile-up
Degree spectra for transcendence in fields
We show that for both the unary relation of transcendence and the finitary
relation of algebraic independence on a field, the degree spectra of these
relations may consist of any single computably enumerable Turing degree, or of
those c.e. degrees above an arbitrary fixed degree. In other
cases, these spectra may be characterized by the ability to enumerate an
arbitrary set. This is the first proof that a computable field can
fail to have a computable copy with a computable transcendence basis
Analyzing program analyses
We want to prove that a static analysis of a given program is complete, namely, no imprecision arises when asking some query on the program behavior in the concrete (i.e., for its concrete semantics) or in the abstract (i.e., for its abstract interpretation). Completeness proofs are therefore useful to assign confidence to alarms raised by static analyses. We introduce the completeness class of an abstraction as the set of all programs for which the abstraction is complete. Our first result shows that for any nontrivial abstraction, its completeness class is not recursively enumerable. We then introduce a stratified deductive system a2A to prove the completeness of program analyses over an abstract domain A. We prove the soundness of the deductive system. We observe that the only sources of incompleteness are assignments and Boolean tests \u2014 unlikely a common belief in static analysis, joins do not induce incompleteness. The first layer of this proof system is generic, abstraction-agnostic, and it deals with the standard constructs for program composition, that is, sequential composition, branching and guarded iteration. The second layer is instead abstraction-specific: the designer of an abstract domain A provides conditions for completeness in A of assignments and Boolean tests which have to be checked by a suitable static analysis or assumed in the completeness proof as hypotheses. We instantiate the second layer of this proof system first with a generic nonrelational abstraction in order to provide a sound rule for the completeness of assignments. Orthogonally, we instantiate it to the numerical abstract domains of Intervals and Octagons, providing necessary and sufficient conditions for the completeness of their Boolean tests and of assignments for Octagons
- …