AADL 模型可靠性分析评估工具

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

主要针对AADL(architecture analysis and design language)嵌入式系统体系结构进行可靠性建模,实现AADL可靠性模型到广义随机Petri网(general stochastic Petri net,简称GSPN)可靠性计算模型的转换,并基… …   相似文献

董云卫  王广仁  张凡  高磊 《软件学报》2011,22(6):1252-1266

以体系结构为中心的构件模型的形式化语义

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

目前的软件开发方法采用非结构化和非形式化方式建立构件模型,构件之间的关系是隐含的,并且缺乏严格的语义,不能有效地支持自顶向下的构件重用.利用范畴论定义构件之间的关系,使得构件之间的关系以及关系组合具有严格的语义.态射合成被用来跟踪不同抽象层次的构件之间的关系,利用体系结构设计模式… …   相似文献

楚旺  钱德沛 《软件学报》2006,17(6):1287-1297

Contourlet变换系数加权的医学图像融合

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

目的 由于获取医学图像的原理和设备不同,不同模式所成图像的质量、空间与时间特性都有较大差别,并且不同模式成像提供了不互相覆盖的互补信息,临床上通常需要对几幅图像进行综合分析来获取信息。方法 为了提高对多源图像融合信息的理解能力,结合Contourlet变换在多尺度和多方向分析方法… …   相似文献

张鑫  陈伟斌 《中国图象图形学报》2014,19(1):133-140

自主移动机器人自适应室外道路检测

下载全文  

目的 为降低室外自主移动机器人视觉导航中遇到的阴影、裂纹及道路边界不规则造成的道路检测算法不鲁棒性,提出一种每帧灰度阈值可调的快速自适应道路检测方法。方法 先采用2维离散小波进行道路图像分解与重构,比较各级小波重构后的近似道路图像,确定出不影响“路-非路”灰度二分类的最佳分辨率等级;在低分辨率尺度空间中,用灰度类间最大方差和类内最小方差共同构造适应度函数,采用改进的遗传算法对各帧道路图像进行阈值自适应分割,找到准确的道路边界,最近两边界中心位置即机器人行驶方向。采用小型陆地自主车作为研究平台,并在卡耐基梅隆大学（CMU）提供的室外移动机器人道路视频中进行算法测试。结果 本文方法能够在具有阴影、裂纹、光照度变化的道路条件下鲁棒分割出道路边界,机器人可以平均30 km/h的速度在有较严重阴影干扰的校园道路上行驶,视觉系统的处理速度平均可达到20 ms/帧。结论 本文方法比传统的灰度直方图分割法表现出更强的环境自适应性,可实现较为鲁棒的室外道路检测,并可作为室外自主移动机器人非结构化道路检测的一种鲁棒性较强的方法加以推广。… …   相似文献

杜明芳  王军政  李静  崔广涛  方建军  曹海青 《中国图象图形学报》2014,19(7):1046-1053

基于尺度旋转的图像恢复研究

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

运动模糊图像恢复是图像处理中的重要部分。本文将计算机图形学尺度旋转引入运动模糊图像恢复中,提出基于尺度旋转变换的运动模糊图像自动搜索恢复模型,并阐述建立模型的完整过程和均方误差准则下自动搜索优化算法。实验表明,模型较好解决了传统运动模糊图像恢复中无参数恢复图像的缺陷,恢复效果良好… …   相似文献

陆俊  舒志龙  阮秋琦 《通信学报》2000,21(7):67-71

可信软件的构造与演化分析专刊前言

下载全文  

近年来,软件及其运行环境发生了质的变化,边界开放、规模巨大、行为复杂等特点使得软件系统在可信性方面面临许多新的挑战.如何构造和维护可信的软件系统受到了工业界和学术界越来越多的关注和重视,多国政府、组织、企业、科研机构纷纷提出了与可信软件构造与演化相关的研究计划.  相似文献

王怀民  徐洁 《软件学报》2010,21(2):177-178

多特征融合的人体目标再识别

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

