论文部分内容阅读
作者研究了具有零点（1，1，1，1）的四元四次对称型，构造了一种特殊的表示，并利用这种表示证明了：具有零点（1，1，1，1）的半正定四元四次对称型，一定可以表为多项式型的平方和（SOS），然后编程实现了此类多项式型正性的自动可读判定，用同样的方法作者还研究了四元偶八次对称型的相关问题。
四元四次对称形式的表示与正性的自动可读判定
【摘 要】
：
作者研究了具有零点（1，1，1，1）的四元四次对称型，构造了一种特殊的表示，并利用这种表示证明了：具有零点（1，1，1，1）的半正定四元四次对称型，一定可以表为多项式型的平方和（SOS），然后编程实现了此
【机 构】
：
中国科学院成都计算机应用研究所
【出 处】
：
四川大学学报：自然科学版
【发表日期】
：
2008年1期
【基金项目】
：
国家973计划项目（2004CB318003）
其他文献
运用亚纯函数的值分布理论研究了亚纯函数IM分担一个值的唯一性．获得如下结果：设f与g为非常数的亚纯函数，n≥23为正整数，若f^nf′与g^ng′IM分担1，则f=tg，其中t为常数，t^n＋1=1；或者f（z）=
应用数字电位器MAX5477—79和单片机P89C52XBN以及选通开关CD4066B，设计了一种新型恒温晶振拐点自动配置系统．首先构建了新型晶体拐点自动配置系统的组成框图，然后介绍了系统的
在计算机标图制作系统中,标图主要包括规则图标和不规则图标,都以矢量化图形方式进行显示,但非规则图标由于其显示图形的不规则性,显示与控制比较困难.作者在文中介绍了图标系统主要模块功能和Bezier曲线性质,并以箭头图标这类非规则图标为例,提出了基于特征三角形的箭头图标曲线控制点生成算法,用两个三角形分别控制箭头和箭尾曲线,此算法参数设置简单方便,从而非常有效地控制箭标形状,绘制出平滑的单箭或多箭的箭
为了了解不同甘薯品种在不同储存期的呼吸速率和失重的变化差异，为燃料乙醇专用甘薯的鲜薯储存提供依据，以4个不同甘薯品种为试材，测定其在3个月内的不同时间呼吸速率以及失重率
症状组团分析是中医学研究的热点问题,具有重要的理论意义和临床应用价值,也是中医诊断进一步发展的基础,目前尚处于探索阶段.本文以数据挖掘为技术手段,提出了基于关联规则
作者引入了具有domain环境的拓扑空间所固有的几种分离性，如cT1，cT2和wcT2，并从拓扑学和domain理论两方面对这些分离性进行了讨论．
在Baranowski-Biittner-Voit（BBV）模型的基础上，讨论了次近邻电子跳跃对PNB（pernigraniline-base）聚合物中空穴型极化子和电子型极化子能谱结构及晶格位形的影响．数值计算表明：（1）逐渐
本文运用分子流体微扰变分理论和碳的物态方程，计算“铝基板／液态CO／蓝宝石”组合靶条件下CO依次经历第一、二、及三次冲击压缩的热力学状态参量．在考虑CO发生分解反应时，产物中碳
沥青组分间的色差分析作为区分油水的关键参数,表征了沥青物质的变化。沥青采样薄片图像通过改进的ISODATA聚类分析区分出油质,沥青质,胶质和水各成份。采用色差公式CIE1976 L~*a~*b~*和CIE DE2000对上述成份进行相互之间色差分析,讨论采用2种公式得到的实验结果之间的差异性,说明了色差公式在实际分析中所具有的准确性和良好的适应性。
EBCOT作为一种新的嵌入式图像压缩算法,比EZW和SPIHT算法具有更多的优越性,但它在具体实现中还尚有不清楚之处。作者针对"显著性标记"在位平面间及其内部邻域信息的传递,19种上下文索引值的确定原则及对MQ编码器输入信号的影响,以及MQ编码中状态转移等问题的不足,明确阐述了"显著性标记"对嵌入式和编码通道的重要性表示方式,19种上下文索引值与编码原语的对应关系及其在MQ编码器的输入信息中的获取