爆炸冲击波绕流的三维数值模拟研究 被引量：10

1

作者 郝莉 马天宝 +1 位作者 王成 吴开腾 《力学学报》 EI CSCD 北大核心 2010年第6期1042-1049,共8页

对爆炸冲击波绕流问题采用可压缩流体模型建立了质量、动量和能量的偏微分守恒方程组,基于多物质流体Euler型算法,采用算子分裂格式,运用体积份额法处理多介质界面,用自行开发的三维数值模拟程序MMIC3D模拟计算了三维空中爆炸的爆源附... 对爆炸冲击波绕流问题采用可压缩流体模型建立了质量、动量和能量的偏微分守恒方程组,基于多物质流体Euler型算法,采用算子分裂格式,运用体积份额法处理多介质界面,用自行开发的三维数值模拟程序MMIC3D模拟计算了三维空中爆炸的爆源附近和爆炸场中冲击波流场的发展规律,研究了挡墙拐角处绕流的形成和变化情况,分析比较了挡墙的位置、形状对挡墙后爆炸冲击波的影响,并与经验公式进行了比较研究.数值计算基本符合物理规律,说明文中采用的模型和算法是合理的,为工程设计减压设施提供了数值计算依据. 展开更多

关键词 爆炸场 数值模拟 冲击波 体积份额法 挡墙

在线阅读 下载PDF 职称材料

混凝土介质中爆炸的三维数值模拟 被引量：10

2

作者 吴开腾 宁建国 《兵工学报》 EI CAS CSCD 北大核心 2007年第4期414-419,共6页

采用混凝土材料的累积损伤本构模型,用自编三维数值模拟程序(MMIC3D)对炸药(弹体)不同预埋深度、不同药量在混凝土中爆炸对其破坏效应进行了模拟研究,并考虑含自由面的情况,研究了混凝土中爆炸后爆炸场的形成、应力波的传播过程,给出了... 采用混凝土材料的累积损伤本构模型,用自编三维数值模拟程序(MMIC3D)对炸药(弹体)不同预埋深度、不同药量在混凝土中爆炸对其破坏效应进行了模拟研究,并考虑含自由面的情况,研究了混凝土中爆炸后爆炸场的形成、应力波的传播过程,给出了混凝土中空腔的形状与发展规律,对其数值结果用Visc2D和Visc3D动态显示了无限介质以及半无限介质中空腔的形成与发展、表面的运动规律和爆炸形成漏斗坑的过程,得到了与物理分析和理论分析一致的结果。 展开更多

关键词 爆炸力学 侵彻 爆轰 混凝土 破坏效应 三维数值模拟

在线阅读 下载PDF 职称材料

求解二次指派问题的最优迭代最大最小蚂蚁算法 被引量：7

3

作者 牟廉明 戴锡笠 +1 位作者 李坤 贺灵悦 《计算机应用》 CSCD 北大核心 2014年第1期199-203,共5页

为提高二次指派问题的求解质量,设计了一个有效的最大最小蚂蚁求解算法。首先,运用最优迭代思想,让每只蚂蚁从当前最优路径中随机地选择位置及其对应的任务作为下一轮迭代的初始值,增强每轮搜索的有效性;其次,采用加入新任务后目标值的... 为提高二次指派问题的求解质量,设计了一个有效的最大最小蚂蚁求解算法。首先,运用最优迭代思想,让每只蚂蚁从当前最优路径中随机地选择位置及其对应的任务作为下一轮迭代的初始值,增强每轮搜索的有效性;其次,采用加入新任务后目标值的增量作为启发式因子来引导状态转移,增加每步搜索的目的性;然后,应用多精英策略来进行信息素更新,增加解的多样性;并设计有效的双重变异技术来提高解的质量,提高算法的收敛速度;最后,应用QAPLIB数据集进行了大量实验,结果表明:该算法在二次指派问题的求解质量和稳定性上显著优于其他算法。 展开更多

关键词 二次指派问题 最优迭代 最大最小蚂蚁算法 双重变异 启发因子

