期刊文献+
共找到15篇文章
< 1 >
每页显示 20 50 100
基于污点指针的二进制代码缺陷检测 被引量:3
1
作者 刘杰 王嘉捷 +1 位作者 欧阳永基 王清贤 《计算机工程》 CAS CSCD 2012年第24期46-49,共4页
污点指针严重影响二进制代码数据流和控制流的安全。为此,提出一种二进制代码缺陷检测方法。引入指针污点传播规则,结合路径约束条件和边界约束条件得到缺陷引发条件,构造能够引发4类污点指针代码缺陷的输入数据。在Linux系统下实现ELF... 污点指针严重影响二进制代码数据流和控制流的安全。为此,提出一种二进制代码缺陷检测方法。引入指针污点传播规则,结合路径约束条件和边界约束条件得到缺陷引发条件,构造能够引发4类污点指针代码缺陷的输入数据。在Linux系统下实现ELF二进制代码缺陷检测工具,测试结果表明,该方法能降低测试用例生成数量,并发现Linux系统工具的1个虚函数调用控制缺陷和2个指针内存破坏缺陷。 展开更多
关键词 污点指针 污点传播 符号执行 边界条件 缺陷检测 内存破坏
下载PDF
防空导弹翼面弹性支承边界参数识别 被引量:2
2
作者 阳华 《上海航天》 1995年第5期3-6,31,共5页
利用系统可测自由度上获得的不完全模态来识别尾翼的边界支承参数。直接由特征方程出发求解边界的未知位移和内力,借此计算边界动刚度,同时对带有一定误差的已知试验模态进行叠代修正,然后通过最小二乘法求解边界的支承刚度和附加质... 利用系统可测自由度上获得的不完全模态来识别尾翼的边界支承参数。直接由特征方程出发求解边界的未知位移和内力,借此计算边界动刚度,同时对带有一定误差的已知试验模态进行叠代修正,然后通过最小二乘法求解边界的支承刚度和附加质量。本文方法简捷,精度和效率都较高。在防空导弹及其他相关领域都有一定的应用价值。 展开更多
关键词 防空导弹 导弹翼面 参数识别 结构动力学
下载PDF
深圳地区导线载流量计算边界条件统计分析 被引量:1
3
作者 杜开源 吴廷祥 +1 位作者 冯杰 徐曙 《青海电力》 2016年第1期43-47,共5页
架空导线载流量是线路设计和运行的主要参数,设计载流量是在特定气象条件下确定的,常偏于保守。深圳地区经济高速发展,但电网建设受土地、环保等诸多因素限制,存在电能输送和用电需求矛盾。通过对深圳地区气温、风速统计分析,得出适合... 架空导线载流量是线路设计和运行的主要参数,设计载流量是在特定气象条件下确定的,常偏于保守。深圳地区经济高速发展,但电网建设受土地、环保等诸多因素限制,存在电能输送和用电需求矛盾。通过对深圳地区气温、风速统计分析,得出适合深圳地区导线载流量计算边界条件,达到不改变原有输电设备,最大限度提升线路输送能力,提高设备利用率。 展开更多
关键词 载流量 边界条件 统计分析 输送能力
下载PDF
多目标规划在东平湖渔业资源开发中的应用
4
作者 沈庆瑶 李其才 《山东农业大学学报(自然科学版)》 CSCD 1995年第2期223-226,共4页
本文建立了东平湖渔业资源开发多目标规划模型。模型结构包括决策变量、约束条件、目标函数。通过模型调整及数据处理,得出操作性强的模型结果方案。在其结果方案中,所有约束条件都得到满足,并在东平湖渔业资源开发中得到应用。
关键词 多目标规划 渔业资源 决策变量 约束条件
下载PDF
FKK多步复合核模型发射模式分析
5
作者 王书暖 M.Herman G.Reffo 《核物理动态》 CSCD 1993年第1期7-9,共3页
本文分析了FKK多步复合核理论中,考虑模型空间限制在束缚态空间情况下,对能谱形状的影响及各种可能发射模式对能谱贡献的相对重要性,得出了能谱的高能硬尾,主要由不改变反应初始阶段总激子数的两激子散射过程v=0的发射模式决定的结论。
关键词 能谱 发射 束缚态 复合核理论
原文传递
非凸优化带松弛步的对称ADMM局部线性收敛率分析 被引量:2
6
作者 刘鹏杰 邵虎 +1 位作者 王云 吴晓宇 《系统科学与数学》 CSCD 北大核心 2023年第1期78-93,共16页
基于对称交替方向乘子法(ADMM),结合松弛步技巧,该文提出一种带松弛步的对称ADMM用于求解两分块线性约束非凸优化问题.同时,新算法乘子更新步采用不同的松弛因子.常规假设下,给出新算法子序列的收敛性证明.误差界条件下,分析并获得由新... 基于对称交替方向乘子法(ADMM),结合松弛步技巧,该文提出一种带松弛步的对称ADMM用于求解两分块线性约束非凸优化问题.同时,新算法乘子更新步采用不同的松弛因子.常规假设下,给出新算法子序列的收敛性证明.误差界条件下,分析并获得由新算法产生的迭代点列以线性收敛的速率局部趋于问题稳定点,相应增广拉格朗日函数序列亦线性收敛.最后,初步试验结果表明新算法是有效的. 展开更多
关键词 非凸优化 交替方向乘子法 误差界条件 收敛率分析
原文传递
一种改进的求解非线性方程组的Levenberg-Marquardt方法 被引量:5
7
作者 伍珍香 陈亮 周童 《延边大学学报(自然科学版)》 CAS 2020年第4期302-307,332,共7页
通过修改Levenberg-Marquardt参数,得到了一种改进的求解非线性方程组的Levenberg-Marquardt算法.利用信赖域技术,在不必假设雅克比矩阵非奇异的局部误差界条件下,证明了该算法至少具有超线性收敛性.数值实验表明,该算法能有效求解非线... 通过修改Levenberg-Marquardt参数,得到了一种改进的求解非线性方程组的Levenberg-Marquardt算法.利用信赖域技术,在不必假设雅克比矩阵非奇异的局部误差界条件下,证明了该算法至少具有超线性收敛性.数值实验表明,该算法能有效求解非线性方程组问题. 展开更多
关键词 非线性方程组 局部误差界 二次收敛 LEVENBERG-MARQUARDT
下载PDF
优界方法在系统方程中的应用
8
作者 崔永新 《鸡西大学学报(综合版)》 2005年第6期38-39,共2页
对于本质相似而复杂程度不同的两个系统,在优界条件下,通过优界系统的性质推断待定系统的相应性质,从而解决复杂系统中的实际问题。
关键词 优界条件 优界方法 应用
下载PDF
半无界非线性热传导方程的Laguerre拟谱方法 被引量:5
9
作者 王天军 《应用数学与计算数学学报》 2013年第1期9-15,共7页
以Laguerre-Gauss-Radau节点为配置点,利用拟谱方法求数值解,逼近半无界非线性热传导方程非齐次Neumann边界条件的正确解.给出算法格式和相应的数值例子,表明所提算法格式的有效性和高精度.这里所用方法也可用于求解其他非线性问题.
关键词 非线性热传导方程 非齐次Neumann边界条件 Laguerre拟谱方法 Laguerre-Gauss—Radau节点
下载PDF
喜马拉雅弧边界作用力的变化对中国内陆应力场的影响 被引量:3
10
作者 李永林 高旭 《地震》 CSCD 北大核心 2000年第z1期196-202,共7页
运用数值模拟方法 ,模拟喜马拉雅弧及其特殊构造部位 ,即东、西二弧顶边界作用力的变化对中国大陆内部剪应力场影响范围及大小 ,进而结合实际强震活动探讨喜马拉雅弧边界作用力变化与中国大陆内部应力场分布及地震活动的关系 ,结果表明 ... 运用数值模拟方法 ,模拟喜马拉雅弧及其特殊构造部位 ,即东、西二弧顶边界作用力的变化对中国大陆内部剪应力场影响范围及大小 ,进而结合实际强震活动探讨喜马拉雅弧边界作用力变化与中国大陆内部应力场分布及地震活动的关系 ,结果表明 :东、西弧顶是喜马拉雅弧的特殊构造部位 ,这一边界作用力的变化对中国大陆应力场分布具有重要影响 ;其中东部弧顶影响更为显著 ;喜马拉雅弧边界作用力变化是中国大陆强震活动成组迁移特征的重要动力因素。 展开更多
关键词 喜马拉雅弧 数值模拟 边界作用 剪应力场
下载PDF
A—B两层铁磁耦合薄膜中的自旋波共振谱 被引量:2
11
作者 侯小娟 云国宏 《材料研究学报》 EI CAS CSCD 北大核心 2007年第4期389-394,共6页
在Heisenberg模型的基础上,计入垂直于膜面的磁场,考虑表面各向异性场情况下,精确求解了简立方结构双层异质铁磁薄膜中的自旋波低能量子本征值问题.又在此基础上加上平行于膜面方向的交变磁场,应用量子理论严格推导了两层异质铁磁耦合... 在Heisenberg模型的基础上,计入垂直于膜面的磁场,考虑表面各向异性场情况下,精确求解了简立方结构双层异质铁磁薄膜中的自旋波低能量子本征值问题.又在此基础上加上平行于膜面方向的交变磁场,应用量子理论严格推导了两层异质铁磁耦合薄膜中的自旋波共振激发,并在不同表面条件下计算了各种形式的自旋波共振谱.结果表明:1)共振峰强度与交变场振幅的平方成正比,与本征态中单个自旋反转对应的几率幅的模的平方成正比,即自旋波共振的平方律关系;2)由于表面各向异性场对不同形式的自旋波激发谱都产生影响,从而也影响自旋波的共振谱. 展开更多
关键词 材料科学基础学科 铁磁耦合 非周期性边界条件 表面各向异性场 自旋波共振谱
下载PDF
高温压力传感器冷却套温度场的有限元法计算 被引量:1
12
作者 吴志鹤 毕训银 《南京航空航天大学学报》 CAS CSCD 1994年第6期827-833,共7页
介绍一种高温压力传感器冷却套的结构,并用有限元法计算冷却套的温度场分布。将轴对称的冷却套半边划分为许多三角形单元,将单元内的温度离散到单元三个节点上。应用传热学理论计算出三类边界条件的参数,应用有限元法计算出各节点的... 介绍一种高温压力传感器冷却套的结构,并用有限元法计算冷却套的温度场分布。将轴对称的冷却套半边划分为许多三角形单元,将单元内的温度离散到单元三个节点上。应用传热学理论计算出三类边界条件的参数,应用有限元法计算出各节点的温度。经过计算机数据处理,得到冷却套温度场的分布。最后,对冷却套温度进行实测,测试结果与理论计算较为接近,表明冷却套结构设计是合理的,并且用有限元法计算冷却套温度场分布是行之有效的。 展开更多
关键词 传热 温度场 有限元法 冷却套 压力传感器
下载PDF
运筹学应用一例
13
作者 范品贵 《曲靖师范学院学报》 1988年第3期15-17,共3页
本文根据曲靖地区某厂的生产实际状态,科用线性规划的科学方法编制最优化的生产方案。与按常规经验编制的方案相比,其经济效益有明显提高,该厂领导对此方案很满意,在全厂组织实施。说明学习现代化科学管理应用科学管理方法是十分必要的。
关键词 目标函数 约束条件 线性规则
下载PDF
生物质燃烧和阴燃过程对比 被引量:3
14
作者 罗冰 何芳 +3 位作者 高振强 李永军 王丽红 张永健 《山东理工大学学报(自然科学版)》 CAS 2013年第1期21-24,共4页
为了明确生物质燃烧和阴燃的共性和差异,分类总结了生物质燃烧和阴燃过程的特点,得出大颗粒生物质燃烧过程和自然对流条件下生物质粉正向阴燃物理过程近似的结论.对比了这两种过程的物理化学反应特性、传输机理及边界条件,得出结论:两... 为了明确生物质燃烧和阴燃的共性和差异,分类总结了生物质燃烧和阴燃过程的特点,得出大颗粒生物质燃烧过程和自然对流条件下生物质粉正向阴燃物理过程近似的结论.对比了这两种过程的物理化学反应特性、传输机理及边界条件,得出结论:两种过程干燥、热解等物理化学反应机理相同,炭氧化过程稍有差异、边界条件差别很大. 展开更多
关键词 燃烧 阴燃 生物质 化学反应 传输机理 边界条件
下载PDF
A FIRST-ORDER NUMERICAL SCHEME FOR FORWARD-BACKWARD STOCHASTIC DIFFERENTIAL EQUATIONS IN BOUNDED DOMAINS
15
作者 Jie Yang Guannan Zhang Weidong Zhao 《Journal of Computational Mathematics》 SCIE CSCD 2018年第2期237-258,共22页
We propose a novel numerical scheme for decoupled forward-backward stochastic differ- ential equations (FBSDEs) in bounded domains, which corresponds to a class of nonlinear parabolic partial differential equations ... We propose a novel numerical scheme for decoupled forward-backward stochastic differ- ential equations (FBSDEs) in bounded domains, which corresponds to a class of nonlinear parabolic partial differential equations with Dirichlet boundary conditions. The key idea is to exploit the regularity of the solution (Yt,Zt) with respect to Xt to avoid direct ap- proximation of the involved random exit time. Especially, in the one-dimensional case, we prove that the probability of Xt exiting the domain within At is on the order of O((△t)ε exp(--1/(△t)2ε)), if the distance between the start point X0 and the boundary is 1 g at least on the order of O(△t)^1/2-ε ) for any fixed c 〉 0. Hence, in spatial discretization, we set the mesh size △x - (9((At)^1/2-ε ), so that all the interior grid points are sufficiently far from the boundary, which makes the error caused by the exit time decay sub-exponentially with respect to △t. The accuracy of the approximate solution near the boundary can be guaranteed by means of high-order piecewise polynomial interpolation. Our method is developed using the implicit Euler scheme and cubic polynomial interpolation, which leads to an overall first-order convergence rate with respect to △t. 展开更多
关键词 Forward-backward stochastic differential equations Exit time Dirichlet bound-ary conditions Implicit Euler scheme.
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部