基于案例推理技术在刑法定罪量刑系统中的应用研究

1

作者 曾文 黄玉基 《广西师范大学学报（自然科学版）》 CAS 2003年第A01期73-78,共6页

从基于案例推理技术的理论出发,采用物元的知识表示方法,定义了物元可拓与或网.结合物元表示法,提出一种更为通用的、有效的设计案例表示形式,即案例的四级层次表示方法,并结合刑法定罪量刑系统设计的具体特点,给出刑法定罪量刑系统案... 从基于案例推理技术的理论出发,采用物元的知识表示方法,定义了物元可拓与或网.结合物元表示法,提出一种更为通用的、有效的设计案例表示形式,即案例的四级层次表示方法,并结合刑法定罪量刑系统设计的具体特点,给出刑法定罪量刑系统案例的检索与匹配算法. 展开更多

关键词 基于案例推理 知识表示 案例 物元 物元可拓与或网 人工智能

下载PDF 职称材料

面向领域的服务业务规范化组织模型及其关键技术研究 被引量：2

2

作者 叶蕾 张斌 蒋莉 《小型微型计算机系统》 CSCD 北大核心 2010年第1期104-112,共9页

提出一种面向领域的服务业务规范化组织模型(SBSOM),旨在服务计算环境下针对应用领域中基于服务组合的业务应用系统构建需要,解决如何实现深入到业务层面对服务资源进行有效组织与管理,从而为操作相容组合和服务有效复用提供可靠性保障... 提出一种面向领域的服务业务规范化组织模型(SBSOM),旨在服务计算环境下针对应用领域中基于服务组合的业务应用系统构建需要,解决如何实现深入到业务层面对服务资源进行有效组织与管理,从而为操作相容组合和服务有效复用提供可靠性保障问题.在该模型的支撑下,基于领域业务本体通过对服务操作的可用性判定,生成服务的领域业务视图,从而完成服务自然面貌、功能面貌、到业务面貌的逐步抽象,全面的展现服务能力,并在以服务为粒度、基于功能对服务资源进行分类管理的基础上,进一步实现以操作为粒度、基于业务适用性组织服务资源.本文重点讨论了SBSOM模型的结构体系,并对服务业务规范化组织建模的关键技术进行了深入探讨,在最后通过实验对SBSOM模型的意义和有效性进行了分析与验证. 展开更多

关键词 服务计算 服务业务适用性 服务业务规范化组织

下载PDF 职称材料

医院集成信息与决策支持系统的开发与应用

3

作者 张丹 赵炜 +6 位作者 孙晋科 冯永新 马虹 何延春 赵林亮 仓孝洁 吴彩中 《中国医院管理》 北大核心 2001年第8期37-38,共2页

我院于1999年开始进行全面的信息化建设,成功地运行"一号工程"的医生工作站、护士工作站、PACS等80个子系统,实现了临床医疗工作的信息化、网络化管理,同年11月举办了全军医院信息化建设现场会和两期学习班,其成功经验向全军... 我院于1999年开始进行全面的信息化建设,成功地运行"一号工程"的医生工作站、护士工作站、PACS等80个子系统,实现了临床医疗工作的信息化、网络化管理,同年11月举办了全军医院信息化建设现场会和两期学习班,其成功经验向全军医院推广. 展开更多

关键词 医院 信息集成 决策系统 规划 开发

下载PDF 职称材料

基于拓扑的MANET路由协议性能与网络覆盖密度相关性的研究 被引量：6

4

作者 闻英友 赵建立 +1 位作者 赵林亮 王光兴 《计算机研究与发展》 EI CSCD 北大核心 2005年第4期684-689,共6页

