论联合国大会第2758号决议的解释问题——对美国策动中国台湾地区参与国际组织问题的批驳 被引量：3

1

作者 伍俐斌 《厦门大学学报（哲学社会科学版）》 CSSCI 北大核心 2024年第6期65-75,共11页

美国正试图重新解释联合国大会2758号决议,策动中国台湾地区参与国际组织问题,但未得到各国的普遍接受,不构成有权解释。中国认为2758号决议体现了一个中国原则,并得到了绝大多数联合国会员国的普遍接受,构成对2758号决议的有权解释。... 美国正试图重新解释联合国大会2758号决议,策动中国台湾地区参与国际组织问题,但未得到各国的普遍接受,不构成有权解释。中国认为2758号决议体现了一个中国原则,并得到了绝大多数联合国会员国的普遍接受,构成对2758号决议的有权解释。联合国大会当然有权解释2758号决议,联合国秘书长的解释也可以成为有权解释。从联合国大会的实践和秘书长一贯以来的立场可知,2758号决议体现一个中国原则是联合国的普遍共识。根据《维也纳条约法公约》第31—32条的规定,2758号决议可以适用文义解释、系统解释、目的解释、惯例解释和历史解释等多种解释方法。无论采用哪种方法解释2758号决议,都可以确证决议体现了“一个中国原则”,美国没有重新解释的任何空间。 展开更多

关键词 2758号决议 一个中国原则 解释权 解释方法

在线阅读 下载PDF 职称材料

基于多分辨率SVM回归估计的短期负荷预测 被引量：19

2

作者 畅广辉 刘涤尘 熊浩 《电力系统自动化》 EI CSCD 北大核心 2007年第9期37-41,共5页

针对短期负荷预测支持向量机(SVM)方法的局部逼近能力和泛化能力进行研究,将多分辨率支持向量机(M-SVM)用于短期负荷预测中节点负荷预测曲线的回归估计。该理论在保持曲线总体逼近能力的同时提高了局部区域的逼近能力。文中根据短期负... 针对短期负荷预测支持向量机(SVM)方法的局部逼近能力和泛化能力进行研究,将多分辨率支持向量机(M-SVM)用于短期负荷预测中节点负荷预测曲线的回归估计。该理论在保持曲线总体逼近能力的同时提高了局部区域的逼近能力。文中根据短期负荷预测的具体特点,设计了负荷预测数学模型,采用96条回归曲线进行日负荷的曲线预测,并在该模型的基础上采用实际数据进行验证,分析了这种回归模型的泛化能力。实验结果表明M-SVM模型在预测精度和预测速度方面具有优良的特性。 展开更多

关键词 短期负荷预测 支持向量机 多分辨率 泛化能力

在线阅读 下载PDF 职称材料

基于小波分析与支持向量机的风速预测 被引量：15

3

作者 周松林 茆美琴 苏建徽 《太阳能学报》 EI CAS CSCD 北大核心 2012年第3期452-456,共5页

将小波多分辨率分析特点和支持向量机良好的泛化性能相结合,建立小波-支持向量机风速预测模型。先将原始风速序列经小波分解成概貌分量和细节分量,再对各分量分别应用支持向量机模型进行预测,最后将各分量的预测结果经小波重构得到原始... 将小波多分辨率分析特点和支持向量机良好的泛化性能相结合,建立小波-支持向量机风速预测模型。先将原始风速序列经小波分解成概貌分量和细节分量,再对各分量分别应用支持向量机模型进行预测,最后将各分量的预测结果经小波重构得到原始风速序列的预测值。仿真表明该方法能够改善预测滞后现象以及减小突变点误差,从而提高模型的泛化性能和预测精度。 展开更多

关键词 风速预测 支持向量机 小波多分辨率分析 泛化性能

在线阅读 下载PDF 职称材料

最大间隔核优化的雷达目标识别新方法 被引量：5

4

作者 肖永生 黄丽贞 +1 位作者 朱劼昊 周建江 《信号处理》 CSCD 北大核心 2014年第7期783-788,共6页

基于目标高分辨率距离像的雷达自动目标识别技术在军事和民用上都有巨大的应用价值。但是由于雷达目标高分辨距离像的姿态敏感性以及高特征维数,造成了其非线性可分性。针对此问题,本文提出了一种基于最大间隔核优化的雷达目标高分辨距... 基于目标高分辨率距离像的雷达自动目标识别技术在军事和民用上都有巨大的应用价值。但是由于雷达目标高分辨距离像的姿态敏感性以及高特征维数,造成了其非线性可分性。针对此问题,本文提出了一种基于最大间隔核优化的雷达目标高分辨距离像识别方法。本方法首先采用了最大间隔准则算法来优化数据依赖核函数,然后利用支持向量机分类器实现了雷达目标高分辨距离像识别,最后进行了基于5种战斗机目标高分辨距离像的实验仿真。实验结果表明了基于最大间隔核优化的目标识别算法对于SVM分类器可以有效实现核函数优化,从而能够提高目标识别性能。 展开更多