在线阅读 下载PDF 职称材料

Navier-Stokes方程的局部投影稳定化方法 被引量：10

4

作者 覃燕梅 冯民富 +1 位作者 罗鲲 吴开腾 《应用数学和力学》 CSCD 北大核心 2010年第5期618-630,共13页

将Matthies,Skrzypacz和Tubiska的思想从线性的Oseen方程拓展到了非线性的Navier-Stokes方程,针对不可压缩的定常Navier-Stokes方程,提出了一种局部投影稳定化有限元方法.该方法既克服了对流占优,又绕开了inf-sup条件的限制.给出的局部... 将Matthies,Skrzypacz和Tubiska的思想从线性的Oseen方程拓展到了非线性的Navier-Stokes方程,针对不可压缩的定常Navier-Stokes方程,提出了一种局部投影稳定化有限元方法.该方法既克服了对流占优,又绕开了inf-sup条件的限制.给出的局部投影空间既可以定义在两种不同网格上,又可以定义在相同网格上.与其他两级方法相比,定义在同一网格空间上的局部投影稳定化格式更紧凑.在同一网格上,除了给出需要bubble函数来增强的逼近空间外,还特别考虑了两种不需要用bubble函数来增强的新的空间.基于一种特殊的插值技巧,给出了稳定性分析和误差估计.最后,还列举了两个数值算例,进一步验证了理论结果的正确性. 展开更多

关键词 局部投影 NAVIER-STOKES方程 REYNOLDS数

在线阅读 下载PDF 职称材料

基于改进蚁群算法的三维路径规划 被引量：16

5

作者 陈超 张莉 《计算机工程与应用》 CSCD 北大核心 2019年第20期192-196,共5页

针对移动机器人在海水环境中的三维路径规划问题容易陷入局部最优和收敛慢等瑕疵,根据三维环境全局信息来改进蚁群算法以提高实时性和收敛速度。改进蚁群算法的启发函数,采用局部信息和全局信息结合动态地改进信息素更新方式,以及根据... 针对移动机器人在海水环境中的三维路径规划问题容易陷入局部最优和收敛慢等瑕疵,根据三维环境全局信息来改进蚁群算法以提高实时性和收敛速度。改进蚁群算法的启发函数,采用局部信息和全局信息结合动态地改进信息素更新方式,以及根据三维空间中路径的平坦程度和光滑度二阶微分分别增加了一阶微分和二阶微分来再次修改信息素更新规则。仿真对比实验结果显示改进后的蚁群算法克服了收敛速度慢、容易陷入局部最优的缺点。 展开更多

关键词 移动机器人 三维路径规划 改进蚁群算法 启发函数修改规则 信息素更新规则

在线阅读 下载PDF 职称材料

区间值(α,β)-模糊格蕴涵子代数 被引量：8

6

作者 刘熠 徐扬 秦亚 《计算机科学》 CSCD 北大核心 2011年第4期263-266,共4页

把拟重合的思想应用到区间值模糊集上,引进了一种广义模糊格蕴涵子代数,即区间值(α,β)-模糊格蕴涵子代数。研究了区间值(α,β)-模糊格蕴涵子代数的性质,并研究了区间值(α,β)-模糊格蕴涵子代数与格蕴涵子代数的关系,最后得到了该类... 把拟重合的思想应用到区间值模糊集上,引进了一种广义模糊格蕴涵子代数,即区间值(α,β)-模糊格蕴涵子代数。研究了区间值(α,β)-模糊格蕴涵子代数的性质,并研究了区间值(α,β)-模糊格蕴涵子代数与格蕴涵子代数的关系,最后得到了该类模糊子代数的等价刻画。 展开更多

关键词 格蕴涵代数 区间值模糊集 模糊点 (α β)-模糊子代数

在线阅读 下载PDF 职称材料

时滞神经网络随机抽样控制的状态估计 被引量：5

7

作者 曾德强 吴开腾 +2 位作者 宋乾坤 张瑞梅 钟守铭 《应用数学和力学》 CSCD 北大核心 2018年第7期821-832,共12页

