Scientometrics - Computer-assisted methods and tools can help researchers automate the coding process of literature reviews and accelerate the literature review process. However, existing... 相似文献
Telecommunication Systems - The Software-Defined Networking (SDN) architecture decouples the control plane from the data plane, but it does not explicitly state where the control should be located.... 相似文献
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.
Adsorption of Triton X-100 on various silica substrates has been investigated. A number of solids, including a natural quartz, this quartz washed with HCl acid and subsequently heated at 1273 K; two aerosils and one Kieselgel silicas were studied. These solids exhibit surface areas in the range of 5 to 430 m2 g?1. All the Triton adsorption isotherms display an S-shape at the adsorption temperatures studied (298 and 308 K). It has been found that the pretreatments of natural quartz (by water washing, impurities removed by acid and/or high temperature calcination) affect considerably the amounts of TX-100 adsorbed. Measurements of surface composition have been made by X-ray photoelectron spectroscopy (XPS) with particular emphasis on the presence of impurities and on the number of OH groups at the surface of the samples. The nature of the surface hydroxyl has also been studied by infrared spectroscopy. Furthermore, the specific number of hydroxyl groups on the surface of the silica samples has been determined by thermogravimetric analysis. Finally an attempt to correlate solid surface characteristics with adsorption isotherms has been developed. 相似文献
Glyconanoparticles which present carbohydrate and amino groups motifs at their surface were produced. These particles were highly stable and soluble in aqueous solutions. The presence of the carbohydrate groups also allowed the inclusion of more strongly binding groups, without affecting solubility. The binding of a model DNA, plasmid by these nanoparticles was studied by atomic force microscopy, transmission electron microscopy, and gel electrophoresis. Significant differences between the nanoparticles based on their affinities for the DNA were found, with implications for their potential use as nonviral gene delivery agents. 相似文献
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). 相似文献
Glyconanoparticles which present carbohydrate and amino groups motifs at their surface were produced. These particles were highly stable and soluble in aqueous solutions. The presence of the carbohydrate groups also allowed the inclusion of more strongly binding groups, without affecting solubility. The binding of a model DNA, plasmid by these nanoparticles was studied by atomic force microscopy, transmission electron microscopy, and gel electrophoresis. Significant differences between the nanoparticles based on their affinities for the DNA were found, with implications for their potential use as nonviral gene delivery agents. 相似文献