切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
反演关系的机械化证明
反演关系的机械化证明
来源 :大连理工大学学报 | 被引量 : 0次 | 上传用户:r9kobe24
【摘 要】
:
反演关系是组合论中的一个重要内容,其证明十分繁杂,又要求很高的技巧,将近几年刚刚发展起来的证明组合恒等式的WZ方法运用到反演关系的证明中,从而给出了两类反演关系的机械化证明
【作 者】
:
王天明
【机 构】
:
大连理工大学应用数学系
【出 处】
:
大连理工大学学报
【发表日期】
:
2000年1期
【关键词】
:
组合数学
WZ方法
反演关系
机械化证明
combinational mathematics/WZ method inverse relation mechan
【基金项目】
:
国家自然科学基金资助项目 !(1 93 71 0 1 6 )
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
反演关系是组合论中的一个重要内容,其证明十分繁杂,又要求很高的技巧,将近几年刚刚发展起来的证明组合恒等式的WZ方法运用到反演关系的证明中,从而给出了两类反演关系的机械化证明方法。
其他文献
电阻法探测A1和A1—Cu合金形核与初始生长
用电阻法探测了Al和Al-Cu合金的凝固过程,研究了形核与初始生长对电阻率的影响;观察到结晶开始时总是伴有电阻率突然升高现象(呈山峰状);而添加晶粒细化剂后凝固开始时电阻率突然
期刊
铝
电阻率
凝固
铝铜合金
形核
初始生长
电阻法
晶粒细化效应
aluminum resistivities solidification
膀胱肿瘤精确放疗姑息减症的疗效和安全性
目的观察膀胱肿瘤应用盆腔精确放疗姑息减症的疗效和安全性。方法对40例均出现膀胱血尿或合并泌尿系梗阻的晚期膀胱癌或膀胱继发恶性肿瘤患者,先采用常规内科药物止血,然后再
期刊
膀胱肿瘤
精确放疗
姑息
止血
Bladder tumor
Precise radiotherapy
Palliative care
Hemostasis
复杂布局问题:航天器舱布局方案设计
以航天器舱布局方案设计为背景,研究带性能约束的复杂布局问题的求解策略、模型、算法及其在航天器设计中的应用,同时讨论了尚存在的问题. 从实用化角度出发,实现人机结合,充
期刊
最佳化
方案设计
航天器
性能约束
复杂布局问题
求解策略
人机结合
layout optimization algorithms scheme design
新媒体对新疆政治影响力探讨——以“最后一公里”为例
随着新媒体的普及和用户数量的快速增长,网络逐渐成为政民互动的新型信息平台。政务微信作为一种创新型社会管理方式,是政府应对传播环境变化、扩大其政治影响力、实现有效管
期刊
新媒体
政务微信
5W模式
影响力
Development of a Model for International Traveler’s Check-In Process Using Arena Software Tool
The increasing demand for airline services amidst limited resources results in passenger dissatisfaction and dwindling revenue for airports and airlines. The dy
期刊
MODELLING
Check-In
Process
Arrival
Rate
Service
Rate
Average
Check-In
Time
Serve
神经网络在二相编码信号旁瓣抑制中应用
研究了人工神经网络在二相编码信号距离旁瓣抑制问题中的应用.在H.K.Kwan等提出的将多层感知器网络用于二相编码信号距离旁瓣抑制问题的基础上,采用了一种改进的神经网络学习
期刊
脉冲压缩
神经网络
旁瓣抑制
二相编码信号
雷达
pulse compression; neural network/sid elobe suppressi?
基于对象存储的集群文件系统CFSlight设计与实现
在线存储以及数据密集型应用的发展,对信息存储性能的要求越来越高,分布式存储系统是应对数据存储需求的重要研究方向.基于对象存储技术和Linux操作系统平台设计与实现的集群
期刊
对象
集群
存储系统
文件系统
object cluster storage system file system
建筑物室外环视中加速绘制算法
提出一种用于建筑物环视系统混合绘制的加速方法,场景划分为主体模型和层次环境的带有深度的图像缓存(spritewithdepth),采用BSP树存储场景的具有深度的图像缓存,用模型对存储场景的BSP树应用三维裁剪算法来减少不必要的绘制,并在环视过程中采用生成替代图像缓存方法,加速环视场景的生成.
期刊
层次绘制
带有深度的图像缓存
可见性裁剪
BSP树
正向映射
layered rendering sprite with depth visibility cu
基于弹塑性有限元分析土工安定性计算方法及其应用
将弹塑性有限元法与安定性分析的Melan静力型定理相结合发展了一种土工极限分析与安定性分析的数值计算方法,依此可以预测一般土工结构的极限荷载和安定荷载.利用弹塑性分析
期刊
极限分析
弹塑性分析
有限元
残余应力
条形基础
安定性分析
土工结构
ElastoplasticityFinite element methodLineari
传播媒介发展中的革命老区社会变迁——基于安徽省金寨县的实地调查
本文的研究对象为红色革命老区安徽省金寨县,以大众传媒的变迁为考察视角,首先回顾了报纸、广播、电视时代金寨的一些情况,然后重点探讨了互联网给革命老区带来的新变化,以及
期刊
革命老区
广播电视
互联网
社会变迁
与本文相关的学术论文