研究了时滞神经网络随机抽样控制的状态估计问题.首先,给出了随机抽样区间和抽样输入时滞的统一概率结构.基于此结构,构造了一个包含新的锯齿结构项的Lyapunov泛函.然后,运用不等式放缩技术,得到了误差系统随机稳定的保守性更低的标准,... 研究了时滞神经网络随机抽样控制的状态估计问题.首先,给出了随机抽样区间和抽样输入时滞的统一概率结构.基于此结构,构造了一个包含新的锯齿结构项的Lyapunov泛函.然后,运用不等式放缩技术,得到了误差系统随机稳定的保守性更低的标准,并设计出了合适的状态估计器.最后,数值仿真算例验证了所得结果的优势和有效性. 展开更多

关键词 时滞神经网络 随机抽样 状态估计 LYAPUNOV泛函

在线阅读 下载PDF 职称材料

瞬态Navier-Stokes方程的一种新的全离散粘性稳定化方法 被引量：7

8

作者 覃燕梅 冯民富 周天孝 《应用数学和力学》 CSCD 北大核心 2009年第7期783-798,共16页

基于压力投影和梯形外推公式,对速度/压力空间采用等阶多项式逼近,针对高Reynolds数下的瞬态Navier-Stokes方程提出了一种新的全离散粘性稳定化方法.该方法不仅绕开了inf-sup条件的限制,克服了高Reynolds数下对流占优造成的不稳定性,而... 基于压力投影和梯形外推公式,对速度/压力空间采用等阶多项式逼近,针对高Reynolds数下的瞬态Navier-Stokes方程提出了一种新的全离散粘性稳定化方法.该方法不仅绕开了inf-sup条件的限制,克服了高Reynolds数下对流占优造成的不稳定性,而且在每一时间步上,只需要进行线性计算,从而减少了计算量.给出了稳定性证明,并得出了与粘性系数一致的误差估计.理论和数值结果表明该方法具有二阶精度. 展开更多

关键词 REYNOLDS数 压力投影 梯形外推公式 瞬态Navier-Stokes方程

在线阅读 下载PDF 职称材料

基于信任和安全等级的P2P信息流模型 被引量：5

9

作者 李焕洲 刘益和 李华 《计算机应用》 CSCD 北大核心 2008年第12期3168-3170,共3页

通过引入信誉等级、密级、访问控制等级等概念,利用访问控制等级划分安全类,以两个客体的访问控制等级描述信息流策略,由此得到基于信任和安全等级的P2P信息流模型。经严格的数学证明,这个模型满足已有文献的有限格和最小上界运算符性质... 通过引入信誉等级、密级、访问控制等级等概念,利用访问控制等级划分安全类,以两个客体的访问控制等级描述信息流策略,由此得到基于信任和安全等级的P2P信息流模型。经严格的数学证明,这个模型满足已有文献的有限格和最小上界运算符性质,是合理和安全的,它是基于BLP信息流模型的一个扩展。 展开更多

关键词 P2P网络 密级 信誉等级 访问控制等级 信息流模型

在线阅读 下载PDF 职称材料

程度变精度覆盖粗糙集模型 被引量：6

10

作者 陈钉均 李涵 +1 位作者 刘熠 吴开腾 《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心 2010年第5期877-879,共3页

针对程度覆盖粗糙集和变精度覆盖粗糙集模型的特点,通过引入误差参数,给出了一种新的程度变精度覆盖粗糙集模型。并且讨论了所给模型上﹑下覆盖近似算子的一些性质,给出了相关重要定理。

关键词 变精度覆盖粗糙集 程度覆盖粗糙集 邻域

在线阅读 下载PDF 职称材料

基于改进区分矩阵的决策表增量式属性约简 被引量：2

11

作者 刘高峰 牟廉明 张涛 《计算机工程》 CAS CSCD 北大核心 2010年第20期46-48,共3页

