基于层次化时间STM软件设计的形式化验证

  

状态迁移矩阵(State Transition Matrix,STM)是一种基于表结构的程序建模语言。事件变量类型单一,事件和状态数量的增加很容易造成状态空间爆炸问题,无法表达具有时间语义的软件系统等原因,极大限制了该建模方法的推广应用。文中针对这些问题,首先提出层次化时间状态迁… …   相似文献

周宽久  任龙涛  王小龙  勇嘉伟  侯刚 《计算机科学》2014,41(8):42-46

张量核范数回归的目标跟踪

下载全文  

目的 视觉目标跟踪中,不同时刻的目标状态是利用在线学习的模板数据线性组合近似表示。由于跟踪中目标受到自身或场景中各种复杂干扰因素的影响,跟踪器的建模能力很大程度地依赖模板数据的概括性及其误差的估计精度。很多现有算法以向量形式表示样本信号,而改变其原始数据结构,使得样本数据各元素之间原有的自然关系受到严重破坏;此外,这种数据表述机制会提高数据的维度,而带来一定的计算复杂度和资源浪费。本文以多线性分析的角度更进一步深入研究视频跟踪中的数据表示及其建模机制,为其提供更加紧凑有效的解决方法。方法 本文跟踪框架中,候选样本及其重构信号以张量形式表示,从而保证其数据的原始结构。跟踪器输出候选样本外观状态时,以张量良好的多线性特性来组织跟踪系统的建模任务,利用张量核范数及L₁范数正则化其目标函数的相关成分,在多任务状态学习假设下充分挖掘各候选样本外观表示任务的独立性及相互依赖关系。结果 用结构化张量表示的数据原型及其多任务观测模型能够较为有效地解决跟踪系统的数据表示及计算复杂度难题。同时,为候选样本外观模型的多任务联合学习提供更加简便有效的解决途径。这样,当跟踪器遇到破坏性较强的噪声干扰时,其张量核范数约束的误差估计机制在多任务联合学习框架下更加充分挖掘目标全面信息,使其更好地适应内在或外在因素所引起的视觉信息变化。在一些公认测试视频上的实验结果表明,本文算法在候选样本外观模型表示方面表现出更为鲁棒的性能。因而和一些优秀的同类算法相比,本文算法在各测试序列中跟踪到的目标图像块平均中心位置误差和平均重叠率分别达到4.2和0.82,体现出更好的跟踪精度。结论 大量实验验证本文算法的张量核范数回归模型及其误差估计机制能够构造出目标每一时刻状态更接近的最佳样本信号,在多任务学习框架下严格探测每一个候选样本的真实状态信息,从而较好地解决模型退化和跟踪漂移问题。… …   相似文献

亚森江  #;木沙  木合塔尔  #;克力木  赵春霞 《中国图象图形学报》2016,21(6):781-795

一个新的带非常简单系数的双正交小波

下载全文  

近来,通过带待定系数提升格式构造小波已经被提出,构造出的提升格式一般有4步提升。不同地是,本文使用5步提升格式来构造小波。最终获得一个带非常简单系数(特别是在其提升格式中)的小波。它的消失矩阶数与D9/7小波一样大,但相应滤波器的系数都是简单分数。在它的提升格式中,所有系数的分母… …   相似文献

周化雨  杨坦  关履泰 《中国图象图形学报》2007,12(7):1189-1193

一种基于切比雪夫不等式的自适应阈值背景建模算法

  

背景建模是实现运动目标检测与跟踪的关键技术之一。在实时视频监控系统中,对背景建模算法的运行时间及所提取出的背景图像的实时性有很高的要求,针对这一问题,提出了一种基于切比雪夫不等式的自适应阈值背景建模算法。算法利用切比雪夫不等式计算像素点色度变化的概率估计值,提出了一种自适应阈值分… …   相似文献

张琨  王翠荣  万聪 《计算机科学》2013,40(4):287-291

一种基于软集和多属性综合的软件漏洞发现方法

  

