廖苑蓉

作品数：3被引量：1H指数：1
导出分析报告
供职机构：桂林电子科技大学更多>>
发文主题：终止性代数方法多元线性模型主成分因变量更多>>
发文领域：自动化与计算机技术理学更多>>
发文期刊：《微电子学与计算机》《桂林电子科技大学学报》更多>>
所获基金：国家自然科学基金广西可信软件重点实验室开放基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一类非线性循环程序的终止性
《微电子学与计算机》2013年第11期51-55,共5页廖苑蓉 陈光喜 
国家自然科学基金项目(60963024);广西可信软件重点实验室开放基金
提出一类非线性循环程序的终止性是可以判定的.该类程序的终止性与其赋值矩阵的正特征值相对应的特征向量有关.然后提出了一种新的判定这类程序终止性的方法,该方法跟循环迭代的次数和变量的初始赋值息息相关.通过这个方法,不但能判定...
关键词：非线性循环程序 终止性 程序验证 JORDAN标准型 
多因变量多元线性模型主成分型预测的最优性判别被引量：1
《桂林电子科技大学学报》2013年第5期412-415,共4页黄云腾 朱宁 廖苑蓉 张立强 
国家自然科学基金(71001015)
针对多因变量多元线性模型有偏预测问题,结合主成分估计,构造主成分型预测量。通过主成分型预测与最优线性无偏预测的最优性判别问题进行分析,分别得到了主成分型预测在R(i)(·)准则、MDE-准则及RT(·)下优于最优线性无偏预测的充分条...
关键词：多因变量多元线性模型 最优线性无偏预测 主成分型预测 
程序正确性验证的代数方法及其研究进展
《桂林电子科技大学学报》2013年第1期49-55,共7页廖苑蓉 陈光喜 
广西可信软件重点实验室开放基金(KX201213)
程序的完全正确性包括程序的部分正确性和终止性,为了提高程序验证的正确性,介绍了程序正确性的验证方法,包括基于公理化验证程序的完全正确性,基于不动点定理、特征值理论、秩函数、有限差分等验证程序的终止性。最后,总结了各种验证...
关键词：程序正确性 终止性 不动点 秩函数 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部