•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第8081-8100项 搜索用时 105 毫秒
[首页] « 上一页 [400] [401] [402] [403] [404] 405 [406] [407] [408] [409] [410] 下一页 » 末  页»
8081.
本文分析了嵌入式Linux系统下的网络通信模块驱动的实现原理,并具体通过DM9000以太网卡说明了其实现过程。  相似文献
8082.
笔式用户界面是一种重要的Post-WIMP(window icon menu pointer)界面,它给用户提供了自然的交互方式.然而,当前的笔式用户界面工具箱大多是面向单用户任务的,不能很好地支持协作应用场景.通过对笔式交互特征和协作环境功能需求的分析,设计并实现了一个工具箱C… …   相似文献
周明骏  徐礼爽  田丰  戴国忠 《软件学报》2008,19(10):2780-2788
8083.
  
研究了连续型不确定性物流网络节点选址及算法问题。针对物流网络需求的不确定性,以区间的形式度量各种变量,建立基于重心法的物流网络区间节点决策模型。考虑物流网络实践应用性特征,对区间解的性质判定及关系比较进行标定,实现求解模型的确定性转换。将区间运算与遗传算法相结合,设计问题求解的区… …   相似文献
8084.
随着Web服务的普及,Web服务的安全性变得越来越重要。在总结了目前比较成熟的多种身份认证方法后,对其优缺点和特性进行了总结。并且,对其中比较有实际应用价值的方案进行了具体的实现。同时,还对目前网络上流行的几种Web服务的身份认证方法进行了分析。  相似文献
8085.
  