结合实际的移动adhoc组网研究,针对以往MANET路由协议性能评价中没有考虑网络连通性的问题,引入了反映网络节点通信能力和网络连通性的网络覆盖密度概念,并进行了基于拓扑的MANET典型路由协议性能与网络覆盖密度相关性的研究.仿真结果... 结合实际的移动adhoc组网研究,针对以往MANET路由协议性能评价中没有考虑网络连通性的问题,引入了反映网络节点通信能力和网络连通性的网络覆盖密度概念,并进行了基于拓扑的MANET典型路由协议性能与网络覆盖密度相关性的研究.仿真结果分析表明,基于拓扑的adhoc路由协议包递送率随着网络密度的增加而增加,并与其构成S曲线.通过最低网络覆盖密度的定义,为实际的adhoc组网中各种路由协议的适用条件提供了明确的评判依据. 展开更多

关键词 路由协议 网络连通性 ad HOC 网络覆盖 无线通信

下载PDF 职称材料

支持Web信息分类的高性能蜘蛛程序 被引量：6

5

作者 高克宁 柴桥子 +1 位作者 张斌 马安香 《小型微型计算机系统》 CSCD 北大核心 2006年第7期1308-1312,共5页

随着W eb信息的快速增长,如何提高信息检索的准确率,如何展示检索结果,成为W eb信息检索的重点研究内容.本文设计一种新的蜘蛛程序T-Sp ider,采用分布式两级并行控制,在获取W eb信息的同时,获取网站结构,从而支持基于网站结构的信息分类.

关键词 蜘蛛程序 信息分类 网站结构 分布式

下载PDF 职称材料

基于图象内容的颅骨缺如自动分析研究 被引量：4

6

作者 邵虹 张继武 +2 位作者 崔文成 孙中原 赵宏 《中国图象图形学报（A辑）》 CSCD 北大核心 2003年第2期214-218,共5页

基于图象内容的自动分析是当今医学影像领域的研究热点 ,分析颅骨 CT图象是否缺如能为医生的诊断提供帮助 .为此 ,提出了一套新的实用方法 ,该方法首先采用基于 k-均值聚类动态选取种子像素和生长准则的区域增长法精确地将颅骨从图象中... 基于图象内容的自动分析是当今医学影像领域的研究热点 ,分析颅骨 CT图象是否缺如能为医生的诊断提供帮助 .为此 ,提出了一套新的实用方法 ,该方法首先采用基于 k-均值聚类动态选取种子像素和生长准则的区域增长法精确地将颅骨从图象中自动分割出来 ,然后利用边界跟踪法找出分割出的区域边界 ,分析其形状 ,以圆形度作为描述参数 ,最后利用熵函数推导出计算机自动诊断颅骨缺如的规则 .实验证明 ,该方法通过对图象内容的分析 ,对于未参加训练的 10 0例 ,从第 3脑室下部层面到大脑皮质上部层面 ,颅脑图象缺如现象的诊断识别率达到了10 0 % . 展开更多

关键词 医学影像学 计算机辅助诊断 图象分割 K-均值聚类 信息熵

下载PDF 职称材料

面向软件执行网络的行为拓扑分析研究 被引量：2

7

作者 张锡哲 罗实 +1 位作者 印莹 张斌 《计算机科学》 CSCD 北大核心 2011年第B10期242-248,共7页

随着互联网及软件技术的逐渐成熟和发展,软件系统将面临使用模式不确定、动态交互行为复杂变化的问题。针对软件执行过程中的交互复杂性,分析了基于复杂网络的软件执行网络行为拓扑度量特征。以Linux下3个典型的开源软件为研究对象,首... 随着互联网及软件技术的逐渐成熟和发展,软件系统将面临使用模式不确定、动态交互行为复杂变化的问题。针对软件执行过程中的交互复杂性,分析了基于复杂网络的软件执行网络行为拓扑度量特征。以Linux下3个典型的开源软件为研究对象,首先获取其软件执行交互记录,并根据方法调用关系构建执行网络,然后分析软件执行网络的连通性、网络直径与密度、平均路径长度、度分布、度相关性、聚集系数、介数、接近度等典型拓扑度量,并与以代码静态关联为基础构建的软件结构网络进行对比分析。结果表明,软件执行过程中具有执行行为动态变化和行为重组现象,其拓扑特征与结构网络具有较大差别,执行网络平均路径长度变小,其小世界特性趋于消失。探索软件执行行为规律对于软件运行维护及质量保障具有重要的指导意义。 展开更多

