期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
有序实数加法理论新的判定过程与多项式谱
1
作者 薛锐 《软件学报》 EI CSCD 北大核心 2001年第7期1088-1095,共8页
推广VolkerWeispfenning关于正的有序实数加法理论的量词消去方法 ,得到有序实数加法理论的一个量词消去的判定过程 .在此基础上构造出一个新的、更为精细的判定方法 .并且利用这一结果证明了固定量词长度的子类属于相应计算复杂性的多... 推广VolkerWeispfenning关于正的有序实数加法理论的量词消去方法 ,得到有序实数加法理论的一个量词消去的判定过程 .在此基础上构造出一个新的、更为精细的判定方法 .并且利用这一结果证明了固定量词长度的子类属于相应计算复杂性的多项式谱 .与E .D .Sontag的类似结论比较 ,从这种简洁的方式可以得到一个较优的结果 .这个结果实际上将N .Megiddo的关于正实数理论的结论推广到了一般实数理论 . 展开更多
关键词 判定过程 计算复杂性 多项式谱 有序实数加法理论
下载PDF
“加法理论”在下睑袋整复术中的应用 被引量:3
2
作者 张兵 王英霞 《中国美容医学》 CAS 2013年第13期1393-1396,共4页
目的:探讨改良传统下睑袋整形术式,摒弃传统眼袋术式中去除正常组织的方法,利用眼袋切口提升中面部,尽量达到术后自然,减少并发症的出现。方法:沿用传统的外切眼袋入路,眶隔浅层剥离,释放眶隔脂肪填充下眶缘沟,递进式提升眶区下垂软组织... 目的:探讨改良传统下睑袋整形术式,摒弃传统眼袋术式中去除正常组织的方法,利用眼袋切口提升中面部,尽量达到术后自然,减少并发症的出现。方法:沿用传统的外切眼袋入路,眶隔浅层剥离,释放眶隔脂肪填充下眶缘沟,递进式提升眶区下垂软组织,保留眼轮匝肌折叠并固定,去除多余皮肤缝合切口,术后加压包扎24h。结果:95例术后回访基本满意,术后2例为二次眼袋手术的病例,双眼出现睑球分离现象,1例出现单侧睑球分离现象。分析原因为反复眼袋手术损伤后,眼轮匝肌瘢痕挛缩及下睑缘张力下降所致,重新按修复手术加固后壁防止粘连;外眦锚着术收紧下睑缘使其张力加强后均得到满意改善。结论:该术式尽量保留了正常组织不被去除,膨出的脂肪添加在凹陷的下眶缘沟处,提升后的眼轮匝肌被叠加利用,因此也称加法术式,术后外观自然效果明显;并发症减少,"递进"式中面部提升确保了提升效果,顾客满意度很高。 展开更多
关键词 眼袋 加法理论 睑缘退缩 中面部提升
下载PDF
Ligand Size Effect on PdLn Oxidative Addition with Aryl Bromide: A DFT Study
3
作者 孙文晶 储伟 +1 位作者 余良军 江成发 《Chinese Journal of Chemical Physics》 SCIE CAS CSCD 2010年第2期175-179,I0001,共6页
The process and mechanism of the ligand volume controlled Pd(PR3)2 (PR3=PH3, PMe3, and PtBu3) oxidative addition with aryl bromide were investigated, using density functional theory method with the conductor-like ... The process and mechanism of the ligand volume controlled Pd(PR3)2 (PR3=PH3, PMe3, and PtBu3) oxidative addition with aryl bromide were investigated, using density functional theory method with the conductor-like screening model. Association pathway and dissocia-tion pathway were investigated by the comparison of several energies. The cleavage energy of Pd(PR3)2 complex was calculated, as well as the oxidative addition reaction barrier energy of Pd(PR3)n (n=1,2) with aryl bromide in N,N-dimethylformamide solvent. This study proved that the ligands volume possessed a great impact on the mechanism of oxidative addition: less bulky ligand palladium associated with aryl bromide via two donor ligands,but larger bulky ligand palladium coordinated via monoligand. 展开更多
关键词 Process simulation Ligand size effect Oxidative addition Cross-coupling reaction DFT method
下载PDF
Generalization Rough Set Theory 被引量:2
4
作者 肖迪 张军峰 胡寿松 《Journal of Donghua University(English Edition)》 EI CAS 2008年第6期654-658,共5页
In order to avoid the discretization in the classical rough set theory, a generlization rough set theory is proposed. At first, the degree of general importance of an attribute and attribute subsets are presented. The... In order to avoid the discretization in the classical rough set theory, a generlization rough set theory is proposed. At first, the degree of general importance of an attribute and attribute subsets are presented. Then, depending on the degree of general importance of attribute, the space distance can be measured with weighted method. At last, a generalization rough set theory based on the general near neighborhood relation is proposed. The proposed theory partitions the universe into the tolerant modules, and forms lower approximation and upper approximation of the set under general near neighborhood relationship, which avoids the discretization in Pawlak's rough set theory. 展开更多
关键词 generalization rough set theory the degree of general importance general near neighborhood relation
下载PDF
Gaussian Weighted Trajectory Method Ⅳ: No Rainbow Effect in Practice
5
作者 L. Bonnet 《Chinese Journal of Chemical Physics》 SCIE CAS CSCD 2009年第2期210-214,共5页
The Gaussian weighted trajectory method (GWTM) is a practical implementation of classical S matrix theory (CSMT) in the random phase approximation, CSMT being the first and simplest semi-classical approach of mole... The Gaussian weighted trajectory method (GWTM) is a practical implementation of classical S matrix theory (CSMT) in the random phase approximation, CSMT being the first and simplest semi-classical approach of molecular collisions, developped in the early seventies. Though very close in spirit to the purely classical description, GWTM accounts to some extent for the quantization of the different degrees-of-freedom involved in the processes. While CSMT may give diverging final state distributions, in relation to the rainbow effect of elastic scattering theory, GWTM has never led to such a mathematical catastrophe. The goal of the present note is to explain this finding. 展开更多
关键词 Gaussian weighted trajectory method Classical S matrix theory Rainbow effect
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部