在非重叠的多摄像机监控系统中,人体目标再识别是需要解决的主要问题之一。针对当前人体目标再识别使用目标的外观统计特征或者通过训练获取目标特征时存在的问题,提出一种无需训练,对视角、光照变化和姿态变化具有较强鲁棒性的基于多特征的人体目标再识别算法。首先根据空间直方图建立目标整体外观表… …   相似文献

范彩霞  朱虹  蔺广逢  罗磊 《中国图象图形学报》2013,18(6):711-717

Agent研究现状与发展趋势

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

对有关Agent理论和实践两方面的研究现状、关键技术和发展趋势进行了综述和讨论,试图勾画出目前Agent研究的脉络、重点及其发展趋向.主要内容包括：（1）智能Agent的特性、表示和推理;（2）多Agent系统的联合意图、协商和规划;（3）面向Agent的程序设计.最后,简单讨论… …   相似文献

刘大有  杨鲲  陈建中 《软件学报》2000,11(3):315-321

随机任务在云计算平台中能耗的优化管理方法

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

针对云计算系统在运行过程中由于计算节点空闲而产生大量空闲能耗,以及由于不匹配任务调度而产生大量“奢侈”能耗的能耗浪费问题,提出一种通过任务调度方式的能耗优化管理方法.首先,用排队模型对云计算系统进行建模,分析云计算系统的平均响应时间和平均功率,建立云计算系统的能耗模型.然后提出基… …   相似文献

谭一鸣  曾国荪  王伟 《软件学报》2012,23(2):266-278

基于反射的连接器组合重用方法

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

连接器的建模与分析是复杂软件体系结构设计的一个重要问题.基于反射机制,提出了一种连接器的组合重用方法.为了支持这一想法,借用CSP进程间的运算,提出了连接器组合的一组元操作,并给出了组合连接器的CSP语义.该方法能为连接器提供一种增量式的开发方式,并且由于其严格的形式化基础,适合… …   相似文献

熊惠民  应时  虞莉娟  张韬 《软件学报》2006,17(6):1298-1306

MIMO多跳无线网络

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

综述了多跳无线网络MIMO(multiple-input multiple-output)技术的研究进展,分析了MIMO技术的引入对多跳无线网络各层及整体设计的影响.以跨层协议设计为重点,详细介绍了当前典型的基于MIMO的多跳无线网络协议算法的核心机制,并比较分析了这些算法的特点… …   相似文献

李方敏  马小林  方艺霖  吴鹏 《软件学报》2010,21(4):732-749

基础软件平台质量评估

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

关于软件质量模型和软件质量评估模型的研究,一直是软件质量保障和评估领域的研究热点,国内外在这两方面进行了大量的研究,并取得了一定的研究成果.近年来,以操作系统为核心的基础软件呈平台化、体系化的发展趋势,基础软件平台的质量评估成为亟待解决的问题.在总结、分析软件质量模型、软件质量评… …   相似文献

兰雨晴  赵同  高静  接卉  金茂忠 《软件学报》2009,20(3):567-582

多信息融合的快速车牌定位

下载全文  

目的车牌定位是车牌识别的关键步骤之一,为提高车牌定位的准确率和定位速度,降低误检率,提出一种基于多信息融合的快速车牌定位方法。方法首先,通过边缘密度信息快速排除大量背景区域,有效提高定位速度;其次,根据车牌字符的分布信息精确定位车牌;最后使用基于模板匹配的车牌字符分割方法进行车牌… …   相似文献

王永杰  裴明涛  贾云得 《中国图象图形学报》2014,19(3):471-475

基于非截断小波有限元的BLT正向问题研究

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

针对自发荧光断层成像,提出了一种非截断小波有限元算法.该算法采用单元间非截断组合小波基来逼近未知函数,从理论上解决了二维和三维下复杂形状体的剖分,并成功地应用于自发荧光断层成像正向问题中圆柱和圆球仿体的研究.理论分析和数值仿真结果表明,与传统有限元的数值解相比,该算法在获得同样有… …   相似文献

靳露冬  吴艳  王卫卫  任努努  黄鹤羽  陈雪利  韩润强 《软件学报》2009,20(5):1194-1206

空间动态可变材质的交互式全局光照明绘制

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

