检索结果-内蒙古大学图书馆

世界科学技术-中医药现代化 2025年第2期27卷 452-459页

作者：许玉龙陈锦华朱红磊吕雅丽胡镜清张连文河南中医药大学信息技术学院郑州450046 香港浸会大学中医药学院中国香港999077 中国中医科学院中医基础理论研究所北京100700 香港科技大学计算机科学与工程学系中国香港999077

经典隐结构方法在对症状分析时,没有考虑主、次症以及证候兼加、症状兼加的影响,约束隐结构分析能够考虑兼加造成的影响,得到更适宜的辨证规则。本文针对1087例糖尿病患者胃肠湿热证涉及症状数据,首先使用经典隐结构分析,得到定量化辨... 详细信息

经典隐结构方法在对症状分析时,没有考虑主、次症以及证候兼加、症状兼加的影响,约束隐结构分析能够考虑兼加造成的影响,得到更适宜的辨证规则。本文针对1087例糖尿病患者胃肠湿热证涉及症状数据,首先使用经典隐结构分析,得到定量化辨证规则。然后使用约束隐结构分析,得到含有主症、次症的定量化辨证规则如下,主症:口臭(2.3)、舌苔黄(2)、腹痞胀(2.3)、舌苔腻(2.1)、大便秘结或便溏不爽(1.5)、舌色红(1.3)、滑脉(1.4);次症:胃脘痞胀(1.1)。将两种方法得到规则进行对比分析,结果显示约束隐结构分析能通过主、次症阈值降低兼加因素的影响,得到的规则更符合主症、次症语义和中医常识。最后,再用逻辑回归分析得到辨证规则,并将3种规则做准确率对比测试,结果显示约束隐结构分析得到的规则识别准确率最高。从而得出约束隐结构分析得到的胃肠湿热辨证规则,符合主、次症的约束语义和中医理论,具有较高的客观性,有助于推广使用。

关键词：辨证规则主症次症约束隐结构分析定量化

来源：评论

学校读者我要写书评

暂无评论

“京师人工智能哲学研讨会”圆桌研讨纪要

引用

学术评论 2025年第1期 24-38页

作者：叶闯展翼文丁一峰赫尔曼·卡佩伦王俊淇王小塞代海强陈龙陆俏颖周自横黄大伦葛鉴桥谢幸张骄成(整理) 张澎(整理) 山西大学哲学学院北京师范大学哲学学院北京大学哲学系香港大学哲学系中国北京通用人工智能研究院加州大学洛杉矶分校计算机科学部门香港科技大学哲学系中国北京大学前沿交叉学科研究院微软亚洲研究院

时间:2024年11月7日地点:北京师范大学哲学学院主持人:各位来宾上午好!感谢你们参与此次会议,共同聚焦人工智能这一前沿领域。在人工智能技术蓬勃发展的当下,我们面临诸多前所未有的问题和挑战。希望在座来宾能就人工智能与哲学在跨学... 详细信息

时间:2024年11月7日地点:北京师范大学哲学学院主持人:各位来宾上午好!感谢你们参与此次会议,共同聚焦人工智能这一前沿领域。在人工智能技术蓬勃发展的当下,我们面临诸多前所未有的问题和挑战。希望在座来宾能就人工智能与哲学在跨学科合作中的一系列关键问题谈谈自己的理解。

关键词：北京师范大学哲学圆桌研讨人工智能

来源：评论

学校读者我要写书评

暂无评论

符号化模型检测CTL

引用

计算机学报 2005年第11期28卷 1798-1806页

作者：苏开乐骆翔宇吕关锋中山大学计算机科学系北京工业大学计算机科学与技术学院北京100022

提出了一个关于时态逻辑CTL*的符号化模型检测算法.该算法通过所谓的tableau构造方法来判定一个有限状态系统是否满足CTL*规范.根据该理论,作者已实现了一个基于OBDD技术的CTL*符号化模型检测工具MCTK,并完成了相当数量的实验.到目前为... 详细信息

