期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
5
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
三值乘积逻辑系统π_3中的随机化研究
被引量:
3
1
作者
屠桂晶
张兴芳
+1 位作者
李成允
李友雨
《计算机工程与应用》
CSCD
北大核心
2010年第14期34-38,52,共6页
利用赋值集的随机化方法,在三值乘积逻辑π3中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的Dπ3-相似度与伪距离的概念,并建立了Dπ3-逻辑度量空间,证明了此空间没有孤立点。
关键词
dπ
3
-
随机真度
dπ
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-逻辑度量空间,证明了此空间没有孤立点。
关键词
dπ
n
-
随机真度
dπ
n
-
相似度
dπ
n
-
逻辑
度量
空间
在线阅读
下载PDF
职称材料
跨相机交通场景下的车辆空间定位方法
被引量:
3
5
作者
王伟
唐心瑶
+2 位作者
张朝阳
宋焕生
崔华
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2021年第6期873-882,共10页
为解决交通应用中的跨相机全场景车辆空间定位问题,利用单目相机,提出一种全场景透视拼接及车辆3D检测相结合的方法.首先提出一种交通场景下的相机自动标定方法,通过构建相机标定空间模型,自动求取标定参数并优化;然后利用公共区域的特...
为解决交通应用中的跨相机全场景车辆空间定位问题,利用单目相机,提出一种全场景透视拼接及车辆3D检测相结合的方法.首先提出一种交通场景下的相机自动标定方法,通过构建相机标定空间模型,自动求取标定参数并优化;然后利用公共区域的特征点,将多相机空间坐标系进行变换统一,为直观体现全场景物理空间,将各场景透视变换至统一的像素-物理坐标系中;最后,针对单目视觉下的车辆3D定位难题,利用车辆投影的几何约束,建立优化模型构建精细化的3D包络,以3D包络质心作为车辆空间定位点,同时可映射至像素-物理坐标系,体现车辆的动态信息.在具有人工特征点的实验环境及无人工特征点的实际应用环境中,对于跨场景的多类型车辆进行空间定位实验验证,实验结果表明,该方法可解决交通视频监控中的车辆跨相机大场景下的空间定位难题,在选取的实验场景中综合定位精度可达到厘米级,且实时性较好.
展开更多
关键词
智能交通
车辆
空间
定位
跨相机场景拼接
自动标定
3
d
包络
像素
-
物理坐标系
在线阅读
下载PDF
职称材料
题名
三值乘积逻辑系统π_3中的随机化研究
被引量:
3
1
作者
屠桂晶
张兴芳
李成允
李友雨
机构
聊城大学数学科学学院
出处
《计算机工程与应用》
CSCD
北大核心
2010年第14期34-38,52,共6页
基金
国家自然科学基金No.60875034~~
文摘
利用赋值集的随机化方法,在三值乘积逻辑π3中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的Dπ3-相似度与伪距离的概念,并建立了Dπ3-逻辑度量空间,证明了此空间没有孤立点。
关键词
dπ
3
-
随机真度
dπ
3
-
相似度
dπ3-逻辑度量空间
Keywords
dπ
3
-
stochastic truth
d
egree
dπ
3
-
similarity
d
egree
dπ
3
-
logic metric space
分类号
O141.1 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
双曲空间H^3(-1)内给定主曲率函数的一类特殊曲面的位置向量场
被引量:
2
2
作者
刘继志
宣满友
机构
北京师范大学数学系
出处
《北京师范大学学报(自然科学版)》
CAS
CSCD
北大核心
2002年第6期745-750,共6页
基金
国家自然科学基金资助项目 (197710 10 )
文摘
通过对一类常微分方程组的求解条件的讨论 ,给出了 H3(- 1)内给定主曲率函数的一类特殊曲面的整体存在定理和求出了该类曲面的位置向量场 ,从而对黄宣国提出的一个问题给出了完满的解答 .
关键词
双曲
空间
H^
3
(
-
1)
主曲率函数
特殊曲面
位置向量场
度量
形式
光滑曲线
黎曼流形
Keywords
principal curvature function
spacial surface
position vector fiel
d
分类号
O186.12 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
3-值逻辑函数的稳定性
3
作者
李世取
赵亚群
俞嘉恩
机构
郑州信息工程学院应用数学系
出处
《电子科学学刊》
CSCD
1998年第6期794-798,共5页
文摘
本文提出了3-值逻辑函数稳定性的概念,考察了“稳定”的概率定义,给出了3-值逻辑函数稳定的判别条件,提供了构造稳定的3-值逻辑函数的典型方法,用本文的方法,也可考察一般P-值逻辑函数的稳定性。
关键词
3
-
值
逻辑
函数
稳定性
概率
空间
密码学
Keywords
3
-
value
d
logical function, Stability, Chrestenson spectrum, Probability space
分类号
TN918.1 [电子电信—通信与信息系统]
在线阅读
下载PDF
职称材料
题名
n值乘积逻辑系统中的随机化研究
被引量:
2
4
作者
李友雨
张兴芳
李绍勇
屠桂晶
机构
聊城大学数学科学学院
出处
《计算机工程与应用》
CSCD
北大核心
2010年第16期35-38,51,共5页
基金
国家自然科学基金(No.60875034)~~
文摘
利用赋值集的随机化方法,在n值乘积逻辑中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的Dπn-相似度与伪距离的概念,并建立了Dπn-逻辑度量空间,证明了此空间没有孤立点。
关键词
dπ
n
-
随机真度
dπ
n
-
相似度
dπ
n
-
逻辑
度量
空间
Keywords
dπ
n
-
stochastic truth
d
egree
dπ
n
-
similarity
d
egree
dπ
n
-
logic metric space
分类号
O159 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
跨相机交通场景下的车辆空间定位方法
被引量:
3
5
作者
王伟
唐心瑶
张朝阳
宋焕生
崔华
机构
长安大学信息工程学院
安徽科力信息产业有限责任公司
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2021年第6期873-882,共10页
基金
国家重点研发计划(2019YFB1600500)
陕西省社会发展项目(2019SF-258)
+2 种基金
陕西省科技厅重点研发计划(2018ZDXM-GY-047)
国家自然科学基金面上项目(6207205)
科技部重大专项(SQ2019YFB160023).
文摘
为解决交通应用中的跨相机全场景车辆空间定位问题,利用单目相机,提出一种全场景透视拼接及车辆3D检测相结合的方法.首先提出一种交通场景下的相机自动标定方法,通过构建相机标定空间模型,自动求取标定参数并优化;然后利用公共区域的特征点,将多相机空间坐标系进行变换统一,为直观体现全场景物理空间,将各场景透视变换至统一的像素-物理坐标系中;最后,针对单目视觉下的车辆3D定位难题,利用车辆投影的几何约束,建立优化模型构建精细化的3D包络,以3D包络质心作为车辆空间定位点,同时可映射至像素-物理坐标系,体现车辆的动态信息.在具有人工特征点的实验环境及无人工特征点的实际应用环境中,对于跨场景的多类型车辆进行空间定位实验验证,实验结果表明,该方法可解决交通视频监控中的车辆跨相机大场景下的空间定位难题,在选取的实验场景中综合定位精度可达到厘米级,且实时性较好.
关键词
智能交通
车辆
空间
定位
跨相机场景拼接
自动标定
3
d
包络
像素
-
物理坐标系
Keywords
intelligent traffic
vehicle spatial positioning
cross
-
camera scene splicing
automatic calibration
three
-
d
imensional envelope
pixel
-
physical coor
d
inate system
分类号
TP391.41 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
三值乘积逻辑系统π_3中的随机化研究
屠桂晶
张兴芳
李成允
李友雨
《计算机工程与应用》
CSCD
北大核心
2010
3
在线阅读
下载PDF
职称材料
2
双曲空间H^3(-1)内给定主曲率函数的一类特殊曲面的位置向量场
刘继志
宣满友
《北京师范大学学报(自然科学版)》
CAS
CSCD
北大核心
2002
2
在线阅读
下载PDF
职称材料
3
3-值逻辑函数的稳定性
李世取
赵亚群
俞嘉恩
《电子科学学刊》
CSCD
1998
0
在线阅读
下载PDF
职称材料
4
n值乘积逻辑系统中的随机化研究
李友雨
张兴芳
李绍勇
屠桂晶
《计算机工程与应用》
CSCD
北大核心
2010
2
在线阅读
下载PDF
职称材料
5
跨相机交通场景下的车辆空间定位方法
王伟
唐心瑶
张朝阳
宋焕生
崔华
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2021
3
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部