基于主动连接件的软件体系结构及其描述方法

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

连接件是软件体系结构描述中的重要概念.该文在连接件中引入引擎机制,使其在与相关组件 连接的过程中成为运行活动的触发元素,而且在目标系统实现中转化为可见的组成部分,这种 连接件称作主动连接件.文章介绍一种基于主动连接件的软件体系结构的基本概念及其描述 语言.  相似文献

张家晨  冯铁  陈伟  金淳兆 《软件学报》2000,11(8):1047-1052

面向对象程序设计体裁嵌入FFP-AST系统

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

FFP语言是这样的一种纯粹的泛函程序设计语言,它奠基于严格的数学理论基础之上,是归约语言L₄的一个子类^[2,3]。本文将面向对象编程(OOP)体裁相当简洁地嵌入到FFP-AST系统中。这样,一方面,揭示了面向对象编程体裁(OOPP)与泛函编程体裁(FPP)之间的近亲关系;另一方面,为OOPP奠定了 FFP-AST语义描述。本文实质上也提供了一种“加于FFP语言之上的兼备FPP和OOPP的编程语言”。贯穿文中的方法论归结为:紧密联系和使用自动机这一概念。… …   相似文献

江明德  菊燕 《软件学报》1990,1(4):55-64

彩色图像分割研究进展

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

1 引言分割是图像分析的初始步骤之一,也是图像处理最原始的问题,几乎自数字图像处理问世不久,人们就开始了图像分割技术的研究,并取得了相当的进展和成功。但由于它的复杂性,有许多问题没有很好地解决,因此人们至今还一直在努力发展新的、更有潜力的分割算法,以期实现更通用、更完美的分割结果… …   相似文献

魏宝刚  李向阳 《计算机科学》1999,26(4):59-62

基于Voronoi的无线传感器网络覆盖控制优化策略

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

针对无线传感器网络运行状态中存在覆盖空洞的问题,提出了一种基于Voronoi有效覆盖区域的空洞侦测修复策略。该策略以满足一定网络区域覆盖质量为前提,在空洞区域内合理增加工作节点以提高网络覆盖率为优化目标,采用几何图形向量方法对节点感知范围和Voronoi多边形的位置特性进行理论分… …   相似文献

赵春江  吴华瑞  刘强  朱丽 《通信学报》2013,34(9):115-122

在动态开放环境中的一种跳步实时搜索算法

下载全文  

本文在分析动态开放环境特性的基础上,提出了适应这些特性的搜索算法所应具有的性质,给出了一种适应动态环境的搜索算法——跳步算法．通过初步实验,对算法性能进行了分析与说明,表明算法具有较好的运行效率.  相似文献

罗翊  胡蓬  石纯一  王克宏 《软件学报》1997,8(1):7-13

基于模糊判别的立体匹配算法

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

立体视觉一直是计算机视觉领域所研究的一个中心问题,而立体匹配则是立体视觉技术中最关键也是最困难的部分,就得到适用于基于图象绘制技术中视图合成的准确、高密度视差图（Disparity Map）而言,现有的一些方法存在一定的局限性。考虑到立体匹配过程中存在的不确定性和模糊性,本文将已… …   相似文献

周东翔  蔡宣平  孙茂印 《中国图象图形学报》2001,6(4):359-364

基于GIS的空间过程模拟建模方法研究

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

ＧＩＳ空间过程建模分析功能是ＧＩＳ走向广泛应用的基础,为了实现这一目标,不公要求ＧＩＳ的数据模型能够充分表达过程模型所需的基本数据集和模拟模模型的输出数据集,还要求ＧＩＳ提供更加丰富的空间分析功能,尤其是多时相空间分析功能。  相似文献

刘学  王兴奎  王光谦 《中国图象图形学报》1999,4(6):476-480

一种改进的遗传算法及其在布局优化中的应用

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

