检索结果-南通市图书馆

Chemical Research in Chinese Universities 2009年第1期25卷 102-107页

作者： wang Xiu-li YANG Zuo-yin wang Ju ZHANG jing-chang CAO Wei-liang State Key Laboratory of Chemical Resource Engineering Faculty of Science Beijing University of Chemical Technology Beoing 100029 P. R. China

The hybrid calculations with ONIOM（B3LYP/6-31G＊：AM1） method were carried out on the tautomerization reaction of formamide to formamidic acid in the microcontainer-encapsulated state. The free-state tautomerization process was also investigated with B3LYP/6-31G＊＊//B3LYP/6-31G＊ method for the purpose of comparison. Bare tautomerization, H20-assisted（single-H20 or multiple-HaO） and self-assisted mechanisms were all taken into consideration for the encapsulated state. The results show that only bare tautomerization and single-H2O catalysis mechanisms are possible to the encapsulated formamide tautomerization owing to the container＇s size confinement effect. Geometrical changes in the complexed container and guest molecules are discussed to deeply understand the complex＇s structural properties. The bare tautomerization barrier in the encapsulated state increases by 23.826 kJ/mol, accounting for 12% of the corresponding total energy barrier in the free state, and the increased values for the single-H2O catalysis process are 12.958 kJ/mol, accounting for 16% of the corresponding total energy barrier, respectively. This finding suggests that the encapsulation can make the tautomerization process slightly difficult.

关键词： Formamide Tautomerization ONIOM calculations Host-guest complex

Theoretical Study on the Bicyclo[4.1.0]heptatriene Rearrangement in a Molecular Container

在线全文

学校读者我要写书评

暂无评论

Chinese Chemical Letters 2005年第10期16卷 1417-1420页

作者： Zuo Yin YANG Xiu Li wang Ju wang jing chang ZHANG Wei Liang CAO The Key Laboratory of Science and Technology of Controllable Chemical Reactions Ministry of Education Faculty of Science Beijing University of Chemical Technology Beijing 100029

The conversion process from bicyclo[4.1.0]heptatriene （BCT） to 1,2,4,6-cycloheptatetraene （CHTE） within a molecular container was studied with AM1 method, and single point energies for all stationary points were evaluated by B3LYP and HF methods. The conversion potential barrier for the encapsulation complex became smooth when compared with that for the rearrangement in free state. The influences of the inner phase of the molecular container on the conversion process were discussed.

关键词： Cycloheptatetraene bicyclo[4.1.0] heptatriene molecular container rearrangement.

Single-Fluid 2D Magnetohydrodynamic Simulation of Solar Wind Structure in Comparison to Ulysses Observations

在线全文

学校读者我要写书评

暂无评论

Wuhan University Journal of Natural Sciences 2000年第4期5卷 447-450页

作者： Deng Ling-yun, wang jing-fang, Xiang chang-qing, Xiong Dong-hui College of Electronic Information, Wuhan University, Wuhan 430072, China Wuhan University College of Electronic Information Wuhan China (GRID:grid.49470.3e) (ISNI:***)

Two dimensional Magnetohydrodynamic (MHD) equations with and without the momentum addition respectively have been used to simulate the solar wind structure on the meridian plane. The results show that far away from the sun it isn't solar magnetic field that induces the cncave solar wind speed. Instead, there may be the fast speed streamer driven by the momentum addition and an interface between high and low speed streamers. The interaction between high and low speed streamers causes the sharp division.

关键词： solar wind solar magnetic momentum addition

Enhanced immunization after intranasal coadministration of Escherichia coli heat-labile enterotoxin B subunit and human papillomavirus 16-L1 DNA vaccine

在线全文

学校读者我要写书评

暂无评论

Chinese Medical Journal 2006年第5期119卷 408-411页

作者： wang jing ZHAO chang-an wang Kai ZHENG Jin wang Yi-li SI Lü-sheng Key Laboratory of Biomedical Information Engineering of Education Ministry Institute for Cancer Research School of Life Science ＆ Technology Xi＇an Jiaotong University Xi＇an 710061 China

Human papillomavirus （HPV）, mainly types 16 and 18, are the most important initiating agents of cervical cancer. Prevention of high-risk HPV infections is a potentially effective approach to control HPV associated c... 详细信息

关键词： Escherichia coil heat-labile enterotoxin B subunit human papillomavirus type 16 DNA vaccines

移动荷载作用下弹性半空间Timoshenko梁的临界速度

在线全文

学校读者我要写书评

暂无评论

振动工程学报 2006年第1期19卷 139-144页

