用户名： 密码： 找回密码 中文版 English 本站信箱 收藏本站 本网介绍

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第5901-5920项 搜索用时 140 毫秒
[首页] « 上一页 [291] [292] [293] [294] [295] 296 [297] [298] [299] [300] [301] 下一页 » 末  页»
5901.
本文引入了广义ＦＤ路和外部闭包的概念,将它们应用于函数依赖集的无冗余覆盖计算,有效地减少了计算的闭包个数．并在此基础上提出了一个新的３ＮＦ合成算法,将常用的３ＮＦ合成算法中的２次无冗余覆盖计算合并为１次,显著地减少了计算闭包总个数．  相似文献
5902.
下载全文  总被引：5，自引：0，他引：5
在测试用例放回的情况下,关于随机测试和分割测试的比较,许多研究者做了大量的工作,取得了显著成果.在测试用例不放回的情况下,类似的比较工作在国内外文献中尚未见到.然而在实际工作中,尤其是在软件测试早期和模块测试阶段,测试用例是不放回的.因此,在测试用例不放回的情况下,对随机测试和分… …   相似文献
方木云  赵保华  屈玉贵 《软件学报》2001,12(11):1687-1692
5903.
针对当前IPTV直播应用中,集中服务模式对服务器性能和网络设施要求较高、可扩展性较差的问题,提出了一种基于P2P(点对点)技术的直播系统Clear Live。与现有的P2P视频系统只针对PC终端的情况不同,该系统主要面向IPTV应用,面向嵌入式机顶盒终端,并兼容PC终端。Clea… …   相似文献
5904.
下载全文  总被引：1，自引：0，他引：1
以上下文无关语言上的递归函数为基础的语言LFC(1anguage for context free recursive function)是一种形式规约语言,适于处理短语结构.LFC也是函数式语言,具有函数式语言的许多特点.LFC已经在形式规约获取系统SAQ(specificat… …   相似文献
黄文集 《软件学报》2004,15(7):969-976
5905.
下载全文  总被引：5，自引：2，他引：3
JM模型是JVT(joint video team)发布的H.264标准测试模型,对算法学习和研究有着重要的意义。根据JM测试模型的参数设定,其中的运动估计算法有3种可选模式。本文结合JM10.2的源代码对UMHexagonS算法进行了分析,并对该算法进行改进,能够在保证视频序列… …   相似文献
5906.
下载全文  总被引：1，自引：1，他引：0
本文是中国图形工程的年度文献综述系列之十四。对2008年国内主要中文信息技术类期刊发表的图形工程的主要论文,根据内容进行了分类和整理,这些学术研究和工程技术应用研究论文共计879篇,是从国内发表图形工程中文论文比较集中的11种中文学术期刊共计8 131篇(其中电子技术及信息科学论… …   相似文献
5907.
针对ad hoc网络,提出了基于拓扑透明特性的混合MAC协议——TTHM协议(topology-transparent hybrid MAC protocol).TTHM协议在T-TSMA(threaded time spread multiple access protocol… …   相似文献
李卫  王杉  魏急波 《软件学报》2009,20(6):1642-1650
5908.
下载全文  总被引：1，自引：0，他引：1
5909.
下载全文  总被引：10，自引：2，他引：8
如何生成具有适当水平位差的左右眼平面图片是自由立体显示软件设计的核心问题。针对该问题,首先以双眼能够舒适地融合显示屏上的最大水平位差为依据,在Microsoft Direct 3D构建的3维模型空间体系内,寻找模型空间的视点与显示屏上水平位差之间的理论关系;然后,以视者在真实空间… …   相似文献
5910.
为了利用隐式曲面构造出光滑拼接的3维树木枝条模型,同时义能避免3维树木建模中枝条曲面的单一性,以增强树木模型局部细节的真实感描述.提出了一种基于隐式曲面的3维树木建模方法,该方法首先将基于骨架的隐式曲面与具有多项式密度分布的直线骨架卷积曲面结合起来进行3维树木建模;然后采用Blo… …   相似文献
5911.
下载全文  总被引：55，自引：8，他引：47
虚拟环境是限时计算和限时图形绘制技术的典型应用．本文对用于限时图形绘制的多细节层次模型表示进行研究,提出了基于三角形网格简化的多细节层次模型自动生成算法．该算法多次遍历现有三角形网格模型的每一个顶点,使用局部几何和拓扑特征移去满足简化标准的顶点,对移去顶点后产生的多边形区域进行局… …   相似文献
5912.
下载全文  总被引：1，自引：0，他引：1
传统的基于结构相似度（SSIM）的质量评价方法具有适用范围狭窄,评价算法不稳定等特点。在对传统图像质量评价算法研究的基础上,提出了一种新的基于局部特征的质量评价方法。与传统方法不同,在对图像质量进行评价时,该方法充分考虑到图像的结构信息对于图像质量的影响。新的方法主要分为3个步骤… …   相似文献
5913.
多处理机环境下的实时系统具有并发事件驱动性质,其软件结构展现了多重同步点以及生产者与消费者之间的关系,这导致了复杂的控制结构.对于此类系统软件的开发缺少标准的方法和工具,造成了软件低效、程序结构不清晰、开发成本高、维护困难的现象的出现.根据Petri网易于描述并行/并发现象的特点… …   相似文献
任爱华  杜悦冬 《软件学报》2001,12(7):1064-1073
5914.
下载全文  总被引：4，自引：0，他引：4
基于几何特征的曲面物体识别方法是通过从景物深度图象上提取景物表面的高斯曲率和平均曲率、曲率直方图,曲率的熵等几何信息,将景物用一个属性关系图ＡＲＧ来表示,并与模型库中的模型ＡＲＧ图进行优化匹配,从而来识别曲面景物。该方法主要是针对机器零部件等人造曲面物体的识别问题而设计的,其曲面… …   相似文献
5915.
基于VC++6.0开发环境和OpenGL（open graphics library）国际图形标准,在Windows系统下开发了微型仿生机器鱼3维仿真系统。该系统可以降低用实体机器鱼进行机器鱼避障能力研究的成本和减少在研究过程中对实体机器鱼造成的损害。采用多边形建模的方法构建了虚… …   相似文献
5916.
下载全文  总被引：1，自引：1，他引：0
紧致性是模糊逻辑的一个重要性质.现已经证明?ukasiewicz 命题逻辑、G?del 命题逻辑、乘积命题逻辑和形式系统L*都是紧的.通过刻画逻辑系统NMG 中的极大相容理论和证明NMG 的满足性,进而证明了NMG也是紧的.  相似文献
周红军  王国俊 《软件学报》2009,20(3):515-523
5917.
本文提出了时态逼近关系,并给出了命题不确定性时态关系的一种分类,在Ｓｈｏｈａｍ的时态逻辑基础上,对命题和一阶两种情况,提出了能描述不确定性时态关系,基于时间点和（点对构成的）时间区间的时态逻辑（定性与定量相结合）．此外,还给出了在非确定性时态关系下用于描述命题类型的一些命题时态性… …   相似文献
钟绍春  刘大有 《软件学报》1996,7(2):119-127
5918.
现有多触点交互桌面系统通常只提供触点位置、形状等信息,不包括触点左右手归属信息.触点所属手及左右手手性信息的提供,对于多指手势识别、丰富双手交互技术,尤其是非对称双手交互技术具有重要意义.基于手的解剖结构特征,提出一种不需辅助硬件设备的触点左右手归属判定方法.首先,以手势设计的基… …   相似文献
5919.
  
针对无线传感器网络无需测距依赖的DV-Hop定位算法节点定位精度不高的问题,将鲁棒性强、收敛速度快且全局寻优性能优异的人工蜂群算法引入到DV-Hop算法的设计中,提出了一种ABDV-Hop(Artificial Bee ColonyDV-Hop)算法。该算法在传统DV-Hop算法… …   相似文献
5920.
  
在MPI的工作环境下对液体火箭发动机内的复杂燃烧流场进行了数值模拟,采用MPE性能监测库在MPI并行计算环境下对燃烧应用软件进行可视化监控分析,研究了液体火箭发动机燃烧过程仿真程序的并行计算性能,通过在NOW环境下的测试提出了提高应用软件性能的编程策略,有助于对发动机稳态和不稳定… …   相似文献
[首页] « 上一页 [291] [292] [293] [294] [295] 296 [297] [298] [299] [300] [301] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持