基于关联Petri网和遗传算法的约束Web服务组合优化

1基本概念和性质定义1 APN(关联Petri网)是一个13元组:APN=(P,T,S,D,Λ,Γ,I,O,C,α,β,W,Th)其中P={P1,P2,…,Pn}是库所的有限集T={T1,T2,…,Ti}是变迁的有限集S={S1,S2,…,Sm}是支持的有限集D={D1,D2,…,Dn}是命题的有限集合Λ={τ1,τ2,…,τm}是一组支持的临界值的有限集Γ={γ,γ,…,γ}是一组信任临界值的有限集     

激发态Cs(6P)原子间碰撞能量转移截面

目的研究Cs(6P3/2)+Cs(6P3/2)→Cs(nLJ=8S1/2,4F5/2,4F7/2)+Cs(6S1/2)碰撞能量合并过程。方法利用一台单模半导体激光器共振激发6P3/2态,利用另一与泵浦激光束反向平行的单模激光束作为吸收线探测激发态原子密度及其空间分布,吸收线调至6P3/2→8S1/2跃迁,并可平行于泵浦激光束移动。由激发态原子密度和谱线的荧光强度比得到碰撞能量合并的截面。结果碰撞转移到8S1/2,4F5/2和4F7/2的截面分别是(5.43±1.56)×10-16cm2,(4.89±1.16)×10-16cm2和(6.17±1.60)×10-16cm2。结论计算结果是准确的并与其它实验结果进行了比较。     

SiO2分子线性结构的解析势能函数

应用群论及原子分子反应静力学方法推导SiO2分子的电子态及其离解极限,在B3P86/cc-PVTZ水平上,对SiO2分子基态进行优化计算,得出基态SiO2分子的单重态能量最低,其稳定构型为D∞h构型,平衡核间距Re=0.151 3 nm、能量为-440.559 5 a.u..同时计算出基态的简正振动频率:对称伸缩振动频率v(Π)=1 005.63 cm-1,弯曲振动频率v(Σg)=297.86 cm-1和反对称伸缩振动频率v(Σu)=1 458.09 cm-1.在此基础上,使用多体项展式理论方法,导出了基态SiO2分子的全空间解析势能函数,该势能函数准确再现了SiO2(D∞h)的平衡结构.     

H4+分子离子的电声耦合与声子耦合及其杨-泰勒畸变的群论分析

利用群论和量子理论研究了具有D4h对称性构型的H4+分子离子的电声耦合与声子耦合及其杨-泰勒畸变等问题.研究发现,H4+分子存在5种不同的声子态,它们分别具有D4h群下的a1g、b1g、b2g、b2u与eu对称性,其中声子态eu具有红外活性,声子态a1g、b1g、b2g具有拉曼活性,而声子态b2u则是非活性的;在H4+的声子态中只有b1g、b2g是其活跃的声子态;声子态eu与eu之间的耦合将会产生耦合声子态a1g、b1g、b2g;由于电声耦合的缘故,H4+分子离子发生了杨-泰勒畸变,Egb1g与Egb2g系统的杨-泰勒畸变方向是D4h→D2h,而Eg(b1g+b2g)系统的畸变方向则是D4h→C2h,畸变的同时也将导致H4+分子的基态能级发生分裂.     

K1×mCn的k-边优美指标集

设G=(V,E)是一个p点q边图.对于非负整数k,若存在双射f:E→{k,k+1,…,k+q-1},使得其导出映射f+:V→Zp,f+(u)≡∑(u,v)∈Ef(u,v)modp也是一个双射,则称此图G是k-边优美的.称EGI(G)={k:G是k-边优美的}是G的边优美指标集.在此彻底解决了图K1×mCn(mn≡0mod 2)的边优美指标集.     

分布函数属于D(A)吸引场的充要条件

通过考虑D(Λ)与Γ函数的关系得到判断分布函数F是否属于D(Λ)的两个充要条件: 1．(1)若F∈D(Λ),则对任意的αi>0,m>1有 (■) (2)若存在某αi>0,m>1,使得 (?) 那么 F∈D(Λ) 2．若分布函数F(x)有密度函数F′(x),且F′(x)在上端点的某一个左邻域内非增,则F(x)∈D(Λ)当且仅当 1/F′(x)∈Γ．     

Ab initio方法研究LaO分子的跃迁性质

