基于最大不动点模型的描述逻辑系统FL��的有穷基

研究了描述逻辑的有穷基问题,分析了有穷基在描述逻辑中的重要意义及其研究现状,并研究了形式概念分析中的属性蕴含和Duguenne-Guigues基问题.利用形式概念分析中Duguenne-Guigues基存在的证明结果,在F.Baader工作基础上设置了描述逻辑的描述背景,重新定义了描述背景下的属性蕴含,证明了带循环术语的描述逻辑系统FLε存在最大不动点语义(greatest fixed-points,gfp)模型,给出了带循环术语的描述逻辑系统FLε在最大不动点模型下的有穷基的存在性定理,并证明有穷基的可靠性和完备性.描述逻辑有穷基可以帮助知识工程师构建一个更适用于推理的描述逻辑知识库.

Fe3O4 magnetic nanoparticles as peroxidase mimetics and their applications in H2O2 and glucose detection

Artificial enzyme mimetics are a current research interest because natural enzymes bear some serious disadvantages, such as their catalytic activity can be easily inhibited and they can be digested by proteases. A very recently study reported by Yan et al. has proven that Fe3O4 magnetic nanoparticles (MNPs) exhibit an intrinsic enzyme mimetic activity similar to that found in natural peroxidases, though MNPs are usually thought to be biological and chemical inert (Gao, L. Z.; Zhuang, J.; Nie, L.; Zhang, J. B.; Zhang, Y.; Gu, N.; Wang, T. H.; Feng, J.; Yang, D. L.; Perrett, S.; Yan, X. Y. Nat. Nanotechnol. 2007, 2, 577-583).

Styrene polymerization catalyzed by metal porphyrin complex/MAO for in situ synthesizing polystyrene containing air stable pi cation radicals

A novel catalyst system based on nickel(II) tetraphenylporphyrin (Ni(II)TPP) and methylaluminoxane for styrene polymerization was developed. This catalyst system has a high thermal stability and show fairly good activity. The obtained polystyrene (PS) was isotactic-rich atactic polymer by C-13 NMR analysis, and its molecular weight distribution was rather narrow (M-w/M-n approximate to 1.6, by GPC analysis). ESR revealed that Ni(II)TPP pi cation radicals were formed in the polymerization and could remain in the resulting PS stably. The mechanism of the polymerization was discussed and a special coordination mechanism was proposed. The PS product containing Ni(II)TPP pi cation radicals can be used as a potential functional material.

Bulk ultrafine binderless (W0.4Al0.6)C prepared by high pressure sintering

Pure (W0.4Al0.6)C powder of about 1 mu m in diameter was sintered by the high pressure sintering (HPS) process without the addition of any binder phase. The microstructure, Vickers micro hardness and density versus the sintering time and temperature are well described. The most suitable sintering condition under pressure of 4.5 GPa is 1873 K for 8 min. Under this sintering condition, the hardness can reach 2295 kg mm(-2) and the relative density can reach 98.6%.

Weak epitaxy growth of metal-free phthalocyanine on p-sexiphenyl monolayer and double-layer films

Weak epitaxy growth (WEG) can afford high-mobility thin films of disk-like organic semiconductor of which mobility is up to the level of the corresponding single crystals. We investigated the WEG behavior and mechanism of planar phthalocyanine in the model system of metal-free phthalocyanine (H2Pc) grown on p-sexiphenyl (p-6P) ultrathin films (monolayers and double layers). Highly oriented H2Pc films with molecules standing up exhibited two kinds of different in-plane orientations, i.e., three sets of in-plane orientations and only one set of in-plane orientation, on p-6P monolayer and double-layer films, respectively.

Monodisperse Co-oligomer Approach toward Nanostructured Films with Alternating Donor-Acceptor Lamellae

A series of donor-acceptor (D-A) co-oligomers with oligo(fluorene-alt-bithiophene) and perylene diimide as donor and acceptor segments, respectively, have been designed and synthesized. They can self-assembly into alternating D-A lamellar nanostructured films with the periods depending on the molecular length. These films have been successfully used in fabrication of high-performance single-molecular solar cells with power conversion efficiency up to 1.50%.

