传值进程模型检测中诊断信息的生成

诊断信息自动生成是模型检测方法的基本特征之一，对分析和排错具有重要的意义，讨论了传值进程模型检测中诊断信息的生成问题，引入了两种诊断信息的表示结构：证明图和示例；提出了两种诊断信息的构造算法，所采用的方法是从检测过程保存的依赖信息中抽取证明图和示例，这样可以继承已有的信息，从而减少计算量，相应的算法已经实现并用实例作了分析测试，实验结果表明该方法是有效的。

基于逻辑"或"约束优化的实时系统设计

标准约束优化问题的等式或不等式约束之间是逻辑“与”关系，目前已经有很多高效、收敛的优化算法．但是，在实际应用中有很多更一般的约束优化问题，其等式或不等式约束之间不仅包含逻辑“与”关系，而且还包含逻辑“或”关系，现有的针对标准约束优化问题的各种算法不再适用，给出一种新的数学变换方法，把具有逻辑“或”关系的不等式约束转换为一组具有逻辑“与”关系的不等式，并应用到实时单调速率调度算法的可调度性判定充要条件中，把实时系统设计表示成混合布尔型整数规划问题，利用经典的分支定界法求解．实验部分指出了各种方法的优缺点．

Holographic dual of linear dilaton black hole in Einstein-Maxwell-dilaton-axion gravity

Motivated by the recently proposed Kerr/CFT correspondence, we investigate the holographic dual of the extremal and non-extremal rotating linear dilaton black hole in Einstein-Maxwell-Dilaton-Axion Gravity. For the case of extremal black hole, by imposing the appropriate boundary condition at spatial infinity of the near horizon extremal geometry, the Virasoro algebra of conserved charges associated with the asymptotic symmetry group is obtained. It is shown that the microscopic entropy of the dual conformal field given by Cardy formula exactly agrees with Bekenstein-Hawking entropy of extremal black hole. Then, by rewriting the wave equation of massless scalar field with sufficient low energy as the SLL(2, R) x SLR(2, R) Casimir operator, we find the hidden conformal symmetry of the non-extremal linear dilaton black hole, which implies that the non-extremal rotating linear dilaton black hole is holographically dual to a two dimensional conformal field theory with the non-zero left and right temperatures. Furthermore, it is shown that the entropy of non-extremal black hole can be reproduced by using Cardy formula.

几类旋转对称布尔函数的密码学性质

Sumanta Sarkar等人给出了一类具有最大代数免疫阶的旋转对称布尔函数,但对给出的旋转对称布尔函数仅研究了该函数的非线性度而对其他密码学性质未加以研究.因此,研究了上面给出的旋转对称布尔函数的其他密码学性质:代数次数、线性结构、扩散性、相关免疫性等.研究结果显示,虽然这类布尔函数的代数免疫阶达到最大,但是其他的密码学性质并不好.因此,此类布尔函数并不能直接应用在密码系统中.

a computational proof of complexity of some restricted counting problems

South Central University

DFT/TDDFT Studies on the Electronic Structures and Spectral Properties of Rhenium(I) Pyridinybenzoimidazole Complexes

The electronic structures and spectral properties of three Re(I) complexes [Re(CO)(3)XL] (X = Br, Cl; L = 1-(4-5 '-phenyl-1.3,4-oxadiazolylbenzyl)-2-pyridinylbenzoimidazole (1), 1-(4-carbazolylbutyl)-2-pyridinylbenzoimidazole (2), and 2-(1-ethyl benzimidazol-2-yl)pyridi ne (3)) were investigated theoretically. The ground and the lowest lying triplet excited states were full optimized at the B3LYP/LANL2DZ and CIS/LANL2DZ levels, respectively. TDDFT/PCM calculations have been employed to predict the absorption and emission spectra starting from the ground and excited state geometries, respectively.

Theoretical studies on electronic structures, spectra and charge transporting properties of a series of Pt((CN)-N-Lambda)(2) complexes

We report a quantum-chemical study of electronic, optical and charge transporting properties of four platinum (II) complexes, pt((CN)-N-Lambda)(2) ((CN)-N-Lambda=phenylpyridine or thiophenepyridine). The lowest-lying absorptions at 442, 440, 447 and 429 nm are all attributed to the mixed transition characters of metal-to-ligand charge transfer (MLCT) and ligand-centered (LC) pi - pi(*) transition. While, unexpectedly, the lowest-lying phosphorescent emissions at 663, 660, 675 and 742 nm are mainly from metal-to-ligand charge transfer ((MLCT)-M-3) ligand-centered (LC) pi ->pi* transition. Ionization potential (IP), electron affinities (EA) and reorganization energy P (lambda(hole/electron)) were obtained to evaluate the charge transfer and balance properties between hole and electron.

Synthesis, characterization and electrophosphorescent properties of mononuclear platinum(II) complexes based on 2-phenylbenzoimidazole derivatives

The rational design, synthesis and characterization of five phosphorescent platinum complexes [(C boolean AND N) Pt(acac)] [Hacac = acetylacetone, HC boolean AND N = 1-methyl-2-(4-fluorophenyl)benzoimidazole (H-FMBI), 1-methyl-2-phenylbenzoimidazole (H-MBI), 1,2-diphenyl-benzoimidazole (H-PBI), 1-(4-(3,6-di-t-butylcarbazol-9-yl)) phenyl-2-phenylbenzoimidazole (t-BuCz-H-PBI), and 1-(4-(3,6-di-(3,6-di-t-butyl-carbazol-9-yl))carbazol-9-yl) phenyl-2-phenylbenzoimidazole (t-BuCzCz-H-PBI)] have been discussed. The crystal structure of (MBI) Pt(acac) shows a nearly ideal square planar geometry around Pt atom and the weak intermolecular interactions with pi-pi spacing of 3.55 angstrom. All of the complexes emit green phosphorescence from the metal-to-ligand charge-transfer (MLCT) excited state with high quantum efficiency (0.08-0.17) at room temperature.