期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
命题逻辑系统L_n中公式集上的真度函数
1
作者 马丽娜 刘烁 王国俊 《计算机工程与应用》 CSCD 北大核心 2010年第36期37-39,共3页
在n值Lukasiewicz命题逻辑系统中引入了公式集F(S)上真度函数的公理化定义,给出了真度函数的若干重要性质,利用真度函数从形式上定义了相似度和伪距离,建立了逻辑度量空间,为从语构的角度展开近似推理提供了一种可能的框架。
关键词 真度函数 相似度 伪距离 逻辑度量空间
下载PDF
乘积逻辑系统中公式的真度函数理论
2
作者 罗敏霞 姚宁 《计算机工程与应用》 CSCD 北大核心 2011年第25期58-60,67,共4页
基于乘积逻辑系统研究公式的真度函数理论。在乘积逻辑系统中给出真度函数的概念,得到真度函数的一系列性质,证明τ-完备性定理,说明τ-语构与τ-语义的和谐性。
关键词 真度函数 τ-定理 τ-重言式 τ-演绎定理
下载PDF
基于PCA和边缘不变矩的车标识别新方法 被引量:15
3
作者 王枚 王国宏 +1 位作者 高小林 王勇 《计算机工程与应用》 CSCD 北大核心 2008年第4期224-226,229,共4页
车标识别技术是进行车辆类型识别的关键内容。在车牌定位准确的基础上,利用车头图像中车牌、车标位置关系定位到车标大致区域;接着对车标进行精确定位、归一化处理,并提出似真度函数对车标进行确认;然后利用边缘不变矩的最小距离进行车... 车标识别技术是进行车辆类型识别的关键内容。在车牌定位准确的基础上,利用车头图像中车牌、车标位置关系定位到车标大致区域;接着对车标进行精确定位、归一化处理,并提出似真度函数对车标进行确认;然后利用边缘不变矩的最小距离进行车标识别。该方法不受原始车标图像大小、变形等影响,能够自适应地进行目标定位确认和识别,具有较强的鲁棒性。通过实测图像测试,结果表明该方法是有效和可行的。 展开更多
关键词 真度函数 边缘不变矩 车标配准 车标识别
下载PDF
基于主成分分析的目标确认方法及其在车标定位识别中的应用 被引量:5
4
作者 王枚 王国宏 《南京理工大学学报》 EI CAS CSCD 北大核心 2009年第1期42-46,共5页
提出一种基于主成分分析的目标确认方法,解决小目标定位错误率高,并由此导致无效目标识别的问题。将已建好的目标模板看成一组随机向量,利用主成分分析得到一组特征目标;从原图像中检测可能目标,并将其映入特征目标空间进行重构;构造原... 提出一种基于主成分分析的目标确认方法,解决小目标定位错误率高,并由此导致无效目标识别的问题。将已建好的目标模板看成一组随机向量,利用主成分分析得到一组特征目标;从原图像中检测可能目标,并将其映入特征目标空间进行重构;构造原目标与重构目标的似真度函数,根据该函数值可对检测目标进行确认或剔除,降低误定位率,确保了进入后续识别的目标为目标库中对象。将该方法应用在实测车辆图像车标定位识别测试,结果表明:与不使用似真度函数验证相比,目标定位准确度提高了16.5%;使用不变矩最小距离分类器进行车标识别,识别准确度比不使用似真度函数确认提高了20%。 展开更多
关键词 主成分分析 真度函数 目标确认 车标定位识别
下载PDF
三值命题逻辑随机化的注记
5
作者 左卫兵 《河北师范大学学报(自然科学版)》 CAS 北大核心 2011年第4期325-331,335,共8页
通过引入随机化映射和真度权函数等概念,提出了三值命题逻辑系统中公式的随机真度的等价定义,给出了随机真度的推理规则,研究了随机度量空间上逻辑运算的连续性等问题,为在三值命题逻辑系统中进行近似推理提供了另外的方法.
关键词 命题逻辑 真度函数 随机真度 随机伪度量 连续性
下载PDF
Pseudopotential Density-Functional Calculations for Structures of Small CarbonClusters CN (N=2-8)
6
作者 BAIYu-Lin CHENXiang-Rong +1 位作者 YANGXiang-Dong LUPeng-Fei 《Communications in Theoretical Physics》 SCIE CAS CSCD 2004年第1期89-94,共6页
We introduce a first-principles density-functional theory,i.e.the finite-difference pseudopotential density- functional theory in real space and the Langevin molecular dynamics annealing technique,to the descriptions ... We introduce a first-principles density-functional theory,i.e.the finite-difference pseudopotential density- functional theory in real space and the Langevin molecular dynamics annealing technique,to the descriptions of structures and some properties of small carbon clusters(C_N,N=2~8).It is shown that the odd-numbered clusters have linear structures and most of the even-numbered clusters prefer cyclic structures. 展开更多
关键词 pseudopotential density-functional theory real space Langevin molecular dynamics annealing technique small carbon clusters
下载PDF
Modelling and Simulation for Train Movement Control Using Car-Following Strategy 被引量:1
7
作者 李克平 高自友 唐涛 《Communications in Theoretical Physics》 SCIE CAS CSCD 2011年第1期29-34,共6页
Based on optimM velocity car-following model, in this paper, we propose a new railway tramc model for describing the process of train movement control. In the proposed model, we give an improved form of the optimal ve... Based on optimM velocity car-following model, in this paper, we propose a new railway tramc model for describing the process of train movement control. In the proposed model, we give an improved form of the optimal velocity function V^opt, which is considered as the desired velocity function for train movement control under different control conditions. In order to test the proposed model, we simulate and analyze the trajectories of train movements, moreover, discuss the relationship curves between the train allowable velocity and the site of objective point in detail. Analysis results indicate that the proposed model can well capture some realistic futures of train movement control. 展开更多
关键词 train movement control railway traffic car-following model
下载PDF
四值非全序R_0命题逻辑上的随机伪度量
8
作者 左卫兵 《云南大学学报(自然科学版)》 CAS CSCD 北大核心 2012年第2期134-141,共8页
通过引入随机化映射和真度权函数等概念,在四值非全序R0命题逻辑系统中提出了公式的可变随机真度,得到可变随机真度的一些基本性质,提出了2公式间的随机相似度和随机伪度量,建立了四值非全序R0命题逻辑系统上的随机逻辑伪度量空间,为在... 通过引入随机化映射和真度权函数等概念,在四值非全序R0命题逻辑系统中提出了公式的可变随机真度,得到可变随机真度的一些基本性质,提出了2公式间的随机相似度和随机伪度量,建立了四值非全序R0命题逻辑系统上的随机逻辑伪度量空间,为在四值非全序命题逻辑系统上进行近似推理提供了一种可能的框架. 展开更多
关键词 非全序 命题逻辑 真度函数 可变随机真度 随机伪度量
原文传递
Method of infrared image enhancement based on histogram 被引量:11
9
作者 王亮 闫杰 《Optoelectronics Letters》 EI 2011年第3期237-240,共4页
Aiming at the problem in infrared image enhancement,a new method is given based on histogram.Using the gray characteristics of target,the upper-bound threshold is selected adaptively and the histogram is processed by ... Aiming at the problem in infrared image enhancement,a new method is given based on histogram.Using the gray characteristics of target,the upper-bound threshold is selected adaptively and the histogram is processed by the threshold.After choosing the gray transform function based on the gray level distribution of image,the gray transformation is done during histogram equalization.Finally,the enhanced image is obtained.Compared with histogram equalization(HE),histogram double equalization(HDE) and plateau histogram equalization(PE),the simulation results demonstrate that the image enhancement effect of this method has obvious superiority.At the same time,its operation speed is fast and real-time ability is excellent. 展开更多
关键词 Graphic methods Imaging systems Infrared imaging
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部