支持社会技术系统构造的程序设计模型和语言

互联网上越来越多软件系统呈现出社会与技术交融、环境多样和开放、系统动态和演化等特点,如何支持这类复杂软件系统的构造是软件工程面临的一项重要挑战。通过将社会技术系统视为多Agent组织,把社会组织学的概念和思想引入到面向Agent程序设计范畴,提出了以Agent、组织、角色和职位为核心的基于组织程序模型来支持社会技术系统的开发;通过对多Agent组织不同层次动态性的识别和分析,设计了一组程序设计机制来实现社会技术系统的动态演化;包括角色绑定和组合机制、基于角色的交互机制以及组织的自我管理机制。基于上述模型和机制,提出了社会技术系统程序设计语言OragentL,给出了OragentL程序在组织、角色和组合三个层次的语法形式定义,介绍了OragentL的编译器及其运行支撑环境OragentBurg,并通过案例分析和演示展示了研究成果的有效性。     

结合非负张量表示与扩展隐Dirichlet分配模型的图像标注

由于"语义鸿沟"的存在,自动图像标注是一项极具挑战性的工作。考虑到图像低层视觉特征与高层语义概念的差异,分别从图像表示与语义建模两个方面来实现自动图像标注。在图像表示方面,提出了一种正则化约束下的非负张量表示方法,用以提取符合人眼视觉直观理解的图像高阶结构特征。在语义建模方面,提出了一种三层贝叶斯模型——扩展隐Dirichlet分配。该模型利用隐变量来实现图像与标注词的关联,并通过一种基于变分推理的期望最大值方法来估计参数。实验结果表明,ELDA模型在大规模数据库NUS-WIDE上的标注结果相较于现有方法有了显著的提高。     

使命任务拓展后海军武器装备体系能力框架构建

新时期海军使命任务拓展对海军装备体系建设提出新的需求,需要突出能力在需求分析中的纽带作用。本文针对海军武器装备体系能力框架的概念和研究原则进行简要分析,对能力框架构成进行详细讨论。试用情况说明,以能力框架支撑装备体系规划发展,可更好地涵盖兵力战争运用和非战争运用,综合应对确定和不确定威胁。     

基于分组测试的小波变换图像编码

将分组测试与基于块结构的小波图像编码相结合,构造了一种具有多种可伸缩能力的编码结构,在保证分辨率和保真度可伸缩性的同时提供了对压缩图像的随机访问能力.结合上述编码结构,提出了一种低复杂度,具有分辨率、保真度可伸缩和随机访问能力的图像无损压缩算法.实验结果表明:该算法的无损编码码率与JPEG2000接近.     

基于SOPC的视频采集处理系统设计

针对某型导弹指令检测系统的需求,设计了基于SOPC (system on a programmable chip)的视频采集处理系统.本系统通过装备预留的视频采集口进行视频采集,然后对采集到的视频进行弹标的提取,并进行视频压缩存储以便实现视频的回放.重点介绍了基于SOPC的视频采集系统设计方案和图像预处理算法的FPGA实现.经过仿真分析,设计的系统可以实现视频采集功能,并能够实时地提取弹标.     

一种梯度变换的水下图像对比度增强算法

在水下激光成像系统中,针对海水对光的散射而引起的图像对比度下降的特点提出了一种自适应改变图像梯度来增强水下图像对比度的算法.该算法分三步时图像进行处理:首先利用双边滤波器对图像进行滤波,以消除噪声;其次根据图像的局部灰度强度,对图像梯度进行处理;曩后通过解泊松方程,将处理后的梯度图像还原成灰度图像,实验结果表明:该算法...     

一种新的交互式图像分割算法

随机游走算法(Random Walk)是近来提出的一种基于图论的交互式分割算法,针对Random Walk算法计算耗时长的缺点,提出一种新的改进型算法.首先,该方法增加了分水岭算法(Watershed)作为预分割,有效地减少了后续分割算法的计算量.其次,根据分水岭预分割后的区域,重新构造连接域图,并采用K均值算法将预分...     

基于活动方法的武器装备型号论证需求分析

为了适应信息化战争以及基于能力的装备建设需要,武器装备型号论证不能局限于该型号装备承担的基本作战任务,必须面向体系结构展开需求分析。探讨了武器装备型号论证需求分析内涵及本质,给出了理论依据和指导;明确了基于活动方法的原理,对方法的应用提出了要求和规范;借鉴美军体系结构有关技术,从作战任务和装备系统2个方面展开需求分析,提出了作战、装备和能力需求之间的追溯关系矩阵,构建了基于活动方法展开武器装备型号论证需求分析的具体步骤。为武器装备型号论证需求分析提供了有力的方法支撑,有助于需求分析的工程化。     

一种基于自适应阈值估计算法的SAR图像去噪方法

为去除乘性相干斑噪声对合成孔径雷达(Synthetic Aperture Radar,SAR)图像的影响,将小波域去噪和二维平移不变去噪算法进行有效结合,提出一种新的自适应阈值估计算法.基于概率密度函数和贝叶斯估计理论,可以得到子带阈值.通过对数变换,将算法应用于含相干斑噪声的SAR图像去噪.理论分析和实验结果表明该算...     

基于空间子区一致性的异源图像匹配方法

提出一种基于空间子区一致性的异源图像匹配方法.该方法中,将图像划分为许多大小相同的子区;分别计算邻近子区间的灰度直方图距离,得到一种图像结构特征描述--似邻矩阵;利用似邻矩阵计算图像间的子区一致性;采用改进的搜索策略,快速获得匹配结果.实验结果表明,该方法在正确率和计算时间方面均优于传统方法.