提出了一个关于时态逻辑CTL*的符号化模型检测算法.该算法通过所谓的tableau构造方法来判定一个有限状态系统是否满足CTL*规范.根据该理论,作者已实现了一个基于OBDD技术的CTL*符号化模型检测工具MCTK,并完成了相当数量的实验.到目前为止,已知有名的符号化模型检测工具,如SMV和NuSMV等,都只能对CTL*的子集逻辑(如CTL,LTL)进行检测,而文中算法的结果是令人满意的,并且当规范不是特别复杂时,高效的CTL*符号化模型检测是可能的.

关键词：模型检测时态逻辑有序二值判定图(OBDD)

来源：评论

学校读者我要写书评

暂无评论

基于局部相关维度的流形离群点检测算法

引用

模式识别与人工智能 2011年第5期24卷 629-636页

作者：黄添强李凯郭躬德福建师范大学数学与计算机科学学院计算机科学系福州350007 清华大学计算机科学与技术系北京100084

传统的离群点检测算法不适合检测流形离群点,目前专门针对流形离群点检测的算法报道较少.为此,基于实验观察的启示,提出用流形局部相关维度检测流形离群点的算法.首先探讨内在维度的性质,并基于实验观察提出用流形局部相关维度来度量流... 详细信息

传统的离群点检测算法不适合检测流形离群点,目前专门针对流形离群点检测的算法报道较少.为此,基于实验观察的启示,提出用流形局部相关维度检测流形离群点的算法.首先探讨内在维度的性质,并基于实验观察提出用流形局部相关维度来度量流形离群点,然后证明流形局部相关维度可表征数据样本离群的性质,最后基于此性质提出流形离群点检测算法.在人工数据与真实数据上的实验表明本算法可检测流形离群点,且本算法比最近报道的流形除噪算法具有更优的性能.

关键词：数据挖掘离群点检测流形学习局部相关维度

来源：评论

学校读者我要写书评

暂无评论

有限超平面集对E^d的划分问题及其应用

引用

计算机学报 1994年第9期17卷 697-702页

作者：张鸿宾北京计算机学院计算机科学系

本文讨论Ｅｄ中有限超平面集对Ｅｄ的划分问题，证明了划分中各种维数连通部分个数的上确界，分析超平面集对Ｅｄ的划分问题在模式识别、人工神经网络。

关键词：模式识别神经网络划分

来源：评论

学校读者我要写书评

暂无评论

求多元函数总体极小点的下楼法

引用

数值计算与计算机应用 1989年第4期10卷 193-207页

作者：何渝北京计算机学院计算机科学系

引言在许多理论和实际问题的研究当中,人们常常希望(也需要)找到最优(最佳)的选择,以便获得最优的效果。这些问题常可以归纳或抽象为一个求多元函数f(x)的极小点问题(因极小和极大无本质区别,故只需讨论极小问题),即求

关键词：极小点鞍点奇点多元函数初始点

来源：评论

学校读者我要写书评

暂无评论

一个威胁中心的信息安全风险评估模型

引用

武汉理工大学学报 2009年第18期31卷 43-45页

作者：肖敏范士喜吴峥重庆邮电大学计算机科学与技术学院重庆400065 北京印刷学院计算机科学系北京102600 华中师范大学计算机科学系武汉430079

信息安全风险评估通过对资产、弱点、控制措施和威胁4个风险要素的识别与评估的综合获取被评估系统的风险值或风险级别,这4个风险要素之间存在复杂的关系,给风险评估的实施带来困难。依据最新的国际、国内风险评估标准,提出一个基本的3... 详细信息

信息安全风险评估通过对资产、弱点、控制措施和威胁4个风险要素的识别与评估的综合获取被评估系统的风险值或风险级别,这4个风险要素之间存在复杂的关系,给风险评估的实施带来困难。依据最新的国际、国内风险评估标准,提出一个基本的3层评估体系结构和以威胁为中心的风险评估模型,将其他风险要素的评估结果统一到威胁风险评估中,清晰呈现了4个风险要素之间的关系,并适合于定性、定量或综合评估方法的实现。另外,3层体系结构也能用于实现不同细节层次上的风险评估的迭代循环。最后给出了模糊理论评价法在此模型中的具体实现。