采用量子化学计算方法,计算了LaO分子的电子结构和辐射跃迁性质.在多参考组态相互作用(MRCI)级别,计算了LaO分子的3个低Λ-S态势能曲线、永久偶极矩(PDM)和A²Π_r → X²Σ⁺以及A²Π_r → A^'2Δ_r跃迁的跃迁偶极矩(TDM).计算所获得的光谱常数与测得的实验值非常符合.基于获得的势能曲线和跃迁偶极矩,得到了A²Π_r态的自发辐射寿命和A²Π_r → X²Σ⁺跃迁的弗兰克-康登因子,A²Π_r → X²Σ⁺跃迁的弗兰克-康登因子展现出高对角性.另外,运用相同的基组和活性空间,考虑了3个低Λ-S态的自旋-轨道耦合效应,获得了5个Ω态的势能曲线和光谱常数.希望所获得的数据可以为以后实验观察LaO分子和激光冷却LaO分子提供有利的理论依据.     

D2分子X1Σ+g,B1Σ+u和C1Πu态的势能函数

使用SAC/SAC-CI和D95++**、6-311++g**及cc-PVTZ基组,分别对D2分子的基态X1Σ+g、第二激发态B1Σ+u和第三简并激发态C1Πu的平衡结构和谐振频率进行优化计算.对所有计算结果进行比较,得出cc-PVTZ基组为最优基组.运用cc-PVTZ基组和SAC方法对基态X1Σ+g、SAC-CI方法对激发态B1Σ+u和C1Πu进行单点能扫描计算,并用正规方程组拟合Murrell-Sorbie函数,得到相应电子态的势能函数解析式,由得到的势能函数计算了与X1Σ+g、B1Σ+u和C1Πu态相对应的光谱常数,结果与实验数据较为一致.     

T2分子X1∑g+,B1∑u+ 和C1Πu态的势能函数

使用SAC/SAC-CI和D95 **,6-311 g**及cc-PVTZ基组,分别对T2分子的基态X0Σg 、第2激发态B1Σu 和第3简并激发态C1Πu的平衡结构和谐振频率进行优化计算.对所有计算结果进行比较,得出cc-PVTZ基组为最优基组.运用cc-PVTZ基组和SAC方法对基态X1Σg ,SAC-CI方法对激发态B1Σu 和CΠu进行单点能扫描计算,并用正规方程组拟合Murrell-Sorbie函数,得到相应电子态的势能函数解析式,由得到的势能函数计算了与X1Σg ,B1Σu 和C1Πu态相对应的光谱常数,结果与实验数据吻合.     

S2O分子的基态和低激发态的离解及预离解

目的应用GAMESS[14]程序和新的多参考态组态相互作用(MRCISD)对S2O分子基态和与基态具有相同对称性及多重度的两个低激发态的离解进行研究。方法采用完全活性空间自洽场(CASSCF),沿着S-S伸缩振动坐标详细地解析基态X珘1A’和两个激发态C珘1A’和珟D1A’的离解以及C珘1A’预离解。结果采用不同的方法,珟D1A’态所获得的离解模式不同。对于非态平均的CASSCF方法,C珘1A’态与珟D1A’态的离解极限都为SO(1Δ)+S(1D)。对于态平均的完全活性空间自洽场(SA-CASSCF)方法,珟D1A’态离解极限与基态X珘1A’相同,均为SO(3Σ-)+S(3P),而C珘1A’态的离解极限为SO(1Δ)+S(1D)。X珘1A’态的离解能在MRCISD水平约为3.10 eV,比热化学值3.45±0.01 eV小0.35±0.01 eV。结论计算的C珘1A’态的预离解极限存在于S-S伸缩振动的26谱带附近,与实验值吻合得很好。     

Rb-Ne光学碰撞能量转移

在气体样品池条件下，研究了Rb（5Pi）＋Ne碰撞能量转移过程。将调频半导体激光器的波长稍微调离共振线，用激光激发光学薄的Rh蒸汽和低密度Ne的混合系统，激发态RbNe（E）通过解离或碰撞转移产生出Rb5P态。在不同的Ne气压下，测量直接荧光5P1/2→5Si／2和5P3/2→5S1／2转移荧光，由谱线的峰值强度比给出Rb5Pj态布居的相对大小，利用速率方程和最小二乘法得到碰撞转移截面和碰撞转移速率系数。实验结果表明，Rb5Pj精细结构碰撞转移截面是8.33×10^-18cm^2（当压强P〉133Pa）和5．94×10^-17cm^2（当压强P〈133Pa），相应的转移速率系数是5．53×10^—13cm^3／s和3．94×10^12cm^3／s。最后分析了转移截面随压强变化的原因。     

NO分子通过中间共振态C2Σ态的共振增强多光子离化光谱

