检索结果-内蒙古大学图书馆

系统科学与数学 2017年第7期37卷 1704-1721页

作者：王砺磊曾霞林望陈鑫杨争峰华东师范大学上海市高可信计算重点实验室上海200062 温州大学数学与信息科学学院温州325035 中国科学院数学与系统科学研究院数学机械化重点实验室北京100190 南京大学计算机软件新技术国家重点实验室南京210023

现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复... 详细信息

现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复杂非线性约束难以求解的问题,采用基于低秩矩量矩阵恢复的多项式系统求解方法,该方法对于含有等式和不等式的多项式系统,相较于其他方法求解速度更快,更适合大规模问题的求解;对于浮点约束求解不准确的问题,采用基于区间分析的验证算法来计算包含精确实解的区间,基于该区间给出测试用例,可以避免浮点计算的不准确和异常.结合该算法和符号执行工具KLEE-FP实现了一个测试用例自动生成工具ATCase(automatically generate test case),它能够分析数值程序中的路径并自动生成满足路径约束的测试用例.在两个开源软件库中的2两个复杂的真实程序上运行的实验结果表明ATCase相比KLEE-FP所使用的STP求解器,能快速生成具有更高覆盖率的测试用例,特别是在处理相对复杂的非线性约束时,优势更加明显.

关键词：测试用例自动生成符号执行多项式系统实根求解低秩矩量矩阵恢复.

来源：评论

学校读者我要写书评

暂无评论

SL(4)与SO(3,3)之间的一个对应关系及其在直线几何中应用

SL(4)与SO(3,3)之间的一个对应关系及其在直线几何中应用

引用

第六届全国计算机数学学术会议

作者：董磊黄雷李洪波中国科学院数学与系统科学研究院数学机械化重点实验室

关于直线几何学,我们的研究进展如下：一、给出了SL(4)到SO(3,3)的一个双重覆盖同态映射,并给出了SO(3,3)中元素在此映射下的原像.用四维齐次坐标表示三维射影空间P3中的一个点,这样P3上一个非退化线性变换Φ将P3中一个点变成(另)一个点...

关于直线几何学,我们的研究进展如下：一、给出了SL(4)到SO(3,3)的一个双重覆盖同态映射,并给出了SO(3,3)中元素在此映射下的原像.用四维齐次坐标表示三维射影空间P3中的一个点,这样P3上一个非退化线性变换Φ将P3中一个点变成(另)一个点,这个非退化线性变换关于P3的一个基e0,e1,e2,e3的矩阵A也非退化,不妨设其行列式为1,即设其为SL(4)中的元素,这里SL(4)={A∈R4×4|det(A)=1}.该线性变换还把三维空间中直线变成直线,当直线用其Plüker坐标表示时,线性变换φ就诱导出六维线性空间上的一个线性变换ψ,ψ在基e01,e02,e03,e23,e31,e12下的矩阵为B.可以证明B∈SO(3,3),这里SO(3,3)={M∈R6×6|MTJ6M=J6,det(M)=1},其中J6=(OI3 I3O),I3是三阶单位矩阵.

关键词：

来源：评论

学校读者我要写书评

暂无评论

二维格的覆盖半径

引用

系统科学与数学 2012年第7期32卷 908-914页

作者：姜宇鹏邓映蒲潘彦斌中国科学院数学与系统科学研究院数学机械化重点实验室北京100190

求格的覆盖半径是一个经典的困难问题,当格的维数不固定时,这个问题还没有非确定性的多项式时间的算法.已知的算法都是通过求Voronoi cell来计算覆盖半径,对于二维格,文章利用高斯算法给出了一个确定性的多项式时间的算法来求覆盖半径以... 详细信息

求格的覆盖半径是一个经典的困难问题,当格的维数不固定时,这个问题还没有非确定性的多项式时间的算法.已知的算法都是通过求Voronoi cell来计算覆盖半径,对于二维格,文章利用高斯算法给出了一个确定性的多项式时间的算法来求覆盖半径以及deepholes.

关键词：基于格的密码 deep hole 覆盖半径高斯算法

来源：评论