提出了一种空间动态可变材质的交互式全局光照明绘制算法.如果在绘制过程中允许用户对物体的材质作修改,并且对一个物体的不同部分的材质作不同的修改,则称为空间动态可变材质.由于最终出射的辐射亮度和材质呈非线性关系,因此现有许多交互式全局光照明算法不允许用户修改物体的材质.如果一个物体各… …   相似文献

孙鑫  周昆  石教英 《软件学报》2008,19(7):1783-1793

一种描述地层构造的数据结构

  

针对数字盆地和岩土工程中基于剖面与钻孔的建模问题,提出了一种适合描述地下地层——构造的数据结构。通过实验数据的验证,该数据结构很大程度上提高了建模效率,并能实现数据的自更新。  相似文献

程军林  吴冲龙 《计算机应用研究》2006,23(1):41-42

无线传感器网络中的地址分配协议

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

地址用来标识节点,使能网络通信协议,在无线传感器网络中扮演重要角色.由于无线传感器网络中节点众多,再考虑其网络动态性,手动地为每个节点分配地址是一件繁琐甚至无法完成的工作,于是,地址分配协议成为必需.由于无线传感器网络自身所具有的特点,传统的DHCP协议和ad hoc网络的地址分… …   相似文献

杜治高  钱德沛  刘轶 《软件学报》2009,20(10):2787-2798

面向参数化LTL的预测监控器构造技术

下载全文  

介绍了一种基于自动机理论的参数化LTL(parameterized LTL(linear temporal logic),简称P_ALTL)公式运行时预测监控器构造方法.一方面研究P_ALTL公式的语法、预测语义、赋值提取以及赋值绑定等重要概念,从语法层面保证公式中参数化变量的正确绑定(binding)和使用(using);另一方面给出参数化预测监控器的概念.它由静态和动态两部分组成,静态部分由参数化Büchi自动机表示,动态部分为当前状态处的变量赋值.在系统运行过程中,预测监控器基于静态部分的参数化Büchi自动机,以on-the-fly的方式在当前状态处动态地提取和绑定变量赋值,递进地验证当前程序运行是否满足指定的参数化性质规约.在该过程中,参数化监控器能够精确地识别被验证性质的最小好/坏前缀.… …   相似文献

赵常智  董威  隋平  齐治昌 《软件学报》2010,21(2):318-333

结合同场景立体图对的高质量深度图像重建

下载全文  

目的 越来越多的应用依赖于对场景深度图像准确且快速的观测和分析,如机器人导航以及在电影和游戏中对虚拟场景的设计建模等.飞行时间深度相机等直接的深度测量设备可以实时的获取场景的深度图像,但是由于硬件条件的限制,采集的深度图像分辨率比较低,无法满足实际应用的需要.通过立体匹配算法对左… …   相似文献

杨宇翔  高明煜  尹克  吴占雄 《中国图象图形学报》2015,20(1):1-10

对比度、颜色一致性和灰度像素保持的消色算法

下载全文  

目的 为了解决目前消色算法中不能同时保持原始图像的对比度,颜色一致性和灰度像素特征的问题,提出一种新的优化算法,最大限度地同时保留这些视觉特性。方法 为了保持原始图像的结构和局部对比度信息,用双高斯模型构建像素对之间的误差能量项;为了保持颜色一致性,采用局部线性嵌入模型构建能量项,确保原始图像中颜色一致的像素在结果图像中也拥有一样的灰度级;为了保持灰度像素特征,先标记出原始图像中的灰度像素,并强制规定这些像素的灰度值是已知的且在消色变换的过程中始终不变,然后用双高斯模型构建出灰度像素与其他像素之间的误差能量项。线性结合这3个能量项,得到目标能量函数,再通过迭代法求解出使总能量值达到最小的灰度值,从而得到了最终的消色结果。结果 实验结果表明,本文算法能够同时较好地保持原始图像中的对比度、颜色一致性和灰度像素特征。结论 本文算法基本符合人类对图像对比度变化的感知程度,而且能够很好地保持细节信息和全局结构,可应用于数字打印、模式识别等方面,具有很大的应用价值。… …   相似文献

王勋  罗婷婷  刘春晓  彭浩宇 《中国图象图形学报》2015,20(3):408-417