针对属性在不断增加的决策表,为了快速准确地计算出属性约简,提出一种增量式属性约简算法。以正域为约简的标准,利用贪心算法思想,以属性区分能力为选择标准,逐渐构造近似的属性约简,从中删减掉不必要的属性,最终得到属性约简。经复杂... 针对属性在不断增加的决策表,为了快速准确地计算出属性约简,提出一种增量式属性约简算法。以正域为约简的标准,利用贪心算法思想,以属性区分能力为选择标准,逐渐构造近似的属性约简,从中删减掉不必要的属性,最终得到属性约简。经复杂度分析与实验数据测试,证明该算法的复杂度低并且约简结果准确。 展开更多

关键词 粗糙集 改进区分矩阵 增量式属性约简 决策表 贪心算法

在线阅读 下载PDF 职称材料

三级领导式的快速自适应狼群优化算法 被引量：5

12

作者 陈超 张莉 《计算机工程与应用》 CSCD 北大核心 2019年第15期59-68,共10页

为提高狼群算法的收敛速度,在此提出了一种称为三级领导式和微粒进化方程的自适应狼群算法,人为地把灰狼分成两类,领导层三只灰狼:如αβ和δ,剩下的为猛狼w。在游走搜索阶段随机设定一个猎物位置,利用狼群与猎物之间的距离来指导游走... 为提高狼群算法的收敛速度,在此提出了一种称为三级领导式和微粒进化方程的自适应狼群算法,人为地把灰狼分成两类,领导层三只灰狼:如αβ和δ,剩下的为猛狼w。在游走搜索阶段随机设定一个猎物位置,利用狼群与猎物之间的距离来指导游走搜索猎物;在召唤阶段,利用三个领导层灰狼作为头狼来引导猛狼向猎物靠近,避免了传统狼群算法只有一只头狼引导整个狼群就容易陷入局部最优的情况;在围攻猎物阶段利用惯性因子来表示以往奔袭的经验、学习因子与随机数之间的乘积来表示猛狼自身经验的认识与总结、迭代影响因子来表示整体狼群经验的认识与调整,综合起来狼群粒子奔袭速度加快收敛速度和跳出局部最优,从而找到真实的整体最优值。本次选取的8个测试函数对应的对比性实验结果表明:该方法较为精确地实现寻找到了测试函数的最优值且较早地快速收敛到最优解,在后期也平稳收敛到真实的最优值,该算法适用于多维多波峰函数求极值问题。 展开更多

关键词 三级领导式 快速自适应狼群算法 优化函数

在线阅读 下载PDF 职称材料

两类新的GM(1,1)残差优化模型的建立及预测 被引量：4

13

作者 何光 卢小丽 《统计与决策》 CSSCI 北大核心 2012年第11期23-25,共3页

文章基于已有的GM(1,1)残差修正模型,运用函数转换的思想,对初始序列进行光滑度处理,建立了残差优化模型1;在模型1的基础上,对残差序列作光滑度处理,得到残差优化模型2。然后,进行实例验证,分析表明模型1和2比已有残差修正模型具有更好... 文章基于已有的GM(1,1)残差修正模型,运用函数转换的思想,对初始序列进行光滑度处理,建立了残差优化模型1;在模型1的基础上,对残差序列作光滑度处理,得到残差优化模型2。然后,进行实例验证,分析表明模型1和2比已有残差修正模型具有更好的拟合性,且预测结果显示,在精度和可靠性上有明显的提高。 展开更多

关键词 灰色模型 初始序列 残差修正 预测

在线阅读 下载PDF 职称材料

基于区分矩阵的增量式属性约简 被引量：3

14

作者 刘高峰 牟廉明 《计算机工程与设计》 CSCD 北大核心 2009年第18期4293-4295,4298,共4页

