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