用计算机校核油管柱强度的方法 被引量：5

1

作者 范兴亮 何春容 +1 位作者 何世明 李荣 《钻采工艺》 CAS 北大核心 2005年第2期78-80,共3页

油管柱是连接油、气产层与地面采输管线的生产通道,管柱的强度性能将关系到管柱的工作寿命和油气井生产的成败,近年,油管柱力学分析一直是完井的重要课题之一。针对川东高温高压深井的实际情况,在静力学的基础上结合工程力学对油管柱的... 油管柱是连接油、气产层与地面采输管线的生产通道,管柱的强度性能将关系到管柱的工作寿命和油气井生产的成败,近年,油管柱力学分析一直是完井的重要课题之一。针对川东高温高压深井的实际情况,在静力学的基础上结合工程力学对油管柱的受力进行分析,推导出油管柱受力、油管柱强度分析与计算公式,并开发了一套使用方便、界面友好的油管柱力学计算软件。 展开更多

关键词 油管柱 强度 校核 公式 软件

下载PDF 职称材料

重力式挡土墙地基承载力验算的探讨 被引量：3

2

作者 刘志磊 赵志 张芳 《武汉大学学报（工学版）》 CAS CSCD 北大核心 2010年第S1期259-261,共3页

重力式挡土墙因其结构特点通常墙身较重,对地基承载力的要求较高.不同行业设计规范规定的挡土墙地基承载力验算公式各不相同.对比分析国家标准及公路行业和水利行业的现行设计规范,对各规范规定的验算公式进行研究,提出了适合挡土墙自... 重力式挡土墙因其结构特点通常墙身较重,对地基承载力的要求较高.不同行业设计规范规定的挡土墙地基承载力验算公式各不相同.对比分析国家标准及公路行业和水利行业的现行设计规范,对各规范规定的验算公式进行研究,提出了适合挡土墙自身特点的地基承载力验算公式,可供工程设计时参考. 展开更多

关键词 挡土墙 地基承载力 验算公式

原文传递

基于错误模式和模型检验的静态代码分析方法 被引量：3

3

作者 魏雪菲 吴健 阮园 《计算机工程》 CAS CSCD 2012年第6期47-49,共3页

为提高程序编写的正确率,减少软件开发和维护开销,提出一种基于错误模式和模型检验的静态代码分析方法。该方法将C语言程序常见的错误模式以CTL公式表示,形成可扩展的CTL公式库,生成待检测程序的控制流图(CFG)后,将CFG抽象并转化为等价... 为提高程序编写的正确率,减少软件开发和维护开销,提出一种基于错误模式和模型检验的静态代码分析方法。该方法将C语言程序常见的错误模式以CTL公式表示,形成可扩展的CTL公式库,生成待检测程序的控制流图(CFG)后,将CFG抽象并转化为等价的Kripke结构,利用标号算法实现模型检验,由此验证程序的正确性。基于CoSy编译平台的实验结果表明,该方法能正确查找出程序中存在的错误模式,且具有良好的可扩展性。 展开更多

关键词 错误模式 模型检验 CTL公式 控制流图 KRIPKE结构 CoSy编译器平台

下载PDF 职称材料

扩展Hamming码在串行通信中的一种应用 被引量：1

4

作者 申时全 《贵州大学学报（自然科学版）》 1995年第2期91-95,共5页

本文介绍一种纠错码——Hamming码在串行数居通讯中的应用,使用扩展Hamming码可以使串行数据通讯系统具有容错和检错能力,能够纠正一位随机错误,并可检出二位错误,本文介绍了编码和检错及纠错译码的软件实现方法。

关键词 串行数据通讯 纠错码 扩展Hamming码 Hamming码

下载PDF 职称材料

机床主轴的一种新的校核算法

5

作者 邓力凡 《机床与液压》 北大核心 2013年第14期34-36,共3页

