求解布尔与非线性数值约束相混合的约束问题

布尔与数值变量相混合的约束问题有着广泛的应用,但是当约束中的数值变量间存在非线性关系时该问题求解起来十分困难.目前的许多求解方法都是不完备的,即这些方法不能完全肯定某些包含非线性数值表达式的约束是否能够成立.针对这种问题,提出了将非线性数值约束转化为特殊形式的优化问题,采用全局优化算法对其进行求解的方法.已经实现了一个基于此方法的原型工具.实验结果表明,该方法能够有效地求解非线性混合约束问题,并且总能够得到该约束条件是否可满足的结果.

a constraint solver and its application to path feasibility analysis

Many testing methods are based on program paths. A well-known problem with them is that some paths are infeasible. To decide the feasibility of paths, we may solve a set of constraints. In this paper, we describe constraint-based tools that can be used for this purpose. They accept constraints expressed in a natural form, which may involve variables of different types such as integers, Booleans, reals and fixed-size arrays. The constraint solver is an extension of a Boolean satisfiability checker and it makes use of a linear programming package. The solving algorithm is described, and examples are given to illustrate the use of the tools. For many paths in the testing literature, their feasibility can be decided in a reasonable amount of time.

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

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

Z-scan theory based on a diffraction model

Based on Fresnel-Mrchhoff diffraction theory, a diffraction model of nonlinear optical media interacting with a Gaussian beam has been set up that can interpret the Z-scan phenomenon in a new way. This theory not only is consistent with the conventional Z-scan theory for a small nonlinear phase shift but also can be used for larger nonlinear phase shifts. Numerical computations indicate that the shape of the Z-scan curve is greatly affected by the value of the nonlinear phase shift. The symmetric dispersionlike Z-scan curve is valid only for small nonlinear p base shifts (\Deltaphi(0)\ < pi), but, with increasingly larger nonlinear phase shifts, the valley of the transmittance is severely suppressed and the peak is greatly enhanced. The power output through the aperture will oscillate with increasing nonlinear phase shift caused by the input laser power. The aperture transmittance will attenuate and saturate with increasing Kerr constant. (C) 2003 Optical Society of America.

Approximate analytical optical transfer function for a wavefront-coded imaging system with two-dimensional rectangularly separable phase masks

Wavefront coding can be used to extend the depth of field of incoherent imaging systems and is a powerful system-level technique. In order to assess the performance of a wavefront-coded imaging system, defocused optical transfer function (OTF) is the metric frequently used. Unfortunately, to the best of our knowledge, among all types of phase masks, it is usually difficult to obtain the analytical OTF except the cubic one. Although numerical computation seems good enough for performance evaluation, the approximate analytical OTF is still indispensable because it can reflect the relationship between mask parameters and system frequency response in a clearer way. Thus, a method is proposed to derive the approximate analytical OTF for two-dimensional rectangularly separable phase masks. The analytical results are well consistent with the direct numerical computations, but the proposed method can be accepted only from engineering point of view and needs rigorous proof in future. (c) 2010 Society of Photo-Optical Instrumentation Engineers. [DOI: 10.1117/1.3485759]

Theoretical study of the 4d photoabsorption of the Cs+ ion

Calculations of the 4d absolute photoabsorption cross sections of the Xe-like Cs+ ion covering the energy region from 80 to 190 eV have been performed by using the multi-configuration Dirac-Fock method. The calculated cross sections are compared with the absolute experimental photoabsorption cross-section spectrum (Kjeldsen et al 2002 J. Phys. B: At. Mol. Opt. Phys. 35 2845) and other available theoretical results. In the 80-90 eV region, the discrete structure resulting from photoexcitation of a 4d electron into nf and np orbits are successfully identified. Above the 4d threshold, i.e. in the 90-190 eV energy region, a reasonable agreement between experiment and computations is found for the intense 4d -> epsilon f shape resonance.

Characteristics of electroosmotic flow and migration of neutral solutes under stepwise gradient elution of capillary electrochromatography

