•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第9201-9210项 搜索用时 79 毫秒
[首页] « 上一页 [916] [917] [918] [919] [920] 921 [922] [923] [924] [925] [926] 下一页 » 末  页»
9201.
  
针对传统双线圆弧算法存在失真现象和效率低下问题,提出了一种改进的基于线段/弧段的平面扫描算法。首先通过在凹点记录线段来避免失真问题;然后利用线段/弧段之间距离远近和相互连接的性质,采用改进的平面扫描算法大幅度地提高求交效率;同时设计一种算法快速剔除非边界点;最后利用线段/弧段具有… …   相似文献
9202.
  总被引:1,自引:0,他引:1
设计了一种基于Erasure Codes的网络环境下的分布式文件存储系统。初步的实验结果证明这种存储体系可以较好地解决人们当前所面临的文件存储的可靠性、安全性等问题。  相似文献
9203.
下载全文  总被引:1,自引:2,他引:1
本交通过实例介绍实现Java语言程序设计中的数据交换和通信技术的几种方法,并给出具体实现的关键部分程序代码。  相似文献
9204.
将VHDL语言应用到嵌入式系统的设计提供支持是扩展VHDL对系统级设计支持的一种研究途径.本文考察了几个典型的对系统级设计提供支持的规范语言,它们都将VHDL集成到自己的设计方法之中.在此基础上,作者总结了支持系统级设计的规范语言的基本要素,指出将形式描述方法与VHDL相结合可提… …   相似文献
董社勤  高国安  陈爽 《软件学报》1997,8(6):455-461
9205.
  
针对Android APK的静态描述,目前主要是采用权限、数据以及API调用序列的方法,而忽视了代码本身的层级结构,因此无法有效地通过这些静态特征来揭示应用程序的可能行为和恶意属性.设计并实现了一种基于代码层次结构的系统API调用描述方法,其主要是提取APK文件中API调用在应用… …   相似文献
魏松杰  杨铃 《计算机科学》2015,42(1):155-158,179
9206.
  
远程证明是可信计算领域中亟待突破的重要问题。结合二进制证明和基于属性的证明,应用环签名思想提出了一种简单、高效的匿名远程证明协议。该协议不需要属性证书,也不需要AIK证书,它通过借助一个离线可信第三方,应用可信计算绑定和密封机制,采用基于双线性对的属性环签名,同时实现了平台的身份… …   相似文献
9207.
下载全文  总被引:2,自引:0,他引:2
Z规格说明中的初始化定量的证明是对基于状态的规格说明的一个标准的检查,本给出了一个证明初始化定理的过程,该过程可自动地构成证明的证据,作为实例,我们该过程证明了两个初始化定理。  相似文献
9208.
  
研究了多域光网络中的路由保护问题;为了克服多域光网络中可扩展性约束,提出了一种混合拓扑聚合方法。该方法结合了全连通和生成树拓扑聚合的优点,在网络中需要存储和发布的链路状态信息与聚合信息反映实际物理拓扑的精确性之间进行了折中;然后在此混合拓扑聚合方法的基础上,提出了一种基于查询机制… …   相似文献
9209.
当前采用 OWL-S 描述的 Web 服务,主要从服务功能进行描述,缺乏对服务质量的明确刻画,导致服务请求者难以得到最佳服务.针对此问题,本文对 OWL-S 规范扩展,提出一个基于 QoS 的语义 Web 服务发现模型 SWSDM-QoS.该模型支持 QoS 的服务发布、查找和反… …   相似文献
9210.
下载全文  总被引:1,自引:0,他引:1
本文针对固定场景条件下的视频图像序列进行运动目标分割,根据交通场景中同一运动目标在图像中不同位置的面积和速度不同的特点,采用分级分块多尺度对称差分法和帧间背景像素变化规律优化背景重建。然后利用背景差分的方法提取运动目标,在运动区域内利用HSV 颜色空间的阴影特点来消除阴影,准确提… …   相似文献
[首页] « 上一页 [916] [917] [918] [919] [920] 921 [922] [923] [924] [925] [926] 下一页 » 末  页»