机床主轴及其部件是机床结构中的关键部件,很多年来都是采用陈旧的设计方法。随着电控技术的迅速发展,新的驱动和传动结构的出现以及高速、高精加工的要求;迫切需要改进机床主轴及其部件的设计方法。首先从主轴轴径的设计公式入手,应用... 机床主轴及其部件是机床结构中的关键部件,很多年来都是采用陈旧的设计方法。随着电控技术的迅速发展,新的驱动和传动结构的出现以及高速、高精加工的要求;迫切需要改进机床主轴及其部件的设计方法。首先从主轴轴径的设计公式入手,应用主轴稳定性原理,提出了主轴轴径的校核公式;基于主轴刚度的校核公式,根据国外研究的结果,提出了主轴刚度校核的具体精确的计算方法。 展开更多

关键词 计算公式 校核公式 主轴工作稳定性 轴承刚度

下载PDF 职称材料

碾压混凝土坝稳定临界准则公式及设计安全系数研究 被引量：11

6

作者 常晓林 陆述远 赖国伟 《水利学报》 EI CSCD 北大核心 1998年第5期60-64,共5页

本文在研究碾压混凝土重力坝渐进破坏过程和可能失稳方式的基础上，提出了以准弹性临界作为稳定临界准则的设计极限状态，分析了按该准则设计的大坝的实际工作状态，导出了以准弹性强度储备系数为设计安全指标的审查公式以及形式与抗剪... 本文在研究碾压混凝土重力坝渐进破坏过程和可能失稳方式的基础上，提出了以准弹性临界作为稳定临界准则的设计极限状态，分析了按该准则设计的大坝的实际工作状态，导出了以准弹性强度储备系数为设计安全指标的审查公式以及形式与抗剪断公式相同的简化公式，探讨了定量计算考虑各种因素影响的相应设计安全系数的合理取值，并与现行规范方法进行了比较． 展开更多

关键词 碾压混凝土坝 稳定临界准则 设计安全系数

下载PDF 职称材料

基于公式递推法的可变计算位宽的循环冗余校验设计与实现 被引量：8

7

作者 陈容 陈岚 WAHLA Arfan Haider 《电子与信息学报》 EI CSCD 北大核心 2020年第5期1261-1267,共7页

循环冗余校验(CRC)与信道编码的级联使用,可以有效改善译码的收敛特性。在新一代无线通信系统,如5G中,码长和码率都具有多样性。为了提高编译码分段长度可变的级联系统的译码效率,该文提出一种可变计算位宽的CRC并行算法。该算法在现有... 循环冗余校验(CRC)与信道编码的级联使用,可以有效改善译码的收敛特性。在新一代无线通信系统,如5G中,码长和码率都具有多样性。为了提高编译码分段长度可变的级联系统的译码效率,该文提出一种可变计算位宽的CRC并行算法。该算法在现有固定位宽并行算法的基础上,合并公式递推法中反馈数据与输入数据的并行计算,实现了一种高并行度的CRC校验架构,并且支持可变位宽的CRC计算。与现有的并行算法相比,合并算法节省了电路资源的开销,在位宽固定时,资源节约效果明显,同时在反馈时延上也有将近50%的优化;在位宽可变时,电路资源的使用情况也有相应的优化。 展开更多

关键词 循环冗余校验 并行算法 公式递推法

下载PDF 职称材料

支墩型消能子结构设计方法研究 被引量：4

8

作者 周云 高冉 +1 位作者 陈清祥 王贤鹏 《建筑结构》 CSCD 北大核心 2020年第1期105-111,共7页