针对软件漏洞检测中的漏洞覆盖率和人工缺陷审查等问题,提出了一种基于软集和多属性综合的软件漏洞发现方法.首先基于多检测工具的可信集成,建立了软件漏洞影响的评估模型;其次引入软集实现漏洞影响因素的度量,接着通过多属性综合的集成工具确定漏洞对软件安全的严重性影响,并最终完成软件漏洞的发… …   相似文献

唐成华  田吉龙  王璐  王丽娜  强保华 《计算机科学》2015,42(5):183-187

不等长记录的公式索引分组字典排序

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

本文提出了一种公式索引分组字典排序法,其期望时间复杂性为O(n)。该算法基本上不象传统的排序方法那样进行元素间的比较,主要是用数学公式计算,直接得到排序结果。  相似文献

徐绪松  周建钦 《软件学报》1991,2(3):59-64

基于实时UML顺序图的物联网交互模型

  

物联网是一个集计算、通信和控制于一体的智能系统,它通过监控和收集物理进程信息并将这些信息进行计算和分析,最终生成正确的控制指令用以执行,从而使物理环境变得更加安全和可靠。在物联网中,各物体通过网络连接或者本地连接的方式进行交互,这些交互具有时间性和地域性。物联网的建模和验证是物联… …   相似文献

丛新宇  虞慧群 《计算机科学》2014,41(11):79-87

一种基于层次分析法的信息系统漏洞量化评估方法

  

根据层次分析法提出了一种具有可操作性的信息系统漏洞量化评估方法。按照分层思想,将系统漏洞严重程度的模型分解为因素层、评价层、特性层和目标层,分别从风险概率、风险影响和不可控制性等几方面对漏洞带来的风险因素进行专家评定,并依此来确定权重,通过计算其各层评估值,最后得到信息系统的整体… …   相似文献

李鑫  李京春  郑雪峰  张友春  王少杰 《计算机科学》2012,39(7):58-63

基于模型的人体动画方法

下载全文  

文章从点点对应,线线对应入手,首先给出了根据已知二维影像特征求得与其对应的三维模型特征参数的方法,然后给出了已知人体二维影像特征求解三维人体模型特征参数方法的详细描述.基于这一思想,实现了一个动画系统Video & Animation Studio.文章最后给出了一个由该系统实现… …   相似文献

劳志强  潘云鹤 《软件学报》2000,11(4):435-440

基于压缩感知信号重建的自适应空间正交匹配追踪算法

  

