期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
风力机翼型气动性能混合计算方法的研究
1
作者 李宇红 刘洋 蒋洪德 《动力工程学报》 CAS CSCD 北大核心 2010年第9期705-710,共6页
基于流场有黏-有势混合求解的概念,将雷诺平均N-S方程(RANS)与面元法相结合,独立开发了流场分区混合数值计算程序(HNSP),用于风力机翼型气动性能计算.以风力机专用翼型S814为例,采用开发的HNSP法、势方程耦合边界层方程的Xfoil程序及单... 基于流场有黏-有势混合求解的概念,将雷诺平均N-S方程(RANS)与面元法相结合,独立开发了流场分区混合数值计算程序(HNSP),用于风力机翼型气动性能计算.以风力机专用翼型S814为例,采用开发的HNSP法、势方程耦合边界层方程的Xfoil程序及单独求解有黏流动的RANS方法,计算了其在0°~20.2°攻角范围内的气动性能和流场分布,并与试验结果进行了对比,探讨了黏性计算域范围对计算结果准确性和计算时间的影响.结果表明:该文开发的流场有黏-有势混合计算程序HNSP可在较大的攻角范围内较准确地模拟风力机翼型流场和气动特性,具有较好的适用性,且相对于全黏计算,可有效节省计算资源和时间. 展开更多
关键词 风力机 翼型 气动性能 雷诺平均N—S方程 混合计算程序 混合算法
在线阅读 下载PDF
Banach空间中强增生型变分包含解的具混合误差项的Ishikawa迭代逼近 被引量:5
2
作者 谷峰 《数学物理学报(A辑)》 CSCD 北大核心 2005年第2期176-181,共6页
该文研究了Banach空间中一类强增生型变分包含解的存在性及其具有混合误差项的Ishikawa迭代程序的收敛性问题.所得结果改进和推广了张石生,曾六川等人的相关应结果.
关键词 变分包含 强增生映象 混合误差项的Ishikawa迭代程序
在线阅读 下载PDF
一类新的k-次增生型变分包含解的存在性及其具有混合误差项的Ishikawa迭代逼近 被引量:3
3
作者 谷峰 《应用数学》 CSCD 北大核心 2007年第4期646-652,共7页
在实自反Banach空间中,引入和研究了一类新的k-次增生型变分包含问题,证明了这类变分包含解的存在性、唯一性及其具有混合误差项的Ishikawa迭代程序的收敛性.本文结果本质地改进、发展和统一了张石生和曾六川等人的一系列相关结果.
关键词 变分包含 k-次增生映象 M-增生映象 混合误差项的Ishikawa迭代程序
在线阅读 下载PDF
基于混成自动机的CPS行为建模与属性验证 被引量:2
4
作者 拓明福 周兴社 +1 位作者 李嘉林 李辉 《空军工程大学学报(自然科学版)》 CSCD 北大核心 2016年第3期40-44,共5页
系统实时性、安全性和可靠性等非功能属性是信息物理系统在诸多领域应用的关键因素。论文在分析CPS模型构建与分析验证中面临的挑战的基础上,提出了一种CPS行为建模与属性验证方法。该方法首先基于混成自动机对CPS的行为进行建模,然后... 系统实时性、安全性和可靠性等非功能属性是信息物理系统在诸多领域应用的关键因素。论文在分析CPS模型构建与分析验证中面临的挑战的基础上,提出了一种CPS行为建模与属性验证方法。该方法首先基于混成自动机对CPS的行为进行建模,然后将此模型转换为混合程序模型,最后在定理证明器KeYmaera中对HP模型的属性进行形式化验证。文中论述了行为模型描述语言的结构,建立了混成自动机模型与HP模型之间的转换规则,分析了模型转换的一致性。应用实例表明:该方法既能简单直观地描述CPS动态行为,又能对CPS的属性进行严格的形式化验证,且有效避免了形式化验证中的状态空间爆炸问题。 展开更多
关键词 信息物理系统 模型验证 混成自动机 混合程序 模型转换
在线阅读 下载PDF
Iterative Solution for Systems of Binary Non-mixed Monotone Operator Equations 被引量:2
5
作者 左秀会 《Chinese Quarterly Journal of Mathematics》 CSCD 2001年第3期80-83,共4页
With using the cone and partial ordering t heory and mixed monotone operator theory, the existence and uniqueness for solut ion of systems of non-monotone binary nonliear operator equations are discussed. And the it... With using the cone and partial ordering t heory and mixed monotone operator theory, the existence and uniqueness for solut ion of systems of non-monotone binary nonliear operator equations are discussed. And the iterative sequences which converge to solution of systems of operator e quations and the error estimates are also given. Some corresponding results for the mixed monotone operations and the unary operator equations are improved and generalized. 展开更多
关键词 binary operator mixed monotone operators syste ms of equations SOLUTIONS cone and partial ordering
在线阅读 下载PDF
A Precise Information Extraction Algorithm for Lane Lines 被引量:3
6
作者 Jinyan Chen Yaduan Ruan Qimei Chen 《China Communications》 SCIE CSCD 2018年第10期210-219,共10页
Lane line detection is a fundamental step in applications like autonomous driving and intelligent traffic monitoring. Emerging applications today have higher requirements for accurate lane detection. In this paper, we... Lane line detection is a fundamental step in applications like autonomous driving and intelligent traffic monitoring. Emerging applications today have higher requirements for accurate lane detection. In this paper, we present a precise information extraction algorithm for lane lines. Specifically, with Gaussian Mixture Model(GMM), we solved the issue of lane line occlusion in multi-lane scenes. Then, Progressive Probabilistic Hough Transform(PPHT) was used for line segments detection. After K-Means clustering for line segments classification, we solved the problem of extracting precise information that includes left and right edges as well as endpoints of each lane line based on geometric characteristics. Finally, we fitted these solid and dashed lane lines respectively. Experimental results indicate that the proposed method performs better than the other methods in both single-lane and multi-lane scenarios. 展开更多
关键词 multi-lane scenes lane line occlusion left and right edges endpoints of lane lines
在线阅读 下载PDF
Bundled Hybrid Offset Riser Global Strength Analysis 被引量:1
7
作者 William C. Webster 康庄 +2 位作者 梁文洲 康有为 孙丽萍 《Journal of Marine Science and Application》 2011年第4期465-470,共6页
Bundled hybrid offset riser (BHOR) global strength analysis, which is more complex than single line offset riser global strength analysis, was carried out in this paper. At first, the equivalent theory is used to deal... Bundled hybrid offset riser (BHOR) global strength analysis, which is more complex than single line offset riser global strength analysis, was carried out in this paper. At first, the equivalent theory is used to deal with BHOR, and then its global strength in manifold cases was analyzed, along with the use of a three-dimensional nonlinear time domain finite element program. So the max bending stress, max circumferential stress, and max axial stress in the BHOR bundle main section (BMS) were obtained, and the values of these three stresses in each riser were obtained through the "stress distribution method". Finally, the Max Von Mises stress in each riser was given and a check was made whether or not they met the demand. This paper provides a reference for strength analysis of the bundled hybrid offset riser and some other bundled pipelines. 展开更多
关键词 bundled hybrid offset riser (BHOR) equivalent stress distribute bundle main section (BMS) flexible jumper global strength
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部