于鹏
- 作品数：30 被引量：92H指数：6
- 供职机构：陕西科技大学更多>>
- 发文基金：国家自然科学基金陕西省自然科学基金中央高校基本科研业务费专项资金更多>>
- 相关领域：理学自动化与计算机技术文化科学生物学更多>>
- 基于并列选择遗传算法的太阳影子定位方法被引量：2
- 2017年
- 根据"立竿见影"和竿影日照图的原理,提出了一种太阳影子定位方法.首先结合太阳高度角、太阳赤纬角,以理论影长和实际影长的相关系数最大和其误差平方和最小为目标函数建立了求太阳影子定位的多目标优化模型,并以测量地的经纬度作为设计变量,运用并行选择的遗传算法进行求解,实现了对测量地的精准定位.最后通过实例分析,指出与传统的枚举算法相比,本文采用的遗传算法的求解结果无论在精度还是在收敛速度上都优于传统的枚举算法.
- 于鹏刘泽锋郭改慧陆金巧吕杨
- 关键词：多目标优化遗传算法
- 逻辑方程解的性质被引量：10
- 2009年
- 以二值命题逻辑的真度理论为基础,提出了基于真度理论的逻辑方程的概念,并给出了此种逻辑方程解的存在性定理,并就τ(A→X)=α的逻辑方程展开了讨论,其中,A是含有n个原子公式的合式公式,X是待定的公式,A的真度τ(A)=2kn,α=2mn,且1-τ(A)<α≤1。我们得到了如下结论:(1)以上逻辑方程的解的等价类个数为Cmk+k-2n.22n-k。(2)α≠1时,上述方程的解集合是不相容的。(3)解集合中公式的相似度最大值为1-21n,相似度的最小值为2n+1-2 2nm-k。(4)形如τ((A→X)∧(X→A))=α的逻辑方程其解集合是不相容的。
- 于鹏王国俊
- 关键词：真度相似度发散度逻辑方程
- 多重广义MP问题的三I真度解被引量：1
- 2011年
- 在二值逻辑系统中基于真度理论讨论了三I推理机制的意义,求出了真度理论下的多重广义MP问题的三I解,证明了该解与其形式解是等价的解,并推广得到了多重广义MP问题的α-三I真度解。
- 于鹏刘凤雏
- 关键词：二值逻辑三I算法
- (G,N)-蕴涵关于常见推理规则的可满足性
- 2024年
- 针对(G,N)-蕴涵是否满Modus Ponens、Modus Tollens和Hypothetical Syllogism等推理规则问题展开讨论,给出了几类常见t-模下,(G,N)-蕴涵满足相应推理规则的判定条件,为优化模糊推理算法的设计提供了参考依据.
- 李冉冉于鹏
- 关键词：三角模
- F（S）中的近似推理与三I算法的连续性
- 众所周知，数理逻辑是以符号化为特点的形式化理论，它注重形式推理而不重视数值计算，与此相反，数值计算的目的则在于借助各种手段，采用插值，迭代，差分或概率估算等方法研究各类问题，它所关注的是问题的求解以及求解的误差估计，而很...
- 于鹏
- 关键词：逻辑方程
- 文献传递
- 基于公式真度的公式集约简被引量：4
- 2010年
- 基于经典命题逻辑的真度理论,讨论了经典命题逻辑系统当中公式集的约简问题。提出了真度约简及α-真度约简的概念,为公式集的约简提供了一种可行的操作方法。
- 于鹏候再恩
- 扩展的Tanh函数展开法与广义KdV方程的精确解被引量：3
- 2009年
- 介绍了扩展的双曲函数展开法,利用该方法导出了广义的KdV方程的用Tanh函数表示的新的精确解,由此进一步推广了此方法的应用范围。
- 王三五于鹏
- 关键词：广义KDV方程精确解
- 现代信息技术在统计工作中的应用被引量：7
- 2015年
- 本文以现代信息技术在统计工作中的应用为研究对象,介绍了现代信息技术的构成、信息化背景下统计工作的特点,剖析了统计工作者在应用信息技术过程中遇到的问题和处理的策略。并就未来统计工作的发展趋势做出了预测,给出了应对方法。
- 于鹏刘凤雏
- 关键词：信息技术统计工作统计信息化云计算
- 一类涉及费波那奇数的无穷幂和的计算公式
- 2008年
- 利用第二类stirling数发生序列法研究了涉及费波那奇数的无穷幂和sum from k=0 to ∞(Fk)/(2k)km,并给出了此无穷幂和联系第二类stirling数的关于m的求和公式.
- 任小红胡明昊于鹏
- 关键词：等幂和第二类STIRLING数
- 具有扩散的广义Brusselator系统的Hopf分歧被引量：3
- 2011年
- 在齐次Neumann边界条件下,考虑广义Brusselator系统.首先讨论常微分系统Hopf分歧的存在性,得到渐近稳定的周期解.其次讨论具有扩散的偏微分系统,在扩散系数满足一定的条件下,得到超临界的Hopf分歧,并利用规范形理论和中心流形定理给出空间齐次周期解的渐近稳定性.最后,借助Matlab软件进行数值模拟,证明了定理的结论.同时,正平衡态解和空间非齐次周期解的描绘补充了理论分析结果.
- 郭改慧吴建华任小红于鹏
- 关键词：HOPF分歧扩散稳定性
