李义年
- 作品数：4 被引量：2H指数：1
- 供职机构：武汉理工大学理学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：理学自动化与计算机技术更多>>
- 基于广义符号轨迹赋值模型验证的反例的产生被引量：1
- 2010年
- 广义符号轨迹赋值(Symbolic Trajectory Evaluation)引入了符号变量和抽象技术,解决了验证中状态爆炸的问题,但是却为寻找反例制造了很多障碍。针对此,提出了一种高效的寻找反例的算法,它应用集合的概念,通过回溯在父子路径之间进行集合的交集,可以高效地解决抽象引起的问题。并对此算法进行改进,解决了符号变量带来的问题。
- 李义年曹占涛郑德生杨国武
- 关键词：反例形式化验证
- 一类半线性时变常微分方程解的分布
- 2010年
- 研究了一类赋初值的半线性时变常微分方程在不同参数条件下方程的正解和负解的分布情形及其渐进性质.通过Matlab数值分析,直观地展示了该类半线性时变常微分方程解的分布.
- 李义年杨国武
- 汽车保险中奖惩系统的马尔可夫分析被引量：1
- 2010年
- 利用马尔可夫分析,求出了驾驶员最终处于奖惩系统各阶上的概率,同时,马尔可夫分析还可以判断出在确定代表驾驶员实际风险的调整保费时奖惩系统的功效,并举例给出了求解奖惩系统的稳态保费及Loimaranta功效具体的计算方法.
- 李义年
- 关键词：奖惩系统
- 完备流形上射线的密度函数与拓扑
- 2009年
- 借助于临界点理论和亏函数的估计,得到了非负截曲率以及截曲率有下界的完备非紧流形微分同胚于欧氏空间的一些新的条件.并证明了下面的结果:完备非紧非负截曲率Riemann流形上,若对某个常数r_0>0,当r≤r_0,密度函数<2^(1/2)r,则该流形微分同胚于欧氏空间;完备非紧截曲率有下界的Riemann流形上,若对某个常数r_0>0,当r≤r_0,密度函数小于某个比较函数,当r>r_0时,直径增长小于另一无关的比较函数,则该流形微分同胚于欧氏空间.
- 李义年吴绪权
- 关键词：完备流形射线微分同胚