The first liquid crystalline phthalocyanine derivative capable of edge-on alignment for solution processed organic thin-film transistors

Tetraoctyl-substituted vanadyl phthalocyanine (OVPc4C8) as a new NIR-absorbing discotic liquid crystalline material can form highly ordered thin films with edge-on alignment of the molecules and molecular packing mode identical to that in the phase II of OVPc for solution processed OTFTs with mobility up to 0.017 cm(2) V-1 s(-1).

Synthesis and Luminescent Properties of LaAlO3:RE3+ (RE = Tm, Tb) Nanocrystalline Phosphors via a Sol-Gel Process

LaAlO3:Tm3+ and LaAlO3:Tb3+ phosphors were prepared through a Pechini-type sol-gel process. X-ray diffraction (XRD), field emission scanning electron microscopy (FE-SEM), photoluminescence, and cathodoluminescence (CL) spectra were utilized to characterize the synthesized phosphors. The XRD results reveal that the fully crystalline pure LaAlO3 Phase can be obtained at 800 degrees C. The FE-SEM image indicates that the phosphor samples are composed of aggregated spherical particles with sizes ranging from 40 to 80 nm. Under the excitation of ultraviolet light (230 nm) and low-voltage electron beams (1-3 kV), the LaAlO3:Tm3+ and LaAlO3:Tb3+ phosphors show the characteristic emissions of Tb3+ (D-1(2)-> H-3(6,4),F-3(4) transitions) and Tm3+ (D-5(3,4)-> F-7(6,5,4,3) transitions) respectively. The CL of the LaAlO3:Tm3+ phosphors have high color purity and comparable intensity to the Y2SiO5:Ce3+ commercial product, and the CL colors of Tb3+-doped LaAlO3 phosphors can be tuned from blue to green by changing the doping concentration of Tb3+ to some extent.

Tunable Photoluminescence and Cathodoluminescence Properties of Eu3+-Doped LaInO3 Nanocrystalline Phosphors