关键词 雷达目标高分辨距离像 支持向量机 核函数优化 雷达目标识别 最大间隔准则

在线阅读 下载PDF 职称材料

基于XML的智能决策支持系统研究 被引量：2

5

作者 李高和 张艳莉 +1 位作者 石龙 李琪 《计算机工程与应用》 CSCD 北大核心 2005年第26期177-180,187,共5页

XML渐已成为Web上数据表示和交换的通用语言。该文提出了一种基于XML的智能决策支持系统,用XDD语言描述问题和决策系统中的知识,并通过归结原理实现问题求解。该系统不仅能够利用Web信息辅助决策,而且便于实现系统内部以及系统之间的信... XML渐已成为Web上数据表示和交换的通用语言。该文提出了一种基于XML的智能决策支持系统,用XDD语言描述问题和决策系统中的知识,并通过归结原理实现问题求解。该系统不仅能够利用Web信息辅助决策,而且便于实现系统内部以及系统之间的信息交换和信息共享。 展开更多

关键词 XML 智能决策支持系统 说明描述 归结原理

在线阅读 下载PDF 职称材料

一种广义不可分的支持向量机算法 被引量：6

6

作者 邹永祥 吴宗亮 《数据采集与处理》 CSCD 北大核心 2015年第2期434-440,共7页

针对标准的C-SVM(C-support vector machine)算法在处理很多实际分类问题时,对识别错误代价损失差异很大的极端情况表现出的局限性,提出一种通用的广义支持向量机算法。根据识别错误后所付出的代价,可以把最优分类面向代价损失低的一方... 针对标准的C-SVM(C-support vector machine)算法在处理很多实际分类问题时,对识别错误代价损失差异很大的极端情况表现出的局限性,提出一种通用的广义支持向量机算法。根据识别错误后所付出的代价,可以把最优分类面向代价损失低的一方进行推移,留给代价损失高的一方更大的空间,提高其识别率,从而减小识别错误后带来的代价损失。该方法进一步提高了标准C-SVM的适用性以及样本的正确识别率,将新算法应用到高分辨雷达距离像的识别中,实验证明,广义C-SVM能取得比传统C-SVM更好的识别效果。 展开更多

关键词 广义支持向量机 最优分类面 识别错误 高分辨雷达距离像

在线阅读 下载PDF 职称材料

算子Rough逻辑及其归结原理 被引量：9

7

作者 刘清 《计算机学报》 EI CSCD 北大核心 1998年第5期476-480,共5页

本文基于Rough集理论定义了算子η及其合成运算，并用它作用于Rough逻辑公式，从而得到了带算子的Rough逻辑．讨论了这种逻辑公式的真值、语义模型、性质、归结原理及完备性定理和它的证明．

关键词 ROUGH集 算子Rough逻辑 归结原理 计算机

在线阅读 下载PDF 职称材料

《民法总则》对商事关系的包容性及表现——兼论决议行为立法问题 被引量：11

8

作者 薛波 《中南大学学报（社会科学版）》 CSSCI 2016年第1期55-64,共10页

《民法总则》的内容设计该如何体现对商事关系的包容性,将是民法典编纂绕不过去的重大疑题。对此,在理论层面,应彻底否弃民、商立法体例之争。在内容上,应注重立法的体系化和科学化。在方法上,应以《民法通则》为基础,统合所有民商事法... 《民法总则》的内容设计该如何体现对商事关系的包容性,将是民法典编纂绕不过去的重大疑题。对此,在理论层面,应彻底否弃民、商立法体例之争。在内容上,应注重立法的体系化和科学化。在方法上,应以《民法通则》为基础,统合所有民商事法律关系。在明确了这三个前置性要求后,以理论和实务颇受争议的决议行为著例,就其在《民法总则》中的体系位置、制度安排问题做了进一步的探究,并尝试从中总结出《民法总则》包容商事关系的要点和方法。 展开更多

关键词 《民法总则》 包容性 决议行为 体系位置 制度安排

在线阅读 下载PDF 职称材料

基于格值一阶逻辑LF(X)的自动推理算法 被引量：1

9

作者 李晓冰 徐扬 《计算机工程与应用》 CSCD 北大核心 2010年第23期18-20,49,共4页

基于谓词逻辑的归结推理方法是目前理论上较为成熟、可以在计算机上实现的推理方法之一。针对格值一阶逻辑LF(X)中归结自动推理问题,以格值一阶逻辑LF(X)的α-归结原理为理论基础,通过对例子进行分析,提出了LF(X)中简单广义子句集的归... 基于谓词逻辑的归结推理方法是目前理论上较为成熟、可以在计算机上实现的推理方法之一。针对格值一阶逻辑LF(X)中归结自动推理问题,以格值一阶逻辑LF(X)的α-归结原理为理论基础,通过对例子进行分析,提出了LF(X)中简单广义子句集的归结自动推理算法,并证明了该算法的可靠性和完备性。 展开更多

关键词 格值一阶逻辑 自动推理 α-归结原理 简单广义子句集