利用激光光谱技术得到NO分子经由电子态C2Σ←X2Π跃迁的多光子共振离化光谱.NO分子通过中间共振电子态C2Σ,实现了五光子共振离化过程. 根据实验计算得到了NO分子C2Σ态平衡位置的力常数k=(2.44±0.08)×103 N·m-1.     

强可收缩半群

设S为半群 ,H为S的子半群 ,称H是S的一个缩回 ,若存在满同态 φ :S→H满足 φ｜H =1H(H上的恒等映射 ) ,称半群S是强可收缩的 ,若S的每个子半群都是S的一个缩回 .首先证明了群G为强可收缩半群的充要条件为G是一族初等Abel群的限制直积 ,接着得到完全单半群S强可收缩的充要条件是S G× (I×Λ) ,其中G为强可收缩群 ,I×Λ是矩形带 .还证明了一个半格是强可收缩半群的充要条件是它为局部有限树 .在这些结论的基础上最后得到一个半群是强可收缩半群的完整刻划 .     

拉回正合范畴中两个态射合成的核与余像

在Abelian范畴中,如果f:A→B和g:B→C是两个态射,则存在(1)Im f∩Ker g=f(Ker gf);(2)Im f+Ker g=g-1(Im gf).虽然在拉回正合范畴(C,E)中一般没有像的概念,但也有与(1)(2)性质相类似的结论,这就是Ker f→Ker gf→Ker g×BCoim f和Ker g→Ker gЦDCoim f→Coim gf均为E-短正合列,其中D=Ker g×BCoim gf.     

NS和SO自由基的激光诱导荧光激发谱研究

在超声射流条件下,采用激光诱导荧光(LIF)光谱技术对含硫双原子自由基NS和SO进行了光谱研究.测定了NS在34500-39300cm-1范围内的激光诱导荧光激发谱,并归属为N32S自由基的B2Π1/2-X2Π1/2和B2Π3/2-X2Π3/2跃迁,和同位素分子N34S的B2Π1/2-X2Π1/2跃迁,由光谱振转分析结果给出了N32S和N34S的B态的平衡光谱常数.同时实验测定了SO在34000-43000cm-1范围内的激光诱导荧光激发谱,将其归属为SO自由基的B3Σ--X3Σ-跃迁,并测量了B态部分振转能级的荧光辐射寿命.     

O2+阳离子第二负带系(A2Πu -X2Πg)(5,21)带的激光光谱

采用光外差-速度调制分子离子吸收光谱技术,在近红外波段11 387~11 800 cm-1范围内,首次对O²₊第二负带(A²Π_u -X²Π_g)（5,21）带进行测量和分析.采用有效Hamilton量,在非线性最小二乘意义上拟合获得了该振动带下态精确的分子常数.     

VO2金属-绝缘结构相变第一性原理研究

基于密度泛函理论和密度泛函微扰理论的第一性原理计算了R相和M1相VO2的电子能带结构和声子色散关系.计算发现:R相VO2的金属性主要来自于未满的t2g轨道中能量最低的3条轨道,当温度低于340 K时,由于V原子链的二聚化和扭曲作用使M1相中的2条t2g轨道降至费米能级以下,从而使M1相表现出半导体特性;在VO2的声子色散谱中沿ΓM和ΓZ方向出现了明显的声子软模,导致这一软模出现的原因是晶体中的电-声相互作用;因此,电-声相互作用是导致VO2金属-绝缘结构相变的直接原因.     

一类酉约束矩阵迹函数最大值问题的解析解

酉约束的矩阵优化问题在数据控制理论和电子结构计算等领域内有着非常广泛的应用.考虑了一类酉约束的矩阵迹函数最大值问题:(SkSHk=In,WkmaxWHk=It,VkVHk=Im|tr(cIm±2Πk=1ΓkSk?kWkHkVk)|)其中Γk,?k,Hk分别是m×n,n×t,t×m复对角矩阵,k=1,2;c是复数,tr(...     

Banach空间B（H2（Γ））上初等算子Sφψ的谱的结构

设H2(Γ)表示Hardy空间,在Banach空间B(H2(Γ))上定义初等算子Sφψ,利用算子谱的精密结构的分析方法得到算子Sφψ的谱的结构.     

拟线性抛物型方程组的熄灭现象

在这篇文章中,我们考虑拟线性抛物方程组熄灭问题,作为一个模型,考虑下面始值一边值问题其中Ω是在R~n中的有界开集,D≡(0,T)×Ω,Γ=(0,T)×(?)Ω,0相似文献