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

下载全文  

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

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

基础软件平台质量评估

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

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

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

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

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

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

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

基于Zabbix的分布式服务器监控应用研究

  

随着服务器数量不断增加,保证服务器和应用服务的正常运行变得越来越复杂。相比Nagios、Cacti监控系统,Zabbix具有更高的性能和可扩展性,更加适应网络中心机房监控环境。利用Zabbix构建了分布式的网络监控系统,实现对Windows和Linux平台上关键应用服务的监控。重… …   相似文献

郭晓慧  李润知  张茜  王宗敏 《通信学报》2013,34(Z2):94-98

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

下载全文  

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

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

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

  

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

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

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

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

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

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

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

  

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

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

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

下载全文  总被引：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