作者：王常晶陈云敏浙江大学建筑工程学院

根据梁的波速和半空间波速的相对关系,将T im oshenko梁-半空间系统分成四种不同情况,在梁与半空间相互作用的等效刚度和T im oshenko梁-半空间的弥散方程的基础上,利用弥散曲线,研究了移动荷载的临界速度。这四种情况分别为:软梁-硬半... 详细信息

根据梁的波速和半空间波速的相对关系,将T im oshenko梁-半空间系统分成四种不同情况,在梁与半空间相互作用的等效刚度和T im oshenko梁-半空间的弥散方程的基础上,利用弥散曲线,研究了移动荷载的临界速度。这四种情况分别为:软梁-硬半空间系统,次软梁-硬半空间系统,次硬梁-软半空间系统,硬梁-软半空间系统。研究表明,T im oshenko梁在移动荷载作用下的临界速度取决于梁的波速和半空间波速的相对关系;半空间的R ay le igh波波速始终是一个临界速度,当荷载速度达到R ay le igh波波速时,系统响应会趋于无穷大;对软梁-硬半空间系统,梁的剪切波速和压缩波速也是临界速度;对次软梁-硬半空间系统,梁的剪切波速是临界速度,并且还存在一个最小临界速度;对(次)硬梁-软半空间系统,梁的波速不再是临界速度,但也存在一个最小临界速度。

关键词：临界速度等效刚度 Timoshenko梁半空间移动荷载

在线全文

学校读者我要写书评

暂无评论

列车荷载在地基中引起的应力响应分析

岩石力学与工程学报 2005年第7期24卷 1178-1186页

作者：王常晶陈云敏浙江大学岩土工程研究所浙江杭州310027 浙江大学城市学院浙江杭州310015

用弹性地基上Timoshenko梁及其在移动荷载作用下的动力解计算得到地基表面与路堤之间的反力。将其视为作用于地基表面的荷载,以单位移动荷载引起的半空间地基内部应力解为基础,对反力在作用空间上进行积分,得到了列车速度小于地基中Rayl... 详细信息

用弹性地基上Timoshenko梁及其在移动荷载作用下的动力解计算得到地基表面与路堤之间的反力。将其视为作用于地基表面的荷载,以单位移动荷载引起的半空间地基内部应力解为基础,对反力在作用空间上进行积分,得到了列车速度小于地基中Rayleigh波速时,列车荷载在地基中引起的稳态应力响应解答。通过与列车振动现场测试结果(路堤位移和速度)的比较,证明了所采用模型的合理性。给出了应力及其分布随时间和空间坐标的变化,分析了应力的特性及分布规律,发现列车经过时在地基中产生的动应力是一种以压应力为主的循环荷载。动应力的空间分布与地基表面作用静力荷载(如条形荷载)产生的应力分布相似,但随列车运动而呈动态变化。还研究了半空间地基的土性和列车速度对应力的影响,发现剪切模量对应力的影响与车速有关,列车速度对应力分布的影响很大,尤其是当速度比超过0.6时,而泊松比仅对水平应力影响较大。

关键词：土力学 Timoshenko梁列车循环荷载

交通荷载引起的静偏应力对饱和软黏土不排水循环性状影响的试验研究

在线全文

学校读者我要写书评

暂无评论

岩土工程学报 2007年第11期29卷 1742-1747页

作者：王常晶陈云敏浙江大学岩土工程研究所

为研究交通荷载引起的静偏应力对饱和软黏土的不排水循环性状的影响,设计了室内不排水动三轴试验,将动应力简化为静偏应力与正弦荷载的叠加,研究了静偏应力对饱和软黏土变形、孔压发展规律以及动强度的影响。研究表明,静偏应力对土体动... 详细信息

为研究交通荷载引起的静偏应力对饱和软黏土的不排水循环性状的影响,设计了室内不排水动三轴试验,将动应力简化为静偏应力与正弦荷载的叠加,研究了静偏应力对饱和软黏土变形、孔压发展规律以及动强度的影响。研究表明,静偏应力对土体动力特性影响很大,加快了塑性变形、残余孔压发展,降低了动强度曲线,减小了最小极限循环强度。且静偏应力的影响随着静偏应力的增大而显著。研究结果说明,交通荷载引起的动应力作用下,饱和软黏土更容易破坏。

关键词：交通荷载静偏应力不排水循环三轴试验循环荷载

Aniline destruction by supercritical water oxidation and its reaction kinetics

在线全文

学校读者我要写书评

暂无评论

Journal of Environmental Science and Engineering 2009年第7期3卷 14-17页