在线阅读 下载PDF 职称材料

参数自适应决策的多分辨率核支持向量分类器 被引量：1

10

作者 胡正平 张晔 《信号处理》 CSCD 北大核心 2006年第5期712-715,共4页

为克服经典支持向量分类器(SVC)训练算法中参数的选择需要多次人工调整的缺陷,本文提出了基于多分辨率核的支持向量机参数自适应调节策略。首先通过分析非线性核映射的特征空间超平面的最小VC维数,提出了多分辨率核函数参数的自适应优... 为克服经典支持向量分类器(SVC)训练算法中参数的选择需要多次人工调整的缺陷,本文提出了基于多分辨率核的支持向量机参数自适应调节策略。首先通过分析非线性核映射的特征空间超平面的最小VC维数,提出了多分辨率核函数参数的自适应优化准则。然后通过迭代求解获得最优泛化能力的多分辨率核参数数值。多分辨率核函数方法保持了经典SVC训练算法结构风险最小化的原则,克服了经典SVC选择单一参数的缺陷。仿真实验结果表明本文提出的算法能够自适应的选择合适的核参数达到最优泛化能力。 展开更多

关键词 支持向量分类器 VC维数 多分辨率核 结构风险最小化原理

在线阅读 下载PDF 职称材料

格值命题逻辑系统中广义文字的正规性

11

作者 何星星 徐扬 +1 位作者 李莹芳 张家锋 《计算机工程与应用》 CSCD 2012年第10期43-46,127,共5页

基于格蕴涵代数的格值命题逻辑系统能定性地刻画不可比较性和不精确性。广义文字是该系统中α-归结自动推理的核心概念,是α-归结中的最基本单元。公式的正规性是α-归结原理中保持完备性的重要条件,其语义性质是公式形式的重要反映。... 基于格蕴涵代数的格值命题逻辑系统能定性地刻画不可比较性和不精确性。广义文字是该系统中α-归结自动推理的核心概念,是α-归结中的最基本单元。公式的正规性是α-归结原理中保持完备性的重要条件,其语义性质是公式形式的重要反映。从语义角度研究了广义文字的正规性,给出了两种典型正规公式F1→F2和(F1→F2)'的真值情况。为讨论广义文字的形式及其α-可归结性提供了理论基础。 展开更多

关键词 格值命题逻辑 α-归结原理 广义文字 正规性 语义性质

在线阅读 下载PDF 职称材料

广义Horn集

12

作者 刘叙华 欧阳丹彤 《软件学报》 EI CSCD 北大核心 1995年第4期248-256,共9页

本文定义了广义Ｈｏｒｎ集，并在广义Ｈｏｒｎ集上证明了广义输入归结的完备性；广义输入对称调解的完备性；以及一定条件下的广义输入有向调解的完备性．文中还证明了广义调解法的提升引理．

关键词 对称调解 有向调解 广义 HORN集

在线阅读 下载PDF 职称材料

广义支撑集归结原理

13

作者 陈斌 《北方交通大学学报》 EI CSCD 北大核心 1998年第2期70-72,88,共4页

广义归结是对Ｊ．Ａ．Ｒｏｂｉｎｓｏｎ普通归结的推广．支撑集策略是提高归结效率的有效方法．本文将支撑集策略引入广义归结中，提出了广义支撑集归结方法，并证明了它的完备性．

关键词 归结原理 广义归结 支撑集 定理机器证明

在线阅读 下载PDF 职称材料

基于增强生成对抗网络的滑坡影像集超分辨率重建 被引量：2

14

作者 方留杨 刘天逸 +3 位作者 赵鑫 吴昊 贾志文 曾珍 《测绘通报》 CSCD 北大核心 2023年第1期45-51,共7页

针对高分遥感影像用于滑坡智能识别缺少高清训练集的问题,在组建高清滑坡训练集过程中,为充分利用低分辨率滑坡影像,本文采用基于增强型生成对抗网络模型(ESRGAN)实现了低分辨率滑坡影像集超分辨率重建。ESRGAN模型在SRGAN模型基础上,... 针对高分遥感影像用于滑坡智能识别缺少高清训练集的问题,在组建高清滑坡训练集过程中,为充分利用低分辨率滑坡影像,本文采用基于增强型生成对抗网络模型(ESRGAN)实现了低分辨率滑坡影像集超分辨率重建。ESRGAN模型在SRGAN模型基础上,通过移除批归一化层、加入多级残差网络与残差缩放系数,提升了生成器的特征提取性能与稳定性,并采用迁移学习方法,基于毕节滑坡影像集与云南南景高速公路滑坡影像集进行试验验证。试验结果表明,基于迁移学习的ESRGAN模型在峰值信噪比(PSNR)与结构相似性(SSIM)方面获得更高得分,超分辨率重建取得更优结果。本文研究结果为获取滑坡高分辨率遥感影像集提供了一种新的技术方法。 展开更多

关键词 滑坡影像集 生成对抗网络 超分辨率重建 多级残差网络 迁移学习

在线阅读 下载PDF 职称材料