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.
We have developed a narrow-band controller in the MHz range, based on a field-programmable gate array. It is used to control the probe beam intensity in frequency-modulated spectroscopy experiments with an acoustooptic modulator. The residual amplitude modulation at the modulation frequency (2.5 MHz) is reduced by 50 dB. The first-harmonic detection of the signals is operated in saturation spectroscopy of I/sub 2/ at 514.5 nm and 501.7 nm. A reduction of the background noise and a large increase in the signal-to-noise ratio are obtained. 相似文献
We examined whether either psychotic features (e.g., delusions and hallucinations) or EEG abnormalities are associated with more rapid progression of Alzheimer's disease (AD). AD patients with psychosis have exhibited more EEG abnormalities than those without psychosis, and both abnormal EEG and psychosis have been noted to be predictors of functional and cognitive decline in AD. Ninety-five probable AD patients participating in a longitudinal study of dementia had an EEG and a semistructured psychiatric interview at baseline. Using EEG spectral analysis, we classified records as normal/abnormal based on the parasagittal mean frequency. Patients with abnormal EEGs were more functionally (e.g., Blessed Rating Scale for activities of daily living) and cognitively (e.g., Mini-Mental State) impaired than patients with normal EEG. AD patients with psychosis were only more functionally impaired than patients without psychosis. A two-factor analysis showed no interaction between abnormal EEG and psychosis. In addition, using a Cox proportional hazard model adjusted for age and education, the presence of an abnormal EEG or psychotic symptom at study entry was associated with higher risk of reaching severe cognitive and functional impairment during follow-up. Neither abnormal EEG nor the presence of psychosis predicted death. These results indicate that both abnormal EEG and psychosis are independent predictors of disease progression but not of physical survival. 相似文献
An algorithm for calculating the 2D cosine transform of a Toeplitz matrix is presented. The algorithm is based on the application of 1D cosine transforms. More specifically, four 1D cosine transforms of size N are needed to obtain the transform of a Toeplitz matrix of size N×N. This is an improvement over previously published algorithms. The algorithm is also simple and regular 相似文献
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). 相似文献
Magnetic particle inspection (MPI) is widely used for nondestructive evaluation in aerospace applications in which interpretation of inspection results is currently limited to empirical knowledge and experience-based approaches. Advances in computational magnetics, particularly the use of finite-element calculations, have enabled realistic numerical simulations of magnetic particle inspection to be undertaken with complicated geometries. In this paper, we report a sensitivity analysis using finite-element-method simulations of magnetic particle inspection for defects with various sizes and geometries. As a result, improved quantitative understanding of the MPI technique and factors that affects its sensitivity and reliability has been achieved. These results can be used to optimize conditions for conducting these inspections and should lead to improvement in analysis and interpretation of experimental results. 相似文献
This paper discusses the results of a study of actinide surrogates in a nuclear borosilicate glass to understand the effect of processing conditions (temperature and oxidizing versus reducing conditions) on the solubility limits of these elements. The incorporation of cerium oxide, hafnium oxide, and neodymium oxide in this borosilicate glass was investigated. Cerium is a possible surrogate for tetravalent and trivalent actinides, hafnium for tetravalent actinides, and neodymium for trivalent actinides. The material homogeneity was studied by optical, scanning electron microscopy. Cerium LIII XANES spectroscopy showed that the Ce3+/Cetotal ratio increased from about 0.5 to 0.9 as the processing temperature increased from 1100 to 1400 °C. Cerium LIII XANES spectroscopy also confirmed that the increased Ce solubility in glasses melted under reducing conditions was due to complete reduction of all the cerium in the glass. The most significant results pointed out in the current study are that the solubility limits of the actinide surrogates increases with the processing temperature and that Ce3+ is shown to be more soluble than Ce4+ in this borosilicate glass. 相似文献
In rodents, two types of glucocorticoid receptors, the mineralocorticoid (MR; type I) and the glucocorticoid (type II) receptors, have been demonstrated to play a role in hypothalamic-pituitary-adrenal (HPA) axis regulation. Because MR shows a very high affinity for cortisol, it has been suggested that MR plays an important role in restraint of CRH and ACTH secretion during the nadir of the circadian rhythm. Although a number of studies have established the importance of MR in rodents, the functional role of MR in humans has not been determined. These studies evaluated whether spironolactone, an MR antagonist, had a detectable effect on HPA axis regulation in humans, and whether the effect was greatest during the evening, when plasma cortisol concentrations are in the MR range. Compared to the placebo day, after a single dose of spironolactone at either 0800 or 1600 h, there is a significant increase in plasma cortisol, which is preceded by a rise in ACTH and beta-endorphin. A significant effect of spironolactone on cortisol secretion was demonstrated with no differences between the morning and evening. Because the effect of spironolactone on cortisol was short lived, a second experiment was conducted using two doses of spironolactone, again sampling in the morning and evening. After two doses of spironolactone, plasma cortisol levels showed a significant and sustained spironolactone-induced elevation for the entire sampling period. However, neither plasma beta-endorphin nor ACTH was increased compared to levels on the placebo day. These data suggest that MR appear to play a clear role in HPA axis regulation during the time of the circadian peak as well as the trough. Furthermore, MR blockade may affect the sensitivity of the adrenal to ACTH. 相似文献