随着多核处理器的广泛使用以及人们对软件可靠性提出更高要求，多核并行程序验证的重要性日益凸显．本文提出了一个完整的基于多核的并行程序验证框架，该验证框架包括抽象机器定义、目标代码的形式规范、逻辑推理系统、可靠性定理及其证明．我们的目标程序使用自旋锁机制来实现线程间对共享内存的互斥访问．验证框架采用Hoare风格的推导方式，...
提出一种以树状拓扑为主干，Mesh状拓扑为辅助的组播策略．首先定义严格单源树状拓扑，并根据普适环境下结点的自治性行为提出放松单源树状拓扑．其次分析树状拓扑动态性带来的带宽瓶颈问题．通过Mesh状辅助拓扑和结点带宽使用情况动态调整结点状态，实现了自适应的带宽使用策略，保证了较高的使用率和可用性．分析模拟结果表明，与现有的方法相...
眼动跟踪技术作为一种新兴的交互手段，具有自然、高效和易于意图理解等优点．我们设计实现了一个桌面眼动跟踪系统作为虚拟装配系统的一个通道，通过摄像机实时采集视频并经过实时的图像处理判断用户对虚拟环境中对象的注视焦点．系统利用了瞳孔一角膜反射向量法理论，设计和实现了一个高效的实时眼动跟踪算法，即线性逼近预测算法．实验证明这...
自然环境下的日常动作识别有着广泛的应用前景和重要的研究价值.不同于以往在结构化和孤立条件下进行的动作识别,自然环境下的日常动作是连续的,视角多变并常发生遮挡.本文提出了分布式视觉系统下日常动作的在线识别方法.时间轴上的滑动窗口每个时刻取一段视频帧,采用基于＂包容形状＂的视角无关的体态表示方法提取体态特征向量,并用隐马尔科夫...
在潜在语义模型的基础上融入了软件文档和程序代码的特点,提出了基于类继承关系的代码聚类、代码特征项分类加权、引入相似度词典以及基于文档类型的分类搜索这四种改进策略.实验结果表明,四种策略可以在保持查全率不变的情况下提高查准率15%左右.表明在提取代码与文档间可跟踪性链时,考虑它们的固有特点,将有助于提高检索系统的查全率和查准率.
随着网络应用的发展,网络流量不断加大,对于网络应用系统的测试也占有越来越重要的地位.良好的网络流量模型能较为真实的反映网络的情况,并能给与应用系统更为全面的测试.根据统计学的结果表明,网络流量在时间上具有自相似性.因此,对自相似流量模型的研究十分重要.为了克服单机生成网络流量的不足,本文对于分形高斯噪声（FGN）模型的算法进行了...
非信任代码的安全执行是移动代码安全的重要问题之一.携带模型代码（Model Carrying Code）方法同时考虑了移动代码生产者和使用者对安全性的支持和需求,建立了以模型为中心的安全执行非信任代码的理论框架,其中安全策略的定义和强制实施是MCC方法的重要组成部分之一.本文针对已被广泛使用的Java移动代码,以开源JVM Kaffe和Linux操作系统为研究...
本文提出了一项新技术,它可以实现从任意的图像序列中自动提炼出简洁的表达方式,以便进行高效的视觉通信.我们认为,视觉通信的全过程可分为视频数据的传输和人眼对视觉信号的理解两个阶段.因此,本文以心理学中人对图像的认知规律的相关理论为指导,专注于研究如何同时提高图像的可压缩性和可理解性.我们借助一个缘提取算法来保留对人的视觉系统最...
本文提出了一种企业信息系统（Enterprise Information System,缩写为EIS）环境下基于场景的协同需求诱导方法,以场景为核心组织不同的利益相关者,使其能够主动且有效地参与需求获取的过程;并给出了具体的步骤指导需求专家如何逐步从现状场景到期望场景再到用况诱导出用户的需求;展示了如何从场景的结构化描述中抽取活动图、场景-角色-数据关系...
提出一种新的分布式构件框架ACF,在传统的以共享协同信息为主的语境机制基础上,引入了共享协同对象的动态语境机制,直接支持基于运行时软件体系结构的协同逻辑的表达和动态演化.该构件框架已在集成开发环境ArtemisStudio中得到初步实现和应用.
当前自适应系统的开发存在自适应逻辑和业务逻辑相互缠绕的问题,使得自适应系统的开发和维护变得极为复杂和困难.论文认为自主性是实现自适应性的基础和前提,提出将自适应逻辑和业务逻辑相分离的思想,设计了一个自适应Agent策略描述语言SADL,用于对系统自适应特征进行描述.自适应Agent基于预定义策略,在运行时根据外部环境和内部状态的变化,通过...
普适计算对推理引擎提出了有别于传统方法的诸多新挑战.面向普适计算的推理引擎需要基于情境驱动,可灵活应对情境时变频繁、实时性、开放性等问题.本文在分析了普适计算中情境感知特性的基础上,提出了一个以一阶谓词逻辑为基础的情境驱动的推理引擎ScudCORE（Scud COntext-driven Reasoning Engine）.ScudCORE采用情境过滤机制弱化了由情境时变...
本文提出采用结构光源充分表达用户手部运动的想法,设计了结构光源和识别软件,从光点序列中提取出光点运动轨迹和用户手势的旋转信息,搜索光点位置序列的平坦区段锁定目标位置,将旋转手势解释成交互原语以扩充激光笔的交互语义.最后的性能评估结果表明,结构光源在丰富交互语义和加速目标选择方面都有着较大的改进.
对曝光不足的图像和视频进行亮度调整具有重要的理论研究意义和实际应用价值,本文提出一种基于梯度域操作的图像和视频亮度自动调整算法.对于静态图像,算法首先将图像分割为不同的亮度区域;然后分别计算各区域的亮度调整算子;最后通过求解一个梯度约束方程得到结果图像.我们进而将该算法延伸到视频,首先选取若干关键帧并使用上述图像亮度调整算...
本文提出了一种标准模型下基于身份的无可信中心的群签名方案,解决了群签名的前向安全性,并分析了新方案的正确性和安全性.分析结果表明,合法的群成员可以代表群得到有效群签名,仲裁者可以打开签名,且可以判断群管理者是否伪装成合法的群成员.本文还利用对时间段信息的管理实现了该签名的前向安全性,以抵抗密钥泄漏等情况.
混合矩阵的估计是稀疏源盲分离的关键组成部分,其估计精度直接影响到源信号的估计精度.本文首先针对K-means聚类算法依赖初始值选取的问题,将微分进化算法思想引入到K-means聚类算法中,提出了一种改进的K-means聚类算法.利用该算法,对稀疏源混合信号数据进行聚类,保证了聚类结果的鲁棒性.然后利用霍夫变换,对每一类数据的聚类中心进行修正,从而...
本文通过构造子树及密钥的动态循环更新实现了二叉树的动态更新,改进了Merkle可信树签名方案中,签名数量的增加使得二叉树庞大导致签名效率低下的缺陷,使签名的数量不在受到二叉树大小的影响.此外,本文对改进后的方案进行了安全分析,分析结果表明,该签名方案具有原始Merkle可信树签名方案的安全性,并且,由于采用了分时间段的密钥管理方式,该方案...
门限签名能够分散签名权力,比普通单人签名具有更高的安全性.目前大多数门限签名都是随机预言模型下可证明安全的.本文利用椭圆曲线上的双线性对,以Paterson签名方案为基础,提出了一种无随机预言的基于身份的门限签名方案.该方案需要一个可信任的私钥生成中心来生成和管理私钥.在标准模型下对该方案进行了安全性证明,表明该方案是健壮的,并且能...
针对模型驱动的协同应用系统开发,将范畴理论、代数规范和进程代数相结合,为软件体系结构模型提出了一种新的语义描述方法.该方法在构件规约描述的基础上,用态射表示构件之间的关系,态射类型蕴含了构件关系的不同语义,从而用类型范畴图表来描述软件体系结构模型,用函子描述体系结构模型之间的映射关系.体系结构模型的形式化描述可用于判断一个转...
本文提出一个利用大位移视图可靠地恢复目标图像上含有复杂结构信息的较大信息丢失区域的图像修复新算法.依次经过基于单应矩阵的大位移视图变形、基于能量优化的重叠像素对应和基于能量优化的丢失像素估计三个步骤,一个由粗到细的畸变校正算法对大位移视点图像进行透视畸变校正后再用来补全目标图像上的受损区域.最后,我们采用泊松图像融合算法...
本文提出了一种新的个性化人脸衰老图像合成方法.基于已建立的黄种人脸图像数据库,提出了一种基于人脸外轮廓局部曲率标准差的个性化原型匹配算法,通过计算出表征人脸的脸型特征点的局部曲率标准差,在人脸图像数据库中匹配找出多幅图像,进行纹理增强的原型合成,再通过形状和颜色变换模型实现了人脸衰老图像的生成,能达到皱纹增加、眼袋生成、皮...
由于分布式系统具有物理分布、并发访问、时序敏感、平台异构等特点,所以分布式测试系统必须适应上述特点.TTCN-3分布式测试执行平台能够满足分布式测试的要求,但TTCN-3测试系统静态绑定测试适配器的特点导致测试系统在单个测试执行节点上不具备同时和多种被测系统交互的能力,因此本文提出测试适配器框架的概念.该框架支持TTCN-3标准接口规范,在...
检测器生成和匹配算法直接影响到人工免疫系统的检测效率和非法抗原的检测率.为了改进现有算法存在的生成检测器与识别非法抗原的时间和空间开销较大、对非法抗原检测率较低等问题,本文提出基于切割的检测器生成与匹配算法.针对现有检测器表示方法存在的缺陷,用正超立方体表示检测器,为减少匹配算法的时间和空间开销提供了基础;依据空间包含关系...
模拟退火过程挖掘算法是为了更好地挖掘过程模型中非自由选择结构而提出的.模拟退火算法用于过程挖掘的基本思想,是以因果矩阵模拟事件日志行为,通过退火操作对因果矩阵进行处理,并对挖掘结果不断进行量化衡量.本文的主要工作包括：（1）在过程挖掘的环境下实现模拟退火算法;（2）用因果矩阵作为内部表示;（3）在退火操作选择过程中引入启发式规...
软件产品线是提高软件开发效率与质量的有效途径,它以体系结构（SA）为蓝图,定义组成产品线的构件与构件之间相互作用的关系,指导基于构件的应用产品组装实现.现有的基于接口连接式的体系结构仅能描述构件间的直接交互,却无法支持产品线可变性所带来的更为复杂的构件交互情况.因此,本文提出一种扩展方面机制的软件产品线体系结构建模及构件组装...
为了降低传统可用性评估方法中的主观影响和误差,本文应用眼动跟踪技术分析人机交互过程中的认知情况,提出移动计算用户界面可用性评估方法.该方法选取凝视时间、凝视数目、感兴趣区转移频次矩阵等眼动指标,并结合交互任务与自顶向下的视觉认知机制对界面进行分析,建立可用性评估模型,考察视觉搜索和信息加工等认知效率,进而为界面设计优化提供...
针对局部光照不均图像的增强问题,提出了一种新的基于光照补偿的图像增强方案.该算法将待增强图像分别乘以不同的照射系数来获得不同光照补偿后的多幅图像,利用限邻域经验模式分解（Neighborhood Limited Empirical Mode Decomposition,NLEMD）提取各光照补偿后图像的细节信息和照射分量,所有图像的细节信息叠加来增强纹理细节,照射分量用Retine...
节奏是音乐的三大要素之一,对其准确的分析和提取具有重要的研究意义.节奏特征主要分为音乐节拍和速度.本文首先提出了一种利用自相关相位-熵序列分析音乐节拍结构及音乐速度的方法.利用该方法对50首流行歌曲及50首纯乐器音乐速度的分析结果可达到97%;在速度分析结果基础上,文中还给出了节拍点求解过程的近似贝叶斯模型,使得节拍点序列在整体上...
购物车(0)