王辉
- 作品数：8 被引量：1H指数：1
- 供职机构：商洛学院更多>>
- 发文基金：陕西省教育厅科研计划项目国家自然科学基金陕西省自然科学基金更多>>
- 相关领域：理学经济管理自动化与计算机技术更多>>
- Fibonacci数与Lucas数平方组合的一组恒等式
- 2007年
- 目的研究Fibonacci数与Lucas数平方组合的计算公式.方法初等方法.结果得到了关于Fibonacci数与Lucas数平方组合的一组恒等式,同时得到了Fibonacci数与Lucas数平方和与差以及Fibonacci数平方、Lucas数平方的计算公式.结论此方法将被用于其他数列的研究,并为Fibonacci数与Lucas数的研究提供了新的思路。
- 刘端森朱白王辉
- 关键词：FIBONACCI数LUCAS数恒等式
- 带利息力和交易费用的风险模型的最优分红策略
- 2014年
- 研究了保险精算中带利息力和交易费用的经典风险模型的最优分红策略问题,认为:在分红约束的情况下,以股东的折现分红减去惩罚折现注资的差的期望值最大化为目标,利用随机控制理论建立相应的HJB方程,最终得到相应的解,并得出最优分红策略,是Threshold策略.
- 岳毅蒙赵锐王辉
- 关键词：分红策略随机控制HJB方程
- 关于契贝谢夫多项式及三角函数的一些恒等式
- 2008年
- 目的研究第一类、第二类契贝谢夫多项式的一些恒等式.方法初等方法.结果得到了三角函数的一些非常有趣的恒等式.结论此方法将被用于其他正交多项式的研究,并为三角函数的研究提供了新的思路.
- 李超王辉朱白
- 关键词：初等方法契贝谢夫多项式三角函数恒等式
- L-拓扑空间的O_s-r连通性的樊畿定理
- 2009年
- 木文利用r-远域给出Os-r连通性的樊畿定理型刻画.
- 姜金平王小霞王辉
- 关键词：L-拓扑空间樊畿定理
- 因子分析在商洛市农业产业结构分析中的应用
- 2011年
- 用因子分析综合评价方法对商洛市从1949～2008年农业产业数据进行分析,综合概括出优势产业和产值、产量、大牲畜、油料等综合因子对商洛市农业发展的影响,并用定量方法描述了商洛市农业产业结构的主要特征。
- 李粉红李超王辉
- 关键词：综合评价农业结构
- 论习近平精准扶贫思想的三个维度
- 2021年
- 精准扶贫是新时代习近平扶贫思想的新发展,习近平精准扶贫思想蕴涵三重维度:一是目的维度,不落一个,旨在实现“共同富裕”“全面小康”;二是方法维度,实施“精准战略”使帮扶到户到人,拔掉穷根,分类分批实现脱贫;三是价值维度,具有大国担当,其时代价值既体现在它是中国打赢脱贫攻坚战的指南,也反映在中国对全球贫困治理的贡献上。三者有机统一,创造性地回答了新时代“为何扶贫”“何以扶贫”以及“如何扶贫”等关键问题,是进一步做好巩固脱贫成果与乡村振兴有效衔接的强大动力。
- 杨宪华王辉王攀
- 关键词：维度
- 并发系统互斥约束的形式化验证
- 2011年
- 并发系统的模型是其性能评价、仿真、作业调度及控制的研究基础。互斥是并发系统最重要的性质之一,建立了具有互斥约束系统的一般数学模型———互斥模型。将模型互斥性分解为安全性、活性和无阻性约束,形式化规约成LTL公式;给出了基于不动点的互斥模型的模型检测算法。并结合实例进行了互斥模型的形式化验证,给出了模型精化改进的详细过程。随着并发系统进程增加,不动点模型检测算法会面临状态爆炸问题,给出了另一种基于布尔公式的BDD(二叉决策树)运算下的符号化模型检测方法,有效地缓解了状态爆炸问题。
- 鱼先锋王辉
- 关键词：不动点BDD
- 关于阿基米德牛群问题及与之有关的Pell方程被引量：1
- 2011年
- 公元前251年阿基米德提出的太阳神牛群问题,至今仍是数学研究的一个热点问题,关于该问题的研究促进了初等数论和代数数论的发展,得到了许多有意义的结果。鉴于此,在Ather和Lenstra有关研究的基础上,利用初等方法给出了一个比较简洁的解答。
- 王念良杨全王辉
- 关键词：PELL方程初等方法
