廖苑蓉
- 作品数:4 被引量:1H指数:1
- 供职机构:桂林电子科技大学更多>>
- 发文基金:国家自然科学基金广西可信软件重点实验室开放基金更多>>
- 相关领域:自动化与计算机技术理学更多>>
- 程序正确性验证的代数方法及其研究进展
- 2013年
- 程序的完全正确性包括程序的部分正确性和终止性,为了提高程序验证的正确性,介绍了程序正确性的验证方法,包括基于公理化验证程序的完全正确性,基于不动点定理、特征值理论、秩函数、有限差分等验证程序的终止性。最后,总结了各种验证方法的研究现状以及未来发展。
- 廖苑蓉陈光喜
- 关键词:终止性不动点秩函数
- 一类程序终止性分析的代数方法
- 当今时代,计算机已经成为人们工作生活必不可少的工具。计算机及其软件使用已经渗透到人类活动的各个领域,软件作为计算机功能实现的核心要素,使得设计高可信软件成为计算机领域日益关注的问题。而软件验证作为高可信软件设计的重要部分...
- 廖苑蓉
- 关键词:计算机程序终止性分析代数方法有限差分
- 文献传递
- 一类非线性循环程序的终止性
- 2013年
- 提出一类非线性循环程序的终止性是可以判定的.该类程序的终止性与其赋值矩阵的正特征值相对应的特征向量有关.然后提出了一种新的判定这类程序终止性的方法,该方法跟循环迭代的次数和变量的初始赋值息息相关.通过这个方法,不但能判定这一类程序是否终止,还能对不是所有初始值都终止的程序,给出能使该程序终止的初值建议.
- 廖苑蓉陈光喜
- 关键词:终止性JORDAN标准型
- 多因变量多元线性模型主成分型预测的最优性判别被引量:1
- 2013年
- 针对多因变量多元线性模型有偏预测问题,结合主成分估计,构造主成分型预测量。通过主成分型预测与最优线性无偏预测的最优性判别问题进行分析,分别得到了主成分型预测在R(i)(·)准则、MDE-准则及RT(·)下优于最优线性无偏预测的充分条件。结果表明,在一定条件下,有偏的主成分型预测优于最优线性无偏预测。
- 黄云腾朱宁廖苑蓉张立强