基于时间抽象状态机的AADL模型验证

下载全文  

提出了一种基于时间抽象状态机(timed abstract state machine,简称TASM)的AADL(architecture analysis and design language)模型验证方法.分别给出了AADL子集和TASM的抽象语法,并基于语义函数和类ML的… …   相似文献

杨志斌  胡凯  赵永望  马殿富  Jean-Paul BODEVEIX 《软件学报》2015,26(2):202-222

大规模移动自主网络中基于簇的QoS多路径路由

下载全文  

在移动自主网络中,提供服务质量支持是一个核心研究问题.大量研究表明,在移动自主网络中提供服务质量保障具有很大的挑战性.提出一个基于簇的QoS多路径路由协议(CQMRP),通过一种可扩展、灵活的方式为移动自主网络提供服务质量保证.在这个策略中,每个节点只维持局部路由信息而不是整个网… …   相似文献

卢锡城  安辉耀  彭宇行  彭伟 《软件学报》2007,18(7):1786-1798

并行蚁群算法中的自适应交流策略

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

提出了并行蚁群算法中处理机间信息交流的两种策略,使得各处理机能够自适应地选择其他处理机以进行信息交换和相应信息素的全局更新.还提出了一种确定处理机之间进行信息交流的时间的策略,可以根据解的分布情况自适应地确定信息交流的时间,以取得全局收敛速度和解的多样性之间的平衡.在算法每一次信… …   相似文献

陈崚  章春芳 《软件学报》2007,18(3):617-624

基于投影轮廓的文本图像倾斜检测

  

目的 在光学字符识别中,文本图像经常会出现一定角度的倾斜.为将倾斜的文本图像校正,以便于字符识别中的后续处理,快速准确地检测倾斜文本图像的倾角是非常重要的.方法 对基于投影轮廓的算法进行改进,提出了一种两级投影直方图方差的算法(TPHV).首先在预定的角度范围内以一定角度步长对选… …   相似文献

程立  姚为  李波 《中国图象图形学报》2015,20(1):29-38

Turbo码的一种高效改进型MAP译码算法

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

该文给出了一种改进型最大后验概率(MAP)译码算法用于实现并行级联卷积码(Turbo码)的最优译码。与基于对数域的Log-MAP算法相比较,该文给出的算法不引入对数域,但能够完全消除标准MAP算法在迭代过程中必须进行的大量指数和对数运算。计算机仿真结果表明,这种具有最优纠错性能的… …   相似文献

赵宏宇  范平志 《电子与信息学报》2008,30(10):2397-2401

Cherry:一种无须子集检查的闭合频繁集挖掘算法

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

通过对一些著名的闭合频繁集挖掘算法(如CLOSET ,FP-CLOSE,DCI-CLOSED和LCMv2等)的研究并结合挖掘理论分析,提出了一种新的挖掘算法Cherry,它基于FP-tree结构,并采用了新颖的CherryItem检测技术,无须在内存中保留闭合频繁集而直接检测出会… …   相似文献

陶利民  黄林鹏 《软件学报》2008,19(2):379-388

基于信息增益的文本特征选择方法

  

在类和特征分布不均时,传统信息增益算法的分类性能急剧下降。针对此不足,提出一种基于信息增益的文本特征选择方法(TDpIU)。首先对数据集按类进行特征选择,以减少数据集不平衡性对特征选取的影响。其次运用特征出现概率计算信息增益权值,以降低低频词对特征选择的千扰。最后使用离散度分析特… …   相似文献

任永功杨荣杰  尹明飞马名威 《计算机科学》2012,39(11):127-130

基于分级置信度传播的立体匹配新方法

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

针对当前全局立体匹配算法效率低下以及在遮挡区域难以准确匹配的问题,提出了一种高效的基于分层置信度传播的立体匹配新方法。该方法首先采用高效局部匹配获得初始匹配代价,并根据初始匹配的结果检测遮挡和误匹配像素;其次,使用平面化估计的结果对初始代价进行了修正,改善了遮挡区域的匹配效果;最… …   相似文献

郁理  郭立  袁红星 《中国图象图形学报》2011,16(1):103-109

基于有向带权图迭代的面向对象系统分解方法

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

针对如何从现存的系统中提取构件的问题,提出了一种基于有向带权图迭代分析的面向对象系统分解方法.它将面向对象系统抽象为一个有向带权图,使用迭代算法考察不同粒度的子图的独立性,并选择独立性高的作为候选构件.实验结果表明,该方法是一种有效的系统分解方法,在准确性上比现有系统分解方法有所… …   相似文献

罗景  赵伟  秦涛  姜人宽  张路  孙家驌 《软件学报》2004,15(9):1292-1300

区域语义多样性密度的图像标注

  

随着Web2.0下海量共享图像的出现,如何获取图像具有描述力的精准区域标注具有重要研究意义。本文提出一种基于区域语义多样性密度的图像标注框架,重点考虑区域间的视觉特征差异和空间结构差异。具体来说,基于距离相似度的特征多样性密度实现了区域特征语义标注;引入负相关示例的惩罚作用实现了… …   相似文献

王方方  蒋建国  郭丹 《中国图象图形学报》2014,19(5):755-763

实时立体视觉系统中的深度映射

  