学校读者我要写书评

暂无评论

理性密钥共享的扩展博弈模型

引用

中国科学：信息科学 2012年第1期42卷 32-46页

作者：张志芳刘木兰中国科学院数学与系统科学研究院数学机械化重点实验室北京100190

理性密钥共享体制通过引入惩罚策略使得参与者不会偏离协议,常采用的惩罚是一旦发现有人偏离就立即终止协议.这种惩罚策略有时导致惩罚人自身利益严格受损,从而降低了对被惩罚人的威慑.为了克服这一弱点,本文以扩展博弈为模型分析了理... 详细信息

理性密钥共享体制通过引入惩罚策略使得参与者不会偏离协议,常采用的惩罚是一旦发现有人偏离就立即终止协议.这种惩罚策略有时导致惩罚人自身利益严格受损,从而降低了对被惩罚人的威慑.为了克服这一弱点,本文以扩展博弈为模型分析了理性密钥共享体制.首先给出(2,2)门限的理性密钥共享体制,证明了所给的协议是该博弈的一个序贯均衡,即经过任何历史之后坚持原协议仍然是每一个参与者的最优选择.特别地,在发现有人偏离后,协议所给出的惩罚策略既可以有效惩罚偏离者又能够完全维护惩罚人的利益.这是本文对前人设计的理性密钥共享体制的一个重要改进.然后针对将协议扩展到(t,n)门限情形,实现密钥分发人离线,达到计算的均衡等相关问题给出了一般的解决方案.

关键词：理性密钥共享扩展博弈序贯均衡博弈论密码学

来源：评论

学校读者我要写书评

暂无评论

多变元q-超几何项的乘法分解

引用

系统科学与数学 2012年第8期32卷 1019-1032页

作者：陈绍示冯如勇付国锋康劲北卡罗莱纳州立大学数学系罗利27695 中国科学院数学与系统科学研究院数学机械化重点实验室北京100190

将Ore-Sato定理的q-模拟由非混合情形推广到混合情形,证明了可驯条件下,混合q-超几何项可以分解为有理函数与q-阶乘项的乘积.

关键词： q-超几何项 q-阶乘项乘法分解结构定理

来源：评论

学校读者我要写书评

暂无评论

微型扑翼飞行器系统设计与实现

微型扑翼飞行器系统设计与实现

引用

第三十一届中国控制会议

作者：姜哲苏刚中国科学院系统控制重点实验室中国中国科学院数学与系统科学研究院国家数学与交叉科学中心中国科学院沈阳自动化研究所机器人学国家重点实验室

本文以微型扑翼飞行器为研究对象,详细描述了微型扑翼飞行器的机构设计与控制器设计。选用X翼型设计微型扑翼飞行器的翅膀。采用软木与碳纤维结合的方法制作飞行机器人机体。设计微型扑翼飞行机器人气动力测试系统,并分析了该系统用于... 详细信息

本文以微型扑翼飞行器为研究对象,详细描述了微型扑翼飞行器的机构设计与控制器设计。选用X翼型设计微型扑翼飞行器的翅膀。采用软木与碳纤维结合的方法制作飞行机器人机体。设计微型扑翼飞行机器人气动力测试系统,并分析了该系统用于微型扑翼飞行机器人气动力测试的实测推力和升力。最后通过飞行测试,给出飞行器的指标。

关键词：扑翼飞行器 X翼气动力

来源：评论

学校读者我要写书评

暂无评论

数控机床高速微线段插补算法与自适应前瞻处理

引用

中国科学：技术科学 2011年第6期41卷 774-789页

作者：张立先孙瑞勇高小山李洪波中国科学院数学与系统科学研究院数学机械化重点实验室北京100190 中国科学院研究生院北京100049

数控加工在机械制造领域具有举足轻重的作用,如何在满足加工精度和机床加速度约束的前提下提高加工速度是数控加工的一个关键问题.在由G01代码产生的连续微小直线段加工中,通过线段连接处的速度是制约加工速度的瓶颈.本文提出一种在直... 详细信息