支墩型连接是消能减震结构常用的连接方式。针对消能子结构设计方法不统一、不可靠及设计结果不合理的问题,对支墩型消能子结构提出弹性设计方法。建立子结构弹性设计验算关系式,给出弹性设计验算关系式中各参数的取值方法,推导阻尼器... 支墩型连接是消能减震结构常用的连接方式。针对消能子结构设计方法不统一、不可靠及设计结果不合理的问题,对支墩型消能子结构提出弹性设计方法。建立子结构弹性设计验算关系式,给出弹性设计验算关系式中各参数的取值方法,推导阻尼器对支墩型子结构产生的附加内力。以某框架结构为例,对弹性设计方法及新疆、云南设计方法设计的子结构进行构件极限承载力验算。结果表明:满足弹性设计验算关系式的消能子结构可以满足《建筑消能减震技术规程》(JGJ 297—2013)第6.4.2条关于子结构设计的有关要求;仅提高设计准则的中震设计方法和提取大震下构件内力进行承载力复核的方法没有全面考虑《建筑消能减震技术规程》(JGJ 297—2013)第6.4.2条有关规定,设计结果不满足要求。 展开更多

关键词 支墩型消能子结构 弹性设计方法 弹性设计验算关系式 极限承载力验算

原文传递

格雷码以及应用 被引量：5

9

作者 杨凌波 《电子质量》 2004年第3期J007-J007,J012,共2页

文章基于浮子式水位计监测系统,介绍了格雷码的概念、优点。

关键词 格雷码 二进制码 浮子式水位计 查表法 公式化

下载PDF 职称材料

现行淤地坝设计洪水计算方法的适用性对比分析 被引量：3

10

作者 盖永岗 李超群 +1 位作者 王鹏 陈松伟 《水土保持通报》 CSCD 北大核心 2021年第5期232-237,共6页

[目的]洪水是导致淤地坝水毁最根本的原因,深入探讨淤地坝设计中洪水分析计算方法,以期对其发展提供有益参考。[方法]梳理现行淤地坝设计洪水计算方法,对比分析各种方法的适用特点。对理论性较强的推理公式法在淤地坝设计洪水计算中的... [目的]洪水是导致淤地坝水毁最根本的原因,深入探讨淤地坝设计中洪水分析计算方法,以期对其发展提供有益参考。[方法]梳理现行淤地坝设计洪水计算方法,对比分析各种方法的适用特点。对理论性较强的推理公式法在淤地坝设计洪水计算中的适用性进行分析,总结其各类参数的物理意义,提出其运用要点。选取典型算例,研究比较各方法的计算特点及适用性。[结果]洪水调查法可靠可行但受洪水资料条件限制,经验公式精度和应用具有地区局限性,两种方法均不宜较大范围应用;推理公式法具有一定理论基础和计算精度,且简单实用,具体运用中应注意淤地坝处于特小流域的特点,在计算流域特征值L和J时应判明最远流程中的坡面部分,在计算暴雨递减指数n时应选取由10—60 min的点暴雨n_(1)值,产汇流参数中μ偏大,m偏小,应在合理范围内相应的倾斜取值。[结论]推理公式法应当作为淤地坝设计洪水分析计算中的首选方法,需关注淤地坝处于特小流域的特点,把握应用推理公式法的运用要点。 展开更多

关键词 淤地坝 设计洪水 推理公式法 适用性 要点

下载PDF 职称材料

单瓣旋启式止回阀阀盖厚度计算公式的分析与研究 被引量：3

11

作者 丁无极 姚舜刚 +1 位作者 李江 盛水平 《化工机械》 CAS 2017年第6期679-682,共4页

为探究旋启式止回阀阀盖厚度的计算公式,完成对旋启式止回阀的性能研究,在对常规阀盖计算公式进行分析的基础上对公式做了改进,提出一种改进的圆形平盖厚度计算公式。ANSYS有限元数值模拟结果表明:用改进后的计算公式得到的最大计算厚... 为探究旋启式止回阀阀盖厚度的计算公式,完成对旋启式止回阀的性能研究,在对常规阀盖计算公式进行分析的基础上对公式做了改进,提出一种改进的圆形平盖厚度计算公式。ANSYS有限元数值模拟结果表明:用改进后的计算公式得到的最大计算厚度位移量为0.013 586mm,小于允许值,满足设计要求。 展开更多

