•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第7501-7520项 搜索用时 108 毫秒
[首页] « 上一页 [371] [372] [373] [374] [375] 376 [377] [378] [379] [380] [381] 下一页 » 末  页»
7501.
给出了一个寄存器架构的虚拟机模型Micro-Dalvik,包括虚拟机指令集和虚拟机运行时状态的形式化,并以大步操作语义(big-step operational semantics)的方式给出了指令单步执行的状态转换以及定义在单步执行上的自反传递闭包来表达虚拟机程序的运行时状态转… …   相似文献
7502.
下载全文  总被引:1,自引:0,他引:1
针对现有的代理移动IPv6认证方案存在的系统开销大和不能抵御暴力攻击的问题,提出了一种基于无证书签密的代理移动IPv6认证方案.该方案结合了无证书签密和代理移动IPv6的实际环境,在实现对移动节点认证的同时有效地解决了无线环境中密钥管理问题.对方案的安全性进行形式化分析证明,该方… …   相似文献
7503.
为克服遗传算法的缺点,利用小生境的启发作用,引入改进的模拟退火操作,构造了一个兼顾全局搜索与局部探测的混合遗传算法。针对该算法内在的良好并行性及串行计算难以发挥多核CPU计算优势的问题,将遗传操作和模拟退火操作设计成并行计算形式,利用OpenMP将其线程化。对TSP的求解验证了该… …   相似文献
7504.
下载全文  总被引:1,自引:0,他引:1
简要介绍了GPRS技术和自组织网络的特点,设计了一种基于GPRS技术的无线自组织网络抄表系统;具体说明了系统实现和相关的技术;并分析了系统的性能及其优、缺点。First, the featu  相似文献
7505.
下载全文  总被引:12,自引:0,他引:12
文章提出应从过程建模的角度考虑对过程度量的支持问题,并提出一种支持过程度量的软件过程建模方法的框架.它包括面向目标的过程度量模型建模方法、支持过程度量的软件过程描述机制的选择和支持过程度量的软件过程建模算法.  相似文献
宿为民  朱三元 《软件学报》1999,10(8):843-849
7506.
  
网页作弊不仅造成信息检索质量下降,而且给互联网的安全也带来了极大的挑战.提出了一种基于Bag-ging-SVM集成分类器的网页作弊检测方法.在预处理阶段,首先采用K-means方法解决数据集的不平衡问题,然后采用CFS特征选择方法筛选出最优特征子集,最后对特征子集进行信息熵离散化… …   相似文献
唐寿洪  朱焱  杨凡 《计算机科学》2015,42(1):239-243
7507.
为了研究大城市私家车出行选择对物流配送方案生成的影响,综合考虑私家车驾驶者出行知识、获取的出行信息,建立了考虑自身风险规避、自身后悔规避与相对风险规避、相对后悔规避的路径选择混合效用随机模型,给出了确定预期后悔阈值的方法。基于模型的随机性,使用蒙特卡洛方法对模型中的随机参数进行了… …   相似文献
7508.
为了进一步提高数据仓库的性能, 通过分析数据仓库中性能优化技术的特点, 提出了索引和物化视图耦合的性能优化技术。通过数据挖掘自动选择候选索引和物化视图, 减少查询的扫描范围; 然后研究在物化视图上建立索引的空间高效存储方法, 以提高查询速率; 最后利用成本模型对耦合情况进行分析,… …   相似文献
7509.
动态软件体系结构语言已成为描述复杂软件体系结构的重要工具,然而许多描述语言都是静态的,并不能对动态软件体系进行描述.为此,对经典Z描述语言进行扩展,主要通过对构件、连接件和它们的添加以及删除来达到动态演化的目的.实例分析表明了这种扩展的可行性.  相似文献
7510.
下载全文  总被引:2,自引:0,他引:2
入侵检测(IDS)技术是一种新兴网络安全技术,它是一种基于主动策略的网络安全系统,是对传统的安全策略的补充,是网络安全系统中的重要组成部分.入侵检测已经成为网络安全不可或缺的一部分,它为网络提供了一个防御层,在这一层中我们可以预先定义可能的入侵行为以便对网络活动进行监视,当发现在… …   相似文献
7511.
目前基于结构相似性的图像质量评价算法均是对图像进行整体质量分析,但人类视觉系统对图像中不同部分的敏感程度不同,而对图像进行整体质量分析无法有效反映出这些差异。鉴于此,提出了一种基于内容划分的图像质量评价算法,根据图像不同区域的梯度将图像分为四个部分,分别进行质量评价。之后,采用基… …   相似文献
姚杰  谭建明  陈婧 《计算机应用研究》2012,29(10):3956-3959
7512.
结合Web和数据库技术,以种子植物(科级)的形态特征建库,使用二叉式检索原理实现在Internet/Intranet上进行种子植物分类信息的查询与未知种类的鉴定,这对综合开发和合理利用种子植物资源具有指导意义。重点介绍了系统的总体结构、特征库和二叉式检索的建造,并给出了系统的运行… …   相似文献
7513.
在J2EE构架下的应用中添加并发性是受到严格限制的.然而许多应用为了保证可接受的响应时间又需要并发实现.本文详细介绍了如何通过消息驱动Bean有效地为J2EE应用提供并发性.  相似文献
7514.
提出了一种基于图论的考场安排算法及一系列优化策略.考场安排足考务管理活动的重要环节,考场安排结果的优劣直接决定了考务活动能否正常顺利的进行.对高校的考场安排问题进行了分析、抽象,通过建立静态冲突图将时间安排转化为图论的图着色问题来解决排考时间的冲突问题并在此基础上提出了多种对结果… …   相似文献
7515.
  总被引:2,自引:1,他引:2
