延迟约束的分布式演化网络监测模型

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

在扩展网络或网络拓扑发生变化时,需要用最小的代价重新布置网络监测体系,以保证能收集到所有必需的网络信息.更新网络监测体系包括新增和重新配置收集节点两方面的代价,求解总代价最小的更新方案的问题是NP难的.提出了一种基于贪婪策略的近似算法,并分析了算法的时间复杂性和近似比.… …   相似文献

蔡志平  殷建平  刘芳  刘湘辉 《软件学报》2006,17(1):117-123

数据流处理中确定性QoS的保证方法

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

与以往尽最大努力的查询服务提供方式不同,讨论了数据流处理中确定性QoS的保证问题以网络演算为理论基础,提出了一种数据流处理中的QoS建模和QoS保证方法.系统运行前验证所有查询在满足各自的QoS前提下的可调度性.在运行时为通过QoS可调度性验证的每个查询分配代表其QoS需求的服务… …   相似文献

武珊珊  于戈  吕雁飞  谷峪  李晓静 《软件学报》2008,19(8):2066-2079

在部分观测环境下的不确定动作模型学习

  

近年来,动作模型学习引起了研究人员的极大兴趣.可是,尽管不确定规划已经研究了十几年,动作模型学习的研究仍然集中于经典的确定性动作模型上.提出了在部分观测环境下学习不确定动作模型的算法,该算法可应用于假定人们对转移系统一无所知的情形下进行,输入只有动作-观测序列.在现实世界中,这样… …   相似文献

饶东宁  蒋志华  姜云飞 《软件学报》2014,25(1):51-63

构件组装及其形式化推导研究

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

基于构件的软件工程(component based software engineering,简称CBSE)能够有效地提高软件开发的质量和效率.构件组装和组装推导(compositional reasoning)是CBSE的关键技术.基于软件构件的特点,借鉴进程代数中进程构造的方… …   相似文献

任洪敏  钱乐秋 《软件学报》2003,14(6):1066-1074

支持工作流动态变化的过程元模型

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

支持动态可变并具备灵活性是人们在实际应用中对工作流管理系统提出的新要求,已有的相关研究工作都集中在对工作流中发生变化的某个具体问题上.提出了支持动态特性的工作流过程元模型,可以为动态过程模型的设计提供指导.从时间和工作流组成的过程级别两个角度分析了其动态特性的表现,扩展了工作流管… …   相似文献

孙瑞志  史美林 《软件学报》2003,14(1):62-67

基于场的人群运动仿真

下载全文  

人群仿真目前在工业、建筑、交通等多种领域中应用广泛.实现复杂场景中的人群运动实时仿真,效率是亟待解决的关键性问题,而提高仿真效率所必须面临的挑战主要有人群的渲染、位置及状态的实时更新和碰撞检测.提出一种基于场的方法来实现人群运动的实时仿真,通过构建导航场和密度场引导人群运动.导航… …   相似文献

赵欣欣  张勇  孔德慧  尹宝才 《中国图象图形学报》2013,18(3):344-350

Ad Hoc网络中基于方向性天线的分布式拓扑控制算法

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

提出了一种基于方向性天线的分布式拓扑控制算法,可以同时通过调整网络中各节点的发射功率和改变节点天线的方向来对网络的拓扑进行控制,每个节点逐渐增大它的发射功率直到该节点在其方向性天线的每个扇区内找到足够数量的邻节点为止.在这种基于方向性天线的分布式拓扑控制算法的基础上又使用了两种不… …   相似文献

贺鹏  李建东  陈彦辉  陈亮 《软件学报》2007,18(6):1308-1318

并发反应式系统的组合模型检验与组合精化检验

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

模型检验和精化检验是两种重要的形式验证方法,其应用的主要困难在于如何缓解状态爆炸问题.基于分而治之的思想进行组合模型检验和组合精化检验是应对这个问题的重要方法,它们利用系统的组合结构对问题进行分解,通过对各子系统性质的检验和综合推理导出整个系统的性质.在一个统一的框架下对组合模型… …   相似文献

文艳军  王戟  齐治昌 《软件学报》2007,18(6):1270-1281

局部时空域模型的核密度估计目标检测方法

下载全文  

针对非参数核密度估计在前期学习阶段信息冗余和计算量大,在后期背景更新阶段自适应性差需手动调整阈值和检测结果出现阴影等问题,提出一种基于局部时空域模型的核密度估计目标检测方法。在前期训练学习阶段采用K均值聚类选择关键帧,从而避免信息冗余和计算量大问题;在后期背景更新阶段,构建一种局… …   相似文献

王兴宝  刘纯平  费兰英  王朝晖  季怡 《中国图象图形学报》2012,17(7):813-820

基于软件无线电的单边带锁相解调算法*

  

根据韦瓦（Weawa）单边带调制解调法、COSTAS锁相环及双线性变换,提出基于软件无线电的单边带锁相解调器。解调器运行在TMS320C6203上,能实时处理160kHz信号,捕捉8kHz频偏。  相似文献

杨榆  白剑  徐迎晖  钮心忻  周锡增 《计算机应用研究》2006,23(1):187-189

融合显著信息的LDA极光图像分类

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

