中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共4条，第1-4条

帮助

条数/页：排序方式：
	基于心音分类的识别器分析会议论文 OAI收割中国黑龙江哈尔滨, 2017-09-22 作者: 侯雷静; 应冬文; 国雁萌; 蔚文婧; 颜永红 \| 收藏 \| 浏览/下载：32/0 \| 提交时间：2018/06/11 据世界卫生组织估计心血管疾病是全球第一致死、致残原因占全球总死亡人数的30%[1]。心音听诊是主要的检测方式但受医生主观性影响需要临床经验。机器学习的发展使自动化听诊成为可能针对心音的智能分割与诊断受到广泛重视。心音阶段的准确分割1是自动分析的前提[1]。以往研究受数据的限制多使用不同的数据集对性能难以做出相对公平的评价。我们使用当前最大的心音数据集进行基础心音的识别分析旨在将多种策略在数据充足的条件下进行客观比较。
	公式分层的谓词模态逻辑期刊论文 OAI收割软件学报, 2014, 卷号: 25.0, 期号: 005, 页码: 1014 作者: 孙梅莹; 邓少波; 陈博; 曹存根; 眭跃飞 \| 收藏 \| 浏览/下载：2/0 \| 提交时间：2023/12/04 跨可能世界相等谓词模态逻辑可变论域语义 Ⅴ-性质可靠性完备性
	纤维逻辑期刊论文 OAI收割计算机科学, 2006, 卷号: 33.0, 期号: 1.0, 页码: 1 作者: 邱莉榕; 杨柳; 史忠植 \| 收藏 \| 浏览/下载：7/0 \| 提交时间：2023/12/04 形式逻辑 BDI逻辑多模态逻辑纤维逻辑模态逻辑纤维可能世界语义命题逻辑人工智能复杂性
	理性Agent的意图维护模型期刊论文 OAI收割计算机研究与发展, 2001, 卷号: 38, 期号: 9, 页码: 1046-1050 胡山立; 石纯一 \| 收藏 \| 浏览/下载：23/0 \| 提交时间：2011/07/29 Agent 意图语义模型维护信念逻辑全知问题思维状态时序结构动态模型模态形式可能世界动态变化形式化适用性副作用属性直观语义算子考察