关键词 复杂网络 开源软件 执行行为 方法调用 拓扑特征

下载PDF 职称材料

遗传算法在基于内容的图像检索中的应用 被引量：4

8

作者 邵虹 崔文成 +1 位作者 张继武 赵宏 《计算机工程》 CAS CSCD 北大核心 2003年第16期21-22,共2页

利用遗传算法对图像的统计特征进行了特征选取，并应用于颅脑CT图像检索中。实验结果表明，该方法能够有效地选取特征，提高检索精度，改善检索效果。

关键词 遗传算法 基于内容的图像检索 图像内容检索

下载PDF 职称材料

AdaBoost算法在中医舌诊图像分区识别中的研究 被引量：3

9

作者 张萌 胡显伟 +1 位作者 王元斌 张斌 《小型微型计算机系统》 CSCD 北大核心 2008年第6期1149-1153,共5页

舌诊是中医传统诊断的一个重要方式.本文以模式识别、图像处理和中医舌诊理论为研究基础,结合中医诊断规则,提出舌象的分区训练识别方法,并采用一种新的基于集成学习的AdaBoost算法,构建出一套完整的、符合中医诊断体系规范的舌象分类... 舌诊是中医传统诊断的一个重要方式.本文以模式识别、图像处理和中医舌诊理论为研究基础,结合中医诊断规则,提出舌象的分区训练识别方法,并采用一种新的基于集成学习的AdaBoost算法,构建出一套完整的、符合中医诊断体系规范的舌象分类识别算法.通过实验验证,该方法对中医舌诊分类识别是有效的. 展开更多

关键词 ADABOOST算法 分区 分类器 机器学习

下载PDF 职称材料

计算射影与排列不变量的新方法

10

作者 王元斌 《计算机工程与设计》 CSCD 北大核心 2008年第20期5388-5390,5393,共4页

给出了一种表示和计算离散有限点集的射影与排列不变量的简单有效方法。该不变量在计算机视觉、模式识别中有重要应用。首先导出了射影直线上4个点的基于一种对称函数的射影与排列不变量,该不变量等于这4个点的某个原始交比值,具有计算... 给出了一种表示和计算离散有限点集的射影与排列不变量的简单有效方法。该不变量在计算机视觉、模式识别中有重要应用。首先导出了射影直线上4个点的基于一种对称函数的射影与排列不变量,该不变量等于这4个点的某个原始交比值,具有计算量低,不丢失分辨力等优点。然后根据这个简单的对称函数,结合基本的多项式对称函数,推导出了平面上5个点的两个函数无关的射影与排列不变量,以及空间中6个点的3个函数无关的射影与排列不变量。 展开更多

关键词 模式识别 计算机视觉 射影不变量 排列不变量 交比 对称函数

下载PDF 职称材料

基于SOA架构的Web服务组合系统 被引量：33

11

作者 高岩 张少鑫 +2 位作者 张斌 那俊 张文斌 《小型微型计算机系统》 CSCD 北大核心 2007年第4期729-733,共5页

应用SOA架构是构建松散耦合Web服务组合系统的一个有效途径.本文在深入研究Web服务组合系统一般工作流程的基础上,提出了一种基于SOA架构和分层协议栈机制构建Web服务组合系统的方法,给出了服务分层模型和分层协议栈,设计并实现了一个基... 应用SOA架构是构建松散耦合Web服务组合系统的一个有效途径.本文在深入研究Web服务组合系统一般工作流程的基础上,提出了一种基于SOA架构和分层协议栈机制构建Web服务组合系统的方法,给出了服务分层模型和分层协议栈,设计并实现了一个基于SOA架构的松耦合原型系统来实现Web服务组合,可为Web服务组合的研究和企业应用提供灵活的实验及应用开发平台. 展开更多

关键词 WEB服务 SOA WEB服务组合 分层协议栈

