检索结果-维普期刊中文期刊服务平台

基于聚类和SVD算法的模糊逻辑系统结构辨识被引量：6: 1; 作者祖家奎戴冠中 +1 位作者赵淳生卢京潮《控制理论与应用》 EI CAS CSCD 北大核心 2003年第4期615-618,共4页; 为了研究模糊逻辑系统新的结构辨识方法,提出采用基于山峰函数的减法聚类算法构造模糊逻辑系统的初始结构,并利用奇异值分解(SVD)算法分析了模糊规则与奇异值、累积贡献率以及索引向量的关系,从而实现了模糊逻辑结构的优化。最后,对该... 展开更多; 关键词模糊逻辑系统结构辨识聚类算法 SVD算法模糊规则奇异值分解算法; 在线阅读下载PDF 职称材料

基于PLS和减聚类的模糊逻辑系统设计及应用: 2; 作者贾润达毛志忠常玉清《系统仿真学报》 CAS CSCD 北大核心 2010年第2期391-394,共4页; 结合PLS和减聚类算法设计了一种新型的模糊逻辑系统混合训练算法。通过将全部样本数据作为模糊规则选入系统,并引入PLS作为训练算法,从而有效的抑制样本数据中的严重噪声;为了使训练后的系统结构得以简化,利用减聚类算法合并系统中相似... 展开更多; 关键词模糊逻辑系统模糊基函数偏最小二乘法减聚类软测量; 在线阅读下载PDF 职称材料