LaInO3:Eu3+ phosphors were prepared by a Pechini sol-gel process. X-ray diffraction (XRD), field-emission scanning electron microscopy (FE-SEM), diffuse reflectance, photoluminescence, cathodoluminescence spectra, as well as lifetimes were utilized to characterize the synthesized phosphors. XRD results reveal that the sample begins to crystallize at 600 degrees C and pure LaInO3 phase can be obtained at 800 degrees C. The crystallinity increases upon raising the annealing temperature. The FE-SEM images indicate that LaInO3:Eu3+ phosphors are composed of fine and spherical grains around 40-80 nm in size. Under the excitation of UV light and low-voltage electron-beams, LaInO3:Eu3+ phosphors show the characteristic emissions of the Eu3+ (D-5(J)-F-7(J) J,J(')=0,1,2,3 transitions). The luminescence colors can be tuned from yellowish warm white to red by changing the doping concentration of Eu3+ to some extent. The corresponding luminescence mechanisms have been proposed.

Effects of ultrahigh pressure extraction conditions on yields and antioxidant activity of ginsenoside from ginseng

Ultrahigh pressure technique was employed to extract ginsenosides from roots of ginseng (Panax ginseng C.A. Meyer). The optimal conditions for ultrahigh pressure extraction (UPE) of total ginsenosides were quantified by UV-vis spectrophotometry with the ginsenoside Re as standard, the signal ginsenosides were quantified by HPLC and ELSD with ginsenosides Re, Rg(1), Rb-1, Rc and Rb-2 as standards. Orthogonal design was applied to evaluate the effects of four independent factors (extraction pressure, extraction temperature, extraction time and ethanol concentration) on the yield and 1,1-diphenyl-2-picrylhydrazyl (DPPH) radical scavenging activity of ginsenoside, which are based on microwave extraction (ME), ultrasound extraction (UE), soxhlet extraction (SE) and heat reflux extraction (HRE) method. The results showed that UPE method can produce ginsenoside with the highest yield and the best radical scavenging activity compared to other used ones. Scanning electron microscopic (SEM) images of the plant cells after ultrahigh pressure treatment was obtained to provide visual evidence of the disruption effect.

Bilayer Photoresist Insulator for High Performance Organic Thin-Film Transistors on Plastic Films

A novel bilayer photoresist insulator is applied in flexible vanadyl-phthalocyanine (VOPc) organic thin-film transistors (OTFTs). The micron-size patterns of this photoresisit insulator can be directly defined only by photolithography without the etching process. Furthermore, these OTFTs exhibit high field-effect mobility (about 0.8 cm(2)/Vs) and current on/off ratio (about 10(6)). In particular, they show rather low hysteresis (< 1 V). The results demonstrate that this bilayer photoresist insulator can be applied in large-area electronics and in the facilitation of patterning insulators.

Electronic structures of 4d transition metal monoxides by density functional theory

Bond distances, dissociation energies, ionization potentials and electron affinities of 4d transition metal monoxides from YO to CdO and their positive and negative ions were studied by use of density functional methods B3LYP, BLYP, B3PW91, BPW91, B3P86, BP86, SVWN, MPW1PW91 and PBE1PBE. It was found that calculated properties are highly dependent on the functionals employed, especially for dissociation energy. For most neutral species, pure density functionals BLYP, BPW91 and BP86 have good performance in predicting dissociation energy than hybrid density functionals B3LYP, B3PW91 and B3P86. In addition, BLYP gives the largest bond distance compared with other density functional methods, while SVWN gives shortest bond distance, largest dissociation energy and electron affinity. For the ground state, the spin multiplicity of the charged species can be obtained by +/- 1 of their corresponding neutral species.

A study of isomeric diglycosyl flavonoids by SORI CID of Fourier transform ion cyclotron mass Spectrometry in negative ion mode

High-resolution Sustained off resonance irradiation (SORI) CID was employed to distinguish four pairs of isomeric diglycosyl flavonoids in the negative mode using the electrospray ionization Fourier transform ion cyclotron resonance mass spectrometry (ESI FTICR MS). All of these isomers can be distinguished via MS/MS data. For these diglycosyl flavones and flavanones, the deprotonated alpha 1-->6 linkage diglycosyl flavonoids produce fewer fragments than the alpha 1-->2 linkage type compounds and the Retro-Diels-Alder (RDA) reaction in MS/MS only takes place when the aglycone is a flavanone and glycosylated with an alpha 1-->2 intersaccharide linkage disaccharide. The deprotonation sites after collisional activation are discussed according to the high mass accuracy and high-resolution data of tandem spectrometry. Some of these high-resolution SORI CID product ions from alpha 1-->2 linkage diglycosyl flavonoids involve multibond cleavages; the possible mechanism is discussed based on the computer modeling using Gaussian 03 program package at the B3LYP/6-31G level of theory. Unambiguous elementary composition data provides fragmentation information that has not been reported previously.

Naphthyl and thionaphthyl end-capped oligothiophenes as organic semiconductors: Effect of chain length and end-capping groups

Two series of oligothiophenes (OThs), NaTn and TNTn (n = 2-6 represents the number of thiophene rings), end-capped with naphthyl and thionaphthyl units have been synthesized by means of Stille coupling. Their thermal properties, optical properties, single crystal structures, and organic field-effect transistor performance have been characterized. All oligomers display great thermal stability and crystallinity. ne crystallographic structures of NaT2, NaT3, TNT2, and TNT3 have been determined. The crystals of NaT2 and NaT3 are monoclinic with space group P2(1)/C, while those of TNT2 and TNT3 are triclinic and orthorhombic with space groups P-1(-) and P2(1)2(1)2(1), respectively. All oligomers adopt the well-known herringbone packing-mode in crystals with packing parameters dependent on the structure of the end-capping units and the number of thiophene rings. The shorter intermolecular distance in NaT3 compared to NaT2 indicates that the intermolecular interaction principally increases with increasing molecular length. X-ray diffraction and atomic force microscopy (AFM) characterization indicate that the NaTn oligomers can form films with better morphology and high molecular order than TNTn oligomers with the same number of thiophene rings. The NaTn oligomers exhibit mobilities that are much higher than those for TNTn oligomers (0.028-0.39 cm(2) V-1 s(-1) versus 0.010-0.055 cm(2) V-1 s(-1), respectively).