•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第5561-5580项 搜索用时 119 毫秒
[首页] « 上一页 [274] [275] [276] [277] [278] 279 [280] [281] [282] [283] [284] 下一页 » 末  页»
5561.
  
针对代码与模型之间的不一致性问题,提出了一种基于UML模型和Java代码之间的一致性检测方法.首先,对UML类图和时序图进行形式化描述,并提出时序调用图(SD-CG)这一概念,在此基础上完成类的关联关系到关联属性的转换以及UML时序图到时序调用图SD-CG的转换;其次,通过方法调… …   相似文献
5562.
下载全文  总被引:2,自引:0,他引:2
图像显示适配技术用于改编图像,以适应在不同尺寸和长宽比的目标屏幕上展示.其中,面向移动设备的图像显示适配面临展示面积受限、长宽比不固定等问题,已经成为多媒体领域的研究热点之一.针对现有方法的缺陷,提出了一种基于区域关系图的图像显示适配方法.首先,根据视觉关注程度和加权梯度分别计算… …   相似文献
任桐炜  刘焱  武港山 《软件学报》2010,21(9):2237-2249
5563.
下载全文  总被引:4,自引:0,他引:4
在混合实时系统中,调度器必须既保证所有硬实时任务严格按照其时间约束在截止期内完成,又要尽可能地提高软实时任务和非实时任务的服务质量.提出了一种严格按比例派发服务器算法(RPDS),并以此为基础构建了一种层次式调度框架.RPDS将处理器时间流分成连续的小段,并在每一小段中强制为非硬… …   相似文献
5564.
下载全文  总被引:1,自引:0,他引:1
如今,越来越多的处理器集成了SIMD(single instruction multiple data)扩展,现有的编译器大多也实现了自动向量化的功能,但是一般都只针对最内层循环进行向量化,对于多重循环缺少一种通用、易行的向量化方法.为此,提出了一种面向SLP(superword… …   相似文献
魏帅  赵荣彩  姚远 《软件学报》2012,23(7):1717-1728
5565.
无线传感器网络中,节点所具有的能量和通信能力等都十分有限,如何设计有效的协议及算法,利用有限的资源高效地完成诸多任务,成为无线传感器网络设计所面临的一大挑战.考虑接收容量模型,研究了无线传感器网络在节点接收容量和能量联合受限情况下,面向混合业务时的效用公平流控制问题,并针对传统对… …   相似文献
温书胜  黄炯  舒挺  徐伟强  汪亚明 《软件学报》2013,24(9):2151-2164
5566.
  
针对带限时变信道上的渐进图像传输,提出了一种信源信道联合编码码率分配快速算法,首先参考一组速率兼容信道码字的误码性能划分信道分区,在各分区内缩小可用信道码率集后,通过前后向码率搜索求解最佳码率分配。该算法运算复杂度低,计算次数比启发式码率搜索算法降低了一个数量级,缩短了运算时间。… …   相似文献
5567.
下载全文  总被引:2,自引:0,他引:2
IP网络的路由体系结构及算法是网络有效运行的关键技术.现行的路由体系结构及算法在实际应用中存在着一些问题.针对该问题,提出一种端用户可控的IP网络路由体系结构和具体的路由算法.在提出的端用户可控的路由体系中,利用用户级别的自组织路由方法来简化路由器的负荷,增强端用户的智能性.模拟… …   相似文献
樊秀梅  陈常嘉 《软件学报》2003,14(5):1023-1028
5568.
由鸽巢原理定义的鸽巢公式PH nn+1是著名的消解难例之一,研究该公式的结构和性质有助于其他难例的构造.证明了PH nn+1是一个极小不可满足公式,根据其极小不可满足性,给出了最大可满足真值指派的两种标准形式,Haken关于PH nn+1的难解证明用到了其中一种标准形式.公式PH… …   相似文献
许道云  韦立  王晓峰 《软件学报》2011,22(11):2553-2563
5569.
  
针对移动Ad hoc网络的特点对其中存在的主要安全威胁进行了分析,给出了MANET中安全接入的概念以及主要的性能要求。在此基础上,对MANET的主要安全接入技术进行了回顾,对各方案的优缺点进行了分析。最后对几类典型的安全接入方案进行了比较,并对未来值得进一步研究的问题进行了展望。… …   相似文献
5570.
  总被引:1,自引:0,他引:1
将电磁矢量传感器(EVS,electromagnetic vetor sensor)信号处理法与传统MIMO信号处理有机地结合,建立了基于EVS的多天线三维信道模型。采用多重信号分类(MUSIC,multiple signal classification)算法对MIMO的达波信… …   相似文献
5571.
算法框架是实现算法重定位的一种可操作的方法.文章给出了算法重定位的定义,讨论了如何通过选择操作和组合操作来设计算法框架.然后给出了定义选择操作和组合操作的一种方法.由文章所定义的算法框架得到求解某一问题的算法模式,从该算法模式就可以生成求解该问题的算法.文章最后讨论了算法框架和算… …   相似文献
栾尚敏  李未  马绍汉 《软件学报》1999,10(7):679-684
5572.
为了有效地进行高分辨率SAR图像中道路目标的提取,提出了一种基于平行线对检测的主干道提取算法。处理过程分为三个层次,在低层次处理中,在经过增强Frost滤波预处理之后,采用指数加权平均比率算子对图像进行边缘检测,得到边缘像素;中层处理则先消除短线段,进行初始的路段连接,再利用平行… …   相似文献
5573.
为弥补当前NURBS系统无法有效设计工程所急需的B样条极小曲面的缺陷,将构造Bézier极小曲面的Dirichlet方法成功地推广到了B样条极小曲面设计.提出了插值控制网格边界的B样条曲面模型,运用B样条基函数的求导公式及求值割角算法,将计算极小曲面内部控制顶点的问题转化为一个线… …   相似文献
吴花精灵  王国瑾 《软件学报》2011,22(12):3015-3022
5574.
光传输网络中聚合组播问题是一个完全NP 难问题,提出了一种解决聚合组播问题的双邻域查找算法.该算法使得生成的聚合树数量在满足波长约束的前提下,带宽浪费比率尽可能地小.基于贪婪策略定义了一种优先聚合规则以生成初始解;定义了两种邻域结构,使邻域查找具有效率;提出了跳坑策略以跳出局部最… …   相似文献
5575.
该文提出一种基于局部结构张量奇异值分解的无参考型图像质量评价方法,由于图像局部结构张量能反映图像几何结构,因此利用张量特征值之间的关系来度量图像噪声与模糊水平,将两个度量结合得到图像质量的综合评价。通过分析仿真图像和实际图像的质量评价结果,该方法能同时度量因噪声和模糊造成失真后的… …   相似文献
5576.
下载全文  总被引:3,自引:0,他引:3
以传统有限自动机(finite state automata,简称FSA)为基础,从系统调用参数中解析出系统对象,提出了一种基于系统对象的软件行为模型(model of software behavior based on system objects,简称SBO).该模型的行为… …   相似文献
傅建明  陶芬  王丹  张焕国 《软件学报》2011,22(11):2716-2728
5577.
下载全文  总被引:3,自引:0,他引:3
属性撤销是基于属性的加密(attribute based encryption,简称ABE)在实际应用中所必须解决的问题.在直接撤销模式下,已有的支持属性撤销的ABE方案只能以撤销用户身份的方式对用户所拥有的全部属性进行撤销,而无法做到针对属性的细粒度撤销.提出了直接模式下支持完… …   相似文献
王鹏翩  冯登国  张立武 《软件学报》2012,23(10):2805-2816
5578.
下载全文  总被引:22,自引:0,他引:22
通过对包含5573个汉语句子的语料文本中的最长名词短语的分布特点的统计分析,提出了两种有效的汉语最长名词短语自动识别算法:基于边界分布概率的识别算法和基于内部结构组合的识别算法.实验结果显示,后者的识别正确率和召回率分别达到了85.4%和82.3%,取得了较好的自动识别效果.… …   相似文献
周强  孙茂松  黄昌宁 《软件学报》2000,11(2):195-201
5579.
下载全文  总被引:1,自引:0,他引:1
提出了一种基于图像重建的表情识别算法。首先,用LE(lipschitz embedding)算法提取出训练集中各个对象的表情流形,并建立流形向量与图像向量的映射关系。再通过非线性重建,确定待测图像在流形空间中的坐标。最后,用待测图像在各表情路径上的投影,重建各种表情图像,实现表情… …   相似文献
5580.
  
人体外骨骼系统是一种穿戴在操作者身体外部的,融入了先进控制、信息、机械等技术的人机电系统,最终实现了力量的增强和感官的延伸。其研究将大大促进机器人技术、认知科学、医学等学科的发展,在抢险救灾、家庭护理等诸多方面具有广阔的应用前景,因此具有重要的科学理论意义和应用价值。首先介绍了人… …   相似文献
[首页] « 上一页 [274] [275] [276] [277] [278] 279 [280] [281] [282] [283] [284] 下一页 » 末  页»