支持协商的网构软件体系结构行为建模与验证

下载全文  总被引：3，自引：0，他引：3

针对网构软件行为中的不确定性和不完整性,提出了一种支持协商的网构软件体系结构行为建模与验证方法.在建模中,该方法借鉴了UML时序图元素表示法,并增加了建模元素支持行为的不确定与不完整建模.在验证中,除了集成广泛应用的模型检查工具Spin以提供行为模型的验证能力以外,还引入了基于反… …   相似文献

周立  陈湘萍  黄罡  孙艳春  梅宏 《软件学报》2008,19(5):1099-1112

支持多领域动态数据集成的数据库网格系统

下载全文  总被引：5，自引：0，他引：5

随着公有数据库资源的丰富,广泛分布的用户希望能够按需地、透明地访问和使用这些丰富的数据资源.DS_Grid(database grid)是一个采用SOA(service-oriented architecture)思想、支持多应用领域数据共享的数据库网格系统.系统采用一种P2P(… …   相似文献

申德荣  于戈  聂铁铮  寇月 《软件学报》2006,17(11):2302-2313

弱化PERT网关键路径算法研究

  

航空产品本身具有高复杂性、协同性要求严格的特征,同时,传统PERT模型已知条件难以充分获取,而且其关键线路求解算法涉及概率论和数理统计知识而难以实现计算机求解。引入灰色理论思想,将传统PERT网络计划已知条件弱化,探索出适合计算机求解的关键线路算法,算法适应国内航空产品项目特征,… …   相似文献

申龙青  余剑峰  杨海成 《计算机应用研究》2006,23(1):31-33

集群软件无线电系统中实时信号处理调度研究

下载全文  总被引：1，自引：1，他引：1

在集群软件无线电系统中,当宽带大容量信号数据进入系统后通过在节点上的并行计算实现对强衰弱信号的高增益、低延迟处理.结合集群软件无线电系统中信号处理的特点,研究了以下任务调度方面的问题:1) 提出了一种适合集群软件无线电系统中信号处理的调度器模型.该模型简单、高效,避免了瓶颈问题.… …   相似文献

朱晓敏  陆佩忠 《软件学报》2009,20(3):766-778

Lytro相机的光场图像校正与重对焦方法

  总被引：1，自引：1，他引：1

目的 光场相机因其具有先拍照后对焦的能力而备受广泛关注,然而光场相机的理论研究往往受制于原始光场图像及其标定参数的获取。基于目前市面上唯一的一款消费级光场相机——Lytro相机,提出一套光场图像获取、校正和重对焦的系统化方法。方法 通过分析Lytro相机工作原理、算法和文件结构,给出了一套实现原始光场数据提取、解码、颜色校正、微透镜阵列标定和校正的完整方案。并在此基础上提出一种基于分数阶傅里叶变换的Lytro相机重对焦方法。结果 实验结果表明所提系统级方案正确,所提重对焦方法具有令人满意的重对焦性能。结论 本文Lytro相机光场图像获取和标定方法,利用分数阶傅里叶变换实现光场图像的频率域重聚焦。基于两台Lytro相机的实验结果表明,本文方法可正确获取图像数据及相机参数,重聚焦算法效果好。… …   相似文献

周文晖  林丽莉 《中国图象图形学报》2014,19(7):1006-1011

SIP标准中的核心技术与研究进展

下载全文  总被引：65，自引：0，他引：65

由IETF最年轻的工作组之一的SIP(session initiation protocol)工作组发布的SIP相关标准已经成为通信和网络界的研究热点.目前SIP工作组发表的协议和草案超过30个,除了核心协议以外,其他协议涵盖QoS、安全、消息头和方法扩展、与PSTN等其他协议的… …   相似文献

司端锋  韩心慧  龙勤  潘爱民 《软件学报》2005,16(2):239-250

基于核心图的标签传播算法

  

