首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   2篇
  完全免费   2篇
  自动化技术   4篇
  2019年   1篇
  2012年   1篇
  2007年   1篇
  2001年   1篇
排序方式: 共有4条查询结果,搜索用时 15 毫秒
1
1.
薛锐 《软件学报》2001,12(7):1088-1093
推广VolkerWeispfenning关于正的有序实数加法理论的量词消去方法,得到有序实数加法理论的一个量词消去的判定过程.在此基础上构造出一个新的、更为精细的判定方法.并且利用这一结果证明了固定量词长度的子类属于相应计算复杂性的多项式谱.与E.D.Sontag的类似结论比较,从这种简洁的方式可以得到一个较优的结果.这个结果实际上将N.Megiddo的关于正实数理论的结论推广到了一般实数理论.  相似文献
2.
针对目前大部分几何作图软件只能处理等式约束的不足,设计并实现一种基于可处理不等式约束的动态几何自动作图软件GeoDraw。该软件应用符号和数值混合计算,将构造式和生成式作图方法相结合,可以有效地生成含有不等式约束的动态几何图形,能通过鼠标点击和拖拽图形中的自由元素改变更新图形,并且在图形变化中动态地保持几何约束关系,主要应用于几何教学与研究。整个作图过程包括Maple中的三角分解,QEPCAD中的实量词消去以及Java中的语义解析、数值计算和图形生成等,且是完全自动的。  相似文献
3.
安杰  张苗苗 《软件学报》2019,30(7):1953-1965
时段演算是描述和推导嵌入式实时系统和混成系统性质的一种区间时态逻辑.扩展线性时段不变式是时段演算的重要子集.针对实时自动机,提出一种连续时间语义下扩展线性时段不变式的有界模型检验方法.该方法将扩展线性时段不变式的有界模型检验问题转化为量词线性算术公式的正确性问题,从而可以采用量词消去技术进行求解.首先,运用符号化的思想,在实时自动机上利用深度优先搜索找到所有满足观测时长约束的符号化路径片段;然后,将每条符号化路径片段转化为一个量词线性算术公式;最后,利用量词消去工具求解.与已有工作相比,基于实时自动机设计了验证算法.另外,降低了验证复杂度,并且加速了验证过程的实际速度.  相似文献
4.
吴素萍  王定康 《微计算机信息》2007,23(32):251-252,293
机器人技术中的碰撞问题可以被表示成量词消去问题,但由于有些碰撞问题的复杂性使得这些问题在单个微机上求解需要花费的时间很长或者根本就解不出来。本文提出了基于分布Maple系统下量词消去算法的并行化.并针对分布Maple系统的特点以及算法的特点,通过实例分析,给出了两种并行策略,以达到在Maple软件环境下提高处理器利用率,提高量词消去算法的效率的目的。  相似文献
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号