论文部分内容阅读
本文指出了广义调解完备性证明中一个错误,并且给出了使广义调解完备的根据.
关于广义调解的一点注记
【摘 要】
：
本文指出了广义调解完备性证明中一个错误,并且给出了使广义调解完备的根据.
【机 构】
：
吉林大学计算机科学系,吉林大学计算机科学系长春130023,长春130023
【出 处】
：
吉林大学自然科学学报
【发表日期】
：
1993年3期
【基金项目】
：
国家自然科学基金,博士点基金,863计划,国家攀登计划
其他文献
本文研究了可化为不含时等效哈密顿的量子体系的几何位相问题，给出了处理这一问题的一个新的方法。
研究以稀土因体超强酸ＳＯ＾２－４－ＴｉＯ２－Ｌａ＾３＋为催化剂，癸二酸和无水乙醇为原料，合成癸二酸二乙酯，并考察影响反应的因素。结果表明，最适宜的反应条件为醇酸摩尔比４．０：１，催化剂用量１．０ｇ（癸二酸０．１ｍｏｌ），带水剂苯１５ｍＬ，反应时间３．０ｈ，经率
为了简化模型,提高模型预测精度,利用特征投影图（LPG）进行变量选择。对原始光谱进行连续小波变换（CWT）,利用主成分分析（PCA）得到LPG,假定LPG中共线性光谱变量对建模作用相同,选出少
TVB媒体帝国易主之事似乎将要尘埃落定了,"香港娱乐教父"邵逸夫为什么会以出卖自己半生事业作为自己退出江湖的谢幕礼?一场过亿元的股权收购大案,让人们的目光再次聚焦百岁人瑞邵逸夫身上。而更有消息人士透露。为防将来家族内斗,邵逸夫不但会卖掉香港电视广播(TVB)约26%的股份,就连名下的房产也将会变卖……
期刊
介绍了通过γ射线吸收法检测原条收腐大小与位置的模拟实验方法和结果。
自2010年毕业我便走上了三尺讲台，开始我的教育工作。作为一名新教师的我担任了一所村小三年级班主任一职，并从事语文和数学的教学工作，所以，责无旁贷我也就走上了教学的探究、尝
凸面光栅成像光谱仪图像数据量巨大,给数据的传输和存储带来了压力,因此要对图像数据进行实时压缩。首先根据成像原理对图像数据的特点进行了分析,得出去除空间相关性和谱间
本文以Bell定理为主要工具研究了半质环R(满足恒等式,f(x,y)∈C)的交换性。更多还原