关键词 单瓣旋启式止回阀 阀盖厚度 公式改进 ANSYS

下载PDF 职称材料

防火门耐火性能试验模拟研究 被引量：1

12

作者 白日昌 《市场监管与质量技术研究》 2022年第2期46-48,共3页

防火门耐火性能试验是检测防火门性能最为重要的参数之一,往往只能通过耐火性能试验来得出性能指标,既费时又费力,还无法达到现场快速检测的要求。文中通过一种数学模型模拟防火门耐火性能试验数据并通过规格型号为GFM-1021-dk5A1.00(乙... 防火门耐火性能试验是检测防火门性能最为重要的参数之一,往往只能通过耐火性能试验来得出性能指标,既费时又费力,还无法达到现场快速检测的要求。文中通过一种数学模型模拟防火门耐火性能试验数据并通过规格型号为GFM-1021-dk5A1.00(乙级)-1的钢质隔热防火门分别在30min、60min和90min三个时间点的耐火性能试验数据与防火门耐火性能隔热性推演公式进行对比,分析可得耐火性能隔热性数据推演公式在一定程度上可以反映出防火门的耐火性能,可作为防火门耐火性能检测现场快速筛查使用,并可为防火门的生产和研制提供一定的理论和数据支撑。 展开更多

关键词 现场快速筛查 耐火性能 推演公式 钢质防火门

下载PDF 职称材料

1090ES关键信息解码算法优化及实现 被引量：2

13

作者 张鹏 何光亮 《现代电子技术》 北大核心 2018年第3期30-35,40,共7页

以1090ES广播式自动相关监视(ADS-B)系统的飞机位置报文为信号源,采用ARM Cortex-M4内核的微控制器为硬件平台。针对目前空中交通管制对数据处理的实时性和准确性的要求,对空中目标飞机的经纬度和高度等关键信息进行解码。分析以往查表... 以1090ES广播式自动相关监视(ADS-B)系统的飞机位置报文为信号源,采用ARM Cortex-M4内核的微控制器为硬件平台。针对目前空中交通管制对数据处理的实时性和准确性的要求,对空中目标飞机的经纬度和高度等关键信息进行解码。分析以往查表法在解码中的优缺点,归纳总结和实现了公式法在ADS-B系统位置报文中高度信息的解码。通过在真实数据环境下实验验证,其实验结果表明该方法能很好地克服常规算法繁琐、占用内存资源多等缺点,且软硬件实现更加方便、快捷。 展开更多

关键词 ADS-B Cortex-M4:CPR C模式高度应答码 CRC校验 公式法 解码

下载PDF 职称材料

基于自动机的概率计算树逻辑验证方法

14

作者 纪明宇 王海涛 陈志远 《计算机工程》 CAS CSCD 2013年第12期285-289,共5页

根据带有随机特征的复杂信息系统性质验证的需求,针对离散概率回报模型的分层直到公式,提出一种性质验证分析方法。在综合各种离散随机逻辑的基础上,使用一种同时具有迁移回报及迁移步区间表达能力的概率计算树逻辑表示系统模型的分层... 根据带有随机特征的复杂信息系统性质验证的需求,针对离散概率回报模型的分层直到公式,提出一种性质验证分析方法。在综合各种离散随机逻辑的基础上,使用一种同时具有迁移回报及迁移步区间表达能力的概率计算树逻辑表示系统模型的分层直到路径公式性质,使用自动机技术建模路径公式,通过构造积模型完成模型与自动机的同步演化,基于积模型给出相应的状态概率满足算法。实例结果验证了该方法的可行性和有效性。 展开更多

关键词 模型检测 分层直到公式 概率计算树逻辑 马尔可夫链 自动机 积模型

下载PDF 职称材料