检索结果-南通市图书馆

基于PVS的UML类图和序列图的一致性检验

在线全文

学校读者我要写书评

暂无评论

系统工程与电子技术 2004年第10期26卷 1481-1486,1525页

作者：刘晓健陈平西安电子科技大学软件工程研究所陕西西安710071

针对UML类图和序列图的一致性问题,在充分考虑了类继承关系、关联关系、类方法的可见性以及类方法的前、后置条件等因素对一致性影响的基础上,给出了判定类图和序列图一致性的必要条件和PVS元理论,提出了一种基于定理证明器PVS的一致性... 详细信息

针对UML类图和序列图的一致性问题,在充分考虑了类继承关系、关联关系、类方法的可见性以及类方法的前、后置条件等因素对一致性影响的基础上,给出了判定类图和序列图一致性的必要条件和PVS元理论,提出了一种基于定理证明器PVS的一致性检验方法。在检验UML模型一致性时,把一致性检验问题转化为逻辑定理证明问题。实践表明,该方法对于提高UML模型的可信度,减少系统实现阶段的错误起到了一定作用。

关键词：统一建模语言类图序列图机械定理

在线全文

学校读者我要写书评

暂无评论

层理性页岩水平井井壁稳定性分析

中南大学学报（自然科学版） 2015年第4期46卷 1375-1383页

作者：马天寿陈平西南石油大学油气藏地质及开发工程国家重点实验室四川成都610500

基于孔隙弹性力学和单结构面强度理论,建立层理性页岩水平井井壁稳定力学分析模型,分析层理面产状（走向、倾角）、井眼轨迹（井眼方位）和层理面强度弱化对水平井井壁稳定的影响。研究结果表明：页岩层理面产状和层理面强度弱化是导致... 详细信息

基于孔隙弹性力学和单结构面强度理论,建立层理性页岩水平井井壁稳定力学分析模型,分析层理面产状（走向、倾角）、井眼轨迹（井眼方位）和层理面强度弱化对水平井井壁稳定的影响。研究结果表明：页岩层理面产状和层理面强度弱化是导致水平井井壁坍塌失稳的主要因素;层理面倾角为0°-30°时,沿着任何方位钻水平井的井壁稳定性都比较差,而层理面倾角为30°-90°时,沿特定方位钻水平井的井壁稳定性却比较好的,这便为井眼钻进方位的优化设计提供重要依据;层理面强度弱化的影响可以比层理面产状的影响更大,不同产状下坍塌压力差异可达0.45 g/cm^3,而层理面强度弱化导致的井壁坍塌压力可增加约0.54 g/cm^3;钻井液在渗透作用下沿层理面侵入地层,导致层理面黏聚力和内摩擦角降低,使井壁岩石更容易沿层理产生滑移,从而加剧井壁坍塌失稳的风险。最后,采用该模型在四川东南部威远构造第一口页岩气水平井W201-H1井进行了验证,井壁坍塌压力分析结果与实际情况吻合良好。

关键词：页岩气水平井层理井壁稳定弱面坍塌压力

在线全文

学校读者我要写书评

暂无评论

利用标准化LDA进行人脸识别

计算机辅助设计与图形学学报 2003年第3期15卷 302-306页

作者：余冰金连甫陈平浙江大学计算机科学与技术学院杭州310027

线性判别分析 (LDA)是一种较为普遍的用于特征提取的线性分类方法提出一种基于LDA的人脸识别方法———标准化LDA ,该方法克服了传统LDA方法的缺点 ,重新定义了样本类间离散度矩阵 ,在原始定义的基础上增加一个由类间距离决定的可变... 详细信息

线性判别分析 (LDA)是一种较为普遍的用于特征提取的线性分类方法提出一种基于LDA的人脸识别方法———标准化LDA ,该方法克服了传统LDA方法的缺点 ,重新定义了样本类间离散度矩阵 ,在原始定义的基础上增加一个由类间距离决定的可变权函数 ,使得在选择投影方向时 ,能够更好地分开各个类的样本 ;同时 ,它采用一种合理而有效的方法解决矩阵奇异的问题 ,即保留样本类内离散度矩阵的零空间 ,因为这个空间包含了最具有判别能力的信息在这个零空间里 ,寻找对应于样本类间离散度矩阵的较大特征值的特征向量作为最后降维的转换矩阵实验结果显示 ,在人脸识别中 ,与传统LDA方法相比 ,该方法有更好的识别率

