切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
程序分析与广义归结
程序分析与广义归结
来源 :郑州大学学报:自然科学版 | 被引量 : 0次 | 上传用户:jhf44623386
【摘 要】
:
本文提出使程序分析的机械化效率得以提高的一种途径——广义归结,并证明了这一方法的正确性。更多还原
【作 者】
:
陈国勋
【机 构】
:
郑州大学计算机科学系
【出 处】
:
郑州大学学报:自然科学版
【发表日期】
:
1990年2期
【关键词】
:
程序分析
广义归结
Program analysis
Generalized resolution
Describing formula.
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文提出使程序分析的机械化效率得以提高的一种途径——广义归结,并证明了这一方法的正确性。更多还原
其他文献
关于残留边带制的思考
通过对残留边带传输特性的本质了解,提出了可能完全消除残留边带引起的电视信号波形失真的有效方法。更多还原
期刊
残留边带
同步检波
电视信号
Vestigial Sideband
Synchronous Detection
Television Signal
关于矩阵迹的Bellman问题
设A、B为n阶正定矩阵,所谓Bcllman问题,就是对任何自然数m,猜测不等式Tr(AB)~m≤Tr(A~mB~m)成立。[1]中证明m=2时成立,[2]中证明m=2~k(k为自然数)时成立。本文对m=2的情形作
期刊
矩阵迹
正定矩阵
BELLMAN问题
Trace of matrix
Positive definite matrix.
A/D转换系统的动态分析
本文通过对A/D转换系统的各个环节的动态过程分析,讨论了引起系统动态误差的原因及克服这一误差的方法,并由实验结果深入地分析了ICL7135的A/D转换过程。
期刊
A/D转换
误差
动态过程
A/D conversion
system errors
dynamic process
sampless/holding
一类广义抛物型方程组的周期边界问题与初值问题
本文用Galerkin方法研究了一类广义抛物型方程组的周期边界问题与初值问题的整体广义解与整体古典的存在唯一性及光滑性。更多还原
期刊
抛物方程组
周期
边界
初值
periodic boundary initial value
goneralized parabolic systems
多重级数的变换公式
本文证明了多重级数的一般变换公式。这个结论是[1]中结论的一般化。由这个变换公式,得到下面的结果: sum from k=1 to ∞ k-2 sum from l≤k l-2 sum from k≤l m-2 sum fro
期刊
多重级数
变量变换
重排
绝对收敛
transformation of variable
rearrange
absolute convergence.
含偶氮型液晶配体的合成与表征
本文合成了一系列偶氮型液晶配体,通过元素分析、IR、UV和NMR等手段对其结构进行了表征。采用DSC和偏光显微镜方法研究了它们的液晶行为和相变温度变化规律。更多还原
期刊
配体
热致性
液晶
偶氮型
azobenzene type
molecular liquid crystalline
thermotropical
odd-ev
校正法非平衡电位自动滴定及其应用
文中描述了利用恒流泵代替数字滴定计构成微机控制自动电位滴定仪的组成以及利用校正法解决非平衡电位滴定中终点误差校大的问题。本法用于低浓度试液的沉淀滴定及氧化-还原
期刊
非平衡
电位滴定
自动滴定
校正法
non-equilibrium potential titration
autotitration
calibratio
再生胶在电缆橡皮护套胶料中的应用
采用再生胶与天然胶按不同比例混合并用,测试其物理机械性能,电绝缘性能及耐老化性,分析比较发现,再生胶20%,天然胶80%混合并用可替代原全天然胶生产XH-02A型和XH-00A型电缆橡皮护套,并
期刊
再生胶
天然胶
电缆
橡皮护套
reclaimed rubber
natural rubber
cable rubber sheath
physical
抽象空间内的公共随机不动点定理
本文在抽象距离空间中建立了映射族的公共随机不动点定理,改进和推广了引文中的主要结果。更多还原
期刊
抽象距离空间
随机算子
不动点
Random operator
Fixed point
MC6845在日立PC显示系统的应用
本文基于MC6845芯片在日立PC(16000)机显示系统的应用,主要说明了6845的初始化参数及如何控制某些内部寄存器和控制寄有器去完成一些所要求的显示功能。为拥有该机的用户进行
期刊
日立PC
微机
显示系统
MC6845芯片
MC6845
HITACHI—PC
与本文相关的学术论文