数控加工在机械制造领域具有举足轻重的作用,如何在满足加工精度和机床加速度约束的前提下提高加工速度是数控加工的一个关键问题.在由G01代码产生的连续微小直线段加工中,通过线段连接处的速度是制约加工速度的瓶颈.本文提出一种在直线加减速方式下,满足加工精度要求,充分利用机床各驱动轴最大加速能力用多个插补周期进行拐角过渡的方法,来提高线段连接处的通过速度.该方法在一定意义下实现了时间最优加工.本文还提出一种新的前瞻处理与动态修调方法,有效提高了整体加工速度.以上算法在蓝天数控系统上进行了实际加工验证.与若干已有算法相比,根据机床加工参数不同,加工速度提高了50%～180%;同时获得较好的加工质量;算法能够满足实时在线加工需求.

关键词：数控机床微线段多周期过渡前瞻处理实时插补修调

来源：评论

学校读者我要写书评

暂无评论

代数免疫度为1的布尔函数

引用

系统科学与数学 2011年第5期31卷 512-518页

作者：涂自然邓映蒲河南科技大学数学与统计学院洛阳471003 中国科学院数学与系统科学研究院数学机械化重点实验室北京100190

布尔函数的代数免疫度是在流密码的代数攻击中所产生的重要概念.研究了代数免疫度为1的布尔函数,得到的主要结果有:对代数免疫度为1的布尔函数给出了一个谱刻画,给出了其个数的精确计数公式,最后给出了此类函数的非线性度的紧的上界.

关键词：代数攻击代数免疫度布尔函数非线性度

来源：评论

学校读者我要写书评

暂无评论

关节特征约束的3维模型骨架提取算法

引用

中国图象图形学报 2011年第4期16卷 660-665页

作者：韩丽楚秉智辽宁师范大学计算机与信息技术学院大连116029 中国科学院数学与系统科学研究院数学机械化重点实验室北京100190

根据多分辨率Reeb图（MRG）的原理，提出一种基于关节特征约束的骨架优化算法。它克服了基于曲率约束提取骨架方法中逐点计算顶点的曲率约束轮廓的低效性，通过分析网格顶点的离散高斯曲率，获取模型表面上具有凹陷特性的双曲极值点作... 详细信息

根据多分辨率Reeb图（MRG）的原理，提出一种基于关节特征约束的骨架优化算法。它克服了基于曲率约束提取骨架方法中逐点计算顶点的曲率约束轮廓的低效性，通过分析网格顶点的离散高斯曲率，获取模型表面上具有凹陷特性的双曲极值点作为约束点，进行关节特征区域的有效提取。进而增加关节特性点，优化MRG骨架。实验结果表明，本方法有效地突出了模型的拓扑分支特征以及模型表面的细节，提高了骨架提取的精度和效率。

关键词：多分辨率Reeb图(MRG) 高斯曲率骨架提取关节特征

来源：评论

学校读者我要写书评

暂无评论

数控加工中的二次曲线拟合与最优插补控制算法

引用

中国科学：信息科学 2011年第11期41卷 1388-1400页

作者：张梅闫伟袁春明王定康高小山中国科学院数学与系统科学研究院数学机械化重点实验室北京100190 中国石油勘探开发研究院北京100083

本文提出一种基于二次B样条曲线对G01代码的拟合及插补方法,先通过自适应方法选取G01代码所描述的加工轨迹形状特征的各个特征点,再用通过所有特征点的二次B样条曲线拟合待加工路径.由于Timar等人提出的最优速度规划算法对于三次及三次... 详细信息

本文提出一种基于二次B样条曲线对G01代码的拟合及插补方法,先通过自适应方法选取G01代码所描述的加工轨迹形状特征的各个特征点,再用通过所有特征点的二次B样条曲线拟合待加工路径.由于Timar等人提出的最优速度规划算法对于三次及三次以上的高阶次样条曲线的计算极为复杂,本文提出了一种改进的基于二次B样条曲线的时间最优插补计算方法.最后,将所提出的算法应用到实际的图案加工仿真与实际数控加工中.

关键词：二次B样条速度规划 G01代码最优插补

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：