描述逻辑εL混合循环术语集的LCS和MSC推理

下载全文  总被引：1，自引：0，他引：1

分析了描述逻辑循环术语集的研究现状和存在的问题,在F.Baader工作的基础上进一步研究了描述逻辑εL混合循环术语集的LCS(least common subsumer)和MSC(most specific concept)推理问题.给出了εL混合循环术语集的语法和语义.针对εL混合循环术语集LCS和MSC推理的需要,提出了TBox-完全的概念,并重新定义了描述图.使用描述图和TBox-完全给出了最大不动点语义下εL混合循环术语集LCS和MSC的推理算法,证明了推理算法的正确性,并证明了推理算法是多项式时间复杂的.该推理算法为(L混合循环术语集的LCS和MSC推理提供了理论基础.… …   相似文献

蒋运承  王驹  周生明  汤庸 《软件学报》2008,19(10):2483-2497

基于傅里叶变换和连通图的聚类分析方法

  

聚类是假设数据在具有某种群聚结构的前提下根据观察到的无标记的样本发现数据的最优划分。针对已有的聚类算法存在的缺点,假设数据样本的结果簇是密集的,且簇与簇之间区别明显,基于该假设提出一种基于傅里叶变换和连通图的聚类分析方法 FGClus。首先针对每个样本点计算k阶距离矩阵并序列化作… …   相似文献

巨瑜芳  雷小锋  戴斌  庄伟  宋丰泰 《计算机应用研究》2012,29(8):2837-2840

基于ARM和数据融合技术的网络化矿井安全监测系统

下载全文  总被引：3，自引：1，他引：3

随着国家对煤炭安全生产的日益重视,在该领域非常需要一种低成本低功耗高性能的基于网络化的井下瓦斯安全系统.这里介绍了一种基于三星公司32位ARM处理器的用于煤矿环境监测的解决方案,提出了硬件实现方案和相关的软件实现方法,系统中采用神经网络技术来对多传感器状态进行判别,提高采集数据的… …   相似文献

付华  刘亚宁 《计算机系统应用》2007,16(5):60-62

一键恢复技术研究

  

介绍了微机上使用的一键恢复技术的背景、方式和原理,重点讨论了目前最成熟的两类一键恢复方法,并对两类方法进行比较,深入研究了一键恢复的原理,有助于相关产品的研发.  相似文献

徐梵 《计算机系统应用》2007,16(6):50-52

基于功能语义的构件描述和检索研究

下载全文  

现有的构件描述和检索技术大多没考虑语义描述能力,其查准率和查全率往往无法令人满意。因此,如何通过引入本体来弥补这种语义缺失成为新的研究热点。本文在刻面描述的基础上引入本体技术,提出利用功能刻面的分类模式建立构件本体的方法,并讨论了该本体对构件语义检索的支持。  相似文献

范菁  杨冰  熊丽荣 《计算机系统应用》2009,18(4):26-31

在灰度图上叠加线框图的一种新方法

下载全文  

在有色调明暗变化的灰度图上叠加线框图的显示,有利于人们进行更好的观察.但已有的各种叠加方法均是依赖深度值比较进行操作的.它们不仅没有完全解决线框图显示时的断续现象,而且还会导致被遮挡面的线框也被显示的错误.对此,提出一种不进行深度值比较的方法.利用线框与面片的相关性及面片间的遮挡… …   相似文献

王文成  陈彦云  吴恩华 《软件学报》1998,9(11):811-813

Ad Hoc网络中AODV路由协议的分析与改进

下载全文  

AODV协议是AdHoc网络中典型的反应式路由协议。该协议仅适用于双向传输信道,路由表仅维护一条到指定目的节点的路由,所以对于AODV协议的改进是必要的。就是针对AdHoc协议应用在某些特定场合做了一定的改进,并通过实验仿真验证了改进后的AODV协议可以提高网络的吞吐量并有效的降… …   相似文献

吴国凤  邵臣 《计算机系统应用》2010,19(10):221-224

基于小波变换和信息熵的掌纹特征提取方法

下载全文  

本文将小波图像分解和信息熵特征提取相结合,提出一种新的掌纹特征提取算法。该算法首先对掌纹灰度图像进行二雏小波分解,再利用多分辨信息熵分别计算不同尺度下的能谱熵作为特征向量,从而实现掌纹特征提取。该算法不但避免了图像增强和纹理细化等预处理过程,而且运用多分辨信息熵的自适应计算方法来… …   相似文献

谢平  周志丰 《计算机系统应用》2008,17(2):105-108

POP-PHP:支持PHP应用的在线集成开发环境

  总被引：1，自引：0，他引：1

随着云计算的发展,随时随地开发程序成为许多人的一种新的愿景。因此在线集成开发环境受到了软件开发人员的广泛关注。POP-PHP(Peking University Online Programming-PHP version)是一个支持PHP应用的在线集成开发环境,具有基本的集成开… …   相似文献

杨楠  吴凌  王千祥 《计算机科学》2014,41(9):38-44

基于AHP-Fuzzy的智能决策模型建立及应用

下载全文  总被引：3，自引：0，他引：3

决策系统所研究的首要问题是决策模型的建立,其中智能化技术的应用尤为重要.本文提出了AHP和Fuzzy技术相结合的方法较好地解决了决策模型的建立问题,这为类似问题的解决提供了一种行之有效的办法.文末还通过相应的实证分析说明了该方法在实际决策中的应用.  相似文献

胡子义  彭岩 《计算机系统应用》2005,14(5):55-58

一种多媒体通信机制--服务质量受控型管道

下载全文  总被引：1，自引：1，他引：1

提出一种多媒体通信机制--服务质量受控型管道,作为基于服务质量的平台层点对点多媒体通信抽象,以支持分布式多媒体应用的描述与开发.给出了服务质量受控型管道的形式定义,详细讨论了其工作过程.该抽象已经成功地应用于分布式多媒体信息点播系统和分布式多媒体信息系统等.实践表明,服务质量受控… …   相似文献

王兴伟  才国清  刘积仁 《软件学报》2002,13(4):580-585

改进的快速FCM 图像分割算法

下载全文  

针对模糊C 均值(FCM)聚类算法在图像分割中存在的对初始类中心敏感且迭代过程中计算量大的问题,提出了一种改进的算法。先通过精简数据集,减少算法迭代的时间;再使用样本密度法得到FCM 分割算法的初始聚类中心,以减少算法收敛所需的迭代次数。实验结果表明,改进后的分割算法较好地解决了… …   相似文献

郭荣传  叶水生  闵泉  石海霞 《计算机系统应用》2009,18(7):33-36

计算机免疫危险理论中危险信号的提取方法研究

  

危险理论是人工免疫系统的一个重要研究分支,它从危险的角度出发对免疫系统的工作原理进行了新的阐述,目前已广泛应用于入侵检测、机器学习和数据挖掘等领域。建立危险理论模型的首要问题是如何自适应地提取危险信号。从变化导致危险这一思想出发,建立了一套基于变化特征的危险信号自适应提取模型;针… …   相似文献

杨超  李涛 《计算机科学》2015,42(8):170-174

NF²关系模型与属性继承

下载全文  

将面向对象模型与面向值的模型相结合,可兼得二者的优点．本文基于具有组合元组标识的ＮＦ²关系模型给出了强调嵌套结构特征的关系运算投影II^s和自然连接,并在此基础上研究ＮＦ²关系数据模型中的类、子类及其间的属性继承的语义及形式化定义;引入了Ｓ－子类的概念;研究了公共子类及多属性继承的特征．所有的讨论基于组合元组标识,具有较强的面向对象模型的特征．… …   相似文献

李天柱 《软件学报》1995,6(4):232-239

一种人体运动重定向方法*

  总被引：1，自引：0，他引：1

提出人体下肢向量的概念,通过分析人体运动指出下肢向量能保持运动的主要特征,由此提出基于下肢向量特征不变性的人体运动重定向方法,以此提高运动捕获数据的可重用性。该方法面向人体下肢的运动重定向,能够将运动数据从原始骨骼模型重定向到具有不同骨骼长度比例的目标骨骼模型,同时保持原始运动的… …   相似文献

瞿师  冯晓萌  于荣欢  魏迎梅  吴玲达 《计算机应用研究》2012,29(4):1353-1355

一种WEB日志挖掘的数据预处理方法①

下载全文  

Web日志是目前Web数据挖掘的重要研究方向。数据预处理是Web日志挖掘中的关键技术。详细的介绍了Web日志挖掘的预处理过程。数据预处理包括数据清理、识别用户、识别会话和框架页面清理、路径补充。用户识别后,框架页面降低了数据挖掘的效率,可以通过过滤框架页面大幅度减少产生的无效页面… …   相似文献

符翔  金瓯 《计算机系统应用》2010,19(8):204-207

满足多种安全属性的复合型支付协议及其逻辑分析

  

针对典型电子支付协议存在的安全目标单一,不能满足日益提高的安全需求等问题,提出了一种能够满足认证性、密钥新鲜性、密钥秘密性、非否认性、公平性、可追究性和原子性等多种安全属性的复合型安全支付协议,该协议的认证子协议基于令牌概念设计,能够实现高效认证及会话密钥协商。通过引入公钥证书证… …   相似文献

陈莉  袁开银 《计算机应用研究》2012,29(7):2672-2677

一个不受常量序限制的ILP学习算法

下载全文  

文章分析了FOIL(first-order inductive)递归谓词学习算法理论上的不足以及由此导致的应用范围的局限,并通过两个例子给予详细说明.为了克服这一缺陷,文章引入了反映递归规则集R与实例空间E本质关系的实例图H_(R,E)和实例序的概念,奠定了算法的理论基础.在此基础上,给出了基于实例图的FOILPlus算法.算法通过对悬例、悬弧的操作把握住实例序,自然而然的防止了病态递归规则的产生,从而保证FOILPlus可以不受常量序限制地完成学习任务;同时,算法的时空复杂度较之FOIL算法没有增加.FOILPlus算法已经编程实现,并用它尝试了两个FOIL学习失败的递归任务,都获得了成功.… …   相似文献

张润琦  陈小平  刘贵全 《软件学报》1999,10(8):868-876

从OVAL漏洞信息转换到Nessus扫描插件的研究与实现在

下载全文  

网络安全漏洞扫描应充分考虑执行的效率和信息的共享.本文通过对OVAL和Nessus的介绍,分析OVAL Definition与Nessus plugin之间的异同,提出并实现了一种将OVAL公布的漏洞信息转换成Nessus扫描插件的方法,共享了漏洞信息,并提升了漏洞检测的品质.最… …   相似文献

王猛  刘必雄  许榕生  丁天昌 《计算机系统应用》2007,16(11):27-31

一种动态定性空间关系自动规划方法

下载全文  

为解决定性空间关系的规划问题,在概念邻域图的基础上提出描述动作与定性空间关系交互的邻域划分图.基于邻域划分图,提出了定性空间关系自动规划的形式化表示和推理算法,证明了算法的可靠性,并举例说明了新方法的应用.该方法在处理单方面空间关系规划中具有用通用性,在机器人导航方面具有潜在的应… …   相似文献

宋小华  欧阳丹彤 《软件学报》2012,23(10):2564-2571