本文首先引入了“变换型语言”的概念,给出了代表这种语言特征的机制:“变换模块”和“变换控制命令”的具体定义;举例说明了如何使用“变换模块”描述一个抽象数据类型的部分实现,并通过“变换控制命令”来完成程序中抽象变量及有关操作的变换过程;最后,讨论了变换型语言表示的抽象性,一般性和控… …   相似文献
张乃孝 《软件学报》1993,4(5):17-23
7516.
下载全文  总被引:3,自引:0,他引:3
脸部表情的变化细节(例如皱纹)是很重要的视觉线索,但是它们难以建模与合成.这是由于人们说话和作表情时,脸部纹理也在动态地改变.与传统的纹理映射方法不同,提出一种根据脸部特征点运动来生成脸部动态纹理的新方法.基于形状和外观在表情脸部图像上高度相关这个观察,设计建立了从形状到外观的映… …   相似文献
杜杨洲  林学訚 《软件学报》2004,15(2):308-316
7517.
为了准确地实现点云数据的区域分割,将基于遗传算法的模糊聚类算法应用于逆向工程中的点云数据区域分割中。首先估算出法矢量、高斯曲率和平均曲率,并与坐标一起组成八维特征向量,用加权距离代替欧氏距离,然后通过遗传算法获得全局最优解的近似解;最后将近似解作为模糊聚类的初始解进行迭代,实现点… …   相似文献
7518.
下载全文  总被引:1,自引:0,他引:1
本文论述了我们对美国知名学者A.S.TANENBAUM1986年编制的分时多任务多用户操作系统MINIX所做的若干重要改造和扩充,包括对3.5寸高密盘的支持,AT机扩展内存的利用,进程对换和假脱机系统的实现.  相似文献
7519.
  
路由劫持是当前Internet域间路由系统(BGP)所面临的最严重的安全威胁之一,但目前仍缺乏有效的防护手段.将自治系统(autonomous system,简称AS)基于BGP路由信息自我发现路由劫持的概率定义为对路由劫持的免疫能力,对该免疫能力进行了建模,并给出了AS自我免疫… …   相似文献
7520.
计算机系统的软件系统发展将是各种技术的结合和渗透。硬件系统将由大批异构型的分布式的分系统构成。本文以我们研制的异构型、同构型分布式数据库系统(DDBS)LSZ和LSZ2为背景,讨论异构型系统的结构、连接、平行性以及AI和DB技术的结合等问题。  相似文献
[首页] « 上一页 [371] [372] [373] [374] [375] 376 [377] [378] [379] [380] [381] 下一页 » 末  页»