重庆市科技攻关计划(cstc2012ggB40004)
- 作品数：8 被引量：22H指数：2
- 相关作者：吴文渊冯勇李轶李文康陈长波更多>>
- 相关机构：中国科学院重庆绿色智能技术研究院重庆邮电大学中国科学院大学更多>>
- 发文基金：重庆市科技攻关计划国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 非线性循环及R^m上线性循环的终止性判定被引量：1
- 2013年
- 为了研究程序设计中的软件可信性问题,分析了非线性单重循环程序While x∈Ωdo{x:=f(x)}end当Ω为有限个互不相交的闭区间之并时的终止性,证明该终止性在一定条件下可以由周期轨道的存在性加以判别,给出了确定条件下此类程序不终止的充分必要条件,并建立了相应的判定程序。进一步,利用Brower不动点定理及凸分析的理论,在Rm上建立了当循环条件Ω是有限个互不相交的闭凸集之并时线性循环程序终止性判定的方法。
- 陈敬敏
- 关键词：终止性分析
- 有界闭域上的线性赋值循环终止性分析
- 2014年
- 对有界闭域上的线性赋值循环程序终止性问题进行研究.利用Jordan标准型技术将原循环程序的终止性问题约减为终止性等价的具有简单结构的循环程序的终止性问题.证明了当线性迭代映射满足一定条件时,该类循环程序不可终止的充分必要条件是:迭代映射在有界闭域上有不动点或周期轨.
- 李轶吴文渊冯勇
- 关键词：可信计算终止性分析JORDAN标准型
- STL文件的法向量错误修复被引量：2
- 2015年
- 为了修复STL文件中的法向量错误,首先将有法向量错误的三角面片所围成的轮廓分为单个环、相连环以及环中环三种类型;然后采用如下的步骤来修复错误:找到所有有法向量错误的三角面片的边界边,找出边界边形成的封闭环,标记封闭环内的三角面片,使封闭环内的三角面片的法向量反向。最后实现了所提的法向量修复算法,并用例子验证了算法的正确性。该方法可用于STL文件的错误检测和修复中。
- 李文康陈长波吴文渊
- 关键词：STL文件3D打印
- 线性循环程序的终止性判定被引量：1
- 2013年
- 对赋值矩阵仅为一个Jordan块的特殊线性循环,构造了不可终止点集的一个子集,证明了此类循环的终止性可仅由该子集是否为空来判定.除此之外,该类循环的终止性被证明也可通过比较几个系数的符号来判定.而对一般的线性循环程序,提出了递归判定算法,使得这类循环的终止性可转化为上述特殊循环的终止性判定.最后,对N-不可终止点,给出了计算N的方法.
- 李轶
- 关键词：可信计算终止性分析
- 一种识别关联维数无标度区间的新方法被引量：3
- 2015年
- 在计算关联维数过程中,为了减少人为因素识别无标度区间带来的误差,提出一种基于模拟退火遗传模糊C均值聚类识别无标度区间的新方法.该方法根据无标度区间对应曲线的二阶导数在零附近波动的变化特征,利用分类算法进行识别.首先对双对数关联积分的离散数据进行二阶差分;然后利用模拟退火遗传模糊C均值聚类方法对该数据进行分类,选出在零附近波动的数据;再剔除粗大误差保留有效数据;最后进行统计分析识别出线性度最好的作为无标度区间.应用新方法对两个著名的混沌系统Lorenz和Henon进行了仿真,计算结果与理论值非常符合.实验表明,所提出的新方法与主观识别、K-means和2-means方法比较,可以有效自动识别无标度区间,减少误差,计算结果更加精确.
- 周双冯勇吴文渊
- 关键词：关联维数分形模糊聚类
- 微分代数系统中分块快速指标约简的启发式算法被引量：2
- 2014年
- 为了高效地优化多领域统一建模仿真软件中稀疏微分代数方程的指标约简技术,提出了一种分块快速指标约简的启发式算法。它的主要思想是将微分代数方程的符号矩阵进行块状上三角化,然后沿每一独立块状上三角化的子符号矩阵对角线方向,由上往下依次对其每一对角子方阵运用含参数Pryce方法进行指标约简。大量数值实验结果表明,分块快速指标约简方法可以求出微分代数方程的最优偏移向量,其效率明显优于Pryce方法的效率,效率提高倍数与对角子方阵块数成正相关。进一步以数控冲床为例,对其微分代数方程采用分块快速指标约简算法进行指标约简,验证了该方法高效地解决了较大规模高指标微分代数方程的指标约简问题,便捷地获得了该系统的最优偏移向量等结构信息。
- 唐卷杨文强吴文渊冯勇
- 关键词：微分代数方程数控冲床
- 有效保留模型特征的自适应分层算法被引量：14
- 2015年
- 针对3D打印中已有自适应分层算法不能有效保留模型特征的问题,提出了一种新的识别和保留模型特征的自适应分层算法。首先,扩展了模型特征的定义,引入了模型特征丢失和偏移的概念;然后,提出了一种特征识别的方法,其识别模型特征的关键在于利用了模型特征出现的地方必然伴随着模型表面复杂度或切片轮廓数的变化这一性质;最后,在已有自适应分层算法的基础上,通过在特征附近用最小的分层厚度处理模型来保留模型的特征。在自主开发的软件Slicer3DP上实现了均匀分层、自适应分层和所提的分层算法,对比发现所提算法能有效解决模型特征的丢失和偏移,兼顾了分层精度和效率。仿真表明该算法可以用于对模型精度要求较高的3D打印中。
- 李文康陈长波吴文渊
- 关键词：3D打印自适应分层
- 一类带初始输入的线性循环终止性分析
- 2014年
- 针对带初始输入的2维齐次线性循环的终止性问题进行研究。通过分析该类循环所有非终止点组成集合(即NT集)的性质,将该类循环NT集的构造问题转化为一类非线性优化求解问题,并给出了此类优化问题的数学模型。最终,通过验证该类循环的初始输入是否位于所构造的NT集合内,判定了带初始输入的2维齐次线性循环的终止性,并建立了用来完备判定该类循环终止性的算法。
- 李轶李传璨吴文渊
