用户名:
密码:
找回密码
中文版
English
本站信箱
收藏本站
本网介绍
省份
北京
天津
河北
山西
山东
内蒙古
湖北
湖南
河南
江西
上海
江苏
浙江
安徽
广东
广西
海南
福建
黑龙江
吉林
辽宁
陕西
甘肃
新疆
青海
宁夏
四川
重庆
贵州
云南
西藏
港澳台
城市
首页
加盟期刊
收录期刊
评价中心
文献导读
期刊动态
博客美文
问题解答
在线订阅
新浪微博
RSS
网站动态:
中国计算机期刊网介绍
欢迎关注中国计算机期刊网微信订阅号!
中国计算机期刊网正式发布,欢迎访问!
如何申请成为收录期刊和加盟期刊
按
任意字段
标题
关键词
摘要
作者姓名
作者单位
基金项目
杂志名称
ISSN号
分类号
被引次数
DOI
文章编号
检索 检索词:
高级检索
排序:
相关度
OA
时间
被引次数
点击次数
下载次数
共有10000条符合
的查询结果,以下是第7141-7150项 搜索用时 84 毫秒
[首页]
« 上一页
[710]
[711]
[712]
[713]
[714]
715
[716]
[717]
[718]
[719]
[720]
下一页 »
末 页»
7141.
基于广义污点传播模型的操作系统访问控制
下载全文
动态调整安全级是目前提高强制访问控制模型可用性的主要途径,它大致包括两类方法.其中,安全级范围方法对主体权限最小化的支持不够,而污点传播方法存在已知隐蔽通道.提出了保护操作系统保密性和完整性的广义污点传播模型(generalized taint propagation model… …
相似文献
杨智
殷丽华
段洣毅
吴金宇
金舒原
郭莉
《软件学报》
2012,23(6):1602-1619
7142.
一个统一的程序验证框架
下载全文
本文提出了一个简单的方法,其中程序和其性质都由一个逻辑:时序逻辑中的公式表示.文中给出了一个程序的转换模块的定义,提出了时序执行语义的概念.它是一个时序公式,精确地说明了一个程序.将时序逻辑作为规范语言,程序正确性就意味着说明程序的公式蕴含说明性质的公式,其中蕴含即为一般的逻辑蕴… …
相似文献
贾国平
郑国梁
《软件学报》
1997,8(2):107-114
7143.
数据挖掘与决策支持系统
下载全文
总被引:22,自引:0,他引:22
决策支持系统的建立是一项复杂的系统工程。本文分析传统决策支持系统开发中存在的问题.探讨数据挖掘技术在决策支持中的应用,讨论基于这一技术的决策支持系统建立中的有关问题,如数据挖掘的层次空间、数据仓库的组织、知识发现方法等,最后进一步提出决策支持系统的基本结构框架和系统的建立方法。… …
相似文献
谢榕
《计算机系统应用》
1999,8(8):9-11
7144.
模糊支持向量机中隶属度的确定与分析
下载全文
总被引:10,自引:1,他引:10
针对目前模糊支持向量机方法中,一般使用特征空间中样本与类中心之间的距离关系构建隶属度函数的不足,提出了一种新的有效地反映样本不确定性的隶属度计算方法——基于样本紧密度的隶属度方法。在确定样本的隶属度时,不仅考虑了样本与类中心之间的关系,还考虑了类中各个样本之间的关系,并采用模糊连… …
相似文献
张翔
肖小玲
徐光祐
《中国图象图形学报》
2006,11(8):1188-1192
7145.
基于约束区域神经网络的动态遗传算法
下载全文
总被引:5,自引:2,他引:5
提出一种基于约束区域神经网络的动态遗传算法,将遗传算法的全局搜索和约束区域神经网络模型的局部搜索结合了起来.利用动态遗传算法确定神经网络模型的初始点,同时使用神经网络确定动态遗传算法的适应度函数.该算法具有一定的理论意义和生物意义.与标准的遗传算法相比,缩小了搜索规模,可获得不定… …
相似文献
陶卿
曹进德
孙德敏
方廷健
《软件学报》
2001,12(3):462-467
7146.
无线IP网络中一种针对实时流的报头压缩算法
下载全文
总被引:1,自引:0,他引:1
无线IP网中,为了能够有效利用带宽资源,使提供实时业务具有经济上的可行性和现实性,必须采用报头压缩技术减小协议报头带来的额外开销.然而,现有的报头压缩方案在设计时没有考虑无线信道状态.为了能够更好地适应无线链路特性,提出并分析了一种无线IP网络中针对实时流的基于信道状态的健壮报头… …
相似文献
吴亦川
郑健平
黄奎
赵壮
吴志美
《软件学报》
2005,16(6):1159-1167
7147.
RSA 踪迹驱动指令Cache 计时攻击研究
下载全文
指令Cache 攻击是基于获取算法执行路径的一种旁路攻击方式.首先,通过分析原有RSA 指令Cache 计时攻击存在可行性不高且能够获取的幂指数位不足等局限性,建立了新的基于监视整个指令Cache 而不只是监视特定指令Cache 的踪迹驱动计时攻击模型;然后,提出了一种改进的基于… …
相似文献
陈财森
王韬
郭世泽
周平
《软件学报》
2013,24(7):1683-1694
7148.
云计算环境下基于评价可信度的动态信任评估模型
针对云用户如何选取可信的云服务提供商问题,提出了基于评价可信度的动态信任评估模型。该模型将云服务提供商的服务能力和云用户所需求的服务能力分别划分等级,有效地解决了云服务提供商服务能力动态变化对模型存在的潜在破坏问题。建立了信任度随时间窗变化的动态信任机制,在计算信誉度时,将用户的… …
相似文献
张琳
饶凯莉
王汝传
《通信学报》
2013,34(Z1):31-37
7149.
应用可变形模型进行曲线曲面光顺
总被引:12,自引:0,他引:12
根据物理模型的造型技术可以从另一个角度研究曲线曲面的光顺问题.基于能量的可变形曲线曲面可用于光顺一批有误差的散乱数据点.该方法不必要求数据点有序的条件,通过在数据点与曲线和曲面之间连接假想弹簧,可以克服“光顺”和“插值”的矛盾,得到所需形状.文章采用三次B样条几何表达形式,建立了… …
相似文献
经玲
席平
唐荣锡
《软件学报》
1998,9(6):464-468
7150.
基于机器学习的彩色匹配技术
总被引:15,自引:1,他引:15
在不同的设备间保持色彩的一致性是当前彩色印刷的一项重要的世界性技术难题.从机器学习的角度,提出了基于学习的色彩空间变换方法,并利用科学发现的基本思想,较为成功地解决了彩色喷墨打印机中的彩色匹配的自动化和通用性问题,取得了理想的匹配效果.该技术目前已与日本佳能泰克公司进一步合作、开… …
相似文献
钱国良
陈彬
舒文豪
洪勇
马培军
《软件学报》
1998,9(11):845-850
[首页]
« 上一页
[710]
[711]
[712]
[713]
[714]
715
[716]
[717]
[718]
[719]
[720]
下一页 »
末 页»