下载PDF 职称材料

支持动态服务组合的Web服务三层组织模型 被引量：11

12

作者 高岩 那俊 +2 位作者 张斌 杨雷 叶蕾 《小型微型计算机系统》 CSCD 北大核心 2006年第10期1879-1882,共4页

面对互联网上大量出现的Web服务,如何在动态异构环境中对它们进行组织和管理以便更轻松地构建出各种应用系统是一个亟待解决的问题.本文针对这一问题展开讨论,提出了支持动态服务组合的Web服务三层组织模型,分层次对Web服务进行组织和管... 面对互联网上大量出现的Web服务,如何在动态异构环境中对它们进行组织和管理以便更轻松地构建出各种应用系统是一个亟待解决的问题.本文针对这一问题展开讨论,提出了支持动态服务组合的Web服务三层组织模型,分层次对Web服务进行组织和管理,从而提高了服务发现的效率,实现了灵活的服务组合和替换机制,更高效地支持动态Web服务组合过程. 展开更多

关键词 动态服务组合 服务组织模型 服务簇 服务社区

下载PDF 职称材料

支持模糊数据类型表示的模糊描述逻辑F-SHOIQ(G) 被引量：11

13

作者 王海龙 马宗民 +1 位作者 严丽 程经纬 《计算机学报》 EI CSCD 北大核心 2009年第8期1511-1524,共14页

分析了现有描述逻辑在模糊知识和数据类型表示方面存在的问题,提出了一种新的模糊描述逻辑F-SHOIQ(G).F-SHOIQ(G)不仅能够表示模糊知识,而且能够表示含有自定义模糊数据类型及自定义模糊数据类型谓词的模糊数据信息.首先,给出了模糊数... 分析了现有描述逻辑在模糊知识和数据类型表示方面存在的问题,提出了一种新的模糊描述逻辑F-SHOIQ(G).F-SHOIQ(G)不仅能够表示模糊知识,而且能够表示含有自定义模糊数据类型及自定义模糊数据类型谓词的模糊数据信息.首先,给出了模糊数据类型域的概念和模糊数据类型表示的一般形式,在此基础上,定义了F-SHOIQ(G)的语法、语义及相应的知识库,进而给出了基于模糊Tableaux的F-SHOIQ(G)概念的可满足性推理算法.其次,将经典描述逻辑中的推理结构(该结构将Tableaux扩展规则推理和数据类型推理相分离)用于F-SHOIQ(G)的推理问题,设计了相应的模糊数据类型推理机.最后,详细证明了F-SHOIQ(G)概念的可满足性推理问题是可判定的.在数据类型表示方面,F-SHOIQ(G)具备比FSHOIQ更强的表达能力和推理能力,为语义Web表示和推理模糊数据信息提供了理论基础. 展开更多

关键词 模糊描述逻辑 F-SHOIQ(G) 模糊数据类型表示 Tableaux算法 自定义模糊数据类型谓词

下载PDF 职称材料

基于模糊描述逻辑的模糊XML模型的表示与推理 被引量：6

14

作者 张富 严丽 +1 位作者 马宗民 王星 《计算机学报》 EI CSCD 北大核心 2011年第8期1437-1451,共15页

通过分析描述逻辑与XML之间的关系,该文进一步研究了基于模糊描述逻辑的模糊XML模型的表示与推理.首先提出了模糊XML模型(包括模糊XML文档和模糊DTD)的形式化定义.然后针对模糊XML模型的特点和推理需求,提出了一种新的模糊描述逻辑f-ALC... 通过分析描述逻辑与XML之间的关系,该文进一步研究了基于模糊描述逻辑的模糊XML模型的表示与推理.首先提出了模糊XML模型(包括模糊XML文档和模糊DTD)的形式化定义.然后针对模糊XML模型的特点和推理需求,提出了一种新的模糊描述逻辑f-ALCQ_(wf-reg),给出了它的语法、语义、知识库以及推理算法.在此基础上,研究了基于f-ALCQ_(wf-reg)的模糊XML模型的表示、推理以及查询问题,具体包括:实现了从模糊XML模型到f-ALCQ_(wf-reg)知识库的转化;基于转化后得到的f-ALCQ_(wf-reg)知识库,进一步研究了如何利用f-ALCQ_(wf-reg)的推理机制对模糊XML模型的推理任务(如一致性、包含性、等价性以及不相交性)进行推理;最后简要讨论了如何利用上述转化和推理结果来更有效地支持模糊XML文档库的查询问题. 展开更多