网络中的社团发现是当前的一个研究热点.在众多社团发现算法中,标签传播算法因简单快速而被广泛应用,但标签传播算法也存在结果稳定性较差的问题.基于此对标签传播算法的初始化过程进行改进,提出了基于核心图的标签传播算法.通过计算图中任意两点的k阶公共邻居,将具有最大相似性的节点及k阶邻居… …   相似文献

马杰良  韩路  潘贞贞  宋艳 《计算机科学》2015,42(1):119-121,148

高能物理计算环境中KVM虚拟机的性能优化与应用

  

高能物理是典型的高性能计算的应用,对CPU计算能力要求很高,并且CPU利用率的高低直接影响高能物理的计算效率.虚拟化技术在实现资源共享和资源高利用率方面表现出很大的优势.基于KVM(Kernel-based Vir-tual Machine)虚拟机进行性能测试和性能优化.首先对K… …   相似文献

黄秋兰  李莎  程耀东  陈刚 《计算机科学》2015,42(1):67-70

基于流形学习的人体动作识别

  总被引：3，自引：2，他引：3

目的 提出了一个基于流形学习的动作识别框架,用来识别深度图像序列中的人体行为。方法 从Kinect设备获得的深度信息中评估出人体的关节点信息,并用相对关节点位置差作为人体特征表达。在训练阶段,利用LE（Lalpacian eigenmaps）流形学习对高维空间下的训练集进行降维,得到低维隐空间下的运动模型。在识别阶段,用最近邻差值方法将测试序列映射到低维流形空间中去,然后进行匹配计算。在匹配过程中,通过使用改进的Hausdorff距离对低维空间下测试序列和训练运动集的吻合度和相似度进行度量。结果 用Kinect设备捕获的数据进行了实验,取得了良好的效果;同时也在MSR Action3D数据库上进行了测试,结果表明在训练样本较多情况下,本文方法识别效果优于以往方法。结论 实验结果表明本文方法适用于基于深度图像序列的人体动作识别。… …   相似文献

王鑫  沃波海  管秋  陈胜勇 《中国图象图形学报》2014,19(6):914-923

机电产品工业设计综合评价系统研究

  总被引：2，自引：0，他引：2

针对传统机电产品的设计评价中存在片面性、不合理性以及高复杂性等问题,从工业设计的理念和方法出发,设计并实现了一个融合工业设计知识的综合评价系统。采用德尔菲法和判定法确定指标权重,用点计分法、名次计分法、排队法、经济技术评价法以及评分法对方案进行评价,并在此基础上采用Borda法进… …   相似文献

黄婷  王小平 《计算机应用研究》2006,23(1):47-48

位置大数据的价值提取与协同挖掘方法

下载全文  总被引：3，自引：0，他引：3

随着位置服务和车联网应用的不断普及,由地理数据、车辆轨迹和应用记录等所构成的位置大数据已成为当前用来感知人类社群活动规律、分析地理国情和构建智慧城市的重要战略性资源,是大数据科学研究极其重要的一部分.与传统小样统计不同,大规模位置数据存在明显的混杂性、复杂性和稀疏性,需要对其进行… …   相似文献

郭迟  刘经南  方媛  罗梦  崔竞松 《软件学报》2014,25(4):713-730

Web服务行为兼容性的判定与计算

下载全文  总被引：3，自引：0，他引：3

确保Web服务行为兼容是实现Web服务无缝集成与协作的一个重要问题.在服务视图概念的基础上,给出了Web服务行为兼容性的相关定义.提出一种基于π演算的Web服务行为兼容性的定性判定与定量计算方法.该方法首先通过算法自动地将Web服务行为和Web服务间的交互行为表达成π演算进程,然… …   相似文献

邓水光  李莹  吴健  邝砾  吴朝晖 《软件学报》2007,18(12):3001-3014

帧内复制粘贴视频伪造的盲检测

  

随着数字获取技术的发展,数字媒体文档的获取越来越方便,并已成为人们现代生活中不可缺少的组成部分。功能强大的视频编辑软件为视频复制粘贴提供了方便,因此视频伪造检测具有重大现实需求。利用传统的图像伪造检测算法逐帧对视频进行伪造检测计算量大、耗时冗长,且不能保证检测结果的时空一致性。本… …   相似文献