关键词：信息安全信息安全风险评估威胁模糊理论评价法

来源：评论

学校读者我要写书评

暂无评论

基于工作流网的实时协同系统模拟技术

引用

计算机学报 2004年第4期27卷 471-481页

作者：杜玉越蒋昌俊聊城大学计算机学院聊城252059 同济大学计算机科学与工程系上海200092 中国科学院软件研究所计算机科学重点实验室北京100080 山东工商学院计算机科学系烟台264005 聊城大学计算机学院聊城252059 山东工商学院计算机科学系烟台264005 宁波大学计算机科学系宁波315211

基于Petri网和工作流的概念,提出一种实时协同系统的形式化模拟与分析技术--逻辑工作流网. 逻辑工作流网是抑制弧Petri网和高级Petri网的抽象和扩展,其变迁的输入/输出受逻辑表达式的约束. 它与一般工作流网相比,能够在一定程度上缓解... 详细信息

基于Petri网和工作流的概念,提出一种实时协同系统的形式化模拟与分析技术--逻辑工作流网. 逻辑工作流网是抑制弧Petri网和高级Petri网的抽象和扩展,其变迁的输入/输出受逻辑表达式的约束. 它与一般工作流网相比,能够在一定程度上缓解状态空间爆炸问题,且便于系统设计人员掌握和使用. 该文分析了逻辑工作流网的若干性质及组合网的性质继承问题,并以网上企业销售系统为例, 说明逻辑工作流网在实时协同系统模拟分析中的应用.

关键词：逻辑Petri网工作流逻辑工作流网实时协同系统模拟与验证

来源：评论

学校读者我要写书评

暂无评论

训练多层网络的样本数问题

引用

自动化学报 1993年第1期19卷 71-77页

作者：张鸿宾北京计算机学院计算机科学系 100044

本文分析多层网络的映射增长函数,以经验风险最小和期望风险最小之间的偏差来定义网络的泛化能力。基于Vapnik-Chervonenkis的事件出现频率一致收敛于其概率的理论,讨论网络的结构、训练样本数和网络泛化能力间的关系。分析在最不利的... 详细信息

本文分析多层网络的映射增长函数,以经验风险最小和期望风险最小之间的偏差来定义网络的泛化能力。基于Vapnik-Chervonenkis的事件出现频率一致收敛于其概率的理论,讨论网络的结构、训练样本数和网络泛化能力间的关系。分析在最不利的情况下为保证一定泛化能力所需要的训练样本数。

关键词：人工神经网络泛化维数

来源：评论

学校读者我要写书评

暂无评论

对象依赖集合性质的研究

引用

计算机研究与发展 2001年第12期38卷 1491-1498页

作者：吴永辉吴永辉周傲英复旦大学计算机科学与工程系上海200433 中国科学院计算机科学实验室北京100080华东师范大学计算机科学系上海200062

在复杂对象模式的规范化设计中 ,对象间的语义关系起了重要作用 .然而 ,目前还没有有关的研究报告 .讨论了对象依赖集合的一些性质 .首先概括了基本概念和性质 ;然后给出并证明获取一个 OD集合所有关键字的JINGSI算法 ;最后证明要作为... 详细信息

在复杂对象模式的规范化设计中 ,对象间的语义关系起了重要作用 .然而 ,目前还没有有关的研究报告 .讨论了对象依赖集合的一些性质 .首先概括了基本概念和性质 ;然后给出并证明获取一个 OD集合所有关键字的JINGSI算法 ;最后证明要作为复杂对象模式规范化设计的 MIMI算法输入的 OD集合的特性 ,并基于此改进复杂对象模式规范化设计 .

关键词：复杂对象模式规范化设计对象依赖集合性质数据库

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：