A theoretical study on the velocity of electroosmotic flow (EOF) and the retention times of neutral solutes under multiple-step gradient of capillary electrochromatography (CEC) was carried out, focusing on that with three kinds of mobile phases. Through the model computations, the detaining time of the second kind of mobile phase in the column was proved to play an important role in affecting EOF. The variation speed of EOF was shown to be determined by the differences among dead times in different steps. In addition, the prediction of the retention times of 13 aromatic compounds under gradient mode was performed with the deduced equations. A relative error below 3.3% between the calculated and experimental values was obtained, which demonstrated the rationality of the theoretical deduction. Our study could not only improve the comprehension of stepwise gradient elution, but also be of significance for the further optimization of separation conditions in the analysis of complex samples.

寻找布尔函数的零化子

通过解方程组来研究密码系统,是代数攻击的研究内容代.对方程组降次是降低求解复杂度的一种重要方法.为了达到这个目的,引入了布尔函数零化子的概念.然而迄今为止,尚未有求解零化子的有效算法.这篇文章提出了一种计算给定布尔函数的零化子集的算法.由前两个算法,可以得到给定布尔函数的零化子集的一组基;从第三个算法,可以得到最低次数的零化子.算法的复杂度与函数的单项式个数相关.对流密码来说,在很多情况下,相比以前的算法而言,这种算法的复杂度大为降低.最后,我们将给出一个实例,说明算法是如何工作的.

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.

Synthesis, photophysical and electrophosphorescent properties of mononuclear Pt(II) complexes with arylamine functionalized cyclometalating ligands

Four cyclometalated Pt(II) complexes, i.e., [(L-2)PtCl] (1b), [(L-3)PtCl] (1c), [(L-2)PtC CC6H5] (2b) and [(L-3)PtC CC6H5] (2c) (HL2 = 4-[p-(N-butyl-N-phenyl)anilino]-6-phenyl-2,2'-bipyridine and HL3 = 4-[p(-N,N'-dibutyl-N'-phenyl)phenylene-diamino]-phenyl-6-phenyl-2,2'-bipyridine), have been synthesized and verified by H-1 NMR, C-13 NMR and X-ray crystallography. Unlike previously reported complexes [(L-1)PtCl] (1a) and [(L-1)PtC CC6H5] (2a) (HL1 = 4,6-diphenyl-2,2'-bipyridine), intense and continuous absorption bands in the region of 300-500 nm with strong metal-to-ligand charge transfer ((MLCT)-M-1) (d pi(Pt) -> pi*(L)) transitions (epsilon similar to 2 x 10(4) dm(3) mol (1) cm (1)) at 449-467 nm were observed in the UV-Vis absorption spectra of complexes 1b, 1c, 2b and 2c.

Tuning of emission: Synthesis, structure and photophysical properties of imidazole, oxazole and thiazole-based iridium (III) complexes

Three new iridium (III) complexes with two cyclometalated (CN)-N-boolean AND ligands (imidazole, oxazole and thiazole-based, respectively) and one acetylacetone (acac) ancillary ligand have been synthesized and fully characterized. The structure of the thiazole-based complex has been determined by single crystal X-ray diffraction analysis. The Ir center was located in a distorted octahedral environment by three chelating ligands with the N-N in the trans and C-C in the cis configuration. By changing the hetero-atom of (CN)-N-boolean AND ligands the order S, O and N, a marked and systematic hypsochromic shift of the maximum emission peak of the complexes was realized. The imidazole-based complex emits at a wavelength of 500 nm, which is in the blue to green region. The tuning of emission wavelengths is consistent with the variation of the energy gap estimated front electrochemistry results. An electroluminescent device using the thiazole-based complex as a dopant in the emitting layer has been fabricated. A highly efficient yellow emission with a maximum luminous efficiency of 9.8 cd/A at a current density of 24.2 mA/cm(2) and a maximum brightness of 7985 cd/m(2) at 19.6 V has been achieved.