关于PFI-代数与剩余格

本文提出了一种强FI代数-PFI代数,并且深入研究了它的性质,借此进一步揭示了FI-代数和剩余格之间更加密切的联系,进而以FI-代数为基本框架建立了R0-代数、正则剩余格等逻辑系统的结构特征(包括对隅结构)及其相互关系．这种以FI-代数为基础来统一处理剩余格和R0-代数的方法,同样适合于格蕴涵代数和MV代数等代数结构,而且从中更能清楚地看出它们之间的密切联系,也将有助于对相应形式逻辑系统与模糊推理的研究．     

Vibrational EELS and DFT study of propionic acid and pyruvic acid on Ni(1 0 0): Effects of keto group substitution on room-temperature adsorption and thermal chemistry

The room-temperature adsorption and thermally induced processes of propionic acid and pyruvic acid on Ni(1 0 0) have been investigated by electron energy loss spectroscopy (EELS). Computational vibrational analysis of the optimized bidentate structures for acid-Ni model complexes (involving the organic acid and a Ni atom) has been performed by using the two-layer ONIOM method with the Density Functional Theory and used to interpret the vibrational EELS data. Dehydrogenation of the hydroxyl group is found to result in bonding of the carboxylate group in the propionate and pyruvate adspecies to either a single Ni surface atom in a bidentate configuration or two neighbouring Ni atoms in a bridge configuration. Given the similarities in the total energies and related vibrational frequencies obtained by the calculations in the case of pyruvate adspecies, it is difficult to differentiate the alternate adsorption structure, in which the keto O and hydroxyl O atoms are bonded to a Ni atom in a five-member chelate ring configuration. Furthermore, temperature-dependent EELS studies show that both the propionate and pyruvate adspecies could decompose upon annealing to above 400 K and further dissociate to CO adspecies above 550 K and to C and/or O above 600 K.     

Commutators, C0-semigroups and resolvent estimates

We study the existence and the continuity properties of the boundary values on the real axis of the resolvent of a self-adjoint operator H in the framework of the conjugate operator method initiated by Mourre. We allow the conjugate operator A to be the generator of a C₀-semigroup (finer estimates require A to be maximal symmetric) and we consider situations where the first commutator [H,iA] is not comparable to H. The applications include the spectral theory of zero mass quantum field models.     

New Branch-and-Cut Algorithm for Bilevel Linear Programming

Linear mixed 0–1 integer programming problems may be reformulated as equivalent continuous bilevel linear programming (BLP) problems. We exploit these equivalences to transpose the concept of mixed 0–1 Gomory cuts to BLP. The first phase of our new algorithm generates Gomory-like cuts. The second phase consists of a branch-and-bound procedure to ensure finite termination with a global optimal solution. Different features of the algorithm, in particular, the cut selection and branching criteria are studied in details. We propose also a set of algorithmic tests and procedures to improve the method. Finally, we illustrate the performance through numerical experiments. Our algorithm outperforms pure branch-and-bound when tested on a series of randomly generated problems. Work of the authors was partially supported by FCAR, MITACS and NSERC grants.     

Synthesis and characterization of white‐light‐emitting polyfluorenes containing orange phosphorescent moieties in the side chain

Two orange phosphorescent iridium complex monomers, 9‐hexyl‐9‐(iridium (III)bis(2‐(4′‐fluorophenyl)‐4‐phenylquinoline‐N,C^2′)(tetradecanedionate‐11,13))‐2,7‐dibromofluorene (Br‐PIr) and 9‐hexyl‐9‐(iridium(III)bis(2‐(4′‐fluorophenyl)‐4‐methylquinoline‐N,C^2′)(tetradecanedionate‐11,13))‐2,7‐dibromofluorene (Br‐MIr), were successfully synthesized. The Suzuki polycondensation of 2,7‐bis(trimethylene boronate)‐9,9‐dioctylfluorene with 2,7‐dibromo‐9,9‐dioctylfluorene and Br‐PIr or Br‐MIr afforded two series of copolymers, PIrPFs and MIrPFs, in good yields, in which the concentrations of the phosphorescent moieties were kept small (0.5–3 mol % feed ratio) to realize incomplete energy transfer. The photoluminescence (PL) of the copolymers showed blue‐ and orange‐emission peaks. A white‐light‐emitting diode with a configuration of indium tin oxide/poly(3,4‐ethylenedioxythiophene):poly(styrenesulfonate)/PIr05PF (0.5 mol % feed ratio of Br‐PIr)/Ca/Al exhibited a luminous efficiency of 4.49 cd/A and a power efficiency of 2.35 lm/W at 6.0 V with Commission Internationale de L'Eclairage (CIE) coordinates of (0.46, 0.33). The CIE coordinates were improved to (0.34, 0.33) when copolymer MIr10PF (1.0 mol % feed ratio of Br‐MIr) was employed as the white‐emissive layer. The strong orange emission in the electroluminescence spectra in comparison with PL for these kinds of polymers was attributed to the additional contribution of charge trapping in the phosphorescent dopants. © 2007 Wiley Periodicals, Inc. JPolym Sci Part A: Polym Chem 45: 1746–1757, 2007     

Asymptotic Distribution of Nodes for Near-Optimal Polynomial Interpolation on Certain Curves in R 2

Let E\subset \Bbb R ^s be compact and let d _n ^E denote the dimension of the space of polynomials of degree at most n in s variables restricted to E . We introduce the notion of an asymptotic interpolation measure (AIM). Such a measure, if it exists , describes the asymptotic behavior of any scheme τ _n ={ \bf x _k,n } _k=1 ^dnE , n=1,2,\ldots , of nodes for multivariate polynomial interpolation for which the norms of the corresponding interpolation operators do not grow geometrically large with n . We demonstrate the existence of AIMs for the finite union of compact subsets of certain algebraic curves in R ² . It turns out that the theory of logarithmic potentials with external fields plays a useful role in the investigation. Furthermore, for the sets mentioned above, we give a computationally simple construction for ``good' interpolation schemes. November 9, 2000. Date revised: August 4, 2001. Date accepted: September 14, 2001.     

LED显示技术的现状和发展

综合介绍了ＬＥＤ显示技术的现状，详细叙述了全色ＬＥＤ显示的关键技术和主要性能，对ＬＥＤ在室内，室外的应用前景作出评述。     

InAs／InP_（0．7）Sb_（0．3）热电子晶体管的f_T及f_（max）

用电荷控制及热电子弹道运动模型计算ＩｎＡｓ／ＩｎＰ０．７Ｓｂ０．３热电子晶体管的截止频率ｆＴ及最高振荡频率ｆｍａｘ。结果表明，ｆＴ、ｆｍａｘ分别达到２８０ＧＨｚ及６００ＧＨｚ。并指出，通过生长ＧａＳｂ中间层，ＩｎＡｓ／ＩｎＰ０．７Ｓｂ０．３ＨＥＴ可在ＧａＡｓ衬底上实现单片集成。     

求解P0函数互补问题的一种微分方程方法

本针对P0函数互补问题，给出了一种微方程方法，并且证明了P0函数互补问题的解是微分方程系统的渐进稳定平衡点。在适当的假设条件下，证明了所给出的算法具有二次收敛速度。几个数值例子表明了该算法的有效性。