•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第221-240项 搜索用时 113 毫秒
[首页] « 上一页 [7] [8] [9] [10] [11] 12 [13] [14] [15] [16] [17] 下一页 » 末  页»
221.
下载全文  总被引:2,自引:0,他引:2
基于虚拟计算环境的核心机理,提出由自主调度单元、域调度共同体、元调度执行体为核心的多机群协同系统框架.剖析多机群任务并发运行性能模型,设计了多机群协同调度算法框架,提出最大空闲节点优先、最小网络拥塞优先、最小异构因子优先与最小异构空闲节点优先4种启发式资源选择策略.实验验证了协同… …   相似文献
222.
下载全文  总被引:87,自引:3,他引:87
总结了安全协议的20年研究进展情况,指出形式化方法在安全协议的设计与分析中的重要应用.对安全协议的若干热点研究方向进行了归纳和展望.  相似文献
卿斯汉 《软件学报》2003,14(10):1740-1752
223.
信息汇聚是无线传感器网络的典型传输形态之一.在信息汇聚过程中,网络存在数据流分布内密外疏的不均衡特性.研究发现,在传统跳数模型下,网络数据流分布不仅存在全局不均衡性,而且同层节点内还存在着内疏外密的反向不均衡现象,从而使网络流量分析复杂化.提出一种精细化梯度模型,通过引入加权平均… …   相似文献
224.
  总被引:5,自引:0,他引:5
半监督学习是近年来机器学习领域中的研究热点之一,已从最初的半监督分类和半监督聚类拓展到半监督回归和半监督降维等领域.目前,有关半监督分类、聚类和回归等方面的工作已经有了很好的综述,如Zhu的半监督学习文献综述.降维一直是机器学习和模式识别等相关领域的重要研究课题,近年来出现了很多… …   相似文献
225.
下载全文  总被引:1,自引:0,他引:1
本文简要介绍了海关EDI自动化通关系统的定义概况及重要意义,对该EDI应用系统下的业务运作模式所涉及的法律问题,采用EDIFACT国际标准问题、网络与软件技术问题,以及工程管理问题进行了结合实际的分析。  相似文献
226.
提出了一种应用动态描述逻辑对被诊断系统进行分析的方法.动态描述逻辑的语法和语义非常适宜刻画系统的正常行为和异常行为.给出了算法使用动态描述逻辑的可满足性检测来测试离散事件系统的可诊断性.同时,给出了故障诊断器的构造算法.该故障诊断器通过实时地观察系统的行为完成故障诊断.以例子对算… …   相似文献
王竹晓  杨鲲  史忠植 《软件学报》2010,21(2):248-260
227.
下载全文  总被引:19,自引:2,他引:19
针对网格环境中,任务调度的目标系统具有规模庞大、分布异构和动态性等特点,提出一种基于模糊聚类的网格异构任务调度算法.以往的很多调度算法需要在调度的每一步遍历整个目标系统,虽然能够获得较小的makespan,但是无疑增加了整个调度的Runtime.定义了一组刻画处理单元综合性能的特… …   相似文献
杜晓丽  蒋昌俊  徐国荣  丁志军 《软件学报》2006,17(11):2277-2288
228.
下载全文  总被引:2,自引:0,他引:2
抽象解释(abstract interpretation)理论是Cousot.P和Cousot.R于1977年提出的程序静态分析时构造和逼近(approxiamation)程序不动点语义的理论.描述了程序语义基于Galois连接的抽象解释理论框架,讨论了基于抽象解释理论的程序变换… …   相似文献
229.
  
当前,互联网体系结构不具备地址真实性验证机制,源地址伪造与路由地址前缀欺骗造成了极大危害.解决地址安全问题、构建真实可信的互联网环境,已成为亟待解决的重要课题.地址的真实性是互联网可信的基础和前提.针对这些问题,研究者们从不同角度提出了很多解决方案.首先,该文介绍了地址的概念及其… …   相似文献
徐恪  朱亮  朱敏 《软件学报》2014,25(1):78-97
230.
下载全文  总被引:9,自引:0,他引:9
特定领域软件体系结构(domain-specific software architecture,简称DSSA)是特定领域开发中的重要资产,而基于特征的领域模型使得从领域需求到DSSA的映射成为可能.引入本体作为特征模型的描述基础,通过该方法得到的领域特征本体将同时作为领域内业务… …   相似文献
彭鑫  赵文耘  刘奕明 《软件学报》2006,17(6):1307-1317
231.
针对现有基于全局统计信息的彩色夜视算法不能较好保持图像目标色彩恒常性的不足,提出一种简单有效的局部自然彩色夜视算法。首先依据人类视觉系统的中心-环绕对抗结构生成伪彩色融合图像;按照不同颜色特征对伪彩色融合图像进行聚类,分割成不同颜色域,参考自然彩色图像中对应域为与融合图像对应位置… …   相似文献
232.
下载全文  总被引:5,自引:1,他引:5
视频点播目前已成为对等(peer-to-peer,简称P2P)网络中一项重要的应用,引起了人们的不少研究兴趣.由于P2P网络能够为VoD(video-on-demand)应用的大规模实现提供底层网络的支持,许多正在出现的P2P VoD分发策略都能够提供在P2P网络中最基本的数据传… …   相似文献
郑常熠  王新  赵进  薛向阳 《软件学报》2007,18(11):2942-2954
233.
  总被引:8,自引:0,他引:8
