公共文化服务平台

基于时间维加权TimedWPR算法被引量：2: 2008年; PageRank算法对页面评价太过客观,对不同重要程度的网页被授予相同的权重,并且在排序时,一些旧的页面经常出现在Web检索结果的前面,而新加入的高质量页面用户很难找到。针对Pagerank算法存在的这些缺陷,引入时间维加权概念,开发出TimedWPR算法,同时保证了两种页面的排序优化。该算法采用服务器反馈回来的网页修改时间表示网页年龄,并在此基础上对网络的组织结构和链接质量以及时间序列进行挖掘,从而克服现有Web超链接分析中的不足。; 王崝鞠时光; 关键词：PAGERANK算法超链接

基于混合核函数的分布式信息检索结果融合被引量：3: 2011年; 为了提高分布式信息检索(DIR)的结果融合表现,基于改进的潜在语义核(LSK)和复合方差(ANOVA)核构建了新的复合(CLA)核,通过直接计算检索结果和提问之间相关度来对检索结果进行融合研究。实验结果表明:CLA核的融合精度和招回率分别仅略次于LSK和ANOVA核,但其综合评价指标F1优于其他核;其融合精度比Round-robin、ComMNZ、Bayesian、Borda、SDM、MEM和regression SVM等分别提高了16.79%、30.73%、20.37%、24.17%、14.25%、13.50%和7.53%。CLA核具有较好的融合表现,适用于DIR结果融合。; 王秀红鞠时光; 关键词：分布式信息检索复合核

嵌入式无线局域网适配器的设计与实现被引量：6: 2007年; 无线网卡具有数据无线收发的功能和微弱的数据处理能力。该文将微处理器、无线网卡芯片、射频器件等融合进嵌入式无线局域网适配器,通过相应的软硬件开发,使其具有更强的数据处理能力,无须安装无线网卡的驱动程序,且即插即用。该适配器不但可用于PC机和笔记本电脑,而且可用于嵌入式系统的无线互联。; 陈祖爵黄学雷陈潇君鞠时光; 关键词：微处理器嵌入式系统

基于操作语义的磁臂隐通道分析被引量：3: 2007年; 深入分析磁臂隐通道的产生及产生的原因,发现目前基于系统顶级描述和基于系统源代码搜索方法难以找出这类隐通道,提出一种基于操作语义的方法来研究磁臂隐通道,将磁臂调度过程中的进程看做一个抽象机,以Plotkin的结构化操作语义给出电梯调度算法的推导规则;根据推导规则得到进程抽象机所有状态以及进程抽象机状态的动态变化历史,这样就构成完整的信息传导操作语义模型。研究与分析两个高低安全级进程抽象机状态变迁及状态变迁序列,从而找到其中存在的磁臂隐通道。; 刘志锋鞠时光李沛; 关键词：隐通道信息传导结构化操作语义

嵌入式实时软件的任务构造被引量：9: 2010年; 基于模型的设计方法能缩小从软件功能模型到任务模型的差距。用模型转换的方法构造实时任务,从软件设计模型的组件变换为进程/线程可执行的任务。该方法适用于嵌入式软件设计。在模型中考虑时序一致性的问题,绝对时序一致性能保证数据的有效期,相对时序一致性能保证数据的可用性。; 武海燕晏立; 关键词：嵌入式软件设计

污染气流扩散三维场景的实时模拟被引量：2: 2007年; 在环境污染应急系统中,实时模拟污染气流扩散场景是制定污染事故应急措施的关键。为兼顾模拟的实时性和逼真性,利用离散化的思想,提出了一种基于粒子系统的简单快捷的数学建模方法,实现了对污染气体排放现象的建模,并在此基础上设计了一个污染气流的生成算法。最后给出了污染气流扩散的动态模拟效果图。; 邹志文鞠时光宦娟; 关键词：计算机应用粒子系统数学模型

具有过去时态算子的计算树逻辑模型检测被引量：2: 2007年; 在计算树逻辑(CTL)中引入过去时态算子,得到了表达力更强的属性规约语言CTLP,给出了CTLP的模型检测算法及其固定点刻画。该算法的复杂性和CTL一样。固定点刻画使得CTLP的符号模型检测过程能够实现,从而有效克服了模型检测中的状态爆炸问题。; 周从华刘志锋; 关键词：计算树逻辑二叉判定图

面向存储安全系统的新型人工免疫算法被引量：1: 2008年; 提出了新型人工免疫算法,用于研究高效的存储安全系统。首先给出了基于免疫存储安全系统的结构和相关定义。在分析人工免疫算法中已有匹配规则的基础上,为提高安全系统的效率,提出了任意r连续位匹配规则,提高检测器识别非自体的能力,减少存储安全系统识别非自体所需的成熟检测器数量;为了使存储安全系统能适应不同的自体集,自动优化检测效率和准确性,避免检测存储安全系统的失效,本文提出了自适应匹配阈值机制。分析了使用不同匹配规则时检测器能识别的最大非法访问请求数量,以及对不同自体集采用静态匹配阈值和自适应匹配阈值机制时存储安全系统的检测效率和准确性。使用新型人工免疫算法实现安全原型系统,验证了算法的性能。最后通过修改开源存储区域网系统Lustre中智能磁盘部分的源代码,实现了基于免疫安全磁盘的原型系统,测试增加存储安全系统前后Lustre系统的I/O性能,结果表明新型人工免疫算法能高效地保护存储系统的安全。; 蔡涛鞠时光仲巍牛德姣; 关键词：人工免疫算法磁盘 I/O性能

隐通道的仿真分析被引量：5: 2006年; 在TCSEC和CC标准中,软件要获得B2或EAL5及以上安全级的认证,必须要进行隐通道分析。通过建立隐通道的仿真系统,根据试验分析隐通道的性质,其中一些性质是在以往基于源代码或顶级描述的静态隐通道分析中没有观察到的。对这些性质的成因,做了理论上的解释,并提出了分两步进行的隐通道审计方法。; 王昌达鞠时光; 关键词：隐通道仿真

基于源代码的隐通道搜索方法被引量：1: 2006年; 针对目前隐通道搜索方法仍采用手工分析语句信息流所带来的工作量巨大问题,提出了一种基于源代码的信息流分析法,找出软件系统源代码中原语间兼具可见性和可修改性的共享变量,再以此作为共享资源矩阵法的输入,得到高效高精度的隐通道分析工具。; 宋香梅鞠时光; 关键词：隐通道信息流

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

国家自然科学基金(60573046)