杜振龙  焦丽鑫  李晓丽  郭延文  杨小健 《中国图象图形学报》2014,19(6):825-834

一种改进HOG特征的行人检测算法

  

针对HOG特征检测准确率高、计算量大的特点,通过对HOG特征的结构进行调整,提出了使用Fisher特征挑选准则来挑选出有区别能力的行人特征块,得到MultiHOG特征。该算法结合线性SVM二值分类器,实现行人滑动窗口检测。用Inria标准数据集和自行拍摄数据集进行了测试,结果证明… …   相似文献

田仙仙  鲍泓  徐成 《计算机科学》2014,41(9):320-324

认知无线电网络信道交汇研究综述

下载全文  

认知无线电技术被认为是解决目前频谱资源利用率低下问题最有前景的技术,基于该技术,认知无线电网络采用动态频谱接入方式有效地提高了授权频段的利用率.然而,动态变化的信道可用性极大地增加了认知无线电网络组网的难度.信道交汇旨在为用户通信提供公共传输媒介,是实现无线网络组网的基础.介绍了… …   相似文献

刘权  赵光胜  王晓东  周兴铭 《软件学报》2014,25(3):606-630

大数据可视分析综述

下载全文  总被引：8，自引：0，他引：8

可视分析是大数据分析的重要方法.大数据可视分析旨在利用计算机自动化分析能力的同时,充分挖掘人对于可视化信息的认知能力优势,将人、机的各自强项进行有机融合,借助人机交互式分析方法和交互技术,辅助人们更为直观和高效地洞悉大数据背后的信息、知识与智慧.主要从可视分析领域所强调的认知、可… …   相似文献

任磊  杜一  马帅  张小龙  戴国忠 《软件学报》2014,25(9):1909-1936

基于软件体系结构的可复用构件制作和组装

下载全文  总被引：118，自引：3，他引：118

软件复用和基于构件的软件开发是软件工程化开发和工业化生产的必然趋势,可复用构件的制作和集成组装是其中涉及的两个重要活动.首先分析了现有的构件集成方式所存在的不足,引出了基于体系结构的构件集成;接着对几种不同的体系结构类型进行比较,阐述了它们对构件集成的影响;然后提出了支持接口连接… …   相似文献

张世琨  张文娟  常欣  王立福  杨芙清 《软件学报》2001,12(9):1351-1359

面向服务的企业应用集成系统描述与验证

下载全文  总被引：16，自引：0，他引：16

在对当前面向服务体系架构(service-oriented architecture,简称SOA)研究的基础上,给出了一个以企业服务总线(enterprise service bus,简称ESB)为中心的面向服务软件体系架构参考模型(SOA reference model,简称S… …   相似文献

张广胜  蒋昌俊  汤宪飞  徐岩 《软件学报》2007,18(12):3015-3030

基于虚拟机的虚拟计算环境研究与设计

下载全文  总被引：19，自引：1，他引：19

通过对基于虚拟机的虚拟计算环境典型系统的分析,给出了CROWN虚拟计算平台CIVIC(CROWN- based infrastructure for virtual computing)的设计.CIVIC集成多种虚拟机技术,可以为用户提供独立、隔离的计算环境,可以为管理人员提供硬… …   相似文献

怀进鹏  李沁  胡春明 《软件学报》2007,18(8):2016-2026

基于网络层析成像技术的拓扑推断

下载全文  总被引：5，自引：0，他引：5

网络层析成像是近年来新兴的一种网络测量技术,该技术结合了网络测量和统计推断,可以解决网络测量的部分难题.网络拓扑推断是网络层析成像技术的重要应用之一,基于网络层析成像技术的拓扑推断通过端到端的测量即可推断网络内部的拓扑结构,而不需要内部节点的合作.系统地总结了基于网络层析成像的拓… …   相似文献

赵洪华  陈鸣 《软件学报》2010,21(1):133-146