期刊文献+
共找到10篇文章
< 1 >
每页显示 20 50 100
多区间上非线性程序的终止性判定 被引量:3
1
作者 牟琳 李轶 +1 位作者 李玲娜 刘栋 《四川大学学报(工程科学版)》 EI CAS CSCD 北大核心 2011年第3期76-80,共5页
主要解决了如下形式的程序的终止性判定的问题:wh ile(x∈Ω)do{x:=f(x)}end,其中,x为程序变元,Ω(Ω=(a1,b1‖∪‖a2,b2‖∪…∪‖an,bn),其中,‖∈{(,),[,]},n∈N*)是间段并集,f是一个多项式函数。证明了:当φ(b1)φ(a2)>0,…,φ(b... 主要解决了如下形式的程序的终止性判定的问题:wh ile(x∈Ω)do{x:=f(x)}end,其中,x为程序变元,Ω(Ω=(a1,b1‖∪‖a2,b2‖∪…∪‖an,bn),其中,‖∈{(,),[,]},n∈N*)是间段并集,f是一个多项式函数。证明了:当φ(b1)φ(a2)>0,…,φ(bn-1)φ(an)>0(其中,φ(x)=f(x)-x)时,这类区间上的非线性程序不终止的必要条件是:在Ω内部或者边界上存在不动点。如果不动点仅仅在Ω内部,则上述结果是充要条件。通过添加一定的约束条件,对于仅区间边界有不动点的情况,也给出了判定的方法。对一类多项式函数的终止性给出了完备性的算法(TNPSI)。 展开更多
关键词 程序验证 计算机代数 非线性程序 不动点
在线阅读 下载PDF
区间上非线性程序的终止性判定 被引量:8
2
作者 姚勇 《软件学报》 EI CSCD 北大核心 2010年第12期3116-3123,共8页
分析了如下类型程序的终止性:While x∈Ωdo{x:=f(x)}end.其中,x是程序变量,Ω是一个区间,f是一个连续函数.这类程序被称为区间上非线性程序.证明了上面程序不终止的必要条件是函数在区间内部或边界上有不动点.如果不动点不在区间的边界... 分析了如下类型程序的终止性:While x∈Ωdo{x:=f(x)}end.其中,x是程序变量,Ω是一个区间,f是一个连续函数.这类程序被称为区间上非线性程序.证明了上面程序不终止的必要条件是函数在区间内部或边界上有不动点.如果不动点不在区间的边界,则上述结果是充要条件.仅仅在区间边界上有不动点的情况下,对函数略加限制,也建立了相应结果.特别地,对逐段多项式连续函数程序的终止性给出了完备判定算法. 展开更多
关键词 程序验证 终止性分析 非线性程序 不动点 周期轨
在线阅读 下载PDF
一类循环条件非线性的程序终止性 被引量:4
3
作者 李骏 李轶 冯勇 《四川大学学报(工程科学版)》 EI CAS CSCD 北大核心 2009年第1期129-133,共5页
针对Tiwari提出的线性循环程序的终止性判定问题,提出了循环条件为齐次多项式的非线性程序的不可中止性判定的理论证明,然后将程序终止性判定问题转化为参数半代数系统的求解。在求解中,借助强有力的代数符号工具DISCOVERER,解决了计算... 针对Tiwari提出的线性循环程序的终止性判定问题,提出了循环条件为齐次多项式的非线性程序的不可中止性判定的理论证明,然后将程序终止性判定问题转化为参数半代数系统的求解。在求解中,借助强有力的代数符号工具DISCOVERER,解决了计算机浮点计算所造成的近似误差,精确地判定这类程序的不可终止性。最后,通过计算代数理论,把循环条件推广到了非齐次多项式,并且进行了验证。通过理论的证明和实验的验证,解决循环条件是非线性的一类循环程序的方法是高效合理的。 展开更多
关键词 非线性程序 终止性 程序验证 JORDAN标准型
在线阅读 下载PDF
面向对象的三维壳体非线性有限元程序设计方法 被引量:6
4
作者 王晓明 朱晓光 《计算机应用与软件》 CSCD 北大核心 2003年第1期50-52,共3页
面向对象的有限元程序设计可以大大提高程序的模块化和代码的重用性。本文将结合三维壳体单元模型的特点,介绍如何对其进行面向对象的程序设计。根据非线性有限元的求解步骤,把整个程序框架划分成一些基类,并派生出相应的子类。本文只... 面向对象的有限元程序设计可以大大提高程序的模块化和代码的重用性。本文将结合三维壳体单元模型的特点,介绍如何对其进行面向对象的程序设计。根据非线性有限元的求解步骤,把整个程序框架划分成一些基类,并派生出相应的子类。本文只对其中的几个类(包括它们的派生类)进行重点阐述,并说明它们之间是如何来传递消息,这包括单元类、材料类、非线性方程求解器类、总装类和分析类及它们的子类。 展开更多
关键词 面向对象 三维壳体 非线性有限元程序 程序设计方法 非线性有限元分析 线性系统方程 非线性系统方程
在线阅读 下载PDF
有界闭区间并上的非线性循环程序的终止性验证
5
作者 李玲娜 田继东 刘德斌 《计算机应用与软件》 CSCD 北大核心 2012年第10期105-108,共4页
利用符号动力学理论中有关一维离散映射的函数和区间的转换图方法及相关结论,证明一类非线性循环程序不终止的必要条件是在该程序循环区间上有不动点或者周期点存在,并给出相应的终止性验证算法。利用该算法可以验证一维有界闭区间上的... 利用符号动力学理论中有关一维离散映射的函数和区间的转换图方法及相关结论,证明一类非线性循环程序不终止的必要条件是在该程序循环区间上有不动点或者周期点存在,并给出相应的终止性验证算法。利用该算法可以验证一维有界闭区间上的非线性循环程序的终止性。最后,给出计算实例演示该算法的算法步骤。 展开更多
关键词 程序验证 终止性分析 非线性循环程序 不动点 周期点
在线阅读 下载PDF
基于细长梁单元的悬索桥主缆线形分析 被引量:15
6
作者 严琨 沈锐利 《计算力学学报》 CAS CSCD 北大核心 2016年第3期381-387,共7页
悬索桥主缆线形的精细化计算需要同时考虑弯曲刚度及初始弯曲的影响,为此将主缆离散为小挠度的细长梁单元,推导包含自重项的细长梁单元的刚度矩阵,其中考虑了轴力对弯曲刚度的影响及弯矩引起的轴向刚度修正系数。基于细长梁单元编制主... 悬索桥主缆线形的精细化计算需要同时考虑弯曲刚度及初始弯曲的影响,为此将主缆离散为小挠度的细长梁单元,推导包含自重项的细长梁单元的刚度矩阵,其中考虑了轴力对弯曲刚度的影响及弯矩引起的轴向刚度修正系数。基于细长梁单元编制主缆线形计算的有限元程序,采用改进的迭代法求解几何非线性结构的平衡状态,并考虑鞍座处主缆线形的修正。利用程序计算了两座悬索桥主缆在恒载作用下的变形,结果表明,主缆弯曲刚度对跨中和桥塔附近主缆线形的影响较大,且矢跨比越大,主缆线形的计算误差就越大。由弯曲刚度引起的主缆线形计算误差将会带来吊索下料长度计算不准确、索夹放样坐标不准确、成桥桥面线形达不到设计线形以及成桥吊索力分布不均匀等问题,尤其是对矢跨比较大的自锚式悬索桥,需要在设计和施工中引起足够的重视。 展开更多
关键词 悬索桥 主缆线形 细长梁单元 刚度矩阵 非线性有限元程序 矢跨比
在线阅读 下载PDF
火药燃烧驱动子弹的数值分析 被引量:5
7
作者 孟会林 孙新利 王少龙 《现代防御技术》 2003年第2期23-28,共6页
用LS DYNA非线性动力有限元程序对某型号子母弹战斗部模型火药燃烧驱动子弹的前期运动过程进行了数值分析,获得了波纹管材料和子弹壳体材料的应力应变历程曲线以及子弹抛撒的初速度等多个结果,这对于研究该型号战斗部作用机理和效应评... 用LS DYNA非线性动力有限元程序对某型号子母弹战斗部模型火药燃烧驱动子弹的前期运动过程进行了数值分析,获得了波纹管材料和子弹壳体材料的应力应变历程曲线以及子弹抛撒的初速度等多个结果,这对于研究该型号战斗部作用机理和效应评估等都有重要意义。模拟计算的子弹抛撒初速度与试验值基本一致。 展开更多
关键词 LS-DYNA非线性动力有限元程序 子母弹 战斗部 火药燃烧驱动子弹 运动过程 数值分析 抛撒模型 有限元模拟 ALE算法 抛撒初速度
在线阅读 下载PDF
玻璃纤维管钢筋混凝土空心柱轴心的受压性能 被引量:1
8
作者 张霓 郑晨阳 +1 位作者 羡丽娜 王连广 《材料科学与工程学报》 CAS CSCD 北大核心 2021年第6期968-974,共7页
为研究玻璃纤维管钢筋混凝土空心柱的轴心受压性能,本研究编制了空心柱轴心受压非线性分析程序,系统地分析了空心率、玻璃纤维管管壁厚度、混凝土强度等级及配筋率等主要参数对其轴心受压性能的影响,通过试验对所编制的程序进行验证,最... 为研究玻璃纤维管钢筋混凝土空心柱的轴心受压性能,本研究编制了空心柱轴心受压非线性分析程序,系统地分析了空心率、玻璃纤维管管壁厚度、混凝土强度等级及配筋率等主要参数对其轴心受压性能的影响,通过试验对所编制的程序进行验证,最后建立了适用于玻璃纤维管钢筋混凝土空心柱的轴压承载力计算公式。研究结果表明:利用所编制的轴心受压非线性分析程序与所建立的轴压承载力公式对玻璃纤维管钢筋混凝土空心柱轴心受压性能分析的计算结果与试验结果均吻合较好,轴心受压承载力随空心率的减小、玻璃纤维管管壁厚度的增加、混凝土强度的增大及配筋率的提高而增加,空心率对轴心受压承载力影响最大,其次是玻璃纤维管管壁厚度和混凝土强度等级,配筋率对其影响相对较小,研究结论可为该结构在设计和施工中提供参考依据。 展开更多
关键词 玻璃纤维管钢筋混凝土 空心柱 轴心受压 非线性分析程序 承载力公式
在线阅读 下载PDF
Genetic algorithms for optimizing of multiple resource scheduling problem 被引量:1
9
作者 ZHANGYing WANGDing-wei 《沈阳工业大学学报》 EI CAS 2002年第3期211-213,共3页
关键词 遗传算法 多资源优化调度 非线性集成程序
在线阅读 下载PDF
Nonlinear flow numerical simulation of low-permeability reservoir 被引量:2
10
作者 于荣泽 卞亚南 +3 位作者 周舒 王楷军 吕琦 陈朝辉 《Journal of Central South University》 SCIE EI CAS 2012年第7期1980-1987,共8页
A nonlinear flow reservoir mathematical model was established based on the flow characteristic of low-permeability reservoir.The well-grid equations were deduced and the dimensionless permeability coefficient was intr... A nonlinear flow reservoir mathematical model was established based on the flow characteristic of low-permeability reservoir.The well-grid equations were deduced and the dimensionless permeability coefficient was introduced to describe the permeability variation of nonlinear flow.The nonlinear flow numerical simulation program was compiled based on black-oil model.A quarter of five-spot well unit was simulated to study the effect of nonlinear flow on the exploitation of low-permeability reservoir.The comprehensive comparison and analysis of the simulation results of Darcy flow,quasi-linear flow and nonlinear flow were provided.The dimensionless permeability coefficient distribution was gained to describe the nonlinear flow degree.The result shows that compared with the results of Darcy flow,when considering nonlinear flow,the oil production is low,and production decline is rapid.The fluid flow in reservoir consumes more driving energy,which reduces the water flooding efficiency.Darcy flow model overstates the reservoir flow capability,and quasi-linear flow model overstates the reservoir flow resistance.The flow ability of the formation near the well and artificial fracture is strong while the flow ability of the formation far away from the main streamline is weak.The nonlinear flow area is much larger than that of quasi-linear flow during the fluid flow in low-permeability reservoir.The water propelling speed of nonlinear flow is greatly slower than that of Darcy flow in the vertical direction of artificial fracture,and the nonlinear flow should be taken into account in the well pattern arrangement of low-permeability reservoir. 展开更多
关键词 low-permeability reservoir nonlinear flow mathematical model numerical simulation
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部