Personal and Ubiquitous Computing - This article presents a study concerning the evaluation of a smart home control system for elderly people with a sample of 10 users in a city in the interior of... 相似文献
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.
In this work, ultra-low loss Li2MgTi0.7(Mg1/3Nb2/3)0.3O4 ceramics were successfully prepared via the conventional solid-state method. X-ray photoelectron spectroscopy (XPS), thermally stimulated depolarization current (TSDC) and bond energy were used to determine the distinction between intrinsic and extrinsic dielectric loss in (Mg1/3Nb2/3)4+ ions substituted ceramics. The addition of (Mg1/3Nb2/3)4+ ions enhances the bond energy in unit cell without changing the crystal structure of Li2MgTiO4, which results in high Q·f value as an intrinsic factor. The extrinsic factors such as porosity and grain size influence the dielectric loss at lower sintering temperature, while the oxygen vacancies play dominant role when the ceramics densified at 1400?°C. The Li2MgTi0.7(Mg1/3Nb2/3)0.3O4 ceramics sintered at 1400?°C can achieve an excellent combination of microwave dielectric properties: εr =?16.19, Q·f?=?160,000?GHz and τf =??3.14?ppm/°C. In addition, a certain amount of LiF can effectively lower the sintering temperature of the matrix, and the Li2MgTi0.7(Mg1/3Nb2/3)0.3O4-3?wt% LiF ceramics sintered at 1100?°C possess balanced properties with εr?=?16.32, Q·f?=?145,384?GHz and τf =??16.33?ppm/°C. 相似文献
Biological information is stored in DNA, RNA and protein sequences, which can be understood as genotypes that are translated into phenotypes. The properties of genotype–phenotype (GP) maps have been studied in great detail for RNA secondary structure. These include a highly biased distribution of genotypes per phenotype, negative correlation of genotypic robustness and evolvability, positive correlation of phenotypic robustness and evolvability, shape-space covering, and a roughly logarithmic scaling of phenotypic robustness with phenotypic frequency. More recently similar properties have been discovered in other GP maps, suggesting that they may be fundamental to biological GP maps, in general, rather than specific to the RNA secondary structure map. Here we propose that the above properties arise from the fundamental organization of biological information into ‘constrained'' and ‘unconstrained'' sequences, in the broadest possible sense. As ‘constrained'' we describe sequences that affect the phenotype more immediately, and are therefore more sensitive to mutations, such as, e.g. protein-coding DNA or the stems in RNA secondary structure. ‘Unconstrained'' sequences, on the other hand, can mutate more freely without affecting the phenotype, such as, e.g. intronic or intergenic DNA or the loops in RNA secondary structure. To test our hypothesis we consider a highly simplified GP map that has genotypes with ‘coding'' and ‘non-coding'' parts. We term this the Fibonacci GP map, as it is equivalent to the Fibonacci code in information theory. Despite its simplicity the Fibonacci GP map exhibits all the above properties of much more complex and biologically realistic GP maps. These properties are therefore likely to be fundamental to many biological GP maps. 相似文献
The complex tissue-specific physiology that is orchestrated from the nano- to the macroscale, in conjugation with the dynamic biophysical/biochemical stimuli underlying biological processes, has inspired the design of sophisticated hydrogels and nanoparticle systems exhibiting stimuli-responsive features. Recently, hydrogels and nanoparticles have been combined in advanced nanocomposite hybrid platforms expanding their range of biomedical applications. The ease and flexibility of attaining modular nanocomposite hydrogel constructs by selecting different classes of nanomaterials/hydrogels, or tuning nanoparticle-hydrogel physicochemical interactions widely expands the range of attainable properties to levels beyond those of traditional platforms. This review showcases the intrinsic ability of hybrid constructs to react to external or internal/physiological stimuli in the scope of developing sophisticated and intelligent systems with application-oriented features. Moreover, nanoparticle-hydrogel platforms are overviewed in the context of encoding stimuli-responsive cascades that recapitulate signaling interplays present in native biosystems. Collectively, recent breakthroughs in the design of stimuli-responsive nanocomposite hydrogels improve their potential for operating as advanced systems in different biomedical applications that benefit from tailored single or multi-responsiveness. 相似文献
Power Technology and Engineering - The experimental results on retaining reinforced-concrete walls reinforced with anchor ties and carbon composite materials on the face side of hydraulic... 相似文献
A previously designed and developed 12-step total synthesis that includes [1,1′-biphenyl]-2-amine and carbazole intermediates and that ultimately produces the carbazole alkaloid carbazomycin G was exploited as a screening compound library with the goal of identifying potential lead compound(s) with cytotoxic effect. These compounds were investigated by using in-vitro tests involving the two human cell lines HL-60 and MOLM-13, which both model acute myeloid leukaemia (AML). The in-vitro biological test results were used together with the molecular structures of the various intermediates in a concise SAR analysis. Several of the intermediates revealed cytotoxicity (IC50<10−4 M), although the final natural product carbazomycin G did not reveal cytotoxicity versus the two said human cell lines. 相似文献