Scientometrics - Computer-assisted methods and tools can help researchers automate the coding process of literature reviews and accelerate the literature review process. However, existing... 相似文献
This paper presents a PVS development of relevant results of the theory of rings. The PVS theory includes complete proofs of the three classical isomorphism theorems for rings, and characterizations of principal, prime and maximal ideals. Algebraic concepts and properties are specified and formalized as generally as possible allowing in this manner their application to other algebraic structures. The development provides the required elements to formalize important algebraic theorems. In particular, the paper presents the formalization of the general algebraic-theoretical version of the Chinese remainder theorem (CRT) for the theory of rings, as given in abstract algebra textbooks, proved as a consequence of the first isomorphism theorem. Also, the PVS theory includes a formalization of the number-theoretical version of CRT for the structure of integers, which is the version of CRT found in formalizations. CRT for integers is obtained as a consequence of the general version of CRT for the theory of rings.
Until now, attention has been focused solely in the drying of squid mantle from an experimental point of view, neglecting the transport phenomenon studies of water in squid muscle. This work studies the drying of squid mantle (Loligo brasiliensis), previously salted and smoked by liquid smoking (hickory extract), using a tubular dryer in closed cycle with a silicagel fixed bed in series. The mass transfer phenomenon during drying was studied, based on the Fick's second law, with the effective diffusivity supposed constant, which enabled an analytical solution to the problem. The drying curve calculated with the resulting equation was compared with experimental data. The model was applied to a hollow cylinder geometry (round squid mantle), with its internal surface isolated from the drying environment by a plastic film. The latter was given a tubular form and introduced inside the mantle cavity (impervious wall boundary condition). 相似文献
We describe twin girls with bilateral cerebrovascular disease. In one child, a diagnosis of moyamoya disease was made after presentation in infancy with an acute hemiparesis; her asymptomatic sibling was found to have significant bilateral cerebrovascular disease after neuropsychological evaluation and assessment with transcranial Doppler ultrasound. Both subjects showed a discrepancy between verbal and performance IQ and deficits on a test of frontal-lobe function suggesting that these domains should be targeted in cognitive assessment. Family members of subjects with moyamoya are at risk of cerebrovascular disease. Clinical symptoms do not reliably predict disease and those at risk should be offered screening with non-invasive vascular imaging. 相似文献
The author designed 3 experiments to study pigeons' adjustment to unexpected shifts in reinforcer magnitude with a single trial per day. Extinction was faster or poorer after training with a small magnitude (1 food pellet) than after training with a large magnitude (10 or 15 pellets). A shift from 15 to 1 pellet was accompanied by a gradual adjustment, with no indication of a successive negative contrast effect. Pigeons discriminated the reinforcer magnitudes but yielded no evidence of spaced-trial simultaneous negative contrast. Moreover, extinction was faster for a stimulus paired with 1 pellet than for a stimulus paired with 15 pellets. The results can be interpreted in terms of simple strengthening-weakening learning rules and without reference to anticipatory frustration. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
With the increasing use of electric motors in automobiles—in some cases as many as 100 electric motors per vehicle—alternatives to ferrite magnetic materials are under consideration. If more powerful magnetic materials could be implemented, size reductions in these motors could result in curb weight reductions that lead to improved fuel economy. NdFeB magnets are attractive as potential replacement materials, due to their higher flux density and thus smaller required size; however, high material costs have limited their implementation. To investigate the economic competitiveness of alternative magnetic materials, technical cost models (TCMs) were developed and used to examine the manufacturing economics related to the production of both NdFeB and ferrite magnets. Results from the TCMs are used to identify the cost drivers and opportunities for cost reductions. Subsequent investigations will include effects on vehicle fuel efficiency, and the environmental impact of magnet manufacture and disposal. 相似文献
We have made a study of the chemical composition, the electrical, the optical and the structural properties of polycrystalline CuInS2 thin films prepared by spray pyrolysis to be used for thin film solar cells. These films were deposited starting from aqueous solutions with different chemical compositions ([Cu]/[In] and [S]/[Cu] ratios) and at different substrate temperatures. In all cases, the material is p-type with grains preferentially oriented in the (112) direction of the sphalerite structure. The electro-optical properties show a very strong dependence on the [Cu]/[In] ratio in the solution. Films with copper excess have smaller resistivity and better crystallinity than those which are stoichiometric or have indium excess. The results obtained in this work show the possibility of having CuInS2 thin films with a wide range of resistivity, a fact that could be important for making solar cells based on this material. 相似文献