•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第3471-3480项 搜索用时 84 毫秒
[首页] « 上一页 [343] [344] [345] [346] [347] 348 [349] [350] [351] [352] [353] 下一页 » 末  页»
3471.
针对在动态图形绘制基础上进行图像渲染的问题,基于Mac OS X操作系统的核心制图与渲染技术,提出了重组OpenGL渲染流程实现加速图形绘制与图像渲染结合的管道化方法,目的是实现GPU完全承担绘图和渲染加速。整个流程无须CPU参与,在提高图形子系统性能的同时优化了应用程序响应能力… …   相似文献
3472.
下载全文  总被引:4,自引:0,他引:4
给出了前向安全多重签名的形式化安全性模型,并提出了一个可证安全的前向安全多重签名方案。在该方案中,即使所有参与多重签名成员的当前密钥泄漏,所有以前时间段的签名也是有效的。证明了方案是标准模型下安全的。  相似文献
于佳  郝蓉  孔凡玉  程相国  GUO Xiang-Fa 《软件学报》2010,21(11):2920-2932
3473.
线性mu-演算(μTL)是线性时序逻辑(LTL)的不动点扩展.LTL是一个便于规范和论证反应式系统的方法.μTL作为比LTL表达能力更强的逻辑,用LTL表示的性质度可由μTL表示.类似于LTL的直觉线性时序逻辑(ILTL),提出一种基于直觉解释的μTL,称为直觉μTL(IμTL)… …   相似文献
3474.
下载全文  总被引:36,自引:2,他引:36
本文给出分段快速排序方法,对于给定的N个数据记录,此方法的最大平均排序时间为O(N)。本文最后给出利用三种快速排序方法在IBM—PC机上分别关于均匀分布数据记录和正态分布数据记录进行排序的实验结果。  相似文献
唐向阳 《软件学报》1993,4(2):53-57
3475.
关联分类是数据挖掘及机器学习领域的一个研究热点。利用原子关联分类算法(CAAR)建立了数据模型的机器学习系统,详细说明了CAAR 算法的分类步骤并给出了算法的伪代码表示。在UCI 提供的标准数据集上进行测试,实验验证了在大规模数据集中,在不同的抽样率情况下,原子关联分类算法的分类… …   相似文献
3476.
OLAP通常使用预计算数据立方的方法提高可能的聚集查询的响应速度,在内存实化预计算的数据,可以更进一步加快响应的速度,但是受到内存空间的限制。在浓缩数据立方的环境中,动态地选择一定的数据小方在内存实化,加快响应速度,并更好地适应不同的查询模式。给出了在动态选择模型中,特定存储方式… …   相似文献
3477.
针对H-Torus拓扑结构,给出两种确定该拓扑结构等分带宽上、下界的方法.这些方法同样适用于2D Torus拓扑结构.还提出了H-Torus结构等分带宽的精确求解方案,但是该算法的复杂度过大,只适用于网络规模较小的情况.实验表明,H-Torus拓扑结构的等分带宽大于同等规模的2D… …   相似文献
3478.
在计算机性能评测领域, 评测工具日趋复杂和多样, 不同的评测工具具有不同的界面和操作方式, 测试人员不得不面对多种界面和操作方式, 增加了其学习压力和使用的阻力。另一方面由于评测工具的开发语言和操作环境的不同, 开发新的性能评测工具时不能充分利用已有的功能模块。介绍了一种能够在不… …   相似文献
3479.
下载全文  总被引:2,自引:0,他引:2
笔式用户界面是Post-WIMP界面的重要形态,在许多领域得到广泛应用.笔式界面设计需要设计者和用户的共同参与.捕获用户使用意图是设计笔式用户界面的前提,连接交互信息的表示与控制则是成功构造界面的关键.依据笔式交互信息连续性及模糊性特征,从设计参与者与交互信息管理两个维度建立了笔… …   相似文献
李杰  田丰  戴国忠 《软件学报》2005,16(1):50-57
3480.
下载全文  总被引:2,自引:1,他引:2
可用带宽测量对于网络行为分析、网络服务质量(quality of service,简称QoS)的验证等有很重要的作用.现有可用带宽测量工作主要集中在端到端路径可用带宽测量,仅提供路径上承压链路(tight link)的信息,而不能提供其他关键链路的信息.为此,提出一种新颖的链路可… …   相似文献
何莉  余顺争 《软件学报》2009,20(4):997-1013
[首页] « 上一页 [343] [344] [345] [346] [347] 348 [349] [350] [351] [352] [353] 下一页 » 末  页»