关键词：线性判别分析(LDA) 样本类间离散度样本类内离散度小样本集合问题边缘类

在线全文

学校读者我要写书评

暂无评论

页岩地层中孔隙热弹性井眼稳定力学模型

岩石力学与工程学报 2015年第S2期34卷 3613-3623页

作者：马天寿陈平西南石油大学油气藏地质及开发工程国家重点实验室四川成都610500

基于多孔介质弹性理论和各向异性线弹性力学,考虑多孔介质中流体组分和流–固–热耦合作用的影响,建立各向异性多孔介质的孔隙热弹性控制方程;将页岩地层视为横观各向同性介质,采用坐标转换方法得到井眼坐标下的本构方程和孔隙热弹性力... 详细信息

基于多孔介质弹性理论和各向异性线弹性力学,考虑多孔介质中流体组分和流–固–热耦合作用的影响,建立各向异性多孔介质的孔隙热弹性控制方程;将页岩地层视为横观各向同性介质,采用坐标转换方法得到井眼坐标下的本构方程和孔隙热弹性力学模型,给出采用叠加原理进行求解的基本方法,引入弱面强度理论进行稳定性判别;并以直井井壁应力分布和W201–H1井实例分析检验模型的准确性。结果表明:常规模型和本文模型计算出的直井井壁应力分布完全一致(最大误差0.03%),W201–H1井井眼稳定分析结果与实际情况吻合较好,而传统模型计算结果偏差较大,检验了模型的准确性和可靠性;随着钻开地层时间的增加,井眼周围地层的坍塌区域逐渐变宽和变深;页岩强度各向异性、弹性各向异性、井周渗流作用和传热效应是影响页岩井眼失稳的重要原因,而页岩强度各向异性是井眼失稳的主要力学机制;有必要考虑页岩各向异性、流–固–热耦合效应对井眼稳定的影响。研究结果可为页岩地层井眼稳定分析和钻井施工措施的制定提供参考。

关键词：岩石力学页岩孔隙热弹性力学各向异性横观各向同性斜井井眼稳定

硼胺络合物/环氧树脂体系的固化反应机理及其动力学

在线全文

学校读者我要写书评

暂无评论

复合材料学报 1999年第4期16卷 52-57页

作者：陈平张岩哈尔滨理工大学材料科学与工程学院哈尔滨150040 哈尔滨玻璃钢研究所 150036

应用ＤＳＣ和ＩＲ分析技术，研究了含有口恶硼杂环的硼胺络合物与环氧树脂体系的固化反应机理和固化反应动力学。结果表明，固化反应主要是硼胺络合物与体系中羟基化合物形成含氢质子的配位络合物，然后由此引发体系的环氧基进行的阳离... 详细信息

应用ＤＳＣ和ＩＲ分析技术，研究了含有口恶硼杂环的硼胺络合物与环氧树脂体系的固化反应机理和固化反应动力学。结果表明，固化反应主要是硼胺络合物与体系中羟基化合物形成含氢质子的配位络合物，然后由此引发体系的环氧基进行的阳离子开环聚醚反应，整个体系的固化反应过程遵循一级动力学方程。

关键词：硼胺络合物环氧树脂固化反应机理动力学

巯-炔加成可控修饰的两亲性嵌段共聚肽及其溶液自组装

在线全文

学校读者我要写书评

暂无评论

高分子学报 2015年第10期25卷 1223-1230页

作者：陈平符文鑫淮阴师范学院化学化工学院江苏省低维材料化学重点建设实验室淮安223300 中国科学院化学研究所北京100190

以单甲氧基聚乙二醇伯胺(m PEG-NH2)作为大分子引发剂,引发γ-炔丙基-L-谷氨酸-N-羧基-环内酸酐(NCA)开环聚合的方法,合成了侧链上含有炔基的聚乙二醇-b-聚(γ-炔丙基-L-谷氨酸)两嵌段共聚物(PEG-b-PPLG).进一步通过巯基-炔基加成的"点... 详细信息

