期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
三值乘积逻辑系统π_3中的随机化研究 被引量:3
1
作者 屠桂晶 张兴芳 +1 位作者 李成允 李友雨 《计算机工程与应用》 CSCD 北大核心 2010年第14期34-38,52,共6页
利用赋值集的随机化方法,在三值乘积逻辑π3中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的Dπ3-相似度与伪距离的概念,并建立了Dπ3-逻辑度量空间,证明了此空间没有孤立点。
关键词 3-随机真度 3-相似度 dπ3-逻辑度量空间
在线阅读 下载PDF
双曲空间H^3(-1)内给定主曲率函数的一类特殊曲面的位置向量场 被引量:2
2
作者 刘继志 宣满友 《北京师范大学学报(自然科学版)》 CAS CSCD 北大核心 2002年第6期745-750,共6页
通过对一类常微分方程组的求解条件的讨论 ,给出了 H3(- 1)内给定主曲率函数的一类特殊曲面的整体存在定理和求出了该类曲面的位置向量场 ,从而对黄宣国提出的一个问题给出了完满的解答 .
关键词 双曲空间 H^3(-1) 主曲率函数 特殊曲面 位置向量场 度量形式 光滑曲线 黎曼流形
在线阅读 下载PDF
3-值逻辑函数的稳定性
3
作者 李世取 赵亚群 俞嘉恩 《电子科学学刊》 CSCD 1998年第6期794-798,共5页
本文提出了3-值逻辑函数稳定性的概念,考察了“稳定”的概率定义,给出了3-值逻辑函数稳定的判别条件,提供了构造稳定的3-值逻辑函数的典型方法,用本文的方法,也可考察一般P-值逻辑函数的稳定性。
关键词 3-逻辑函数 稳定性 概率空间 密码学
在线阅读 下载PDF
n值乘积逻辑系统中的随机化研究 被引量:2
4
作者 李友雨 张兴芳 +1 位作者 李绍勇 屠桂晶 《计算机工程与应用》 CSCD 北大核心 2010年第16期35-38,51,共5页
利用赋值集的随机化方法,在n值乘积逻辑中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的Dπn-相似度与伪距离的概念,并建立了Dπn-逻辑度量空间,证明了此空间没有孤立点。
关键词 n-随机真度 n-相似度 n-逻辑度量空间
在线阅读 下载PDF
跨相机交通场景下的车辆空间定位方法 被引量:3
5
作者 王伟 唐心瑶 +2 位作者 张朝阳 宋焕生 崔华 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2021年第6期873-882,共10页
为解决交通应用中的跨相机全场景车辆空间定位问题,利用单目相机,提出一种全场景透视拼接及车辆3D检测相结合的方法.首先提出一种交通场景下的相机自动标定方法,通过构建相机标定空间模型,自动求取标定参数并优化;然后利用公共区域的特... 为解决交通应用中的跨相机全场景车辆空间定位问题,利用单目相机,提出一种全场景透视拼接及车辆3D检测相结合的方法.首先提出一种交通场景下的相机自动标定方法,通过构建相机标定空间模型,自动求取标定参数并优化;然后利用公共区域的特征点,将多相机空间坐标系进行变换统一,为直观体现全场景物理空间,将各场景透视变换至统一的像素-物理坐标系中;最后,针对单目视觉下的车辆3D定位难题,利用车辆投影的几何约束,建立优化模型构建精细化的3D包络,以3D包络质心作为车辆空间定位点,同时可映射至像素-物理坐标系,体现车辆的动态信息.在具有人工特征点的实验环境及无人工特征点的实际应用环境中,对于跨场景的多类型车辆进行空间定位实验验证,实验结果表明,该方法可解决交通视频监控中的车辆跨相机大场景下的空间定位难题,在选取的实验场景中综合定位精度可达到厘米级,且实时性较好. 展开更多
关键词 智能交通 车辆空间定位 跨相机场景拼接 自动标定 3d包络 像素-物理坐标系
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部