关键词 模糊XML模型 文档和结构 模糊描述逻辑 表示 推理

下载PDF 职称材料

模糊描述逻辑知识库查询蕴涵的判定方法 被引量：2

15

作者 程经纬 马宗民 +1 位作者 严丽 张富 《计算机学报》 EI CSCD 北大核心 2012年第4期767-785,共19页

大规模领域本体的快速发展对语义Web领域的数据访问提出了更高的要求,而基本的本体推理服务已不能满足数据密集型应用中处理复杂查询(主要是合取查询)的迫切需要.为此,大量的研究工作集中在本体和描述逻辑知识库合取查询算法的设计实现... 大规模领域本体的快速发展对语义Web领域的数据访问提出了更高的要求,而基本的本体推理服务已不能满足数据密集型应用中处理复杂查询(主要是合取查询)的迫切需要.为此,大量的研究工作集中在本体和描述逻辑知识库合取查询算法的设计实现上,并开发出了很多知识库存储和查询的实用工具.近来模糊本体和模糊描述逻辑的研究,特别是它们在处理语义Web中模糊信息方面,得到了广泛关注.文中重点研究了模糊#0这一族极富表达能力的描述逻辑知识库的合取查询问题,提出了相应的基于推演表的算法,证明了算法对于f-#0123的真子逻辑的可靠性、完备性和可终止性.证明了算法对于f-#0123是可靠的,并分析了导致算法不可终止的原因.对于该问题的数据复杂度,证明了当查询中不存在传递角色时其严格的CONP上限.对于联合复杂度,证明了算法关于知识库和查询大小的CO3NEXPTIME时间复杂度上限. 展开更多

关键词 描述逻辑 查询蕴涵 合取查询 知识库 语义WEB

下载PDF 职称材料

一种基于形状特征的颅骨图像检索方法 被引量：2

16

作者 邵虹 张继武 +1 位作者 崔文成 赵宏 《计算机工程》 CAS CSCD 北大核心 2003年第8期3-4,共2页

提出了一种基于内容的颅骨图像检索方法，介绍了基于内容的医学图像检索系统结构，阐述了图像预处理方法和特征参数提取过程。实验表明，该方法能检索出有相同病理特征的相似颅骨图像。

关键词 基于内容的图像检索 医学图像 形状特征

下载PDF 职称材料

面向复杂软件执行网络的关键节点行为分析 被引量：1

17

作者 张锡哲 赵国龙 +1 位作者 吕天阳 张斌 《小型微型计算机系统》 CSCD 北大核心 2013年第6期1201-1205,共5页

软件系统的执行是一类极其复杂的交互过程,采用复杂网络的研究方法可有效地分析软件执行行为模式规律.与以往分析软件系统静态拓扑结构不同,本文对软件系统执行过程中的关键方法调用行为进行了建模度量和实验分析.基于典型的开源软件,... 软件系统的执行是一类极其复杂的交互过程,采用复杂网络的研究方法可有效地分析软件执行行为模式规律.与以往分析软件系统静态拓扑结构不同,本文对软件系统执行过程中的关键方法调用行为进行了建模度量和实验分析.基于典型的开源软件,首先给出了基于方法调用关系的软件执行网络构建方法,然后对执行网络中关键节点的拓扑特征及其邻接网络进行分析.结果表明,具有高度、高介数及高聚集系数的方法节点在软件执行过程中处于特殊地位,起着维系网络连接的重要作用,对于软件的正常执行具有重要意义,相关结论和方法可有助于提高软件质量和更好的运行维护. 展开更多

