•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第8641-8660项 搜索用时 109 毫秒
[首页] « 上一页 [428] [429] [430] [431] [432] 433 [434] [435] [436] [437] [438] 下一页 » 末  页»
8641.
  总被引:7,自引:0,他引:7
本文介绍了基于微机的归纳法推理系统。用该系统,作者已证明了一批计算机程序的正确性及一些有价值的程序属性,包括算术表达式编译程序的正确性、FORTRAN编译程序的正确性、LISP解释程序的正确性等。文中简介了系统的理论基础、数据类型、总体结构,举例说明了系统的推理能力等。… …   相似文献
李卫华  张黔 《计算机学报》1996,19(3):230-236
8642.
下载全文  总被引:7,自引:0,他引:7
为了有效地提高WWW服务器的吞吐能力、反应速度和可扩展性,国际上许多著名站点纷纷转向采用WWW集群服务器来替代原有的单一主机服务器.采用不同副本分布方式的WWW集群服务器,其数据可靠性也有所不同.对不同数据副本分布方式进行探讨,同时,论证了最优副本分布方案.  相似文献
8643.
下载全文  总被引:7,自引:0,他引:7
矢量场可视化是科学计算可视化中最具挑战性的研究课题之一,为了能在二维屏上直观显示三维矢量场,将基于纹理的LIC方法拓展到三维矢量场可视化,通过设计稀疏线噪声纹理并配合斜坡卷积核提高VolumeLIC图象质量,显著增强空间深度感,并采用光线投射直接体绘制方法生成VolumeLIC图… …   相似文献
8644.
下载全文  总被引:7,自引:0,他引:7
通过融合距离图象和彩色图象为移动式机器人构造二维环境模型及进行障碍检测.其中,环境模型采用了多分辨的二维网格表示结构,较好地解决了计算速度和模型精度之间的矛盾;融合算法的设计是以推广的Dempaser-Shafer证据理论(DSTE)为基础,较好地解决了融合信息的相关性问题;所论… …   相似文献
8645.
下载全文  总被引:7,自引:1,他引:7
针对风线与曲面拟事问题,研究多结点样条插值方法。这类方法具有基数型,显式计算及局部性等优点。主要的新结果是:对多结点样条基本函数的构造给出了新的表述;提出了一类新的不带移动的混合形多结点样条基本函数;基于多尺度分析的思想,给出了一种自适应的细化算法,它对消减采样数据的相关性是简便… …   相似文献
8646.
下载全文  总被引:7,自引:0,他引:7
从二维图像序列进行表面重建的问题由来已久.传统的重建方法通常是先重建或先等值面抽取,再简化数据量.随着处理数据量的增长,传统算法的中间过程会因为存储空间的限制不能进行下去.如何利用有限的存储空间对大数据量进行处理,从而完成曲面的重建曾是要研究的问题.针对大数据量的已分割的医学切片… …   相似文献
吕晟珉  杨勋年  汪国昭 《软件学报》2003,14(8):1448-1455
8647.
  总被引:7,自引:0,他引:7
为了解决DiffServ网络中带宽利用的不公平性 ,该文提出了一种自适应的数据包标记算法AFM(AdaptiveFairMarker) .与现有的标记算法相比 ,它有两个显著的不同 :( 1)增加了一种带宽估计机制 ,对网络中可使用的带宽进行动态估计 ,并将所估计的带宽以按比例的… …   相似文献
8648.
  总被引:7,自引:0,他引:7
代码转换分档插入排序法,对于均匀分布的数据无疑是一种高效率的排序方法,其时间复杂性为O(N),但是,对于极不均匀分布的数据,该方法的效率将明显下降,其时间复杂性变为O(N~2),为了避免在上述情况下排序效率的明显下降,使分档插入排序法有更普遍的适用性,我们在本文中将要提出二次分档… …   相似文献
杨大顺  丁青 《计算机学报》1993,16(2):151-154
8649.
  总被引:7,自引:0,他引:7
有色装箱问题是经典装箱问题的推广,它在多处理器实时计算机系统的任务调度等实际问题中有着很强的应用背景,提出了求解有色装箱问题的KC-A算法,它首先对输入物品进行分类预处理,然后在同一类内部使用经典装箱问题的近似策略A,给出了KC-A算法最坏情况渐近性能比的下界,分析了当选用的算法… …   相似文献
8650.
下载全文  总被引:7,自引:0,他引:7
图的最大团问题是一个著名的NP-完全问题.现有求解图的最大团的算法或者只适用于某些特殊的图,或者需要指数级时间代价,效率较低.以图的区间表示的概念为基础,提出了一种求解最大团的算法.该算法能够适用于任意的简单图,并且在一定的条件下,该算法只需要多项式时间就可以完成运行.… …   相似文献
仲盛  谢立 《软件学报》1999,10(3):288-292
8651.
  总被引:7,自引:0,他引:7
