排序方式: 共有33条查询结果,搜索用时 15 毫秒
1.
将命题推理证明转化为多元多次方程组求解的问题。利用吴方法,通过多元多次方程组的特征列,完成命题推理的证明,即结合数理逻辑中推理证明及吴方法的核心内容特征列知识,总结出一种通过对吴方法中特征列讨论,来证明逻辑推理的方法。 相似文献
2.
基于数字化曲线拟合技术, 提出一种新的人脸图像不变特征表示方法. 该方法先将人脸边缘图像分割为高次多项式及抛物线段构成的特征曲线段集合, 再运用极惯性矩度量不同人脸图像在特征曲线段两侧的局部纹理及形态差异. 实验结果表明, 该方法与直线边缘图法和抛物线边缘图法相比, 能更好地描述人脸图像的分布特征. 相似文献
3.
将矩阵值切触有理插值问题转化为求R-模的Groebner基问题,并用递推算法计算模的Groebner基.利用这个Groebner基,可以得到包含多元矩阵值有理插值问题所有可能弱解(P(X),q(X))的参数化形式.针对具体应用,可以通过选择恰当的参数获取所需的矩阵值有理插值解. 相似文献
4.
模上的Groebner基与切触有理插值 总被引:1,自引:0,他引:1
利用模上的Groebner基研究多元切触有理插值问题, 得到了多元有理函数a(X)/b(X)的参数化表示, 并给出一种构造多元切触有理插值算法. 当插值问题退化为Cauchy型有理插值问题时, 相应的算法即为多元有理插值的Newton型算法. 相似文献
5.
提出一种基于最优化控制模型的文本主题域划分方法, 采用主题域内距离、 主题域间距离、 主题域内夹角和主题域间夹角等相关要素, 构建了最优化模型的目标函数, 进而通过对模型求解得到文本主题域的最优划分模式. 该方法为全局最优化方法, 与具体的应用领域无关, 具有较高的普适性. 实验结果表明, 在算法适用性、 F1评价和Window Diff评价上, 该算法均优于其他相关算法. 相似文献
6.
非均匀矩形格点上的插值基 总被引:1,自引:1,他引:0
利用构造性代数几何工具, 给出任意非均匀矩形格点上的插值基. 相似文献
7.
通过分析附加有界扰动不确定系统的开环最大最小模型预测控制(OL MMMPC)的可行性和稳定性, 指出一般情况下OL MMMPC问题初始可行但未必一直可行, 进而闭环系统也未必稳定, 并给出了该问题只要初始可行就有闭环系统稳定的一个充分条件及OL MMMPC问题的一种改进算法, 该算法保证只要问题初始可行闭环系统就稳定. 相似文献
8.
针对多包描述的时变不确定系统, 通过分析该方法的可行性和闭环稳定性, 提出一种变时域鲁棒预测控制器的设计方法, 使得在与现有方法有相同初始可行域的前提下, 保证了只要问题初始可行就有闭环系统二次稳定. 仿真结果表明了算法的有效性. 相似文献
9.
<正>羧乙基锗倍半氧化物(Ge~132)有抗诱变、抗肿瘤、抗衰老等广谱药理作用,国内外均有不少报导。近来,中国科学院长春应用化学研究所新研制出两种芳香族有机锗倍半氧化物Ge~162:对~(N,N~二甲氨基)苯基锗倍半氧化物和Ge~164:对~N,N~二乙基氨苯基锗倍半氧化物,引起国内学者的注意,并且开始对其某些药理性能及动物抗癌效果进行研究。微核(MN)试验是检测环境致癌物和致畸剂的一种重要方法,也被用来测定对抗突变物的效能,本文采用Ge~132,Ge~162及Ge~164分别灌饲小白鼠,以比较对染色体断裂剂环磷酰胺(CP)所致骨髓嗜多染红细胞(PCE)微核率的抑制效果,为进一步开创和利用有机锗系列制剂用于医疗保健提供依据。 相似文献
10.
矩阵对角占优性的推广 总被引:2,自引:2,他引:0
应用局部α双对角占优矩阵的概念, 给出广义严格对角占优矩阵及M 矩阵的等价表征, 从而推广和改进了已有的相应结果. 相似文献