以单甲氧基聚乙二醇伯胺(m PEG-NH2)作为大分子引发剂,引发γ-炔丙基-L-谷氨酸-N-羧基-环内酸酐(NCA)开环聚合的方法,合成了侧链上含有炔基的聚乙二醇-b-聚(γ-炔丙基-L-谷氨酸)两嵌段共聚物(PEG-b-PPLG).进一步通过巯基-炔基加成的"点击"化学方法,对两嵌段共聚物中聚氨基酸PPLG嵌段分别修饰了普通疏水性的饱和烷烃、具有超疏水性质的全氟代烷烃,并利用红外光谱、圆二色光谱、动态光散射和透射电子显微镜等技术,对合成的两嵌段共聚物在水溶液及有机溶剂四氢呋喃(THF)中的自组装性质进行了研究.研究发现两嵌段共聚物修饰前后,聚氨基酸嵌段在水和THF中都能保持一定的α-螺旋的构象,并进一步自组装形成以α-螺旋的聚氨基酸嵌段为内核、PEG嵌段为外壳的纳米聚集结构.

关键词：聚氨基酸开环聚合点击化学自组装

在线全文

学校读者我要写书评

暂无评论

小净距隧道开挖工法合理性研究

铁道工程学报 2018年第4期35卷 65-69页

作者：陈平中国铁路设计集团有限公司天津300251

研究目的:复杂山区受各种控制因素的影响,小净距隧道邻近施工的情况时有发生,一般多采用保守的CRD等多部开挖工法,但多部开挖存在进度慢、工序繁琐、工程造价高等弊端。针对小净距隧道,为选择适宜的开挖工法,本文以郑家塔隧道与瓦塘2号... 详细信息

研究目的:复杂山区受各种控制因素的影响,小净距隧道邻近施工的情况时有发生,一般多采用保守的CRD等多部开挖工法,但多部开挖存在进度慢、工序繁琐、工程造价高等弊端。针对小净距隧道,为选择适宜的开挖工法,本文以郑家塔隧道与瓦塘2号隧道邻近施工为研究对象,论证小净距隧道采用三台阶临时仰拱法的合理性,以期为类似工程的设计与施工提供参考或借鉴。研究结论:(1)通过有限元分析软件模拟了粗圆砾土地层条件下大断面的郑家塔隧道采用三台阶临时仰拱法施工的全过程,研究分析了围岩的稳定性、新建隧道初期支护结构的安全性以及小断面的瓦塘2号隧道衬砌结构的安全性;(2)目前,兴保铁路已开通运营,从当时施工的实际效果来看,采用三台阶临时仰拱法施工和设计支护措施,确保了施工的安全、顺利进行,小净距隧道根据围岩和间距采用三台阶临时仰拱法也是合理的;(3)该研究成果可应用于小净距隧道的开挖工法设计与施工。

关键词：小净距隧道开挖工法数值模拟

在线全文

学校读者我要写书评

暂无评论

四自由度机械臂的模型参考自适应双重控制

哈尔滨工业大学学报 2009年第7期41卷 68-72页

作者：陈平罗晶哈尔滨工业大学电气工程系哈尔滨150001 哈尔滨工业大学控制科学与工程系哈尔滨150001

对于参数存在较大不确定性的系统,自适应控制存在的主要问题是在快速调节过程中过渡过程出现大的超调量.为了解决多关节机械臂在运动过程中转动惯量变化较大的问题,分析了基于确定性等价原则的自适应控制器和谨慎控制器的局限性,提出了... 详细信息

对于参数存在较大不确定性的系统,自适应控制存在的主要问题是在快速调节过程中过渡过程出现大的超调量.为了解决多关节机械臂在运动过程中转动惯量变化较大的问题,分析了基于确定性等价原则的自适应控制器和谨慎控制器的局限性,提出了一种模型参考自适应双重控制算法,并将其用于机械臂的位姿控制.三种控制算法的仿真和实验研究表明,双重控制器的控制性能优于基于确定性等价原则的自适应控制器和谨慎控制器的性能.

关键词：模型参考自适应双重控制确定性等价原则谨慎控制四自由度机械臂

在线全文

学校读者我要写书评

暂无评论

热固性树脂的增韧方法及其增韧机理

复合材料学报 1999年第3期16卷 19-22页

作者：陈平张岩哈尔滨理工大学电工材料系哈尔滨玻璃钢研究所

系统地论述了通过加入无机填料、橡胶弹性体、热塑性树脂、热致性液晶，与热塑性塑料形成半互穿网络结构，改变交联网的化学结构，控制分子交联状态的不均匀性等增韧热固性树脂的方法。

关键词：热固性树脂韧性增韧方法增韧机理