基于多尺度描述方法的移动用户界面生成框架
摘要：用户界面自动生成技术随着移动设备及用户界面的多样化而变得越来越重要．当前用户界面生成技术的主要问题是缺少对界面进行良好描述的界面描述语言，或者生成的界面依然遵循传统的图形用户界面的规范．针对上述问题，文中首先提出一种多尺度的界面描述方法，该方法能够在不同的层次上对界面进行模块化的描述；然后以该描述方法为基础，提出一种基于该方法的移动界面生成框架；在框架中，该文尝试对当前移动设备的界面进行控件级别的分析，并详细介绍了框架中涉及的关键算法．该方法能够提高需求分析人员、界面设计人员及界面开发人员的工作效率，降低因不同领域知识导致的额外的沟通成本．一种多核间内存公平调度模型
摘要：计算机的发展已进入多核时代，在共享内存的计算机系统中，内存需要为多核提供公平的服务．文中提出一种在多核环境下的内存公平调度模型，将多核调度问题转化为一个数学模型，极大地拓展了研究多核调度的思路，然后通过启发式算法求解，得到了一个性能较优的公平调度算法FQ—SJF．基准soplex的实验结果表明，相比FR—FCFS调度算法，平均读取延迟比FR—FCFS减小了10．6％，有效验证了提出的多核调度模型．基于组织的分布式开放系统自适应机制
摘要：随着分布式开放系统的涌现，其呈现出系统环境的动态性和开放性、系统成员的自主性和异构性、系统自身的分布性和层次性以及明显的社会组织特征，给自适应技术带来了新的挑战，需要跨跃成员层面（单个系统）在组织层面（系统之间）进行发散式自适应调整以及与之对应的软件抽象．然而，现阶段大多自适应技术针对单个系统采用对象范型和集中控制的方式．因此文中借鉴社会学、组织学思想，采用组织范型对系统组织层面进行抽象，提出了系统的组织元模型，使得基于组织的抽象范型与系统的组织层面相对应，缩减了问题空间与解空间的鸿沟，提出了支持组织自适应的动态重组机制，使得组织成为具有自适应能力的一阶实体，从而实现系统组织层面发散式的自适应．分别利用上下文（Context）和策略（Strategy）对组织的监控逻辑和自适应逻辑规约，通过把上下文、策略同组织显式地分离，提高了系统的模块性和可维护性．最后通过案例分析验汪了文中提出的组织元模型和动态重组机制的有效性．消息传递并行程序路径覆盖测试数据生成问题的
摘要：测试数据生成是软件测试的关键，近年来得到国内外学者的广泛关注．但是，已有的研究成果主要面向串行程序．任务划分、进程调度和网络延迟，使得并行程序的执行具有不确定性，给并行程序的测试数据生成带来很大挑战．文中研究消息传递并行程序面向路径覆盖的测试数据生成问题，提出并行程序的路径表示，定义等价路径并给出寻找方法．基于此，建立并行程序路径覆盖测试数据生成问题的数学模型，并采用遗传算法求解该模型．作者将所提方法应用于6个基准测试程序，并与随机法比较．实验结果表明，文中所提方法可以高效生成覆盖目标路径的测试数据．过程间循环路径剖析方法
摘要：该文在过程内剖析技术的基础上提出了一种新的过程间路径剖析方法PIP，能够精确地编码过程间路径和方法级执行序列．为了有效地处理方法间多态等复杂调用，文中提出了一种新的剖析模型 PCCG （Polymorphic Cluster Call Graph），能够精确描述多态信息，并且支持以“方法集簇”的方式对多个被调用方法统一处理，简化调用结构，减少剖析耗费．基于PCCG模型，PIP方法能够精确地进行过程间路径剖析，并可采用多种方法集簇策略来优化剖析效率．理论分析和实验结果表明，PIP方法具有较高的精确性和循环处理能力，且各种集簇策略能够适应不同的应用情况，有效地提升效率．一种基于程序变异的软件错误定位技术
摘要：发现软件不能正常运行后，如何定位错误代码在程序中的位置是软件开发一个众所周知的难点．最近许多软件自动调试技术通过分析成功和失败测试用例的覆盖信息辅助程序员定位错误代码，但这些技术的准确率会受到偶然性成功测试用例的影响．偶然性成功测试用例执行了错误代码，但却没有引发失败的测试结果．研究表明这种测试用例在实际测试中广泛存在，而它们的存在会显著降低错误定位的准确率．针对此问题，文中提出一种称为Muffler的技术．Muffler使用程序变异分析来修正错误代码定位结果，以提高定位的准确率．文中利用8个在错误代码定位研究领域广泛使用的基准程序验证了Muffler的有效性．实验结果表明，与传统错误代码定位技术相比，Muffler能减少程序员50．26％的错误定位代价．基于递推链代数与迭代序列敛散性的死循环检测
摘要：该文针对两大类循环分别给出了非终止性判定的数学方法．首先，针对基本迭代关系为线性或几何性的循环提出了基于递推链代数的分析方法．通过递推链代数将循环变量进行统一表示，根据运算规则推导出循环条件关于迭代次数的闭形式函数，然后通过约束求解以及单调性判断循环的非终止性．其次，针对一元非线性循环提出了基于迭代序列敛散性的分析方法．根据迭代函数以及不动点判断迭代函数产生的迭代序列的敛散性来判断循环的非终止性．实验部分采用Velroyen的52组循环、文献[18-19，21-23]的23组循环、文献[3]以及自组的13组循环进行分析验证，结果表明该文所提出的方法能有效地判断循环的非终止性：若循环无法终止，可以推导出循环无法终止的变量约束；若循环可终止，则可以估算循环的迭代次数．基于补库所的死锁预防策略
摘要：文中基于补库所理论提出了活性控制器设计方法．首先，利用容量函数K将原Petri网N转变为有限容量网丙，再通过逐一增加K值得到具有最大可达集的容量函数Kmax，然后根据Kmax添加一组补库所，最终得到活性受控网N’．文中首先以警PR网模型为例，与几种经典的死锁预防控制策略进行比较．实例数据表明，基于补库所理论设计的控制器不仅结构简单，避免了信标计算，还具有较好的行为许可性．最后，以S3PGR2网模型为例，说明基于补库所的死锁预防策略同样可以应用于一般Petri网．计算Fiedler向量的一种高效准确方法
摘要：图的Fielder向量在许多应用领域扮演着重要角色，包括矩阵重排、图的分割、蛋白质分析、数据挖掘、机器学习与网络搜索等．但一般认为，计算Fiedler向量是很耗时的，因为其牵涉到特征值问题．文中提出了计算Fiedler向量的一种新方法，该方法基于收缩技术与反幂法，将Fiedler向量的计算转化为缩减矩阵最小特征值对应特征向量的计算．其次，引入了一种预条件方案来进一步减少计算量，在该方案中，可以采用任何一种针对线性方程组求解的预条件技术．对从UF稀疏矩阵集下载下来的几个稀疏矩阵对应的图，对新方法进行了实验，并与已知的最新方法进行了比较．实验中，采用了对角预条件，且对算法利用MPI和OpenMP混合编程来实现并行计算．实验结果表明，新方法相对于已有方法，在计算效率与计算精度上都具有优势．对图二分的应用实验也表明，在大多数情况下，文中算法给出的结果更好．模糊相容关系的最优逼近问题
摘要：文中讨论模糊相容关系的最优模糊等价关系的逼近问题，先讨论集合覆盖与划分之间的关系，给出覆盖（划分）之间距离的概念，在此基础上提出求已知覆盖的最优划分逼近的问题，并讨论在三种不同的划分集合簇中求最优逼近的准则，给出了相应的最优算法．然后利用商空间方法将模糊相容关系化成相容关系链，再利用求相容的最优逼近的算法，给出求模糊相容关系的最优逼近的模糊等价关系．模糊命题的多维三层逻辑的语义
摘要：考虑模糊概念与模糊逻辑的多种性，基于带对偶非的三角模逻辑，提出了一种新的模糊命题的逻辑，称为模糊命题的多维三层逻辑．特别地，记n维三层逻辑为Ln-3-3．首先，引入了模糊命题的首层n维真向量、中层3维真向量、末层经典真向量的概念；然后，提出了Ln-3-3逻辑悲观c-重言式、Ln-3-3逻辑乐观c-重言式、Ln-3-3逻辑期望c-重言式、Ln-3-3逻辑重言式、Ln-3-3逻辑悲观c-经典重言式、Ln-3-3逻辑乐观c-经典重言式与Ln-3-3逻辑期望c-经典重言式概念，并且讨论了Ln-3-3逻辑的性质．最后提供了LN-L2-3-逻辑的规律．基于Petri网的跨组织应急联动处置系统建模与分析
摘要：应急联动系统具有的跨组织特性、组织部门间任务协同模式的复杂性以及应急处置时间和资源消耗的不确定性，使得跨组织应急联动系统缺乏形式化的建模和分析方法．为此，文中针对跨组织应急联动系统的形式化建模和分析方法进行研究．首先给出了应急联动任务的形式化模型，分析了跨组织协作过程中任务之间存在的各种关系；在Petri网模型的基础上扩展了任务执行组织部门、资源消耗以及消息传递等任务要素，提出了OTRM—Net的概念，并以此为工具对跨组织应急联动系统中的任务协同模式和应急处置流程进行了形式化建模；最后，基于0TRM—Net模型研究了应急处置流程的时间性能分析、资源冲突检测以及部门内部任务化简等问题，针对上述问题提出了形式化的解决方案．基于数据差异的连续数据保护恢复算法
摘要：连续数据保护系统在进行数据恢复时，首要任务是从历史时刻中快速识别出可恢复时刻点，总恢复时间通常与恢复时刻点识别过程中所检测的历史数据版本成正比．然而，基本数据恢复方法的恢复效率低，无法适应现代存储系统对可用性和可靠性的要求，恢复时间和数据损失之间的矛盾日益突出．通过对邻近算法的改进和完善，提出了一种支持多间隙复杂情况的恢复算法——RM—CBDD．RM—CBDD通过分析并消除恢复起止时刻之间两种类型的差异数据实现恢复．实验结果表明，在多间隙复杂情况下，RM—CBDD算法的恢复效率明显优于基本方法和WDRS算法，有效降低了二分探查最佳恢复时刻点的时间开销．双向认知计算的p阶正态云模型递归定义及分析
摘要：人的认知是一个非常复杂的过程，双向认知计算是智能认知模拟研究的一个关键问题．文中对双向认知计算的P阶正态云模型及其相关性质进行了研究．首先，在李德毅研究员提出的正态云模型基础上，给出了P阶正态云模型的一个递归定义，并讨论分析了二阶正态云确定度的性质以及所反映出来的认知特性．其次，修正了李德毅等人给出的云滴与其确定度的联合概率密度函数．最后，对P阶正态云确定度的性质及其认知特性进行了探讨分析．这将有助于正态云模型在双向认知计算以及不确定性信息处理方面的发展和应用．基于自适应特征融合的自然环境视频行为识别
摘要：文中针对无约束环境下现实人体行为识别的难点问题，提出了一种自适应特征融合算法．首先，通过图像特征点跟踪和背景轨迹剪除，获得可靠的特征点轨迹，并从中计算得到一组丰富的动作描述符，以同时保留轨迹的局部运动信息、形状以及静态外观信息；然后，采用词袋（Bag of Words，BOW）模型，将视频序列表示为视觉词语频率直方图；最后，为应对摄像头移动和静止情况下，视频中动作特点的剧烈变化，提出白适应的特征融合策略，即根据摄像头的动静情况，选择性地将基于特征点轨迹的描述符与基于3D兴趣点的描述符进行融合．通过在2个现实人体行为数据集上的实验并与当前已有算法的比较，证明了文中算法的有效性．高效视频编码
摘要：近年来随着视频编码技术的发展以及高清视频需求的快速增长，国际运动图像专家组ISO—IEC／MPEG和国际电信联盟的视频编码专家组ITU-T／VCEG于2010年成立了视频编码联合工作组JCT—VC，开始针对高分辨率视频应用制定新一代视频编码标准，即高效视频编码HEVC（High Efficiency Video Coding），2012年底形成了国际标准草案，并开发了相应的测试模型HM，进行性能评估和算法测试．该文将对标准制定过程中涉及到的关键技术进行详细介绍，主要包括：基于四叉树结构的编码块组织形式、先进的运动矢量预测和合并方法、多方向的帧内预测模式、基于DCT的分像素插值技术和内容自适应的算术编码技术等，最后对相关编码工具的编码效率、计算复杂度进行了分析，并且指出了未来的研究方向．多特征联合建模的视频对象分割技术研究
摘要：当前很多视频对象分割方法都联合利用了多种特征进行前景提取，但是这些特征都是通过简单加权融合到一起的．该文通过主成分分析法（Principal Component Analysis,PCA）比较准确地衡量了各特征在前景检测中所占的权再，使其有效指导前景分割．同时通过对各特征建立相应的高斯模型，有效提高了前景分割的质量，最后再通过基于颜色不变量的阴影检测算法得到了比较准确的结果．实验中采用了颜色（RGB）和局部二值模式（Local Binary Pattern, LBP） 4种特征，结果表明：兀沦是对于静态场景还是动态场景，该算法都具有良好的分割效果．基于空间聚类增强Lightcuts的光照计算
摘要：Lightcuts是面向多光源场景的高效绘制方法．它渐进地对光源进行聚类组织，并以二叉树进行管理，由此在绘制时可用一些光源聚类的代表光源（统称为‘光源割’）进行光照计算，以减少需要计算的光源数量．但是，当光源很多并分布复杂时，在二叉树结构中寻找光源割也要花费不少的计算．为此，有些方法提出利用绘制中的图像连贯性来减少光源割的搜寻计算，并取得了较好的效果．文中提出利用空间聚类来减少光源割的搜寻计算，即先根据位置和法向对场景中的几何位置进行聚类，为各个类的代表点寻找其光源割，以作为该类其它点搜索各自对应光源割的初始情况．实验表明，文中方法能很好地减少光源树中搜索光源割的计算，提高Lightcuts的光照计算效率，优于利用图像连贯性的加速方法，加速性能稳定，并且光源越多分布越复杂，加速效果越好．