-
题名基于模糊命题模态逻辑的形式推理系统(英文)
被引量:6
- 1
-
-
作者
张再跃
眭跃飞
曹存根
-
机构
江苏科技大学计算机科学与技术系智能计算联合实验室
中国科学院计算机技术研究所智能信息处理重点实验室
-
出处
《软件学报》
EI
CSCD
北大核心
2005年第8期1359-1365,共7页
-
基金
No.60310213国家自然科学基金
No.G1999032701国家重点基础研究发展规划(973)
国家软件发展环境重点实验室~~
-
文摘
探讨基于可信度的模糊命题模态逻辑的形式推理,给出相关的模糊Kripke语义描述.其研究目的旨在解决基于模态命题逻辑的模糊推理的能行问题.在研究过程与方法上,以完全形式化的方法将模糊模态逻辑语法和语义统一在一个形式系统中,以模糊约束作为基本表达式,给出推理规则,建立了相应的模糊推理形式系统,并以形式系统中模糊约束集的可满足性来表示模糊推理的有效性,使模糊推理过程变得容易,为最终在计算机上实现基于模态逻辑的模糊推理打下了一定的基础.主要结论是证明了基于可满足性的模糊推理形式系统的可靠性与完备性.
-
关键词
命题模态逻辑
模糊推理
形式系统
-
Keywords
propositional modal logic
fuzzy reasoning
formal system
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名基于DICOM3.0的医学影像系统应用与研究
被引量:7
- 2
-
-
作者
李志庆
刘亮亮
孙颖
-
机构
江苏科技大学计算机科学与技术系智能计算联合实验室
-
出处
《微计算机信息》
北大核心
2008年第6期57-58,87,共3页
-
基金
国家自然科学基金基金编号:(60573064
60310213)
-
文摘
本文介绍了DICOM3.0标准,分析了DICOM图像文件和DICOM协议的运行机制,构建了基于DICOM标注的医学影像系统。从系统框架、系统功能分析、开发平台和主要图像处理算法等方面对医学影像系统的实现做了详细的分析,最后设计实现了基于DICOM标准的医学影像系统。
-
关键词
PACS
DICOM
医学影像
-
Keywords
PACS
DICOM
Medical Image
-
分类号
TP36
[自动化与计算机技术—计算机系统结构]
-
-
题名跨模态行人重识别研究与展望
被引量:8
- 3
-
-
作者
陈丹
李永忠
于沛泽
邵长斌
-
机构
江苏科技大学计算机科学与技术系
南京大学计算机学院
-
出处
《计算机系统应用》
2020年第10期20-28,共9页
-
基金
国家自然科学基金(61471182)
江苏省研究生创新工程(CXLX13_70,KYCX17_1845)
-
文摘
行人重识别是计算机视觉的热门研究方向,其对智能安防、视频监控的发展有着重大意义.目前大部分工作主要集中在研究基于可见光的行人重识别,然而可见光摄像头无法在光线不足的黑夜中正常使用,而新型摄像头能够随机切换红外模式进行24小时视频监控,因此最近有一些工作对RGB-IR跨模态行人重识别问题进行了研究.本文分别从定义、研究难点和发展现状介绍了跨模态行人重识别问题,并根据不同的技术类型将目前存在的方法分为三类,即基于统一特征模型的方法;基于度量学习的方法;基于模态转换的方法.本文也详细介绍了该任务的数据集和评价准则,并对现有算法的性能进行分析与归纳.最后,总结了跨模态行人重识别的未来发展方向.
-
关键词
跨模态行人重识别
红外图像
统一特征模型
度量学习
模态转换
-
Keywords
cross modality person re-identification
infrared image
unified feature model
metric learning
modality transformation
-
分类号
TP391.41
[自动化与计算机技术—计算机应用技术]
-