期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到152篇文章
< 1 2 … 8 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于Hp自适应伪谱法的飞机速度矢量控制优化
1
作者 孔令玮 李卫琪 《北京航空航天大学学报》 北大核心 2026年第2期599-609,共11页
采用Hp自适应伪谱法对速度矢量控制问题进行优化求解。建立基于航迹坐标系的非线性飞机动力学模型,建模时将飞机的过载、推力及滚转的动态响应以动态环节形式进行描述,并通过路径约束实现了实际飞行控制律中的迎角限制功能。通过对控制... 采用Hp自适应伪谱法对速度矢量控制问题进行优化求解。建立基于航迹坐标系的非线性飞机动力学模型,建模时将飞机的过载、推力及滚转的动态响应以动态环节形式进行描述,并通过路径约束实现了实际飞行控制律中的迎角限制功能。通过对控制量、状态量及目标函数的设定实现不同的战术需求,进而利用伪谱法进行优化求解。仿真结果验证了基于Hp自适应伪谱法的速度矢量控制优化的有效性,并展示了在特定场景中处理各种约束的可行性。 展开更多
关键词 速度矢量控制 轨迹优化 伪谱法 最优控制 飞行控制
原文传递
2维G-P方程的高阶快速保能量方法
2
作者 陈杰 孙建强 《江西师范大学学报(自然科学版)》 北大核心 2025年第5期519-525,共7页
该文将2维G-P方程转化成无限维哈密尔顿系统,利用傅里叶拟谱方法和平均向量场方法对方程分别进行空间和时间离散得到方程的数值离散格式,基于快速傅里叶变换分解谱矩阵得到了2维G-P方程的快速保能量计算格式,利用新的保能量格式数值模... 该文将2维G-P方程转化成无限维哈密尔顿系统,利用傅里叶拟谱方法和平均向量场方法对方程分别进行空间和时间离散得到方程的数值离散格式,基于快速傅里叶变换分解谱矩阵得到了2维G-P方程的快速保能量计算格式,利用新的保能量格式数值模拟方程孤立波演化行为,并分析了新格式的保能量守恒特性. 展开更多
关键词 平均向量场方法 2维G-P方程 傅里叶拟谱方法 快速傅里叶变换
在线阅读 下载PDF
二维分数阶强耦合薛定谔方程的保结构方法
3
作者 谭凤 冉茂华 刘洋 《四川师范大学学报(自然科学版)》 2025年第5期693-703,共11页
构造能够保持分数阶强耦合薛定谔方程原始不变量的有效数值解法.首先利用降阶技术和实部、虚部分离手段将分数阶强耦合薛定谔方程改写成等价的哈密顿系统,然后在空间和时间方向分别采用Fourier拟谱法和分区平均向量场(PAVF)系列方法进... 构造能够保持分数阶强耦合薛定谔方程原始不变量的有效数值解法.首先利用降阶技术和实部、虚部分离手段将分数阶强耦合薛定谔方程改写成等价的哈密顿系统,然后在空间和时间方向分别采用Fourier拟谱法和分区平均向量场(PAVF)系列方法进行离散,建立相应的全离散数值方法.理论和数值实验结果表明,所获得的PAVF系列方法都能够保持模型的原始能量,但只有PAVF-P方法能同时保持原始的能量和质量. 展开更多
关键词 哈密顿系统 耦合薛定谔方程 平均向量场方法 Fourier谱法
在线阅读 下载PDF
梁的三维空间大转动的有效处理方法 被引量：3
4
作者 谈梅兰 王鑫伟 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2004年第6期718-722,共5页
有限转动角的计算和迭加方法与线位移不同。为了能利用修正的 Lagrangian法及带有动坐标的迭代法来分析三维空间大转动梁的受力和变形 ,研究了三维空间大转动梁的共轴转动机理 ,引入了伪矢量的概念 ,严格地应用数学和弹性力学理论导出... 有限转动角的计算和迭加方法与线位移不同。为了能利用修正的 Lagrangian法及带有动坐标的迭代法来分析三维空间大转动梁的受力和变形 ,研究了三维空间大转动梁的共轴转动机理 ,引入了伪矢量的概念 ,严格地应用数学和弹性力学理论导出了相关的公式 ,给出了迭代过程。解决了分析空间大转动梁的带有动坐标的迭代法所涉及到的有关有限转动的两个关键问题 :(1 )单元畸变中节点转角位移的计算 ;(2 )迭代过程中新的一轮转角位移的确定。文中所给出的公式和迭代过程在计算机上易于操作 ,数值结果也证明了公式的正确性。 展开更多
关键词 有限元法 迭代法 有限转动 共轴转动 伪矢量 钻柱
在线阅读 下载PDF
土地适宜性评价数据处理方法探讨 被引量：12
5
作者 陈晨 宋小冬 钮心毅 《国际城市规划》 CSSCI 北大核心 2015年第1期70-77,共8页
土地适宜性评价是规划前期的重要环节,规划行业已广泛采用地理信息系统(GIS)作为评价分析工具。GIS提高了分析精度与处理效率,分析成果便于可视化,鼓励了多方参与。随着规划行业实际应用的探索与进展,评价因素趋于多样化,数据趋于复杂化... 土地适宜性评价是规划前期的重要环节,规划行业已广泛采用地理信息系统(GIS)作为评价分析工具。GIS提高了分析精度与处理效率,分析成果便于可视化,鼓励了多方参与。随着规划行业实际应用的探索与进展,评价因素趋于多样化,数据趋于复杂化,这对空间数据的处理提出了挑战。本文结合案例针对传统的矢量与栅格数据的处理方法的局限性进行讨论,进而对研究工作中提出的"伪栅格"的阶段性改进方案进行了优劣势分析。为进一步发挥矢量、栅格模型各自的优势,本项研究又提出了矢量、栅格互为补充的处理方法。该方法可以减少误差,提高效率,使约束条件、评价权重的调整变得简单、灵活,也可增强专题地图的显示效率。 展开更多
关键词 土地适宜性评价 栅格 矢量 伪栅格 地理信息系统
原文传递
无模型自适应预测控制在过热汽温控制中的应用 被引量：5
6
作者 冯玉昌 史冬琳 《热能动力工程》 CAS CSCD 北大核心 2011年第4期428-431,493-494,共4页
采用伪梯度向量(pseudo-partial-derivative,PPD)的概念,对被控系统进行动态线性化处理得到预测模型,提出了一种改进的无模型自适应预测控制算法(model free adap-tive predictive control,MFAPC)。将这种新方法应用到火电厂中具有大惯... 采用伪梯度向量(pseudo-partial-derivative,PPD)的概念,对被控系统进行动态线性化处理得到预测模型,提出了一种改进的无模型自适应预测控制算法(model free adap-tive predictive control,MFAPC)。将这种新方法应用到火电厂中具有大惯性、模型不确定性等特性的过热汽温串级控制系统中,主回路采用MFAPC算法,副回路采用常规PID控制,仿真结果证明了该串级控制策略的有效性。 展开更多
关键词 伪梯度向量 预测控制 过热汽温 串级控制系统
原文传递
基于非相干积累的微小伪距偏差RAIM方法研究 被引量：12
7
作者 沙海 黄新明 +2 位作者 刘文祥 徐博 欧钢 《宇航学报》 EI CAS CSCD 北大核心 2014年第6期708-712,共5页
针对传统RAIM算法难以检测连续微小伪距偏差的问题,提出一种基于非相干积累的微小伪距偏差RAIM方法。该方法通过对多个历元时刻奇偶矢量的非相干积累,使得检测统计量的非中心参数增大,从而提高算法对于微小伪距偏差的故障检测概率。理... 针对传统RAIM算法难以检测连续微小伪距偏差的问题,提出一种基于非相干积累的微小伪距偏差RAIM方法。该方法通过对多个历元时刻奇偶矢量的非相干积累,使得检测统计量的非中心参数增大,从而提高算法对于微小伪距偏差的故障检测概率。理论分析和仿真结果表明,该方法在历元累加数为10时,可以显著提高对微小伪距偏差的检测性能,其可检测最小伪距偏差值约为传统奇偶矢量法的1/3。同时,该方法无需判断伪距偏差符号,在伪距偏差快速变化条件下,也能有效检测出微小伪距偏差。 展开更多
关键词 卫星导航系统 接收机自主完好性监测 微小缓变伪距偏差 奇偶矢量 非相干积累
在线阅读 下载PDF
欠定情形下语音信号盲分离的新方法 被引量：3
8
作者 白琳 陈豪 《计算机应用研究》 CSCD 北大核心 2010年第7期2509-2512,共4页
提出了一种新的两步法来实现欠定情形下语音信号的盲分离。第一步,采用一种重构观测信号采样点搜索法来估计混合矩阵;第二步,提出了一种伪提取矢量的概念,通过伪提取矢量来提取取值占优的源信号的采样值来恢复源信号。在源信号的恢复过... 提出了一种新的两步法来实现欠定情形下语音信号的盲分离。第一步,采用一种重构观测信号采样点搜索法来估计混合矩阵;第二步,提出了一种伪提取矢量的概念,通过伪提取矢量来提取取值占优的源信号的采样值来恢复源信号。在源信号的恢复过程中,还使用了经典的基于线性规划的欠定盲源分离方法。结果表明:该方法由于在信号的各采样点处无须优化,在源信号的分离过程中,分离速度要比基于线性规划的方法快数倍,且分离精度不低于基于线性规划的方法。仿真结果表明了该算法的良好性能。 展开更多
关键词 两步法 欠定盲源分离 稀疏表征 伪提取矢量
在线阅读 下载PDF
基于Choi-Williams时频图像特征的雷达辐射源识别 被引量：23
9
作者 白航 赵拥军 +1 位作者 胡德秀 徐永刚 《数据采集与处理》 CSCD 北大核心 2012年第4期480-485,共6页
针对复杂体制雷达辐射源识别,提出一种基于Choi-Williams时频图像的雷达辐射源信号特征提取和识别方法,将信号识别转化为图像识别问题。首先对雷达辐射源信号进行Choi-Williams时频变换,将得到的时频图转化为灰度图像;然后采用一系列图... 针对复杂体制雷达辐射源识别,提出一种基于Choi-Williams时频图像的雷达辐射源信号特征提取和识别方法,将信号识别转化为图像识别问题。首先对雷达辐射源信号进行Choi-Williams时频变换,将得到的时频图转化为灰度图像;然后采用一系列图像处理方法对时频图像进行增强和去噪,之后将灰度图像转化为二值图像,并剪切掉不含信号的图像区域;最后分别提取二值图像的中心矩和伪Zernike矩作为识别特征,并采用支持向量机分类器实现信号的分类识别。文中针对8种常见雷达信号识别进行了仿真实验,结果表明在较大的信噪比范围内,该方法能获得较为满意的识别率,其中当信噪比为-3dB时,采用伪Zernike矩特征平均识别率仍能达到92%,验证了所提出方法的有效性。 展开更多
关键词 图像识别 雷达辐射源识别 Choi—Williams分布 伪ZERNIKE矩 支持向量机
在线阅读 下载PDF
一种适于多目标稳态优化决策的伪权向量方法 被引量：1
10
作者 王小刚 李明杰 +1 位作者 王福利 常玉清 《系统仿真学报》 EI CAS CSCD 北大核心 2008年第7期1849-1851,1918,共4页
伪权向量法是解决多目标决策问题的一种常见方法,但由于其决策函数中缺少对决策变量调整幅值的约束,易造成因决策变量(通常为控制回路的设定值)变动幅度过大而影响被控过程稳定性的后果,因而限制了该方法在过程控制系统稳态优化中的应... 伪权向量法是解决多目标决策问题的一种常见方法,但由于其决策函数中缺少对决策变量调整幅值的约束,易造成因决策变量(通常为控制回路的设定值)变动幅度过大而影响被控过程稳定性的后果,因而限制了该方法在过程控制系统稳态优化中的应用。对此,提出了一种适合于过程控制系统稳态优化的伪权向量多目标决策方法。该方法综合考虑了决策者偏好以及决策变量的变化情况,为控制系统的稳态优化提供了一种适合实际的决策方法。仿真结果验证了该方法的有效性和实用性。 展开更多
关键词 多目标优化 PARETO最优解集 决策 伪权向量法
原文传递
欠定模型下源信号及混合矩阵动态变化时的盲分离 被引量：1
11
作者 白琳 陈豪 《电子科技大学学报》 EI CAS CSCD 北大核心 2012年第3期348-354,共7页
提出了一种改进的两步法实现欠定模型下信源及信道动态变化时的盲分离。首先通过实时的观测信号,基于稀疏域二维最小偏差角判断混合矩阵的变化时刻,进而估计动态变化的混合矩阵并获得实时的源数目;再采用基于伪提取矢量的方法恢复动态... 提出了一种改进的两步法实现欠定模型下信源及信道动态变化时的盲分离。首先通过实时的观测信号,基于稀疏域二维最小偏差角判断混合矩阵的变化时刻,进而估计动态变化的混合矩阵并获得实时的源数目;再采用基于伪提取矢量的方法恢复动态的源信号。在源信号的恢复中,使用常规的基于线性规划的欠定盲分离方法,以进行对比。结果表明,该方法能处理信源及信道动态变化时的欠定盲分离,并且分离速度比基于线性规划的方法快数十倍。仿真结果表明了该算法的良好性能。 展开更多
关键词 盲源分离 动态 伪提取矢量 两步法 欠定
在线阅读 下载PDF
基于内禀模态奇异值伪熵特征提取的电能质量扰动识别 被引量：4
12
作者 刘志刚 王英 范福强 《电力科学与技术学报》 CAS 2013年第2期3-9,共7页
针对电能质量暂态扰动信号的非平稳、非线性等特点,提出一种基于内禀模态奇异值伪熵特征提取和支持向量机的电能质量复合扰动识别分类方法.该方法通过经验模态分解方法将各种非平稳电能质量扰动信号分别分解成若干个平稳的内禀模态函数... 针对电能质量暂态扰动信号的非平稳、非线性等特点,提出一种基于内禀模态奇异值伪熵特征提取和支持向量机的电能质量复合扰动识别分类方法.该方法通过经验模态分解方法将各种非平稳电能质量扰动信号分别分解成若干个平稳的内禀模态函数,然后分别对每个有意义的内禀模态函数组成矩阵.该识别方法提出奇异值伪熵的概念,并依据该奇异值伪熵特征向量,通过支持向量机对各种电能质量扰动数据进行识别分类.实验结果表明,所提方法能有效地进行特征提取和电能质量扰动识别分类. 展开更多
关键词 电能质量扰动 经验模态分解 特征提取 奇异值伪熵 支持向量机
在线阅读 下载PDF
基于3-RRR结构的光学元件柔顺微动调整机构的位姿正解 被引量：11
13
作者 赵磊 梁超 +2 位作者 张德福 东立剑 彭海峰 《光学精密工程》 EI CAS CSCD 北大核心 2016年第6期1373-1381,共9页
针对光刻投影物镜中光学元件X/Y/θ微动调整的工程需求,研制了一种基于3-RRR结构的光学元件柔顺微动调整机构,并对其位姿正解进行了研究。建立了3-RRR柔顺并联机构的伪刚体模型,并采用矢量代数法理论推导了该机构的位姿正解,得到了它的... 针对光刻投影物镜中光学元件X/Y/θ微动调整的工程需求,研制了一种基于3-RRR结构的光学元件柔顺微动调整机构,并对其位姿正解进行了研究。建立了3-RRR柔顺并联机构的伪刚体模型,并采用矢量代数法理论推导了该机构的位姿正解,得到了它的理论雅克比矩阵。然后,在NASTRAN中建立了3-RRR柔顺并联机构的有限元模型,得到了仿真环境下该机构的位姿正解和雅克比矩阵。最后,对研制的3-RRR柔顺并联机构进行了实验研究,得到了该机构真实的位姿正解和雅克比矩阵。实验结果表明,实验雅克比矩阵的各项系数分别为0.577 7、-0.304 0、-0.283 3、0.002 1、0.524 6、-0.516 5、1.402 6、1.481 9、1.435 3,而理论雅克比矩阵相对应的各项系数分别为0.612 9、-0.3065、-0.306 5、0、0.530 8、-0.530 8、1.444 6、1.444 6、1.444 6,得到的数据表明:采用矢量代数法能够理论推导出该机构正确的位姿正解公式。提出的3-RRR柔顺微动调整机构位姿正解方法为微动调整机构的研制提供了设计依据。 展开更多
关键词 柔顺并联机构 光学元件微动调整 位姿正解 伪刚体模型 矢量代数法 雅克比矩阵
在线阅读 下载PDF
查询主题分类方法研究 被引量：4
14
作者 刘峰 李煜 +1 位作者 吕学强 李卓 《现代图书情报技术》 CSSCI 2015年第4期10-17,共8页
【目的】通过对查询串进行扩展,实现查询串的主题分类。【方法】利用伪相关反馈技术得到查询串扩展文本抽取文本特征,并提出一种向量空间压缩算法对特征进行融合,分别利用向量余弦夹角和SVM模型对其进行分类。【结果】实验结果中正确率... 【目的】通过对查询串进行扩展,实现查询串的主题分类。【方法】利用伪相关反馈技术得到查询串扩展文本抽取文本特征,并提出一种向量空间压缩算法对特征进行融合,分别利用向量余弦夹角和SVM模型对其进行分类。【结果】实验结果中正确率、召回率、F值和整体正确率分别达到90.34%、89.34%、89.67%和89.24%。【局限】根据搜索引擎返回结果进行查询扩展,在线处理效率不高。【结论】该方法对查询主题分类是有效的,并且利用机器学习方法比利用余弦夹角有更好的效果,且对于提高搜索引擎质量有重要意义。 展开更多
关键词 查询串主题分类 伪相关反馈 查询扩展 向量空间压缩算法
原文传递
基于伪Zernike矩不变量分析的视觉测力 被引量：4
15
作者 胡文 刘洪涛 +3 位作者 胡春 范明霞 莫锦秋 王石刚 《上海交通大学学报》 EI CAS CSCD 北大核心 2013年第4期589-593,共5页
提出了一种基于伪Zernike矩不变量分析的视觉测力方法.该方法利用伪Zernike矩不变量所构成的特征向量来描述微装配过程中微夹爪变形之后的形状,并由此建立了矩不变量特征向量与受力之间的函数关系;建立训练集,输入为矩不变量特征向量,... 提出了一种基于伪Zernike矩不变量分析的视觉测力方法.该方法利用伪Zernike矩不变量所构成的特征向量来描述微装配过程中微夹爪变形之后的形状,并由此建立了矩不变量特征向量与受力之间的函数关系;建立训练集,输入为矩不变量特征向量,输出为已知受力;通过支持向量机比较测试集与训练集中的特征向量,对测试集的输入进行多类分类,从而估计未知受力.对4种不同规格的微悬臂梁进行了实验,结果验证了该方法的有效性. 展开更多
关键词 视觉测力 伪Zernike矩不变量 支持向量机 多类分类
在线阅读 下载PDF
雷达辐射源信号的伪Zernike矩双谱二次特征提取 被引量：7
16
作者 王占领 张登福 王世强 《现代雷达》 CSCD 北大核心 2013年第11期39-43,共5页
双谱在提取雷达信号特征时可以保留相位信息。针对现有双谱特征提取方法存在平凡双谱、交叉项、特征维数过高等问题,提出一种双谱二次特征提取方法。首先将双谱转化为灰度图像,以灰度值表示双谱幅度;然后利用图像处理技术提取双谱二次特... 双谱在提取雷达信号特征时可以保留相位信息。针对现有双谱特征提取方法存在平凡双谱、交叉项、特征维数过高等问题,提出一种双谱二次特征提取方法。首先将双谱转化为灰度图像,以灰度值表示双谱幅度;然后利用图像处理技术提取双谱二次特征,提取出能够反映辐射源信号双谱图像细节和概貌信息的不同阶伪Zernike正交矩特征集;最后,将伪Zernike矩特征集与Hu-不变矩特征集进行实验对比。结果表明,文中提出的方法具有更好的分类识别性能。 展开更多
关键词 高阶谱分析 双谱 雷达辐射源信号 特征提取 伪ZERNIKE矩 支持向量机
在线阅读 下载PDF
基于混淆交叉支撑向量机树的自动面部表情分类方法 被引量：4
17
作者 徐琴珍 章品正 +2 位作者 裴文江 杨绿溪 何振亚 《中国图象图形学报》 CSCD 北大核心 2008年第7期1329-1334,共6页
面部表情自动分类是情感信息处理研究中的重要内容,为了提高表情识别的准确率以及鲁棒性,提出了一种基于混淆交叉支撑向量机树的面部表情自动分类方法。该方法依据伪Zernike矩特征,以混淆交叉支撑向量机树对矩特征进行学习,实现面部表... 面部表情自动分类是情感信息处理研究中的重要内容,为了提高表情识别的准确率以及鲁棒性,提出了一种基于混淆交叉支撑向量机树的面部表情自动分类方法。该方法依据伪Zernike矩特征,以混淆交叉支撑向量机树对矩特征进行学习,实现面部表情的自动分类。混淆交叉支撑向量机树的结构使模型能够根据教师信号将面部表情识别问题分解,在不同的层次上以相对较低的复杂度解决子问题;在训练阶段,对当前中间节点划分的两个子样本集进行混淆交叉,增强了模型在面部表情识别上的整体泛化性能以及鲁棒性。实验对Cohn-Kanade面部表情数据库中的6类基本表情进行自动分类,准确率达到96.31%;与同样基于该数据库的识别方法相比,该方法在识别正确率和鲁棒性上具有较大的优势。 展开更多
关键词 面部表情自动识别 混淆交叉 支撑向量机树 伪ZERNIKE矩
在线阅读 下载PDF
基于假反扰动的江淮梅雨锋低涡初始误差分析 被引量：2
18
作者 钟科 王业桂 +1 位作者 董佩明 蔡其发 《气候与环境研究》 CSCD 北大核心 2007年第5期647-658,共12页
以一个江淮梅雨锋低涡的48h模拟结果为基态计算了奇异矢量,并利用奇异矢量构造了假反扰动。分析表明,假反扰动能在一定程度上描述初始误差,可以借助其进行初始误差分析;在假反扰动中,发展缓慢的奇异矢量分量是主体,描述了绝大部分模拟... 以一个江淮梅雨锋低涡的48h模拟结果为基态计算了奇异矢量,并利用奇异矢量构造了假反扰动。分析表明,假反扰动能在一定程度上描述初始误差,可以借助其进行初始误差分析;在假反扰动中,发展缓慢的奇异矢量分量是主体,描述了绝大部分模拟误差且增长迅速的奇异矢量所占比例却很小;分析假反扰动的具体形势发现850hPa上初始误差主要是低涡西南方向的低压槽偏弱,而在500hPa,渤海湾低压槽向西南方向的伸展不够,低压槽东边的高压脊应进一步向北伸展,这些初始误差都分布在关键系统的周围,并且具有中尺度的特征。另外,假反扰动中不同物理量场改进预报质量的贡献各不相同,各种物理量场间存在着使其空间分布趋于一致的动力相关关系。 展开更多
关键词 假反扰动 奇异矢量 初始误差 梅雨锋 低涡
在线阅读 下载PDF
一种鲁棒的RFM模型定位精度优化方法 被引量：2
19
作者 伍洋 张永生 +2 位作者 于英 李凯 赖广陵 《测绘科学技术学报》 北大核心 2019年第3期281-286,共6页
针对传统有理函数模型(RFM)系统误差补偿方法局限于姿态角误差小、相机视场角小的情况,提出了一种鲁棒性更好的卫星影像定位精度优化方法。该方法首先通过影像附带的有理多项式系数(RPC)计算出像元视线向量,再根据视线向量恢复出成像时... 针对传统有理函数模型(RFM)系统误差补偿方法局限于姿态角误差小、相机视场角小的情况,提出了一种鲁棒性更好的卫星影像定位精度优化方法。该方法首先通过影像附带的有理多项式系数(RPC)计算出像元视线向量,再根据视线向量恢复出成像时刻虚拟外方位元素;然后对恢复的虚拟外方位元素构建误差补偿模型;最后根据控制点信息求解出模型参数后更新RPC文件。该方法从系统误差产生的原因构建补偿模型,可以规避传统方法的近似假设和条件限制。采用仿真数据和真实数据进行试验的结果表明:当姿态角误差较小时,该方法可达到与传统方法相当的精度;当姿态角误差较大时,可达到比传统方法更高的精度。 展开更多
关键词 有理函数模型 系统误差补偿 姿态角误差 视线向量 虚拟外方位元素
在线阅读 下载PDF
对称逻辑公式在L3^＊逻辑度量空间中的分布 被引量：10
20
作者 王庆平 王国俊 《计算机学报》 EI CSCD 北大核心 2011年第1期105-114,共10页
在三值逻辑系统L3*中引入了对称三值R0函数的概念,在此基础上给出了对称逻辑公式和准对称逻辑公式的定义.研究了在逻辑等价意义下对称逻辑公式的性质,给出了L3*和经典逻辑系统L中对称逻辑公式之间的关系及其计数问题,证明了n元对称逻辑... 在三值逻辑系统L3*中引入了对称三值R0函数的概念,在此基础上给出了对称逻辑公式和准对称逻辑公式的定义.研究了在逻辑等价意义下对称逻辑公式的性质,给出了L3*和经典逻辑系统L中对称逻辑公式之间的关系及其计数问题,证明了n元对称逻辑公式占全体n元逻辑公式的比例随n的增大而趋向于零,且全体对称逻辑公式的真度之集却在[0,1]中稠密.然而全体对称逻辑公式之集是逻辑度量空间中的无处稠密集. 展开更多
关键词 对称三值R0函数 对称逻辑公式 准对称逻辑公式 同类向量 稠密
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 8 下一页 到第 页
使用帮助 返回顶部