为了求解大规模优化问题,根据记忆原理与元胞自动机的特点构造了求解优化问题的全局收敛算法。在该算法中,将优化问题的理论搜索空间划分为离散搜索空间,该空间定义为元胞空间,其中的每个元胞对应着一个候选解。将记忆原理的记忆、遗忘规律用于控制每个元胞的状态转移;元胞的状态由其空间位置、位置… …   相似文献
8086.
下载全文  总被引:10,自引:0,他引:10
提出一种普适于各种系统环境和网络规模的结构化P2P网络协议SmartBoa.与已有的结构化P2P路由协议(如Pastry,Chord等)相比,SmartBoa结点并不维护同样大小的路由表,而是各结点根据自身的带宽能力决定其路由表的大小(最强的结点可能记录全部结点的指针,最弱的结点… …   相似文献
8087.
给出了计算Said-Bézier型广义Ball曲线(SBGB曲线)在L2范数下保持端点约束的一种最佳降多阶算法.基于SBGB基函数、幂基函数和Jacobi基函数之间的相互转换关系,得到了SBGB基函数和Jacobi基函数之间的显式转换矩阵;进一步利用Jacobi基的正交性和上述转换矩阵的逆矩阵,导出了SBGB曲线在L2范数下的显式约束降多阶算法.此算法蕴含了Said-Ball曲线、Bézier曲线以及位置介于这两类曲线之间的一大类参数曲线的相应降多阶算法.证明了这是一种可以预报最佳误差且满足端点高阶约束的一次性降多阶算法.最后用数值实例说明了算法的正确性和优越性.… …   相似文献
刘刚  王国瑾 《软件学报》2010,21(6):1473-1479
8088.
针对和声搜索算法的不足,提出了一种自适应改进和声—单纯形进化算法(AIHSEA)。通过在新算法中加入变异策略对和声微调进行改进来增强算法的鲁棒性;适时执行单纯形算子增加群体搜索的方向性来加快搜索;采用自适应参数HMCR、PAR和BW调节全局和局部搜索。采用六个标准的优化算法测试函… …   相似文献
8089.
  
存储在云端服务器中的敏感数据的保密和安全访问是云计算安全研究的重要内容。提出了一种安全、高效、细粒度的云计算访问控制方案。密文的加密采用了借助线性秘密共享矩阵的CP-ABE加密算法,并将大部分密文重加密工作转移给云服务提供商执行,在保证安全性的前提下,降低了数据属主的计算代价。该… …   相似文献
陈燕俐  宋玲玲  杨庚 《计算机科学》2014,41(9):152-157,168
8090.
下载全文  总被引:1,自引:0,他引:1
本文提出堆的路径二分搜索算法.当用堆来实现优先队列时,此算法可用较少的比较次数完成插入及删除最大元素等操作.  相似文献
8091.
  
单纯以负载均衡为目标的Web服务器集群调度不仅增加了算法的复杂度,在集群超载的情况下也无法保证服务的质量,而以响应延时为基础的均衡算法则可确保更好的服务质量.综合运用多级模糊系统与人工神经网络,既基于服务器系统的负载状况,又兼顾Web请求文件的类型与大小,对响应延时进行模糊预测,… …   相似文献
8092.
下载全文  总被引:2,自引:0,他引:2
溯因问题是人工智能中的一个重要研究方向,它在许多领域中有着广泛的应用,但在很多情形下,溯因解释的求取是非常困难的.本文提供一种基于限定理论的溯因解释求法,对于满足完备性公理和正原因假设的理论,可以证明其限定中的相容解释就是溯因解释,并且对Horn子句集给出具体的求解算法.… …   相似文献
陈保平  孙吉贵 《软件学报》1997,8(4):316-320
8093.
下载全文  总被引:4,自引:0,他引:4
提出了谓词之间的一种相似关系,并用该相似关系得到可实现某谓词的动作集.利用该动作集中所有动作的公共前提谓词和公共效果谓词,提取出隐含在动作描述中的领域知识,并给出了描述领域知识的一种形式化方法.最后,对具体的规划问题,可利用领域知识判断出初始状态或目标状态中存在的矛盾.该领域知识… …   相似文献
8094.
下载全文  总被引:1,自引:2,他引:1
建立虚拟企业关键的一步是核心企业根据分解的任务寻找一定数量的候选合作伙伴,然后再应用不同的评价方法从众多侯选伙伴中确定最佳合作伙伴.本文研究基于WEB挖掘技术的虚拟企业合作伙伴选择支持系统的总体框架,并设计灵活实用的虚拟企业合作伙伴选择过程.  相似文献
8095.
下载全文  总被引:1,自引:1,他引:1
本文给出了一种类比匹配原理及其计算模型,并在此基础上实现了类比匹配器AME.其中类比匹配原理包括一致性、谓词相似和支持性原则;计算模型采用以命题为中心,以命题映射为基本单位,从而AME的复杂性低于同类系统.另外,证明了本文的实现算法具完备性和正确性.  相似文献
8096.
下载全文  总被引:1,自引:0,他引:1
本文分析了研究和建立基于智能机器人装配系统的知识库的必要性,并探讨了实现途径.接着,我们提出了支持装配知识库的知识模型及其核心的体系结构,并讨论了支持该知识模型的建模工具EXPRESS语言.最后,给出结论.  相似文献
余卫东  陆玉昌  张钹 《软件学报》1995,6(5):296-304
8097.
下载全文  总被引:1,自引:0,他引:1
过程具有长生命周期、分布式结构、异构等特性.为适应不可预料的环境变化,过程还需要不断地演化.提出一种过程实例的演化方法以控制对过程实例的改变.它可以检查并保证演化前后的过程实例具备\"基于目标的行为一致性\",从而避免用户对过程的盲目修改.目标作为行为一致的标准,需要分析演化后的… …   相似文献
陈诚  顾毓清 《软件学报》2002,13(8):1345-1351
8098.
  
多协议环境下协议安全性问题是安全协议形式化分析验证领域的一个公开问题。针对此问题,在分析Athena算法的基础上提出了一种多协议攻击自动化验证方法。该方法扩展了Athena状态表示方法和后继状态生成算法,使得攻击者具备截取其它协议交互消息和计算生成当前协议消息的能力,能够以自动化… …   相似文献
刘威  郭渊博  雷新锋  李俊锋 《计算机科学》2014,41(12):112-117,132
8099.
下载全文  总被引:9,自引:0,他引:9
针对室内环境的虚拟问题,提出一种用于描述封闭环境的新表示.该表示由定义在经纬度平面上的光强-距离函数组成,可以支持3个自由度的全景浏览、连续变焦以及任意路线的移动.基于这种表示,给出一个使用少数照片创建室内环境的方法,它结合了基于几何和基于图象的绘制技术,算法快速稳定,对拍摄条件… …   相似文献
李洪举  吴恩华 《软件学报》1998,9(9):641-645
8100.
本文首先介绍了基于局部光照模型的串行Shading算法,然后对设计分布式Shading算法所用到的动态任务分配、数据适应性任务分配、任务粒度等因素作了较为详细的论述,并给出了所设计的新的数据适应性任务划分算法,最后给出了所设计的分布式Shading算法的描述和实验结果.… …   相似文献
[首页] « 上一页 [400] [401] [402] [403] [404] 405 [406] [407] [408] [409] [410] 下一页 » 末  页»