切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
条件Si类多项式的构造及其他
条件Si类多项式的构造及其他
来源 :广东教育学院学报 | 被引量 : 0次 | 上传用户:zhangbingcug
【摘 要】
:
讨论了条件Si类多项式的构造方法和逐次差分代换sds的加速,对锐角三角形不等式的差分代换证明算法agl进行了完善和补充.
【作 者】
:
刘保乾
【机 构】
:
西藏自治区组织编制信息中心
【出 处】
:
广东教育学院学报
【发表日期】
:
2009年5期
【关键词】
:
Si类多项式
差分代换
机器证明
Si class polynomial
difference replacement
mechanical proving
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
讨论了条件Si类多项式的构造方法和逐次差分代换sds的加速,对锐角三角形不等式的差分代换证明算法agl进行了完善和补充.
其他文献
二甲基乙二酰基甘氨酸促进骨髓间充质干细胞成骨分化
目的观察二甲基乙二酰基甘氨酸对骨髓间充质干细胞增殖和成骨分化的调控作用。化学性低氧模拟物(如二甲基乙二酰基甘氨酸)能够稳定低氧诱导因子,从而在骨髓间充质干细胞的增
期刊
二甲基乙二酰基甘氨酸
骨髓间充质干细胞
成骨分化
增殖
婴儿早期骨代谢生化指标与声波速度值和出生后年龄间的关系
目的探讨婴儿早期骨代谢生化指标与声波速度值和出生后年龄间的关系。方法采用骨定量超声(QUS)仪对167例出生3月内的婴儿进行胫骨声波速度(SOS)测量。其中包括53例早产儿(胎龄:32.6
期刊
婴儿
早产
超声检查
声波速度
骨碱性磷酸酶
Infant
premature
Ultrasonoyraphy
Speed of sound
Bo
椎体后凸成形术对相邻椎体影响的初步观察
目的通过观察随访利用椎体后凸成形术治疗椎体压缩骨折术后,患椎下一位相邻椎体高度在术前、术后的变化情况,为临床治疗提供参考依据。方法2003年6月~2008年4月采用美国Kyphon公
期刊
椎体压缩骨折
椎体后凸成形术
骨质疏松
Vertebral compressive fracture
Kyphoplasty
Osteoporosis
高校自然科学学报栏目设置探微
栏目是按照一定的分类将若干有共通性的稿件组织在一起的,它是支撑学报的骨架.目前高校学报自然科学学报的栏目设置还没有引起足够的重视,有的不设栏目,有的有栏无目,大部分只按一
期刊
高校自然科学学报
栏目设置
个性特色
journals of natural science in universities and colleges
col
大坡度长距离小断面引水隧洞掘进技术
引水隧洞是输水工程的重要组成部分之一,往往具有坡度大、单个工作面施工距离长、地质复杂、施工断面小,并且出渣难、通风难等特点,施工难度非常大,严重制约着隧洞掘进速度。
期刊
引水隧洞
小断面
大坡度
掘进技术
施工管理
高等院校以“评”促“创”人才培养模式探索
当前大学生素质测评存在问题,主要表现为过度侧重考试成绩、过多注重共性引导、重成果轻过程、测评指标体系匹配性差等方面.高等院校应建立以创新为核心的综合测评体系的有效途
期刊
高等院校
综合素质测评
创新人才
institutions of higher learning
comprehensive quality assessme
其他学术论文