文章搜索——中国计算机期刊网

网站动态：	中国计算机期刊网介绍欢迎关注中国计算机期刊网微信订阅号！中国计算机期刊网正式发布,欢迎访问! 如何申请成为收录期刊和加盟期刊

按检索检索词： 高级检索

排序：相关度 OA 时间被引次数点击次数下载次数共有10000条符合的查询结果，以下是第3921-3930项搜索用时 77 毫秒

[首页] « 上一页 [388] [389] [390] [391] [392] 393 [394] [395] [396] [397] [398] 下一页 » 末页»

3921.

为了形式化描述多智体系统中与概率、实时、知识相关的性质,提出了一种概率实时认知逻辑PTCTLK.模型检测是验证多智体系统是否满足PTCTLK公式的主要技术,状态空间爆炸是该技术实用化的主要瓶颈,为此提出一种PTCTLK的限界模型检测算法.其基本思想是,在有限的局部可达空间中逐步搜… … 相似文献

周从华叶萌王昌达刘志锋《软件学报》2012,23(11):2835-2861

3922.

梯度矢量流Snake模型临界点剖析

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

作为经典Snake模型的一个变体,梯度矢量流(gradient vector flow,简称GVF)Snake在扩大Snake轮廓的捕捉范围和深度凹陷区域的收敛上具有卓越的性能.但GVF Snake在初始化时存在一个临界点问题:在目标内部的临界点必须在初始Snake轮廓的内部;在… … 相似文献

王元全贾云得《软件学报》2006,17(9):1915-1921

3923.

无线移动网络跨可信域的直接匿名证明方案

下载全文

基于信任委托的思想,提出一种移动环境下的跨可信域的直接匿名(direct anonymous attestation,简称DAA)证明方案,采用代理签名技术和直接匿名证明方法,实现对移动终端在多可信域之间漫游时的可信计算平台认证,并在认证过程中协商会话密钥,增强了远程证明体系的安… … 相似文献

杨力马建峰姜奇《软件学报》2012,23(5):1260-1271

3924.

搜索引擎页面刷新策略研究综述

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

根据判断信息来源的不同,对现有页面刷新策略进行了分类,系统地分析了它们各自的特点,指出了各种策略各自存在的优点与不足。对未来的研究方向进行了展望,给出了若干值得研究的问题。相似文献

陈丽君林怀忠《计算机系统应用》2009,18(7):210-214

3925.

一个安全标记公共框架的设计与实现

下载全文 总被引：9，自引：2，他引：9

标记是实现多级安全系统的基础,实施强制访问控制的前提.如何确定和实现标记功能并使其支持多种安全政策是研究的目的.提出了一个安全标记公共框架,该框架基于静态客体标记和动态主体标记,引入了访问历史的概念,并给出了一个完备的标记函数集合.基于此框架,既可以实施多等级保密性安全政策,又可… … 相似文献

梁洪亮孙玉芳赵庆松张相锋孙波《软件学报》2003,14(3):547-552

3926.

具有高可理解性的二分决策树生成算法研究

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

二分离散化是决策树生成中处理连续属性最常用的方法,对于连续属性较多的问题,生成的决策树庞大,知识表示难以理解.针对两类分类问题,提出一种基于属性变换的多区间离散化方法--RCAT,该方法首先将连续属性转化为某类别的概率属性,此概率属性的二分法结果对应于原连续属性的多区间划分,然后… … 相似文献

蒋艳凰杨学军赵强利《软件学报》2003,14(12):1996-2005

3927.

基于线性时序逻辑的实时系统模型检查

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

模型检查是一种用于并发系统的性质验证的算法技术.LTLC(linear temporal logic with clocks)是一种连续时间时序逻辑,它是线性时序逻辑LTL的一种实时扩充.讨论实时系统关于LTLC公式的模型检查问题,将实时系统关于LTLC公式的模型检查化归为有穷状… … 相似文献

李广元唐稚松《软件学报》2002,13(2):193-202

3928.

基于差值信号稀疏模型的分布式压缩感知

下载全文

利用无线传感器网络的空间相关性,构建了一种差值信号稀疏模型,该模型适用于对同一物理现象或事件进行监测的传感器网络应用。在差值信号稀疏模型的基础上,提出了一种适用于该模型的分布式压缩感知算法,该算法能够在节点间不通信的情况下实现对差值信号的编码。仿真结果表明,与单独重构相比,提出的… … 相似文献

张波刘郁林张建新《计算机应用研究》2012,29(10):3897-3899

3929.

基于非局部信息的医学图像降噪技术综述

下载全文

有效的医学图像增强技术应将感兴趣目标或区域增强、背景抑制和噪声削减综合考虑,能改善图像的质量,在减少噪声的同时保持着原有的纹理特征,有助于后续得到正确的临床诊断结果,这对某些疾病的早期确诊有极大帮助。归纳了基于非局部信息的医学图像增强技术常见方法,包括非局部均值滤波算法、三维块匹… … 相似文献

段隆焱田文徐漫涛陈亚珠《计算机应用研究》2013,30(3):667-671

3930.

B-样条曲线的节点去除与光顺

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

研究了B-样条曲线节点的去除问题,简化了B-样条曲线内部节点精确去除的充要条件.基于约束优化方法,通过扰动B-样条曲线的控制顶点,给出了节点去除的一个新算法,并用于光顺B-样条曲线. 相似文献

满家巨胡事民雍俊海孙家广《软件学报》2001,12(1):143-147

[首页] « 上一页 [388] [389] [390] [391] [392] 393 [394] [395] [396] [397] [398] 下一页 » 末页»