目的 为减少立体图像中由于水平视差过大引起的视觉疲劳。针对实时渲染的立体视觉系统,给出了一种非均匀深度压缩方法。方法 该方法在单一相机空间内,通过不同的投影变换矩阵生成双眼图像,水平视差由投影变换来控制。为减少深度压缩造成的模型变形而带来的瑕疵,将不同深度区域内物体施以不同的压缩比例;将相机轴距表示为深度的连续函数,通过相机轴距推导出在单一相机空间内获取双眼图像的坐标变换,将深度压缩转换为模型的坐标变换,从而保证压缩比例的连续变化。结果 实验结果表明,该方法能有效提高立体图像的质量。结论 该方法简单、高效,可应用于游戏、虚拟现实等实时立体视觉系统。… …   相似文献

李大锦  白成杰 《中国图象图形学报》2015,20(3):366-373

一种隐式流敏感的木马间谍程序检测方法

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

提出了一种隐式流敏感的木马间谍程序检测方法.采用静态分析方式,具有更高的代码覆盖率;同时结合了数据流分析对间接跳转的目标进行计算;并且基于分支条件的操作语义,使用了针对木马间谍程序检测的改进的污点标记规则.应用该方法分析了103个真实的恶意代码样本和7个合法软件,并与现有方法进行… …   相似文献

李佳静  梁知音  韦韬  邹维  毛剑 《软件学报》2010,21(6):1426-4137

三维装箱问题的组合启发式算法

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

通过组合拟人启发式和模拟退火算法,提出了三维装箱问题的组合启发式算法.拟人启发式算法的主要思想来源于日常砌墙中的策略.利用找点法以及水平和垂直参考线规则来控制装填过程.用模拟退火算法改进拟人启发式.经过一些数据的测试,实验结果表明,该算法能够同文献中的优秀算法竞争.  相似文献

张德富  魏丽军  陈青山  陈火旺 《软件学报》2007,18(9):2083-2089

改进的以SMT为基础的实时系统限界模型检测

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

基于SAT的限界模型检测在处理实时系统时具有很高的复杂度.SMT求解器在计算可满足性的同时,还能处理算术和其他可判定性理论.在对实时系统进行检测时,用SMT求解器代替SAT求解器,系统里的时钟就可以用整型或实型变量表示,时钟约束则可以直接表示成线性算术表达式,从而使整个检测过程更… …   相似文献

徐亮 《软件学报》2010,21(7):1491-1502

3毫米Y型垫片H面波导环行器的三维电磁场分析

  

本文使用模式匹配法和点匹配法给出了H面Y型垫片变换器部份高度铁氧体波导环行器的三维电磁理论分析。3毫米频段上92.6—96.5GHz的实验结果,与理论分析数值计算值吻合良好。  相似文献

张登国 《通信学报》1989,(4)

多特征证据理论融合的视觉词典构建

下载全文  

现有的视觉词典构建方法一般是将多个特征构成整个向量并通过聚类形成视觉词典,这种方法在视觉聚类的过程中只考虑了特征的整体相似性而忽略了不同特征对构建视觉词典的影响。提出了一种基于Dempster-Shafer（D-S）证据理论的多特征融合的视觉词典构建方法。该方法应用证据理论融合不… …   相似文献

沈项军  高海迪  曾兰玲  毛启容  詹永照 《中国图象图形学报》2013,18(12):1676-1683

Agent 主观信任的传递性

下载全文  

信任在多Agent系统和网络研究中越来越引起重视.主观信任一般不具备对称性和传递性,这就为基于信任的委托、信任网络的构建和基于信任的网络信息传播等带来了很大的不确定性.针对此问题,讨论了合作环境下二值信任关系及其传递性.给出了客观信任、主观信任的建模方法,给出了与信任传递性有关的… …   相似文献

童向荣  张伟  龙宇 《软件学报》2012,23(11):2862-2870

基于Agent的分布式入侵检测系统模型

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

提出了一个基于Agent的分布式入侵检测系统模型框架.该模型提供了基于网络和基于主机入 侵检测部件的接口,为不同Agent的相互协作提供了条件.在分布式环境中,按照系统和网络的 异常使用模式的不同特征和环境差异,可利用不同的Agent进行检测,各Agent相互协作,检测 异常行为… …   相似文献

马恒太  蒋建春  陈伟锋  卿斯汉 《软件学报》2000,11(10):1312-1319

基于区域内存模型的C程序静态分析

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

为了提高程序的静态分析精度,提出了一种应用基于区域的符号化三值逻辑(region-based symbolic threevaluedlogic,简称RSTVL)的静态分析方法.RSTVL能够描述C程序运行时内存中数据结构的形态信息与变量的存储状态,以及可寻址表达式间的各种关系,… …   相似文献

董玉坤  金大海  宫云战  邢颖 《软件学报》2014,25(2):357-372

自适应笔式用户界面开发的概念框架

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

提出了一个指导自适应笔式用户界面开发的概念框架CFAPUI(a conceptual framework for developing adaptive pen-based user interface).该框架详细描述了自适应笔式用户界面的软件体系结构,阐述了自适应笔式用户界面… …   相似文献

徐礼爽  周明骏  邓昌智  田丰  刘媛媛  戴国忠 《软件学报》2008,19(10):2681-2693