美丽的极光形态各异,不同形态的极光蕴含不同的物理意义,所以研究极光图像的分类具有重要的科学价值.在LDA(latent Dirichlet allocation)模型基础上提出了一种融合显著信息的LDA 方法(LDA with saliencyinformation,简称SI-L… …   相似文献

韩冰  杨辰  高新波 《软件学报》2013,24(11):2758-2766

虚拟样机产品信息集成技术研究与应用

  

在虚拟样机技术实施过程中,CAD模型信息的集成与管理一直是一个瓶颈问题。在分析现有虚拟样机产品信息集成方案的基础上,采用了CAD二次开发技术进行信息提取,并基于XML进行信息集成,为虚拟样机产品信息集成提供了一条实现途径。  相似文献

魏坚  张和明  张永康  徐路宁 《计算机应用研究》2005,22(1):122-124

网格变形综述

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

网格变形作为一种几何模型交互编辑技术在几何建模和计算机动画中具有重要价值。近年来,保细节的网格变形特别是微分域网格变形一直得到国内外研究人员的高度关注。从骨骼变形、曲面变形、空间变形3个方面,结合近年来网格变形领域的最新研究进展,通过对各种典型的网格变形算法的算法思想、特点、局限… …   相似文献

董洪伟 《中国图象图形学报》2011,16(12):2095-2104

有穷时间投影时序逻辑的完备公理系统

下载全文  

为采用定理证明的方法对并发及交互式系统进行验证,研究了有穷论域下有穷时间一阶投影时序逻辑(projection temporal logic,简称PTL)的一个完备公理系统.在介绍PTL的语法、语义并给出公理系统后,提出了PTL公式的正则形(normal form,简称NF)和正… …   相似文献

舒新峰  段振华 《软件学报》2011,22(3):366-380

结合调整差值变换的(K,N)有意义图像分存方案

  

目的 针对传统有意义分存方法存在的像素扩张和分发掩体图像视觉质量不高等问题,提出一种结合调整差值变换的(K,N)有意义图像分存方案,该方案可用于与掩体等大且同为自然图像的密图分存.方法 在分存阶段,首先用调整差值变换将密图转换为差值图和位置图;其次将差值图和位置图进行(K,N)分存,分别嵌入到掩体图像中,并使用密钥确定位置图分存信息的嵌入位置和根据位置图中不同的差值类型选择不同的差值嵌入方法;再次对密钥进行(K,N)分存,将子密钥和分发掩体对应的MD5值公布到第3方公信方作为认证码;最后将子密钥和分发掩体分发给参与者进行保管.在恢复阶段,首先核对参与者的子密钥和分发掩体对应的MD5值,若认证通过的人数小于K,则恢复失败;否则,使用认证通过的子密钥还原出密钥,然后根据密钥提取并恢复出位置图;其次根据位置图中的差值类型来提取和恢复出差值图;最后使用逆调整差值变换还原出最终密图.结果 同现有方法相比,所提策略不存在像素扩张且分发掩体图像视觉质量较高,具有较强的恶意参与者检测能力.结论 本文方法的掩体图像与密图等大且同为自然图像,同经典有意义图像分存方案相比,克服了像素扩张问题,嵌入信息后的掩体图像具有较高的视觉质量,使用第3方公信方存储的MD5值作为认证码,具有较强的恶意参与者识别能力.… …   相似文献

欧阳显斌  邵利平  陈文鑫 《中国图象图形学报》2015,20(5):633-642

一种支持自治计算的基于可废止逻辑的柔性Agent

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

以自治计算的研究为背景,利用可废止逻辑理论的非单调知识表征和推理机制,提出一种能够动态接受规则变更、灵活处理实时发生的规则冲突,并进行高效的非单调推理的柔性Agent模型.这种Agent既是自主的,又是可控的,而且可以在开放、动态的环境中通过合同与其他Agent进行协同工作.… …   相似文献

廖备水  黄华新  高济 《软件学报》2008,19(3):605-620

一种改进的局部切空间排列算法

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

局部切空间排列算法(local tangent space alignment,简称LTSA)是一种新的流形学习算法,能有效地学习出高维采样数据的低维嵌入坐标,但也存在一些不足,如不能处理样本数较大的样本集和新来的样本点.针对这些缺点,提出了一种基于划分的局部切空间排列算法(pa… …   相似文献

杨剑  李伏欣  王珏 《软件学报》2005,16(9):1584-1590

基于用户日志的查询扩展统计模型

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

信息检索长期存在着用词歧义性问题,在Web搜索上的表现更加突出.提出了一种基于用户查询日志的查询扩展统计模型,将用户查询中使用的词或短语与文档中出现的相应词或短语以条件概率的形式连接,利用贝叶斯公式挑选出文档中与该查询关联最紧密的词加入原查询,以达到扩展优化的目的.实验结果表明,… …   相似文献

崔航  文继荣  李敏强 《软件学报》2003,14(9):1593-1599

基于模糊商空间的聚类分析方法

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

在商空间理论基础上,提出了基于Fuzzy相似关系和归一化距离的聚类分析方法,用以解决复杂系统的数据结构分析问题.得到了如下结论:(1)通过引入基于Fuzzy相似关系和归一化距离的分层递阶结构,建立了严格的聚类分析理论描述;(2)给出了有效的分层递阶结构聚类的快速算法;(3)给出了… …   相似文献

唐旭清  朱平  程家兴 《软件学报》2008,19(4):861-868

基于高斯混合模型的纹理图像分割

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

纹理图像分割是图像处理的一个基本问题。由于基于高斯混合模型的纹理图像分割方法．大多采用单像素的方法,因此分割精度和效率都较低。为了更好地进行纹理图像分割,在子空间思想的基础上,提出了一个基于图像块的分割算法及其改进算法,即先取图像块的均值、标准差、最大值、最小值以及中间像素的像素… …   相似文献

余鹏  封举富 《中国图象图形学报》2005,10(3):281-285