传统的奈奎斯特采样定理规定采样频率最少是原信号频率的两倍,才能保证不失真的重构原始信号,而压缩感知理论指出只要信号具有稀疏性或可压缩性,就可以通过采集少量信号来精确重建原始信号.在研究和总结已有匹配算法的基础上,提出了一种新的自适应空间正交匹配追踪算法(Adaptive Spac… …   相似文献

姚远  梁志毅 《计算机科学》2012,39(10):50-53

一种基于效益-代价均衡的磁带库调度算法

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

诸如数字图书馆等规模在10¹²字节以上的大型数据库需要在线存取大容量磁带库中的海量数据.由于这些需求都是对海量数据的随机存取,而磁带库的随机存取性能很差,所以,研究有效的磁带库随机I/O调度策略和算法是改善磁带库系统性能的重要课题.提出并研究了一种基于效益-代价均衡的调度算法,给出一种有效的效益-代价加权比的估算方法.该算法根据系统的工作负载特点,动态调节调度的效益和代价的加权比,从而改善了磁带库系统在各种负载下的系统性能.研究解决了已有磁带库调度算法的对工作负载敏感的问题,极大改善了调度算法在重负载下的有效性.… …   相似文献

石晶  邢春晓  周立柱 《软件学报》2002,13(2):239-244

WebGIS技术饮食服务系统

下载全文  

组件式WebGIS技术是目前建立网络GIS系统的主流技术．长沙市饮食服务系统是利用基于SuperMapIS平台的组件式WebGIS技术,并结合AJAX、XML等当前一些比较先进的Web技术建立的．本文以业务流程管理子系统为主详细介绍了该子系统的功能、流程及数据结构设计,讨论了主要… …   相似文献

卢岚  刘兴权  刘乔风 《计算机系统应用》2013,22(12):75-79

静态分析面向异构系统的应用级Checkpoint 设置问题

下载全文  

应用级checkpointing是一种在大规模科学计算领域中备受关注的容错技术,该技术由用户程序员选择在适当的地方保存关键数据,从而降低了容错开销。选择合适的checkpointing位置、减小全局checkpoint保存数据量是优化应用级 checkpointing 技术的关键… …   相似文献

贾佳  杨学军  马亚青 《软件学报》2013,24(6):1361-1375

基于幂函数曲线和网络编码的多媒体传感网大数据可靠传输控制

  

提出了一种适用于无线多媒体传感器网络的基于幂函数回归曲线预测和随机线性网络编码的协同合作大数据可靠传输控制机制,以为多媒体大数据传输提供高可靠性、资源利用率和服务质量的保障。首先根据多媒体数据特征和动态网络拓扑,提出一种基于幂函数回归曲线的预测模型;然后在网络层和物理层以视频帧为… …   相似文献

于红  朱丽莉 《计算机科学》2014,41(12):91-94,124

一种新型人工免疫算法的PID自整定研究*

  

提出了一种人工免疫诱导算法(AⅡA),用于实现PID参数自适应整定计算.阐述了人工免疫系统的原理,深入剖析了PID参数自适应整定模型,设计了该模型的人工免疫诱导算法.实验表明,该算法具有快速收敛性,能够较快地找到PID参数自适应整定的最优或次最优参数组合,有利于提高PID控制器调… …   相似文献

刘屿  田联房  毛宗源 《计算机应用研究》2007,24(4):83-85

基于高阶词汇依存的短语结构树重排序模型

下载全文  

在句法分析中,已有研究工作表明,词汇依存信息对短语结构句法分析是有帮助的,但是已有的研究工作都仅局限于使用一阶的词汇依存信息.提出了一种使用高阶词汇依存信息对短语结构树进行重排序的模型,该模型首先为输入句子生成有约束的搜索空间(例如,N-best句法分析树列表或者句法分析森林),… …   相似文献

王志国  宗成庆 《软件学报》2012,23(10):2628-2642

iOS开发UITableView加载图片的内存管理

下载全文  

首先对移动操作系统iOS开发过程的内存泄露、缓存等相关知识作了详细叙述,介绍了使用iOS集成开发环境Xcode进行内存调试的方法.针对视图UITableView中含有大量网络图片时的内存问题,为了达到内存最优化和良好用户体验的目标,提出异步下载网络图片和本地缓存的解决方法.最后测… …   相似文献

黄天柱  涂时亮 《计算机系统应用》2012,21(9):113-118

基于Q学习的DDoS攻防博弈模型研究

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

新形势下的DDoS攻防博弈过程和以往不同,因此利用现有的方法无法有效地评估量化攻防双方的收益以及动态调整博弈策略以实现收益最大化。针对这一问题,设计了一种基于Q学习的DDoS攻防博弈模型,并在此基础上提出了模型算法。首先,通过网络熵评估量化方法计算攻防双方收益;其次,利用矩阵博弈… …   相似文献

史云放  武东英  刘胜利  高翔 《计算机科学》2014,41(11):203-207,226

一种用于常识空间信息处理的定性空间关系模型

下载全文  

在空间信息处理中,一些常识空间信息通常结合多方面空间关系,而且这些空间关系是动态变化的.为了有效地表示这些复杂的空间关系,并对其进行推理,提出了一种结合拓扑、方向和大小关系的空间信息处理模型TDSC (topology-direction-size calculus),并基于TD… …   相似文献

宋小华  欧阳丹彤 《软件学报》2012,23(9):2311-2322

一种Hadoop中基于作业类别和截止时间的调度算法

  

Hadoop是一种开源可靠的分布式计算框架,而MapReduce是处理超大规模数据集的编程模型.鉴于Ha-doop内置的调度器不能很好地处理类别不同且有截止时间的作业的调度,提出了一种基于作业类别和截止时间的作业调度算法.作业分为CPU密集型和I/O密集型,并根据截止时间设置优先… …   相似文献

李曌  滕飞  李天瑞  杨浩 《计算机科学》2015,42(6):28-31, 45