•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第9141-9160项 搜索用时 108 毫秒
[首页] « 上一页 [453] [454] [455] [456] [457] 458 [459] [460] [461] [462] [463] 下一页 » 末  页»
9141.
  总被引:7,自引:0,他引:7
目前有许多基于有限状态机生成一致性测试序列的方法,但是这些方法还不能应用于含有自发事件的有限状态机。文中对UIO方法加以补充,使之适用于含自发事件的有状态机,并已将该方法应用于OSPF协议的一致性测试。  相似文献
9142.
  总被引:7,自引:1,他引:7
讨论了互联网通信中的一个信息选取与规划问题。由于内部网的单个Web服务器容量不够大,不能容纳与日剧增的信息内容,如何将众多的信息分布到多个Web服务器上,使得每个服务器上存放的信息总量不超过各个服务器容量且避免访问瓶颈的发生;这是陈卫东等1999年提出的一个新问题,该文建立了该问… …   相似文献
何勇 《计算机学报》2001,24(6):596-601
9143.
  总被引:7,自引:0,他引:7
探讨了既有MIS的特点又有GIS特殊功能的设备管理数字地图的开发问题,重点介绍了系统的主要功能及解决方案。  相似文献
9144.
  总被引:7,自引:0,他引:7
提出了一种基于视频的交通监控系统,该系统使用车辆子特性跟踪的方法,较好地解决了过长的阴影使车辆相互交叠的问题。  相似文献
9145.
  总被引:7,自引:0,他引:7
在分析XML在EDI、MEC中应用现状的基础上,展望XML在电子商务中的应用前景.  相似文献
9146.
  总被引:7,自引:0,他引:7
本文给出了加权多步预报控制(WLPC)^[1]算法的鲁棒性分析,其中包括WLPC算法允许的建模误差的界域和鲁棒性的频性分析结果。分析表明,只要适当选取权因子且配置好闭环极点,WLPC算法是一鲁棒性能良好的控制算法。  相似文献
9147.
  总被引:7,自引:0,他引:7
本文基于炼钢过程的正常生产数据,建立了终点自适应预报及带有知识库的预测操作指导系统。该方法的应用有助于克服炼钢过程中的盲目性,使操作策略规格化和科学化,既可降低能耗又可提高终点目标命中率。该系统可推广到过程特别复杂、变化缓慢的工业对象中。  相似文献
9148.
  总被引:7,自引:0,他引:7
