A finite model property for RMImin

It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMI _min has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMI _min is decidable. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

掺钕聚甲基丙烯酸甲酯的光学特性

研究了制备的掺钕螯合物Nd(DBM)3Phen材料的吸收光谱、激发光谱、荧光光谱,应用Judd-Ofelt理论计算了该材料的强度参量．分析了钕离子激发态4F3／2的辐射寿命(631 μs)和4F3／2→4IJ′跃迁的受激发射截面和荧光分支比．     

功率电子器件用AlN陶瓷基板的研制

阐述了AlN陶瓷的烧结原理 ,分析了烧结工艺参数对大面积AlN基板性能的影响 ,成功研制出了高热导率(190W /m·K)、大面积 (14 0mm× 90mm)、翘曲度为 2 0 μm/5 0mm的AlN陶瓷基板。     

Active long pulse shaping technique of pulsed CO2 laser using multi-pulse discharge control

We describe the pulse forming of pulsed CO₂ laser using multi-pulse superposition technique. Various pulse shapes, high duty cycle pulse forming network (PFN) are constructed by time sequence. This study shows a technology that makes it possible to make various long pulse shapes by activating SCRs of three PFN modules consecutively at a desirable delay time with the aid of a PIC one-chip microprocessor. The power supply for this experiment consists of three PFN modules. Each PFN module uses a capacitor, a pulse forming inductor, a SCR, a high voltage pulse transformer, and a bridge rectifier on each transformer secondary. The PFN modules operate at low voltage by driving the primary of HV pulse transformer. The secondary of the transformer has a full-wave rectifier, which passes the pulse energy to the load in a continuous sequence.We investigated various long pulse shapes as different trigger time intervals of SCRs among three PFN modules. As a result, we could obtain laser beam with various pulse shapes and durations from about 250 to 1000 μs.     

Highly Efficient Orange and Green Solid‐State Light‐Emitting Electrochemical Cells Based on Cationic IrIII Complexes with Enhanced Steric Hindrance

Highly efficient orange and green emission from single‐layered solid‐state light‐emitting electrochemical cells based on cationic transition‐metal complexes [Ir(ppy)₂sb]PF₆ and [Ir(dFppy)₂sb]PF₆ (where ppy is 2‐phenylpyridine, dFppy is 2‐(2,4‐difluorophenyl)pyridine, and sb is 4,5‐diaza‐9,9′‐spirobifluorene) is reported. Photoluminescence measurements show highly retained quantum yields for [Ir(ppy)₂sb]PF₆ and [Ir(dFppy)₂ sb]PF₆ in neat films (compared with quantum yields of these complexes dispersed in m‐bis(N‐carbazolyl)benzene films). The spiroconfigured sb ligands effectively enhance the steric hindrance of the complexes and reduce the self‐quenching effect. The devices that use single‐layered neat films of [Ir(ppy)₂sb]PF₆ and [Ir(dFppy)₂sb]PF₆ achieve high peak external quantum efficiencies and power efficiencies of 7.1 % and 22.6 lm W^–1) at 2.5 V, and 7.1 % and 26.2 lm W^–1 at 2.8 V, respectively. These efficiencies are among the highest reported for solid‐state light‐emitting electrochemical cells, and indicate that cationic transition‐metal complexes containing ligands with good steric hindrance are excellent candidates for highly efficient solid‐state electrochemical cells.     

北京谱仪Ⅲ电磁量能器触发系统的模拟研究

利用北京谱仪Ⅲ探测器模拟和触发系统模拟程序,研究了北京谱仪Ⅲ电磁量能器的触发方案.根据物理目标设计了中性事例触发,巴巴事例判选和带电事例触发的方案,优化了各触发条件的参数,并仔细研究了对本底的排斥能力.研究了一批典型的物理道,给出了它们的触发效率,同时给出了预期的本底触发事例率.     

Hamiltonian N2‐locally connected claw‐free graphs

A graph G is N₂‐locally connected if for every vertex ν in G, the edges not incident with ν but having at least one end adjacent to ν in G induce a connected graph. In 1990, Ryjá?ek conjectured that every 3‐connected N₂‐locally connected claw‐free graph is Hamiltonian. This conjecture is proved in this note. © 2004 Wiley Periodicals, Inc. J Graph Theory 48: 142–146, 2005