关键词 复杂网络 开源软件 动态执行 方法调用 结构特征

下载PDF 职称材料

面向情境理论的意图识别系统的设计与实现 被引量：1

18

作者 李飞 张斌 +1 位作者 高岩 葛亮 《小型微型计算机系统》 CSCD 北大核心 2013年第12期2669-2673,共5页

支持演进是现代服务系统的一个发展方向.服务系统能够进行演进的前提是能够准确的获取用户对系统的需求.由于用户很难准确的描述对系统的需求,而用户在使用系统过程中所表现出的意图通常包含潜在的有价值的服务需求.所以,准确的识别用... 支持演进是现代服务系统的一个发展方向.服务系统能够进行演进的前提是能够准确的获取用户对系统的需求.由于用户很难准确的描述对系统的需求,而用户在使用系统过程中所表现出的意图通常包含潜在的有价值的服务需求.所以,准确的识别用户的意图就成为服务演进研究的一个重要内容.在众多意图获取模型中,情境理论,是一种利用环境上下文序列和用户行为共同描述用户意图的模型,很适合在具有环境感知功能的服务系统中识别用户的意图.本文设计实现了一个面向情境理论的用户意图识别系统.该系统采用模式匹配的方法根据环境上下文,行为上下文与情境的映射关系识别出用户的意图.服务系统根据用户的意图判断用户的需求,以便演进后的服务系统能够更准确的为用户提供服务. 展开更多

关键词 服务演进 情境理论 用户意图 环境上下文

下载PDF 职称材料

服务的业务级描述及其语义标注方法 被引量：2

19

作者 叶蕾 张斌 《计算机应用研究》 CSCD 北大核心 2008年第5期1383-1389,共7页

从服务的业务逻辑出发,在分析现有服务描述模式的基础上,定义了面向业务应用的服务描述模型,并在OWL-S的基础上,提出了业务级的服务与用户需求描述语言EXOWL-S/R作为服务提供者和用户进行业务级交互的基础;同时在构建领域业务应用本体... 从服务的业务逻辑出发,在分析现有服务描述模式的基础上,定义了面向业务应用的服务描述模型,并在OWL-S的基础上,提出了业务级的服务与用户需求描述语言EXOWL-S/R作为服务提供者和用户进行业务级交互的基础;同时在构建领域业务应用本体的基础上,提出了根据服务的业务逻辑描述半自动地获取服务业务级语义的标注方法,最终为帮助用户全面地、无二义地理解服务的业务能力提供一种有效的解决方案。 展开更多

关键词 业务级的服务描述 领域业务应用本体 业务级的语义标注

下载PDF 职称材料

面向大规模Web服务网络的社团发现算法

20

作者 张锡哲 蒲圆圆 +1 位作者 杨乐 张斌 《小型微型计算机系统》 CSCD 北大核心 2015年第5期1017-1020,共4页

社团结构是复杂网络中普遍存在的结构.互联网上存在着大量的开放web服务,这些服务通过用户的需求的交互连接,形成了一个复杂的交互网络.发现并利用这些web服务交互网络上的社团结构有助于理解这类复杂软件系统的行为.针对基于web服务行... 社团结构是复杂网络中普遍存在的结构.互联网上存在着大量的开放web服务,这些服务通过用户的需求的交互连接,形成了一个复杂的交互网络.发现并利用这些web服务交互网络上的社团结构有助于理解这类复杂软件系统的行为.针对基于web服务行为信息构成服务网络,研究web服务社团发现算法,分析了由用户需求驱动形成的服务社团的结构特征.首先基于web服务结构描述文档信息,构造了web服务交互网络,然后提出一种基于服务协同关系的服务社团发现算法.在真实的w eb服务数据集上进行了实验分析,说明了该算法应用于服务网络的合理性与有效性. 展开更多

关键词 复杂网络 WEB服务 交互网络 社团发现

下载PDF 职称材料