定义了属性和属性集的区分矩阵以及区分矩阵的运算,表明了属性集的区分矩阵与论域按属性集的分类是1-1对应的,因此,区分矩阵代表了属性集的分类。以区分矩阵作为属性约简的标准,以属性对分类的贡献率作为贪心选择的次序,建立了一种针对... 定义了属性和属性集的区分矩阵以及区分矩阵的运算,表明了属性集的区分矩阵与论域按属性集的分类是1-1对应的,因此,区分矩阵代表了属性集的分类。以区分矩阵作为属性约简的标准,以属性对分类的贡献率作为贪心选择的次序,建立了一种针对无目标信息系统的属性约简以及增量式属性约简方法。该算法降低了处理增量式数据的复杂度,并且只涉及到矩阵的加法、非负矩阵转化为0-1矩阵、判断矩阵相等的运算,便于用计算机语言编程计算。 展开更多

关键词 粗糙集 贪心算法 区分矩阵 增量式属性约简 信息系统

在线阅读 下载PDF 职称材料

Navier-Stokes方程最优控制问题的一种非协调有限元局部稳定化方法 被引量：2

15

作者 覃燕梅 李辉 冯民富 《应用数学和力学》 CSCD 北大核心 2016年第8期842-855,共14页

基于局部Gauss积分和梯形外推公式,速度/压力空间采用最低等阶非协调元NCP1-P1逼近,针对非定常Navier-Stokes方程最优控制问题,建立了一种全离散的非协调有限元局部稳定化格式.该格式绕开了inf-sup条件的束缚,且在每一时间步上,只需要... 基于局部Gauss积分和梯形外推公式,速度/压力空间采用最低等阶非协调元NCP1-P1逼近,针对非定常Navier-Stokes方程最优控制问题,建立了一种全离散的非协调有限元局部稳定化格式.该格式绕开了inf-sup条件的束缚,且在每一时间步上,只需要做线性计算,减少了计算量.证明了该格式是无条件稳定的,给出了详细的误差分析.误差结果表明,该线性格式在时间上具有二阶精度. 展开更多

关键词 NAVIER-STOKES方程 最优控制 稳定化方法 外推公式

在线阅读 下载PDF 职称材料

剩余格的T-模糊滤子与T-模糊同余关系 被引量：2

16

作者 刘熠 秦晓燕 徐扬 《计算机工程与应用》 CSCD 北大核心 2011年第28期24-27,共4页

将t-模应用于模糊滤子和模糊同余上，引入剩余格的T-模糊滤子与T-模糊同余，并分别研究T-模糊滤子与T-模糊同余的性质与一些等价刻画；得到全体T-模糊滤子的集合与T-模糊同余的集合是同构；研究了由T-模糊滤子所诱导的商剩余格以及同态... 将t-模应用于模糊滤子和模糊同余上，引入剩余格的T-模糊滤子与T-模糊同余，并分别研究T-模糊滤子与T-模糊同余的性质与一些等价刻画；得到全体T-模糊滤子的集合与T-模糊同余的集合是同构；研究了由T-模糊滤子所诱导的商剩余格以及同态定理。这些理论在其他的逻辑代数系统仍然成立。 展开更多

关键词 剩余格 T-模糊滤子 T-模糊同余

在线阅读 下载PDF 职称材料

基于灰色广义回归神经网络模型的城市耕地面积预测 被引量：2

17

作者 严磊 刘好斌 +1 位作者 雷邦军 罗会亮 《地理与地理信息科学》 CSCD 北大核心 2012年第3期111-112,共2页

为提高原始数据呈非线性、随机性变化、样本量较小时城市耕地面积的预测精度,将无偏GM(1,1)模型与广义回归神经网络相结合,建立了基于灰色广义回归神经网络的城市耕地面积预测模型,并将其应用于平顶山市耕地面积预测,结果表明该模型精度... 为提高原始数据呈非线性、随机性变化、样本量较小时城市耕地面积的预测精度,将无偏GM(1,1)模型与广义回归神经网络相结合,建立了基于灰色广义回归神经网络的城市耕地面积预测模型,并将其应用于平顶山市耕地面积预测,结果表明该模型精度高,具有一定的应用价值。 展开更多

关键词 广义回归神经网络 无偏GM(1 1)模型 城市耕地面积预测

在线阅读 下载PDF 职称材料

格值下推自动机与格值上下文无关文法 被引量：8

18