该文以人造卫星舱布局为背景,研究二维带平衡及不干涉等约束的圆集在圆容器内的布局优化问题,属于NP-困难问题.文章提出一种求解此类问题的改进的遗传算法,即十进制编码控制参数自适应遗传算法,从而缓解了“组合爆炸”和遗传算法的早熟收敛问题.文章给出两个算例(其中一个为作者构造的已知最优… …   相似文献

唐飞  滕弘飞 《软件学报》1999,10(10):1096-1102

利用模拟退火技术求解多Hoist调度问题

下载全文  

多Hoist调度在许多制造过程的设计与控制中是一个关键问题.当Hoist数与工作台数很大时,求解调度问题非常困难.建立了多Hoist调度问题的数学模型,并利用模拟退火算法提出了一种启发式求解方法.随机模拟的大量算例表明,该启发式方法十分有效,通过少量的计算可得到调度问题的一个满意… …   相似文献

杨广文  鞠大鹏  郑纬民  林国健 《软件学报》2001,12(1):11-17

卫星云图预测的运动矢量方法

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

现有的云迹风提取方法只提供了对云覆盖的简单二值灰度估计,该文利用运动矢量估计的思想提出了一种云覆盖（云图）预测的新方法,这种方法可实现对卫星云图的灰度预测,这种新的方法是通过将一幅ＧＭＳ云图分割成为许多大小相同的小块,并将它们分别匹配到一幅参考云图中以获取云的运动矢量,进而实现对… …   相似文献

龚克  叶大鲁  葛成辉 《中国图象图形学报》2000,5(4):349-352

一种电子商务协议形式化分析方法

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

提出了一种新颖的形式化方法,可以用于分析电子商务协议的安全性质,例如可追究性和公平性.与以前的工作相比较,主要贡献在于:(1)对协议主体的拥有集合给出了形式化定义,且主体的初始拥有集合只依赖于环境;(2)将协议的初始状态假设集合分为3类:基本假设集合、可信假设集合和协议理解假设集… …   相似文献

卿斯汉 《软件学报》2005,16(10):1757-1765

对象式Lambda演算的自作用部分计值

下载全文  

讨论了一个对象式Lambda演算的部分计值器.对象式Lambda演算在Lambda演算的基础上添加了对象机制.部分计值器的构造是采用传统的三步法,首先定义对象式Lambda演算的元解释器;然后提出对象式Lambda演算的约束时间分析方法(binding-timeanalysis)… …   相似文献

王明文  孙永强 《软件学报》2001,12(8):1154-1161

基于均值移动与贪婪算法的多人脸跟踪

下载全文  

提出一个基于均值移动(Mean Shift)和贪婪算法的多人脸跟踪器.首先建立多个均值移动目标跟踪器以进行多人脸跟踪.结合卡尔曼滤波逐个检测目标并从视频帧中清除已跟踪到的人脸,以解决当多个目标相邻或相互遮挡时相应的跟踪窗口会收敛于最大目标、导致其他目标丢失的难题.引入辅助窗口并根… …   相似文献

蔡灿辉  刘强 《中国图象图形学报》2009,14(12):2611-2614

Ad Hoc 网络节能型功率控制与拥塞控制的跨层优化

下载全文  

有限的节点能量和通信带宽,是Ad Hoc网络的两个重要的特点.节点能量是影响网络容量的关键因素,也是制约网络寿命的决定因素;而有限的通信带宽使得网络更容易产生拥塞.因此,节能型的功率控制与拥塞控制联合优化在Ad Hoc网络中显得尤为重要.首先,设计了节能型的网络效用最大化问题,即… …   相似文献

张永敏  徐伟强  黄炯  汪亚明  舒挺  刘良桂 《软件学报》2013,24(4):900-914

旋转目标干涉逆合成孔径三维成像技术

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

本文根据旋转目标微波成像原理,导出了采用干涉逆合成孔径（ＩＮＩＳＡＲ）处理获取第三维高程信息的旋转目标ＩＮＩＳＡＲ三维成像技术,这种技术通过鉴别由俯爷角微小差异的两副天线分别获取的两幅相位相干的二维图像对应获射中心的相位变化来确定散射中心在竖直维的位置;散射中心的横坐标,纵坐标及… …   相似文献

肖志河  戴朝明  巢增明  许小剑 《电子学报》1999,27(12):19-22

海上舰船在平面波照射下的半空间散射研究

  

本文研究了海面舰艇在平面波照射下的散射特性,为在该类问题中有效计入海面背景的影响,舍弃了以往文献中采用自由空间格林函数为内核求解的模型,而是利用介质半空间格林函数在海面建立电场积分方程,并采用GFB(广义前向后向法)算法结合MOM(矩量法)计算了海面以及海面舰船的感应电流分布以及… …   相似文献

徐乐  谢拥军  史小卫 《电子学报》2006,34(12):2322-2325

基于小波变换的图象放大方法再探讨

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

图象放大 (又称图象变焦、图象重采样 )问题严格地说是一个病态问题 ,根据不同的模型 ,人们先后提出了多种图象放大方法 ,如线性插值、三次样条插值、分形插值以及基于小波变换的方法等 .图象放大问题的焦点是如何在图象放大过程中保持良好的视觉分辨率 ,表现在基于小波变换的图象放大方法… …   相似文献

刘志刚  刘代志 《中国图象图形学报》2003,8(4):403-408

复杂情况下的多目标跟踪统计技术

  

根据基于视频监控客流量统计的应用要求,得到了一种改进的背景检测和跟踪计数方法,实现了多人准确跟踪计数.传统的高斯背景建模是对一帧图像的每个像素点进行更新且分配固定的高斯分布个数,使得资源消耗量增大;这里通过先判断待更新区域,然后对更新区域采用动态调节高斯分布的方法对像素点进行更新… …   相似文献

金鑫  梁雪春  袁晓龙 《计算机科学》2013,40(6):268-271

求解二维矩形Packing问题的完备算法

  

对于典型的NP难度问题——二维矩形Packing问题,经典完备算法的计算复杂度不仅与待放块的数目相关,也与矩形框的宽和高相关。通过观察二维矩形Packing问题的合法布局的特点,将其与一对有向无环图相对应,并基于Prüfer码进行编码,提出了一种计算复杂度仅与待放块数相关的复杂度… …   相似文献

何琨  姚鹏程  李立文 《计算机科学》2014,41(8):55-59,89

基于主动式全景视觉的移动机器人障碍物检测

  

针对现有的移动机器人视觉系统计算资源消耗大、实时性能欠佳、检测范围受限等问题,提出一种基于主动式全景视觉传感器(AODVS)的移动机器人障碍物检测方法。首先,将单视点的全方位视觉传感器(ODVS)和由配置在1个平面上的4个红色线激光组合而成的面激光发生器进行集成,通过主动全景视觉… …   相似文献

汤一平  姜荣剑  林璐璐 《计算机科学》2015,42(3):284-288, 315