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

下载全文  

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

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

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

下载全文  

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

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

对一个基于细胞自动机的分组密码变形的分析

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

Subhayan Sen等人提出了一个基于细胞自动机的分组密码系统(cellular automata based cryptosystem,简称CAC),但并没有给出CAC的某些构造模块的细节描述,从应用角度考虑,将其中的一个模块固定得到CAC的变形--SMCAC(samema… …   相似文献

张文涛  卿斯汉  吴文玲 《软件学报》2004,15(5):767-771

彩色图像分割研究进展

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

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

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

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

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

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

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

一种Web服务组合事务框架的设计与实现

下载全文  

Web服务组合已成为跨企业应用集成的主要方法,服务组合需要事务机制来保证其可靠性。由于服务组合自身的特点,传统事务处理方法不适合。首先总结服务组合事务的特点,提出了基于层次的服务组合事务框架,并详细分析了服务组合事务的协调过程。最后给出了服务组合事务协调协议并实现了服务组合事务服… …   相似文献

房丙午  刘力  张成叔 《计算机系统应用》2010,19(5):89-93

基于事件约束的分布式程序正确性测试

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

由于并发的存在和不确定性,在以规约为基础来测试分布式程序的正确性时,必须考虑程序 执行时的内部状态.这些内部状态通过端口显示为事件序列,程序规约需要对序列中各事件间 的依赖关系作约定,即定义事件约束集.该文提出了E-CSPE(extended-constraints on suc… …   相似文献

顾庆  陈道蓄  于勐  谢立  孙钟秀 《软件学报》2000,11(8):1035-1040

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

下载全文  

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

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

基于高维矩阵变换的雪崩图像置乱变换

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

传统的以高维Arnold变换和高维Fibonacci-Q变换为代表的基于高维矩阵变换的图像置乱方法,虽然具备较好的安全性,且能改变被置乱图像的灰度特征,但存在可恢复周期长,且对攻击不具备全局扩散能力等问题,在应用中存在缺陷。针对以上问题,基于高维矩阵变换,构造了雪崩图像置乱变换,… …   相似文献

邵利平  覃征  衡星辰  高洪江  王羡慧 《中国图象图形学报》2008,13(8):1429-1436

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

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

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

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

一种适用于多维的快速IP分类算法

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

网络应用的发展要求路由器必须有能力支持防火墙、提供QoS、流量计费等一系列功能,这些功能都要求路由器对IP包进行分类以完成对数据包的不同处理.在Grid of Tries算法的基础上,提出了一种新的IP分类算法.该算法不仅克服了Grid of Tries算法在多维IP分类方面的局… …   相似文献

喻中超  徐恪  吴建平 《软件学报》2001,12(12):1801-1809

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

  

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

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

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

  

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

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

室内定位方法综述

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

近年来,随着情景感知、环境智能等应用需求不断增加,对用户位置信息精度的要求也在不断提高。因室内环境复杂、缺乏统一的基础性架构等因素,室内定位方法逐渐成为用户定位领域的研究热点。考虑到室内定位方法的基础架构、位置精度、方法普适性等因素,将现有的室内定位方法分成3大类:基于特定设备的… …   相似文献

席瑞  李玉军  侯孟书 《计算机科学》2016,43(4):1-6, 32

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

  

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

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

混合编码差分进化粒子群算法及多示例学习的高光谱影像降维与分类

下载全文  

目的 高光谱遥感影像由于其巨大的波段数直接导致信息的高冗余和数据处理的复杂,这不仅带来庞大的计算量,而且会损害分类精度。因此,在对高光谱影像进行处理、分析之前进行降维变得非常必要。分类作为一种重要的获取信息的手段,现有的基于像素点和图斑对象特征辨识地物种类的方法在强噪声干扰训练样本条件下精度偏低,在对象的基础上,将光谱和空间特征相似的对象合并成比其还要大的集合,再按照各个集合的光谱和空间特征进行分类,则不容易受到噪声等因素的干扰。方法 提出混合编码差分进化粒子群算法的双种群搜索策略进行降维,基于支持向量机的多示例学习算法作为分类方法,构建封装型降维与分类模型。结果 采用AVIRIS影像进行实验,本文算法相比其他相近的分类方法能获得更高的分类精度,达到96.03%,比其他相近方法中最优的像元级的混合编码的分类方法精度高出0.62%。结论 在针对强干扰的训练样本条件下,本文算法在降维过程中充分发挥混合编码差分进化算法的优势,分类中训练样本中的噪声可以看做多示例学习中训练包\"歧义性\"的特定表现形式,有效提高了分类的精度。… …   相似文献

高红民  李臣明  王艳  谢科伟  陈玲慧  何振宇 《中国图象图形学报》2015,20(12):1689-1698

通用的交互式可视化环境

下载全文  

本文介绍了通用的交互式可视化环境ＧＩＶＥ（ｇｅｎｅｒａｌｉｎｔｅｒａｃｔｉｖｅｖｉｓｕａｌｉｚａｔｉｏｎｅｎｖｉｒｏｎｍｅｎｔ）的设计和实现技术．ＧＩＶＥ以数据流机制为核心,采用可视编程界面,为用户开发可视化应用提供了一个方便交互的模块级编程环境．与同类软件相比,ＧＩＶＥ具有如下… …   相似文献

杨旭波  蔡文立  石教英 《软件学报》1996,7(9):553-558

语言附着的句法结构

下载全文  

本文研究语言Ｌ的附着Ａｄｈ（Ｌ）的句法结构,借助于Ｌ的语法分析树,我们分析了Ａｄｈ（Ｌ）的句法特征,提出并证明了正规语言和上下文无关语言附着的叠代定理,从而解决了这两类语言的附着的句法结构问题。另外,应用引理证明了某些附着不是正规语言的附着或上下文无关语言的附着。  相似文献

郭清泉 《软件学报》1995,6(11):673-678

VDSI系统的数据库安全性研究与实现

下载全文  

信源问题一直是汽车数字化过程中的一个瓶颈问题.射频识别(radio frequency identification,RFID)技术的日趋成熟为解决这个问题提供了新的方向.然而,作为RFID系统的一种应用,其安全问题必须得到很好的解决.本文就汽车数字化标准信源(vehicle d… …   相似文献

葛志赟  赵正德  孙培君 《中国图象图形学报》2009,14(12):2623-2626

一个任意图的输出和编辑系统

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

本文给出了一个对任意图的输出算法,这个算法同其它的同类算法相比,具有更小的时间复杂性,并且由于此算法的参数是可控制的,所以对图的输出也是可控制的．另外,本文描述了一个图的显示和编辑系统ＧＬＥＡＭ,这个系统是基于所给出的新算法的,并且在本系统中使用了约束技术,使图的输出更美观、合理… …   相似文献

李文辉  庞云阶 《软件学报》1997,8(2):115-121