首先介绍了传统软件过程中人为因素的影响,并给出了减少这种影响的解决方法:在工作流与软件过程相结合的基础上集成软件过程开发平台SPDET(Software Process Develop Environment Tool)。然后详细的讨论了SPDET的几个重要的组成部分,并给出了S… …   相似文献
234.
  总被引:3,自引:3,他引:3
微博的迅猛发展带来了另一种社会化的新闻媒体形式。提出一种从微博中挖掘新闻话题的方法,即在线检测微博消息中大量突现的关键字,并将它们进行聚类,从而找到新闻话题。为了提取出新闻主题词,综合考虑短文本中的词频和增长速度而构造复合权值,用以量化词语是新闻词汇的程度;在话题构造中使用了上下… …   相似文献
235.
距离模糊一直是影响合成孔径雷达(SAR)成像质量的重要因素之一。方位向相位编码(APC)技术是一种有效抑制距离模糊的方法,但是由于APC技术高度依赖于高过采样率,对于多通道SAR系统,APC技术的距离模糊抑制效果很有限。该文提出一种新的基于APC技术的多通道系统距离模糊抑制方法。… …   相似文献
236.
下载全文  总被引:9,自引:1,他引:9
服务接口描述是面向服务软件体系结构描述的关键问题之一,形式化描述方法是保证服务接口描述准确性的重要手段.目前的接口模型并不支持事务信息的描述.通过对已有Web服务接口模型进行扩展,提出了通过错误处理和补偿支持事务信息描述的接口模型,能够分别在特征层、会话层和协议层3个层面对服务的… …   相似文献
陈振邦  王戟  董威  齐治昌 《软件学报》2006,17(6):1459-1469
237.
下载全文  总被引:3,自引:0,他引:3
为了从运动序列中提取不同类型的运动片段进行人体动画创作,提出一种三维人体运动数据可视化与交互式分割技术.首先,采用人体各主要骨骼夹角作为对原始运动数据的几何特征表示,并提出一种启发式方法自动检测其潜在分割点,最后将提取的运动特征可视化并使用可交互用户界面对其进行精确分割.实验结果… …   相似文献
肖俊  庄越挺  吴飞 《软件学报》2008,19(8):1995-2003
238.
为了提高系统性能减少系统功耗和硬件复杂度等,该文提出一种在基站采用最少选择最大比发射的发送分集技术,即MMRT。利用随机矩阵和排序统计的理论知识,该文对MMRT技术进行了详细的性能分析。并得到其在瑞利衰落信道下的中断概率、误码率等的确切表达式。最后通过仿真试验验证了理论分析的正确… …   相似文献
239.
下载全文  总被引:7,自引:0,他引:7
提出了一种基于活动轮廓的运动目标动态分割方法。利用B样条曲线表示活动轮廓,导出了B样要曲线控制点的运动模型,从而使得活动轮廓能自动地跟踪运动目标的边缘,实现运动目标的动态分割。同时我们还提出了控制点数目的自动确定方法。实验结果验证了该方法的有效性。  相似文献
240.
下载全文  总被引:3,自引:0,他引:3
以构件化的软件开发方法为背景,提出了一种将UML模型自动地转换为可靠性分析模型Markov链的方法.该方法基于构件化的软件体系结构,从UML的用况图、顺序图、活动图和构件图出发,对其进行扩展,在模型中标注了可靠性分析所需的信息.在此基础上,通过构造一个称为构件转移图的中间模型,将… …   相似文献
柳毅  麻志毅  何啸  邵维忠 《软件学报》2010,21(2):287-304
[首页] « 上一页 [7] [8] [9] [10] [11] 12 [13] [14] [15] [16] [17] 下一页 » 末  页»