•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第4861-4880项 搜索用时 150 毫秒
[首页] « 上一页 [239] [240] [241] [242] [243] 244 [245] [246] [247] [248] [249] 下一页 » 末  页»
4861.
利用TT Atlas中丰富的结构信息,文章提出了一种自动分割脑MRI(magnetic resonance image)图像的方法.这种方法可分为两步.首先,将MRI图像和TT Atlas配准,通过图像和医学图谱的匹配,利用图谱中结构信息的先验知识,就可以对图像作初步的分割标注.… …   相似文献
4862.
netfilter是出现在linux 2.4版本中通用的网络功能框架,该框架具有功能完善,扩充方便的优点,因而被广泛地使用。通过对于源码分析,探讨了netfilter在内核中的实现,之后对利用netfilter框架进行网络数据包捕获进行了论述,并与其他的网络数据包捕获机制进行了对… …   相似文献
4863.
随着智能移动设备和无线定位技术的飞速发展,使用基于位置服务应用的用户越来越多.特别地,不同于传统的针对固定位置的快照查询,移动的用户往往基于移动轨迹发出连续的查询.在真实和虚拟的空间环境中,障碍物的影响都是广泛存在的,障碍空间内的查询处理技术得到了越来越多的关注,其中,障碍空间内的连续反k近邻查询处理有着重要的应用.对障碍空间中的连续反k近邻查询问题进行了定义和系统的研究,通过定义控制点和分割点,提出了针对该问题的处理框架.进一步地,提出了一系列的过滤和求精算法,包括剪枝数据集、获取障碍物、剪枝和计算控制点和更新结果集等处理策略.基于多种数据集对所提出的算法进行了实验评估.与针对每个数据点进行k 近邻计算的基本方法相比,这些方法可以大幅度提高查询处理的CPU 和I/O 效率.… …   相似文献
谷峪  于晓楠  于戈 《软件学报》2014,25(8):1806-1816
4864.
下载全文  总被引:11,自引:0,他引:11
工作流的失败处理和失败恢复是工作流管理系统的重要组成部分.提出了一种新的基于对象的工作流模型,在此模型下设计了工作流失败处理和失败恢复的策略.与传统方法相比,新策略考虑了工作步骤之间的控制依赖和数据依赖,并且对工作步骤应用的具体实现方式进行了探讨,以提高工作流失败处理和失败恢复的… …   相似文献
高军  王海洋 《软件学报》2001,12(5):776-782
4865.
下载全文  总被引:4,自引:0,他引:4
过程支撑环境PSE(process supporting environment)是一种支持软件过程元过程的计算机环境,PSE通过运作一个事先定义好的软件过程模型SPM(software process model)来控制和指导实际软件开发过程.SPM使用的控制方式分为主动式(p… …   相似文献
董广智  柳军飞  齐璇 《软件学报》2005,16(11):1876-1885
4866.
  
文本分类存在维数灾难、数据集噪声及特征词对分类贡献不同等问题,影响文本分类精度。为提高文本分类精度,在数据处理方面提出一种新方法。该方法首先对数据集进行去噪处理,结合特征提取算法和语义分析方法对数据实现降维,再利用词语语义相关度对文本特征向量中每个特征词赋予不同权重;并利用经过上… …   相似文献
4867.
下载全文  总被引:15,自引:2,他引:15
指代消解在自然语言处理中起着越来越重要的作用.许多自然语言处理应用系统都需要高效、鲁棒的指代消解策略.然而,传统的指代消解方法需要用到句法知识、语义知识、上下文知识,甚至领域知识等多级知识,在目前的自然语言处理水平下,要有效获取这些知识是相当困难的.结合汉语的特点,提出了一种弱化… …   相似文献
王厚峰  梅铮 《软件学报》2005,16(5):700-707
4868.
下载全文  总被引:32,自引:1,他引:32
Web文档聚类可以有效地压缩搜索空间,加快检索速度,提高查询精度.提出了一种Web文档的聚类算法.该算法首先采用向量空间模型VSM(vector space model)表示主题,根据主题表示文档;再以文档为事务,以主题为事务项,将文档和主题间的关系看作事务的形式,采用关联规则挖… …   相似文献
宋擒豹  沈钧毅 《软件学报》2002,13(3):417-423
4869.
Asterisk是由美国Digium公司开发的开放源代码交换机系统.本文介绍了Asterisk的特点、功能、体系结构,并给出了Asterisk应用的一个具体实例.  相似文献
4870.
  总被引:1,自引:0,他引:1
针对片上网络(network on chip,简称NoC)的节点数量少、距离近、物理实现复杂度受到限制的特点,提出了一种新的Xmesh拓扑结构,并为该结构提出了XM路由算法.该结构在经典的mesh结构的基础上添加了两个对角线型的回边,缩短了节点间的距离,而且路由计算的复杂性不高,… …   相似文献
朱晓静  胡伟武  马可  章隆兵 《软件学报》2007,18(9):2194-2204
4871.
为了加强高校师生之间的交流,构建高校师生互动平台,介绍了利用JSP技术、MYSQL作为后台数据库,构建高校师生互动平台的思想、过程及主要关键技术.  相似文献
4872.
介绍了一种利用蓝牙无线串口实现相机无线控制的方法.系统上位机采用S3C2440ARM,以CSR公司BC4 17/143 BQN芯片为核心的蓝牙无线串口在上位机和单片机上位之间传输数据,单片机接收到上位机发送的数据之后产生方波控制相机.该方案已经在硬件上实现,并经测试证明了能很好地… …   相似文献
4873.
下载全文  总被引:1,自引:0,他引:1
本文介绍了军事技术装备制造业的技术状态管理的基本方法和要求.由于这些要求的复杂性,需要采用PDM等信息化技术作为技术状态管理的解决方案.论述了信息化技术在技术状态标识、控制、记实、审核四个方面提供的方法,说明了采用信息化手段的技术状态管理的准确性和高效性.  相似文献
4874.
下载全文  总被引:1,自引:0,他引:1
主要填补了对系统参量不可观测或观没成本高的诊断测试研究这一空白,提出了替换测试荼为诊断测试一种新的可选择方法.在提出相关替换测试要领的基础上,利用元件替换对系统观测值的影响刻画了诊断的判定、利用正常元件替换几个子系统交集元件分解待诊断系统的方法.其结果能够改善诊断与测试的效率、降… …   相似文献
李占山  王涛  孙吉贵  林海  冯果忱 《软件学报》2005,16(9):1599-1605
4875.
下载全文  总被引:4,自引:1,他引:4
测试分布式程序需要定义事件约束来检测程序执行产生的事件序列.事件约束需要根据程序的规约来推导.FSP是一类描述并发程序形式化规约的进程代数记法.它将并发进程描述为动作序列,其中动作可对应到规约级事件.E-CSPE约束在给定状态谓词下定义前后运行事件间的顺序关系.根据FSP的操作符… …   相似文献
顾庆  陈道蓄  谢立  韩杰  孙钟秀 《软件学报》2002,13(11):2162-2168
4876.
下载全文  总被引:2,自引:0,他引:2
本文基于在企业计算机网络系统建设中积累的实际经验,重点阐述了企业计算机网络系统的设计与实现方法,包括网络技术的选取、综合布线系统、网络拓扑结构及设备选取,并结合红雁池二电厂网络设计的具体方案作深入说明.  相似文献
4877.
为了解决困扰词义及译文消歧的数据稀疏及知识获取问题,提出一种基于Web利用n-gram统计语言模型进行消歧的方法.在提出词汇语义与其n-gram语言模型存在对应关系假设的基础上,首先利用Hownet建立中文歧义词的英文译文与知网DEF的对应关系并得到该DEF下的词汇集合,然后通过搜索引擎在Web上搜索,并以此计算不同DEF中词汇n-gram出现的概率,然后进行消歧决策.在国际语义评测SemEval-2007中的Multilingual Chinese English Lexical Sample Task测试集上的测试表明,该方法的Pmar值为55.9%,比其上该任务参评最好的无指导系统性能高出12.8%.… …   相似文献
刘鹏远  赵铁军 《软件学报》2009,20(5):1292-1300
4878.
下载全文  总被引:5,自引:4,他引:5
基于内容的图像检索是一种典型的相似检索问题,对于尺度空间上的图像相似匹配问题,一般认为距离计算费用很高.因此,需要建立有效的索引结构,以减少每个查询中的距离计算次数.为此,基于数据空间的\"优化划分\",并且使用\"代表点\",以层次结构方式划分数据,提出了一种新的基于距离的相似… …   相似文献
冯玉才  曹奎  曹忠升 《软件学报》2002,13(8):1678-1685
4879.
  总被引:1,自引:1,他引:0
医学图像的处理具有数据量大、实时性强的特点。而传统中值滤波(SM)算法需对滤波窗口内所有的元素完全排序后确定中值,算法的时间复杂度高,执行效率低,无法满足医学图像实时处理的需要。为提高中值滤波算法的执行效率,提出一种新型的快速中值滤波算法,将基于排序查找中值的过程转换为基于分治查… …   相似文献
4880.
下载全文  总被引:16,自引:4,他引:16
阐述了Agent的形式化描述应该采用含有正规和非正规模态算子的混合模态逻辑为逻辑工具 的观点.建立了Agent-BDI逻辑的代表系统A-BI,讨论了它的语法和语义.特别是给出了非正 规模态算子基于Kripke标准可能世界的新的语义解释,证明了A-BI逻辑系统不但是可靠的, 而且是… …   相似文献
胡山立  石纯一 《软件学报》2000,11(10):1353-1360
[首页] « 上一页 [239] [240] [241] [242] [243] 244 [245] [246] [247] [248] [249] 下一页 » 末  页»