期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
一种基于活性顺序图的运行时验证研究 被引量:1
1
作者 叶俊民 张坤 +2 位作者 叶竹君 陈盼 陈曙 《计算机科学》 CSCD 北大核心 2016年第8期137-141,164,共6页
运行时验证是一种轻量级的形式化验证方法,使用可视化的需求规约描述语言建模需求规约场景是运行时验证领域的研究热点。针对目前基于活性顺序图的运行时验证方法中容易产生冗余性质、二值语义的验证结果不准确、基于Maude工具引擎的重... 运行时验证是一种轻量级的形式化验证方法,使用可视化的需求规约描述语言建模需求规约场景是运行时验证领域的研究热点。针对目前基于活性顺序图的运行时验证方法中容易产生冗余性质、二值语义的验证结果不准确、基于Maude工具引擎的重写逻辑验证算法效率较低等问题,提出一种基于活性顺序图的运行时验证的改进方法,以支持现有的运行时验证技术。实验表明,改进方法验证结果准确,且验证过程开销较小。 展开更多
关键词 活性顺序 线性时序逻辑 重写逻辑 运行时验证
下载PDF
评估石杉碱甲杂合体衍生物作为AD症药物活性顺序的简单方法 被引量:1
2
作者 韩大雄 杨频 《化学学报》 SCIE CAS CSCD 北大核心 2005年第15期1409-1414,共6页
为了合理化设计、指导具有高活性、低毒性的石杉碱甲杂合体(Huprine X)衍生物的合成,建立了一个计算结合自由能的新方案,以实现对该类衍生物活性排列顺序的预测.该结合自由能由三部分组成:抑制剂和靶酶的相互作用能;活性位点残基在结合... 为了合理化设计、指导具有高活性、低毒性的石杉碱甲杂合体(Huprine X)衍生物的合成,建立了一个计算结合自由能的新方案,以实现对该类衍生物活性排列顺序的预测.该结合自由能由三部分组成:抑制剂和靶酶的相互作用能;活性位点残基在结合前后的构象绝对自由能的变化;抑制剂从稳定构象变为活性构象的自由能增加值.通过计算已合成的14个杂合体衍生物的结合自由能,结果显示理论值和实验测定的生物活性值有很好的等级相关性,其斯皮尔曼相关系数为0.85,证明了该方法的可行性. 展开更多
关键词 石杉碱甲杂合体衍生物 AD症 治疗药物 生物活性顺序 结合自由能 乙酰胆碱脂酶 分子动力学
下载PDF
从活性顺序图到时态逻辑的转化方法 被引量:2
3
作者 付明慧 周清雷 张兵 《计算机工程与设计》 CSCD 北大核心 2012年第9期3437-3441,共5页
为了将活性顺序图用于模型检测,方便描述系统的场景需求,提出了一种将活性顺序图转换成时态逻辑的转化方法。分析活性顺序图语言并且定义一种基于路径的语义,用活性顺序图表述系统的场景需求。根据提出的语义,给出了一个将场景需求显式... 为了将活性顺序图用于模型检测,方便描述系统的场景需求,提出了一种将活性顺序图转换成时态逻辑的转化方法。分析活性顺序图语言并且定义一种基于路径的语义,用活性顺序图表述系统的场景需求。根据提出的语义,给出了一个将场景需求显式转化为时态逻辑的一般方法,针对并发消息较多的系统扩展和优化此方法,以得到更简短的时态逻辑公式。通过实例说明活性顺序图到线性时态逻辑的转化过程。 展开更多
关键词 活性顺序 时态逻辑 路径语义 场景需求 模型检测
下载PDF
基于活性顺序图的形式化验证方法及工具研究 被引量:1
4
作者 张坤 叶俊民 +2 位作者 王嫱 赵丽娴 陈曙 《计算机测量与控制》 2016年第5期274-278,共5页
近年来,形式化验证方法在软件开发过程的作用越来越大;如何充分利用形式化验证方法提高软件系统的可靠性已成为软件开发者及使用者主要关注的问题;总结了近年来基于活性顺序图的形式化验证方法的研究进展,首先介绍活性顺序图的语言及其... 近年来,形式化验证方法在软件开发过程的作用越来越大;如何充分利用形式化验证方法提高软件系统的可靠性已成为软件开发者及使用者主要关注的问题;总结了近年来基于活性顺序图的形式化验证方法的研究进展,首先介绍活性顺序图的语言及其表达能力与复杂性,然后深入分析现有的基于活性顺序图的形式化验证的关键技术及其典型应用,最后实现一种基于活性顺序图的运行时验证工具,实验证明使用本验证工具进行形式化验证的可行性。 展开更多
关键词 活性顺序 形式化验证 软件开发过程
下载PDF
羧酸衍生物水解活性的直观理解 被引量:1
5
作者 曹朝暾 《广东化工》 CAS 2016年第12期16-17,共2页
有机化学中羧酸衍生物水解活性受到离去基团的电子效应和离去能力的影响,其活性顺序及引起该活性顺序的原因,是学习过程中最难理清的地方。采用Hammett电子效应常数σ和离去基团共轭酸的离解常数p Ka,对问题进行深入剖析,可以使抽象的... 有机化学中羧酸衍生物水解活性受到离去基团的电子效应和离去能力的影响,其活性顺序及引起该活性顺序的原因,是学习过程中最难理清的地方。采用Hammett电子效应常数σ和离去基团共轭酸的离解常数p Ka,对问题进行深入剖析,可以使抽象的理论变得更直观,减少理解难度,利于学生从本质上把握和理解羧酸衍生物水解活性的内在原因。 展开更多
关键词 羧酸衍生物 水解反应 活性顺序 基团电子效应 酸离解常数
下载PDF
Ni-loaded Catalyst Containing Activated Clay for Maleic Anhydride Hydrogenation to Succinic Anhydride 被引量:3
6
作者 Tian Weiping Guo Shaofei Shi Li (The State Key Laboratory of Chemical Engineering, East China University of Science and Technology, Shanghai 200237) 《China Petroleum Processing & Petrochemical Technology》 SCIE CAS 2011年第4期35-40,共6页
In this work, the hydrogenation of maleic anhydride to succinic anhydride in the presence of 5 m%Ni/clay catalysts was investigated. These catalysts were characterized by X-ray diffraction (XRD), H2 temperature prog... In this work, the hydrogenation of maleic anhydride to succinic anhydride in the presence of 5 m%Ni/clay catalysts was investigated. These catalysts were characterized by X-ray diffraction (XRD), H2 temperature programmed reduction (TPR) and thermogravimetric analysis (TGA) techniques. The XRD and TPR studies showed that Ni was present as Ni2+ on the support, which indicated that there were no elemental nickel (Ni^0) and Ni203 species in the unreduced samples. Increasing of calcination temperature to 650 ℃ leads to destruction of the support structure observed in TGA, while the catalyst sample calcined at 550 ℃ exhibits better performances than other samples. The ideal conversion of maleic anhydride (97.14%) and selectivity of succinic anhydride (99.55%) were realized at a reaction temperature of 180 ℃ and a weight hourly space velocity of 4 h^-1 under a reaction pressure of 1 MPa. 展开更多
关键词 maleic anhydride HYDROGENATION succinic anhydride NICKEL
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部