模糊逻辑系统的最近邻聚类学习算法: 3; 作者李青茹王培峰尹志宇《组合机床与自动化加工技术》北大核心 2004年第1期65-66,共2页; 文章先提出了一种最优模糊逻辑系统 ,它能使样本中所有的输入—输出数据对都拟合到任意给定的精度 (在此意义上的最优 ) ;然后将这种最优模糊逻辑系统推广到大样本问题 ,为此 ,将样本数据用最近邻聚类算法进行分组 ,将每一组数据 (一个... 展开更多; 关键词模糊逻辑系统最近邻聚类输入-输出数据对学习算法精度; 在线阅读下载PDF 职称材料

一种用于字节码程序模块化验证的逻辑系统被引量：1: 4; 作者董渊王生原 +2 位作者张丽伟朱允敏杨萍《软件学报》 EI CSCD 北大核心 2010年第12期3056-3067,共12页; 字节码既是运行于虚拟机的解释指令,也是定义良好的中间表示,是当今网络软件和计算设备中广泛使用的重要技术.字节码验证可以提高相关软件的可信程度,同时为构造证明保持编译器提供中间表示支持,具有重要的实用价值和理论价值.虽然近年... 展开更多; 关键词程序模块化验证字节码类hoare逻辑系统; 在线阅读下载PDF 职称材料

一种基于主元递归分析法的多模糊逻辑系统的组合形式被引量：3: 5; 作者吴军徐渝欧海鹰《西安交通大学学报》 EI CAS CSCD 北大核心 2002年第12期1311-1314,共4页; 根据多个模型相加可以提高整体预测精度和鲁棒性的思想,提出了一种具有递阶特点的模糊逻辑模型.该模型采用基于山峰函数的减法聚类算法,将样本数据集分成多组来进行局部模糊模型的建立和训练,大大提高了组合模糊逻辑模型的训练效率.各... 展开更多; 关键词组合形式主元递归分析法减法聚类算法组合模糊系统局部模糊模型多模糊逻辑系统; 在线阅读下载PDF 职称材料

古德曼悖论与形式的归纳逻辑系统被引量：2: 6; 作者熊明《华南师范大学学报（社会科学版）》 CSSCI 2003年第5期28-34,54,共8页; 之所以会产生古德曼悖论 ,不仅是因为类律假说和偶适假说的混同 ,而且也是因为对归纳的这样一个似是而非的刻画 :假设归纳推理的前提都为真 ,则其结论不一定但很可能为真 (即所谓的“归纳概然性特征”)。这证明基于归纳的概然性特征 ,... 展开更多; 关键词归纳逻辑古德曼悖论归纳逻辑系统归纳推理类律假说偶适假说; 在线阅读下载PDF 职称材料

字节码虚拟机的构造和验证被引量：2: 7; 作者董渊任恺 +1 位作者王生原张素琴《软件学报》 EI CSCD 北大核心 2010年第2期305-317,共13页; 提出一种虚拟机构造和验证方案.给出字节码程序运行环境BVM(bytecode virtual machine)的形式化定义;采用X86机器语言构造虚拟机CertVM(certified virtual machine);并证明该虚拟机实现符合相应程序规范并和BVM之间具有模拟关系.利用辅... 展开更多; 关键词已验证虚拟机模块化验证字节码类hoare逻辑; 在线阅读下载PDF 职称材料

题名基于聚类和SVD算法的模糊逻辑系统结构辨识被引量：6: 1; 作者祖家奎戴冠中赵淳生卢京潮; 机构南京航空航天大学超声电机研究中心西北工业大学自动控制系; 出处《控制理论与应用》 EI CAS CSCD 北大核心 2003年第4期615-618,共4页; 文摘为了研究模糊逻辑系统新的结构辨识方法,提出采用基于山峰函数的减法聚类算法构造模糊逻辑系统的初始结构,并利用奇异值分解(SVD)算法分析了模糊规则与奇异值、累积贡献率以及索引向量的关系,从而实现了模糊逻辑结构的优化。最后,对该算法的可行性和有效性进行了仿真验证和性能比较,取得了较好的效果。; 关键词模糊逻辑系统结构辨识聚类算法 SVD算法模糊规则奇异值分解算法; Keywords subtraction clustering singular value decomposition (SVD) fuzzy logic system structure identification; 分类号 TP11 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名基于PLS和减聚类的模糊逻辑系统设计及应用: 2; 作者贾润达毛志忠常玉清; 机构东北大学信息科学与工程学院东北大学流程工业综合自动化教育部重点实验室; 出处《系统仿真学报》 CAS CSCD 北大核心 2010年第2期391-394,共4页; 基金国家高技术发展计划(863)项目(2006AA060201); 文摘结合PLS和减聚类算法设计了一种新型的模糊逻辑系统混合训练算法。通过将全部样本数据作为模糊规则选入系统,并引入PLS作为训练算法,从而有效的抑制样本数据中的严重噪声;为了使训练后的系统结构得以简化,利用减聚类算法合并系统中相似的规则。还通过仿真验证了该方法相比于传统OLS训练算法的优点;并将其应用于湿法冶金萃取组分含量软测量建模中,得到了满意的效果。; 关键词模糊逻辑系统模糊基函数偏最小二乘法减聚类软测量; Keywords fuzzy logic systems fuzzy basic functions partial least squares subtractive clustering soft sensor; 分类号 TP273 [自动化与计算机技术—检测技术与自动化装置]; 在线阅读下载PDF 职称材料

题名模糊逻辑系统的最近邻聚类学习算法: 3; 作者李青茹王培峰尹志宇; 机构河北师范大学物理学院河北科技大学信息科学与工程学院; 出处《组合机床与自动化加工技术》北大核心 2004年第1期65-66,共2页; 文摘文章先提出了一种最优模糊逻辑系统 ,它能使样本中所有的输入—输出数据对都拟合到任意给定的精度 (在此意义上的最优 ) ;然后将这种最优模糊逻辑系统推广到大样本问题 ,为此 ,将样本数据用最近邻聚类算法进行分组 ,将每一组数据 (一个聚类 )视为一个数据对 ,用最优模糊逻辑系统来进行拟合。还给出了学习算法并进行了仿真实验。; 关键词模糊逻辑系统最近邻聚类输入-输出数据对学习算法精度; Keywords the optimization fuzzy logical system the most neighbors clustering algorithm input-ouput data; 分类号 TP273.4 [自动化与计算机技术—检测技术与自动化装置]; 在线阅读下载PDF 职称材料

题名一种用于字节码程序模块化验证的逻辑系统被引量：1: 4; 作者董渊王生原张丽伟朱允敏杨萍; 机构清华大学计算机科学与技术系清华大学软件学院北京语言大学信息科学学院; 出处《软件学报》 EI CSCD 北大核心 2010年第12期3056-3067,共12页; 基金国家自然科学基金Nos.90818019 90816006 +1 种基金 2009AA011902~~; 文摘字节码既是运行于虚拟机的解释指令,也是定义良好的中间表示,是当今网络软件和计算设备中广泛使用的重要技术.字节码验证可以提高相关软件的可信程度,同时为构造证明保持编译器提供中间表示支持,具有重要的实用价值和理论价值.虽然近年提出了一些用于字节码程序的逻辑系统,但由于字节码本身的特点,造成了抽象控制栈复杂、控制流结构信息不足,因而字节码程序的"模块化验证"依然是一个巨大的挑战,并没有得到有效解决.将FPCC(foundationalproof-carryingcode)方法引入中间表示字节码,借鉴汇编程序的验证方法.设计出一种逻辑系统,给出字节码程序运行环境BCM(ByteCodemachine)的逻辑系统CBP(certifyingbytecodeprogram)定义,完成系统的合理性证明和一组代表性实例程序的模块化证明,并实现机器自动检查.该工作为字节码验证提供一种良好的解决方案,同时也向着构造证明保持编译器环境迈出了坚实的一步,还可以为广泛使用的基于虚拟机复杂网络应用程序的深刻理解和深入分析提供理论帮助.; 关键词程序模块化验证字节码类hoare逻辑系统; Keywords program modular certification bytecode hoare-like logic; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名一种基于主元递归分析法的多模糊逻辑系统的组合形式被引量：3: 5; 作者吴军徐渝欧海鹰; 机构西安交通大学管理学院; 出处《西安交通大学学报》 EI CAS CSCD 北大核心 2002年第12期1311-1314,共4页; 文摘根据多个模型相加可以提高整体预测精度和鲁棒性的思想,提出了一种具有递阶特点的模糊逻辑模型.该模型采用基于山峰函数的减法聚类算法,将样本数据集分成多组来进行局部模糊模型的建立和训练,大大提高了组合模糊逻辑模型的训练效率.各局部模糊系统的预测输出通过主元递归分析法(PCR)连接,解决了模型之间的严重相关性问题,增强了模型的预测能力,提高了模型的鲁棒性.仿真结果表明,组合多个模糊逻辑模型能够达到比局部模型更好的建模效果,并能有效地改善模型的预测能力和泛化能力.; 关键词组合形式主元递归分析法减法聚类算法组合模糊系统局部模糊模型多模糊逻辑系统; Keywords principal component regression analysis subtraction clustering modular fuzzy system local fuzzy model; 分类号 N941 [自然科学总论—系统科学]; 在线阅读下载PDF 职称材料

题名古德曼悖论与形式的归纳逻辑系统被引量：2: 6; 作者熊明; 机构华南师范大学政法学院; 出处《华南师范大学学报（社会科学版）》 CSSCI 2003年第5期28-34,54,共8页; 文摘之所以会产生古德曼悖论 ,不仅是因为类律假说和偶适假说的混同 ,而且也是因为对归纳的这样一个似是而非的刻画 :假设归纳推理的前提都为真 ,则其结论不一定但很可能为真 (即所谓的“归纳概然性特征”)。这证明基于归纳的概然性特征 ,不可能建立起形式的归纳逻辑。相反 ,一旦以下述归纳的必然性特征来刻画归纳 :假设归纳推理的前提都为假时 ,则其结论一定为假。; 关键词归纳逻辑古德曼悖论归纳逻辑系统归纳推理类律假说偶适假说; Keywords inductive logic Goodman Paradox inductive logical system; 分类号 B812.5 [哲学宗教—逻辑学] B812.3 [哲学宗教—逻辑学]; 在线阅读下载PDF 职称材料

题名字节码虚拟机的构造和验证被引量：2: 7; 作者董渊任恺王生原张素琴; 机构清华大学计算机科学与技术系; 出处《软件学报》 EI CSCD 北大核心 2010年第2期305-317,共13页; 基金国家自然科学基金Nos.90818019 90816006 +1 种基金 2009AA011902~~; 文摘提出一种虚拟机构造和验证方案.给出字节码程序运行环境BVM(bytecode virtual machine)的形式化定义;采用X86机器语言构造虚拟机CertVM(certified virtual machine);并证明该虚拟机实现符合相应程序规范并和BVM之间具有模拟关系.利用辅助工具Coq给出证明,所有证明均可机器自动检查.CertVM确保在硬件环境满足其语义规范的情况下,已验证的字节码程序能够在给定虚拟机环境中正常运行.给出的方案不仅为虚拟机验证提供理论基础,而且为可信软件构造提供了一种有益的尝试.; 关键词已验证虚拟机模块化验证字节码类hoare逻辑; Keywords certified VM modular certification bytecode hoare-style logic; 分类号 TP316 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于聚类和SVD算法的模糊逻辑系统结构辨识	祖家奎戴冠中赵淳生卢京潮	《控制理论与应用》 EI CAS CSCD 北大核心	2003	6	在线阅读下载PDF 职称材料
2	基于PLS和减聚类的模糊逻辑系统设计及应用	贾润达毛志忠常玉清	《系统仿真学报》 CAS CSCD 北大核心	2010	0	在线阅读下载PDF 职称材料
3	模糊逻辑系统的最近邻聚类学习算法	李青茹王培峰尹志宇	《组合机床与自动化加工技术》北大核心	2004	0	在线阅读下载PDF 职称材料
4	一种用于字节码程序模块化验证的逻辑系统	董渊王生原张丽伟朱允敏杨萍	《软件学报》 EI CSCD 北大核心	2010	1	在线阅读下载PDF 职称材料
5	一种基于主元递归分析法的多模糊逻辑系统的组合形式	吴军徐渝欧海鹰	《西安交通大学学报》 EI CAS CSCD 北大核心	2002	3	在线阅读下载PDF 职称材料
6	古德曼悖论与形式的归纳逻辑系统	熊明	《华南师范大学学报（社会科学版）》 CSSCI	2003	2	在线阅读下载PDF 职称材料
7	字节码虚拟机的构造和验证	董渊任恺王生原张素琴	《软件学报》 EI CSCD 北大核心	2010	2	在线阅读下载PDF 职称材料