大量GIS应用的地图显示功能具有多尺度特性.Hilbert—R—Tree索引与此特性不相适应,使用它访问绘图数据存在I/O粒度偏小和同等级簇聚程度低两个问题,导致访问效率不高.该文对它作出改进,提出一种新型索引即多级Hilberl.R—Tree索引(Hierarchical Hi… …   相似文献
9149.
  总被引:7,自引:0,他引:7
软件产品线方法是一种面向特定领域的、大规模、大粒度的软件复用技术。明确建模和描述软件产品线需求是软件产品线开发的关键问题之一。而传统的UML用例图等方法不足以完整描述产品线需求,特别是其变化性。通过分析软件产品线开发过程和软件产品线需求建模的特殊性,采用扩展UML用例图标签的方法… …   相似文献
9150.
  总被引:7,自引:1,他引:7
采用GIS管理空间管网是提高城市建设效率的重要基础。文中介绍了利用Mapx组件开发某小区空间管网信息系统,实现了管网图层与属性数据之间的双向查询,支持局部剖面自动生成的空间数据结构设计与实现算法等。侧重研究空间管网的数据组织形式,以及空间信息和属性信息之间的关联。实验证明,利用M… …   相似文献
9151.
  总被引:7,自引:0,他引:7
文章在分析高校校园网的基础上,为了保证网络安全所包含的数据真实性、保密性、完整性、不可否认性,提出了基于Windows.NET Server的单CA多RA的PKI系统。  相似文献
9152.
  总被引:7,自引:0,他引:7
通信效率是影响移动Agent系统运行效率的重要因素之一,如何提高通信效率仍是一个有待解决的问题,提出移动Agent系统通信效率优化模型LCEOM.LCEOM具有以下优点:①全面考虑了影响通信效率的主要因素;②能够描述移动Agent的通信任务;③能够定量地分析通信开销;④能够规划出… …   相似文献
9153.
  总被引:7,自引:0,他引:7
随着Web服务技术与应用的发展,Web服务安全问题日益突出。Web服务安全通信要求保证应用层SOAP消息的安全传输,而现有的安全传输方案,如SSL,TLS等不适用于应用层的消息安全保护,无法满足上述要求。针对Web服务应用模式,提出了一种基于XML安全技术的Web服务安全通信机制… …   相似文献
9154.
  总被引:7,自引:0,他引:7
基于P2P方式的信息检索系统相对集中式信息检索系统具有成本低、可扩展性好、容错性强等优点,可充分挖掘网络边缘资源,并可提供个性化的信息服务.然而如何在纯P2P环境下实现全文检索并定位目标资源是困难的.当前,采用广播查询的非结构化P2P(如Gnutella)和采用分布式Hash表方… …   相似文献
9155.
  总被引:7,自引:0,他引:7
在以网络为基础的科学与并行计算环境中,计算资源具有强分布性、异构性和动态性.当应用程序提交给网格计算环境时,需要从全部可用计算资源中选择一个资源子集以支持该应用的执行.复杂的应用问题通常包含多方面的异构性,不同性质的应用适合在不同的体系结构运行.基于对网格中可用资源的动态监测与分… …   相似文献
9156.
  总被引:7,自引:0,他引:7
介绍了供应链管理系统,针对目前供应链管理系统现状,把先进的供应链管理技术、信息技术、数据通信技术及计算机处理技术等有效地综合运用,提出了基于网格计算的供应链管理系统模型。  相似文献
9157.
  总被引:7,自引:0,他引:7
本文详细介绍了一种二维线段的矩形窗口逐边裁剪算法。该算法充分利用了矩形窗口的凸性和窗口边界平行于坐标轴的特点,通过对二维线段与窗口边界的各种相对位置关系进行详细分类,以减少裁剪求交的次数,从而减少了算法的算术运算量,达到快速裁剪线段的目的。该算法原理简单,便于理解和实现,且运算速… …   相似文献
9158.
下载全文  总被引:7,自引:0,他引:7
探讨了图象变形的原理,提出了一种将矩形区域的二维图象向任意的二维曲线轮廓区域映射的算法,并给出了利用位图格式文件经编程处理获得的一些结果。实例证明,这种算法是行之有效的。  相似文献
9159.
下载全文  总被引:7,自引:0,他引:7
应用证据理论的一个关键问题是生成基本概率指派(BPA),目前如何生成BPA仍然是一个有待解决的问题.本文提出一种基于区间数的BPA生成方法,首先建立样本属性的区间数模型,然后用区间数的距离表示样本属性之间的差异性,在此基础上提出了一种相似度,最后对相似度进行归一化得到BPA.通过… …   相似文献
康兵义  李娅  邓勇  章雅娟  邓鑫洋 《电子学报》2012,40(6):1092-1096
9160.
  总被引:7,自引:0,他引:7
访问控制策略合成是确定分布式聚合资源访问控制策略的关键.为了规范策略合成和保障策略合成正确性,基于属性刻画了实体间的授权关系,通过属性值的计算结构扩展了现有的策略合成形式化框架,建立了新的基于属性的策略合成代数模型APoCA(attribute-base access contr… …   相似文献
林莉  怀进鹏  李先贤 《软件学报》2009,20(2):403-414
[首页] « 上一页 [453] [454] [455] [456] [457] 458 [459] [460] [461] [462] [463] 下一页 » 末  页»