作者 彭家寅 《计算机工程与应用》 CSCD 北大核心 2011年第25期34-38,48,共6页

引入了格值下推自动机、格值上下文无关文法及它们的语言的概念,证明了格值下推自动机以两种不同方式接受的语言类的等价性,研究了格值Chomsky范式文法、格值上下文无关文法及其派生所产生的语言的等价条件,揭示了在一定条件下,格值下... 引入了格值下推自动机、格值上下文无关文法及它们的语言的概念,证明了格值下推自动机以两种不同方式接受的语言类的等价性,研究了格值Chomsky范式文法、格值上下文无关文法及其派生所产生的语言的等价条件,揭示了在一定条件下,格值下推自动机接受的语言类与格值上下文无关文法产生的语言类的等价性,证明了有理格值语言均被格值下推自动机识别。 展开更多

关键词 格半群 格值下推自动机 格值上下文无关文法 格值语言 格值Chomsky范式文法

在线阅读 下载PDF 职称材料

几类非确定型量子程序的终止验证 被引量：1

19

作者 雷红轩 彭家寅 刘熠 《电子学报》 EI CAS CSCD 北大核心 2016年第12期2932-2938,共7页

程序验证是保证程序正确性的关键技术.由于经典世界和量子世界的本质不同,经典程序验证的技术和工具不能直接应用到量子系统.而量子程序设计语言是描述量子系统的一种新的形式化模型,量子程序的验证问题就显得更为迫切和必要.本文首先... 程序验证是保证程序正确性的关键技术.由于经典世界和量子世界的本质不同,经典程序验证的技术和工具不能直接应用到量子系统.而量子程序设计语言是描述量子系统的一种新的形式化模型,量子程序的验证问题就显得更为迫切和必要.本文首先讨论了量子通讯中常用的比特翻转、相位翻转、去极化、幅值阻尼、相位阻尼等信道作为特殊的非确定型量子程序从计算基态开始运行时的可达集合和终止集合等程序验证问题.其次,把上述五种量子程序两两组合组成非确定型量子程序,根据这五种量子程序的可达集合之相似点,最终合并成三种非确定型量子程序,重点讨论了这三种非确定型量子程序从计算基态开始运行时的终止和发散等程序验证问题.研究表明:这三种非确定型量子程序从计算基态0开始运行时都是终止的;而从计算基态1开始运行时:比特翻转信道和去极化信道组成的非确定型量子程序的终止和发散与分别刻画它们的两个参数有关;比特翻转信道和相位翻转信道组成的非确定型量子程序的终止和发散只与刻画比特翻转信道的参数有关;幅值阻尼信道和相位阻尼信道组成的非确定型量子程序是发散的,其发散条件与刻画量子信道的两个参数都没有关系.本文的结果可以为量子信息安全中量子通讯协议的验证提供理论和技术支持. 展开更多

关键词 量子通讯 量子程序 程序验证 信息安全

在线阅读 下载PDF 职称材料

基于Unsharp量子逻辑的自动机和文法理论 被引量：6

20

作者 彭家寅 《计算机工程与应用》 CSCD 2012年第28期57-60,共4页

初步建立了具有某种分配律的扩展格序效应代数和格序QMV代数这两种unsharp量子结构上的自动机与文法理论的基本框架。引入了ε-值正则文法的概念,证明了任意ε-值自动机识别的语言等价于某种ε-值正则文法所生成的语言;反之,任意ε-值... 初步建立了具有某种分配律的扩展格序效应代数和格序QMV代数这两种unsharp量子结构上的自动机与文法理论的基本框架。引入了ε-值正则文法的概念,证明了任意ε-值自动机识别的语言等价于某种ε-值正则文法所生成的语言;反之,任意ε-值正则文法所生成的语言等价于某种ε-值自动机识别的语言。讨论了ε-值正则语言在和、连接及反转运算下的封闭性质。 展开更多

关键词 unsharp量子逻辑 ε-值自动机 ε-值正则文法 ε-值正则语言 正则算子

在线阅读 下载PDF 职称材料