李轶
- 作品数：10 被引量：11H指数：3
- 供职机构：电子科技大学更多>>
- 发文基金：国家重点基础研究发展计划国家自然科学基金中国科学院知识创新工程重要方向项目更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 一类半正定多项式的配平方和算法被引量：5
- 2008年
- 以牛顿多胞型技术为基础,根据牛顿多胞型中的点与点之间的相关性,给出了直接搜索多项式配平方和所需的最基本的项集X_s的算法,利用精确的符号算法PCAD,可将一类半正定多项式配成平方和,并编写了Maple程序"ASSOS",实现了多项式配平方和的自动生成.由多项式结构的稀疏性,此算法更能有效处理稀疏多项式.这一算法提高了多项式配平方和的效率,从而促进了一类代数不等式可读性证明的自动生成.除此之外,还给出了多项式不能表示为平方和的一个充分条件.
- 李轶
- 一种分布式光纤温度报警器
- 本发明公开了一种分布式光纤温度报警器，包括第一光源、第二光源、偏振分束器、环形器、感温光纤、波分复用器、光电探测器、信号采集模块、通信模块以及数据处理模块，基于光纤径向折射率差变化。第一光源和第二光源发出信号光，利用感温...
- 张猛李轶郑元伟陆飙李由撒兴杰熊铖任阳阳张菡龙诺亚王另李柏森刘晓波杨吉翔黎皓吕健张祥忠王子南饶云江
- 文献传递
- 分布式光纤振动传感系统距离延伸技术的研究
- 振动是生活中最广泛的现象之一,在桥梁大坝、民用建筑、石油管道和安防等领域对振动信号的测量,对确保安全、守护财产都有十分重要的意义。分布式振动传感系统可以实现沿光纤分布的振动信号的测量,具有灵敏度高、系统响应快、易于安装等...
- 李轶
- 文献传递
- 非线性循环的终止性分析被引量：2
- 2012年
- 单重线性循环程序的终止性问题已被广泛研究,而有关非线性循环终止性判定的结果甚少.利用不动点理论研究了n维单重非线性循环的终止性问题,并建立了相应的符号判定算法.同时,对几类特殊循环的终止性进行了分析,得出了相应的结论.
- 李轶
- 关键词：可信计算终止性分析
- 线性程序的Ranking函数自动合成被引量：1
- 2009年
- 针对判定一个程序终止性的经典方法Ranking函数法,运用半代数系统的概念,把程序终止性问题转换为求半代数系统的Ranking函数。然后运用符号计算工具DISCOV-ERER和Farkas引理,求出函数参数存在的充分必要条件,并根据符号计算理论的方法自动合成Ranking函数。通过计算代数理论的证明和试验的验证,并与其他方法做了比较,这种方法是高效合理的。
- 李骏李轶冯勇秦小林
- 关键词：程序终止性
- 基于降维的并行符号行列式计算
- 2007年
- 为了更有效地计算科学与工程领域所涉及的大量符号行列式计算,基于降维算法和并行行列式计算,呈现了一个混合的符号行列式计算算法。新算法将多变元的符号行列式转化为仅有两个变元的并行行列式计算。更重要的是,新算法大大提高了原并行算法的并行度。实验结果表明,新算法有效地减少了中间过程的膨胀,因此更能处理多变元的且阶数较高的符号行列式。
- 李轶
- 关键词：降维算法并行计算结式
- 一类循环条件非线性的程序终止性被引量：4
- 2009年
- 针对Tiwari提出的线性循环程序的终止性判定问题,提出了循环条件为齐次多项式的非线性程序的不可中止性判定的理论证明,然后将程序终止性判定问题转化为参数半代数系统的求解。在求解中,借助强有力的代数符号工具DISCOVERER,解决了计算机浮点计算所造成的近似误差,精确地判定这类程序的不可终止性。最后,通过计算代数理论,把循环条件推广到了非齐次多项式,并且进行了验证。通过理论的证明和实验的验证,解决循环条件是非线性的一类循环程序的方法是高效合理的。
- 李骏李轶冯勇
- 关键词：终止性JORDAN标准型
- 一种分布式光纤温度报警器
- 本实用新型公开了一种分布式光纤温度报警器，包括第一光源、第二光源、偏振分束器、环形器、感温光纤、波分复用器、光电探测器、信号采集模块、通信模块以及数据处理模块，基于光纤径向折射率差变化。第一光源和第二光源发出信号光，利用...
- 张猛李轶郑元伟陆飙李由撒兴杰熊铖任阳阳张菡龙诺亚王另李柏森刘晓波杨吉翔黎皓吕健张祥忠王子南饶云江
- 文献传递
- 多区间上非线性程序的终止性判定被引量：3
- 2011年
- 主要解决了如下形式的程序的终止性判定的问题:wh ile(x∈Ω)do{x:=f(x)}end,其中,x为程序变元,Ω(Ω=(a1,b1‖∪‖a2,b2‖∪…∪‖an,bn),其中,‖∈{(,),[,]},n∈N*)是间段并集,f是一个多项式函数。证明了:当φ(b1)φ(a2)>0,…,φ(bn-1)φ(an)>0(其中,φ(x)=f(x)-x)时,这类区间上的非线性程序不终止的必要条件是:在Ω内部或者边界上存在不动点。如果不动点仅仅在Ω内部,则上述结果是充要条件。通过添加一定的约束条件,对于仅区间边界有不动点的情况,也给出了判定的方法。对一类多项式函数的终止性给出了完备性的算法(TNPSI)。
- 牟琳李轶李玲娜刘栋
- 关键词：计算机代数不动点
- 有理单变元表示在优化问题上的应用被引量：1
- 2009年
- 利用零维多项式系统的有理单变元表示,给出了求多项式在有限点集上的正性判定算法.同时,结合不等式证明,呈现了目标函数在零维系统约束下最优化的一个纯代数算法,从而将多元函数约束优化问题转化为单变元函数在单变元多项式约束下的优化问题.新算法不仅能处理目标函数为多项式的最优化问题,而且还能处理目标函数为有理分式函数和根式函数的的最优化问题,并且给出了目标函数最优值的精确区间表示,使得能任意精度地逼近最优值.
- 李轶