神经元网络在多数情况下获得的精度要比决策树和回归算法精度高,这是因为它能适应更复杂的模型,同时由于决策树通常每次只使用一个变量来分支,它所对应的识别空间只能是超矩形,这也就比神经元网络简单,粗度不能与神经元网络相比,然而神经元网络需要相对多的学习时间,并且其模型的可理解性不如决策… …   相似文献
8652.
下载全文  总被引:7,自引:4,他引:7
本文采用考虑了Pierson-Moskowitz谱的归一化带限Weierstrass分形函数来模拟动态分形海面.利用基尔霍夫近似研究了该粗糙面的电磁散射,讨论了后向散射截面随入射角的变化,给出了后向散射截面时间序列的分维与分形海面分维间的关系.计算了散射场幅值,结果表明该分形海面… …   相似文献
郭立新  吴振森 《电子学报》2001,29(9):1287-1289
8653.
  总被引:7,自引:0,他引:7
基于强口令的身份认证机制是目前身份认证技术发展的一个重要方向.本文对IEICE上新近提出的一个优化强口令身份认证协议OSPA(Optimal Strong-Password Authentication)进行了分析,并利用本文首次提出的组合攻击方法对其进行了有效攻击.攻击结果表明… …   相似文献
秦小龙  杨义先 《电子学报》2003,31(7):1043-1045
8654.
  总被引:7,自引:0,他引:7
有源相控阵天线不仅能提高通信系统的性能,而且还能扩充其功能,所以在通信领域的应用越来越广泛.本文介绍一种没有高频移相器的8单元有源相控阵天线系统,它由平面天线阵、数字T/R组件、接收DBF和系统控制分析软件等组成.其基本原理是在发射模式下,利用直接数字合成(DDS)代替传统的高频… …   相似文献
8655.
下载全文  总被引:7,自引:0,他引:7
最大化802.11 DCF的饱和吞吐量对充分利用无线局域网宝贵的带宽资源具有重要意义。该文在分析802.11 DCF的饱和吞吐量与最小竞争窗口、最大回退等级、网络中竞争信道的节点数的关系的基础上,推导了根据网络中竞争信道的节点数,计算最小竞争窗口的最佳值的简单公式。给出了估计竞争… …   相似文献
8656.
  总被引:7,自引:2,他引:7
本文对具有消息恢复的数字签名方案的安全性进行了分析 ,对Nyberg和Rueppel提出的签名方案 (NR签名方案 )和Miyaji最近提出的签名方案 (F1)和 (F2 )分别设计了一种新的伪造攻击(ForgeryAttack)方法。  相似文献
8657.
  总被引:7,自引:0,他引:7
蓝牙技术是近年来迅速发展的一项短距离无线通信技术,OBEX作为蓝牙协议栈中面向应用的会话层协议,提供了灵活的目标文件交换方式,本文研究了OBEX协议的原理及结构,仔细分析了OBEX层模块间的接口和数据流,并着重讨论了基于OBEX的文件传输应用的实现技术,最后介绍了作者开发的蓝牙设… …   相似文献
8658.
  总被引:7,自引:0,他引:7
1引言 人脸识别研究可以追溯到20世纪60年代末期.随着计算机硬件成本的下降,真正人脸识别技术的发展和应用是在20世纪的80~90年代[1~3].近年来,人脸识别技术的研究成果层出不穷,已经成为一门独立的学科.  相似文献
8659.
下载全文  总被引:7,自引:0,他引:7
提出了一种基于顶点删除算法的多分辨率模型表示,该方法充分利用了相邻细节层之间的连贯性,每一细节层只存储与上一细节层不同的部分,从而节约了空间,方便了查询与风外传输  相似文献
8660.
  总被引:7,自引:1,他引:7
本文提出了一种无线传感器网络中的密钥管理方案,该方案支持密钥建立和更新等过程,并采用邻近节点概率否决投票的方法由基站撤消受节点的密钥集。同时,考虑到传感器节点资源有限的特点,方案中相关的协议和算法都比较简单,并完全避开了代价昂贵的公钥运算,从而使得方案的计算、存储和通信开销都比较… …   相似文献
[首页] « 上一页 [428] [429] [430] [431] [432] 433 [434] [435] [436] [437] [438] 下一页 » 末  页»