•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第811-820项 搜索用时 55 毫秒
[首页] « 上一页 [77] [78] [79] [80] [81] 82 [83] [84] [85] [86] [87] 下一页 » 末  页»
811.
提出一种虚拟机构造和验证方案.给出字节码程序运行环境BVM(bytecode virtual machine)的形式化定义;采用X86机器语言构造虚拟机CertVM(certified virtual machine);并证明该虚拟机实现符合相应程序规范并和BVM之间具有模拟关系… …   相似文献
董渊  任恺  王生原  张素琴 《软件学报》2010,21(2):305-317
812.
  总被引:5,自引:0,他引:5
介绍了一个中文术语自动抽取系统,该系统首先基于互信息计算字串的内部结合强度,从而得到术语候选集;接着从术语候选集中去除基本词,并利用普通词语搭配前缀、后缀信息进一步过滤;最后对术语候选进行词法分析,利用术语的词性构成规则进行判别,得到最终的术语抽取结果。实验结果表明,术语抽取正确… …   相似文献
813.
  
以粒子系统为基础、线元为基本绘图单位,应用牛顿运动定律分析并建立瀑布运动方程,进行了瀑布场景的模拟。采用包围盒与粒子聚类检测相结合的方式以及参考射线反射原理实现了瀑布与障碍物的碰撞,并运用OpenGL中的混合技术生成半透明场景,使可视化场景更加真实。实验结果表明粒子系统在模拟瀑布… …   相似文献
814.
下载全文  总被引:23,自引:7,他引:23
近年来,迁移学习已经引起了广泛的关注和研究.迁移学习是运用已存有的知识对不同但相关领域问题进行求解的一种新的机器学习方法.它放宽了传统机器学习中的两个基本假设:(1)用于学习的训练样本与新的测试样本满足独立同分布的条件;(2)必须有足够可利用的训练样本才能学习得到一个好的分类模型… …   相似文献
815.
下载全文  总被引:4,自引:2,他引:4
提出一种基于确定的有穷状态自动机(deterministic finite automaton,简称DFA)的正则表达式压缩算法.首先,定义了膨胀率DR(distending rate)来描述正则表达式的膨胀特性.然后基于DR提出一种分片的算法RECCADR (regular e… …   相似文献
徐乾  鄂跃鹏  葛敬国  钱华林 《软件学报》2009,20(8):2214-2226
816.
下载全文  总被引:111,自引:2,他引:111
安全评估是贯穿信息系统生命周期的重要管理手段,是制定和调整安全策略的基础和前提.只有充分识别系统安全风险,才能有针对性地采取有效的安全防范措施.基于IDS(intrusion detection system)海量报警信息和网络性能指标,结合服务、主机本身的重要性及网络系统的组织… …   相似文献
817.
针对大规模空间数据的高性能k-近邻连接查询处理,研究了MapReduce框架下基于R-树索引的k-近邻连接查询处理。首先利用无依赖并行和串行同步计算的形式化定义抽象了MapReduce并行编程模型,基于此并行计算模型抽象,分别提出了 R-树索引快速构建算法和基于 R-树的并行 k… …   相似文献
刘义  景宁  陈荦  熊伟 《软件学报》2013,24(8):1836-1851
818.
  总被引:1,自引:0,他引:1
为了缩减图像低层特征和高层语义之间的“语义鸿沟”,本文提出一种基于模糊支持向量机的面向语义图像检索(SBIR-FSVM)算法。在提取图像的低层特征的基础上,本文将最小隶属度模糊支持向量机引入到图像检索技术中,获取图像语义信息及消除传统支持向量机(SVM)在多类分类中产生的不可分区… …   相似文献
819.
  总被引:10,自引:0,他引:10
分析了ERP系统在虚拟企业中应用所存在问题,研究了适用于虚拟企业的资源计划系统VERP的结构与功能,指出VERP须采用基于Internet的B/S模式,并提出了VERP的功能框架。  相似文献
820.
下载全文  总被引:1,自引:0,他引:1
SIP协议必须有中央服务器的支持,带来了需要手工配置、维护,以及扩展性较差等问题,本文在系统分析P2P SIP协议以及相关技术的基础上,给出了基于P2P SIP协议即时通信系统的设计,该系统采用基于P2P的方法来进行SIP注册和资源定位,保证系统可以在一个没有中央服务器的环境中自… …   相似文献
[首页] « 上一页 [77] [78] [79] [80] [81] 82 [83] [84] [85] [86] [87] 下一页 » 末  页»