作者： wang jing-chang ZHAO Qi-cheng LI Zhi-yi ZHANG Ping Institute of Chemistry Dalian University Dalian 116622 China Institute of Chemistry Dalian University of Technology Dalian 116012 China

Supercritical water oxidation （SCWO） is an effective method for wastewater treatment. In this study, a lot of experiments are carried out to study the influence of various factors on the aniline destruction rate in the SCWO process with a novel experiment setup. The experimental results show that the aniline destruction rate rises with the increase of the residence time, the reaction temperature and the reaction pressure. A dynamics analysis of the aniline SCWO reaction is conducted and the dynamic equation is obtained.

关键词： wastewater treatment supercritical water oxidation aniline destruction

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Radl形式规格说明相对正确性研究

软件学报 2013年第4期24卷 715-729页

作者：王昌晶薛锦云计算机科学国家重点实验室中国科学院软件研究所北京100190 江西师范大学省高性能计算技术重点实验室江西南昌330022 中国科学院研究生院.北京100190 江西师范大学计算机信息工程学院江西南昌330022

在形式规格说明的获取任务中,一个重要问题是验证获取得到的形式规格说明的正确性.即给定一个问题需求P,往往可以获取多种不同形式的规格说明,如何验证这些不同形式的规格说明均正确?问题需求的非(半)形式化与形式规格说明的形式化两者... 详细信息

在形式规格说明的获取任务中,一个重要问题是验证获取得到的形式规格说明的正确性.即给定一个问题需求P,往往可以获取多种不同形式的规格说明,如何验证这些不同形式的规格说明均正确?问题需求的非(半)形式化与形式规格说明的形式化两者之间差异的本性,使得该问题成为软件需求工程中一个具有挑战性的问题.提出一种基于形式化推导的方法来验证同一问题不同形式规格说明的相对正确性,通过证明不同形式规格说明与问题需求某个最为直截明了的形式规格说明Si等价来实现,而Si使用PAR方法和PAR平台转换为可执行程序,通过测试已经得到确认.为了支持该方法,进一步提出了扩展的逻辑系统和辅助证明算法.使用Radl语言作为形式规格说明语言,通过排序搜索、组合优化领域的两个典型实例对该方法进行了详细的阐述.实际使用效果表明,该方法不仅能够有效地验证Radl形式规格说明的正确性,还具备良好的可扩充性.该方法在规格说明的正确性验证、算法优化、程序等价性证明等研究领域具有潜在的理论意义与应用价值.

关键词：形式规格说明相对正确性确认扩展的逻辑系统辅助证明算法

在线全文

学校读者我要写书评

暂无评论

命令式动态规划类算法程序推导及机械化验证

软件学报 2024年第9期35卷 4218-4241页

作者：左正康孙欢王昌晶游珍黄箐王唱唱江西师范大学数字产业学院江西上饶334006 江西师范大学计算机信息工程学院江西南昌330022 网络化支撑软件国家国际科技合作基地(江西师范大学) 江西南昌330022

动态规划是一种递归求解问题最优解的方法,主要通过求解子问题的解并组合这些解来求解原问题.由于其子问题之间存在大量依赖关系和约束条件,所以验证过程繁琐,尤其对命令式动态规划类算法程序正确性验证是一个难点.基于动态规划类算法Is... 详细信息

动态规划是一种递归求解问题最优解的方法,主要通过求解子问题的解并组合这些解来求解原问题.由于其子问题之间存在大量依赖关系和约束条件,所以验证过程繁琐,尤其对命令式动态规划类算法程序正确性验证是一个难点.基于动态规划类算法Isabelle/HOL函数式建模与验证,通过证明命令式动态规划类算法程序与其的等价性,避免证明正确性时处理复杂的依赖关系和约束条件,提出命令式动态规划类算法程序设计框架及其机械化验证.首先,根据动态规划类算法的优化方法(备忘录方法)和性质(最优子结构性质和子问题重叠性质)描述问题规约、归纳递推关系式和形式化构造出循环不变式,并且基于递推关系式生成IMP(minimalistic imperative programming language)代码;其次,将问题规约、循环不变式和生成的IMP代码输入VCG(verification condition generator),自动生成正确性的验证条件;然后,在Isabelle/HOL定理证明器中对验证条件进行机械化验证.算法首先设计为命令式动态规划类算法的一般形式,并进一步实例化得到具体算法.最后,例证所提框架的有效性,为动态规划类算法的自动化推导和验证提供参考价值.

关键词： Isabelle/HOL 机械化验证动态规划命令式 VCG